 derivative of -h**4/12 - 5*h**3/6 - 2*h**2 + 4*h. Let c be i(-3). Solve 3*m + 7 = -c*r - 10, 4*m + 4 = 2*r for r.
-4
Let o be ((-28)/16)/(6/(-48)). Solve -l - 4 = z + 3*z, -z = 4*l - o for z.
-2
Let a = 1 - -2. Suppose 0 = a*t - 21 + 6. Solve -j + 2*j = 3*r + 15, t*r + 3*j = -11 for r.
-4
Let o = -29 - -97. Let u = o + 155. Suppose 4*t + t - 2*n = u, -4*n = -3*t + 131. Solve -3 - 22 = 2*y + 3*g, 4*y + 5*g = -t for y.
-5
Let c be (-2)/(-7) + (-26)/(-7). Let l be (c - 13/3)*-36. Solve 5*m - 3*s = -2*s - l, 4*m + s + 15 = 0 for m.
-3
Let l = 10 + -2. Let n = l - 5. Suppose -5*u - 3*o + 56 = 0, 0 = -u + 2*o + 21 - 2. Solve p - 4*p + 9 = n*h, 3*p = h + u for h.
-1
Let u be 4/((-4)/12*-3). Solve 3*a = -u*f - 8, 2*a + 6 = 3*f - 5 for f.
1
Let r = 23 + -18. Let t(h) be the second derivative of h**5/20 - h**4/2 - h**3/6 + 4*h**2 + h. Let l be t(6). Solve l*a = -2*g, g + 7 = -5*a - r for g.
3
Let g(u) = u**2 - 7*u. Let k be g(5). Let b = 15 + k. Solve 24 = b*o - 3*z, -3*z = -4*o + 17 + 4 for o.
3
Let o = -34 + 36. Solve -o*i = 2, 0 = -2*z - 0*z - 3*i - 5 for z.
-1
Suppose 2*u + 0*u = 52. Solve -3*h - 6*z + u = -z, -3*z + 14 = h for h.
2
Let o be 0/(6/10 - 26/10). Solve 5*j = -5*a - 5, o*j + 2*j - 3*a - 8 = 0 for j.
1
Let m(y) = y + 11. Let x(r) = -3*r**2 - 2*r + 2. Let d be x(-2). Let o be (-2)/d + 25/(-3). Let t be m(o). Solve -g - t*j = g + 5, g + 4 = -3*j for g.
-1
Suppose -2*l = -0*l. Suppose l = -5*o - 0*o + 45. Solve -5*b + 3*d + d + o = 0, 5*d - 35 = -3*b for b.
5
Suppose 0 = -2*w + 2*t + 10 + 2, 2 = -w - t. Let p be 2/(-6)*(-1 - w). Solve -x + 7 = -2*v, 4*x - p = 3*v + 2 for x.
-3
Let i = 1 - 1. Suppose -9 = y - 39. Let n = 9 - 7. Solve 4*p + n*z + y = 0, i = 5*p + 3*z + z + 45 for p.
-5
Let q(g) = -g**3 + 10*g**2 + 12*g - 11. Let u be q(11). Solve 2*f = j + 15, 0 = f + j - u*j for f.
5
Let b = 14 - -3. Let z = b - 16. Solve -3*c + 4*a + 4 = 0, a + z = 5*c - 0 for c.
0
Let b(d) = -6 + 2*d + 12*d - d**2 - 3*d. Let u be b(10). Let c = -4 - -7. Solve -11 = c*l - k, 14 - 2 = u*l + 4*k for l.
-2
Let n be 63/18 - 1/(-2). Solve -3*y - n*u = 23, 3*u = 4*y - y + 9 for y.
-5
Suppose -48 = -4*y - 4*v, 3*v = -y + 2*y. Suppose y*z = 4*z. Suppose z*a + a = 0. Solve q + 3 = 2*c - 3*c, 3*c - q + 13 = a for c.
-4
Suppose 27 = 4*f + 5*k, 0*k = -k + 3. Solve f*d - 4*d - 10 = -5*t, -3*t - 4*d = -29 for t.
3
Suppose 8 = -4*k, 4*k = 3*i + 5*k - 16. Let f be ((-5)/(-1))/(2/10). Suppose 0 = -4*m + 3 + 5. Solve -i*q + l - f = -q, 0 = -m*l + 10 for q.
-4
Suppose 3*z = -4*f - 10, 3*f - 3 = 2*z - 19. Solve -3*c + 5*o + 9 = -0*o, -4*c - z = -2*o for c.
-2
Let g(s) = s**2 - 5*s + 4. Let p be g(5). Solve -4*y + p = -3*y + 2*w, 0 = 4*y - w + 11 for y.
-2
Suppose z + 3*z = 4. Let s = 3 - z. Solve 5*v + m + 1 - 2 = 0, 2*m - s = -4*v for v.
0
Let f = -10 - -12. Suppose 0 = 3*v + v - 20. Suppose 4*i + 12 = -3*j, -v*j + 5*i = 3*i - 6. Solve 2 + j = -4*q + f*r, -5*q - 3*r - 8 = 0 for q.
-1
Let t be 4/18 + (-994)/(-63). Solve f = -4*n + t, -f = -4*f + 4*n for f.
4
Let l = 54 - 52. Solve -d - 2*j + l = j, -25 = -4*d + 5*j for d.
5
Let w(u) = -u**3 - 3*u**2 + 3. Let h be w(-3). Suppose -3*a - 2*a = 0. Solve -2*v + h*r - r = -2, v - 2*r - 6 = a for v.
-4
Let w be 4 + (1 - (3 + -3)). Solve -l + w*r + 18 = 0, -l + 2*r + 21 = 4*l for l.
3
Let g(q) be the third derivative of q**4/12 + q**3/6 + 3*q**2. Let z be g(4). Solve z = 3*x - 3*d - 0, -2*d = 3*x + 11 for x.
-1
Suppose 0 = 3*s - 2*l - 2*l - 16, 0 = 2*s - 3*l - 12. Solve -2*f + 4 = 3*g - 8, 3*f = s for g.
4
Let h = 53 - 37. Let x = h - 13. Solve -4*l - x*k = -1, l - 2*k = 5*l - 6 for l.
4
Let j be 7/2 + 2/4. Suppose -j*s + 0*s = 0. Suppose 3*p + 2*p = s. Solve -q + 3*k - 2 = p, -3*q + 2*k - 6*k + 7 = 0 for q.
1
Let r = -9 + 12. Solve -3*o + 5*i - 4 = i, 3*i = -r*o - 18 for o.
-4
Let q be ((-3)/(-5)*1)/((-2)/(-10)). Solve 2*a - 25 = -3*a, q*r + 14 = a for r.
-3
Let j(y) = -y + 9. Let b be j(4). Suppose t = -0*t + 5. Suppose -r - t*c - 21 = 0, r - c + 4*c + 11 = 0. Solve f - 1 = p - 4, r*p = -b*f + 3 for p.
2
Suppose 7*p = -0*p + 14. Solve -p*l + 13 = -y + 2*y, 30 = 2*y + 5*l for y.
5
Let j be (1 + 4)*6/15. Let t(w) = w**3 + 3*w**2 - w - 1. Let c be t(-2). Let b = c - 3. Solve j*v - 4 = b*u - 0*u, -3*v + 27 = 4*u for u.
3
Suppose 5*m - 15 = -c, 2*m - 6*m = -3*c - 12. Let h be ((-6)/4)/((-4)/8). Suppose h = f + 1. Solve -d + 0*d + 11 = f*n, -m*d - 2 = -n for n.
5
Let c = 1 - -3. Let h be (-1)/(1 + (-18)/15). Solve -t - 1 = -c*n, t - h*n + 2*n + 2 = 0 for t.
-5
Let n = 13 + -6. Suppose 0 = 4*c + 16, -b - b + 4*c + 24 = 0. Suppose -15 = -t - 4*u, t + 7 = 2*u + 16. Solve 0 = 4*z - n*z + f - t, 0 = b*f - 20 for z.
-2
Suppose -3 = -5*h - 3*z, -3*h - 3*z - 4 = -1. Solve -h*c = b - 12, 2*b = 6*c - c - 20 for c.
4
Let z = 21 - 10. Suppose 2*l + 4*d - 12 = -3*l, 4*l - 5*d - 26 = 0. Solve -v + 2*n = v + 10, -l*n + z = -v for v.
-3
Let f(r) = r**2 - 21*r + 22. Let p be f(20). Suppose -p*k - 4*u + 31 = -3, -5*u = 10. Solve -3*y + 1 = 3*t - 4*t, -k = y + 5*t for y.
-1
Let o(x) = -x - 6. Let m be o(-10). Suppose -c + 2 + m = 0. Solve 2*k - 3*d - 9 = 3*k, c = -3*k - 2*d for k.
0
Let t(a) = -2*a**2 + 15*a - 9. Let y be t(4). Solve -2*j = 6, 6*j - 3*j = -2*o - y for o.
-5
Let t = -7 - -7. Solve -v - w = 0, t*w + w + 12 = -5*v for v.
-3
Let o = 87 + -87. Solve o = -3*z - 3*b, -4*b = 4*z - 3*b + 12 for z.
-4
Let g(f) = f**3 + f**2 + f. Let j be g(1). Suppose -2*b = -9 + 1. Solve b*z + j*k = 23, z - 10 + 0 = -5*k for z.
5
Suppose -2*k + 4 = a - 3*a, -3*k - 2*a + 11 = 0. Solve y + 16 = 5*u, 0 = -5*y + k*u + 2*u for y.
4
Let d be (10/(-4))/((-1)/6). Suppose 5*v - d = 2*v. Solve -q = -v*f + 4*q - 5, 31 = -4*f - 5*q for f.
-4
Suppose 11*p = 7*p + 8. Solve 0 = -5*c - 2*h + 18, p*h = -h + 12 for c.
2
Suppose 0 = 3*t - t - 8, -4*v - t = -28. Let o(n) = n - 6. Let k be o(v). Suppose 3*x + k*x - 6 = 0. Solve q - 1 - x = 0, 4*i - 17 = -3*q for i.
2
Suppose -3*i - f = -53, 0 = -3*i - 0*i + 4*f + 43. Let z be 1*i + (11 - 10). Solve 16 = 4*g, 3*g = 5*y + z + 9 for y.
-3
Let s be 2 + -4 - 58/2. Let k = -15 - s. Solve 4*x - k = -3*i + 1, 0 = x - 2*i + 4 for x.
2
Suppose -2*u = -7*u + 10. Solve i = 5, -u*n - n - 2*i = -7 for n.
-1
Let n be (2/6)/(3/279). Suppose -3*d + n = u, -6 - 92 = -4*u + d. Let p be -3 - -1 - (1 + -6). Solve 0 = 4*v + 5*x - 9 + u, 0 = -p*v - 3*x - 12 for v.
-4
Let a be 1/(2/(-4)) + 6. Suppose -2*j - 4 = -a*j. Solve 5*o + 2*d = 15, d - 9 = -o - j*o for o.
3
Let p(d) = 6*d + 1. Let v be p(-3). Let w = -11 - v. Solve -4*g + 13 = 5*i, g - 3*i = 4*g - w for g.
-3
Let p be (12/(-18) - (-1)/3)*21. Let r = -1 + -6. Let u = p - r. Solve 3*d + 6 = 3*o, u = -4*d - 2*o + 4*o - 10 for d.
-3
Let u(p) = -p + 8. Let g be u(6). Suppose 4*b - 4*v - 80 = 0, 6*v - 16 = g*v. Solve -4*f + 8 = -2*y + b, -5*f = -5*y + 25 for f.
-3
Let v = 7 - 2. Suppose 0 = d + v*l + 1, 6*l - 15 = -5*d + l. Suppose -2*a = 4*z + 12, d*z = -4*a + 3 - 7. Solve -3*q + 2 = -t - q, 14 = 3*t + a*q for t.
2
Let a(o) = -o**2 + 3*o + 22. Let l be a(6). Solve -l*m + 14 = f - 3, f - 12 = -3*m for m.
5
Let q = 6 + -2. Suppose 2*z = -q*h + 22, 0 = -0*h + h + 5*z - 19. Solve h*w - 21 = -p, -4*w = 2*p - 2*w - 12 for p.
1
Suppose -2*i = 6*h - h - 33, 5*h - 3*i = 13. Solve -4*n = h*o - 7 - 11, 3*o - 16 = -5*n for o.
2
Suppose -2*q = 0, -3*i + 36 = 7*q - 3*q. Suppose 0 = u + 3*v - 20, -2*v + 5*v = 3*u - 12. Solve 0 = n + 1, -5*b + i = 5*n - u for b.
5
Let a = -17 + 11. Let y = a + 18. Solve u + 3*u + y = -2*d, 2*u = -8 for d.
2
Let n(o) = o**2 - 11*o + 12. Let t be n(9). Let g be (-2)/6*(t - 0). Let a = g + 0. Solve -h + 3*w + 5 = a, 0 = 5*h - 5*w - 15 for h.
3
Let c = 40 + 80. Suppose 5*y - 130 = c. Solve -g + 5*b = 4*g + y, -5*b + 25 = 0 for g.
-5
Suppose 0 = -c + 2 + 2. Suppose c*s - s = 9. Solve -t = t - 2*p + 2, -t - s = -3*p for t.
0
Suppose 0 = 4*q - 2*q - 24. Suppose 2*v = 3*v - q. Solve -3*f = 3*z - 0*f + 18, v = -z - 3*f for z.
-3
Let g(j) = j**3 + 8*j**2 + 7*j. Let q be g(-7). Suppose o - 27 - 1 = q. Solve -3*v - 6 = 5*c, -3*v + 4*c + o = 7 for v.
3
Let s(k) = -2*k - 4. Let t be s(-3). Suppose o + 5*p = -8 + 6, 0 = -5*o - 4*p + 32. Let y = 7 + -4. Solve 10 = -t*j, -3*l + y*j - 2 = -o for l.
-3
Suppose -g = 5*z - 6, -3*g + 3 - 1 = -z. Let b be (6 - g) + 0 + 0. Solve -35 = 5*q + 2*r, -5*r - 3 = b*