Solving simple International Mathematical Olympiad problems · HackerTrans