How Python Uses Maths Solver Games