
Let g(b) be the third derivative of b**6/120 - b**5/10 + b**4/4 - b**3/2 + 2*b**2. Let v be g(5). Suppose -v*n = n - 9. Solve f + 0*f - n = 0 for f.
3
Let d(j) = j - 7. Let f be d(7). Let h(b) = -b**2 + 27*b - 25. Let x be h(1). Solve r + f*r = -x for r.
-1
Let f = -8 - -18. Let a = -128 - -130. Solve -f - a = 4*x for x.
-3
Let w(a) = -a**3 - 17*a**2 + 18*a + 1. Let d be w(-18). Let v = d + 3. Solve 0 = -v*g - 11 - 9 for g.
-5
Let p be (-22)/11 + (-2)/(-1). Suppose k + 4*x - 20 = p, -x + 0*x + 5 = -5*k. Solve k = -2*b + b + 5 for b.
5
Let l be 2/7 + 272/28. Solve 2*n + l = 6 for n.
-2
Let h(a) = 2*a - 23. Let d be h(10). Let w = d + 5. Suppose 9 = i + w*i. Solve 2*g + 5 = i for g.
-1
Suppose -199*n = -176*n - 1288. Solve -4*o + 40 - n = 0 for o.
-4
Suppose -2 = 2*a, -2*z + 2*a + 37 = 1. Let w be (-38)/3 - (-1)/(-3). Let o = z + w. Solve -o*h = 4 - 0 for h.
-1
Suppose -3*j = -2*u + j - 38, 0 = -5*u + 5*j - 115. Let q = 30 + u. Solve -q*m - 16 = m for m.
-4
Let c = 14 + -12. Suppose 0 = c*a - 7*a. Suppose 4*f - f - 15 = a. Solve 0 = -f*w - 16 + 6 for w.
-2
Let o = 19 + -18. Suppose 9 = h + 4*z + o, 2*h = 5*z - 10. Suppose 20 = -w + 5*w, 0 = -v + w - 2. Solve v + h = i for i.
3
Suppose 3*b = 0, -5*h - 30*b = -28*b - 30. Solve -h*k + 5*k - 5 = 0 for k.
-5
Suppose 2*p - 19 = 3*j + 55, -58 = 3*j + 2*p. Let w = j + 36. Let z be (-4)/w + (-6)/(-21). Solve -n = -z + 2 for n.
-2
Let p(h) = -2*h**2 + 6*h**3 + 0*h - 34 + 32 + 2*h. Let t be p(1). Solve 2*r - t*r = -2 for r.
1
Let f(l) = l**2 - 1. Let j be f(0). Let d be (2 + j)*4 - 13. Let m be (-10)/(-6) - 3/d. Solve 8 = m*g - 0 for g.
4
Suppose 0 = 5*o + 7*o - 84. Suppose 2*j = -2*s - 3*j - 4, 4*j = 5*s - 23. Solve 2*y = -o + s for y.
-2
Suppose o = 2*m - 13, -o + 29 = -0*m + 5*m. Let t(f) = -f**2 + 7*f - 6. Let c be t(m). Suppose 2*p + 2*p = c. Solve p*g + 6 = 3*g for g.
2
Let j(t) = -5*t - 136. Let x be j(-28). Solve x*u - 3 = 1 for u.
1
Suppose -5*b - 3*g = -5*g + 10, b + 5*g = -29. Let k(t) = t**3 + 4*t**2 - t - 2. Let l be k(b). Solve -d + l*d = 1 for d.
1
Let l = 16 - 11. Let a be -3 - (276/(-161))/((-3)/(-14)). Suppose 2*q + 8 = 3*k, -q + 2*q + 4 = -k. Solve -a*d = -k - l for d.
1
Let i(z) = -15*z**2 - 3*z + 27. Let f be i(0). Solve f - 23 = a for a.
4
Let j = 19 - -4. Let l = j - 13. Solve -f - l = -3*f for f.
5
Let m be -5*(-1)/((-3)/(-6)). Let o be m/(-3)*(-48)/40. Suppose o*d + 4 = 0, -4 - 7 = -3*w - 4*d. Solve -13 + w = 4*p for p.
-2
Suppose -8*a = -3*a. Let p be (4/3)/((-4)/(-6)). Suppose n + 4*q + 9 = 0, 4*q = p*n + 3*q - 9. Solve -n*u = -a*u + 15 for u.
-5
Let c(v) = 7*v - 35. Let f be c(5). Solve 0 = 4*d - f - 4 for d.
1
Let o = -13 + 16. Let z be 0/3 + o/3. Suppose -z + 9 = 4*c. Solve 0 = m + c*m - 12 for m.
4
Suppose -12 = -5*y + 13. Let u be ((-1)/(-3))/(y/495). Let x = u - 27. Solve 2 = -m + x for m.
4
Suppose 2*a - 41 = -a + 5*u, -5*a + 43 = -2*u. Let c be (1 - 4) + 1*16. Suppose 3*g + 15 = -2*f + 6*f, -2*g + c = 5*f. Solve f*l = 1 - a for l.
-2
Let s(o) = 2*o - 6. Suppose -2 = -n + 2*j - j, 5*n - 16 = 2*j. Let f be s(n). Solve 3*p - 4*p = f for p.
-2
Let l = -244 + 256. Solve q - l = -2*q for q.
4
Let m(x) = -12*x + 51. Suppose 8 - 4 = 2*p, -5*p = 5*k - 30. Let i be m(k). Solve -2 = i*o - o for o.
-1
Let h = 112 - 60. Let m = h + -26. Let q be 8/28 + m/7. Solve 17 - 1 = -q*y for y.
-4
Suppose -3*k = 1 - 13. Suppose 2*g = g + k. Suppose -2*f - 14 = -3*y - g*f, -2*y + 2*f = -16. Solve -3*l + y = -3 for l.
3
Let j(y) = 27*y**2 - 15*y**2 - 7*y - 11*y**2. Let c be j(7). Suppose -2*k - r = -12, 5*k - r + 2*r - 24 = 0. Solve c = -s - k*s for s.
0
Let d(a) = -a**3 + 3*a**2 + 4*a. Let y be d(4). Solve -6*u + 8 - 2 = y for u.
1
Suppose 0 = -4*d - w - 4*w + 27, -d - 4*w = -4. Let v(c) = -c**3 + 8*c**2 + 3*c - 20. Let r be v(d). Solve -5*g = r + 11 for g.
-3
Let p(i) = i**3 + 8*i**2 - 2*i - 66. Let l be p(-6). Solve l*h = -3*h + 105 for h.
5
Let u(k) = -2*k + 22. Let o be u(7). Solve o*l - 6*l = 4 for l.
2
Let u(a) be the first derivative of a**2/2 - 4*a + 1. Let q be (0 + 0 - 8)*21/(-42). Let i be u(q). Solve 3*p + i*p = 6 for p.
2
Let l = -44 + 44. Suppose 2*c = -q + 1, -q = -l*q + 3. Solve v = -c*v for v.
0
Let l(z) be the second derivative of -z**3/6 - 2*z**2 + 10*z. Let x be l(-6). Solve 0 = x*r + 2*r for r.
0
Suppose 5*y = 2*r - 127, y + 8 = 5*r + 1. Suppose 0 = -5*o + 3*z + 154, 3*z - 4*z = 3. Let f = o + y. Solve -f*w = -w - 1 for w.
1
Let v(a) = 5*a**2 - 46*a + 13. Let f be v(9). Solve -f*o = -2*o + 6 for o.
-3
Suppose -5*a - 64 = 3*j, -2*a + 8 = -j + 3*a. Let f = -15 - j. Solve -f*l = l - 12 for l.
3
Let v(o) = o**2 + 5*o + 2. Let r be v(-3). Let l(b) = -b**2 - 6*b - 6. Let a be l(r). Solve -2*i = a*i for i.
0
Suppose 0 = -11*o + 13*o - 18. Let s = -6 + o. Solve s*f = -f - 4 for f.
-1
Let l = 159 - 153. Solve -4*n + 6 = -l for n.
3
Let i be (-160)/(-88) + 4/22. Suppose i*m + 4*q + 4 = 0, -4*q + 2*q = 4*m - 4. Let o(l) = l**2 + l - 18. Let g be o(-5). Solve -f - g = m for f.
-4
Let j = -143 - -146. Solve -j*h = -10*h - 21 for h.
-3
Suppose 0 = 3*m - 5*m - 2*k + 24, -52 = -5*m - 3*k. Suppose -x - 3*n - n - 17 = 0, -4*n - 35 = -5*x. Solve m = 5*u - x*u for u.
4
Suppose -b + 275 = -7*q + 2*q, -4*q = 5*b + 191. Let o = 58 + q. Solve 2*j = o*j + 6 for j.
-3
Let y be (9 + -19 - -9)/((-4)/196). Solve -y*d + 54*d = 0 for d.
0
Suppose 6*m = m + 5. Suppose -m = 2*s - 9. Let h be 50*2/s*1. Solve 4*a = -a + h for a.
5
Let w be 62 + 1 - (6 - 3). Suppose 5*m = -5*i + w, 5*m + 1 = 3*i - 19. Suppose 10 + i = 4*l. Solve 0*n = -l*n + 5 for n.
1
Let k be 109/6 - 4/(-168)*-7. Solve -44*z = -38*z - k for z.
3
Suppose -2*q + 3 + 7 = -2*n, 0 = q - 3*n - 15. Solve q = 6*a + 5 + 19 for a.
-4
Let n(f) = 10*f + 11 - 4*f - f**2 - 7. Let w be n(6). Solve 19 = -3*c + w for c.
-5
Let m(v) = -v**3 - 4*v**2 - 3*v. Let k = -12 + 9. Let y be m(k). Suppose 5*t - w + 4*w - 19 = y, -9 = -t + 2*w. Solve 2*l = l - t for l.
-5
Suppose -4*d - 36 = -8*d. Let a(y) = -3*y + y + 0*y - 3. Let r be a(-5). Solve -r*t = -4*t - d for t.
3
Let a be -6 + (1 - (-30)/(-5)) + 13. Solve -5*s + a = 7 for s.
-1
Suppose 4*q + 23 = -29. Let k = q + 15. Suppose 4*o - k*o = 0. Solve -2*z = -o*z for z.
0
Let h be (-3)/(-12)*2/1*58. Let l = 29 - h. Solve l*j = 3*j + 3 for j.
-1
Let u be 2 + (-6)/8*(1 - 5). Solve u = -5*z - 15 for z.
-4
Suppose 4 = g, -14*w + 2*g = -10*w - 4. Solve 11*f - 24 = w*f for f.
3
Let a be 4/(-7) - 552/(-84). Let h(x) = 7*x - 39. Let z be h(a). Solve -2*g - z*g - 5 = 0 for g.
-1
Suppose 2*f = -w + 5*f + 20, 2*w + 2*f = 40. Let l be -12*(w/8 + -3). Suppose l = -0*n + 2*n. Solve g = -n*g for g.
0
Suppose -p = 3*z + 12, -3*p - 6 = 5*z + 10. Solve 0 = -s - p + 2 for s.
-1
Suppose -14 = -y + 3*l, 0 = -3*y - 2*l + 1 + 8. Solve -y*x + 2 = 12 for x.
-2
Let j = 11 + -8. Let w be 1/5 + (-3 - 136/(-20)). Suppose w*c - 5*c + 4*n - 2 = 0, -3*n = 5*c - 13. Solve -j*z = c*z + 5 for z.
-1
Suppose -15 = 3*n - 0*n. Suppose p - 5*q + 0*q = 7, 4*p = -q - 14. Let f = p - n. Solve -f*w - 1 = -3*w for w.
1
Suppose -4*f + 3*q + 29 = 0, -3*q = f - 5*q - 11. Suppose -a - 3*n = -5*a + 23, 0 = -3*a + 3*n + 18. Solve -f = a*r - 0 for r.
-1
Suppose 0*h + 6 = 2*h. Suppose -3*t + 4*t = h. Suppose -5*f = -5*s + 10, t*s = -2*s - 3*f + 18. Solve -s*c + c = 2 for c.
-1
Let u = 86 - 62. Solve 4 = 5*c + u for c.
-4
Suppose -3*u = 3*u - 48. Suppose 3*s = u*s + 115. Let y = s + 23. Solve -d - 4*d + 20 = y for d.
4
Let o = -7 + 15. Let u(j) = -j**3 + 8*j**2 + 2*j - 10. Let i be u(o). Suppose 0 = -b - b + 5*z + 21, 0 = -2*b - z + 3. Solve b*y + i = 5*y for y.
3
Let b = 98 + -90. Solve -2 + b = 3*n for n.
2
Suppose w + 5*y = -1, -4*w - 7*y + 3*y + 12 = 0. Solve 0 = 24*h - 25*h - w for h.
-4
Let f = 399 + -397. Solve 10 = -4*v + f for v.
-2
Let m = 558 + -547. Solve 9*u = m + 7 for u.
2
Let k(n) = n**2 + 12*n + 30. Let o be k(-8). Let t be (4 + 104/(-20))/(o/5). Solve -t*v = -2*v - 5 for v.
5
Let m be 25/((-275)/(-132)) + (0 - 6). Solve -33*s + 35*s = m for s.
3
Let a(b) be the first derivative of 3*b**2/2 - 6*b - 1. Let p be a(4). Suppose 12*d = -12*d + 120. Solve -p + 1 = d*f for f.
-1
Suppose 9 = -p - 4*i, p - 2 = -p - 3*i. Let q = 11 - p. Solve 0 = h - 3 + q for h.
-1
Let x be 1 - (-7)/(7/5). Let b = 92 - 77. Solve x*k = k + b for k.
3
Let j(x) = -x - 6. Let