Let f = -1 - -2. Let l = 46 + -39. Solve 2*t + f = l for t.
3
Suppose 3*v - 1 - 14 = 0. Suppose 6*t = v*t. Solve -2*g - 3*g + 15 = t for g.
3
Let g = 26 - 16. Let d be -1 - (1 + (-2 - g)). Solve 2*p = 7*p + d for p.
-2
Suppose -6 = -t - 2. Solve -5*m = -t + 29 for m.
-5
Let n(i) = 6*i + 9. Let c be n(4). Let b = c + -21. Solve 0*d = -4*d + b for d.
3
Suppose 4*w + 2 = 10. Let n(v) = -2*v**3 + v + 1. Let o be n(-1). Suppose w*s = o*i + 12, 0*i = -i. Solve -b + s = -4*b for b.
-2
Suppose -4*k + 3*k = -8. Solve 5*z = -2 - k for z.
-2
Suppose -5*s - 2*c = -c - 20, -2*s = 3*c - 8. Solve 0 = -i - s*i + 5 for i.
1
Suppose 3 = l - 0. Suppose -t - 2*z + 10 = l*t, -5*z = 4*t - 1. Solve 3*x - t = -x for x.
1
Suppose 9 = -2*i + 3*n, -3*n = -4*i - 2*n + 7. Solve 7*j = 4*j + i for j.
1