pose -24*c + 26*c = 0. Let z(q) = -3*q + 1. Let y be z(-1). Suppose -5 - 3 = -y*o. Solve -2*m = -o*j + 18, -m + 3*m - 4*j + 28 = c for m.
-4
Let j(z) = z**2 + 2*z. Let a be j(-4). Let w(l) = l**3 - l**2 + 3. Let t be w(0). Suppose t*v - a = v. Solve -2*g - 5*d = -5*g - 6, -v*g + 5*d - 3 = 0 for g.
3
Let o(r) = -2*r**2 + 8*r - 40. Let u(q) = -3*q**2 + 15*q - 80. Let s(m) = 5*o(m) - 3*u(m). Let j be s(-9). Solve 3*k = 15, 3*k - 12 = -j*x - k for x.
-2
Suppose 4*z - 138 + 127 = i, -5*i + 17 = -2*z. Solve -z*c + n + 2*n = 21, -c + 2*n = 9 for c.
-3
Suppose -30 = 5*t + 135. Let s = -25 - t. Solve -4*h + 0*x = -2*x + s, -3*h = 2*x + 6 for h.
-2
Let j = -12 - -14. Suppose j*w - 3*r = 1 + 3, -28 = -w - 5*r. Suppose -w*s + 12 = -4*s. Solve 6*q + 3*k = s*q - 6, q + 5*k - 10 = 0 for q.
-5
Let v = 66 + -64. Suppose 5 = 5*i - 15. Solve w = -l + v, -i*w + 3*l = -l + 24 for w.
-2
Let s(z) = z**2 + 6*z + 56. Let q be s(-11). Let l = -110 + q. Solve -3*f + 5*r - 4 = l, 14 = 2*f + r for f.
5
Suppose -2*z = -4*c - 16, 14 = 4*z - 6*c + 4*c. Let i be (-1)/2*(-1 + -1). Let t be (3/(-6))/i*-2. Solve 5 = 5*b - 5*j, -z*b - 6 = 5*j - t for b.
0
Suppose 0 = -5*g - 2*z + 8, -29*z + 28*z + 4 = -2*g. Solve 5*t + 15 = g, -7 = -v + 3*t + 4 for v.
2
Let a(n) = -n + 10. Let d be a(5). Solve 3*m - 3*v - d = -m, -v - 4 = m for m.
-1
Let d = -2 - -7. Let a be (1 + 0)*7 + -2. Suppose 147*z = 137*z + 40. Solve d*l - a*y + z = -3*y, l - 4*y - 10 = 0 for l.
-2
Let y be (5 - 3)/10 + 87/15. Suppose 2*b + y*f - 3*f - 15 = 0, 2*f = 6. Solve 14 = -2*g - 3*c - 2*c, -c - 8 = b*g for g.
-2
Let q(c) = 11*c**2 + 7 - 20 + 14. Let n = -3 - -2. Let b be q(n). Solve -a = 5*p + 1 - 7, -4*p + b = -a for p.
2
Suppose 3*s - 4*z = 38, 4*s = -5*z - 12 + 11. Solve 10*g - s = 3*k + 5*g, 2*k - 12 = -2*g for k.
3
Let c be (-55)/22*(-8)/10. Solve -3*d = -c*j + 11 + 10, -3*j - 1 = 2*d for j.
3
Suppose 3*h - 90 = -4*o + 5*h, 5*o + 4*h - 93 = 0. Suppose -16 = 5*a + 4*k, 6*a - 4*a - 20 = 5*k. Solve 3*b + 2*i + o = 0, 4*b - i + 22 - 5 = a for b.
-5
Let b(h) = -2*h - 3. Suppose 0*v = -v - 3. Let y be b(v). Solve l = y*k - 19, -5*l - 18 = -2*k + 12 for l.
-4
Suppose 4*z = -3*s + 57, 13*z - 12*z + 118 = 5*s. Solve -g = -3*v + 9 + 9, g - 4*v + s = 0 for g.
-3
Let g(v) = -v**3 + 10*v**2 - 8*v - 3. Let y be g(9). Let f(t) = 5*t - 17. Let h be f(y). Let s = 16 - h. Solve -4*i - 5*w = 36, 2*i - s*i - 4*w = 20 for i.
-4
Suppose -7*a + 9 = -4*a. Let r be a/15 + (-88)/(-10). Suppose -31*x + 24*x = 0. Solve -2*i = -s - r, 5*i - 7*s + 4*s - 24 = x for i.
3
Suppose 0 = 60*f - 58*f. Solve 3*o + v = -0*o + 5, f = -5*v + 25 for o.
0
Suppose 5*y - 72 = -4*k, y - 2 - 12 = -k. Let f be y/(-40) + (2 - 184/(-10)). Solve -5*h + 6*h = 4, -5*h = n - f for n.
0
Let s(x) = -x**3 - 4*x**2 - 5*x - 6. Let p be s(-4). Suppose 6 + p = 4*u. Let z be -1*(4 - 3)*0. Solve u*j - 14 = -l + 2*l, -j + 2 = z for l.
-4
Suppose 6*g = 7*g + 23. Let u = g - -26. Solve 0*i - u = i, o = 5*i + 12 for o.
-3
Let q(y) = -y**2 + 27*y - 180. Let v be q(13). Solve -t = g - 9, g - 1 + 4 = v*t for t.
4
Suppose 0 = -15*u + 30*u - 12*u. Solve u*j + 35 = 3*r + 5*j, 0 = 2*j - 8 for r.
5
Let h be 13/4 + (-2)/(8 - 0). Suppose -g + 2*q = -2 - 11, 2*g + 2*q = 2. Let z be (-2)/g - 136/(-40). Solve -h*t - 5*y - 4 = 0, z*t + y - 4 = -0 for t.
2
Let m(j) = 4*j**2 + 8*j - 4. Let d be m(-6). Let z = -88 + d. Solve f = -3*x + 2, 0*f = -3*x + f + z for x.
1
Let j(b) = b**2 - 5*b - 9. Let g be j(7). Let k be (3/3 - g)/(-1). Suppose 0*q - k*q + 16 = 0. Solve -4*x + q*r + 28 = 0, -r + 4*r = -2*x - 6 for x.
3
Suppose -61 = 6*w - 73. Let u = -38 + 42. Solve u*x - 4*i = -w - 2, x + 17 = -3*i for x.
-5
Suppose -7 = 4*k + 9, -4*r = -5*k - 36. Let u = r + 0. Suppose -4*f = 5*l - 8, -3*l - u*f + 6 = -f. Solve -2*m - 4*t - 7 = 1, l = 5*m + 5*t + 15 for m.
-2
Let o = 51 - 48. Suppose -o*z + 0 = -0. Solve 4*m = -c - 7, z - 4 = -2*m + 2*c for m.
-1
Let m(a) = -a**2 + 7*a - 7. Let y be m(5). Suppose -2*u + 17 = -y*q - 6, u - q = 9. Solve 16 = 4*r, -s - s + u*r - 20 = 0 for s.
-2
Let u = -54 - -54. Suppose i + 5 = 2*w - u, w - 2*i = 4. Solve -5*x = m, 4*m + w*x - 4*x = -22 for m.
-5
Let f(t) = -3*t**2 + 37*t - 10. Let n be f(12). Solve 4*j - 10 = -2*h, n*j + 3*h - 7 = -2*j for j.
4
Let r be 2/9 + (-3 - 420/(-54)). Let z = 52 - 51. Solve x + 4*t = 3, 2*x = -3*t + z + r for x.
3
Let r(j) = -j**3 + 16*j**2 + 56*j + 24. Let q be r(19). Solve -q*i + w + 19 = 0, i - 2*w - w = 1 for i.
4
Suppose -s = -v + 21 + 29, -4 = 2*s. Suppose -v = -l - 43. Solve 0 = f + 1, -l*t + 4*f - 2 = -2*t for t.
-2
Let x be (0 + -1)*140/10. Let t = x - -26. Solve 3*p - 3*f = -t, -2*f + 18 = -2*p + 2*f for p.
1
Let f = 21 - 21. Suppose 104 = 3*b + 5*u, f = 3*b - 3*u - 19 - 53. Let g be (-18)/(-14) - b/98. Solve 3*c - 11 = 5*x, c + g = -c - 5*x for c.
2
Let n(h) be the second derivative of h**5/20 - 5*h**4/6 + h**3/3 - 9*h**2 + 30*h. Let w be n(10). Solve 2*r = -r + w*o + 13, -r = 5*o + 7 for r.
3
Let c = -12 + 19. Suppose 0*f + 20 = 4*f - 2*k, -3*f + 17 = -2*k. Suppose f*q = c*q. Solve -5*g + 5*d + 10 = q, -2*g - 2 + 0 = -4*d for g.
5
Suppose 3*h = -2*h - 5. Let m = 3 + h. Let f(q) = 2*q**2 - 3*q + 1. Let t be f(m). Solve 5*x - 2*x = 2*o - 3, 0 = -t*x - 3 for o.
0
Let g be 60/70 - 16/(-14). Solve -5*h = g*f - 6*f + 9, -4*f = h - 3 for h.
-1
Suppose -3*i = -0*b - 5*b + 9, -4*b = -5*i - 2. Solve b*k - 3*j - j = -22, 0 = -3*j + 12 for k.
-2
Suppose 3*m + 243 = 63. Let q be m/(-24)*(-8)/(-5). Solve 5*r - q*p - p + 5 = 0, -2*p = -6 for r.
2
Suppose -4*u + 48 = 2*z, 6*u = 5*z + 2*u - 106. Suppose 0 = -3*h + 8 + z. Suppose -d + 4*b = -0*d - h, 0 = -b - 2. Solve -4*i - 20 = -5*g, 0 = -0*i + d*i for g.
4
Let n(o) = -o**2 - 6*o - 2. Suppose 2 = -5*p - 23. Let l be n(p). Solve h - 5*a - 24 = 4*h, -5*h = -4*a + l for h.
-3
Suppose 58*q = 50*q. Solve q = -5*v - s + 20, v + 0*s + 20 = -5*s for v.
5
Let b(n) = n + 14*n**2 + 4*n**2 + 21 + 83*n**3 - 82*n**3. Let x be b(-18). Solve 5*v = x*o + 28, o + v + 0*v - 4 = 0 for o.
-1
Suppose 6*v - 17*v = -9*v. Solve -2*a - 30 = 3*a - 2*m, -4*a + 2*m - 26 = v for a.
-4
Suppose 5*p = -3*g + 59, -3*g = p + 4 - 11. Let n = p + -6. Solve 3*h - 4*r = 10, -3*r = 5*h - 0*h - n for h.
2
Suppose 0 = 6*c - 12*c + 138. Let s = 13 - 8. Solve -c = 5*t - m, s*t + 2 = 4*m - 30 for t.
-4
Suppose -h = -3*w - 4, 14 = 5*h + 2*w - 91. Let q = -17 + h. Solve 0 = -q*l - 3*y - 7, 0*y - 1 = -2*l + 5*y for l.
-2
Let w = 6 - 3. Let h = w + -1. Solve 3*q = -4*j - 15, -q + h*j - 20 = 3*q for q.
-5
Suppose 23*s = 127 - 35. Suppose -4*g - 2*w = -3*g - 9, -w + 6 = 2*g. Solve -s*v = -2*x + 16, 2*x - 4*x = v - g for v.
-3
Let m(d) = d**3 + 28*d**2 - 4*d - 108. Let p be m(-28). Solve -6*h + 2*h + p*w = 0, -w = 4*h for h.
0
Let o be ((-2592)/(-42))/9*(-7)/(-2). Solve y = -3*y + 3*z + 26, 2*z = 4*y - o for y.
5
Suppose -6*s + 95 = -s. Let j = 0 + s. Let d = j - 16. Solve 0 = 5*z + 3*b - 18, d*z - 6*z + 7 = -2*b for z.
3
Let l be (-360)/(-25) + (-3)/(-5). Let k = 7 - l. Let v be 4*(4/k)/(-1). Solve -2*s + 0*s - 2*t - v = 0, 20 = 5*t for s.
-5
Suppose 2*v + 0 - 24 = 0. Let g = v + -12. Let b = -37 - -41. Solve g = 2*o - 2*c - 4, 3*o + 5*c + 10 = b*o for o.
0
Let h = 671 + -666. Let l(s) = -s**3 + 7*s**2 - 7*s + 9. Let p be l(6). Solve p = q - 3*t - 9, h*q = 4*t + 16 for q.
0
Let z = -311 - -311. Solve 2*x + 8 = -z*x, 0 = m + x + 7 for m.
-3
Let m = 168 + -110. Let g = m + -55. Solve 3*z = g*w, 5*w - 4*z - 6 = -2*z for w.
2
Let k(y) = y**2 + 2*y - 6. Let i be k(2). Let b be 76/57 + i*(-1)/(-3). Solve -2*o - 5*u + 8 = -2*u, 0 = b*u for o.
4
Let f be (-1)/((-28)/(-8)) - (-188)/(-28). Let q(x) = -6*x - 38. Let h be q(f). Solve 3*z - h*a + 0 = 1, -z + a = 1 for z.
-5
Suppose -9 - 10 = -5*m - 2*t, 3*m - 7 = t. Solve -y - 2*y - 2*u + 1 = 0, 1 = 4*y + m*u for y.
1
Suppose 3*b + 7 = 2*n + 18, -b + 5*n = -8. Solve -d - d + 5*t + 25 = 0, b*t + 15 = -d for d.
0
Let c(v) be the first derivative of v**4/4 - 4*v**3/3 + 5*v + 20. Let o be c(4). Suppose 1 + 7 = 2*j. Solve -3*m = 15, o*m = j*r - 0*m - 45 for r.
5
Let w = -98 - -104. Solve 3*c + 9 = 2*d + 6*c, 0 = -4*d + 2*c - w for d.
0
Let w(i) = 7*i + 17. Let o be w(5). Suppose -o*m = -48*m - 12. Solve a - 4*j = m, 0 = j - 3*j - 4 for a.
-5
Suppose -70*z + 42 = -64*z. Let w = 0 + 8. Solve -3*f = 3*s + 