How this solver works
Most AI maths tools ask a language model to do the arithmetic. Language models are unreliable at exactly that: they can state a method correctly and still execute it wrongly, and they tend to be confident either way. So this solver does not work that way.
Your problem is parsed and handed to SymPy, a computer algebra system. SymPy computes the answer. Each step is then a claim that two expressions are equal, and that claim is tested by evaluating both at a dozen random points. Steps that pass are marked checked. A step that can be shown to be wrong is discarded rather than printed.
When it says it cannot check something
Some things genuinely cannot be verified automatically — proving two expressions equal is undecidable in general, and integration constants, domain restrictions and branch cuts all create honest ambiguity. When that happens the page says the step was not checked. It does not say the step is wrong, because that is not what it knows.
Word problems, proofs and anything needing a diagram have no computer-algebra route at all. Rather than guess, the solver says so and points you at the relevant calculator instead.
Privacy
The calculators on this site run entirely in your browser. The solver is different — it has to send your problem to a server, where the answer and the steps are computed. Only if you press Explain this does your problem also go to a third-party AI provider. Please do not put personal information into the solver; the privacy page explains exactly what happens to it.