= 0 for b.
-3
Let m = -33 + 41. Let a = m - -3. Solve 12 = 4*q, 4*w - 5*w = -5*q + a for w.
4
Let q(t) = 22*t**3 + 1. Let n be q(1). Suppose 25*k - 29*k = -16. Solve r + b = -b + 1, -k*r = -b + n for r.
-5
Suppose -3*o - 39 = 36. Let y = o - -30. Solve -y*g = 2*w - 7*w - 5, 0 = 4*g - 8 for w.
1
Suppose 16*k - 4*k - 48 = 0. Solve 0 = 2*u - k*u - 8, 3*u + 27 = 3*l for l.
5
Suppose 82 = -14*w + 124. Solve -4*d - 5*h = -6*h + 3, w*d = 3*h + 9 for d.
-2
Let l be (-3)/6*(-33 + 3)/5. Solve -4*d = -3*o - 0*o + 29, -l*d + 4*o = 27 for d.
-5
Let j(p) = p**3 + 6*p**2 + 5*p + 3. Let b = -16 - -11. Let s be j(b). Let f = 298 - 297. Solve 5*w + s*d = -1, 3*w - w = -d - f for w.
-2
Let u(c) = -c**2 - 22*c - 70. Let b be u(-4). Solve -16 = 3*h - b*f - 2*f, 2*f = 5*h + 22 for h.
-4
Let w(y) = -y - 7. Let o be w(-12). Suppose -o*p + 3*n = -56, 2*n = 2*p - 1 - 19. Solve -6*x + x - p = 3*a, -33 = -2*a + 5*x for a.
4
Suppose 5*m - 6 = 2*k + 3*m, -3*k - 3*m = -21. Let q be (0/(-1 - k))/1. Let f be 0 + (3 - (q + -2)). Solve f*y - 27 = -3*r, 2*r + r = -4*y + 24 for r.
4
Let h be (3 - (-1 + 1)) + -247 + 246. Let w = 17 + 8. Solve -q - h*x = -0*q + 5, 0 = 5*q - 4*x + w for q.
-5
Let m(a) = a**2 + 2*a + 53. Let n be m(0). Let u = -48 + n. Solve u*j + 2*t + 30 = 0, 5*j - 3*t - 5 = 2*t for j.
-4
Suppose -5*s = -3*t - 75, -5*s = -2*s + t - 45. Let x = s + -13. Let k(h) = h**2 + h - 4. Let o be k(x). Solve l + 5*w = -21, o*l + 3*w = w - 10 for l.
-1
Suppose 40*u = 16*u + 96. Solve y + 3 = 2*i - i, 5*y = u*i - 10 for y.
2
Let o(w) = -44*w**2 + 2*w + 4. Let v be o(-2). Let l be 10/75 - v/30. Let f = -2 + 2. Solve -10 = -5*q - 0, f = -4*u + 5*q - l for u.
1
Let h = -4 - -9. Suppose 4*r + f = -4, -6*r + 5*r - 3*f = 12. Suppose 14*w - 58 - 12 = r. Solve 0 = -3*p + 2*j - 6, -h*p + 2 = w*j - 13 for p.
0
Let w = -486 - -489. Solve -30 = 5*v + 5*j, v + 0*j = w*j - 2 for v.
-5
Let g(h) be the second derivative of h**4/12 + 5*h**3/3 + 7*h**2 + h. Suppose 0 = -14*q - 143 + 17. Let w be g(q). Solve w*c + 8 - 33 = 4*j, -15 = -3*c for j.
0
Let t be (-100)/(-250) - 36/(-10). Solve 28 = -t*f - 4*d, -5*f + 5*d + 17 = -f for f.
-2
Let x be -4 + 6 + 3 - 3/1. Solve -x*b = -8, -c + 2*b - 10 = -3*c for c.
1
Let n = -3 - -12. Let p(o) = o - 5. Let x be p(n). Solve 2*z = x*j + 10, 6*j - j + 3*z = -29 for j.
-4
Suppose 0 = -15*u + 154 + 506. Let j = -41 + u. Solve 0 = j*v - 5*b, 15 = 2*b + 3*b for v.
5
Let s = 195 + -132. Let g = s - 61. Solve -3*l - 5 = -b, g = l + b + 5 for l.
-2
Suppose 3*a = s - 32, 2*s + 3*s + a = 208. Suppose 40*m + 3 = s*m. Solve m*p + h - 4*h + 9 = 0, -4*p - 3*h = -16 for p.
1
Let s = 948 - 936. Solve 3*c + s = -2*b, 0 = 4*c - 4*b + 1 - 5 for c.
-2
Let h(d) be the first derivative of d**4/4 - 7*d**3/3 + d**2/2 - 2*d - 13. Let l be h(7). Solve -2*k + 6 = 2, 3*k + 14 = -l*z for z.
-4
Let p = -594 - -598. Solve 0*c + p*c + 9 = j, -3*j + 9 = -3*c for j.
1
Let v be (5 + 120/(-25))*(0 + 15). Solve u = v*u + 3*q - 5, 3*q = 15 for u.
-5
Let p be (-1)/((6/(-63))/2). Let g = p + -4. Suppose -a - 5*x - 13 = 2*a, -g = -3*a + x. Solve a = v + 3*c, v + 3*v + 8 = -4*c for v.
-5
Let c(v) = 5 + 0*v**3 + v**3 + 11*v**2 + 4*v + 7*v + 10. Let i be c(-10). Solve -5*w - 5 = -i*z, 2*z + w = -3 - 7 for z.
-3
Let r(h) = -h**3 - h**2 + h + 2. Let t be r(-2). Let l be (2 + -2)*(-3)/3. Suppose 5*j + a - 12 = -0*a, l = j + a. Solve z + 4 = -t*o + o, 0 = -3*o - j*z for o.
-2
Let h(x) = x**3 + x**2 - x + 2. Suppose -2*p = 3*p + 10. Let n be h(p). Suppose n = -i + 4 + 1. Solve -2*q - i*z + 10 + 7 = 0, 5*q + 4*z - 17 = 0 for q.
1
Let v = -309 + 314. Solve m + 5*h = 7, v*m = h - 2*h - 13 for m.
-3
Suppose -3*i + i = -10. Suppose 0 = -5*j + 7 + 3. Suppose r - 3*g - g = 47, j*r - 58 = -g. Solve -6 = 3*p, -3*x + r = -i*p + 6 for x.
5
Suppose -3*r + 2*d - d - 41 = 0, 4*r = 3*d - 58. Suppose -5*o + 9*o = -128. Let p = r - o. Solve 5*c = -3*s - p, -3*s = 4*c + 4 + 13 for c.
-2
Suppose 2*x = 3 + 7. Suppose 4*a - 8*a + 14 = -2*g, -5*g - x*a = 35. Let q = 10 + g. Solve -5*y + 0*y + 16 = -2*w, -9 = q*y + 5*w for y.
2
Let t(n) = -6*n + 1. Let c be t(2). Let k be (-2)/11 - (-9)/c. Let f = 7 - k. Solve -f = -l + 3*l + 4*m, 4 = 2*l - 2*m for l.
0
Suppose -15 = -3*m, 2*u + m = 97 - 16. Suppose 5*h - 3*d - u = 48, -4*d = h - 8. Solve 3*x - 4*j - h = 0, 0*x - x - 2*j + 2 = 0 for x.
4
Let c(w) = w**3 - 3*w**2 + 2*w + 3. Let r(y) = 3*y**2. Let k be r(-1). Let u be c(k). Suppose -4*a = -a - u. Solve -3*n - j + 10 = 0, -a*j + 15 = -n + 5 for n.
2
Suppose 5*m + 2*x - 204 = -x, m = 2*x + 46. Suppose -m = 5*d - 12*d. Suppose 0 = -3*y, -2*t - y + 27 = t. Solve 3 = -n - g, -3*n - t = -d*g + 3*g for n.
-3
Let y(o) = 5*o + 87. Let h be y(-17). Solve -4 = 2*m - 4*m, m = -h*p + 8 for p.
3
Let d be 5 + 18/(-6) + 2. Solve -3*a + 3 = 3*r, 3*r = d*a - 17 - 15 for r.
-4
Let p = 1080 - 1061. Solve 3*m - 10 - 3 = 4*o, 0 = 5*m - 4*o - p for m.
3
Let f be 7/(-6) - 9849/(-882). Solve 4*l = -5*g + g + 16, 0 = 5*g - 5*l + f for g.
1
Suppose 3*a + 103 = -101. Let s = a + 71. Solve 4*r + 3*l + 10 + s = 0, 2*r - 4*l = 10 for r.
-1
Let h = 28 - 36. Let l = -3 - h. Solve -5*s + 5*t = -25, -4*t + 2 = l*s + 22 for s.
0
Let d(b) = -b**3 + 3*b - b + 3*b - 6 + 3*b - 8*b**2. Let u be d(-9). Suppose 2*g - 7*g + 10 = 0. Solve 7 = u*m - j, -g*m + 1 + 0 = 3*j for m.
2
Suppose -i = -3*i - i. Solve 5*g = -i*g, 3*c + g = 6 for c.
2
Suppose -9*z - 49 = -12*z - 5*i, -5*i = -5*z + 95. Solve -s + 4*s = -3*v - z, -17 = 4*v - 3*s for v.
-5
Let j(a) be the first derivative of a**3/3 - 13*a**2/2 + 26*a - 22. Let b be j(11). Solve -8 = -b*y - 4*x, 4*y + x = 7 - 2 for y.
1
Suppose 2*z - 5 = -3*f, 0 = 3*z - 4*z - 4*f + 15. Suppose 15 = a + 2*a. Let o = z + a. Solve -3*v - l = -0*v + 4, o = -l - 4 for v.
0
Suppose -10*y = -8*y + 5*h - 15, y = 5*h. Let n = -72 - -77. Solve o = n, 0*o = y*w + 5*o for w.
-5
Suppose -36*u + 73 = -107. Solve 0 = -3*s + u*v + 1, -5*v = -3*s - 6*v + 7 for s.
2
Let w(a) = -28*a + 183. Let p be w(6). Solve -5*z = -3*k + p, -k + 1 = 3*z - 4 for k.
5
Suppose 0 = -19*n + 4*n + 525. Solve 19 = 5*c - f, -4*c + 5*f + n = c for c.
3
Suppose 38 = 3*i - 1. Suppose -i = -4*k - 1. Solve 5*p + 10 = 4*h, 2*p - 5 = h - k*p for h.
5
Suppose -5*c + 308 = 6*c. Let a(h) = 2*h - 56. Let g be a(c). Solve -16 = -4*u + 2*n, 2*u + g*n + n = 0 for u.
2
Let o = -3 + 4. Let b be 26 - (-2 + 2 + o). Suppose -t = 5 - b. Solve 5*l = t, 3*q - 2*l + 19 = 2 for q.
-3
Let k(m) = 2*m + 40. Suppose 2*y + s = -14 - 21, -4*y + s = 85. Let n be k(y). Solve -4*u - 2*j + j = n, 2*j - 4 = -4*u for u.
-1
Suppose -3*t - 198*r + 15 = -202*r, -3*r - 7 = 2*t. Let m = 6 + -3. Suppose -s = m*s - 16. Solve 0 = 4*y - 3*l + 29, -l + s*l + t = -2*y for y.
-5
Let q(a) = 2*a**2 + 15. Let o(f) = f**2 + f + 14. Let s(r) = -4*o(r) + 3*q(r). Let c be s(-2). Solve 0*d + 9 = c*b - d, 10 = -2*b - 3*d for b.
1
Suppose -3*o + 24 = -3*s, -5*o - 5*s = -6*s - 20. Solve -4*u = -4*g - 24, 0*u + o*u - 3 = 0 for g.
-5
Let m be (-4 - -1)*(-4)/(-3). Let a = -11 - m. Let b be (-2 + 4)/(a/(-7)). Solve 0 = -3*r + b*u + 4 + 1, 3*r - 4*u - 1 = 0 for r.
3
Suppose m = 2*x - 22, -5*x + m + 3*m = -58. Suppose -4 - x = -a. Let v = -11 + a. Solve 3*g = -2*k + v - 7, 0 = -5*g - k - 2 for g.
0
Suppose 5 = 12*g - 11*g, 2*y + g = 11. Solve 2*m - r - 26 = -5*r, y*r + 3 = 3*m for m.
5
Let r(h) = -h**3 - 8*h**2 - 14*h - 6. Let d be r(-6). Suppose -a - 2 + d = 0. Solve -m + 10 = -2*s, 3*m + 6 + 4 = -a*s for s.
-4
Suppose -5*g - 3 = 2*w + 49, -4*g = 3*w + 43. Let z be g/(-5)*(-9)/(-6). Solve -3*j = 2*j + z*s - 7, 0 = 4*s - 16 for j.
-1
Let i be (-1 - 1*-3) + 16 + -18. Suppose i = 10*l + 8 - 8. Solve l*p + 7 = p + 2*t, -4*t = -4*p + 16 for p.
5
Let l be ((-8)/20)/(6*6/(-270)). Let r be (2 - (3 - 1))/(-1). Solve -q - n - 4 = -r, 0 = -2*q + l*n - 8 for q.
-4
Let p = -1431 - -1433. Solve -p*j - 5*a + 0*a = 15, 3*j + 5 = -4*a for j.
5
Let j be ((-15)/30)/((-1)/10). Solve -5*k - 9 = -z, 0 = 3*z + 2*k - j - 5 for z.
4
Let f = -32 + 33. Suppose 3*i - 3*m = -m + f, -3*m + 27 = 5*i. Solve 4*s = -3*g + 24, -s + 12 = 3*g - i for s.
3
Suppose -5*q = -5 - 10. Suppose -3*g + 2*y - 1 = -0*y, -g - q*y + 18 = 0. Suppose g*v = -0*v + 15. Solve 3*a - 4*a + v*w = -2, 0 = -4*a + 2*w + 8 for a.
2
Let c(n) = -6*n + 28. Let b be c(5). Let u be (0/(3 - 2))/((-2)/b).