{"id": "smoke-1", "problem": "Compute 2+2.", "answer": "4", "check": "answer"}
{"id": "alg-1", "problem": "Find all real solutions of x^2 - 5x + 6 = 0. Give them as a comma-separated list.", "answer": "2, 3", "check": "answer"}
{"id": "calc-1", "problem": "Evaluate the definite integral of x^2 from 0 to 1.", "answer": "1/3", "check": "sympy"}
{"id": "alg-2", "problem": "Simplify (x^2 - 1)/(x - 1) for x != 1.", "answer": "x+1", "check": "sympy"}
{"id": "nt-1", "problem": "Prove that the sum of the first n positive odd integers equals n^2.", "check": "proof"}
{"id": "comb-1", "problem": "How many subsets does a set with 5 elements have?", "answer": "32", "check": "answer"}