1*m**4/24 - 11*m**3/3 - 39*m**2. Let p be c(-13). Solve -3*q = q - p, -t - 8 = -4*q for t.
-4
Let k = 285 + -588. Let b = k - -163. Let l be (-2)/(-14) + (-260)/b. Solve -5*i - 6 = -3*i - l*o, -5*i = -o + 11 for i.
-2
Let i(t) = t**2 - 9*t + 4. Let k be i(9). Let l = 70 - 58. Suppose 0*o = -k*o + l. Solve -o = -n, n - 9 = -3*b - 0*n for b.
2
Suppose 8*m = m + 14. Solve 0 = -m*s - 4*b + 3 + 7, s - 5 = 5*b for s.
5
Let o = -1 + 5. Let h be (1 + -9)*(-22)/8. Let s = h + -10. Solve 0*g = -g - 3*v + s, -o*g + 5*v = 37 for g.
-3
Let o(n) = 9*n**2 - 7*n + 15. Let i be o(3). Suppose 72*g = i*g - 9. Solve 3*j - 9 = -g*f + j, f + 5*j = 16 for f.
1
Suppose -6*v = -4*v + 88. Let k = 67 + v. Solve 2*w = 2*m + 14, -k = -0*w - 2*w + 5*m for w.
4
Let m(x) = x**3 + 21*x**2 + 17*x - 55. Let i be m(-20). Solve -5*p = -4*n - 23, i*n + 9 + 1 = 0 for p.
3
Let p be (-6)/(-7) - 16/(-14). Solve -p*w = -a + 13, a - 2*a = w - 1 for w.
-4
Suppose -3*a + 1 = f - 9, 10 = 5*a. Suppose 4*m - 30 = -m - 5*i, -f*i = -8. Let r be (3 + -7 + m)/(-2). Solve r*k - 1 = -n - 2*k, 4*n - k = 22 for n.
5
Suppose 4*l = -f + 17 + 4, 0 = -3*f - 4*l + 23. Let k be f - (3 + -1 + -17). Solve -2*u - 4*i = 12, -2*i = 3*u + 2*i + k for u.
-4
Let t(q) = -q**3 + 4*q**2 + 6*q - 3. Let j be t(5). Let p = 57 - 53. Suppose 2 = -2*d - p*u, -u = -0 + j. Solve -2*a + 3 = -a + d*n, 0 = -3*a - 3*n + 9 for a.
3
Suppose -5*t + 28 = 3*j, j = -5*t - 9 + 25. Let x be ((-15)/j)/(1/(-2)). Solve -3*g + 4*v + 13 = 0, 2*g - x*v - 11 = -0*g for g.
3
Let o(z) = -2*z + 9. Let s be o(3). Solve 2*u = -4*a + 8, -3*a - s + 19 = -u for u.
-4
Let p(h) = 2*h + 3. Let a be p(-3). Let j = a - -7. Solve -j = -4*m, 0 = -5*g - 5*m - 4 + 19 for g.
2
Let m(a) = a**2 - 8*a - 1. Suppose 0 = 2*k - k - 3*d - 24, -5*k + 4*d + 65 = 0. Let p be m(k). Solve -q + 2 = 3*j, 0*j - p = -4*q - 3*j for q.
2
Suppose -3*o - 12 = -0. Let h be (-58)/(-18) + o/18 - 1. Solve 2*w + 10 = -2*m, -h*w + 4*m + 6 - 4 = 0 for w.
-3
Let y = -6 - -9. Suppose b = y*b - 2*q + 32, 3*b + 3*q = -78. Let s = -16 - b. Solve -5*c + 7 = 3*l, 5*c - l = -6*l + s for c.
2
Suppose -5*u - u = -486. Let a = u - 79. Solve 2*f - a*c = 0, -15 = -f - c - c for f.
5
Let a(h) = -2*h - 4. Let n be a(-3). Suppose u - 2*f = 35, 3*u = 5*u - n*f - 60. Let w be (u - 0)/(2 - 1). Solve -2*t = 6, -2*o - 5*t - w = 3*o for o.
-2
Let n(p) = 12*p. Let i be n(3). Let u(c) = -c**3 - 4*c**2 + 3*c - 4. Let k be u(-5). Let s be (i/10)/(k/15). Solve -s - 4 = 5*g - 3*a, -4*a = -4 for g.
-2
Let g be (0 + 2)/((-9)/(243/(-18))). Solve 0 = -4*w - 12, -f = g*f + 3*w + 13 for f.
-1
Let d = 84 + -79. Solve 0 = -d*k - j - j - 10, 20 = 3*k - 4*j for k.
0
Let d(j) = -j + 1. Let u be d(-3). Let z be (-3)/(-12) + (-151)/(-4) - 3. Let h = -31 + z. Solve -y = -h*g - 4*y + 8, 2*g = u*y - 18 for g.
-1
Let g be (2*8 - 2)*(-10)/(-35). Solve -g*n - 20 = -4*c + n, 5*c = 5*n + 25 for c.
5
Let q = 697 + -695. Solve -o + 5*f - 11 = q*f, -3*o = -4*f + 18 for o.
-2
Let o(l) = 4*l + 3. Let c be o(7). Let x = -26 + c. Solve -b = x*s + 18, 0 = b - 2*s + s for b.
-3
Let i be (-14 - -10)*10/(-8). Let s = 9 - i. Let c = -12 + 12. Solve s*y - 5 + 2 = 5*q, 5*q - 5*y + 5 = c for q.
1
Let r(o) be the first derivative of -o**2 + 13*o - 7. Let j be r(5). Let b be j/2 - (-2)/4. Solve 4*m = b*s + 22, 0*s = -5*s - 3*m - 3 for s.
-3
Suppose 3 = 5*z + 8, -l + 2*z + 10 = 0. Solve -3*c + s + 14 = 0, c - 3*s - 10 = l for c.
3
Let d be (0 - -2)*(-1 + 2). Suppose -h + 0*i + 6 = -i, -d*h = -3*i - 16. Solve 5*f + 30 = -5*x, 4*f - 8*f = -h*x + 18 for x.
-1
Suppose -3*g = f - 14, 3*g - 8*f + 13*f = 34. Solve 0 = 3*v - 0*v + 4*y + 1, g*v = 5*y + 8 for v.
1
Let v be (-2)/8*(18 + (2 - 12)). Let b = 7 - 13. Let q be b/(-2 - (-2 - v)). Solve 0 = 3*g - 3*y - q, g - 5*g + y + 7 = 0 for g.
2
Let b = 24 - -3. Let i = -452 + 455. Solve -2*h - 2*n + 1 = -1, i*h - 3*n = -b for h.
-4
Let n(h) = -4*h - 53. Let l be n(-14). Solve -5*j - 10 = -8*i + 3*i, -2*j - 6 = -l*i for i.
2
Suppose 0 = -4*q - 16, 3*p = 2*q - 75 + 20. Let h be (-228)/14 - (-6)/21. Let d = h - p. Solve j = 4*l - 3*l + d, -5*l - 22 = -4*j for j.
3
Let a(l) = -6*l - 99. Let g be a(-18). Solve -5*c = 4*n - 19, 4*c - g = 5*n - 2 for c.
3
Suppose 31*s - 25*s = 90. Solve s = h - 4*q, 3*h - 5*q + 8 = 25 for h.
-1
Let u(b) = -2*b**3 - b - 1. Let h be u(-1). Suppose 0*a = -3*a + 42. Suppose -3*z + n + a = 0, -5 + 21 = 4*n. Solve z = h*y - 4*p, -p - 3 = -0*y + y for y.
-1
Let i(h) = 7*h**2 - 97*h - 10. Let n be i(14). Solve t = 4*t - 9, 10 = -n*d + 2*t for d.
-1
Let k(l) = -l + 12. Let p be k(8). Suppose p*h - 3 = 1. Solve 5*m = -4*u + 3 + 1, u + 2*m = h for u.
1
Suppose 4*d = -4*m + 24, 0 = 5*d + 2*m - 17 - 10. Solve 3*p + p = d*h + 8, -h = -5*p - 11 for h.
-4
Suppose -u = 5*c + 12, 3*c - 3 = 2*u - 6*u. Suppose 0*l - 2*l - 54 = -3*x, -2*x + 4*l = -28. Solve 0 = -2*j + j - u*i - 16, -j - 4*i - x = 0 for j.
-4
Let o be (-16)/(-6) - (-12)/36. Suppose -3*j = -4*j + 4*s - 4, -4 = -4*s. Solve 5*t = -j*t, o*q - 4*t + 12 = 0 for q.
-4
Suppose -3*m = -5*m - 8, 0 = -3*x - 2*m - 38. Let c be 2/x - 56/20. Let j be (-3 + (0 - c))/2. Solve 2*z - 14 = -j*z + 2*u, 5*u = -5*z + 5 for z.
4
Let p be (-12)/(-3) + 0/1. Let y = 1 + p. Suppose y*q = k - 0*q - 29, 0 = -2*k + 4*q + 28. Solve -5*l - k*u - 36 = 0, 0 = -u - 1 - 3 for l.
-4
Let x(o) be the first derivative of o**4/4 + 2*o**3 - o**2/2 - 3*o - 15. Let j be x(-6). Solve 4*u - 4 = -12, -j*k + 2*u - 11 = 0 for k.
-5
Suppose 4*a = -3*l + 91, -3*a - 106 = -7*a + 2*l. Solve -5*v - 2*t = a, 0 = -4*v + 7*t - 3*t - 20 for v.
-5
Suppose 0 = 2*r + 3*z + 5, 2*r + 4*z = -27 + 17. Let k = -22 - -44. Let y be k/3 + 2/3. Solve y = -2*c - d, -3 = -c + d - r*d for c.
-5
Let h(g) = -g**3 - 7*g**2 + 10. Suppose -22 = 4*y - 2. Let t be h(y). Let j be (-43)/(-9) - t/180. Solve 0 = -3*r + j*x, -3*r + r + 2*x = 4 for r.
-5
Let q(c) = 3*c - 3. Suppose -t + 22 = 5*o, 0 = -8*o + 11*o - 12. Let m be q(t). Solve -8*d - 3*k - 16 = -m*d, 0 = -5*d + 5*k for d.
-2
Suppose -3*h + 29 = -4*l, -l - 3*l - 18 = -2*h. Solve -4 = 5*a + 6, 2*a = 5*i + h for i.
-3
Suppose 0 = 3*h + 5*p - 193, -2 = -p - 3. Suppose -h = 5*o - 8*o. Suppose -2*v - o + 54 = 0. Solve 5*x + b - 3*b - 17 = 0, -v = -5*x + b for x.
3
Let k = -10 + 12. Let o(w) = -w - 15. Let t be o(-17). Suppose -2*c + 2 = -t*l, -3*c = -0*c - l - 11. Solve -k - 11 = 4*a - 3*p, 5*a + c*p - 10 = 0 for a.
-1
Let x be -6 + 13 - (3 - 5/(-5)). Solve -4*z - 24 = 4*n, -4*z = x*n - 8 + 28 for n.
-4
Let o = 1 - 1. Let x(w) = 6*w + 80. Let m be x(-13). Suppose b - j = 0, 4*b - 5*j - m + 6 = o. Solve 2*z + 5 = -n - b, 0 = -2*n + 2*z for n.
-3
Suppose -r = -0*r + 4*o + 20, 4*r + 2*o + 10 = 0. Suppose r*z + 5*z + 4*d - 40 = 0, -4*z + 4*d + 68 = 0. Solve -3*j - 3 = -4*f, 3*j + f + 0*f - z = 0 for j.
3
Suppose -4*b = -3*b. Let g(c) be the second derivative of c**5/20 + c**2 + 79*c. Let w be g(b). Solve -3*v = -6*m + w*m - 26, 0 = 5*m + 2*v + 21 for m.
-5
Let b(p) = 3*p**2. Let q be b(-2). Suppose 3*k + 3 = 2*f - q, -3*f - 2*k = -16. Solve 2*a = -g + 3, 7*g - a + f = 3*g for g.
-1
Let q = -925 + 928. Solve -q*w + 5 = 2*b, 0*b - 5 = -2*w - b for w.
5
Let d be (3/(-2))/(8/((-768)/(-9))). Let h = -8 - d. Solve -p - h = -3*t + 3, t = -p - 3 for p.
-5
Let g be 1/(-4) + 1122/264. Solve 2*c + g*u = -c - 3, -5*c - 5*u = 0 for c.
3
Let h be 2*5*(-1)/6*-3. Solve 3*d + h*l - 9 = 0, d - 5*l + 0 = 3 for d.
3
Let a be (7*(-4)/8)/((-4)/8). Solve 0 = -2*o + 2, a - 23 = 4*g - 4*o for g.
-3
Suppose -44*s = 100 - 276. Solve -s*k + 1 = -n, -7*k + 4*k + 15 = 4*n for n.
3
Suppose -2*m + v - 4 = 0, -7*m + 9*m + v - 4 = 0. Solve 15 = 4*a + n, m*a - 15 = -2*a - 3*n for a.
3
Suppose 16 = 7*k + 16. Suppose k = 3*t - 0*t. Solve 12 = -2*l - 4*c, t*l - 4*c - 12 = l for l.
0
Let q = 59 - 59. Suppose -y - j + 7 = -1, 5*y - 5*j = q. Solve -x + y*x - v + 11 = 0, 4*v = -2*x + 2 for x.
-3
Suppose 20 = 17*j - 82. Solve 3*q - q + 4 = -5*m, 0 = -3*q - 3*m - j for q.
-2
Suppose 0 = -4*d - 30 - 6. Let t be d/3*4/(-6). Suppose -3*u + 2*m = 2 - 0, -8 = -t*m. Solve -y + 2*v + u*v - 23 = 0, -5*v + 25 = 0 for y.
-3
Let b(n) = -n**2 + 27*n - 92. Let l be b(4). Solve o - 10 = 4*o - 4*j, l = 4*o - j - 4 for o.
2
Let a(b) = -b**3 - 5*b**2 + 8. Let p be a(-5). Suppose 0 = -6*s + 2*s + 12. Suppose -s*w = -w - 10. Solve n