Let o(u) = -u. Let g(k) = -2*k**2 + k + 6. Let b(i) = g(i) + 2*o(i). Let y be b(0). Solve y = f*n + n for n.
2
Let x = 2 + 0. Let d(q) = 2*q**2 + q + 2. Let p be d(-1). Suppose 3*j - 8 = -w + 20, -2*w + 26 = p*j. Solve -x*r = -0 - j for r.
5
Let h(t) = -t**2 - 16*t - 60. Let i be h(-7). Solve i*v + v + 12 = 0 for v.
-3
Let s(y) = -20*y + 16 + 38*y - 17*y + 1. Let t be s(-13). Solve -1 + 9 = t*p for p.
2
Let c = 15 + -30. Let y(k) be the third derivative of k**5/60 + 2*k**4/3 + 17*k**3/6 + 5*k**2. Let d be y(c). Solve -3 - 1 = d*q for q.
-2
Let i(n) = 6*n + 90. Let f be i(-14). Solve 2*a - 4 = f*a for a.
-1
Let x = 31 + -44. Let v = x - -18. Suppose -v*p + 13 + 7 = 0. Solve 8*l - p*l = -16 for l.
-4
Let j = -372 - -412. Solve 5*i + 3*i + j = 0 for i.
-5
Suppose -12*z = -272 - 292. Let i = 50 - z. Solve -1 + 13 = -i*p for p.
-4
Let b be (-1 + -2)*7/((-147)/371). Solve 17 = 14*k - b for k.
5
Let a(x) = -x**3 - x**2 + x + 53. Let c be a(0). Let z = c + -35. Suppose -t = -4*t + z. Solve -j + t*j - 5 = 0 for j.
1
Let h be 2*6/(-8)*-2. Let t be -3 + 2 - (1 + -5). Solve 0 = t*a + h + 9 for a.
-4
Suppose 5*m - m - p = 137, 1 = -p. Solve 3*v - m = 20*v for v.
-2
Let a be (4/5)/(3/15*1). Suppose 4*b - 4 = a. Solve 5*t - 7 + b = 0 for t.
1
Let q be 4/22 + 0 + (-186)/(-66). Solve 0*u = q*u + 9 for u.
-3
Let i = 62 - 182. Let o = i - -126. Solve l + 3 = o for l.
3
Let i(l) = -2*l + 8. Let q(j) = -2*j + 2. Let b be q(1). Let v be i(b). Suppose v = s + 7. Solve 0 = 4*p + s - 5 for p.
1
Let x = 27 - 27. Suppose 2*h + 2*h - 16 = x. Let g be 12/(h + -1) + -2. Solve -g*t + 1 = -t for t.
1
Let r be (-5)/(-20) + (-105)/(-12). Solve -r - 1 = 2*a for a.
-5
Let l = 26 + -22. Suppose 16 - 1 = 3*y. Solve -y*s = l + 16 for s.
-4
Let f(t) = -4*t**2 + 2*t + 12. Let o be f(2). Solve -16*q + o*q + 32 = 0 for q.
2
Let i be (0 - (-10)/4)/((-34)/(-68)). Solve 0 = i*d + d - 2*d for d.
0
Suppose 255 = 20*m - 25*m. Let x = -45 - m. Solve -2 = 4*r + x for r.
-2
Suppose 0 = -47*m + 32*m + 150. Solve -20*c = -30*c - m for c.
-1
Let u(b) = -b**3 + 10*b**2 + 13*b - 7. Let l be u(11). Suppose -20*q - 5 = -l*q. Let f be (-174)/(-7) + q/(-7). Solve 0 = -5*g - 10 + f for g.
3
Suppose 3*w = -0*w + 21. Let u be ((-2)/(-3))/((-2)/(-24)). Suppose -5*r = -3*z - 27, 2*z - 6 = 2*r + 5*z. Solve 0 = -w*q + r*q + u for q.
2
Let v = -62 + 62. Solve v = 3*y - 0 + 3 for y.
-1
Let w = 10 + -19. Let k be (-4)/(-12) + 3/w. Solve -2*j - 3*j = k for j.
0
Suppose -3*j + 28 = -o - 6*j, -4*j = -8. Let a = -30 - o. Let t be 11 - ((-15)/(-3) + -2). Solve -t = -a*x + 8*x for x.
-2
Let p be (-2 - -27)*(-2)/(-2). Suppose -5*w + p = 5*z, 2*w + z + 4*z = 25. Suppose -4 = 280*k - 281*k. Solve w*v + v = -k for v.
-4
Let p = -4 - -7. Let w(g) = -g**3 + 2*g**2 + 4*g. Let a be w(p). Suppose -2*j = -3*y + 6*y + 6, 4*y = -a*j - 9. Solve y*i + 3*i = -12 for i.
-4
Let d = 1741 + -1734. Solve -11*r + 16 = -d*r for r.
4
Let w be (29 - -3 - (0 - 2))/(-1). Let i = w - -38. Let t(r) = 2*r + 1. Let q be t(2). Solve 17 = i*n + q for n.
3
Let a(q) = q + 48. Let z(u) = -24. Let i(k) = -2*a(k) - 5*z(k). Let h be i(12). Solve -3*o - 1 - 14 = h for o.
-5
Suppose 3 = -5*g + 6*g, w + 9 = 3*g. Solve -10*m + 6*m - 4 = w for m.
-1
Let h = -35 - -39. Solve 8*s + h = 10*s for s.
2
Suppose g = -3*c - 2*g + 282, -3*c + 264 = -3*g. Suppose 4*q = -q - 4*p + c, 0 = -2*q - p + 34. Solve -5*t - q - 10 = 0 for t.
-5
Let q = 9 + -5. Let o(s) = -35*s + 2. Let k be o(0). Suppose t = -q*a + 17, k*a + 23 = 7*a + 3*t. Solve 0 = -a*m + 1 + 19 for m.
5
Let s = -675 - -786. Solve s = -18*y + 21 for y.
-5
Let p be (-2)/3*(63/18 - 11). Solve -3*a + 2*a + p = 0 for a.
5
Suppose 8*y = 18*y - 180. Solve y = 4*f + 6 for f.
3
Let p(d) = -3*d**2 - 14*d + 5. Let y be p(-5). Suppose 0 = -3*g + 12, -5*f + 4*g + y*g - 6 = 0. Solve 2*a - f = -8 for a.
-3
Let c = -3 - -7. Suppose 72*a - 52*a = 20. Solve a - c = z for z.
-3
Let i(s) = -s**2 - 5*s + 18. Let t be i(-7). Solve -2*b + t = 2 for b.
1
Suppose -26*k + 22 = -25*k - 2*w, 5*k - 5*w - 105 = 0. Solve 2*t - 24 = -k for t.
2
Suppose -2*u + 18 = 60. Let o = u - -24. Solve -o*v + 5 + 1 = 0 for v.
2
Let w = 182 + -174. Solve 7*a - w = 3*a for a.
2
Suppose 0 = -9*b + 6 + 39. Solve -b = -4*l + 15 for l.
5
Let n be 1 - (2 + -4 + 1). Suppose 3*m - 13 = -g - g, -n*g + 7 = m. Let c be (-2)/(3*2) + ((-14573)/57)/(-59). Solve -c*z = -m - 1 for z.
1
Let j be (-1)/(-3) - 33/(-9). Let b be (-1 + 0)*j*-3. Solve 4*r + b = -0 for r.
-3
Let g = 1543 + -1528. Solve -7*m - 88 = g*m for m.
-4
Suppose 22*u = 95*u - 292. Solve -u = 3*l - 10 for l.
2
Let y = 561 + -555. Solve 1 = -y*g + 13 for g.
2
Let g(l) = l**3 - 2*l**2 + 2. Let t be g(2). Let k = -1637 - -1644. Solve -k = t*p - 1 for p.
-3
Let q(l) = -l**2 - 8*l + 3. Let u be q(-7). Let n(a) = -a**3 + 9*a**2 + 9*a + 13. Let y be n(u). Solve 2 = -w + y*w for w.
1
Suppose -d = 6 + 9. Let t be (-8)/(-20) + (-24)/d. Suppose -3*r = 2*v - 0*r + 10, 22 = t*v - 5*r. Solve 3 = n + v for n.
2
Let j be (((-99)/27)/(-11))/(2/348). Solve 46 = 3*o + j for o.
-4
Let c(w) = w**3 - 16*w**2 + 40*w - 11. Let o be c(13). Solve -5*u = -o - 3 for u.
1
Let c(v) = -v**3 - 25*v**2 + 54*v + 2. Let p be c(-27). Suppose 2*q = -4, -6*i + 3*i + p = -q. Solve 0*s + 2*s + 10 = i for s.
-5
Let k(t) = -20*t - 1 + 4*t**2 - 5*t**2 + 37 - 8*t. Let z be k(-28). Solve 5*r + 11 = z for r.
5
Suppose 0*v + 76 = 4*v. Suppose -v = -4*h - g, 3*h + 5*g - 8 - 2 = 0. Suppose 3*f - 3 = -u, -5 = u + 3*u - h*f. Solve -4*m + 11 + 9 = u for m.
5
Let y(z) = z + 4. Let u be y(-5). Let s be 3/(u/(1 - 2)). Suppose 0*r - 9 = -s*r. Solve g = r*g - 10 for g.
5
Suppose 4*s = 2*j + 6, 0*s - 5*j = 3*s - 24. Suppose -z = -s*f - 11, 4*f = 2*z - 0*f - 20. Solve -2*v + z = -0*v for v.
4
Let w = -36 - -9. Let c = w + 27. Suppose v + 4*n - 37 = -4*v, v - n - 2 = 0. Solve -3*i + v*i - 4 = c for i.
2
Let a(d) = 48*d - 1. Let p be a(2). Suppose 0*j + 2*k + 95 = 5*j, 5*j - k = p. Let v = -17 + j. Solve -3*c = v*c + 5 for c.
-1
Let c = -378 - -390. Solve -c*j = -76 + 16 for j.
5
Let t = -161 - -113. Let b = -44 - t. Solve -o = -b*o - 6 for o.
-2
Let u(a) be the third derivative of a**6/60 + a**5/60 + a**4/24 - a**3/6 + 2*a**2 + 3. Let r be u(1). Solve r*q - 13 - 2 = 0 for q.
5
Let b = -126 + 129. Solve 0 = -4*c + 5*c + b for c.
-3
Suppose i + 8 = 5*p, 0 = -2*i + 6*p - 3*p + 12. Let h be 4/i + 21/(-9). Let x be h/(-6) + 15/9. Solve 3*t = -x*t + 15 for t.
3
Let h(z) be the first derivative of z**3/3 + 2*z**2 - 2*z - 5. Let w be h(-5). Solve w*x + 12 = 3 for x.
-3
Let q be (24/4)/3 - -12. Let u = q - 14. Suppose u = -w + 5*t - 16, -4*t = -2*w - 4 - 4. Solve -3*c + 1 = w for c.
-1
Let z(q) = -6*q + 100. Let s be z(16). Solve s*m + 9 = m for m.
-3
Let f be (1 - 4) + 2 - -9. Suppose 3*w - d + 5 = -0*d, -6*d + 30 = 4*w. Let v be 0 + -1 + 2 + -1. Solve -4*u + f + v = w for u.
2
Suppose l = -2*f - 2*l + 16, -4*f = -2*l. Solve -f*i = i for i.
0
Let n(o) = -o**3 - 30*o**2 + 99*o + 2. Let z be n(-33). Solve -4 = z*b - 0 for b.
-2
Suppose 0 = -2770*v + 2788*v. Solve u + 311 - 314 = v for u.
3
Suppose 16 = 2*g + 2*g. Suppose 0 = -4*w + 5*f + 7, g*w = -f - 2*f + 15. Solve -13 = 2*s - w for s.
-5
Let i(p) = p**3 - 9*p**2 + 5*p - 11. Let q be i(9). Suppose 3*g + 35 = -4*v, -4*g = v - q + 85. Let s = g + 17. Solve 2*r + s = r for r.
-4
Suppose 2 = -3*o + c, 3*o + 4 = -o + 2*c. Suppose 5*i = -b - 14, 4*b - 13 = -o*b + 3*i. Solve p = -0*p - b for p.
-1
Let w(i) = -i + 2. Let h be w(-9). Let x = h + -4. Suppose 5*b = -0 + 10. Solve b = 5*k + x for k.
-1
Suppose -8*m + 81 = -391. Let f = 59 - m. Solve -6*v + v + 15 = f for v.
3
Let v be 3*(-3)/9*9. Let r(l) = -l**2 - 11*l - 16. Let n be r(v). Solve 0 = -5*m + n - 12 for m.
-2
Let g = 1030 + -1007. Solve 9*f + g = -13 for f.
-4
Let q(z) = 2*z + 24. Let x be q(-11). Suppose -6*f - x = -92. Solve -f = 2*t + 3*t for t.
-3
Let o(q) = 23*q - 32. Let k be o(5). Let f = k - 80. Solve -f - 1 = z for z.
-4
Let r be (-294)/(-77) + (-6)/(-33). Suppose 6*n - n - 15 = u, -3*u = -r*n + 23. Solve -n*v - 1 = -9 for v.
4
Suppose 5*p + 4 - 29 = 0. Suppose 4*n = -5*z - 0*n + 106, -84 = -4*z - 3*n. Suppose 4*g - u - u = z, -4*u - 15 = -g. Solve -g = -4*j + p*j for j.
-3
Let l be (12/15)/((-10)/(-125)). Suppose -5*j + 34 = 3*n - l*j, -3*j = n + 12. Solv