Lemma: train for the maths olympiad
Olympiad mathematics training built like a game. Nine levels take you from school
arithmetic to IMO-level problem solving, one technique at a time.
What's inside
- 125 lessons across algebra, combinatorics, geometry and number theory
- 1,206 curated problems with hints and full solutions
- 89 proof problems with
progressive hints, complete walkthroughs and marking rubrics —
11 of them real IMO problems carrying their exact year and number,
including IMO 1959/1,
IMO 1983/6 and
IMO 1988/6
- 642 full-length papers in three formats: AMC-style (25 questions,
75 minutes), AIME-style (15 questions, 3 hours, integer answers) and olympiad papers
(3 proofs, 4½ hours, marked against rubrics)
- Unlimited generated practice at six difficulty levels, so you never
repeat a problem
- 29 problem-solving techniques:
pigeonhole,
invariants,
AM–GM and Cauchy–Schwarz,
Vieta jumping,
power of a point,
inversion and more
Who it's for
Students preparing for AMC 8, AMC 10/12, AIME, EGMO, national olympiads and the IMO,
and anyone who wants to get genuinely better at solving hard problems.
Pricing
Free to start, forever. Paid plans from $7.39 per month plus your country's VAT or
sales tax, a fraction of the cost of olympiad tutoring or coaching courses, and every
paid plan opens with three free days.
Create a free account and take the placement quiz.