Wheres Godel when you need him. A lot of this stuff is symbol shunting, which LLMs should be really good at.