 -3*j + 4*h - 4 = 0, -3*j + 24 = b*h - 2*h for j.
4
Let r(m) be the first derivative of -m**3/3 - m**2/2 + 20*m + 1. Let t be r(0). Solve -w = -3*b + t, 0*w = -5*w + b - 30 for w.
-5
Suppose -19 = -4*o - 3. Let w = 8 - 5. Suppose 3*z - 16 = -5*f, w*z - z = -5*f + 4. Solve z = 4*n - o*m, 2*n + 3*m = -2 + 13 for n.
4
Suppose -5 = -5*p + 5. Let s be 2 + p + 2 + -2. Suppose -4*g + 17 = 3*c - 6*g, -s*c + g = -16. Solve -3*d + 27 = -3*k, c*k - 2*k + 4*d - 16 = 0 for k.
-4
Suppose -2 = v - 2*v. Solve -2*n + 5*r - 2 = v*n, 0 = -5*n - 5*r + 20 for n.
2
Let f = 0 + 1. Solve r + 4*z + 6 = 0, -f = 4*r + z - 7 for r.
2
Suppose -l + 6 = -2*j - 12, -5*j = 4*l - 7. Let p(d) = -6 + d**3 - 7*d**2 - d + 2 - 6*d. Let g be p(l). Solve 35 = 5*n + g*i, -2*n + 14 = n + i for n.
3
Let b(x) = -x**2 - 11*x + 44. Let o be b(-14). Solve -5*d = 5*v - 25, d - o*v = -2*d for d.
2
Let m = 31 - 6. Suppose o - 1 + 11 = -2*z, -m = -4*o + 5*z. Solve 5*b + 5 + o = 0, 5*b = -2*k - 11 for k.
-3
Let t be 16/(-12)*18/(-8). Let b = 0 + 2. Suppose -8*f = -14*f + 42. Solve -t*a = 9 - 0, -a = -b*q - f for q.
-5
Suppose 15 = 4*p + p - k, -2*p - 3*k + 23 = 0. Let m be p + -1 + (-2 - -4). Solve -m*c + w = -0*c - 16, -12 = -3*w for c.
4
Suppose -2*s = 178 - 180. Solve o - h = -0*h - s, -2*h + 2 = 4*o for o.
0
Let d(f) = -f**3 - 9*f**2 + 2. Let r be d(-9). Let v be (4 + 22/(-6))*12. Solve 4*g + 16 = z, g - r*g = z + v for g.
-4
Let f = -16 + 16. Let d = f - -4. Solve 16 = 2*t - d*q, -3*t + t + 19 = -5*q for t.
2
Let c be -1*(-3)/(6/14). Suppose -5*d = 5*a, -3*d - c = -4*a - 0. Let j be (a - 4/10)*5. Solve 0 = 5*t + 2*y + 24, -2*y + 7*y = j*t + 2 for t.
-4
Let n(o) = -o**2 + 3*o + 3. Suppose 0 = -h - 3*h + 12. Let q be n(h). Solve -q*i + i - 5*z + 15 = 0, 0 = -3*z + 3 for i.
5
Let h = 56 + -39. Let u = h - 12. Let g = u - 5. Solve 3*n + 2*r + 23 = 0, g = -2*n - 2*r - 9 - 9 for n.
-5
Suppose -20 = -3*k - 4*l, -4*k + 3*k = 4*l - 4. Solve -4*s + 6 = -2*s - v, v = 3*s - k for s.
2
Suppose -4*q - c = -3*c - 18, q = -5*c - 23. Solve -5*s - 4*g + q = 0, 2*s - 4*g = s - 14 for s.
-2
Let b be (1 - 1)/(-9 + 10). Solve 2*x + b - 6 = 0, -2*r = 2*x - 4 for r.
-1
Let r(p) = p**3 - 9*p**2 + 12*p - 7. Let y be r(8). Suppose 3*t - y = 17. Solve -2*f + 3*d = -f + t, 28 = -5*f + d for f.
-5
Let x be (-95)/(-7) - (-27)/63. Solve 2*n - x = -3*i, 9*i = -n + 4*i + 14 for n.
4
Suppose 3*o + 2*n = 0, 0 = 4*o - 2*n + n. Solve o*b + 13 = s + 3*b, -3*s + 3*b = 9 for s.
1
Let h = 2 - 2. Suppose 3*f - 4*u = -h*u + 31, f = 4*u + 21. Suppose f*z = -0*z + 50. Solve -5*p + 20 = 3*b - 10, 0 = 5*p - 5*b + z for p.
3
Let w = -3 - -4. Suppose -w = q - 0. Let a(l) = -2*l. Let f be a(q). Solve 4*x - 16 = f*s, 4*x - 14 = 5*x + 4*s for x.
2
Let p = 49 + -82. Let s be 1 + (-2)/(-3)*p. Let l be (-7)/s*(-36)/(-2). Solve 3*r - r + 4*t = l, -5*r - 4*t = -9 for r.
1
Let c = 68 - 57. Let y(h) = 5 + h + 3*h - 3*h. Let r be y(c). Solve -9 = 3*u, -4*u - r = -2*w - 2*u for w.
5
Let t(d) = -d - 8. Let n be t(-10). Solve v = -4*s - 11, 4*v - n*s - s = 32 for v.
5
Let q = 34 - 33. Solve 0 = -h - q, -2*h = k + 3*h + 9 for k.
-4
Let x = -3 + 3. Suppose -4*u + x*b - 2*b = -98, u = 4*b + 2. Suppose 2*n = -4*d + u, 7 = 4*d - 4*n + 3*n. Solve -d*l + 5*v - 1 = 0, -2*v - 3 = v for l.
-2
Suppose 8 = -i + 4*d, 0 = 3*i + d - 5 + 3. Solve 5*r - 2*o + 5 = i, -4*r - o - 17 = -0*r for r.
-3
Let a = -84 - -103. Solve -5*v = -a + 4, -2*v + 7 = z for z.
1
Let d = 44 + -34. Solve 2*v - 8 = -4*x, v - 4*v - 5*x + d = 0 for v.
0
Let v(f) = f**3 + 5*f**2 + 4*f + 1. Let c be v(-4). Let m be (c + 0)*(7 + -2). Solve -a = 1, m*a = s - 4 - 1 for s.
0
Let b = 12 + -1. Let g = 15 - 20. Let f be (-1 + (-6)/(-15))*g. Solve 0*d + 22 = -d - 4*p, b = 2*d - f*p for d.
-2
Let l be ((-15)/6 + 1)*-4. Suppose 20 = l*r - 2*r. Solve -r*t = 3*i + 6, -2*t + t + 10 = -5*i for i.
-2
Suppose 2*q + 3*q = 25. Solve 4 = -4*w + 4*p, 4*p + 41 = -q*w - 0*p for w.
-5
Let z be 3/12*2 + 15/6. Solve 4*t = -4*m + 14 - 2, -t - z*m + 7 = 0 for t.
1
Let o = -22 + 25. Solve t + 5 = -4*g, g + 12 = -o*t - 3 for g.
0
Suppose -3*g + 7 + 2 = 0. Solve -l + 2 + 4 = -3*t, -g*t = 5*l + 24 for t.
-3
Let q = 0 - 0. Solve q = -g + 3*t + 5, 4*g = -5*t - 2 + 5 for g.
2
Suppose -3 = -4*h + 5. Suppose 3*f - h*f - 2 = 0. Solve f*n + 3*k = -2*n + 1, 0 = 2*n + k - 1 for n.
1
Let y = -6 + 12. Let c(o) = -o + 8. Let n be c(y). Solve 4*v + 3 = n*d + 3*d, 10 = -2*d - 4*v for d.
-1
Let o(h) = h**3 - h**2 + 2. Let w be o(2). Suppose w = -2*v, -2*r + 5*v + 12 = -3*r. Suppose -5 = 2*j - 3*j. Solve -j*d + 29 = -a, d = -2*a - 0*a - r for d.
5
Suppose 4*w = -0*u + 3*u + 33, -5*w - 5*u = -85. Solve -4*b = w, 0 = 3*i - 3*b - b - 18 for i.
2
Let p(o) = -o**3 - 7*o**2 - 8*o - 10. Let x be p(-6). Solve 2*y + 3 = -x*g + 5*y, -g + 4 = 4*y for g.
0
Let z be 9/(-45)*6*10/(-3). Solve z*i + 5*a = -17, 3*i - 2*a - 5 = 11 for i.
2
Suppose -13*j = -30 - 22. Solve -2*b - 4*r + 2 = 0, 0 = j*b - 5*r + 1 + 8 for b.
-1
Suppose g - 4*x + 4 = 0, -x - 2*x - 15 = -3*g. Let u(j) = -j + 11. Let t be u(g). Solve -3*y - 4*n + 3 = -6*y, -y = -t*n + 6 for y.
3
Let t be 9/12 + (-3)/(-12). Let b be (t - 0)/((-2)/26). Let l = b - -31. Solve -4*k = q - 3, -k - 5*q - 3 = -l for k.
0
Let r be 42/8 + 1/(-4). Suppose -35 + 10 = -r*g. Solve -3*s - k - 16 = 0, -g*s - 5*k = -10*s for s.
-4
Let b = 5 - 2. Suppose -3*k + b = 2*o - 0*o, o + 3*k = 3. Solve o = j + 2*u + u + 5, 5*u + 5 = -5*j for j.
1
Let q be 94/18 + (-4)/18. Suppose 0 = -q*l + l + 48. Let o(a) = a**2 + 8*a + 4. Let c be o(-8). Solve -4*h + 12 = -c*w - l, -w = -2*h + 11 for w.
-1
Suppose 2*q - 6 = -3*h + 7*q, -4*q + 8 = 4*h. Let i = -12 - -23. Let d = i - 6. Solve 12 = -y + d*y, 10 = -u + h*y for u.
-4
Suppose -168 = -b - 7*b. Let l(n) = -n**2 - 6*n - 6. Let i be l(-4). Solve -3 = -3*j - 2*h, 0 = -j + 6*j - i*h - b for j.
3
Suppose -5*p = -p + b - 61, -4*p + 31 = -5*b. Solve -2*g - 12 = 4*q, 2*q = -3*g - 0*q - p for g.
-4
Let g be (8/14)/(2/14). Solve -2*v + 3*o + 8 = g*o, 3*o = 6 for v.
3
Let q = -5 - -23. Solve -4*a - 4*g = -0*a, -3*a + q = -3*g for a.
3
Suppose -3*n = 15, -4*n + 43 = 3*m - 3*n. Suppose 2*h - 6*h = -m. Let t = 6 - h. Solve -2*d + t*v - 12 = 0, 2*d - v + 7 = -0*v for d.
-1
Suppose -4*i - 2 = -6. Solve 0 = 3*g - q + 8, -i = 3*g - 2*q + 9 for g.
-2
Let w = 41 - 14. Let m be (-1)/4 - w/(-12). Solve 4*q + 8 = -2*a, a - 7*q + 4 = -m*q for a.
-4
Suppose 16*l - 52 = 3*l. Solve 0 = 5*i - 4*r, l*r = -3*i + 2*r - 22 for i.
-4
Let c(y) be the third derivative of -y**5/60 - y**4/2 + y**3/6 - 11*y**2. Let w be c(-12). Solve 5*p + 13 = 3*r, -3*r + w - 2 = 2*p for p.
-2
Let s(j) = j**2 - j. Let y be (4/6)/(4/18). Let u = y + 0. Let x be s(u). Solve 3*p - 5*l = -4, 4 = 5*p - x*l + 3*l for p.
2
Let b(q) = 2*q + 2. Let w be b(2). Suppose 0 = -4*n + 5*j, -41 = -5*n - w*j + 2*j. Solve -n*z + 25 = -5*h, -5*z - 3*h - 5 = -30 for z.
5
Let a(v) = -v**2 + 2*v + 3. Let y be a(3). Let l(p) = -2*p - 1. Let n be l(-4). Suppose -5*k = -8 - n. Solve 6 = -3*t, k*t = 3*r - y - 3 for r.
-1
Let u = -2 + 2. Suppose 4*z = -u*z + 12. Let b(a) = 2*a - 4. Let n be b(z). Solve 5*x - n*h + 18 = 0, -3*x - 3*h = h + 16 for x.
-4
Let y = -139 + 141. Solve 3*f - 8 = 4*j, -j - y = -f - 3*f for j.
-2
Let f(u) = 1 + 3 + u - 4 - 8. Let r be f(9). Solve -2*z + r = 2*l - 1, -5*z + 11 = 2*l for l.
-2
Suppose k = z - 2*z, -4*k - 3*z = -3. Solve -k*o = -4*i - 7*o + 28, -3*o = 2*i - 19 for i.
2
Let t = -11 + 15. Let u be (-36)/(-10) + t/10. Suppose -i = 4*g - 5, -4*g = -0*g + 5*i + 7. Solve 6*n + u*y = n + g, 3*n - y - 8 = 0 for n.
2
Let o(u) = -u**2 + 6*u - 5. Let p be o(5). Suppose s + 3*s - 20 = p. Solve s*z + 4*h = -13, 5*z - 2*h + 15 = -16 for z.
-5
Let r be 0 + 9/(-6)*-2. Suppose 0 = r*p - 6 - 9. Suppose p*a = -0*a + 15. Solve -q = 2*g + 6, 4*g = q + a*q + 12 for q.
-4
Let h(c) = -c**2 - 7*c + 21. Let m be h(-9). Solve g - j + 2 = 1, -m*g - 7 = -4*j for g.
3
Let o = 29 + 33. Let x be (-3)/((-6)/4 + 0). Suppose 0*c - x*c - o = -4*t, 5 = t - 4*c. Solve u - 7 = k - 2, 3*k + t = 5*u for u.
1
Let c(b) = b**2 - 3*b. Let w = 4 - 0. Let x be c(w). Let s = -5 + 8. Solve -s*v - v = -4*p + 28, -x*v = -2*p + 24 for p.
2
Let u be 4*5/((-60)/(-69)). Solve -a - 1 = 2, u = 4*g - a for g.
5
Let g = -8 + 5. Let r = g + 3. Let w be (r - 3 - -2)*-4. Solve 4*m = 