Let s = 0 + 32. Suppose 5*w - s = -f, -3*f - f - 5*w = -53. Let z = 12 + -7. Solve -z*h + f*h = 8 for h.
4
Let j(p) = p**2 + 4. Let a be j(4). Suppose 4*l = -3*z - 17, -5*z - a = l + 4*l. Solve -5 = -3*y + z for y.
2
Let w(s) be the first derivative of -s**2 + 3*s - 1. Let o be w(0). Solve -o*t + 1 = -2 for t.
1
Suppose 0 = -4*k + 3*z - 30, z = -k - 2*z. Let l© = -c3 - 5*c2 + 7*c + 6. Let t be l(k). Solve 2*h + h = t for h.
0
Let s = 69 - 62. Solve 4*q + 3 - s = 0 for q.
1
Let g be (16⁄12 + -2)*-6. Suppose g*d - 6 = 2*d. Solve v - 2 = -d for v.
-1
Suppose 7*c = 20*c. Solve n = -c*n + 4 for n.
4
Let w = 84 + -74. Solve -5*m = -0*m + w for m.
-2
Suppose 4*w - 115 = -27. Solve -3*c - 7 = -w for c.
5
Let o(l) = l**2 - 8*l + 15. Let a be o(6). Suppose 2*c - a = 1. Solve -u = -c*u for u.
0