 - 31 for b.
-3
Let m(f) be the second derivative of f**4/12 + f**3 + 2*f. Let w be m(-7). Solve 0 = 2*l - 4*i - 8, 4*i = -3*l + w*i + 3 for l.
-2
Let o = 7 - 4. Solve -3*l + 3 = 0, -c - 3 - o = -2*l for c.
-4
Let b = 63 - 58. Solve -5*z = b*u - 40, u - 4 - 1 = 0 for z.
3
Let n = -35 + 43. Solve 0 = 5*z + 5*k + 40, -4*k - n = -z - z for z.
-4
Let l be (1 - 0) + (5 - 2). Let f be (2/l)/((-1)/(-20)). Suppose -2*i - 3*i = -f. Solve 2*j = 12 - i, 0 = -n + 5*j - 20 for n.
5
Suppose 5*u - 4 = 3*u. Suppose 0*s - p = -3*s + 3, u*s + 5*p = -15. Suppose -4*k = -s*k - 60. Solve 7*x = 2*x + 3*o + 29, -k = 5*o for x.
4
Let a be 0/2 - 16/(-8). Solve n - 2*z = 2 + a, -z = 4 for n.
-4
Suppose 0*d + 2*d = 10. Let c(m) = -m**2 + 2*m + 0*m - 4*m - 2*m + 3. Let q be c(-4). Solve 0 = -d*g + u, 0 = -5*g + 2*u - 2 - q for g.
1
Let v be (-1 - -1) + 1 + -1. Let a = v - -4. Solve -5*t - a*n = -t, 45 = 5*t - 4*n for t.
5
Let j = -28 - -30. Solve -j*c + 12 = 2*g, -2*g + 5*c - 6*c = -7 for g.
1
Let x(z) = -z**3 + 5*z**2 - 3*z + 5. Let u be x(4). Let d = u + -6. Suppose 0 = 2*q - 3 - d. Solve -5*m - 14 = p - q*p, 5*m + 4*p = -2 for m.
-2
Suppose -3*y + 2*u = -18, 0 = -3*u + u - 6. Suppose -4 = y*n, -5*q = -3*q + n - 7. Suppose -2 = t - q. Solve 0 = -w + t*g + 7, 0 = 2*w - 2*g - 16 + 6 for w.
3
Suppose 3 + 2 = k. Suppose x + 3*v + 2 + 19 = 0, -114 = 4*x - 3*v. Let g = -19 - x. Solve -g*a + 3*a + 2*i = -11, 0 = -2*a - k*i + 16 for a.
3
Suppose 4*a + v - 13 = 0, 2*v - 8 - 2 = 0. Let z be (-135)/(-21) + (-24)/56. Solve 0 = 3*k - 4*c - z, 0*c - 10 = a*k + 2*c for k.
-2
Suppose -9 = 4*p + 5*w, 0*w + 4*w + 36 = 4*p. Solve 4*n - p*x - 8 = 0, 3*x = -0*x - 6 for n.
0
Let g = -12 + 15. Solve -3*r + 7*r + 28 = -g*f, 5*r + 40 = -5*f for f.
-4
Suppose 10 = t - 2*s + 3*s, 5*s + 5 = 0. Let k(v) = -2*v - 13. Let b be k(-13). Solve b = -5*f + j, -j = f - 4*j + t for f.
-2
Let h(z) = -z**2 + 10*z - 11. Let q be h(8). Let p = q + -4. Let k = p - 1. Solve -19 = -5*c - l - 1, c + 5*l + 6 = k for c.
4
Suppose -5*l = -2*l - 39. Let r = l - 9. Solve 2*p + r = -4*j, -2*j - 3*j = p + 5 for p.
0
Let w = -7 - -12. Solve -w*c = -5*j - 30, c + 13 = -2*j + 4 for j.
-5
Let h = 18 + -18. Solve h = -5*z + 2*c + 2*c + 21, 0 = 5*z + 3*c - 28 for z.
5
Suppose -10 - 20 = -5*a. Solve 4*m + 3*p = 23, -4 = -2*p + a for m.
2
Suppose -5*f - 36 = -111. Solve -1 = -u + 2*u + 3*i, 5*i = 5*u - f for u.
2
Let y = -9 - -13. Solve 7*a - 2*a - y*w = -3, 5*a - 15 = -5*w for a.
1
Let a be (-4)/(-2 + 0 + (-3 - -3)). Solve 3*p + 13 = -4*i - 3, -8 = a*i for p.
0
Suppose -96 = 39*w - 45*w. Solve -2*d - w = -2*y, -2*d + 0*y + 8 = 4*y for d.
-4
Let f be 0/(-1) + (28/7 - 1). Solve -u - 4 = u - f*h, u - h = 0 for u.
4
Suppose -x = 4*x - 50. Solve h + 3*h + x = -5*f, 5*f = 5*h - 10 for h.
0
Let t(o) = -o**3 - 5*o**2 - o - 5. Suppose -4*p - h = -6*h + 10, 4*h - 7 = 3*p. Let n be t(p). Solve l - 12 = -2*l, n = -2*c - 2*l + 4 for c.
-2
Let d(z) = -2*z + 4. Let p be d(1). Solve 2*o - p*j + 2 = 8, o + j = 5 for o.
4
Suppose 0 = -0*g + g - 4. Suppose -5*h + g*r + 47 = 0, 2*h + r = -2*r + 5. Solve -5*w + 27 = -3*m, 2 = 3*w - h for m.
-4
Let o = -2 + 4. Let v be 2/7 - (-38)/14. Solve -4*u + 11 = v*g, 2*g + 22 = o*u - 2*g for u.
5
Let q be ((-12)/(-8))/3*10. Solve -3*v - v = 3*f - 11, q*v - 12 = -2*f for f.
1
Let y = 7 - 12. Let z = y + 2. Let g be 1/(z - -2)*-15. Solve -3*b - l = -g, 3*l = 3*b + 2*b - 11 for b.
4
Let s = -93 - -97. Solve s*o + 3*h = -28, -2*o - 24 = -0*o + 4*h for o.
-4
Suppose -2*w = 2*w - 120. Suppose 4*p - w = 6. Solve -3*x - m + p = 0, -3*x = 2*m - 8 - 1 for x.
3
Suppose -4*p + 16 = -4*b, 2*p + 0*b = -2*b + 4. Suppose s = p - 1. Solve 5*m + 40 = -2*h - h, s*m + 25 = -3*h for h.
-5
Let s be 6/(-2 - (-21)/6). Let o be 3*(16/12 + 0). Suppose -2*k = 3*k - 15. Solve -o = -k*v + n - 12, 5*v - 4*n = -s for v.
-4
Suppose w + 18 = d, 2*d - 2*w - 23 = d. Let t = d - 9. Let j(r) = r - 4. Let h be j(t). Solve 3*n - 2 + h = -2*s, -8 = -2*s for n.
-2
Let v = -3 + 7. Let p(q) = -q + 23. Let t be p(20). Solve 2*h = t*a - 5, -5*a = -2*a - h - v for a.
1
Let j(r) = 2*r**2 + 3*r. Let o(m) = -3*m**2 - 2*m - 1. Let x be o(-1). Let a be j(x). Solve 0 = n - y - 1, -7*n + 2*n + a*y = -5 for n.
1
Suppose -h - h = 6. Let d be ((-58)/h)/(6/9). Solve 0*t + t = -v + 1, -5*v + t = -d for v.
5
Suppose -3*l = -8*l + 25. Suppose -f - 12 = -l*f. Let n be 3/(-6)*f*-4. Solve 1 = -u - b - 5, u = 5*b + n for u.
-4
Let w = 32 + -30. Solve 5*i + q + 4 = 0, 1 = -w*i - q - 0*q for i.
-1
Let d(q) = -q**3 - q**2 - 3*q. Let o be d(-3). Let h = o + -16. Solve 4*l + h = r, 3*r + 3*l = -2*r + 9 for r.
3
Let w = 39 - 39. Let n be 2*(-2 + (6 - 0)). Suppose 2*a - n = -4. Solve 3*o + a*l = -w*l - 9, -3 = o - l for o.
-3
Let i = -11 - -16. Let v(j) = -j**2 - 9*j + 1. Let z be v(-9). Let q be z - 1 - -2 - -2. Solve 0 = q*t - l + 25, -i*t - 5 - 5 = 3*l for t.
-5
Suppose -24*z + 19*z + 15 = 0. Suppose 3*o - 3 = -4*c, -z*o - 1 + 4 = -2*c. Solve -s + o = 2*d, 3*s - 4*s + 1 = d for s.
1
Suppose 2*n - 29 + 80 = 3*o, 0 = 2*o + 4*n - 50. Suppose -4*b - 2 = -v - 10, -4*v - o = -3*b. Solve 4*i - b = -4*f - 21, 0 = -2*f + 5*i + 25 for f.
0
Let u(z) = z. Let o be u(1). Suppose o = v - 5. Let f(p) = p**2 - 3*p - 1. Let h be f(4). Solve y + 3 = 4*w, 2*y + h*w + 14 = v*y for y.
5
Suppose 9 = 10*k - k. Solve -l - 2*g + 1 = -4*g, -l + g + k = 0 for l.
1
Suppose -x - 7 = -4*u, x - 1 - 4 = -2*u. Solve 4*y - 17 = 4*i - x, 16 = 4*i + 4*y for i.
0
Let u(m) = m**3 - 3*m**2 - 4*m - 3. Let i be u(5). Let a be 250/8 - i/(-36). Solve 1 - a = 3*z + 5*f, -4*f - 20 = 0 for z.
-2
Let u(l) = -l**3 - 7*l**2 + 5*l - 11. Let x be u(-8). Suppose 2*d - 46 = -2*v, -2*d + 47 = -2*v + x. Solve -5*g + 5*m - d = 0, 2*m = 4*g + 7*m + 25 for g.
-5
Suppose 23 = 6*n - 7. Solve x + 3*x - n*d - 9 = 0, 3*x = -2*d + 1 for x.
1
Let l(v) = 4*v**2 - 2*v - 1. Let n be l(-1). Solve 31 = -n*i + 4*j, 0 = -i - 3*j - 3 + 12 for i.
-3
Let c(z) = -z**2 - 5*z - 6. Let d be c(-4). Let m be (-1)/(d + 3/2). Solve -m*a = 3*a - w - 22, 0 = 5*a - 5*w - 30 for a.
4
Suppose 0 = -3*l + 15, 8*r - 5*r + 2*l = 19. Let b = 3 - 2. Let p = 1 + b. Solve -4*c + p*a - 19 = -c, 0 = -c + r*a - 18 for c.
-3
Let l(n) = n + 20. Let f be l(-10). Suppose -q - 8 + 4 = 0. Let a be 1/q*2*-6. Solve 5*j - 18 = 2*p, -4*p = -0*p + a*j + f for p.
-4
Let b be 6/2*2/(-6). Let u be 1/(b/(-5)) + -2. Suppose 0*s + u = 3*s. Solve v + 8 = -3*a - 2, -a + 4*v + s = 0 for a.
-3
Let u be (-4)/14 - (-142)/7. Solve 0 = -4*a + u, 0*a + 2*a = -5*x + 30 for x.
4
Suppose l = -3*l + 12. Let g be 1*l - (3 + -5). Solve 3 = 2*b + p, -g*b + 5*p = 9*p for b.
4
Let a be 112/11 - (-2)/(-11). Let j(t) = t**2 + 6*t**3 - 5*t**3 - t + 0*t**3 + 5. Let l be j(0). Solve z - 6*z + y = -2, a = z - l*y for z.
0
Let t be (1 - 0)/(2/4). Solve 2*d + 1 = -a + 7*d, -t*a - 2 = -3*d for a.
-1
Let d be ((-12)/(-14))/((-3)/42). Let p = d - -24. Solve 3*l + 2*l + p = -2*s, -5*s - 15 = 5*l for s.
-1
Let r(v) = v - 5. Let q be r(8). Suppose 4*t - 5 = q*t. Let p be (32/(-6))/(6/(-9)). Solve -5*u - p = 2*y, 0 = 3*y - u + 7 + t for y.
-4
Suppose -4*l - 1 + 37 = 0. Solve 3*f - w + l = 0, f = -4*w - 1 + 11 for f.
-2
Let n = 26 - 24. Solve -3*l + 8 = -3*f + 2, 2*l - 8 = -n*f for l.
3
Let n = -5 + 10. Let t be ((-12)/(-4) - 4)*-5. Solve -3*v + n*u + 3 = 0, -2*v + v - 19 = t*u for v.
-4
Let a = -25 + 30. Solve -2 = a*z + 4*g - 15, -3*z = -5*g - 30 for z.
5
Let l(p) = -3*p + 1. Let o = -5 - -6. Let u = -2 + o. Let m be l(u). Solve -x - 11 = -2*n + 1, -m*n = x - 12 for x.
-4
Suppose -5*m - 2*z = -44, -5*m = -4*m - z - 13. Suppose 0 = -4*t + 2*t + m. Solve 6 = -2*g - 2*i, 5*g + 12 = i - t*i for g.
0
Let p be -2 + 4*2/2. Let k(n) = -2*n + p - 1 - 2. Let h be k(-3). Solve 0 = 3*m + 4*v + 29, -m - h*v - 28 = -0*m for m.
-3
Let g = -5 - -5. Suppose -42 = -g*a - 2*a. Let q be (-2)/(1 - a/15). Solve -q*i - 5 = 4*s + s, -3*i - 27 = -3*s for s.
4
Let g be (-1)/(1 + 1)*-22. Let y = g + -7. Solve 3*j - 6 = y*n + 4, 4*n = -3*j - 22 for j.
-2
Let h(m) = -2*m + 4. Let u be h(2). Solve u*w = w + 2*v + 5, -v = 0 for w.
-5
Suppose 0*h - 2*h + 2*b = 0, 5*h = -4*b + 36. Solve 0*c - 2*c = -3*g - 25, -h*c - 5*g = 5 for c.
5
Suppose -4*r + 2 - 5 = t, r + 6 = -2*t. Solve r*k - s = k + 2, 2*s + 4 = k for k.
0
Let a be 84/15 - 7/((-70)/(-6)). 