Let y = 30 + -29. Solve -d + y = -0*d for d.
1
Let c(t) = t - 9. Let m be c(12). Suppose -m*w = -w. Solve s + w*s = -3 for s.
-3
Let t = -1 + 7. Let z(o) = -14*o - 13. Let p(v) = -5*v - 4. Let j(g) = 17*p(g) - 6*z(g). Let b be j(7). Solve -3*f + t = -b for f.
3
Let i be (2 - (-2 + 19))*-2. Let p = i - 16. Suppose 2*h - 10 = -4*v + p, 2*h - 9 = v. Solve 5*x + h = 2*x for x.
-2
Let o(z) = 6 - z + 2 + 1. Let l(i) = -i + 10. Let y(f) = -4*l(f) + 5*o(f). Let b be y(5). Solve 0 = m - b*m - 4 for m.
4
Suppose -2*v - 4*o = 3*v + 25, v + 5 = -2*o. Let u be (2 - (-3 - v))/3. Suppose u = q - 4*q. Solve -12 = 3*n - q for n.
-4
Let s be (1 + 1/(-2))*(3 + -3). Suppose 3*m - 15 = 3*c - 4*c, -4*c + 3*m = 0. Solve c = l - s for l.
3
Let k be 2/(-4)*(2 + -2). Suppose v + k*v = 5. Let d = 0 + v. Solve 0 = d*y - 13 - 2 for y.
3
Let i be (-4 - (-9)/2)*(0 - 0). Solve -10 = -5*w - i*w for w.
2
Suppose 4*w - w - 3*y + 15 = 0, 2*y = -5*w + 10. Solve w = -n + 6*n - 15 for n.
3