 = -16 for f.
-2
Let g(n) be the third derivative of n**6/120 + n**5/30 - n**4/24 + n**3/6 + n**2. Let t be g(-2). Solve -t*r + 2 = 2*b + 6, -3*r = -2*b + 20 for b.
4
Let r(g) = g + 5. Let y be r(-3). Solve 0 = y*n + 4*v - 6, 5*n - 4*v - 29 = -0*v for n.
5
Let m(v) = -v - 3. Let a be m(-3). Suppose -5*o - 19 + 194 = a. Suppose -o + 3 = -4*x. Solve g - 6*l = -l - 8, -x = -4*l for g.
2
Suppose 4*n + 14 = 2*b, 5*b - 19 = -0*n + 2*n. Suppose 5*q - 19 = 2*k, 3*k = -4*q + b + 3. Solve -q*g = j, 2*j = -g + 7*j - 16 for g.
-1
Let o be 5 + -5 + (3 - 0). Solve o*i + 7 = -2*q - 5, 0 = q + 5*i + 13 for q.
-3
Let p be 2*5*(-2)/(-4). Suppose -3*g - c - 3 = -4*c, -5*g + 3*c + p = 0. Suppose -4*j + 36 = 8. Solve 0 = -3*k + 8*k - q - 22, k - g*q = -j for k.
5
Suppose 0 = 4*o - 9 - 11. Suppose -4*s = -2*s, o*s - 20 = -l. Let a(h) = -h - 5. Let b be a(-9). Solve 7*n - 3*n + 28 = b*m, -5*n - l = 0 for m.
3
Let c be ((-2)/(-2) - 0) + 27. Suppose 5*s - c = 3*m, 0 = 2*s - 4*s + m + 11. Suppose 3*j - 28 = 38. Solve 4*x = -3*i + s*i, 5*x + 3*i = j for x.
2
Let r(z) be the first derivative of z**4/2 + z**3/3 - z**2 + z - 2. Suppose 1 = 2*q - 1. Let c be r(q). Solve -4*i - 2*v + 3 = -11, -c*i - 2*v + 8 = 0 for i.
3
Suppose -20 = -6*s + s. Solve -s*m = 3*h - 18 - 2, m = 5 for h.
0
Suppose d - 2 = -7. Let q = d + 5. Solve -2*v + 3*v - 16 = -4*g, q = -g - v + 7 for g.
3
Let x(z) = z**2 + 6*z + 7. Let m be x(-5). Solve -5*k + m*k - 25 = -2*c, -3*k = 4*c - 5 for c.
5
Suppose 2*t = -3*q, 4*t + 5*q - 2 = -0*t. Suppose t*s + h - 5 = 0, 0*s = -2*s - 4*h. Let p = -1 - -5. Solve -p*f - 20 = 0, -5*v = -v + s*f - 2 for v.
3
Suppose 7*y - 4*y - 9 = 0. Suppose -5*r - 53 = 67. Let b be (1/3)/((-4)/r). Solve 9 = -y*m - 0*m, 2*f = -b*m + 4 for f.
5
Let n be -2*-1*(1 - -1). Suppose -g + 6*g - 20 = 0. Let i = g - n. Solve -5*u + 11 = 5*v - 8*u, u - 3 = i for v.
4
Let t be 29/9 + (-2)/9. Solve 0 = -3*b - 15, t*b + 5 = -3*l - 10 for l.
0
Let i(y) = -y**3 + 8*y**2 + y - 5. Let d be i(8). Let a = -7 + 4. Let j(q) = -q**2 - 3*q + 3. Let k be j(a). Solve 3*s - 3 = 0, k*t + d = 4*s - 1 for t.
0
Suppose -2*p - 3 = 2*p + 3*a, 2*p + 4*a = -14. Solve -3*c - p*w - 10 = -8*c, 2*c - 4 = 2*w for c.
2
Let q = 9 + -20. Let s(k) = -k**2 - 10*k + 13. Let i be s(q). Solve -12 = i*b + h, -4*b + 2*h + h = 4 for b.
-4
Let c(r) = -r - 9. Let h be c(0). Let u = -5 - h. Suppose -a + 14 = u. Solve -2*i + 4 - a = -2*p, 2*p + i + 3 = 0 for p.
0
Suppose 0 = -3*p - 4*m + 22, -5*p = -5*m + 2 + 8. Suppose j + p = 4. Solve -j*h - 14 = -4*o, o - 2*h = -5*h for o.
3
Let k = -8 + 3. Suppose 2*f + 20 = 4*m, -2*m = -m - 5*f + 13. Let v = k + m. Solve 2*n + 2 = 3*w, 18 = v*n + 2*w - 0*w for n.
5
Let y(b) = 7*b**3 + 9*b**2 - 3*b - 7. Let q(a) = -3*a**3 - 4*a**2 + a + 3. Let s(k) = -9*q(k) - 4*y(k). Let g be s(-2). Solve -o - f + g*f = -8, 5 = -f for o.
-2
Suppose -2*z = -2*n + 14, z - 3*n = -3 - 10. Let j(d) = d**2 + 4*d + 4. Let c be j(z). Solve 0 = a + c, -5*p = a - 3*a + 2 for p.
-2
Let p be 15*(-2)/(4 + (-13 - -3)). Solve x = 2*m - p, 14 = 2*x + m - 1 for x.
5
Let z = 13 - 7. Let w(d) = 4*d - 6. Let u be w(6). Let y be 58/u + 2/(-9). Solve -y*p - z = 0, -7 = -0*x - 5*x - 4*p for x.
3
Suppose 2*g - 4*y = 24, -y - 17 = -3*g - 6. Solve 3*f = -0*f - 4*c, f = -g*c - 2 for f.
4
Let g = -13 - -13. Suppose 3*o + 36 = -4*j, -4*j - 7 = o + 29. Let b = -6 - j. Solve 5*l = b*p + 2, -4*l - 8 + 0 = g for p.
-4
Suppose -v + 2*y - 4 = 0, 2*v + 0*y = -4*y - 40. Let q = -4 - v. Solve l + 5 = -3*o, -o = 5*l + q + 3 for o.
-1
Suppose -92 = -3*a - a + 4*f, -4*a + 3*f + 89 = 0. Solve -3*j - q = -2, j + 3*j - a = 3*q for j.
2
Let n(k) = -3*k - 13. Let t be n(-6). Suppose -t*w + 4 = -6. Solve 4*x + 13 = -l, -x + w*l + 3 = l for x.
-2
Let j(a) = -a**3 + 9*a**2 - a + 6. Let t be j(9). Let c be (t + 14/4)*8. Solve -2*g + w + c = 0, 2*g + 6 = -2*w - 2 for g.
0
Let t be (-10)/30 + 7/3. Let z(a) = -a**3 - 3*a**2 - a - 3. Let p be z(-3). Solve -3*n - 2*d = 12, 2 + p = 2*n - t*d for n.
-2
Let q = -7 + 4. Let u be -3*(-4 - q) + -3. Suppose -c - 2*c + 15 = u. Solve -c*o = -3*s - 4*o + 10, -4*s + o = -14 for s.
4
Suppose 3*h = -4*f + 17, -5*h + 20 = 2*f + 3*f. Let y be 12/(-16) - (-93)/12. Solve l = 3*l - 5*j + 17, -y = -f*l - 4*j for l.
-1
Let m = 7 - 10. Suppose -5*o - 25 = 5*h, -5*o + 2*h - 26 = 6. Let p = m - o. Solve -z + 28 = -6*z + p*y, 4*z + 3*y + 17 = 0 for z.
-5
Let z be 4/(-20) - (-42)/10. Suppose 0 = -2*s + 2*d - 6, -2*s + z*d = 3*d + 1. Solve 5*c + 2*v + 8 = 0, 0 = 2*c - s*v - v + 7 for c.
-2
Let q be ((-6)/4)/((-3)/6). Let k = 1 - 1. Suppose k = 5*f - c - 19, 2*f - 3*f + 7 = -c. Solve 2*u - 5*v = -2*u - 4, q = -3*u + f*v for u.
-1
Suppose -3*j - 3 = -12. Solve 2*u + 0*u + j = -5*a, -a = -4*u + 5 for u.
1
Let q = -176 + 180. Solve -3*h - 3*f - 15 = 0, q*f + 12 = 4*h + 32 for h.
-5
Let h be (100/125)/(0 - 4/(-70)). Solve 3*w - 6*w + 6 = 0, -h = 2*t - 4*w for t.
-3
Suppose 2 + 13 = 3*v. Solve -4*w = 5*q + v, 0*w + w + 3 = -3*q for q.
-1
Let o be -2*4/(4 - 8). Solve 3*f = -2*i - 14, -14 - 6 = 4*i + o*f for i.
-4
Let g = -1 + 1. Suppose 2*x - 10 = -3*p + 7*p, p = g. Solve 0*d - 16 = 4*u - 2*d, 5*u = -x*d - 20 for u.
-4
Let l be 6/10*(-160)/(-48). Solve 0 = -l*p + 5*p + 2*t - 22, 0 = -5*p + 4*t for p.
4
Suppose -5*i + i + i = 0. Solve i*t - 4*t + 16 = -5*y, y + 4 = 0 for t.
-1
Suppose 0 = -9*a + 11*a - 28. Let c = -22 + 40. Suppose -2*p - 3*g + 2*g = -3, -p + 5*g + c = 0. Solve 3*x = -3*j + x - 8, p*j - x = -a for j.
-4
Let h(l) = l**3 + 7*l**2 - 2*l - 7. Let a be h(-7). Solve -k = 4*j - 12, 2*j - a*j = 3*k - 15 for k.
0
Suppose -8*y + 13*y = 30. Solve 0*h - 5*h = -5, -y = 3*a + 3*h for a.
-3
Suppose -7*a - 4*u = -3*a - 16, 5*u + 12 = 3*a. Suppose -2*v = -a - 4. Solve -2 = n + 4*n + v*b, 3*n - 18 = 4*b for n.
2
Let l(h) = 2*h. Let j be l(1). Solve 0*r + 26 = -5*s + r, j*s + 9 = -r for s.
-5
Suppose 0 = -n + 2 + 3. Solve 2*i = -n*a + 4*i + 23, -1 = -i for a.
5
Suppose -5*b + 1 = -i, -2*b + 3*i = -b - 3. Solve -3*z + 2*g - 1 = b, -4*g = -2*g + 8 for z.
-3
Suppose -4*u = 3*q - 32, -2*q + 0*q - 5*u + 33 = 0. Let t(s) = -8 + 5 - 2 + 5*s. Let m be t(q). Solve -j + z = 0, -4*z = z + m for j.
-3
Let g = 0 + 4. Suppose -3*f + 3 = o, -4*o + 2*f = -0*f + 2. Suppose 0*b = -2*b + 12. Solve a = -o*a + g*w + b, -a + w = 0 for a.
-2
Let a(k) = 2*k**2 + k - 2. Let n be a(2). Let i be 4/(-10)*(2 - 12). Solve 4*m = 5*h - n, -2*h + 2*m + i = -3*h for h.
0
Let s(m) = 2*m - 6. Suppose -4*n = -12 - 8. Let p be s(n). Suppose -d + 0*d = 0. Solve 2*z = 3*u - 0*u, d = 2*z - 5*u + p for z.
3
Let c be (-5)/5 + 1 + 1. Let q be (-2 + 6)*(c - 0). Solve 31 = -5*p - 5*w - 9, -q*p - 3*w = 28 for p.
-4
Suppose -3*d = -2*y + 82, 3*y - 6*d + 3*d - 126 = 0. Suppose y = 2*x + 2*x. Solve -4*g = -3*o + x + 2, -3*g - 4*o + 9 = 0 for g.
-1
Let l(p) = -3*p - 20. Let j be l(-7). Solve 5 = 2*v - d, -2*v - 4*d + j = -9 for v.
3
Suppose s = -s + 4. Suppose 2*b + 4*l = 14, 0 = s*b - 5*l - 0*l - 5. Suppose -b*h = 6 - 16. Solve 0 = 3*m - 5*u - 5, -6*u - 17 = -5*m - h*u for m.
5
Let f(c) = -c + 8. Let k be f(6). Suppose -5*q = i + 59, 2*i + 0*i = k. Let p = q - -17. Solve -2*w - 26 = -6*w - p*b, 2*w - 10 = -b for w.
4
Let u = 68 - 46. Let k = u + -10. Let g = k + -10. Solve 3*z - 3 + 9 = -b, -2 = g*b + z for b.
0
Suppose 103 = 3*z + 91. Solve -2*r - 6*i - 12 = -3*i, -2*i - z = 0 for r.
-3
Let j(u) = 4*u**2 - 2*u - 2. Let o be j(-2). Let m = o - 5. Suppose 1 = -4*k + m. Solve x - k*v - 7 = -2*v, -2*v - 10 = 0 for x.
2
Let k be -4*(0 + (-3)/4). Solve 18 = -4*t + 3*w, -2*w - k*w = -t - 13 for t.
-3
Suppose 3*r - 17*r + 42 = 0. Solve 2*a + 5 = -0*h - h, r*a + 10 = -h for a.
-5
Let p = -13 - -20. Solve -y + 4*y = 12, 5*o - p = -3*y for o.
-1
Let p = 19 + -1. Suppose -2*m - m + p = 0. Solve -2 = -g - 5, m = 4*d - 2*g for d.
0
Let y = -15 - -18. Solve -y*z - 2*f + 4 = 3, -3*z + 3*f - 24 = 0 for z.
-3
Let n = -4 - -14. Solve -t - 6 = 2*j, -2*j + n = -0*t + 5*t for t.
4
Let a(n) = n - 4. Let i be a(8). Solve -2*s = -5*o + 2*s + 4, 5*o + 4 = -i*s for o.
0
Let r be 1/(37/126 - 4/18). Solve -3*h + 5*s = -r, -2*h + 0*s - 4*s + 2 = 0 for h.
3
Suppose 5*i = -0*p - 5*p + 35, 0 = 3*i + 5*p - 25. Suppose 3*d - i = 22. Solve 2*m + s - d = -1, s - 14 = -5*m for m.
2
Let g(j) = 3*j - 17. Let i be g(11). Solve o + 15 = -