 - 4*l + 6 = 0, -4*c - 4*l + 8 = 0. Let s = c - 6. Let i = s - -9. Solve 2*w - 4*j + 4 - 8 = 0, w + i*j - 9 = 0 for w.
4
Let c be 255/75 + 8/(-20). Solve t = 5*a + 6, 0 = 4*a - c*t - 4 for a.
-2
Let d be 3 - 5/6 - 9/54. Solve 2*r - 3*z + 4 = -0*z, -r = -3*z + d for r.
-2
Let l = -17 + 22. Suppose f = -l + 8. Suppose 2*q - 6 = -0*q. Solve 0 = 4*i + 12, q*i = g - f*g - 13 for g.
-2
Suppose 5*g = 0, -4*f - 19 + 59 = -5*g. Suppose -2*a + 0 + f = 0. Suppose -a*m = -49 + 14. Solve 3*i = k + k + m, -4*k = 4*i - 36 for k.
4
Let l = 26 + -14. Suppose -2*y + 6 = -x - l, -4*y + 24 = x. Solve -2 + y = 2*s + z, -2*s + 2*z + 8 = 0 for s.
3
Let p be (1 + 18/(-10))/((-2)/5). Suppose 5*c - 4*i - 33 = 0, p = 5*c - 2*i - 27. Solve -r + 2 = c*k - 9, 2*r + 5 = -k for k.
3
Let m be 20/(-15)*3 - -16 - -3. Suppose m*w = 169 - 19. Solve i + w = -3*n, 2*i + n + 2*n + 14 = 0 for i.
-4
Suppose -24*t + 105 = -3*t. Solve -4*a + 2*q + 41 - 11 = 0, 0 = t*q + 25 for a.
5
Suppose 2*y - 2*j = j + 4, 6 = 3*j. Suppose 0 = 4*r - 3*r - f - 4, 3*f + 8 = 2*r. Suppose 36 - 20 = r*k. Solve -k*d + 2*d + 5*m - 30 = 0, -5*d + y*m = 45 for d.
-5
Let g(w) be the first derivative of -6*w**2 + w - 2. Let p be g(1). Let u be 440/p*2/(-4). Solve 5*o = 2*s - 17, -4*o + 4*s + 4 = u for o.
-3
Suppose a - 3 = -r, -5*a + r = -17 - 16. Let o = -8 + 23. Suppose -o = n - a*n. Solve 4*b + n*i = -i - 36, -3*i - 35 = 5*b for b.
-4
Suppose -5*n + 9 = 5*w + 4, n - 5*w - 19 = 0. Solve 5*k = -n*l - 5, -5*k - 4 = 1 for l.
0
Suppose 4*c = -4*n + 12, 2*n + 0 = c + 6. Let z(u) = -2*u - 10. Let w be z(-7). Solve 0 = w*i + a - n*a + 8, i + 16 = -3*a for i.
-4
Let f(t) = -6*t - 5. Let h be f(-2). Solve -3*k - 7*j + 5*j = h, 0 = -4*k + j - 2 for k.
-1
Suppose 0 = 2*j + q - 8, q - 2 = 0. Suppose m + 17 = -j*m + 5*x, 0 = -m + x - 3. Let t be 15/((-1)/(-2)*m). Solve 3*s - 3*b + 0 + 3 = 0, t = -5*b for s.
-4
Suppose -32*v - 5*g = -31*v - 24, g - 16 = -3*v. Solve -p - v + 3 = l, p = -3*l - 3 for l.
-1
Let m = -1 - -3. Suppose m*y + 24 = y. Let q = 37 + y. Solve -3*a = -5*g - 2*a - 26, 2*g = 3*a - q for g.
-5
Let m(p) = 2*p + 16. Let r be m(-6). Suppose -r*o - 2*o = -12. Solve f - 5*y = -23 - o, 3*y = f + 17 for f.
-5
Let a(f) = -f**3 + 11*f**2 + f - 6. Let v(o) = -o**2 - 12*o - 24. Let u be v(-7). Let s be a(u). Solve -4*k - s*i = 37, 17 = -3*k - 5*i - 17 for k.
-3
Suppose -3*m - j - 4*j + 10 = 0, -2*j = -2*m + 12. Solve -2*u = -3*d + 1, 3*d + 0*u - 29 = -m*u for d.
3
Let d(y) = y**2 - 13*y - 12. Let q be d(14). Suppose 2*c + 5*i = -1, 0*c + q*i + 4 = c. Let j = 11 - c. Solve -2*o = 5*m + 8, 5*m - 3 = 3*o + j for o.
-4
Suppose 5*h - 3*n - 79 = 0, 4*h + 4*n = 9*n + 58. Solve -s - 2 = -4*a - h, 4 = -4*s for a.
-4
Let n(t) = 2*t - 10. Let f be n(6). Solve f*j - 6*j - k = -8, 0 = -5*j + k + 1 for j.
1
Let c(m) = -m**2 + 23*m + 2. Let s be c(23). Solve 0 = -2*h + 3*v - 1, 15 - s = -5*h + 4*v for h.
-5
Let w = 26 - 23. Suppose 2*i + 5*z + 8 = 4*i, 0 = -w*z. Solve o = -i*n + 16, n - 8 = o - 4 for o.
0
Let f(r) = -r**2 + 7*r - 8. Let g be f(4). Suppose t - 4*z + 11 = 1, z + 35 = g*t. Solve o + 3*n + t = 4, 0 = 5*o + 2*n + 17 for o.
-3
Suppose -7*f = -54 + 26. Solve 3*o = f*p + 22, -2*p - 8 = -o + 2 for o.
2
Let g(y) = -2*y - 7. Let u(m) = -m - 2. Let a be u(3). Let n be g(a). Let r be 1/(-4) - (-2)/8. Solve -n = 3*o + 5*i - 2, -o + 3*i + 9 = r for o.
3
Suppose 196 - 586 = -6*b. Let q = b + -62. Solve -5 = 5*g, 2*l - 4*l - 5*g = q for l.
1
Suppose -c - 4 = 0, -5*c = -3*x + 8*x. Suppose -x*i - 9 = -7*i. Suppose -2*h = -5*l - 1, i*h - 12 = -2*h + 3*l. Solve 4*y + q = 1, -y - h*q + 2 = -1 for y.
0
Suppose 6*v - 49 = -1. Suppose -8*h - v*h = 4*h. Solve -1 = f - 0*f, h = 4*d - 3*f - 11 for d.
2
Suppose 46*t - 43*t + 8 = 5*h, 2*t = 8. Solve -5*c = -2*b - 10, -h*b - 20 = 3*c + 2*c for b.
-5
Suppose -h + 113 = x, -6*x - 3*h = -x - 559. Suppose 0 = -4*i - x + 30. Let k = i + 25. Solve -k*t = -5*z - 10, t = -5*z + 4*z - 4 for t.
-1
Let r be 4 - (-8)/(-4) - -3. Let u be (-2)/r - -12*3/15. Solve 5*t = q - 14, 0 = -t - 0*t - u for q.
4
Let k(h) = h**3 + 3*h**2 - 12*h - 9. Let l be k(-5). Suppose l = u - 4. Solve 4 = -i + u*q + 3, -5*i - 5 = -5*q for i.
-1
Let d = 373 - 373. Solve 4*q + 4*j = 0, d = -3*q + 7*j - 3*j for q.
0
Let g be (3/(-2) + 1)/(10/(-420)). Solve -4*v - 4*c = c - g, 2*v - c = -7 for v.
-1
Suppose -38 = -2*d - 4*t, 5*t = -0*d + d + 9. Let k be 0 + ((-20)/(-110) - (-185)/d). Solve 0 = -5*v + 2*a - 4 + k, -20 = 5*a for v.
1
Let a(i) = 4*i + 17. Let u(c) = 2*c**3 - 2*c**2 + 1. Let y be u(-1). Let o be a(y). Solve -5*l - 4*x = 4, 2*l + 5 = -o*x - 0 for l.
0
Let q(c) = c**3 + 16*c**2 + 37*c - 23. Let g be q(-13). Solve v + 2*d = -g*v - 8, 0 = -4*d for v.
-2
Suppose 4*f - 19 = -11. Solve 3*a + 19 = 4*l, 17 = -2*a + 5*l + f for a.
-5
Let o = 972 - 970. Solve u + 8 = k, -3*u + 0*u + o*k - 20 = 0 for u.
-4
Let a(m) = 4*m - 1. Let r be a(1). Suppose 25 = -3*c + r*t + 124, 124 = 4*c - 2*t. Solve -4*q = 2*z + c - 7, z = 5*q + 17 for z.
-3
Let n(h) = h**2 - 18*h - 85. Let d be n(22). Solve 3*z = 2*l, 2*z - d*z = -2*l for z.
0
Let n be 1*-1*(6 + -7). Suppose 3*q - 5 = n. Let j = 754 + -752. Solve -o + j*t - 7*t = 10, -5*o - q*t + 19 = 0 for o.
5
Let f(d) = 3*d**2 + 63*d - 134. Let v be f(2). Solve -a + 13*m = 18*m + 1, -4*a = -v*m + 4 for a.
-1
Let j(l) = 3*l**2 + 15*l - 36. Let d be j(-7). Solve -4*f = o - 3, -2*o + d = -2*f + f for o.
3
Suppose -5*r + 10 = -2*w - 14, 4*r = 3*w + 15. Suppose -4*f = r*f. Suppose 0 = 2*k + 3*k - 25. Solve -2*d - 5*n + 25 = f, n + 12 = k*n for d.
5
Let q(r) = -r - 7. Let g be q(-3). Let x be (-1)/(-2)*g - -19. Solve -4*o - 3*p + x + 0 = 0, 2*p - 4 = o for o.
2
Let o be (-8)/(-6) + (-6)/(-9). Suppose 2*v - 16 = 4*u, -v + o*u = -2*u - 14. Solve 15 = -5*n + 3*c + v*c, -c = -1 for n.
-2
Let l(d) = d**3 - 8*d**2 + 8*d - 7. Let x be l(7). Suppose 0*m - m + 17 = x. Solve 0*p - 2*p + 1 = b, -3*b = -p - m for p.
-2
Suppose -4*y + 2 = 5*p - 2, 3*y + 12 = 0. Suppose -5*s + 0*n + n - 215 = 0, 22 = -s - p*n. Let c = -30 - s. Solve 2*f - 4*q = -f - 15, -c = -4*q for f.
-1
Suppose -h = 3*v - 4*h - 102, 38 = v + 3*h. Let i = v - 23. Solve 3*q - z = 4, 0*q - 5*q - i = 3*z for q.
0
Suppose 38*u - 300 = -62*u. Let j be (-1)/(-1*(-2)/(-6)). Solve d + n = u, d + n = -2*d + j for d.
0
Let k(i) = i**3 + 16*i**2 + 2*i + 34. Let u be k(-16). Suppose 0 = 5*o + 5*x - 200, u*o = 2*x - 6*x + 90. Solve 16 = 4*f + 4*c, f + 5*c - o + 11 = 0 for f.
-1
Let w(c) = -c**3 - 7*c**2 - 12*c - 3. Let r be w(-5). Suppose -5*z + 5 = -10. Solve 5*x = -z*v - r, -3*x + 2*v = -v - 15 for x.
1
Let s = 1090 - 1087. Solve 5*p - 10 = 0, -y - s = -6*y + p for y.
1
Let c be ((-15)/6 + 2)*-6. Suppose 5*j = 12 + c. Suppose b - 16 = -j*b. Solve -2*r = 4*f - 6, 4*f - 5*f = -b*r - 24 for r.
-5
Suppose 4*j + 6 = 2*f + 18, 3*f = -3*j. Let r(u) = u + 1. Let s be r(-3). Let i be ((-6)/4)/(-1 + 2)*s. Solve 0 = -a + 4*t - j*t - 13, -i*a - 34 = -5*t for a.
-3
Suppose 0 = 5*s - 4*t + 12, -t = 2*s + t - 6. Solve s = z - 2*z + 5*p + 20, 2*p + 6 = 0 for z.
5
Let m(p) be the third derivative of p**6/120 + p**5/60 - 5*p**4/24 + 2*p**3/3 + 9*p**2. Let r be m(2). Solve 4*d = -2*b - 4 - r, 12 = 3*b - 3*d for b.
1
Let v = -207 + 235. Solve c + v = 5*m, -5*m - c + 37 = -5*c for m.
5
Let z be 0/1*6/(-12). Suppose 2*c = 4*s + 40, z*c + 5*c = 4*s + 124. Let g = -25 + c. Solve 2*l - g*m = -1, -2*l - l + 4*m = 0 for l.
4
Let d = 98 - 95. Solve 2*q + 2*q + 2*a = -18, -a - d = 0 for q.
-3
Let o(c) = c**2 + 10*c + 24. Suppose 2*w - 5*v + 0 = 3, 4*w - 5*v = -9. Let l be o(w). Solve 5*y = h - 14, 4*h + 0*h - 4*y - 24 = l for h.
4
Let f(a) = 2*a**2 - 25. Let w be f(6). Let t = w + -43. Suppose -4*b + 12 + 28 = 0. Solve i = t, 4*o = -5*i + b + 6 for o.
-1
Suppose 4*q - 66 = 26. Solve 2*t + 17 = 6*t - 5*m, -t + 5*m + q = 0 for t.
-2
Suppose 4*m = m. Let o(w) = w + 27. Let n be o(m). Suppose 7 - n = -5*s. Solve -2*h = 2*a, s*a - 29 + 4 = h for a.
5
Let c = -8 - -8. Let w = 560 - 556. Solve 8 = -2*k - c, 0 = -4*p - w*k - 8 for p.
2
Let k be 45/(-10)*4/(-3). Suppose 2*n + k = 38. Let u = n + -12. Solve -2*v = u, -3*z + 2*v = -z - 8 for z.
2
Let m be (36/(-42))/((-2)/14). Suppose -x + m = i, 4*x - 5*i = -x - 10. Solve x*r + r - 2*g = -12, -3*g - 1 = 5*r for r.
-2
Let a(z) = -z**3 - z**2 + 15. Le