d, n + 4*d - 1 = -0*n for n.
5
Let i(m) be the first derivative of 25*m**3/3 - m**2/2 - m + 10. Let h be i(-1). Solve 2*b + 2 = -c + 4*b, 5*c + 5*b + h = 0 for c.
-4
Suppose 88 + 37 = 5*x. Solve 0 = -2*n + 4*s + 20, -5*s = 2*n - 7*n + x for n.
0
Let g(n) = -n**3 - 22*n**2 + 19*n - 89. Let l be g(-23). Solve -c - 6*o = -l*o - 14, 0 = -2*o + 10 for c.
-1
Let m(h) = h**3 + 2*h**2 - 4*h + 2. Let k be m(2). Let s be (-4)/k + (-54)/15. Let w be (2/s - -1)*22. Solve b + 4 = 3*t + w, -t + 3 = b for t.
-1
Suppose 230 + 43 = 39*q. Solve 3*f + 2*w = q*f + 8, -4*f = 2*w for f.
-1
Let f(d) be the second derivative of -d**5/10 + 5*d**4/4 + 4*d**3/3 + 5*d**2/2 + 10*d. Let b be f(8). Solve 5*m - 20 = 5*g, -b*m + m + g = -7 for m.
1
Let k be 836/198 + 1*2/(-9). Solve 4*h = 4, 2*i - 5*i - k*h = 8 for i.
-4
Suppose 0 = -18*g + 22*g - 20. Suppose -3*o + g*o = 10. Solve -4*c = -0*c - m - 20, -32 = -o*c + 3*m for c.
4
Let o(n) = 5*n - 1. Let b be o(1). Let g be ((-13)/(-2))/((-1)/(-8)). Let i be (-3)/9 - g/(-12). Solve -4*j + i*w - 10 = 10, -b*w = -12 for j.
-2
Let w be -2 + 4 + -6 - -4. Solve 4*x = -0*o + 2*o - 16, -3*x - 12 = w for o.
0
Suppose -4*b + 22 = 50. Let a(g) = -g**2 - 8*g - 5. Let r be a(b). Solve l - r*q - 3*q = 7, l + 4*q + 11 = 0 for l.
-3
Let g be (-2 - -3) + 0 - -4. Let s = g - 1. Suppose -7*v + 48*v - 369 = 0. Solve 5*u - v = -a - 3*a, 2 = -2*u + s*a for u.
1
Let m(v) = -v**2 + 50*v - 223. Let h be m(5). Solve h*o = -0*p + 3*p + 2, 5*o = 2*p - 17 for p.
-4
Suppose 4*f = 5*j - 40, -6*j = -7*j - 5*f - 21. Solve -i = 3*o - 4 + 1, 0 = -j*i + 4*o - 4 for i.
0
Suppose -8*v = -3*v. Let l = 28 - 28. Suppose l = 2*t - 82 + 18. Solve 4*j = -3*x + t, 4*j + v*j = x + 16 for j.
5
Suppose 10*f + 34 - 44 = 0. Solve 0 = -2*n - 2*s + 2 - 6, -f = n + 2*s for n.
-3
Let c(z) = z**2 - 20*z - 6. Let d be c(20). Let b(s) = s + 9. Let o be b(d). Solve 2*f + 1 = -4*a + 21, o*a - 15 = 3*f for a.
5
Let k(a) = 2*a**3 - 4*a**2 + 4. Suppose 0 = -3*t + t + 4. Let m be k(t). Solve m*u - 6 = -o, 0*u - 4 = 2*u + 4*o for u.
2
Let s(k) = k**2 - 3*k - 15. Let r be s(-3). Solve -3*q - r = 3*z, 5*q - 2*q + 21 = 3*z for q.
-4
Suppose -4*t = 49 + 19. Let g = 22 + t. Solve -5*j + g = -j - 5*m, 2*j - 4 = 2*m for j.
5
Let w = -292 - -297. Suppose 4*y = 2*z - 2, 2*z = -0*z - 2*y + 14. Solve w*o - z = -5*l, l - 4*o + 12 + 12 = 0 for l.
-4
Suppose 58 = 5*m - 3*m. Let y = -16 + m. Suppose 3*q - y - 3 = -x, -4*x = 2*q - 24. Solve q*z - 5*n = 17, 0 = -4*z + 4*n - 0*n + 16 for z.
3
Let s(v) = v**3 - 4*v**2 - 5*v + 10. Let l be s(5). Let n be (-15)/l + 27/6. Solve 2*w = 0, -6*w + 2*w + 9 = n*q for q.
3
Let c(k) = -k**2 - k - 1. Let j be c(-1). Let q be (-2 + j)*(-3 + -4). Solve -2*v = -5*f - v - 9, -4*v = -5*f - q for f.
-1
Let w(c) = 25*c + 3*c**2 + c**2 - 31*c + c**3 - 1. Let j be w(-5). Suppose 0 = 4*x - 24 + j. Solve 0 = 4*i + h + 19, -3 = 2*i - x*i + 5*h for i.
-4
Let c be 12/24*-8 - -6. Solve -34 = c*o - 4*w - 6, 0 = 5*w - 25 for o.
-4
Let s = -35 + 56. Suppose -s = -4*p + p. Suppose -p*d = -8*d + 6. Solve -3*k - o - 1 = -d*k, -3*k + 16 = 2*o for k.
2
Suppose 2*d - 6 = 20. Suppose -x = 5*j + 5 + d, -16 = 4*j. Solve 0*m + 10 = x*m - 4*f, 2*f = -m - 7 for m.
-1
Let k(c) = -5*c + 26. Let m be k(5). Let n(d) be the first derivative of d**2/2 + d - 2. Let g be n(m). Solve 0 = -2*w + 4*u, 2*u + 2 = w - g*u for w.
-2
Let u = 9 + 1. Solve -4*z = -3*z + 2*s, 2*z - s = -u for z.
-4
Let p be (-2)/(-6)*(2 + -2). Solve -4*o - 3*b - 35 = p, 16 = -5*o - 5*b - 34 for o.
-5
Suppose v = -v - 2*s - 66, 33 = -v + 3*s. Let a = v + 35. Solve h + 5 = -3*m - 13, a*h + 1 = m for m.
-5
Suppose -4*w + 12 = 2*w. Suppose -u + 28 + 7 = 5*q, 2*u - 5*q = -5. Let x be (u + -1)*(-1)/(-3). Solve 14 = -4*o + 3*d - 7, -3*o - x = w*d for o.
-3
Let x = 2138 + -2133. Solve -4*v - 2*d = -v + 13, 2*v = -x*d - 16 for v.
-3
Let c be -1*(-2)/10 + (-3429)/45. Let q = c - -78. Solve -5 = 5*w + 5, -4*d - 8 = q*w for d.
-1
Suppose 22*h = 20*h + 50. Suppose 4*q = -q + h. Suppose 22*g = 21*g + q. Solve 7 = s - k, k - 1 = 4*s - g*s for s.
4
Let i = 105 + -150. Let y be 3*(-51)/i - (-2)/(-5). Solve -5*o + o + 16 = 4*c, 5*o - 12 = y*c for c.
1
Suppose 17*p - 28 = 40. Solve n = p*k - 12, 2*k - 4*k - 5*n + 6 = 0 for k.
3
Let v = 0 + 5. Let w = 41 - 25. Suppose 46 = 18*q - w*q. Solve -v*f = -3*x + 2*x + q, -x - 3*f = 9 for x.
3
Suppose 1 + 3 = a. Let q(t) = t**3 - 8*t**2 + 12*t - 11. Let u be q(5). Let c = u + 53. Solve -a*f - 9 = l, 0*f + 5*l + c = -2*f for f.
-1
Let c = -312 - -316. Solve c*d + 4*b - 22 = -2, -2*d - 3*b = -14 for d.
1
Let o = 372 - 363. Solve d = 4*z + o, -2*d - z + 2*z = -11 for d.
5
Suppose -5*l + 8*t = 3*t - 25, 0 = 4*l - 2*t - 26. Suppose 0 = -4*r + 24 - l. Solve 5*m + g + 7 = 2*m, -r*m = 5*g + 13 for m.
-2
Let n(w) be the first derivative of w**4/4 - 4*w**3/3 - 2*w**2 - 3*w + 1. Let s be n(5). Suppose 17 - s = 5*m. Solve -m*j + 10 = 2*b, j + 0*b + 15 = 3*b for j.
0
Let l be 1*(-1 + 4)*(-29 - -30). Solve -2*w = -l*t + 11, -3*w + 0*w = -3*t + 15 for t.
1
Suppose -3*l - 48 = -2*i, -i + 6 = -7*l + 10*l. Solve -5*a + 3*j = 7*j - 22, -3*a = 4*j - i for a.
2
Let c be (-159)/106*3/(18/(-80)). Solve -4*k + c = 0, 3*f - k + 3*k - 13 = 0 for f.
1
Let v be (-3 + 4)/(39/12 + -3). Solve -2*c = d + 8, 5*c - d = v*d - 5 for c.
-3
Let n be 6/(-4)*280/(-21). Let h be (48/n)/(4/10). Suppose 3*f - h*f = -30. Solve q + 4 - 3 = -k, -5*k + f = 0 for q.
-3
Let k(x) = x**2 - 18*x + 81. Let t be k(14). Solve 2*a - 25 = -3*v, -2*v + t = 2*v + a for v.
5
Let c(a) = a**3 + 5*a**2 - a + 6. Let r be c(-4). Let k be (-5)/(-3)*(-23 + r). Solve 5*x + 40 = k*f, -2*x + 22 = -x + 5*f for x.
-3
Let k(p) = p**3 + 10*p**2 + 24*p + 13. Let f be k(-3). Solve 4*n = -2*l - f, -5*l - 5*n - 17 = -2*n for l.
-4
Let t be (-4)/(((-690)/45)/23). Suppose -b + 0*b - 6 = -2*x, 2*x - 5*b - 14 = 0. Solve -x*l = -4*h, -l = h - 3*l + t for h.
2
Let w be -1*10/25 - 48/(-20). Solve 2*h = y - 3*y - 16, 5*y + 28 = -w*h for h.
-4
Let v be -1 + 14*2/4. Let k(d) = d**2 - 6*d + 7. Let f be k(v). Let h = -89 + 134. Solve -3*l + f*p - 40 = 2*p, -4*p + h = -5*l for l.
-5
Suppose -6*i + 4*i = 38. Let o be (-2)/(-3)*171/6. Let t = i + o. Solve 2*f - 1 - 19 = 4*n, f = t for n.
-5
Suppose -63*u = -57*u - 12. Solve -5*w + 3 + 14 = -u*x, 3*x = 2*w - 9 for x.
-1
Suppose -y - 3*z - 2*z + 29 = 0, -4*z + 28 = y. Let m = y + -24. Solve 3*h + n - 4*n = 0, m = -4*h - 5*n for h.
0
Suppose 0 = -2*w - 8, 16*t - 19*t + 20 = 4*w. Solve 4*c - t = -2*p, -38 = 2*c - 5*p - 20 for c.
1
Let m be ((-10)/1)/(6/(-9)). Let d be ((-2)/5)/((6/(-6))/m). Solve -2 = 2*u - 2*v, -2*u - v = d + 5 for u.
-4
Let u be 4/10 + 13/5. Let k be (-2 - -2)/(-14 - -13). Suppose -14 = -0*x - 2*x - 2*q, 2*x + 3*q - 16 = k. Solve x*m = 4*r - 19, -2*m = 3*m + u*r + 12 for m.
-3
Suppose 22 = -2*x - t, 39 = -3*x - 3*t - 0*t. Let b = -14 + x. Let j = b + 25. Solve -c + 20 = c - 5*v, 16 = j*c - 3*v for c.
5
Let w be (-4)/10*(-3300)/66. Solve r + w = -4*c, 4*r + 2*c = -2*c - 20 for r.
0
Let w(j) = -11*j - 126. Let b be w(-12). Solve 4*s + 8 = 0, 2*s = 2*u - 2*s - b for u.
-1
Let f(n) = -47*n**2 + 39*n + 8. Let g be f(1). Suppose q = 2 + 4. Let t = -3 + q. Solve 4 = -2*v + 2*y - g, 0 = -3*y + t for v.
-1
Let y = -837 + 852. Solve -28*r - 5*v = -29*r + 5, 2*v + y = 3*r for r.
5
Let w be (-2993)/292*(-1 + -4 + 1). Solve 4 = -0*q + q, -4*q + w = -5*j for j.
-5
Suppose 0 = -5*m + 20, -5*x - 3*m + 16 = -16. Solve -x*k = -3*k + w - 7, 3*w = 5*k - 11 for k.
4
Suppose 0 = 3*l - l + g - 19, g = 4*l - 29. Suppose 5*b = l*b - 24. Solve -5*k = 20, -2*m - 2*k = 2*m + b for m.
0
Let f = -32 + 37. Solve 22 = 5*i + 3*n, f*n - 1 = 19 for i.
2
Let w(s) = s**2 - 3*s + 2. Let h be w(3). Suppose -2*i - 2*i + 10 = -3*a, h*i - a - 6 = 0. Solve 3*k = -i*b + 6*b - 17, -3*b = -3*k - 18 for b.
1
Let g = -63 + 65. Solve z + 9 = g*a, a - 10 = z - 3 for a.
2
Suppose 3*r + 126 = 138. Suppose -l - 2 = -2*l. Solve -r*b + 18 = 3*q, 3*q - 3*b = l*q - 7 for q.
2
Let l be (-1)/3*0*(-2)/4. Let n be (3 - -1 - 0)/1. Suppose 15 = n*i - 5. Solve g - h = l, 2*g = -0*h - 3*h + i for g.
1
Let a(r) = -r**2 - 4*r + 11. Let d be a(-5). Solve -5*b - 2*y = d, 16 = 2*b - 5*y + 1 for b.
0
Let v be ((-6)/(-4))/(-5 - 430/(-80)). Solve -h + 18 = 5*r, -v*r = -2*h - 20 - 0 for h.
-2
Suppose 5*a + 