Let o = -14 + 5. Let h = o + 9. Suppose i + h*i = 0. Solve 0 = -3*j - i - 15 for j.
-5
Let a(x) = 2*x3 - x2 - x + 1. Let t be a(1). Suppose -2*f + 8 + 2 = 0. Let m = f - t. Solve 0 = -m*z + 2*z + 4 for z.
2
Let s = -11 + 15. Suppose 0 = -3*b + s*b. Solve b*j = j + 1 for j.
-1
Let y be (-25)/1 - (1 + -1). Let l = y + 42. Solve 0 = 3*k - l + 5 for k.
4
Let u be (-81)/(-3) - (3 - 1). Solve 10 - u = 5*o for o.
-3
Let w = 34 - 25. Solve -w = -2*m + 1 for m.
5
Let u(w) = w3 - 16*w2 - 17*w + 5. Let m be u(17). Solve -4*x - 11 - m = 0 for x.
-4
Let y = -1 + -1. Let w be 4 - y*(-2)/4. Solve -5*r + w*r = 6 for r.
-3
Suppose 3*p + 9 = 24. Let l = 1 + p. Solve u = l*u for u.
0
Suppose 0 = 5*l + 73 - 83. Solve 20 = l*f - 6*f for f.
-5