 b.
0
Suppose 7 - 4 = 3*v. Suppose 2*z = f + 7, -4*z = 5*f - 2*f + v. Solve 0*h = h + 5*r - 13, -z*h = 3*r - 5 for h.
-2
Let t be (-10 - -7) + 6 + 1. Solve -t*k + 3*k - 11 = -2*w, -2*k = -5*w + 25 for w.
3
Let n = 18 + -15. Solve -3*b + 0*h - 6 = -n*h, 0 = 2*h - 8 for b.
2
Let z(o) = -o**2 - 6*o + 5. Let y be z(-6). Suppose 4*r = 2*r - s, 4*r = 2*s - 8. Let a = 4 + r. Solve 9 = -u + a*x - 8*x, -5*x = y for u.
-4
Let x = -36 - -38. Solve 0 = -4*k + 4*f, 3*k + x = 6*k - f for k.
1
Let a = -33 + 18. Let u be 3/2*(-130)/a. Solve n + 5*j + 2 = u, 3*n + 4*j = 11 for n.
1
Let b be (-2)/5 + (-108)/(-20). Let v = b - 1. Solve v*d - 5*f - 11 = 0, -5*d + 3*f - 1 = -5 for d.
-1
Let i(q) = q**2 - 2. Let p be i(-2). Suppose -3*v = p*c + 23, 0 = 4*c + 1 - 9. Let j be -6*((-6)/v)/(-2). Solve -5*f - 16 = 2*z, 3*z + z + j = 5*f for z.
-3
Suppose -5*y + y - 3*w + 91 = 0, 5*y + 5*w - 110 = 0. Let c = -10 + y. Solve -2*t = 5*n - c - 16, 0 = 3*t - 2*n + 1 for t.
3
Let x(q) = -q**3 + 3*q**2 + 2*q - 3. Let k be (-2)/1 + -1 + 5. Let s be x(k). Suppose 0 = 3*g + 1 - 34. Solve -16 = 4*y, -2 = -s*f + 4*y - g for f.
-5
Suppose 3*o = -4*x - 24, -14 = -0*x - 2*x + 5*o. Let c(i) = 2*i**2 + i + 1. Let r be c(x). Solve -3*z = -5*s + r, 4*s - 6 - 17 = -z for z.
3
Let a be 18*((-64)/(-12) - 4). Solve 5*q + 40 = 5*u, 0 = -u + 5*u - 2*q - a for u.
4
Suppose -4*d = -25 + 1. Let a = d - 3. Solve a*f = -3*i + 24, -3*f = -2*i + 3 - 2 for f.
3
Suppose -2*t + 12 = 8. Suppose -3*m - 23 = -5*v, 8*v - 3*v = 2*m + 22. Let i be (1*(m - 4))/(-1). Solve -i*x - 18 = 3*s - 4, t*x + 6 = -s for x.
-4
Let k = 6 - 3. Suppose 0 = n - 1 - k. Solve n*s - 6*s = -5*y + 21, -5*y = 5*s for s.
-3
Suppose 0 = 3*q - 15, -5*b + q - 10 = 6*q. Let t = 4 - 11. Let c = t - b. Solve 0 = 2*o - 4*d - 7 + 23, c = 4*o + 5*d + 6 for o.
-4
Let l be ((-5)/(-5))/((-2)/(-60)). Suppose -l = -5*q + 90. Solve -4*m + g - q = 0, 0*m - 4*g + 31 = -3*m for m.
-5
Let y = -42 - -44. Solve 2*n - 6 = -4*u, -5*u + y*u - 3 = 0 for n.
5
Let d(q) = -q**2 - 6*q - 3. Let i be d(-7). Let u = -7 - i. Solve 3*n = -4*s - 1, 0*n + u*s = 3*n + 15 for n.
-3
Let n = 4 + 0. Suppose 3*m = -b + 13, -4*m + 0*m + 4*b - n = 0. Solve 3*s + 2*t - 1 = 2*s, 5*s + 2*t + m = 0 for s.
-1
Suppose -2*h + 21 = 1. Let w = 5 + h. Suppose -5*v + w + 5 = 0. Solve -2*d = v*r, -5 = -2*d + r - 0 for d.
2
Let s(x) = 3*x - 2. Let c(o) = 8*o - 5. Let w(v) = -4*c(v) + 11*s(v). Let g be w(6). Suppose g*k + 4 = 20. Solve 2 = -3*f - 2*p, 0*p + 4 = 4*f + k*p for f.
-4
Suppose 39 = 4*j - 33. Let m = j + -11. Solve -r + m + 4 = 4*s, 0 = -4*r + 5*s - 40 for r.
-5
Let j be 1/4 + 6 + 78/(-24). Suppose 3*v - 6 = 9. Solve v*a = -k - 12, -j*k + k = a - 3 for a.
-3
Let u be (3 - 0) + 1 + 3. Let d be 2/(((-21)/6)/u). Let q be (d/(-6))/((-3)/(-18)). Solve -2*c - 2*c - 4*r = 0, -4*c - 24 = -q*r for c.
-3
Suppose -2 = -3*m + 10. Solve 22 = -m*l + v + 10, -l + 5*v + 16 = 0 for l.
-4
Let p(h) = 2*h**2 + h + 2. Let k(g) = -g - 1. Let j(a) = 3*k(a) + p(a). Let s be j(2). Solve 4*v + 17 + s = 0, 0 = -b + v for b.
-5
Let l = 35 - 13. Let u = l - 2. Suppose 0*n - 2*j - 19 = -5*n, -n - 5*j + u = 0. Solve 0 = 2*v - 2*p, -n + 0 = 3*v - 4*p for v.
5
Let t = 5 - 11. Let j = -3 - t. Solve -19 = 4*z + 3*x + j, 4*x = 2*z for z.
-4
Let b = -4 - -9. Let p be (1/2)/((-2)/(-52)). Solve 27 = 5*u + 3*m, u = b*m - 4 - p for u.
3
Let m(l) = -45*l**2 + l + 1. Let p be m(3). Let q = -226 - p. Suppose -4*c = c - q. Solve -2*i = 8, c = -3*f - 3*i + 8 for f.
-5
Let c(m) be the first derivative of -3*m**2 - m + 1. Let s be c(-1). Solve -4*z + 51 = s*x + 10, x = 5 for z.
4
Let u = 82 + -70. Solve 0 = -k + 2*f + 2, -6*f - u = -2*f for k.
-4
Suppose 2*t = -5*p - 3*t + 230, 2*p - 5*t = 57. Suppose 1 - p = -2*m. Solve -5*y = m, 4*r - 2*y = -5*y + 8 for r.
5
Let c(r) = r**2 + 2*r - 3. Let y be c(-3). Let s = y - -5. Solve 0 = 3*x + 2*f + 10, 2*x + 2*f + s = -f for x.
-4
Suppose 0 = -0*n + 4*n. Solve 5*z - 21 = 2*f, 5*z + 4*f - 3 = -n for z.
3
Let m be 0 + 0 + 8/2. Suppose 3*v = -l - 4*l + 3, m*v + 2*l = 18. Let f(h) = 2*h - 6. Let c be f(4). Solve -c*g = 6, a - 4*a + g = -v for a.
1
Let l = 33 - 25. Let u(t) = t**3 - 7*t**2 - 9*t + 10. Let f be u(l). Solve -4*v + 0 = -3*b - f, v - 3*b = -4 for v.
2
Suppose 5*f - 13 = 7. Solve -q - 2*q - 11 = y, -23 = f*y + 5*q for y.
-2
Let c be 24/60*(4 + 1). Solve -7 = -l - c*m, l - 2*m + 2 = -3 for l.
1
Suppose -5*o + 4 = 2*d - 6, -o + 3*d = -2. Solve -4*i - 3*j + 7 = o*j, -2*i + 4*j = 16 for i.
-2
Let r be -1 + 1 + (-16)/(-4). Suppose -9*y = -r*y - 30. Solve 2*j = f + 1, 5*j + y*f = f - 35 for j.
-2
Suppose -3 = m + 4*x + 5, 0 = -2*m - 4*x. Solve 0 = -3*h - 0*h - j - m, j = -2*h - 6 for h.
-2
Let m be 2/(-8) - 50/(-8). Let d(f) = 4*f**3 - f**2 - 2*f + 2. Let x be d(1). Let c = m - x. Solve 0 = -4*j + 16, -2*n - c*j = -19 - 1 for n.
4
Let n(o) = o**3 - 13*o**2 + 13*o - 10. Let z be n(12). Solve 6 = -3*d + 3*c, -3*d + z*c - 2 = -2*d for d.
-2
Let a(x) = -x**2 + 6*x. Let b be a(3). Let o = b + -5. Suppose -2*m + 4 = -o. Solve 3*z = -m*h - 0 + 1, -5 = h - z for h.
-2
Let g(l) = -l**2 - 8*l + 13. Let a be g(-9). Suppose i = 0, -a*i + 4 = 5*o - 6. Solve u - 6*u - 35 = o*k, -u - 25 = 4*k for k.
-5
Let w(n) = 4*n + 9. Let l be w(7). Suppose -l = -5*p - 12. Solve p*v - a + 29 = 3*a, -v = 5*a for v.
-5
Let g(v) = -v - 2. Let l = -4 - 0. Let r be g(l). Solve -4*z + 2*z = 5*b + 9, 6 = -r*b for z.
3
Let p(m) = m**2 + 32*m + 92. Let y be p(-29). Solve 0 = -y*d + 3*x + 27, d - 5*x - 19 = -x for d.
3
Suppose -14 = 4*z - 22. Solve 2*x = 2*r + 10, -z = -2*x + r + 3 for x.
0
Let w(c) = c**3 + 5*c**2 + 2*c - 3. Let z be w(-3). Solve -2*r + p = -3*r - 5, -2*r - p = z for r.
-4
Let z be (-4)/10 - 412/20. Let k = z - -26. Solve 4*h - h - 2 = k*x, 0 = 3*x - 5*h + 14 for x.
2
Let b = -9 + 17. Solve 3*f + 4*l = -f - 4, 2*l = -b for f.
3
Let g be 1 + 1 + 14/(-7) - 0. Solve z = l - 1, g = 2*z + l - 2*l for z.
1
Let l be 3 + (-3)/3 + -5. Let t be 1 + 3/(l/14). Let q = -8 - t. Solve 3*r + p = -2 + q, 0 = -3*r - 2*p for r.
2
Suppose -5*f = -2 - 13. Suppose f*w + 2*x = 3*x - 31, -2*x = -w - 2. Let q be (-63)/w + 3/(-12). Solve 3*r = -0*r - i, -q*r = i for r.
0
Suppose -1 + 4 = m. Suppose -3*x + 4 = -2*x. Suppose 5*z - x*y - 37 = 0, -z + 8*y - 1 = 3*y. Solve z = m*o + 5*v, -4*v = v for o.
3
Let p = -13 - -22. Let z(h) = h**2 - 9*h + 6. Let n be z(p). Let x = 15 - 10. Solve -4*r - n - 2 = 0, 2*i + 18 = -x*r for i.
-4
Let m(y) = 3*y**2 + 3*y + 4. Let g be m(-3). Suppose -4 = -4*l + 8. Suppose 0 = -l*j + 3 + 3. Solve 0 = 3*w - 4*x + g, 0*x = j*x - 8 for w.
-2
Let b(z) = -z**3 - z**2 + 5*z + 6. Let i(r) = r**3 - 4*r - 5. Let g(q) = -2*b(q) - 3*i(q). Let p be g(3). Solve l + n + 0*n = p, 0 = -5*l + 3*n + 40 for l.
5
Suppose 0*n = -2*n + 10. Let q = -5 + n. Solve q*l = 3*l + t - 13, 26 = 4*l - 3*t for l.
5
Suppose 0 = 2*r + 4*x + 4, 0 = 2*r + 5*x + 6 - 2. Let a be 6 + -4 + (r - -3). Solve 5*u + 34 = 3*v, 1 = -4*v - a*u - 2 for v.
3
Let z = -4 + 14. Suppose -2 = j - v, 4*j + v = -4*v + z. Let f be j*(-2)/(-4)*2. Solve -36 = -5*m + 4*u, f = -0*m + 3*m + u - 8 for m.
4
Suppose -2*q = 3*j, -6*q + q + 5*j = -25. Suppose q = -p + 6. Solve 3*m = -5*w + 16, -m + w + 6 = p*w for m.
2
Let p = 10 - 6. Suppose -4*m = -0*b - p*b + 4, b - 1 = 0. Solve m*c + c + h = 1, 0 = -3*c + 3*h - 9 for c.
-1
Suppose -20*c + 12*c = -32. Solve -x + 3*g = 3, 2*x + 0 = c*g - 2 for x.
3
Suppose 4*p + d = 4, -5*p + d = -d + 8. Let v(z) = -z**3 + 9*z**2 + 8*z + 14. Let h be v(10). Let x be (p/(-2))/(h + 4). Solve -5*q + 4*s = -s, s = x for q.
0
Let a = -9 + 11. Let y(z) = 3*z**3 - 3*z**2 + 5*z - 2. Let s be y(3). Let o = -45 + s. Solve 0 = -2*h - 0*g - 4*g + o, a*g = 3*h - 1 for h.
3
Let c(p) = -p**2 + 20*p - 11. Let s be c(19). Solve 2*m + y - 2 = -0, -s = -5*m - y for m.
2
Let a = 0 + 2. Suppose -3*b - w = -7, 0*w = -2*b + w - a. Let f = b + 3. Solve 5*v - 31 = -f*d, -2*v + 4*v - d - 2 = 0 for v.
3
Suppose 4*f + 8 = 4. Let q(c) = -c**3 - c**2 - c - 1. Let w be q(f). Solve 2*u + 8 = -s - w*s, -u + 3*s - 11 = 0 for u.
-5
Let m(h) = h**3 + 10*h**2 + 16*h. Let l be m(-8). Solve 0 = -s + 3*v, 0 = 2*s - l*s - v - 5 for s.
3
Let b = -2 + 6. Let u = b + -3. Let f = u + -1. Solve -4*m + f*i + 3*i = -26, 2*m + 3*i = 4 for m.
5
Let y be (4 + 2)*(10/(-4) + 3). Sol