Suppose -2 + 1 = -a. Let t be (-4 - a)*(6 - 7). Solve t*p - 20 = -0 for p.
4
Let r = 9 + -5. Let v = r - 1. Solve -2*b - v*b = 20 for b.
-4
Let t(w) = -3*w - 1 + 8*w3 + 2 - 7*w3 + 2*w**2. Let m be t(-3). Solve 0*k + m = -k for k.
-1
Suppose 6 - 8 = -2*l. Let k(t) = -t**2 - t + 4. Let w be k(0). Suppose w*h = h + 15. Solve c - h = -l for c.
4
Suppose 5*y - 45 = -2*b - 0*b, -2*b + 39 = 3*y. Suppose 4*d + b = 5*d. Solve -2*s - d = 3*s for s.
-3
Let f(p) = p - 8. Let l be f(10). Solve 0 = 3*r + 10 + l for r.
-4
Let x = 1 + -1. Let t(u) = 6*u2 + 5*u + 9. Let d(v) = -v2 - 1. Let a(w) = 5*d(w) + t(w). Let y be a(-4). Solve x = -y*p - p - 4 for p.
-4
Suppose -35 = -5*z - 2*z. Suppose 0 = -z*c + 2*c. Solve -t + c = 3 for t.
-3
Let c = 13 - 28. Let v be 2⁄5 - (-6)/c. Solve v*f + 6 = -2*f for f.
-3
Let v = -2 - -11. Suppose 0 = -2*w - v - 1. Let f = 9 + w. Solve 2*l + 0*l - f = 0 for l.
2