A math solver with visible verification

A step-by-step math solver,
with checks you can see.

Ostrol is a step-by-step math solver for algebra through multivariable calculus. Type, paste, photograph, or upload a problem; Ostrol explains the method and reports whether a separate symbolic check verified the result.

2 free solves · no credit card · upgrade anytime

Sample problemVerified · self-check passed
AlgebraCalculusTrigonometryLinear algebraProbabilityStatisticsGeometryDifferential equationsNumber theoryWord problems
How it works

Three steps. Every solve.

Built around a simple promise: show the reasoning and the verification status, including when a result cannot be checked automatically.

01
Step

You ask, any way you like.

Type the problem, paste a screenshot, snap a photo of your textbook, or upload a PDF. We read all of them.

02
Step

We choose the right engine.

Algebra goes to the symbolic CAS. Calculus routes through the analyst. Word problems open a reasoner. You don't pick — we do.

03
Step

You see the verification outcome.

When a symbolic check applies, a separate engine re-derives the result. The badge says verified, unverified, unverifiable, or mismatch, so uncertainty stays visible.

4
engine levels
2
free solves each month
2
interface languages
4
verification states
Pricing

Free, until you need more.

Two free solves. No credit card. Upgrade only when the work earns it.

Frequently asked

  • How is this different from ChatGPT?

    Ostrol combines a step-by-step explanation with a separate symbolic checker when the problem can be verified automatically. The verification badge reports verified, unverified, unverifiable, or mismatch, so it never hides uncertainty behind a confident answer.

  • Will it just give my students the answer?

    It shows the working. Every solve walks through the steps with the reasoning visible. Students who read the solution build intuition. Students who copy answers see no improvement. We never optimize for shortcuts.

  • What level of math does it handle?

    Arithmetic through multivariable calculus, plus linear algebra, statistics, probability, discrete math, and the math you see in early physics and economics courses. Long exam questions with several parts are supported.

  • Which languages are supported?

    English and French. Math notation follows the convention of the language you choose.

  • Does it work on phones?

    Yes. You can type, paste, photograph a problem from a phone, tablet, or laptop. The solution renders the same way on every screen size.

  • Is my work private?

    Yes. Your problems stay in your private library. We do not sell them. We do not share them. We never train models on student work. School admins can turn off public sharing for the whole class.

  • Can I cancel anytime?

    Yes. One click in billing settings cancels the plan. You keep access through the end of the period you already paid for.

  • Do schools get custom pricing?

    Yes. Talk to sales and we will put together a quote within two business days.

Step-by-Step Math Solver with Answer Checks | Ostrol