Solving a math puzzle with Eureqa · HackerTrans