Solving simple International Mathematical Olympiad problems | Hacker News Reader