LLMs are not designed to do math. Eventually, they will hook ChatGPT up to a symbolic math system (like Mathematica, SageMath, Maple) and a SAT solver for logic (probSAT, etc). Not trivial to extract the calculation from the words -- but will