 for s.
-3
Suppose 0 = -0*v - v. Suppose 0 = -5*i + c - v - 96, -4*i - 4*c - 72 = 0. Let u = -15 - i. Solve -5*l - u*y = -0*l, 0 = 5*l - 5*y for l.
0
Let q(l) = -l**2 - 8*l + 1. Let o be q(-5). Let f be ((-6)/1)/((-6)/o). Solve 2*j + f = -2*z + 6*j, -4*j = 2*z - 8 for z.
-2
Suppose 2 = 4*r - 6*r. Let a be r + 1 - (0 + 2). Let w be a/(-4)*-6 - -10. Solve 5*b = -5*m - 20, 4*m = -2*b - w - 1 for m.
0
Suppose 9*m - 64 = -1. Solve q + 10 = m, -5*q - 17 = 2*t for t.
-1
Let u(h) = -h**2 - 3*h + 6. Suppose 0 = 4*l + l + 2*c + 18, 4*l + 4*c = -12. Let w be u(l). Solve 5*v = -3*f - 18, -v - 7 = w*v - 2*f for v.
-3
Let s = 361 - 361. Solve s*i + 6 = 2*k - 3*i, -4*k - 5*i = -12 for k.
3
Let d(c) = c**3 + 7*c**2 - 9*c + 2. Let b be d(-6). Suppose 95*l - b*l = 0. Solve -2*m - 2*t + 8 + l = 0, 0 = -4*m + 5*t + 25 for m.
5
Let h = 2304 - 2300. Solve -4*w = -11*j + 10*j - 5, 5*w + j = h for w.
1
Let p be 4 - (-1 - -1) - -38. Suppose 28*m - 31*m = -p. Solve -5*j = -3*j + 4*h + m, 0 = 5*j - h - 20 for j.
3
Let z(k) = k**2 - 27*k + 182. Let n be z(8). Solve 11 - n = 5*d + 3*u, -2*d + 2*u - 14 = 0 for d.
-5
Let l(r) be the third derivative of r**5/10 + r**4/6 - r**3/2 + 18*r**2. Let c be l(1). Solve s - f + 9 = 4*s, 2*s + f = c for s.
2
Let d be ((-21)/(-63))/(2/6). Let h = 3 + d. Solve 5*u = -z - 4 - 26, h*u + 20 = 0 for z.
-5
Let v = 2 + -2. Let x = -1 + 3. Suppose -29 = 7*d - 43. Solve -q + 5*h = 4 + x, v = -d*h + 4 for q.
4
Let x be (-236)/(-12) + 12/9. Suppose -h + 5*m = x, 2*h = -h + 2*m - 11. Let l = h + 5. Solve -4*r + 4*c = 16, -l*c - 24 = 4*r - 0*r for r.
-5
Let q(b) = b**2 + 5*b - 10. Let n be q(-7). Let l be 1 - (2 - 2 - 2). Solve -p - 20 = -5*z, 2*p - l*z + 4*z - n = 0 for p.
0
Let j = -46 + 56. Suppose -3*r + j = 4. Solve -h + r = 2*g, 4*g = 3*h - 6*h for h.
-4
Suppose -4*k = -3*r + 23, 0*r + 2*r = -2*k + 6. Suppose -r*p + 27 = -2*p. Let v be (1 - 1)/(154/(-14) - -17). Solve q + 6*s = 3*s - p, v = 3*q - 2*s - 17 for q.
3
Suppose 0 = 2*b - 0*b - 5*g - 52, -4*g = -4*b + 116. Let w = b - 15. Solve w = 4*q, c - 4*q = -7*q + 15 for c.
3
Let p be 1*2*(-4 - -8). Let a = -6 + p. Suppose 9 = x + a*r, -8 - 4 = x - 5*r. Solve -2*l - 26 = 4*f, -x*l = -l + 6 for f.
-5
Let f(x) = 4*x**2 + x. Let w be f(1). Suppose -c = 4*c - 20, -w*i = -c - 21. Solve -p - i*k + 4 = -14, 3*p - k + 10 = 0 for p.
-2
Let b = 1516 + -1511. Solve -6*j = 5*h - 10*j - 5, -b*j - 10 = -5*h for h.
-3
Let k be (-2)/(-3) - (-63)/27. Let p be (-141)/(-12) - k/(-12). Solve 4*o + p = 2*r, 2*o - r - r = -6 for o.
-3
Let h be 588/54 - (-1)/9. Solve 0 = 3*i - l - 8, 2*i - 3*l - h = -8*l for i.
3
Let g(s) = s**2 - 15*s - 1. Let k be g(8). Let c = 57 + k. Solve -2*u + 3*d - 1 = c, 2*u = -2*u + d - 7 for u.
-2
Let l(v) = -v**3 + 8*v**2 - 2*v + 19. Let a(n) = 4*n - 40. Let b be a(12). Let h be l(b). Solve -t = -3*q - 1, 4*q - 3*q - h = -3*t for t.
1
Suppose -2*j = 3*a - 2, a + a - 16 = -5*j. Suppose 9*o - j*o = 0. Solve 4*k + 7 = -3*n - 0*n, 3*k - n + 2 = o for k.
-1
Suppose 0 = 6*y - 23 - 1. Solve g - 3*g - 5*v = 19, -5*v = -y*g + 37 for g.
3
Suppose -4*f + 0*p + 4 = 4*p, f - 5 = p. Solve 0 = -4*a - 2*u - 4 - 6, 4*a + 7 = -f*u for a.
-4
Suppose -3*c = -2*c. Suppose c = -2*v - v. Let x = 10 + v. Solve -5*i - h - x = 0, 4*i - h = 2*h + 11 for i.
-1
Suppose 41 = 2*h + x - 182, -4*h - 4*x + 436 = 0. Suppose 111*z - h*z = -18. Solve 9 + z = 3*p + 2*b, -p - 5*b = -18 for p.
3
Suppose i - 4 = 1. Suppose -7*n = -i*n. Solve n = -5*m + 3*h + 10, 0 = 3*m - 0*m - 2*h - 5 for m.
5
Let n(s) = s**3 - 10*s**2 + 7. Let u be n(10). Suppose -u*z = -4*z - 15. Solve -2*h - 18 = -z*m, -3*h - 4*m = -h - 18 for h.
1
Let z = -322 + 349. Solve 0 = -2*h + 5*c + z, 0 = -2*c - 4 - 6 for h.
1
Suppose 0 = -5*z - 8 + 28. Let i be ((-16)/12)/(z/(-6)). Let b(d) = -d + 9. Let r be b(5). Solve -20 = -5*m, -i + 30 = r*s + 2*m for s.
5
Let t(l) = -l - 5*l + 8*l. Let b be t(5). Let y = -7 + b. Solve -g = x + y + 4, 0 = -4*g + 4*x - 4 for g.
-4
Let f be ((-24)/(-18))/((-4)/(-6)). Suppose h + 0 + f = 0. Let j be (-17)/(2 + -5 - h). Solve a - j = -5*d, -2*d - 3*d = 5*a - 5 for d.
4
Suppose 6*u - 30 = 5*u. Let j = u + -30. Solve -4 = -3*i + r, 5*i - r - 6 + 2 = j for i.
0
Suppose 5*w = 28*l - 26*l + 7, 8 = -4*w + 5*l. Solve 3*k - k + 2*a - 8 = 0, k - 12 = -w*a for k.
0
Let h = -38 - -45. Solve 5*i = 4*b - h - 10, 3*b + 5*i + 31 = 0 for b.
-2
Suppose 5*d = -4*s + 13 - 0, -5 = -s - 3*d. Suppose 3*c - s*c - 6 = 0. Let p = 8 - c. Solve 5*f + 5*z = f - 5, -p*f - 25 = -5*z for f.
-5
Let s be -4 - (-9 + (12 - 9)). Solve -4*x - 10 = -2*l, 3*x + s*l + 10 = 2*x for x.
-4
Suppose -3*m = 5*y - 82, -4*y + 2*y = -3*m - 16. Suppose y*l - 17*l = -45. Solve -3*n + 7 = -4*u, 4*n + l = -4*u - 13 for n.
-3
Suppose -n - 2*n + 27 = 3*b, 3*b - n - 47 = 0. Solve -2*m + m - 3*z + 11 = 0, 0 = m + 4*z - b for m.
2
Let c(y) = -3*y - 14. Let i be c(-6). Suppose -i*t = -o - 21, -9 = 4*t + o - 28. Let x = -48 + 88. Solve 5*w = -3*f - x, w = -f + 3*f + t for f.
-5
Let b be 32/(-16) + 1*2. Suppose 2*v + 71 = 6*v - z, b = 2*v + z - 43. Solve -a = -4*s - v, -6 = s + 2*a - a for s.
-5
Let j(r) = -2*r**2 + 6*r. Let i be j(4). Let x be i/28 - (-4)/14. Solve x*b - 4*b + 30 = -5*c, -4*c + 12 = 4*b for b.
5
Let k be 1/2*(-23)/(184/(-48)). Solve 4*x - 1 = -c + 2*x, k*c + 4*x - 5 = 0 for c.
3
Let n(d) = -4*d**3 - 1. Let k = 2 + 3. Suppose -5 = 5*u, 0 = -3*c - 2*u - 0*u - k. Let j be n(c). Solve 0 = -2*t + z + 1, -5*t + 2 = z + j for t.
0
Let l = -437 - -442. Let t = 20 - 12. Suppose -52 = -l*k + t. Solve 2*p - 2*d = -3*d + 12, 0 = -5*p + 2*d + k for p.
4
Let u(y) = 29*y - 6. Let x be u(1). Suppose -20 = 5*a, a - x = -5*g + 3*a. Solve -3*p - 5*k = -2*k - 21, 0 = 4*p - g*k for p.
3
Suppose 0 = 2*q - 25*f + 24*f - 4, -8 = -4*q - f. Solve q*i - 3*s = -7, -2*i - 2*s + 3 - 5 = 0 for i.
-2
Let h = 102 + -63. Suppose 0 = 2*f + 4*v - 40, 0 = -f + 3*f + 3*v - h. Solve -a - 6 = s, f = -4*a - 3*s + 2*s for a.
-4
Let l = 36 + -32. Suppose -12 = -s + l*w - 5*w, 0 = 4*s + 3*w - 46. Solve s = -5*u, a + 6 = 5*a + 3*u for a.
3
Suppose 0 = u - 5 - 5. Suppose -5*h - 11 = -2*p, 0*p + h + u = 3*p. Solve 5*l = -j + 12, j + p = -l + 7 for j.
2
Let t(w) = -w**2 + 28*w - 92. Let q be t(24). Solve 4*h + 24 = q*l, -3*l = 2*l - 3*h - 22 for l.
2
Suppose 0 = 4*c + 2*a + 142, -c + 5*c + 127 = -5*a. Let x = c - -42. Solve 0 = -3*n + x*m - 22, -4*n + 6*n + 16 = 3*m for n.
-2
Let z be ((-3)/2)/3*12. Let y be ((-15)/9)/(1/z). Let n = 13 - y. Solve 2*b + n = 3*b, 5*j - b + 28 = 0 for j.
-5
Let c = -15 + 30. Let m be 1053/45 - 6/c. Solve 2*o - 9 - 3 = -2*x, -3*o - 4*x + m = 0 for o.
1
Let t(r) = 8*r**2 - 41*r - 24. Let g be t(6). Solve 0 = 2*v - 2*u - u - 8, g = -3*v - 3*u for v.
-2
Suppose 3*y = -0*y - 9. Let k be (2 + -1)*(5 + y). Solve 2*m - 5*t - 23 = 0, -k*m + 2*t = t - 3 for m.
-1
Suppose -2 = 2*g - 8. Suppose 4*k - 20 = -r, -5*r + 5*k + 26 = -2*r. Let x be (18/(-21))/(r/(-56)). Solve 4*i + t = -t + 6, x*t - g = i for i.
1
Let h be 3 - (-4 + 4)/(-3). Solve 4*v - m - 19 = 0, -h*v + 17 = -0*v + 2*m for v.
5
Let t be -4 + 0 + (1 - -6). Suppose 19 = 2*l + 3*c, -t*c - 7 = -2*l - 2*c. Let u = l - 3. Solve x + p = 2*x, -3*p + 5 = -u*x for x.
5
Suppose -5*r + 0*z - 11 = -3*z, z = r + 1. Let d(x) = x**2 + 4*x. Let q be d(r). Suppose q = j + j. Solve 5*n - m - 2*m - 21 = j, -2*m + 8 = 4*n for n.
3
Let z = 3179 - 3176. Suppose -3*g = -34 + 10. Solve 2*i = -5*t - g, i + 8 = -i - z*t for i.
-4
Let a = 27 + -17. Suppose j = 3*j - a. Suppose w + j = 9. Solve -2*d - 4 - 6 = -b, -5*d - 25 = -w*b for d.
-5
Let s(d) = 2*d**2 + d. Let c = 33 - 59. Let k = 24 + c. Let y be s(k). Solve 5*a = -3*t - 19, 0*t - 2*t - 2*a = y for t.
2
Suppose 0 = 28*r - 24*r. Suppose r*o - 2*o - 28 = -5*f, o = f - 8. Suppose -9*y + 25 = -4*y. Solve 6 = y*b + 2*t, 0 = -2*b - f*t + 2 + 10 for b.
0
Let l be (-30)/55 - ((-61)/11 + -3). Solve -4*g + l = -4*y, -g + 5*g - 8 = -y for g.
2
Suppose -5*h + 4*q + 25 = 0, 2*h = 3*h + q - 5. Suppose k - 14 = h. Solve -p - 2 + 3 = m, -5*m - k = -3*p for m.
-2
Let t(m) = m**3 + 18*m**2 + 28*m - 59. Let a be t(-16). Solve -2*q + q - 5 = -k, -4*k - a*q - 25 = 0 for k.
0
Let d = -41 - -36. Let y(u) = -u**3 - 6*u**2 - 5*u + 2. Let b be y(d). Solve -s + x - 9 + b = 0, -18 = 2*s - 4*x for s.
-5
Let q(y) = 5*y + 2. Let h be q(