Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System | Read Paper on Bytez