Learning Puzzles and Games
for Mathematical Reasoning