+ 5*b**2 - b - 4. Let n be v(4). Solve 4*c = -4*o + p, -5*o - c - n = -m for o.
5
Let f = -542 - -545. Solve -2*q + 9 = 4*b - 7, 5*q + f*b - 26 = 0 for q.
4
Let i = 156 + -154. Solve -4*t = i*k + 12, -3 = t - 0*t for k.
0
Let z(l) = 2*l**3 - 33*l**2 + 18*l - 19. Let x be z(16). Solve -4*g + x = 5*y, 22 = -g + 2*g + 5*y for g.
-3
Suppose 0 = -2*m - 0*q + 3*q + 17, -5*m - 4*q = -54. Suppose -s + 10 = m. Solve -4*b + 17 = 4*l + b, s = 5*l - 3*b + 25 for l.
-2
Let j = 49 + -28. Let p = -16 + j. Suppose 17 = 4*a - 0*a + 3*w, 2*a - 3*w = -p. Solve -2*i + 6 + 6 = 3*y, -i + a*y - 1 = 0 for i.
3
Let j = -153 - -153. Suppose 10 = -r + 2*r. Suppose 4*z - r = -2. Solve 5*l - q + 5 = j, -28 = -z*l + 6*l + 4*q for l.
-2
Let i = 792 + -790. Solve 3*t + 3 + i = 2*m, -5*m - 2*t - 35 = 0 for m.
-5
Let i = 19 - 15. Suppose -118 = -5*n - 8. Let f = 25 - n. Solve f*a + 8 = i*q - a, 0 = 5*a - 5 for q.
3
Let s(i) = 3*i + 8 + i**2 - 14*i - 2*i**2 - 6. Let t be s(-10). Let v = t + -9. Solve 3*x = v*c + 2*c - 26, 4*c - 22 = 3*x for c.
4
Let r = 55 - 53. Suppose -2*u + 0 = r*z - 2, 3*u = -z + 5. Solve -u*d = -4*a - 28, -4*a + 2*a + 10 = 5*d for a.
-5
Let p(j) = -j**3 - 13*j**2 + 14*j + 20. Let z be p(-14). Suppose 4*y = -l + z, -4*y - l = l - 24. Solve 6*r + 8 = 2*r + 4*d, 14 = -y*r + 2*d for r.
-5
Suppose -4*w - g + 82 = -0*w, -3*g + 86 = 4*w. Suppose -p = -5*p + w. Suppose 0 = 13*d - 84 - 111. Solve -o + 0 = 2*z - 13, p*o = d for z.
5
Suppose 0 = -177*d + 178*d - 3. Suppose d*i - 11 = -8*i. Solve 4*z + 5*x = -14, -5*z + 5*x + 6 - i = 0 for z.
-1
Suppose -8*x + 256 = -440. Let t = x + -83. Solve a + 0*a - 23 = 4*s, -37 = 5*s - t*a for s.
-5
Let j = 1642 + -1639. Solve a + 18 = -2*a - j*s, -3*s = -2*a + 8 for a.
-2
Let d(x) = -x**3 - 8*x**2 - 9*x - 8. Let k be d(-7). Suppose k*c = 2*c. Suppose -4*p + 4 + 8 = c. Solve p*r - 13 + 4 = 0, -t - 2*r + 4 = 0 for t.
-2
Let a = 2 + -2. Let q be 505/25 + (-4)/20. Suppose 0 = -a*w + 5*w - q. Solve -w*m + 14 = u - 0*u, -5*u - 10 = 0 for m.
4
Let c = 17 + -6. Let u = -9 + c. Solve 5*r + u*p = 5, -p = -5*p for r.
1
Let z(o) = -4*o + 1. Let d(s) = -7*s + 3. Let y(f) = -3*d(f) + 5*z(f). Let l be y(9). Let j = 838 + -818. Solve 3*h - j = -5*q + q, -l*q = -10 for h.
4
Suppose -b + 16 = 5*i, b = -2*i + 4*b + 3. Suppose -i*l - 14 = l + h, h = 3*l + 14. Let o be 3 + -7 - (l + -3). Solve -5*k - 18 = -q, 8 = -o*k + q + q for k.
-4
Let u = 52 - 52. Let y be u/3*(-5)/(-10). Solve -v + y + 5 = -2*c, 5*c + 4*v - 20 = 0 for c.
0
Suppose 4*j + 13 = a, -a - 3*a + 3*j = -13. Let v be a + 10/(-6) + (-168)/(-36). Solve q + 3*q + 12 = 0, 0 = t - v*q - 16 for t.
4
Let a(g) = -g**3 + 14*g**2 - g + 19. Let c be (-188)/(-14) - (-2)/(-14)*-4. Let j be a(c). Solve -2*w = -2*l + j*l + 7, 5*w + 10 = 0 for l.
-1
Suppose -40*d + 118 = -42. Solve -d*p = -k + 10, p = 1 - 3 for k.
2
Let x = 53 - 48. Suppose -26*s - x = -27*s. Solve 16 = -4*o, -2*g = -g - s*o - 21 for g.
1
Suppose -4*t - 257 = -3*u, -4*t + 2*u - 194 = 64. Let g be t/(-3) + 42/(-63). Solve 0*a + 5*a + 25 = 5*s, 5*s - 4*a = g for s.
1
Suppose 9*k - 91 - 17 = 0. Suppose -k*q = -4*q - 40. Solve -2*r + 5*b - 2*b = -1, q*r - 2*b = -3 for r.
-1
Let x = -148 - -151. Solve -3*q = n + 2 - 17, x*q - 15 = -2*n for n.
0
Let o(c) = 28*c**2. Let w be o(-1). Let k = w + -25. Solve 0 = -4*r + t + 12 - 3, 4*t - k = 3*r for r.
3
Let k(o) = 9*o + 228. Let j be k(-24). Solve 7*h - u = 3*h - j, 4*h + 3*u + 12 = 0 for h.
-3
Let g(z) = -z**3 + 18*z**2 + 63*z + 6. Let v be g(21). Solve -v = 3*q + 2*i - 28, -2*q - 2 = -2*i for q.
4
Let m be 2 - -1 - (1 + 6 + -24). Suppose 7*r - 9*r = -m. Solve 5*h = 6*f - f, -h + 3*f = r for h.
5
Suppose -2*a = -3*a - 2, -a - 10 = -2*t. Solve t = -3*y + 6*y - 5*l, -y + 7 = 4*l for y.
3
Suppose -11 = -5*d - 1. Let r = 30 - 23. Let f = r + -4. Solve -f*y + 3*s = -3, 0*s - 28 = -4*y - d*s for y.
5
Suppose 5*z + 11 = -i + 55, 0 = -5*z + 3*i + 28. Let s be ((-2 + 8)/(-2))/((-6)/z). Solve 2*c - s = -2*q, 2*q + 3*c - 10 = -3*q for q.
2
Let o(v) = 2*v**2 + 35*v + 48. Let q be o(-16). Solve 2*l = -4*h + 8, q = l + 4*l + 10 for h.
3
Let g be -5*(42/35)/(-2). Solve -5*b - 14 = g*y - 0*b, 3*b + 22 = 5*y for y.
2
Suppose 2*n = -10, 12*n = -4*b + 16*n + 96. Solve 3*r - 6 = -2*z, 0 = -5*z - 4*r + b - 4 for z.
3
Let i(d) = -d**2 - 9*d - 3. Let o be i(-8). Suppose -m + o*m = -88. Let v be (m/8)/(12/(-48)). Solve l = 5*u + 4*l - v, -4*u + 22 = -2*l for u.
4
Let g be (3 - 3)/(-7 + 8). Suppose g = 3*i - 4*i + 11. Solve v + i = -t + 5*v, 11 = -4*t + 5*v for t.
1
Suppose 3*p + 4*o = 5, -3*p - 2*o + 5 = -2. Suppose 8 = i + p*i. Suppose 0*u + 8 = 2*u. Solve i*h + 16 = 4*y, -u*h = -y - y + 20 for y.
2
Let o(c) = c - 4. Let u be o(6). Suppose -6 - 26 = u*r. Let y = 21 + r. Solve 2*x + 12 = -3*l - 0*l, -5*l - 20 = y*x for l.
-4
Suppose 2*o + 22 = 2*z + 3*o, -z = 2*o - 5. Let t(i) = 17*i - 746. Let n be t(44). Solve c - 3*c + n*v = 8, 2*c + 5*v = z for c.
-1
Let p be 6/(-24)*6 - (-9)/6. Solve -3*c - 3*o + 12 = p, c + c = -4*o + 14 for c.
1
Suppose 60 + 60 = 6*d. Solve 3*u + 3 = 5*v - 7, -2*u = 2*v - d for v.
5
Let x be (-4)/(-4) + 51 + 1 + -2. Let g = x - 49. Solve 0 = b + g, 2*c - b = -0*c for c.
-1
Suppose -x = 3*v - 37, 0 = -0*v - 2*v + 5*x + 2. Suppose -v = -2*g - 5*c, 5*g + 2 = 4*g + 5*c. Solve 3 = g*w, 2*w + 10 = -5*s - 3*w for s.
-3
Let v(p) = -p - 6. Let c be v(-8). Let l be -2 + 0 + 26/c. Solve -2*s - 4*i = 2*s - 4, -5*s - i - l = 0 for s.
-3
Let g be (-1)/(5/150*-6). Let t(l) = 2*l - 9. Let x be t(7). Suppose -10 = 4*d - x*r, 5*r = -d + 5 + 5. Solve -3*j - g = -d*j + 4*y, -y - 20 = -3*j for j.
5
Let n(h) = -2*h + 12. Let y be n(9). Let c be 0/(-2*(-3)/y). Suppose c = 2*x + x. Solve 1 = -w + 4*p, 3*w - p = -x*w - 14 for w.
-5
Let b be 1 + -5 + -3 + (2 - -10). Solve 3*p - b*v - 4 = 0, -3*p - 2*v + v = -10 for p.
3
Let j be (12/8)/(3/2 + -2). Let q be (5 + (j - 1))*(1 - -2). Solve -b + q*g = -7, 0*g + g = -5*b + 3 for b.
1
Suppose -41 = -3*b + 5*p, -5*p = 4*b - 127 + 14. Let m = -21 + b. Solve 2*w = -r - 5 - m, -3*r = 5*w + 16 for w.
-2
Suppose 104 = -6*l + 4*l. Let x = l + 57. Solve -5*h - 16 = -2*w, -x*w = -2*h + 3*h + 14 for h.
-4
Let j be 63/12 - (-6)/8. Let r(p) = p**2 - 6*p + 2. Let t be r(j). Solve 3*z = -2*z + t*q, -5*z + 15 = -5*q for z.
-2
Suppose -30 = -3*b + 120. Let p be ((-24)/(-20))/(2/b). Solve 0 = -5*t + 3*g + 22, 9*g - 4*g = -5*t + p for t.
5
Let c = 29 - 18. Suppose -5*x - 8 = 17, 0 = 4*t + x - c. Solve 0 = -3*h - 2*w - 4, 0 = -t*h + w - 2*w + 3 for h.
2
Let x = -2135 - -2147. Solve -11 = m + 4*g + 1, 0 = -4*m - g + x for m.
4
Suppose 274 = -10*i + 12*i. Suppose 3*w = -w - 3*c + 121, c = 5*w - i. Solve 4*j + w = 3*u, -5*j - 19 + 7 = 2*u for u.
4
Suppose -d = 2*v - 35, 4*d + 4*v - 175 = 3*v. Let n be 10/d*(2 - -7). Solve s = -n*x + 1, x - 7 = 4*s - 29 for x.
-2
Let i be 69/3 + -1 + 2. Suppose 28 = -n - 0*s + 3*s, 0 = 5*n - s + 112. Let y = i + n. Solve y*k - 5*l = 10, 10 = 4*k - 3*l + 4 for k.
0
Suppose -7*g = 9 - 2. Let d(l) = l**3 + l - 4. Let x be d(0). Let t be g + x/(4/(-29)). Solve -5*v = 4*u - 35, 5*u + 4*v - t = 3*v for u.
5
Let d(x) be the third derivative of -x**5/60 + x**4/12 + 2*x**3/3 + 7*x**2. Let a = 11 + -8. Let u be d(a). Solve -4*k = -20, 5*r + 3*k = -4 - u for r.
-4
Suppose -8 = -4*o - 0. Suppose -x - o*x = -12. Solve -j = -2*k + 1, 4*j - x = -0 for k.
1
Let l = -31 + 31. Suppose -5*y - 5 = 0, 2*v + 5*y - 2*y - 7 = l. Suppose -4*k + 20 = k. Solve -6 + 3 = -3*u, 1 = v*h - k*u for h.
1
Let m = -5 - -12. Let n(b) = 11*b - 11 - 26*b + 18*b. Let o be n(m). Solve o = -5*k + 3*j, 2*k + 2*k + 30 = -2*j for k.
-5
Suppose -7 = -2*r - 3*a + 14, 0 = 3*r + 3*a - 24. Suppose 1 = r*y - 5. Solve -5*v + 4 + 9 = y*z, -5*v + 3*z = 7 for v.
1
Let c be (0 - 0)/(6/6 + 1). Solve c = -5*i + 3*f - 16, -5 = -3*i - f - 23 for i.
-5
Suppose -d + 5*q - 19 = 0, -7*d + 8 = -3*d + q. Let o = 1 - d. Suppose o = -5*k + 108 - 28. Solve -1 = a + a + i, 2*i = 5*a + k for a.
-2
Let q be 0 + -1 - (-1 + 0). Let p = -38664 - -38682. Solve 2*t - a + 6 = q, 6*a - 3*a + p = -3*t for t.
-4
Let y(x) be the second derivative of x**4/12 + 4*x**3/3 - 11*x**2/2 - x. Suppose 190 = -13*f + 47. Let g be y(f). Solve -5*v = -a + g, -2*v = 5*a - 2 - 0 for a.
2
Let s(t) = 11 - 2*t + 15 - 8 + 0*t. Let p be s(7). Solve p*d = -5*z