Let g = 12 - -5. Let y = -15 + g. Solve y + 2 = b for b.
4
Let x = -14 - -16. Solve 0 = -x*n - 5 - 1 for n.
-3
Let h be 2*2/(-4)*0. Let t = -9 + 12. Suppose 3*x + 0 - t = h. Solve 0*a - x = a for a.
-1
Suppose 0 = -o - 2 - 10. Let j be o*(-1 - 4/(-6)). Solve -20 = j*w - 0 for w.
-5
Let w(u) = u**2 + u - 11. Let n be w(-4). Solve -5*v + n = 6 for v.
-1
Let d = -36 + 52. Suppose 0*y + d = 2*y. Solve 0*k = -4*k - y for k.
-2
Suppose -2*x = 4*d - 8, 4*x + 1 = -4*d + 13. Suppose 5*h - 5*a - 20 = 0, 1 = -3*a + x*a. Solve -2*w + 15 = h*w for w.
3
Let r = -6 + 11. Suppose -r*k + 0*y + 9 = 4*y, -2*y + 7 = 3*k. Suppose k*f = 4*f + 3. Solve -1 - 8 = f*v for v.
-3
Let k(f) = -f3 - f2 + f + 4. Let r be k(0). Suppose 9 + 3 = -r*j - 4*d, -5*j - 4*d = 10. Let z = 0 + j. Solve 0 = s - z*s + 1 for s.
1
Let n be (0 - -4)/(14⁄7). Suppose -m - 2 = n*b, 4*m + b = 3*b + 12. Solve m*o + 1 = 7 for o.
3