for b.
1
Suppose 3*m - 4*z = 49 + 76, -z - 128 = -3*m. Suppose 0 = 6*s - m - 29. Solve -3*j + 15 = -4*x + 2*j, -4*j + s = x for x.
0
Let i(t) = t**2 - t + 7. Let l be i(7). Suppose -16 - 29 = -5*y - 5*n, -3*n + l = 5*y. Solve 2*g + v + y = 0, 2*g + 8 + 6 = -4*v for g.
-5
Suppose r - 2 = 3*j, -j + 4 = -3*r + 10. Solve j = 3*i - 7*i + s + 24, -3*i - 4*s - 1 = 0 for i.
5
Let z(u) = -u**3 + 5*u**2 + 2*u - 8. Let y be z(5). Solve -2*j - 4 = -l - 0*l, y*l + 4*j + 8 = 0 for l.
0
Suppose 45 - 39 = 2*j. Solve j*q = -2*i - 6, 0 = 5*i - 5*q - 24 - 11 for i.
3
Let x = 94 + -64. Let f = x + -22. Let u be -2*(-4 - 68/f). Solve -4*p = -5*t + u, 0 = t - 0*t - 4*p - 5 for t.
5
Let t = 23 + -14. Suppose 0 = -3*a + p + 13, -3*a + t = 4*p - p. Solve -5*u = -a*v - 22, -4*u + 2 = -5*v - 21 for u.
2
Let v = -85 - -92. Suppose -35 = -4*d - v. Solve -x = 4*n - d, 2*n = 3*n + 2*x for n.
2
Suppose 33 = 15*m - 4*m. Suppose -c + 5*s + 14 = 0, -s = c + 4*s + 16. Let z = c + m. Solve 2*k - 6*k = 20, 5*o = -z*k - 10 for o.
0
Let i(l) = -l**3 - 16*l**2 - 13*l + 33. Let g be i(-15). Solve g*b + 4*k + 9 = 0, 0*b - 3*k - 6 = 2*b for b.
-3
Let r(u) = 2*u**2 - 12*u + 14. Let g be r(5). Solve 0 = 5*f, -g*s + f - 14 = 2 for s.
-4
Suppose -6*m + 3*m + 6 = 0. Let a(k) = k**2 - 18*k + 56. Let i be a(14). Suppose m + i = u. Solve -2*g - u = -2*o, 5*o = 3*o - 4*g - 22 for o.
-3
Let c(s) = 4*s + 32. Let i be c(-7). Solve k + 4*q - 15 = -2*k, 0 = 4*k - i*q + 8 for k.
1
Let m(f) = -f**3 + 9*f**2 + f - 5. Let k be m(9). Suppose 0 = -0*a + k*a. Solve 3*r + 3*o + 12 = 0, 4*r + o + 4*o + 15 = a for r.
-5
Let f be (-2)/((-5)/((-365)/2)). Let s = f - -27. Let b = s - -75. Solve u - 4*p = -2*u - b, 0 = 3*u - 5*p + 34 for u.
-3
Suppose -15 = -5*f + 10. Solve -n + 25 = -f*j + 4*n, 3*j + 3 = -n for j.
-2
Let z = 280 + -278. Solve 7*i - 4*b - 9 = z*i, -3*i + 5*b = 5 for i.
5
Suppose 5*a - 1 = 4*u, 3*u - 7 = -2*a - 2*a. Let b be u/(-4 - (-89)/22). Let l = -18 + b. Solve -5*x = v - 15, -x = -v + l*v + 11 for v.
-5
Let k = -53 - -65. Solve z - 5*w - 18 = -0*z, w - k = -5*z for z.
3
Let x = 22 - 22. Suppose -3*s - 8 = -o, x = 2*o + s - 6 + 4. Let v be 0 - (0 - (-2 - -2)). Solve 3*i + 22 = 5*g, 3*i + o + v = g for i.
1
Let u(p) = p + 5. Let w be u(-3). Suppose 0 = b + 3*t - 4, -3*b = w*b + 3*t - 56. Solve i + b = -5*l, -l - i - 9 = 2*l for l.
-2
Let i be 1 + -4 - (1 - 7). Suppose -5*r = i*w + 24, 6*w - 28 = 4*r + 4*w. Let s = 14 + r. Solve 2*o = -4*c - 2*o + s, 3*c - 4*o + 22 = 0 for c.
-2
Suppose 7*n = -8*n + 15. Suppose 47 = 16*c - n. Solve 4*y + 10 = 2*g, -2*g + c*g = 4*y + 5 for y.
0
Let w(l) = 3*l**2 - 56*l + 40. Let r be w(18). Solve 0 = -2*o - 4*t + 1 + 11, 0 = -o + 3*t - r for o.
2
Suppose -4*p + 130 - 18 = 0. Suppose 13*o + p = 275. Solve 5*c + 3*u + 5 = -5, c + 4*u + o = 0 for c.
1
Let j be 3/(-12) - (-6)/24. Let c(h) = j*h + 15 - 2*h - 6*h + h**2. Let n be c(6). Solve -o - n*g = -6*o + 32, 4*o - 2*g - 24 = 0 for o.
4
Let c be (-6)/(-18)*6*1. Let i = -38 + 34. Let f be 0/(3 + i) + 10. Solve c*a + 2*j = 4, -2*a - a = j - f for a.
4
Suppose 23 = 7*n + 2. Solve -3*u - 2*u - 40 = -5*g, n*u = 2*g - 20 for g.
4
Let b be (-5698)/(-143) + 2/13. Let l be b/12 - 20/15. Solve o - s = l*s + 12, 5*o + 5*s = 0 for o.
3
Let m = 197 + -194. Solve -m*d = -2*f + 18, -2*f - 4*d + 5 = 15 for f.
3
Let w = 1226 - 1222. Let s be -2*1 + (0 - -8). Solve -3*n + 4*m - s = 0, n + 6*m - 8 = w*m for n.
2
Let v = 13 + -11. Suppose 5*h = -4*j + 100, 8*j + v*h = 3*j + 142. Suppose i = 4*r - 18, 5*r - j + 6 = 2*i. Solve x + 5*w = -5, r*x + 1 + 0 = -w for x.
0
Suppose 3*k - 8 + 2 = 0, x - 24 = -k. Suppose -17 - 8 = -y - 5*i, 5*y - 17 = 2*i. Solve -y*c + 4*r = -x, 2*c = r - 3*r - 2 for c.
2
Suppose 35*h - 38*h = -3*x - 9, h - 5 = 0. Solve 0 = 2*n - 4*s - 8, 6 = x*n + 2*n + 2*s for n.
2
Let t = -25 + 37. Let o be (40/(-70))/(2/(-7)). Suppose 4*a - 8 = o*v, 4*a = -2*v + 34 - 10. Solve -u + t = -v*g, 5*g + 2*u + 40 = -3*u for g.
-4
Let a(y) = y**2 - 3*y + 4. Let t be (-13)/(-5) - (2 - (-48)/(-20)). Let o be a(t). Solve -5*v + 7 = 22, 4*l = o*v - 4 for l.
-4
Let q = 11 + -8. Suppose 0*d + 24 = 4*l - 2*d, -4*d + 7 = q*l. Suppose 0 = 5*g - 3*o - 64, -4*o - 57 = -l*g + 5. Solve -3*v = -4*b + g, v - 6*b = -b - 23 for v.
2
Let f = -566 - -569. Solve -a - 2*j = -f, -8 + 2 = -2*a - 3*j for a.
3
Let f = -78 + 78. Solve 0 = 5*q - r - 5 - 15, -2*q - 4*r + 30 = f for q.
5
Let o(g) = g**2 - g - 2. Suppose 4*w - 5 = 7. Let c be o(w). Let u(v) = -v**2 + 5*v + 6. Let h be u(6). Solve 2*n + 4*y - 10 = 0, -c*n + 5*y + 12 + 8 = h for n.
5
Suppose 6*k - 16 = 2. Solve r + 5 = -2*w, -r - 2*r - 3*w = k for r.
3
Let j(u) = u**3 + 6*u**2 - 8*u + 5. Let z be 1/3*2/((-2)/21). Let p be j(z). Suppose 0 = 5*f - 0*f. Solve p = -5*l - v - 2*v, f = -3*v + 3 for l.
-3
Let j(a) = a - 40. Let b be j(0). Let p = -29 - b. Solve -5*u - f = -p, -14 = -2*u - 3*f + 5*f for u.
3
Suppose 5*w - 9 = y, 5*y = -w + 4*w - 1. Let g be -1*w*(-11 - -10). Suppose -g = -2*q + 2. Solve q*r + 4*m + 20 = 0, -5*m = -0*r - 2*r + 7 for r.
-4
Let j(h) be the first derivative of -6 - 5*h - 3/2*h**2. Let a be j(-3). Solve 16 = 4*g, a*g - 5 - 7 = 4*y for y.
1
Suppose 0 = -5*w - 2*k + 8, 3*w - 4*k + 16 = 4*w. Suppose w = 5*b + 2*t, 0*b = -b + 3*t + 17. Solve 3*n = 4*a, n = a - b*n + 9 for a.
3
Suppose -304*t = -315*t. Let x be (-2*1)/((-2)/4). Solve -16 = -5*u + 4*n, t = 3*u - u - n - x for u.
0
Suppose 0*u - 18 = -2*u. Let y(w) = -w**2 + 10*w - 7. Let s be y(u). Solve 0 = -2*d + s*o + 14, 5*d + o - 18 = -1 for d.
4
Let j(l) = 7*l**3 + 17*l**2 - 22*l + 3. Let t be j(1). Solve -14 = 5*m + h, -m - 1 = h + t for m.
-2
Suppose 0 = 2*w + 3*i - 197, -5*w = 3*i - 6*i - 503. Let b be w/16 + -4 + (-1)/4. Solve -v - b*s = 7, 0 = -2*v + v - 5*s - 19 for v.
1
Suppose 8*a - 24 = -0. Solve -3 = -u + x, -a*u + 23 = 8*x - 4*x for u.
5
Let u(i) = i**2 - 15*i + 51. Let y be u(14). Solve 5*l - 3*x = 35, 3*l = 4*x + x + y for l.
4
Suppose -17 = -3*m + 1. Suppose -4*s = -16, -10 = 2*z - m*s + 2*s. Solve -2*j - 12 + 4 = 2*x, z*j - 4 = x for j.
0
Let n be ((-1)/(-2))/((-4)/(-40)). Suppose -12*p - n = -13*p. Let b(j) = 4*j**2 - 2*j. Let k be b(2). Solve -p*q + 3*q - k = -2*a, -5*a - 4*q = -12 for a.
4
Let x be (8/6)/(9/(-27)). Let t be 590/30 - x/(-6). Let z = 39 - 35. Solve t = -5*k + u, -z*u = 5*k - 6*u + 18 for k.
-4
Let r be 1/1 - 3/(-1). Let w(l) = -l**2 + 2*l + 17. Let u be w(10). Let s = -61 - u. Solve 0 = 5*x, -16 = 6*m - s*m + r*x for m.
-4
Suppose 15*v - 91 = 74. Solve 6*p - 23 = p - 3*h, 3*p = h + v for p.
4
Let b be (-23)/(-3) - (-8)/(-12). Let d = 1050 + -1046. Solve -l = -v + b, d*v - v - 6 = 0 for l.
-5
Suppose -5*d + 115 = -0*d. Let g(m) = -m**3 + 19*m**2 + m - 11. Let h be g(19). Suppose h*a + 14 = 9*a. Solve 0 = -2*q - 2*b + a, -3*b - d = -3*q - 7*b for q.
5
Let b(j) = j**3 - 4*j**2 + 2*j + 2. Let u be b(4). Let i = -1 + u. Let f be (-27)/3*(-3)/i. Solve 3*m = 2*g + 13, 3*m + 0*g + f*g = -12 for m.
1
Suppose 11 = 3*u + 5*g, u + 3*g + 4 = 9. Let o be (-11 + u)*-1 - 4. Solve 0 = 3*l - o*i + 19, -21 = -3*l - 3*i - 0*i for l.
2
Let z be 5 - ((-3)/(-5) - (-70)/50). Solve -6*j = -3*j, -r = -z*j + 3 for r.
-3
Let p be 13/(-78) - (-11)/(-6). Suppose -5*z + 20 + 0 = 0. Let v = z - p. Solve -u = m - v, 0*m + 3 = -u + 2*m for u.
3
Let t be (24/(-42))/((-1)/7). Solve -4*n - 12 = -i, i + 0*n + t = -4*n for i.
4
Suppose 5*w + 11 = 6*w. Suppose -2*z - 3 = -i - w, -2*z = -5*i - 24. Solve v - 11 = -z*o, 2*v = -4*o + o + 18 for o.
4
Suppose 8 = 2*t, 0*t + 5*t - 24 = -2*n. Let f be 2/(3/n + -1). Suppose -27 = 13*u - 53. Solve 2*y + f + 8 = -u*d, -y = -d for y.
-3
Suppose 0 = t - 3 - 1. Suppose -4*w - 4 = 0, 0 = -3*c + t*c + 3*w - 19. Solve p = -5*x + 26, -5*x + 3*p = -0*p - c for x.
5
Let t = -2180 - -2185. Solve -13 - 6 = 3*a + 5*d, 4*d + 30 = t*a for a.
2
Let z be 2/(-3)*6*(-4)/8. Suppose -w - z*w + 2 = 2*x, 0 = -3*x - 4*w + 5. Solve -3*g = -3*l + x*l - 14, g + 4*l - 18 = 0 for g.
-2
Suppose 4*g + 15 = z, 2*g + 6 = z + 1. Let q = 8 + z. Solve 0*f + 13 = o - 2*f, o - q*f - 17 = 0 for o.
5
Suppose 4*q = 84 - 48. Solve 5*u + q = -z, -5*u - 31 = 5*z - 6 for z.
-4
Let k(c) = c**3 + 4*c**2 - 7*c - 10. Suppose -2*z = -9*z - 35. Let s be k(z). Solve s = 4*b - 4*d + 16, -2*d - 8 = b - 1 for b.
-5
Let s(d) = -2*d**2 - 6*d - 2