. Solve -4*h - 4*c = 0, 4*c + 42 = 5*h - s for h.
5
Let i(s) = -6*s. Let x(u) = -7*u. Let y(z) = 6*i(z) - 5*x(z). Let a be y(0). Solve l + 9 = -5*n - 0*l, -5*n - 4*l - 21 = a for n.
-1
Suppose -2*q + 15 = -3*q - 5*v, 2*v + 8 = 0. Suppose -17 = -q*l + 3. Solve 2*r = -4*o - 2*r, -l*r = -4 for o.
-1
Let k = -23 - -6. Let r = k - -17. Solve o - u - 6 = 0, 5*o + 4*u + 2 + 4 = r for o.
2
Let m(a) = -a + 2. Let c = 1 - -1. Suppose -2*s - c = -3*s. Let o be m(s). Solve 3*b + o*b + 12 = p, b = p - 4 for p.
0
Suppose 3*j - 3 = 3. Let q(x) = -x**2 - 5*x + 3. Let k be q(-5). Solve k*t = -j*h - 11, -4*h - 4*t - 30 = -9*h for h.
2
Suppose 0 = 3*d - 10 + 1. Solve 1 = -d*h + 5*x - 7, -h = x - 8 for h.
4
Let x be 10*(-1 - (-2 - 0)). Suppose 3*l - x = -2*l. Suppose q + l*d = 24, d + 83 = 4*q - 4*d. Solve 2*v - 8 = -0*h - h, 0 = -v - 5*h + q for v.
2
Let b(x) = 22*x - 1 + 4*x**2 - 21*x + 0. Let z be b(1). Let t be 0/(-1) - -23*1. Solve -4*d - t = 3*m - z*m, -4*m + 27 = -3*d for d.
-5
Let d(x) = -x**3 - 8*x**2 - 7*x + 1. Let u be d(-7). Let h be (6 - 11)*u/(-5). Solve 2*z - 4 = 0, -h = 2*m + z + 7 for m.
-5
Suppose -3*o + 2*o = -10. Suppose 4*r = -r + o. Let m be (48/9)/4*3. Solve 8 - 2 = -m*h + 2*x, 2*h - 12 = -r*x for h.
1
Let l(g) = -g - 3. Let i(j) = j + 3. Let z(n) = -4*i(n) - 5*l(n). Let k be z(-3). Suppose k*c = 3*c - 12. Solve 2*q + c = 2*o, -2*q + 0 - 2 = -3*o for q.
-4
Let v = 21 + -16. Solve p - g - 3 = 0, v*p + 5*g - 15 = 4*g for p.
3
Suppose 0 = -6*m + 4*m - 28. Let v = -11 - m. Solve b - v*y + 3 = 0, 5*y - 6 = 2*b + 2*y for b.
-3
Let c(a) = a**2 + 10*a. Let q be c(-11). Let o = q - 9. Solve 0 + 4 = o*r, -5*i - 35 = -5*r for i.
-5
Let m(a) = 4*a - 27. Let g be m(11). Let u = g - 2. Solve 9 = z + 3*w, -z = 3*z + 5*w - u for z.
0
Let y(p) = -7*p + 28. Let d be y(4). Solve -l - 15 = -4*l + b, b = d for l.
5
Let t be (1 - 5) + 30/3. Let s be 2/(-8)*2*-6. Solve 5*u - 8 = -m + 2, s*m + t = 3*u for m.
0
Suppose 3*g = x - 18, 3*x + g - 34 = 6*g. Solve 4*f - 11 = 4*y + x*f, -4*f + 12 = 0 for y.
-2
Let v = 0 - 0. Suppose v = o + 4*g - 24, g = 4*o - 9*o + 25. Solve o*t - 2 = 2*s, -2*t - s - 6 + 1 = 0 for t.
-1
Suppose 5*r + 2*k - 29 = -0*k, -3*k + 26 = 5*r. Let j = 3 + r. Solve -h - 4*a + 13 = 0, -8*a + 3*a = -j for h.
5
Let k(s) = -8*s + 0*s - s. Let v(a) = -8*a. Let p(y) = 6*k(y) - 5*v(y). Let b be p(-1). Solve 0 = 4*o - 2*d + 5*d - b, 0 = -o + 4*d + 13 for o.
5
Let n be (-108)/(-9)*2/4. Let i = n - 4. Suppose -6 = 4*j - 2*q, 4*j = 2*j - q + 7. Solve j = i*k + 3*s, -4*k + 9 = 3*s - 2 for k.
5
Let p(b) = -b**2 - 3*b. Let i be p(-4). Let s = -2 - i. Suppose -s*n + 18 = -24. Solve -5*o = 3*x + x - n, -2*o + 11 = -x for o.
5
Let h be 0 + (1 + -2)*-6. Suppose -4*q - n = -2, -4*n = h*q - 4*q - 8. Suppose 3*v - 2*v - 5 = q. Solve -2*o = v*s - 5 - 3, 2*o + 2*s = 8 for o.
4
Suppose -2*y + 0*y = -16. Let i = y - 5. Let k = 11 - 8. Solve -i*m - 5*p = 34, 0 = k*p - p + 10 for m.
-3
Let s(t) = -7*t**3 - t**2. Let z be (-1 + 0)/(5/5). Let y be s(z). Solve -5*x - 4*v = -19, -2*x = v - y*v - 1 for x.
3
Suppose -4*j = -3*u + 9, -4*j - 2*u - 6 = -4*u. Solve j*i - 3*z - 21 = 3*i, 0 = 3*z + 15 for i.
-2
Let d(q) = -q**2 - 7*q - 6. Let t be d(-7). Let y = 18 - t. Solve -12 = -2*v - 2*h, -y = -3*v + 2*h - 7*h for v.
3
Let n be 135/7 - 8/28. Solve 3*y + 4*a = -14 - 1, 4*y + 5*a + n = 0 for y.
-1
Let t(b) = -b + 4. Let q(s) = 2*s**3 + 3*s**2 - s. Let v be q(-3). Let x be (2/6)/((-2)/v). Let p be t(x). Solve p*l - 5*j - 19 = 4*l, 2*j + 10 = -4*l for l.
-1
Suppose 4*m = m + 6. Solve 3*x - 21 + m = -4*a, -x + 3*a - 11 = 0 for x.
1
Suppose -38 = -2*k + 5*r + 35, 4*k + 3*r - 133 = 0. Suppose -8*h = -6*h - k. Solve 3*u + h = -4*o, 3*u + 16 = -u - 2*o for u.
-3
Let j = -4 - -20. Solve z = -2*o + 4, 0 = 4*o - z - 3*z + j for o.
0
Let s = 24 + -9. Solve -5*j - 9 = -3*v, 8*v - 4*j - s = 3*v for v.
3
Let h(n) be the first derivative of -n**2/2 + 4*n + 1. Let f be h(7). Let s be f/((6/4)/(-1)). Solve 3*j - 5*j + 11 = -3*u, -s*j + 4*u = -12 for j.
4
Let m(k) = -6*k - 54. Let p be m(-11). Solve 4*u = -3*x - 29, x = -2*u - p - 1 for x.
-3
Let t be -4 - ((-7 - -2) + -4). Solve -1 = w - 3*v + 9, t*v - 20 = 5*w for w.
-1
Suppose y + 4*k = 3*y + 6, 8 = 2*y + 3*k. Let d be -4 + y - 18/(-3). Solve d*p - 7 = q, 6 = 4*p - 2 for q.
-1
Let m(o) = o**3 + 9*o**2 - 12*o - 7. Let v be m(-10). Solve 2*d = 3*y + v, d - 5*y = 19 - 2 for d.
2
Suppose q + 7 = 2*j, 3*j + 2*j - 16 = q. Suppose -r - 12 = 3*b, -3*r = -r + 3*b + 12. Solve -y - j*f = -9, r = -y - 4*f - f + 13 for y.
3
Suppose 0*z = -z. Let d = 19 - 10. Solve -2*u - j + 0*j + 7 = z, -3*j = d for u.
5
Suppose 0 = 4*z + 4*m - 16, 0*z - 3*m = -2*z + 13. Solve -3*j + 7 = -2*v, -2*j + z*v - 4 = 6 for j.
5
Let s = 2 + 0. Let b be (-170)/(-30) - s/3. Suppose -5*t = 5*y - 9 - 6, -2*y + 6 = -5*t. Solve t = 4*q - 5*h + 7, -1 = b*h + 4 for q.
-3
Let x(i) = 9*i**3 + 1. Let f be (0 - 3)/(-1) - 0. Suppose -f = 3*a - g + 4*g, 2*a = -3*g - 4. Let r be x(a). Solve -z + 3*v - r = 0, 0 = -z + v - 8 + 4 for z.
-1
Let k be (-27)/(-18) + 2*3/12. Solve c = 3*d - k*d + 7, 5*d + 5*c - 5 = 0 for d.
-3
Suppose -6 = -w + 6. Suppose i = 4*d - 17, i + 0*i + 5 = 0. Solve 3*r + 3*c = -w, 13 = d*r - 2*c - 0*c for r.
1
Let n be ((-9)/(-4) - 2)*4. Let c be 4 + (-4 - -1)/3. Let u(m) = m**3 - m**2 - 4*m - 1. Let h be u(c). Solve -3*l + h*g = 4*g, 5*l - 2*g = n for l.
-1
Let f(t) = -11*t - 50. Let l be f(-5). Solve 5*o + 45 = -5*q, 2*q - 7 - 10 = l*o for q.
-4
Let o(p) = p**3 - 6*p**2 + 4*p + 7. Let r be o(5). Suppose -r = 3*v - 5*v, -d - 4*v + 8 = 0. Solve 5*k + d*y + 15 = 0, -2*y - 15 + 5 = 0 for k.
1
Let x(g) = g**2 + 10*g + 6. Let i be x(-9). Let v(l) = l**3 + 5*l**2 + 3*l - 4. Let o be v(i). Solve -r + 0*r - 15 = 5*h, -5*r = o*h - 5 for h.
-4
Let y(m) = 2*m**3 - 2*m**2 - 2*m. Let h be y(2). Suppose h*a - 3*a + 13 = 5*q, -3*a + 21 = 5*q. Solve 0*n - 5 = q*i + 2*n, -2*i - 12 = -3*n for i.
-3
Suppose -2*o = -4*o - 20. Let r be 2*-5*o/20. Solve -3*n = -6, -t + r*n - 12 = -2 for t.
0
Suppose -102*b = -101*b - 5. Solve 0 = -3*j + 2*j + 2*w - 6, 0 = -b*j + 2*w + 2 for j.
2
Let j be -1*((-2)/1 - 0). Suppose -7*k + 6*k + 2 = 0. Solve -u = -x, k*u - 1 - j = x for x.
3
Let r be (-5*2)/(1 - 2). Let z = r + -7. Suppose 0 = -d + z + 2. Solve -d*b + 1 = 3*o, -2*o = 2*b + b for b.
2
Let q(s) be the third derivative of s**6/120 + 7*s**5/60 + 7*s**4/24 + s**3 + 3*s**2. Let o be q(-6). Solve 6 = 3*h - 0, o = p + 5*h - 13 for p.
3
Suppose -5*d - 85 = -5*h, -5*d - 5*h = -8*d - 43. Let n be 88/14 - (-6)/d. Suppose 7 = 5*y - 3. Solve -n = -4*r - y, -2*g - 11 = -r for g.
-5
Let r be 2/(4/30) - -2. Suppose 3*p = r + 19. Solve 0*f + 18 = 4*f - 5*u, 5*u = f - p for f.
2
Let g be 1 + 0 + 0 + 2. Suppose -2*o = 5*d - 55, -g*d + 2*o + o = -33. Let v = d - 6. Solve -4*t - 4*q = 12, -v*q = -4*t - 2 - 1 for t.
-2
Let s(m) = m**3 + m + 4. Let i be s(0). Suppose h + i*h = 0. Solve w - 6 = x, h = -5*x + w + 2*w - 20 for x.
-1
Let q(t) = -3*t + 2. Let n be q(2). Let m be n/(-14) - (-6)/(-21). Suppose 2*p = 3*c - 11, 3*p - 4 = -3*c - 2*p. Solve w + 2*o + 1 + 1 = m, 5*o + 5 = c*w for w.
0
Let q be (-3)/(-8) - 185/(-40). Solve -2*k - 5 = a, -4*a + q*k = -0*k - 6 for a.
-1
Let w(o) = o. Let t(n) = -7*n - 1. Let k(b) = -t(b) - 4*w(b). Let d be k(5). Solve p + 4*f + 17 = 0, 0 = 3*p - 5*p + 2*f + d for p.
3
Let z = 7 - 5. Suppose z*t = -t. Suppose 5*y - 104 = -4*u + 2*y, u + 5*y - 9 = t. Solve -3*i - u = 5*c - 8, -i - 11 = 3*c for c.
-3
Let k = -1 + 4. Suppose 5*b + 4*u + 10 + 22 = 0, 3 = k*b - 5*u. Let a be 13/5 + b/(-10). Solve g - 2*m = 3*g - 10, -2*m = -a*g + 5 for g.
3
Let a = 16 + 78. Let y be a/18 + 6/(-27). Solve -8*o - 2*k = -3*o - 27, -y*o + 30 = 5*k for o.
5
Let x = 2 - 8. Let l(o) = o**3 + 6*o**2 - o - 2. Let h be l(x). Suppose -h*d = -d - 45. Solve f = 5*i - 15, -4*f = -f - d for i.
4
Let q(b) = -b**3 + 6*b**2 + 6*b + 8. Let y be q(7). Let s be ((-16)/(-3))/(y/(-3)). Let a be s/(-7) - (-6)/(-21). Solve a*d = -x - 1, -4*x - 3*d = d for x.
1
Let m(s) = 2*s - 7. Suppose q + 3*d - 4 = 0, 2*d - 16 - 17 = -5*q. Let u be m(q). Solve -4*f + 5*z = -u, 5*f - 3*z - 10 = 2*z for f.
3
Let n(d) = d**2 + d - 6. Let q be n(0). Let p be (-2)/(-3)*(-45)/q. Suppose p*s = s + 20. Solve x = -3*x - s*w - 6, -w - 1 = x for x.
1
Suppose 2