This project has moved to TERA Mathematical Reasoning Challenges.