{"kind":"task","effective_mode":"full","benchmark":{"kind":"benchmark","effective_mode":"full","slug":"omni-math","formal_name":"Omni-MATH","introduction":"Omni-MATH evaluates mathematical reasoning on Olympiad-level problems. Its official dataset contains 4,428 problems accompanied by domain and difficulty information.","introduction_ja":"","introduction_en":"","category":"Category not supplied","task_count":null,"acquisition_status":"Acquisition status not supplied","official_url":"https://huggingface.co/datasets/KbsdJames/Omni-MATH","indexing_mode":"index","profile":{"resources":[],"task_format":"","scoring":"","metric":"","size":"","answer_access":"","license":"","citation":"","maintainer":"","released":"","why_hard":"","related":[],"history":"","construction":"","limitations":"","saturation":"","scores":[]}},"task_id":"f9e045e3-3382-5f8d-a058-6a8d112a2404","task_key":"test--f9e045e3-3382-5f8d-a058-6a8d112a2404","task_revision_id":"1","upstream_id":"","short_description":"Students in the class of Peter practice the addition and multiplication of…","config":"","split":"test","body":"{\"problem\":\"Students in the class of Peter practice the addition and multiplication of integer numbers.The teacher writes the numbers from $1$ to $9$ on nine cards, one for each number, and  places them in an ballot box. Pedro draws three cards, and must calculate the sum and the product of the three corresponding numbers. Ana and Julián do the same, emptying the ballot box. Pedro informs the teacher that he has picked three consecutive numbers whose product is $5$\\ntimes the sum. Ana informs that she has no prime number, but two consecutive and that the product of these three numbers is $4$ times the sum of them. What numbers did Julian remove?\"}","display_format":"math","language":"","answer_status":"published","assets":[],"source_url":"https://huggingface.co/datasets/KbsdJames/Omni-MATH","history":"initial import","indexing_mode":"index","subproblems":[],"grids":[]}