 b.
4
Let v be -3*(4 + -3 - 2). Solve 2 + v = 5*l for l.
1
Let r = 16 + -4. Suppose 6*z - 2*z - r = 0. Solve -z*v = -8*v - 15 for v.
-3
Let a = 80 + -75. Solve -2*r + 3 + a = 0 for r.
4
Let n = -23 + 25. Solve n*u = -2*u - 12 for u.
-3
Let u = -20 - -24. Let d = 4 - u. Solve 3 = -3*q - d for q.
-1
Let h(k) = -k**2 + k + 3. Let a be h(0). Suppose -3 = -a*d + 27. Solve 6*t - t = d for t.
2
Suppose -y + 5*i + 18 = 0, 1 = -2*i - 5. Solve y*a - 16 + 7 = 0 for a.
3
Let p(w) be the third derivative of -w**6/120 - w**5/12 - w**4/8 - 5*w**3/6 - 3*w**2. Let k be p(-5). Solve -z + 3*z + k = 0 for z.
-5
Suppose -11 = -3*s + 31. Suppose 4*n = -3*i - s + 4, 4*i + 10 = -2*n. Let d be (-30)/(-7) + i/7. Solve 0*c + 16 = d*c for c.
4
Let q = 75 + -72. Solve -13 = q*o - 1 for o.
-4
Let l = -15 - -21. Let d be -3*4/l*-4. Suppose d*u = 5*u. Solve 0*x - x + 1 = u for x.
1
Let j be 56/12*12/14. Solve -5*l = 24 - j for l.
-4
Suppose 0 = 4*v + 10 + 6. Let t be 6/v*(-28)/21. Solve -4*a + 6*a = -t for a.
-1
Suppose -11*r = r - 108. Solve r = -3*u + 24 for u.
5
Let h be 1*(-1 + 1 + 1). Let z be h/(-4) + (-26)/(-8). Solve -z*q + 8*q = 0 for q.
0
Let w = 67 - 57. Solve s + w = -s for s.
-5
Let d(g) = g**2 + 4*g - 4. Let b(k) be the first derivative of k**3/3 - 3*k**2 - 5*k - 3. Let j be b(6). Let c be d(j). Solve o - 3 = c for o.
4
Suppose -d - 4*a + 2 = -22, -3*d + 17 = a. Suppose d = -g + 2*g. Suppose 12 = g*s - 4. Solve 4*r + s = 8 for r.
1
Let u be (-3)/(-6)*-6*-1. Suppose 1 = 5*m + 11, 0 = -2*d - u*m + 6. Solve d*r = r for r.
0
Suppose 7 = -r + 72. Suppose a = -4*a + r. Suppose 3*s - b - 27 = -6*b, 0 = -s - 3*b + a. Solve -s*p - 6 = -26 for p.
5
Let n be (-20)/(-6)*(-90)/(-25). Suppose 4 = -a + w + 2, -3*w + 6 = 5*a. Suppose -2*s + 9 = s. Solve a = c + s*c - n for c.
3
Let k be (-2)/10 - (-33)/15. Solve -10 - k = 4*v for v.
-3
Suppose 2*v - 3 - 125 = -l, 0 = -4*v + 2*l + 240. Suppose -4*f - 10 - v = 0. Let o be 12*-4*3/f. Solve -n - o = n for n.
-4
Let d(x) = -x - 6. Suppose 0 = -5*l - 7 - 23. Let i be d(l). Solve 0 = 5*k - i*k for k.
0
Let g = 4 - 4. Let y(t) = 2*t**2 + 4*t. Let i be y(-3). Suppose g = -3*s + i + 6. Solve -2*w = s + 2 for w.
-3
Suppose -3*r + 20 = 5*o, 0 = -2*o - 3*r + 4*r + 19. Suppose o = -3*a - 17. Let t be 2*-6*2/a. Solve 0 = -t*v - v + 4 for v.
1
Suppose 4 = 2*z - z. Suppose l + z = -s + 5, 3*l - 9 = 0. Let t be (-6)/(-4) + 1/s. Solve 0 = d + 3 - t for d.
-2
Suppose 0 = -q + 6*q - 15. Solve -q*d - 6 = 6 for d.
-4
Suppose -3*f = 2*f. Let y = -19 + 23. Solve -y*i + i + 15 = f for i.
5
Let x = -22 - -26. Solve -i - x*i = -5 for i.
1
Let c(a) = a**3 - a - 4. Let j be c(3). Solve -s - j = 3*s for s.
-5
Suppose 0*o - 7 = -o. Suppose -o*a = -6*a. Solve a = 4*b + 1 + 7 for b.
-2
Let y = -11 - -13. Let h be y + (-6)/(-4)*2. Solve -19 + 4 = h*g for g.
-3
Let g = 217 - 116. Let a be g/11 - 4/22. Suppose 0 = 4*h - h. Solve -a + h = 3*d for d.
-3
Suppose 2*i + 2*t = 6, -i + 5*i + 12 = 4*t. Suppose 3 = -i*y + y. Let z = -8 + 8. Solve -y*f + 5*f = z for f.
0
Let u be 2/4 - 111/6. Let p be ((-1)/(-2))/((-1)/u). Solve -6*k + 3*k + p = 0 for k.
3
Let s = -1 - -3. Suppose 18 = -5*y + 3*y - 4*v, -8 = s*v. Let l = y + 1. Solve 0 = -l*t - 4*t + 16 for t.
4
Suppose -2*c - 8 = 4*k, 2*k - k = -5*c + 16. Suppose -4*b + 29 = 3*q - 9*b, -5*q = -c*b - 44. Solve -z + 5*z + q = 0 for z.
-2
Suppose 0*o = -o. Let n(x) be the second derivative of x**5/20 - x**4/3 + 2*x**2 + 4*x. Let b be n(4). Solve o = b*u - 9 - 7 for u.
4
Let h(a) = -2*a**2 - 17*a - 25. Let n(f) = 3*f**2 + 25*f + 38. Let i(w) = -8*h(w) - 5*n(w). Let c be i(-10). Solve c*p = 3*p - 15 for p.
5
Let n be (4 + 21/(-6))*0. Solve n = 7*w - 2*w - 25 for w.
5
Suppose 3 = 5*t - 17. Suppose 0 = -4*i - 0*i. Solve -4*v + i = -t for v.
1
Let f be -2 - (0 + (-8 - -4)). Solve f = j + j for j.
1
Let d = 19 + -16. Let g be (4/6)/((-6)/(-9)). Solve -o + d = g for o.
2
Let s(i) = -5*i. Let a be s(-2). Suppose 2*v + 4*t = 8, 3*v + 4*t - a = -0*v. Solve 0 = -4*n + v*n - 2 for n.
-1
Let t be (-16)/14*21/(-6). Suppose -6*g + 28 = -2*g. Solve i + t - g = 0 for i.
3
Let u(q) = -1. Let t(z) = -z + 1. Let o(h) = -t(h) - 6*u(h). Suppose -5*g - 3*f = 7 + 12, 2*g - 5*f + 20 = 0. Let j be o(g). Solve j = -5*v - 0*v - 20 for v.
-4
Let p(x) = -x**2 - 6*x + 10. Let d be p(-7). Solve -2*j - 3 = d for j.
-3
Let w(v) = 6*v. Let u be w(1). Suppose -z + u*z = 0. Suppose 2*k + z*m - m = 0, m - 12 = -4*k. Solve t + k = -2 for t.
-4
Suppose -4*i + 24 = -0*i. Let n = i + -2. Suppose 4*m - 6 = -2*j, 5*m - 25 = -n*j + 5*j. Solve u = m*u + 12 for u.
-4
Let n(g) = g**3 + 4*g**2 - 5*g + 5. Let t be n(-5). Solve t*q = -9 - 6 for q.
-3
Suppose -11 + 3 = 2*p. Let q = 0 - p. Solve -r = q - 3 for r.
-1
Let z = 53 + -30. Solve -5*b - z = -8 for b.
-3
Let f be (11/(-3))/((-2)/(-12)). Let j = -16 - f. Suppose -j*s + 2*s = -16. Solve 0 = -3*z + z - s for z.
-2
Suppose 2*q - 6*q = 0. Let h(p) = p. Let f be h(3). Solve q = k + 2 + f for k.
-5
Suppose -6*l + 124 = -38. Let s = l + -19. Solve s + 2 = -5*a for a.
-2
Let m be -1 - (-3)/(-3) - -4. Suppose m*t + 1 - 5 = 0. Solve t*g = -g - 9 for g.
-3
Let k(c) = -15*c + 93. Let n be k(6). Let i(v) = -v - 2. Let u be i(-6). Solve -n*l = -u*l for l.
0
Let f = 7 - 4. Solve -f*l = -0*l + 6 for l.
-2
Let v = -33 - -45. Solve -7*h + 3*h = -v for h.
3
Suppose 0 = -0*f - 4*f + 24. Let z = f - 6. Suppose -5*b = -z*b - 15. Solve -p = -b + 1 for p.
2
Suppose -a + 10 = -5*v, -2*a + 3*a + 4*v - 10 = 0. Suppose -a = -4*u - 2. Suppose 5*h = -j - u, 3*h + 6 = h - 3*j. Solve 0 = -4*s - h*s for s.
0
Let u(p) = p**2 - 5*p + 2. Let q be u(7). Suppose 0 = c + y, 0 = 2*c - y - y - q. Solve 4*k = -c + 20 for k.
4
Let t(u) = -2*u - 4. Let o be t(-6). Let y be 6/o + (-21)/(-4). Solve 0 = -3*g + y*g + 3 for g.
-1
Let k be (1 - 1)*(3 + (-15)/6). Solve -u + 1 = -k for u.
1
Suppose 0 = 10*r - 5*r + 5*g - 5, 2*r = 5*g + 9. Solve 3*o - r = o for o.
1
Suppose 4*c - 6 = 6. Suppose -11 = q + l, 4*q + 3*l = c*q - 21. Let z be q/20*-8*5. Solve -5*h + z = -8 for h.
4
Let r(l) = -4*l**3. Let h be r(-2). Let m be (-45)/(-2)*h/24. Solve 5*j + 10 = m for j.
4
Suppose 4*w - 5 = 3. Suppose -3*i + 30 = w*i. Suppose -u = u - i. Solve -1 + u = -2*r for r.
-1
Let z be 4/12*9/3. Solve 4 - z = j for j.
3
Suppose 5*a = 3*n + 78, 13 + 57 = 5*a - 5*n. Suppose 0*l = -4*v + 2*l - 2, 4*v + 2*l - a = 0. Solve 4*w + 10 + v = 0 for w.
-3
Suppose 0*w + 3*w = i - 19, 21 = 4*i - w. Solve d - 10 = -i*d for d.
2
Let o(s) = -s**3 + 4*s**2 + s - 2. Let h be o(4). Suppose -h*d + 10 = -d. Let g = -20 - -22. Solve g*w + 0*w - d = 0 for w.
5
Suppose 3*a + 1 = 10. Suppose 0 = -a*q + 7*q. Suppose f + q = 2. Solve -2*c + 4 = f*c for c.
1
Let p = -1 - -8. Suppose -44 = -p*f + 3*f. Solve f = 3*y + 2 for y.
3
Let l(v) = v. Let g be l(1). Let u be (g - 2)*(-2 - -40). Let d = 63 + u. Solve 2*z = 7*z - d for z.
5
Let v = -1 + 3. Suppose -7*b = -v*b - 10. Suppose 0*a - b = -a. Solve 0 = -4*f - a - 10 for f.
-3
Suppose -g = 4*g. Let x be -1*1/(-1)*1. Let q be 8/(1 - x/(-1)). Solve q = -g*d - d for d.
-4
Suppose 2 = 2*x - 2. Let h be (1/(-3))/(10/210). Let w be (-30)/(-7) + x/h. Solve w - 1 = -q for q.
-3
Suppose 0 = -4*o - 2*r + 58, 2*o + o - 4*r = 49. Solve -3*h + 6*h + o = 0 for h.
-5
Suppose 0*n + 5*n - 19 = b, -4*n - 5*b = -21. Let z = 15 - 9. Suppose -j = -2*d - z - n, 2*j + d = 0. Solve -6 = -j*p - p for p.
2
Let j(d) be the third derivative of -d**5/60 - d**4/2 - 11*d**3/6 - 2*d**2. Let o be j(-9). Let i = -11 + o. Solve i*z = 2*z - 12 for z.
-4
Suppose t - 5*t + 1 = -s, -4*t + 7 = s. Solve -s*u - u = 12 for u.
-3
Let s = 43 + -40. Solve -s*u - 2 = -u for u.
-1
Suppose 5*z - 4*n = 100, -3*z - 3*n + 82 = -n. Let x = z - 13. Let v = x - 8. Solve -o = v*o for o.
0
Suppose -5*r - 4*w = -22, -4*r - 7 = -8*w + 3*w. Let u = r + -8. Let j be 7 - u/((-3)/1). Solve -j + 3 = m for m.
-2
Let y = 25 + -14. Let l = -8 + y. Solve 0 = -g + l for g.
3
Let r = -4 + -5. Suppose -5*s - 28 = -3. Let c be (-3)/s - r/(-15). Solve -7*a + 2*a + 5 = c for a.
1
Suppose 0*j + 56 = 4*j. Suppose 10*g - 5*g - 25 = 0. Solve g*s = -j - 6 for s.
-4
Let t(p) = -2*p**3 - 3*p**2 + 3*p + 2. Let k be t(-3). Suppose i + 4*i - k = 0. Let x = 6 - i. Solve 0*o = -x*o - 4 for o.
-2
Let o be 4/(8/6) + -3. Suppose o = 3*d + d - 12. Solv