= -22, -h + i - 1 = x for x.
-3
Let i(n) = -n**2 + 14*n + 4. Let k be i(14). Solve 0 = -4*g - 2*a - 24, -5*a = 2*g - k*g + 12 for g.
-4
Let o(t) = -t**2 - t. Suppose b - 4 = -2*r, 2*b + r - 2 = 7*b. Let j be o(b). Solve s + j*s = 4*k - 4, 2*k + 12 = 4*s for s.
4
Let n = 24 + 6. Let x = 1 - -1. Suppose -x*a = -z - 10, -a - 5 = -2*a - 2*z. Solve 3*b + 5*i + 23 = 2*b, -4*i - n = -a*b for b.
2
Let a(g) = -g**3 + 5*g**2 + 7*g + 9. Let f be a(6). Let z(l) = l**3 - 5*l**2 + 4*l + 1. Let v be z(5). Solve o + f = 6*o + r, 0 = 3*o + 3*r - v for o.
2
Let q = 1 - -11. Suppose 0 = -3*l + 4*k + q, -k - 12 = -3*l + 2*k. Solve 3*w = -l*o + 5, -o + w = 2*w - 2 for o.
-1
Let a(c) = -2*c - 5. Let q be a(-6). Suppose p = -0 - q. Let k = 11 + p. Solve 12 + 6 = 2*z + 2*w, k*z + 5*w = 40 for z.
5
Suppose 2*y = -5*b - 37, -2*y + b = -3*b + 64. Let m = -22 - y. Solve 0 = 3*i - 4*v - 6, 0 = m*v for i.
2
Suppose -4*q - q = -10. Solve 3*a = q*d - 15, 3*d + a = 3 + 3 for d.
3
Let u = -40 + 44. Solve u*y + 2*z = 6, -y + 1 = -3*y - 5*z for y.
2
Suppose -2*p + 3*p = 16. Let r = p + -11. Suppose -4*o + 5*t = r, 3*o - o - 25 = -3*t. Solve 2*d - 2*s + 11 = d, -19 = o*d - s for d.
-3
Let a(y) = 2*y**2 - 12*y + 12. Let t be a(5). Solve -5*l + 4*c - 2 = -0*c, -3*l + t*c = 0 for l.
2
Let t(y) = -y**3 - 6*y**2 + 7*y + 7. Let m be t(-7). Let r = 11 - m. Solve -r*w = -2*q + 7 - 3, 0 = 5*w + 2*q - 4 for w.
0
Let k = -9 + 6. Let p be (-18)/k - (0 - -3). Solve -5*f - 3*t = 16, -2*f = -p*f - 2*t - 6 for f.
-2
Let g = -1 + 8. Let z(d) = d - 3. Let s be z(g). Solve 0 = 4*v + s*k + 1 + 7, k = -4*v - 17 for v.
-5
Suppose -5*u + 57 = -5*k + 17, -3*k + u = 20. Let v be ((-10)/(-3))/((-2)/k). Solve -4*l + 5*t + v = -9*l, t - 3 = 4*l for l.
-1
Let n be 26/7 + 4/14. Suppose 0 = -j - 3*b + 19 + 13, 0 = 5*j - n*b - 103. Let z = j - 16. Solve 0*a = -3*a + s - z, -3*s = -2*a + 7 for a.
-4
Let v be (-16)/6*(-9)/6. Solve 0 = 3*o - v*o + 3*j + 18, -5*o = 5*j + 10 for o.
3
Suppose -4 = 2*k - 22. Suppose 5*u + 10 = -4*b, 6*b - b = 2*u + 4. Let x be (-21)/(-9) + (-2)/6. Solve b = 5*z - 5, 2*v = z - x*z + k for v.
4
Suppose 0 = -l, 0 = -3*i - 2*l + 15 - 0. Let n(q) = q**2 - 5*q - 4. Let z be n(6). Let o(w) = w - 2. Let r be o(z). Solve -10 = i*k - r*k, 2*k = m - 2 for m.
-2
Let r = 1 - 2. Let m(l) = -12*l**3 + l**2. Let b be m(r). Solve 4*f = -5*s + 14, -b = -4*s + 4*f - 9*f for s.
2
Let f = 63 - 58. Solve 3*x - 3*s = -x + f, -5*s = -4*x + 11 for x.
-1
Let h(l) = -l + 9. Let u(n) = n + 2. Let c be u(4). Let k be h(c). Solve -2*j + 8 = -k*o, 7*j = 5*o + 2*j + 10 for o.
-4
Suppose -2*d = -0*d. Let h be 2/(12/5 - 2). Suppose 3 - 23 = -h*i. Solve -i*t - 2*s = -8, s - 2 = -d for t.
1
Let d(r) be the first derivative of r**4/4 + 4*r**3/3 - 7*r**2/2 - 4*r + 2. Let g be d(-5). Solve g = t + i, 4*t - i - 6 = i for t.
3
Let x be 9 + (-6 - 1 - -3). Suppose -20 = -5*t - x. Solve 0 = k - 2*m + 5, 2*m + t*m - 11 = 4*k for k.
1
Suppose o - 3*o = 4*h, 5*h + 10 = 0. Solve 4*i + 26 = -2*l, -6*l + o*i + 5 = -l for l.
-3
Let s(k) be the second derivative of 7/6*k**3 - 1/2*k**2 + 0 + 5/12*k**4 - 1/20*k**5 + k. Let g be s(6). Solve 4*u = -4*p - 24, g*p - 3*u - 3 = 7 for p.
-1
Let h be 7 + (0 + 6)/(-3). Let o be (1 - -4) + (-10)/h. Let i(p) = -p**2 + p + 4. Let n be i(0). Solve -n = -5*b - t - o, 4*b - 1 = -t for b.
0
Let f = -6 + 11. Solve j + f*b = -23, -4*j + 5*b = -0*b - 33 for j.
2
Let s(j) = -j + 1. Let k be s(4). Let g = 12 + k. Let n be (-1 - 0)/((-3)/21). Solve 2*z = -y - n, 4*z - 22 = -2*y + g*z for y.
1
Suppose -3*d + 24 = -0*d. Suppose m = -m + d. Suppose -4*v = -2*g - 20 - 6, -2*g = 5*v - 19. Solve 5*u - 4*r = -9*r - v, 0 = -4*u + m*r + 28 for u.
3
Suppose -2*y - 6 = -12. Solve y*u = -4*l + 3*l - 11, -14 = 4*u + 2*l for u.
-4
Let q(u) = -u**2 - 4*u + 23. Let c be q(-7). Solve -x = -2*i - 1, -c*i - 2*i + 4 = 4*x for i.
0
Let t = 35 - 33. Solve -3*o - t*o + 4*j - 28 = 0, 4*o + 6 = -5*j for o.
-4
Let d = 57 + -26. Let u = d - 17. Solve 0 = -2*s + 2*o - u, -s - 2*s - 25 = -5*o for s.
-5
Let g be (6/(-5))/(9/(-30)). Suppose -4*v + 48 = 3*u, -3*v + g - 13 = 0. Let p(a) = a + 7. Let i be p(-5). Solve 0*c - i*c - 3*k = -5, c = -5*k + u for c.
-5
Let v = 26 - 3. Let r = 11 - 7. Let w be (-14)/(2*-1) + -2. Solve 5*a + r*y - v - 2 = 0, a - w*y = -24 for a.
1
Let b(o) be the third derivative of -o**5/60 - o**4/2 - 11*o**3/6 + o**2. Let l be b(-10). Solve -3*u = -4*p - l, -3*u + 12 = -3*p - 2*p for u.
-1
Let q be -4*((-1)/(-2))/(-1). Let o = q - -9. Let f = o + -7. Solve 0 = -5*i - n + f*n, -3*n + 15 = 0 for i.
3
Let z = -13 + 13. Suppose 0 = 3*k - z*k. Solve 4*r + 5*d + 7 = k, -r + 2 = 5*d - 0*d for r.
-3
Suppose -i - 4 = 3*i. Let r = -11 - -10. Let w be 19 + (r - 3*i). Solve 4*d - 5*c + w = 0, -5*c + 5 = -d - 4*c for d.
-4
Let j(s) = 4*s**3 - s**2 + 1. Let b be j(-1). Let q be -1*(1/1 + b). Solve 0*k - q*z + 8 = -k, 4*k + 4*z - 32 = 0 for k.
4
Let q = 22 - 20. Suppose -x + 5*w + 11 = 0, 2*w - 12 = -2*x - q. Solve 2*h = 4*f - 12, 2*h + x = 4*h + 5*f for h.
-2
Let j = -2 - -30. Solve -5*p - 15 = -2*x, -4*x = -3*p + x - j for p.
-1
Suppose 0 = -2*x - 4*d + 12, -x + 8 = 3*d + 4. Let o = x - -26. Let z be (o/10 + -3)*5. Solve -2*i = -z*c - 3*i, 0 = 4*c - 5*i for c.
0
Let p(y) = 2*y - 7. Let m = -13 + 8. Let n be (-15)/m - (-1 - 1). Let g be p(n). Solve 0 = g*z + 2*j + 6, 3*z + 4*j = z + 4 for z.
-4
Suppose -7*r + 3*r = -48. Let b = 9 - r. Let y = 7 + b. Solve -4*q - 4 = h - 1, -q + y = 5*h for q.
-1
Let u(v) = -v**2 + v + 3. Let m be u(0). Suppose 0 = -5*t - m + 13. Suppose 0 = f - 4 + t. Solve l = -s - 4*l - f, -5*s + 3*l + 18 = 0 for s.
3
Let x be ((-9)/6)/(6/(-4)). Solve -5*n - 5*i - x = 19, -4*n - 3*i = 14 for n.
-2
Let s(h) = -h - 2. Let u be s(-4). Suppose 8 = -z + u*x, -4*x + 2*x = 5*z - 8. Solve z = -p - 2*n - 2, 0 = p - 3*n + 2 - 15 for p.
4
Suppose -3*b + 3 = 3*r - 0*b, 4*r = 4*b + 28. Suppose -3*x = -r*t - 3, -3 = -6*t + t - 3*x. Solve -5*k + 3*v + t*v - 29 = 0, -4*k - 5*v = 1 for k.
-4
Suppose 3*u = -0*u. Suppose u*m + 4*m = 4. Suppose 4*v = 3 + m. Solve -5*b = k - 0 + v, 0 = -3*k + 12 for b.
-1
Suppose -z + 3*g = -0*z - 17, -3*z - g = -11. Solve -5*b + 11 = m, -b + 3*b + 1 = z*m for m.
1
Let m(i) be the second derivative of 11*i**3/6 - 3*i**2/2 + 2*i. Let x be m(4). Solve -5*t = -10*t - 4*c, -4*t + 5*c + x = 0 for t.
4
Suppose 28 + 68 = -2*c. Let o be ((-6)/4)/(2/20). Let i be (o/(-20))/((-2)/c). Solve -4*v - i = -9*v - j, -3*v + 2*j = -3 for v.
3
Suppose 4*d - 5*d + 12 = 0. Let j be 40/d*(-24)/(-10). Solve 5*f - 2*w = 23, -4*w - 17 - j = -3*f for f.
3
Suppose -3*l = -l - 18. Let y(p) = -p + 12. Let d be y(l). Let h = -25 + 32. Solve -d*j = 3*c - 2 + 5, j - c + h = 0 for j.
-4
Suppose -3*r - 3*o + 2 + 7 = 0, r + 3*o = 1. Suppose -3*f = -5*g + 29, -3*g + f + 21 = -2*f. Solve -4*m + 1 = -y - r, 0 = -5*m - g*y - 20 for m.
0
Let v be 2/(-7) - (-764)/28. Suppose 4*x + 11 = v. Solve 0 = u + z + x, u + 3*u + 7 = -z for u.
-1
Let f = 5 - 3. Solve 0 = f*u - 6*u + 2*g - 16, 5*g = -5*u + 10 for u.
-2
Let o = -2 - -7. Suppose -o*t + 147 = -8. Solve -2*k + t = 5*f, k - 34 = -5*f - 2*k for f.
5
Suppose 2*f - 3*f + 13 = 4*d, -4*f - 12 = 0. Suppose 4*j = -5*h + 10, -d = -0*j - 2*j - 3*h. Solve 0 = -0*v + 4*v + j*r + 31, 3*v + 24 = -4*r for v.
-4
Let w = 28 - 30. Let i be w/(-2) - (-3 - 1). Solve 2*x + k = i*x + 10, -4 = 4*x + k for x.
-2
Suppose 0 = 2*g + 4*r - 8, -2 = -3*g - r - 0. Suppose 0 = -2*f - q + 12, 2*f + 5*q - 20 = -g*f. Solve -f*o - 3*s + 17 = -3, 4*s - 12 = -3*o for o.
4
Suppose 5*m - 2*g + 57 = g, -m + 7 = 4*g. Let a(j) = j**3 + 9*j**2 + 5. Let c be a(m). Solve -w - 2*p - 13 = p, w - 11 = c*p for w.
-4
Suppose 3 = -c + 9. Solve -2 = s, s + 6 + c = 2*j for j.
5
Suppose -4*y = -3*y. Solve 4*l - 4*u + 8 = y, -4*l + 0 = -u + 2 for l.
0
Suppose 3*x - 5 - 7 = 0. Solve -3*r + 8 = 4*f, x*f = -0*r - r + 16 for r.
-4
Suppose 0 = i + 2*i - 18. Suppose -3*x + i = -x. Let d be 6 + 1 + -2 + 0. Solve -d*g + g = -4, x*u = -3*g - 3 for u.
-2
Suppose -4*j - 3*d = -d - 6, 4*d - 12 = 0. Suppose j = 2*q - 5*t + 3*t - 8, -4 = -q - t. Solve 5*n + 8 = -2*c, -q*c + n - 16 = 3*n for c.
-4
Let r = 30 + -38. Let h = 11 + r. Let d = 6 - 3. Solve 2 = -t, 4*t = -h*m + 1 - d for m.
2
Let i(u) = 4*u - 1. Let d = 1 + 0. Let l be i(d). Let c be l*-3*1/