M1 state among n - 1, n, n + 1 one is even, so there is a factor 2
M1 state among n - 1, n, n + 1 one is multiple of 3, so there is a factor 3
M1 show divisibility by 5 by checking n mod 5 = 0, 1, 2, 3, 4 (or use Fermat): in each case n5 - n is a multiple of 5
A1 conclude n5 - n is divisible by 2, 3 and 5 and hence by 30 cao
Answer: n5 - n = n(n - 1)(n + 1)(n2 + 1) is divisible by 2 and 3 from the three consecutive factors, and by 5 by case or Fermat argument; therefore divisible by 30.