{"kind":"task","effective_mode":"full","benchmark":{"kind":"benchmark","effective_mode":"full","slug":"math","formal_name":"MATH","introduction":"MATH organises 12,500 high-school competition problems into seven subjects and five difficulty levels, each with a full worked solution. It underlies much of the later mathematics evaluation work; this catalogue imports the full test split: 5,000 problems across all seven subjects.","introduction_ja":"","introduction_en":"","category":"Category not supplied","task_count":null,"acquisition_status":"Acquisition status not supplied","official_url":"https://github.com/hendrycks/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":"cf5439a7-de92-5e51-b373-beda025617e9","task_key":"number~5ftheory--test--cf5439a7-de92-5e51-b373-beda025617e9","task_revision_id":"1","upstream_id":"","short_description":"Walter, Agnes, and Holly are making beaded lizards. Walter has 476 green beads…","config":"number_theory","split":"test","body":"{\"level\":\"Level 4\",\"problem\":\"Walter, Agnes, and Holly are making beaded lizards. Walter has 476 green beads and 32 red beads. Agnes has 104 green beads and 16 red beads. Holly has 281 green beads and 80 red beads. They all share their beads so as to make the largest possible number of lizards.  If a beaded lizard requires 94 green beads and 16 red beads, what is the number of green beads left over?\",\"type\":\"Number Theory\"}","display_format":"math","language":"","answer_status":"published","assets":[],"source_url":"https://github.com/hendrycks/math","history":"initial import","indexing_mode":"index","subproblems":[],"grids":[]}