Synthetic testing dataset
We have recently generated a synthetic test set containing 500 inequalities, classified into three levels of difficulty. The test set can be obtained here:
1. level1_problems (260 problems)
2. level2_problems (140 problems)
3. level3_problems (100 problems)
Note:
Each inequality in this test set is a non-strict, three-variable inequality defined over the positive real numbers.
Level 1: These problems are suitable for students preparing for mathematics competitions. The difficulty ranges from introductory levels to National Mathematical Olympiad-level.
Level 2: The problems in this level are more challenging than those in Level 1. Students looking to further hone their problem-solving skills will find these inequalities to be an appropriate next step.
Level 3: These problems are highly difficult, and we do not recommend attempting them lightly. The complexity of Level 3 problems surpasses what is typically encountered in math competitions.
Declaration
This test dataset is provided for educational and research purposes only. Commercial use is strictly prohibited.