but I suspect this may be an easier problem than what chatgpt does when you give it math to solve: translating between representations of a problem (language code) is easier for it than manipulating statements under a strict r