-125 + 140. Suppose -4*t + 68 = 5*p, -5*p + 3*t + 56 = t. Solve -d + w = 4*s - 2*z, -3*z = -4*s + p for s.
3
Let i = -46 - -80. Let q = i - 32. Solve 15 = 2*c - 3*k - 4, -c = q*k + 8 for c.
2
Let m = 0 + -4. Let p be 10*(1 + 2/m). Suppose 129 - 24 = p*l. Solve 2*d + 2*d + l = 5*c, -13 = -3*d - 2*c for d.
1
Suppose 0 = 2*y - 6*y + 28. Suppose i = -0*i + 19. Let d = i - y. Solve -3*h = 3*l + d, l + 18 = -3*h + 4*l for h.
-5
Let x(s) = s + 3. Let h be x(3). Suppose -7*f + 14 = -77. Solve 4*n - 4*y = h + 6, -4*n + f = -3*y for n.
4
Let o be ((-3)/(-3))/((-6)/(-24)). Let i be (2 + -1)/(o/8). Solve 4*g - i = -4*q - 34, 3*g + 9 = 2*q for q.
-3
Let u(f) = -80*f - 69. Let m be u(-1). Solve s + 4*z = -m, 8*s - 3*z - 6 = 11*s for s.
1
Suppose 21 = u + 5*q - 0, -3*u - 5*q + 23 = 0. Let r(l) = -6*l + 0*l**2 + 7*l + 12*l**2 - 1. Let t be r(u). Solve 3*m = -4*v - 3 - 1, -4*v + t = -m for m.
-4
Suppose -5*z + 15 = -10*z. Let a be -2 - z*(1 - 0). Solve -19 = -2*m - 3*k, 0 = -4*m + 2*m + k - a for m.
2
Let s = 446 - 442. Solve 2*u = 2*a + 2*a - 28, -u = s for a.
5
Let p = 25 + 26. Let n = 20 - p. Let s = -31 - n. Solve 23 = d - 5*r, s = 2*d - 3*r - 11 for d.
-2
Let o(z) = z - 1 - 2 + 12. Let s be o(-4). Suppose 0 = -2*i + 7*i + 25, 3*y = s*i + 43. Solve -5*v - 5*f - 30 = 0, f - 18 = 5*v + y for v.
-5
Let w(r) = 4*r**2 - 5*r - 1. Let o be w(4). Suppose -2*i + o = 3*v, 0 = -5*v - 4*i + 67 + 6. Let g = -11 + v. Solve g*z = 4*k + 3*z - 11, -2*k + 7 = z for k.
2
Let d(u) = -u**2 + 3*u + 3. Let q be d(3). Suppose -2*s + 29 = -5. Let n = -135 + 139. Solve q*r - n*r = k - 5, 3*k = 5*r - s for k.
1
Let c = 77 + -55. Suppose 362 = c*v + 10. Solve w + 3 = -2*d + 7, 4*w - v = 4*d for d.
0
Let t = 1195 + -1191. Solve n - 14 = -2*l - 22, -t*n = 3*l + 17 for n.
-2
Let h(j) = -2*j**3 - 12*j**2 - 4*j - 15. Let c be h(-6). Let d be 0/(2 - (10 - 5)). Solve d*x - 3*u + 17 = 2*x, u = -4*x + c for x.
1
Let h(m) = 4*m - 112. Let g be h(29). Solve -g*n + 4*u + 8 = u, 0 = 3*u for n.
2
Suppose 2*p + 3*w + 12 = 0, -5*w - 23 = p - 3. Suppose 15 = 2*c - 3*f, -f + 6 - 3 = p. Solve 2*v = -3*m + c, 0*m + 5*v = m + 13 for m.
2
Suppose -7*j - 198 = -j. Let v = 47 + j. Solve -5*m - 4*p = p + 45, 2*m = -p - v for m.
-5
Suppose 0 = -32*g + 81 + 111. Solve g = 3*l - 5*p, -5*l - 9 = -0*l - 2*p for l.
-3
Let j(n) = n**2 - 7*n + 6. Let y be j(1). Solve 2*c - 2*v = -c - 1, 4*c + 3*v + 7 = y for c.
-1
Suppose 0 = 4*x + 2*t - 40, 0 = -5*x + 2*t + 42 - 1. Let d be ((-60)/(-16))/(x/48). Let a = -17 + d. Solve 0 = a*z + 4*q + 10, -4*z + 9*z = 2*q - 8 for z.
-2
Let f = 82 - 47. Let s(p) = p + 15. Suppose 0 = 3*o + 3*y + 24, -y = 3*o - 3*y + 49. Let n be s(o). Solve -n*h = -5*l - f, 5 = 4*h + 2*l + l for h.
5
Let a = -23147 - -23150. Suppose 0 = -h + 4*o - 5, h - 3*h + 10 = 2*o. Solve -s - 2*x = 3, -h*s - x + a = x for s.
3
Let g be (-1 - (-1 + 3))/(-3). Suppose -146 = -14*w - 76. Solve -3*z = -m - 6, -m - w + g = -z for z.
1
Suppose 7*b - 18 = -74. Let y(z) = -2*z**2 - 17*z - 7. Let m be y(b). Solve -3*s = -5*o + 16, s - m = o - s for o.
5
Let b be 8/4 + 1*3. Let n(v) = -7*v + 14. Let k be n(-10). Suppose 4*h - 4*g - k = 0, 5*h - 79 = -g + 50. Solve 0 = 5*m + i - h, 0*m - 5*m + b*i = 5 for m.
4
Suppose -5*t + y = 6*y - 70, 2*t - y - 34 = 0. Solve l + 3*p = -3*l + 8, 4*p = t for l.
-1
Let p(k) = k + 13. Let l be p(-11). Suppose l*m = m. Suppose 2*s - 3*s + 4 = m. Solve -w + 3 = 0, s*b - 5*w + 6 = -13 for b.
-1
Let d(z) = -4*z - 18. Let r be d(-5). Suppose r*u + 3 = -0*u + t, 4*u = 3*t - 9. Let w be (-1)/((-1*2)/10). Solve n - h = -u*n - w, -n = h + 5 for n.
-5
Let a(h) = h**3 - 5*h**2 - 6*h + 4. Let s be a(6). Let t(m) = m**2 - m - 9*m - 2*m**2 + s. Let l be t(-10). Solve l*r - 5*i = 7 + 4, i = -3 for r.
-1
Let q(p) = 0*p - 21 + p + 30. Let y be 73/4 + 3/(-12). Let d be q(y). Solve -5*m = 2*u + 14, -5*u + 7 - d = 5*m for m.
-2
Let z = -10 + 13. Suppose 0 = z*i - 2 - 1. Let d be ((-8)/(-2))/i + 1. Solve -d*u + 5*k = -5, -4*u - k = -2*k - 7 for u.
2
Let u(c) = 10*c - 398. Let o be u(43). Solve 0 = 3*d + 2*q + 2*q - o, -2*q - 10 = -5*d for d.
4
Suppose -4*l = -16, -4*l = 4*t - 51 - 1. Suppose 0 = 7*n - 5 - t. Solve 2*j = q + 12, 0*q - j = -n*q - 12 for q.
-4
Let y = 100 + -95. Let i be 2*(y/(-10) + 1). Solve g = -2*v - i, 2*g + 2*g - v + 22 = 0 for g.
-5
Let b = -53 - -40. Let x = b - -17. Solve h + 22 = 4*u, x*h + 2*u = -0*u + 2 for h.
-2
Let i(r) = -r + 6. Let f be i(6). Let j be 33 - (4 - (0 - f))/(-2). Solve 2*h - 5*p - j = 0, -3*h = -0*h - 2*p - 25 for h.
5
Suppose 0*n - 2*n + 4 = 4*g, -3*n + 6 = 0. Suppose g = -7*w + 2*w. Suppose w = 5*f - 0 - 5, -5*f + 1 = -2*p. Solve 3*c = p*a + 19, -2*c + 0*c + 20 = -5*a for a.
-2
Let t = -18 - -9. Let r be (-428)/(-18) + (-2)/t. Suppose -g = 5*g - r. Solve -4 - 4 = g*y, 3*u + 1 = -2*y for u.
1
Suppose 18 = 3*i - 3*w, -i + 4*w - 3 = 6*w. Solve -2*q + 24 = -4*j, 4*q + 2 + 5 = -i*j for j.
-5
Let b = -1059 + 1077. Solve g = -4*w + b, -3 = w - g - 10 for w.
5
Let a be 8 + -9 - (2 + 0 + -3). Solve y + 29 = -5*b - a, -22 = 3*y + 2*b for y.
-4
Let u(f) = 2*f + 2. Let b be u(4). Let x be (-136)/(-6)*(-15)/b. Let o = x + 36. Solve -o*z - 12 = 4*g, -2*z = -3*g - 25 + 9 for z.
2
Let u = 0 - -4. Let o(r) = 2*r - 25. Let i(v) = -v + 25. Let s(l) = 3*i(l) + 2*o(l). Let m be s(-25). Solve -q = -u*q + 9, m = -4*f + 2*q - 2 for f.
1
Suppose -14 = -4*m - 6. Let d be (0*(-4)/(-20))/m. Solve -4*w + 26 - 6 = 0, d = -5*h - 2*w + 10 for h.
0
Let b(x) = -x**2 - 11*x - 16. Let h be b(-9). Suppose 0 = 2*v - h - 6. Solve 5*f - 3*w + 30 = 0, f + 2*w = v + 3 for f.
-3
Let m be (-12)/(-32)*36*4/6. Suppose -7*f = m*f - 64. Solve -2*h = -w - 2*w + 5, -f*w - 12 = 2*h for h.
-4
Let h(c) = -2*c**2 - 36. Let z be h(0). Let o be 5/(-4) - 45/z. Solve -l + 3*l = -p - 3, o = 4*l - 5*p + 13 for l.
-2
Let s(v) be the third derivative of -v**4/24 + v**3 + 4*v**2. Let x be (-6)/(-2)*2/2. Let d be s(x). Solve 3*w + 10 - 1 = 0, -d*u - w = -12 for u.
5
Suppose 3*x + 1 = 2*v - 13, 2*v = 2*x + 12. Solve 0 = v*z + 3*r, 0 = -r - r for z.
0
Let n(u) = -u**2 - 10*u - 5. Let o be n(-9). Suppose -3*b - g = -72, -4*b - g - o*g + 85 = 0. Solve 0 = -10*z + 5*z + 2*v - b, 5*z = -4*v - 25 for z.
-5
Suppose 2*t + 57 = -3*n, -13 = -n - 5*t - 45. Let i = 21 + n. Solve -h + 6 = 4*y, y - i*h = 2*y - 9 for y.
1
Suppose -14 = 5*k - 10*k - 2*j, -k - j + 4 = 0. Let p be (1 - k)*1*0. Solve -3*y - 3*m = -2*y - 10, -2*y - 5*m + 15 = p for y.
-5
Let q = 17 - 15. Suppose -q*u + 18 = -16. Let b = -17 + u. Solve -4*z + 2*c - 20 = 0, b*c = -z - 2*c for z.
-4
Let p = 114 + -109. Let x be p + -4 + 4 + -5. Solve -m - 2*s + 17 = s, x = -4*m + 2*s - 2 for m.
2
Let u be ((-12)/(-15))/(18/225). Solve 3 + 0 = -w - 2*f, 4*f = 2*w - u for w.
1
Let d = -67 - -72. Solve -2*q = -4*f - 10, d*f = 2*q - 1 - 10 for q.
3
Let x be (-1)/(28/(-8)) + 4/(-14). Let q(f) = -f + 7. Let u be q(0). Suppose x = 3*r - u*r. Solve -2*j = 5*k + 18, r = -3*j + k - 7 - 3 for j.
-4
Let t(s) = -s + 4. Let g be t(4). Suppose 0 = 4*h + 4*x + 33 - 121, 5*h - 86 = x. Solve -l - 2*m + 5*m - h = g, 25 = 5*m for l.
-3
Suppose -2*t + 4*n + 20 = -6, 5*t + 4*n - 9 = 0. Suppose t*z = 1 + 9. Solve -r = -y + 3, -4*y + 10 = -z*y - 4*r for y.
1
Let q be (2/(-8))/(7/(-89 - -5)). Solve q*d - 5*d - 2*w = -4, -d + 8 = -5*w for d.
3
Let q(l) = l**2 + 2*l - 4. Let p be q(-5). Suppose -6*h + p*h - 20 = 0. Solve i - 2 = 2*w + h*i, 0 = w + i + 1 for w.
-1
Suppose 8*w - 2 = 150. Suppose -3*g + w = -2*d, -g + 4*d + 0*d = -3. Let q be (20 + -1)/(2/2). Solve q = -3*o + g*j - 3*j, 0 = o - 3*j + 13 for o.
-1
Suppose -3*d = n - 1, -10 = -4*d + n + 3. Let x = 1 + d. Solve -2*r + 11 = -z, r = -4*z - x*r + 16 for z.
-1
Let w = 52 - 43. Let h be 51/w - (4 + (-40)/12). Solve -15 = 3*u - m, -5*m - h = 3*u + 2*u for u.
-4
Let x = -85 - -56. Let j = 37 + x. Let a be j*(12/(-8))/(-3). Solve -2*k = -a*d - 6, 4*k + k + 5*d + 45 = 0 for k.
-5
Let t be (-10 + 294/30)*(-11 + 1). Solve 5*h + 10 = t*f, -2*h - 2 = 5*f + 2 for h.
-2
Let i(q) = -q**3 + 35*q**2 + 75*q - 13. Let h be i(37). Solve 3*c + 5*d - 2 = 0, -5*c + d + d + h = 0 for c.
4
Let r(h) = -h**2 - 4*h + 3. Let c be r(-4). Let s be 21/105*10/2. Let i be 8 + (2 - s) + -5. Solve o - c = -3*p, -p - 9 = o - i*o for p.
0
Suppose -2*n = l + 3, -3*n + 5*l + 9 = 2*l. Sup