14 for s.
-5
Let k(i) be the first derivative of -i**4/4 + 7*i**3/3 - 2*i**2 - 3. Let m be k(5). Let p(x) = 3*x - 1. Let o be p(2). Solve 0 = h + 1 + 4, o*c - m = 4*h for c.
2
Let s = 15 + -12. Suppose -1 - 3 = -x. Solve -2*a - 2*a = s*g - 28, 5*g = x*a + 4 for g.
4
Suppose 1 + 5 = -3*g, 4*g = 5*r - 88. Let m be 44/r - (-2)/8. Suppose -2 = -4*a + m*a. Solve 3*d + d - 6 = 2*j, 2*d - 2 = a*j for j.
1
Suppose 0 = -3*r + 7*r - 8. Suppose -a = -r - 2. Solve a*m = -16, 0 = p + 3*p + 3*m + 4 for p.
2
Suppose 5*g + 0*g = 10. Suppose 0 = -c - 0 + g, -29 = -5*j - 2*c. Solve 5*m + 5 = 0, 3*u - 2*u - j = m for u.
4
Suppose 3*u + 22 = a, 3*a - 25 = 4*u + 26. Let j = a - 11. Solve 4*m + 15 = m, p = -j*m - 14 for p.
-4
Let b = -2 - -1. Let f = b - -3. Let o be 2 - ((-1)/(-1) - f). Solve 12 = 2*k + o*a - 8, 4*k + a = 20 for k.
4
Suppose 3*y = -3*c, 5*y + 3 = -22. Solve t + 17 = c*q, -2*t + 4*t = q + 2 for q.
4
Let d be 1/1*(-8)/(-2). Let z(a) = -a. Let o be z(3). Let s = o - -5. Solve 17 = d*v - 5*c + s*c, -4*v + 14 = -2*c for v.
2
Suppose 3*w = 8*w. Suppose -5*x + 15 = -w*x. Solve 5*d - 4*m + 16 = 0, 4*m - x = 2*d + 1 for d.
-4
Suppose -2*k + 4*k = 30. Solve -3*v = -3*c + 2*c - 5, -k = -5*v + 3*c for v.
0
Suppose -3*b + 0*b + 9 = 0. Suppose b*v + v - 5*y = 11, 12 = 2*v + 4*y. Let m be (-1 + 1)*(4 + -5). Solve 0 = u - m*d + 3*d - 9, 5*u + v*d - 23 = 0 for u.
3
Let f be 16/6 - 4/6. Suppose 5*z - 13 = f. Solve 3*w = z*a + 2*w + 1, 0 = 3*a + w + 11 for a.
-2
Suppose -3*j + 7*j - 5*x = 35, 3*j - 3*x - 30 = 0. Let y be 18/j*20/8. Solve -4*n - n + 25 = y*v, n - 27 = -5*v for v.
5
Suppose -5*q + 2 + 13 = 0. Solve -15 = -3*g - 3*y, -7*g + 14 = -q*g - 2*y for g.
4
Let r = -61 - -65. Solve 2*o = 4*a + 10, r*a + 2*o + 11 = -19 for a.
-5
Suppose 40 = 5*o - 4*z, -3*z + 4*z - 7 = -3*o. Suppose 0 = p - o + 2. Solve -2*t + 3*i - 10 = 0, -2*i + 1 + p = -5*t for t.
1
Suppose 0 = -3*x - 2*o + 28 - 3, x = o. Solve -4*r + 2*a = -x*r - 4, 2*r = 2*a - 2 for r.
-2
Let n(u) = u**2 - u - 2. Let k be n(2). Solve k*p - 2*p = -4*q + 8, 0 = p - 4*q + 8 for p.
0
Suppose 8 = 2*y - 2*u, y - 5*y + u = -13. Suppose 5*q - y = 7. Let k = 0 + 0. Solve -3*p - 8 = -q*i, k*p - 5*i + 20 = -4*p for p.
0
Let k(t) = 0*t - t + 7 - 13. Let z be k(-8). Solve 0 = z*v + 5*b - b + 20, 0 = -3*b - 15 for v.
0
Let o be -2 - (-6 + 1 - -2). Let c be 3 + -3 + 2/o. Solve 4*p + 2 = -3*k + 4*k, 0 = 4*k + c*p + 10 for k.
-2
Let s = -26 - -28. Solve -13 = -4*x + 5*d, s*x - 6 = -0*d + 2*d for x.
2
Suppose f - 41 = -39. Solve -2*a + f*m = -10, -3*m - m = 16 for a.
1
Let g be (-9)/(-3)*6/9. Suppose 6 - g = -4*p + 5*f, f + 4 = 2*p. Suppose p*b - 6 = 2*m, -b = 3*b + 4*m + 12. Solve b = -5*y + r + 20, -y + 4*r - 5 = 2*r for y.
5
Let u(w) = -w - 4. Let d be -10 + -1*(-12)/3. Let i be u(d). Solve -14 = 3*z - z - i*h, -h - 11 = 5*z for z.
-3
Suppose 4*u = -u - 10. Let d be 2/((-2)/(-6 - u)). Solve 4*r - 2*y - 4 = 0, d*r + 5*y - 3*y - 20 = 0 for r.
3
Let f be (-6)/15 - (-48)/20. Suppose -2*a = f*a - 32. Suppose -4*p = -8, -3*g = g - 2*p - a. Solve -4*x = -4, 5*l + 23 = -g*x + 6*x for l.
-4
Let s = 146 + -141. Solve -5*u = -s*f - 12 + 42, -f = u for u.
-3
Let b = 8 - 10. Let v be (b/5)/((-1)/5). Let j = v + 2. Solve 5*a - t = -0 + 2, t - j = -a for a.
1
Let v = -4 + 14. Let d(h) = h + 27. Let s be d(-20). Let p = v + s. Solve 0 = -4*f + 3*q + 2*q + p, -4*q = 3*f - 5 for f.
3
Let y = 3 + -3. Suppose -3*p + 59 + 22 = y. Solve 2*m - 6 = 0, 2*b - 5*m + p = 6*b for b.
3
Let z(g) = -g**2 - 2*g + 1. Let m be z(-2). Solve -j = -3*v + 4, v - 2*j + 6 = -m for v.
3
Let i = -6 - -3. Let h = 5 + i. Solve -4*a = h*w - 16, -2 = -w - 0 for a.
3
Let c(j) be the third derivative of -j**6/24 + j**5/60 + j**4/24 - 8*j**2. Let r be c(-1). Solve 5*v - 5 = -5*o, -v + r*o = -5*v + 5 for v.
0
Let k = -3 + -1. Let a(v) = -2*v + 4. Let q be a(k). Solve 3*r - 3*n + 0*n - q = 0, -4*r + 13 = -n for r.
3
Suppose -3*f = -9 + 3. Let q = 1 + 1. Suppose 4*y - 4*h = 0, 0*h = -5*y - q*h + 28. Solve y*t = -f*i - 6, -6*i + i = -t + 15 for i.
-3
Suppose 0 = -6*j + 2*j + 80. Solve 2*w + 2 = -2*x, 0*x - j = 2*x - 4*w for x.
-4
Let u(y) = -y**3 - 9*y**2 - y - 9. Let n be u(-9). Suppose -g - g + 4 = n. Solve l + g*x = 6 + 4, -2*l - x + 8 = 0 for l.
2
Let u(o) = -o**3 + 6*o**2 - 5*o + 4. Let g be u(5). Suppose -g*x - 2 = -14. Solve 2*h = -x*k + 4, -2*k + 20 = -3*h - 0*h for h.
-4
Suppose 0 = a + 8 - 5, 0 = 2*j + 3*a + 1. Suppose -4*i - 6 = -3*f, -f + j*i = -2 - 0. Solve 0 = 3*d + 3*c - 3, 2*d - 3*c = -f*d + 32 for d.
5
Suppose 1 = u - 2. Suppose -53 + 29 = -2*d. Suppose 3*t = h + 11, -6 = h + 2*t - 20. Solve 3*b + h*v + 1 = 0, -v + d = u*b + 1 for b.
5
Let r = -2 - -3. Let c be r + 2/(-2) + 20. Let z = 24 + -16. Solve 0 = -0*f + 5*f + 5*m - c, -4*m = -z for f.
2
Let b be 2 + 19 - (-1 + 2). Suppose a = -1, 2*a = -3*l + 3*a + 19. Solve l*r = r - 3*i - b, 2*r = -i - 7 for r.
-1
Suppose -d + 0 + 5 = 0. Suppose -4*u - 12 = 5*m, -3*u = 2*m - d*u - 6. Solve 0*i = -i - 5*s + 14, m = 2*i - s - 6 for i.
4
Let r = 66 + -66. Solve 2*q = -n - 7, 0 = -n - r*n + 3 for q.
-5
Suppose -4*g + 11 = w, 3*g + 3*w = 4*w + 3. Solve 0 = 2*h - 5*h + 3*t - 18, g*t = 4*h + 18 for h.
-3
Let r be 0 + 0 - (7 - 9). Let y be 0 - 1 - (-3)/1. Solve 2*u + 6 = -r*w, w + 0 = y for u.
-5
Suppose 2*a = -3*a + 10. Solve -5*v - 6 = m, 6*v = a*v - m - 5 for v.
-1
Let o(q) = 2*q - 18. Let r be o(10). Solve r*v = 0, -2*c + 3*v = -2*v - 8 for c.
4
Let o(s) = -s**2 - 15*s - 26. Let c be o(-13). Solve c*h + 2*h + 4*w - 6 = 0, -5 = -h - 3*w for h.
-1
Suppose i + 2*i = 45. Let d(j) = j - 9. Let y be d(i). Solve -y*s + 24 = 4*r - 2*s, -5*s - 10 = -3*r for r.
5
Let v be (-186)/(-45) + (-2)/15. Solve 0 = 5*x - 4*m - 11, -v*x - m + 4 = -3*m for x.
-1
Let f(k) = -3 + 4 + 8*k**2 - 2*k + k. Let c be f(1). Solve 5*p + x + c = -5, 3*x = -2*p for p.
-3
Let i be 2/4*(-1 - -35). Suppose 19 = 4*c + 11. Solve 5*f = 4*q + i, 0*f = 5*q + c*f + 13 for q.
-3
Let s(b) = 3*b - 1. Let g be s(1). Let n = 90 - 55. Let a be n/14*(-4)/(-5). Solve 3*w - a*i = -3, 3*w - w = g*i - 4 for w.
1
Let b = 26 + -22. Solve -3*t + x + 4*x = 25, -5 = b*t - x for t.
0
Let v = 10 - 8. Suppose -x = -v*x + 3. Solve x*n + 1 = 5*b - 13, 4 = -2*n - 2*b for n.
-3
Let p = -84 + 84. Suppose 14 = -3*d + d. Let k = d - -10. Solve 3*z + l + 8 = p, k*l - 16 = 5*z + 4*l for z.
-4
Let w be (-3)/15 - 42/(-10). Solve -z + t = 5, -7 - 4 = -5*z - w*t for z.
-1
Let r = 18 + -10. Suppose -a + r + 8 = 0. Solve 3*b + p = -a, -3*b + b - 3*p = 13 for b.
-5
Let k = -73 - -108. Solve 5*i = -5*z + k, 8 = 3*i + z - 3 for i.
2
Let b = -13 + 9. Let v = 0 - b. Solve 7 = -5*d + z - 5*z, -8 = -v*z for d.
-3
Let q be 2/5 + 32/20. Suppose -3*p - 2*p + 16 = -3*y, -3*y = q*p - 19. Let w be 2/(-4) - 102/(-4). Solve -4*m = -n + 18, 5*n + w = -p*m + 2*m for n.
-2
Suppose 5*v - 2 = 3*v. Suppose 0 = 3*k - 22 + v. Solve 3*f + 4*i - 25 = 0, -5*i + 4*i = f - k for f.
3
Let w = -55 - -70. Solve k + 6 = -2*y + 1, -3*k + 4*y = w for k.
-5
Let o be (4/6)/(12/54). Suppose 5*j - 19 = o*u - 6, 2*u - 2 = -2*j. Solve -2*a = 2*t + 2*a, 5*a = j*t for t.
0
Suppose -2*g + 9 = 1. Suppose 2*c + 2*s - 12 = 0, -g*s + 3*s - 14 = -4*c. Solve 5*h - 2*y - 3 = -0, c*h - 5*y = -1 for h.
1
Suppose -3*t = -4*s - 25 - 0, -t = 4*s + 13. Suppose 3*b - 30 = 4*p - 7*p, 3*p + 4*b = 35. Solve -p*f + 5 = 0, -t*n - 3*f = 2*n + 17 for n.
-4
Let u(z) = z**3 + 9*z**2 + 3. Let h be u(-9). Solve i = 4*c - 7 + 3, 3*i - 3 = -h*c for c.
1
Let m be 4/6 - (-2)/(-3). Solve 4*a - 2 - 4 = h, m = 3*a - 3*h - 9 for a.
1
Let b = 32 - 22. Solve -h = 2*k, -2*h - 5*k = -b*k - 9 for h.
2
Let d(x) = x**2 + 9*x - 17. Let q be d(-11). Solve q*o - 14 = 3*t, -5*o - 7 = t - 29 for t.
2
Let r(c) = -c**2 + 3*c + 4. Let s be r(3). Solve 4*w + 3*t - 4*t - 9 = 0, 4*t - s = -4*w for w.
2
Let g be 10/6 - 6/(-18). Let c(t) = 4*t - 3. Let s be c(g). Solve -26 = -2*u - 5*z - 9, u + s*z - 16 = 0 for u.
1
Suppose n = -3*h + 10, -h + 4*n = -0*h + 14. Suppose h*v = -3*v + 70. Suppose v = -3*g + 4*g. Solve 2*z = 3*s - 7, 0*s + z = -2*s + g for s.
5
Let b = -62 + 66. Solve -d + 2*d + 10 = -3*p, -18 = -d + b*p for d.
2
Let w be (-66)/(-9) - 14/(-21). Suppose -k = 2*t - 12, 3 = -2*k - 1. Solve 4*y + 10 + t = -g, y + g = -w for y.
-3
Suppose 2*l - 3*x = 1 + 5, 0 = -2*l - x + 6. S