Warm up with simple math calculations.
Find a formal to get to the requested goal.
Solve complex formals.
Solve the fractions.
Find the formal with the highest result.
The game has several achievements and each exercise has medals to keep you motivated.
No tracking. Open source.