, 0 = -v + m + 4. Solve -v*x = h + x + 17, 3*h + 11 = -5*x for h.
3
Suppose 0 = a - 4, 6*p - 2*a = 2*p + 52. Suppose 10*k + p = 5*k. Let m be (k - 1)/(-20) - 48/(-10). Solve -m*j + 18 = 5*d - 7, -3*j + 15 = 0 for d.
0
Suppose 0 = -73*a + 68*a - 65. Let s = a - -13. Solve l + 5*j + 26 = s, -5*l - 5*j - 3 - 27 = 0 for l.
-1
Let z(i) = -12 + 7*i - 39 + 31. Let o be z(4). Suppose 5 - 29 = -o*q. Solve -k - 2 = c, 5 = 2*c - 4*k + q for c.
-1
Suppose -3*s = -s - 8. Suppose -p = a - 18, s*a = p - 4*p + 59. Suppose -p*j + 45 = -4*j. Solve -3*b + 3 = u - 2, 4*b = -j*u + 14 for b.
1
Let b be 1 + (2 + -1 - 0). Suppose -12 - 94 = -40*v - 13*v. Solve -3*k + 3 = -3*l - 6, v = -2*l - b*k for l.
-2
Let b(c) = 2*c - 18. Let j be b(19). Suppose 0 = 2*d + 4*a + 28, 3*a = -a - j. Let i = d + 13. Solve -32 - i = 5*l + 4*n, 8 = -2*n for l.
-5
Let q = 7730 - 7727. Solve -7*h + 3*h - 1 = -d, q*h = d for h.
-1
Let h = 38 + -98. Let p = h + 65. Suppose -20 + 4 = -5*q + 2*m, p*q + m = 22. Solve -q*n = -3*k - 1, 0*n + 3 = 5*n - 2*k for n.
1
Let c(s) = -s**3 - 8*s**2 + 128*s. Let m be c(8). Suppose 2*p - 2*k = -m*p + 16, 37 = 5*p - 4*k. Solve 2 = 4*b - j - 3, p*j = 3*b - 8 for b.
1
Suppose 122 = 18*n + 14. Solve -4 = -l - 3*c, -5*l - n - 22 = -c for l.
-5
Let s(b) = b**3 + 4*b**2 + 2*b - 2. Let m be s(-3). Let y be -3*(m/(-3) + -1). Let l be 0 + -3 + -2 + 9. Solve y*c = -3*k - 6, l*c + 4*k = 3*k - 10 for c.
-3
Let z(h) = 2*h**2 - 37*h + 21. Suppose -10*v - 2*v = -216. Let g be z(v). Solve -3*t - 4*k - g = 0, -3*t + k = 7 + 11 for t.
-5
Let p(h) = h**2 + 9. Let t be p(-4). Suppose 0 = -5*y + t, -16 - 3 = -3*a - 2*y. Solve 4*s = -a*c - 26, -2*c - 3*s - 23 = 2*c for c.
-2
Let l(d) = d**3 + d**2 - 17*d - 10. Let p be l(4). Suppose 0 = -r - 5*x + 35, -5*r + 5*x + 65 - 10 = 0. Solve -4*s = 0, -p*s + r = -5*w - s for w.
-3
Let s be (-3)/(24/20)*(-24)/20. Suppose s*l - 3*h = -15, 5*l + 5*h = -0*l + 25. Solve -5*y - z - 11 = l, 3 - 4 = -y - z for y.
-3
Let z = 15406 + -15401. Solve z*g - 1 = -t - 8, 3*g - 6 = -4*t for t.
3
Suppose -3 = -p - 0. Suppose -11986 = 156*b - 12766. Solve -c + q - p*q = b, 11 = -2*c - 5*q for c.
-3
Let i = 6781 - 6779. Solve -8 = -i*s, 0*u - 3*s = -4*u - 24 for u.
-3
Let m be -1 + 1 - (-60)/(-2 + 5). Suppose 0 = m*x - 19*x - 29. Solve 0*z - 5*z = 2*g - x, -2*z = -10 for g.
2
Suppose 0 = 2040*v - 2034*v - 294. Let n = 51 - v. Solve 0 = -2*d + 2*m + n, -m = -3*d + 3*m + 2 for d.
2
Let c = 955 - 942. Solve -7*n = -j - 3*n - c, 1 = -4*j - n for j.
-1
Let o be (-20)/(-60)*(-2 + 215). Solve 3*n + o*q = 70*q - 11, -4*q = n for n.
-4
Let a(n) = 2*n**2 + 75*n - 239. Let w be a(3). Solve 0 = 2*o - w*c - 12, -4*c + 7*c = -4*o - 9 for o.
0
Suppose 0 = -2*y + 4 - 16. Let x be (-4)/y - (-56)/6. Suppose 0 = 2*s + 5*h + 51 - 50, -4*s - 3*h + 5 = 0. Solve x = s*u + 4*o - 2, -5*u + 5*o - 15 = 0 for u.
0
Let y = 133 + -130. Let n(h) = h**2 - 2*h - 6. Let z be n(y). Let b be (5/10)/(1/(-2))*z. Solve 0*w - 2*w - 2 = -x, b*x + 24 = -4*w for x.
-4
Let p(v) = -v**3 - 4*v**2 + 3. Let m = -493 - -489. Let u be p(m). Solve u*o - 12 = 0, -o + 2*o = w + 6 for w.
-2
Let k(d) = 4*d - d**3 - 4*d**2 + 19 - 22 + 2. Let g be k(-5). Solve -6*c + 4*q = -c - 6, -g*q = 3*c + 22 for c.
-2
Suppose -3*s + 5 = -0*h + 4*h, s - 4*h = 7. Suppose 6*u = -s*u + 54. Solve 4*c - 4*b = -8, 2*c - 5*b + 4 + u = 0 for c.
0
Suppose 6*v - 6 = 4*v. Suppose 0 = -v*k + 28 + 35. Suppose -133 = -14*s - 21. Solve -3*p = m + 3*m + s, -4*p = -5*m + k for m.
1
Suppose 4*t - 3*k = -13, -6 = -4*t - k + 9. Solve 0 = j + a - 3, 4*j + t*a = -0*a + 14 for j.
4
Let v be 4/(-38) - 230/(-19). Suppose -v = 21*p - 25*p. Solve 5*u = -15, 0 = -3*k + p*u + 3 + 3 for k.
-1
Let m(w) be the first derivative of -2*w**2 - 34*w - 245. Let j be m(-10). Solve 2*f = j, -2*n + 4*f - 9 = -5*n for n.
-1
Suppose 5*k + 26 = 101. Suppose -5*n = -59*p + 55*p - 65, -p = 5*n + 10. Let d = k + p. Solve 5*i - 2*a - 3*a = -30, 4*i + a + 14 = d for i.
-4
Let n(t) = 10*t**2 + 19*t - 15. Let w(k) = -8*k**2 - 18*k + 15. Let l(c) = -3*n(c) - 4*w(c). Let x be l(1). Solve -5 = -x*p + 3*d + 11, -2*d + 11 = 3*p for p.
5
Let z = -50 + 96. Suppose -3*l - z = -a - 2*l, 0 = -a - 4*l + 31. Let x = a + -39. Solve x*f - 2 = -2*g - 0*f, -g = -2*f + 3 for g.
-1
Let v(m) = -m**2 + 4*m + 1. Let n be v(4). Let x be (-3)/2 + 45/10 - n. Let k(r) = r**2 + r - 2. Let o be k(x). Solve 4 = -2*b + 3*q, -o*b + 2*b + q = -4 for b.
4
Let q(h) = -h**2 - 1. Let f be q(-1). Let k be 3*f/(1 + (-219)/201). Let o = -52 + k. Solve 5*r = n - o, -r = -2*n - 2*r - 3 for n.
0
Let i(r) = -r**3 + 24*r**2 - 17*r - 120. Let b be i(23). Let f be 3/(-2*b/(-96)). Solve -c - p = c - 8, 2*c - 3*p - f = 0 for c.
4
Let y(l) = -38*l + 4489. Let x be y(118). Solve -p + a = -1, 26*p + x*a = 28*p + 10 for p.
5
Let d(k) = 777 - 367 + k**2 - 378 - 11*k. Let t be d(6). Solve 0 = 4*w + b - 7, 5 = 5*w - t*b + 7*b for w.
2
Let h = 167 - 165. Solve 0*z - 5*z + 10 = h*l, 3*l + 3 = -3*z for z.
4
Let n = 4223 + -4209. Solve 9 = -3*z - x + n, 3*z - 4*x - 25 = 0 for z.
3
Suppose -248 = 4*s + g, 5*s + g = 3*g - 297. Let k = 66 + s. Solve 3*l + 0*c - k*c = 9, 4*l - 12 = -c for l.
3
Let w(t) = -178*t - 17. Let l be w(-3). Let m = 519 - l. Solve m*x = k - 4, k + 5*x + 3 + 0 = 0 for k.
2
Suppose 0 = 13*p + 4*p - 0*p. Solve p = 4*s - b - 1, 2*b = 5*s + 5*b - 14 for s.
1
Suppose 3*h - 74 = 199. Let c = -79 + h. Let u(k) = 2*k**3 - 23*k**2 - 11*k - 12. Let d be u(c). Solve 9 = 3*f + 3*x, 4*f + 2*x - 3 - 13 = d for f.
5
Suppose 3*y - n = 23, 5*y - 1152 = -2*n - 1088. Solve -2*w = -4*r - y, -2*r - 9 = -5 for w.
1
Let t(v) = -6*v + 179. Let w be t(29). Suppose -34 = 4*d - w*c - 40, -4*d - c = -18. Solve -3*a + k = 6, 0*k = -5*a + d*k - 10 for a.
-2
Let j(h) = -9*h - 18. Let t be j(-3). Suppose 0 = -t*a + 34 - 7. Let g = -100 - -127. Solve a*s - 2*o + 9 = 0, 3*o + o + g = -3*s for s.
-5
Let a = -11252 + 11262. Suppose -q + 5*q = -4. Let z be (-4)/(-6) - a*q/3. Solve -h + z = c + 3, 2*c = -h + 6 for h.
-4
Let m = 16 + -22. Let l = m + 7. Suppose -5*x + 6 + 10 = t, 3*t + 32 = 5*x. Solve -3*d = -3*q + 18, -2*q + 3*q + x*d - l = 0 for q.
5
Let a be (-24)/8*(-1 - 0). Let s be 3 + a + -1 + 17. Let g = -16 + s. Solve -2*r - 1 + g = -l, -5*l = 15 for r.
1
Let s be ((-1 + 1)*-1)/(57 + -59). Let g(v) = -v**3 - 4*v**2 + 1. Let f be -5 - -4 - (3 + 0). Let w be g(f). Solve -y + s = m + w, -5*y = m - 3 for y.
1
Let z = -12909 + 12911. Solve 2*k + 2*l - 2 = 0, 9 = -z*k + 5*l + 25 for k.
3
Let l(o) = -o + 5. Let d be l(4). Let v(b) = 5*b**2 - 70*b - 61. Let n be v(15). Suppose -2 - n = -4*j, j - 12 = -4*w. Solve 0*k - t - d = -w*k, t = -5 for k.
-2
Let p = 867 - 865. Solve 5*t - 24 = -4*g, -2*t + 3*g = -3 - p for t.
4
Let l = 10955 + -10938. Solve 81*z - 83*z = 2*p - 14, -p = 3*z - l for p.
2
Suppose -5*f + 5*l = 4615, 0 = 4*f + 4*l + 3989 - 337. Let b = -918 - f. Solve b = -h + 2*h - 5*m - 27, 0 = -3*h - 2*m - 4 for h.
2
Suppose -k = -2*s, -86 + 79 = -4*k + s. Solve 2*h = 0, -4*a + k*h + 15 = a for a.
3
Suppose -3*j + 0*j - 4*d + 6 = 0, -2*j = 4*d - 4. Let y be 2*(j + 0/7). Solve 5*r + 15 = -5*i, 0*i - y*i + r = 12 for i.
-3
Let s be 0*2/2 - -8. Let j be s/20 - (-18)/5. Solve 3*t = 2*l - 10, -j*l = 3*t + t for l.
2
Suppose 53 = -2*s - 3*l - 80, -2*s + l - 137 = 0. Let h = -64 - s. Solve 0*u - u + 5*n = -15, -h*u - 3*n = -14 for u.
5
Let w = -3729 - -3734. Solve 2*b - c - 3 = 0, -c + 2 = w*b - 9 for b.
2
Suppose -m + 4*m + 15 = 2*s, 5*m = -3*s - 25. Solve 3*a + 15*z - 17*z = -12, s = 2*a + 4*z + 8 for a.
-4
Suppose 0 = 11*u + 3*u - 17*u + 33. Solve 4*v = z + 7 - u, 0 = 4*v + 5*z + 28 for v.
-2
Let o(f) = 10*f - 11. Let d be o(2). Suppose -d*t + 50 = t. Suppose -6 + 9 = x. Solve 4*q + 35 = -t*p, p - q = x*p + 11 for p.
-3
Let u be (-66)/(-22)*(-25)/(-15). Solve 0 = -u*y - 4*r + 32, 21 = -3*y + 2*r + 27 for y.
4
Let h = -11396 + 11398. Solve 0 = -h*m - c - 4 - 0, -2*m = -c for m.
-1
Suppose 7 = -3*k + p - 12, 3*p = 5*k + 37. Let o be -3 + 2 + (k - -9). Suppose 11 = 2*a + 3. Solve 0 = o*l, a*h - 5*l = -10 - 2 for h.
-3
Suppose 0 = -3*z - 2*z - 55. Let o = -9 - z. Let c be 11 - 2/(0 + 4)*-10. Solve 4*b - 2*s = o*s - c, 3*s - 9 = 0 for b.
-1
Let h = 625 + -616. Solve h = 3*w, -p = w - 5 - 3 for p.
5
Suppose -2405 = 22*o - 623. Let x = o + 84. Solve -