What Grade 8 covers
Linear equations and their solution, Pythagoras' theorem, formal geometry and proof-like reasoning, and the beginnings of the algebraic manipulation that GCSE and IGCSE will assume from day one.
Pythagoras is worth singling out. It is the first result students meet that is proved rather than asserted, and it is the gateway to trigonometry in the year that follows.