{"task": {"agent_timeout": 600, "task": "omnimath_3022", "verifier_timeout": 60, "instruction": "# Mathematical Problem\n\nHagrid has 100 animals. Among these animals, each is either striped or spotted but not both, each has either wings or horns but not both, there are 28 striped animals with wings, there are 62 spotted animals, and there are 36 animals with horns. How many of Hagrid's spotted animals have horns?\n\n## Instructions\n\nSolve the mathematical problem above and write your final answer to `/workspace/answer.txt`.\n\n**Important**: Write only your final answer to the file, not the full solution process.\n\n### Guidelines\n\n- Provide your final numerical answer or mathematical expression\n- Write the answer as plain text (no special formatting needed)\n- Be precise and clear in your answer\n- The answer should directly respond to what the problem asks for\n\n### Example\n\nIf the problem asks \"What is 2 + 2?\", your answer file should contain:\n\n```\n4\n```\n\nYour answer will be evaluated against the correct solution using an automated grading system.\n", "memory": "", "runnable": false, "difficulty": "hard", "language": "", "cpus": "", "instruction_truncated": false, "category": "math", "compose": false, "has_solution": true, "oracle": null, "docker_image": "", "taskset": "omnimath", "tags": ["omni-math"]}, "runs": []}