Resol cada pas
Escriu una transformació equivalent.
Tres estats: verificat, incorrecte i inconcloent. Un pas inconcloent no es puntua automàticament. El motor admet polinomis i expressions racionals compatibles i només arrels exactes de constants; no substitueix un corrector simbòlic universal.