Formal solver for a range of math problems, focusing on clarity and precision
https://chat.openai.com/g/g-WFfGUbv3C-math-solver