Title: Marty the Alien Solves Math Problems