6 - 5. Let t = b - 2. Solve 3*d = -5*f + t*f - 11, -5*f + 10 = -i*d for f.
-1
Let z = -26 + 18. Let j = z + 12. Solve -2*r - 28 = -5*t, -5*r + j*t - 8 = 7*t for r.
-4
Suppose 0 = -w - 0*w - 2. Let f be 1/(1/(-4)*w). Suppose f*s - 11 = s. Solve 2*y + s = 5*y - 4*g, -y - 23 = 4*g for y.
-3
Let n = -29 - -32. Suppose -3 = -2*c + 1. Solve 1 = 2*g + i - n, c*g - 28 = 5*i for g.
4
Let h(m) = -5*m + 2. Let v(x) = -14*x + 7. Let r(p) = 17*h(p) - 6*v(p). Let s be r(-7). Let a = s + 6. Solve 0 = 3*l, -7*g - 15 = -2*g + a*l for g.
-3
Suppose 7*i - 6*i = 3. Solve 5*z + 9 = 2*q, -2*q + i + 1 = 0 for z.
-1
Suppose -r + 2 = -5. Solve -3*h - 5*d = r, -5*d + 0*d = h - 1 for h.
-4
Let j(m) = 1 + 2 - 8*m + m**2 - 8. Let w be j(9). Solve -5*t = -5*g - 7 - 3, -2*g + w = 2*t for t.
2
Let u = 0 - 2. Let f = u - -4. Let n = f - -1. Solve 5 = -2*b - 4*i - n, -4*b - 3*i - 1 = 0 for b.
2
Let t(w) be the third derivative of -w**4/8 + 2*w**2. Let v = -9 - -7. Let s be t(v). Solve -l = -4*z - 8, z = s*z - 4*l + 21 for z.
-1
Let d(u) = u**2 + 2*u + 1. Let y be d(-1). Suppose y = -o - 3*o + 4*a + 20, 2 = -a. Solve -5*j + 2*z + 1 = 3*z, -3*z = j - o for j.
0
Suppose -d + 24 = 4*y - 5*d, -2 = -y - d. Let x be 2/8*(-7 - -7). Let v = y - x. Solve 5*h - 1 = -v*n, 0 = 2*h - 6*h - n + 3 for h.
1
Let g be ((-6)/(-4))/(2/4). Suppose 2*c = g*s + 26, 3*c + 2*c + 3*s = 65. Solve -2*z - c = -3*z - 4*p, 0 = 3*z - 4*p - 7 for z.
5
Let y(u) = u. Let s be y(6). Solve 3*x = h + s - 1, -h = -x + 3 for x.
1
Let q = -159 + 187. Solve -8 = y - 2*y - 4*b, 4*b - q = 4*y for y.
-4
Suppose 0 = -5*p + 7*p - 40. Suppose p = -3*n + 5, -5*q + 2*n + 10 = 0. Let b(o) = -o**2 + o + 4. Let d be b(q). Solve -d*l + 6 = -2*c, -3*c = -c - 6 for l.
3
Let q(a) = a**3 - 4*a**2 - 5*a + 5. Let x = 7 - 2. Let b be q(x). Solve z - 14 = -i + 6*z, 0 = b*i + 2*z + 11 for i.
-1
Let p(u) = u**3 - 34*u**2 + 3. Let o be p(34). Solve 0 = 2*q - o*k, k = 3*k for q.
0
Let b(a) = 2*a**2 - 1. Let c be b(-2). Suppose 6*y + 11 = c*y. Solve w = 5*u + 25, 2*u + 12 = 3*w - y for u.
-4
Let x be 75/12 + 3/4. Let n = -5 + x. Solve 4*q - 3 - n = -v, -3*v + 15 = -4*q for v.
5
Let n be (-1)/5 - 1404/(-20). Suppose 4*a + 0*a - n = -2*v, a + 2*v - 10 = 0. Solve -5*b = 3*s + a, -5*b + 4*s = 30 - 10 for b.
-4
Let f = -41 - -55. Solve -n + 6*n - z + f = 0, 8 = -n - 5*z for n.
-3
Let v = -15 - -31. Let m be (6/(-15))/((-2)/(-30)). Let t = m + 41. Solve 0 = -4*a - 5*i - t, 2*a + 2*i + v + 0 = 0 for a.
-5
Suppose -3*u + 3 = -t - 1, 5*u - 5*t = 0. Solve -12 = -0*w - 3*w - 4*h, 0 = 5*w + u*h - 20 for w.
4
Let u be 3 - -1*(-1 - -2). Let d = 1 + u. Solve 0 = -2*t + t - 3*w - 16, -d*w - 26 = t for t.
-1
Suppose 0 = 4*r - 7*r + 63. Solve 0 = 2*f + 5*j + r, 2*j + 9 = -j for f.
-3
Let f(y) be the first derivative of -3*y**2/2 - 4*y - 4. Let a be f(-3). Solve -5*g - a*d - 20 = 0, 3*g + 5*d = g - 17 for g.
-1
Suppose 2*g + 17 - 25 = 0. Solve -2*l - 5 = k, -g*l - l - 35 = -5*k for l.
-4
Suppose -4*u = -5*s - 120, 4*u - 150 = -u + 4*s. Let v = 30 + -27. Solve v*y + 3 = 5*a + u, 5*y - 26 = 2*a for a.
-3
Let z = -89 - -93. Solve k = z*k + g + 15, 0 = -2*g for k.
-5
Let m(d) = 4*d**2 + 1. Let o(r) = -r + 1. Let p be o(0). Let h be m(p). Solve -h*s - 2*i = -27, 3*i - 32 = -4*s - 9 for s.
5
Suppose 3*u - 4*v - 8 = 0, 5*u - 5*v + 1 = 4*u. Solve 2 = -u*b - 4*g + 2*g, 0 = 4*b - g + 5 for b.
-1
Let i(r) = 2*r - 18. Let c be i(9). Suppose c = -5*m + 6 + 19. Solve -3*j = -5*l - 7, 5*j + m*l + 11 = 4*j for j.
-1
Suppose 0*f + 8 = 2*f. Let v = -2 + 6. Solve -c = 4*c + v*p - 5, 0 = -f*p for c.
1
Let q(b) be the first derivative of b**4/4 + b**3 + b**2/2 + b + 1. Let v be q(-2). Solve -14 = v*a - x - 3, 13 = -a + 5*x for a.
-3
Let j = -1 - -11. Suppose -3*i + i + j = 0. Suppose -i = 3*w - 4*w. Solve g + 0 = k - 6, 0 = -3*k - w*g - 14 for k.
2
Let l(p) = p + 2. Let q be l(5). Solve -4*r - 9 = q*m - 2*m, -2*r + m = -13 for r.
4
Let l(g) = -g**3 + 10*g**2 - 10*g + 7. Let x be l(9). Let y be (x + 4 - 2) + -2. Let f = 7 + y. Solve r = f*s - 9, 2*r = s - 0*s for s.
2
Suppose 5*v - v = 20. Let q be -2 + v + (1 - 0). Suppose 3*p + 12 = 5*r, 12 = -4*p + p. Solve 3*o = -q*l, r*o + 3*o = 2*l for o.
0
Let n = 5 + -3. Let b be n/(-8)*-4 - -3. Solve -5*g - 21 = 2*v + 8, 5*v + b*g + 30 = 0 for v.
-2
Suppose -4*w - 6 = -2*w. Let k = 0 - w. Let z be (-2)/(-4) + k/2. Solve 2*h + 10 = -5*j - 3*h, -4*j + z*h + 10 = 0 for j.
1
Suppose -3*i - i - 132 = 0. Let m be 6/(-4) - i/6. Solve -5*f - m*s = 12, 5*f = f + 4*s - 24 for f.
-4
Let j(l) = l + 8. Let o be j(-6). Solve -3 = 2*c - 5*g + o, 0 = g - 1 for c.
0
Let q = -17 - -21. Solve -s = -4*b + s - 14, -b - q*s = 8 for b.
-4
Suppose 6*s = 12 + 18. Solve 2*w + 10 = -h, 5 = 2*w - 4*h - s for w.
-3
Suppose m - 57 = -3*u, 4*m - 48 = -2*u - 0*m. Solve -3*c = -3*i - u, 3*c - 3*i - 10 = -2*i for c.
2
Let k(d) = -2*d - 3. Suppose -4*p - 2 = 10. Let x be k(p). Solve i - 3 = -2*r, 0*i + 4*i = -3*r - x for r.
3
Let s = 12 + -9. Suppose 0 = -i - 5*v - 17, -s*v = 4*i - v - 4. Let b be 4*(0 + (-5)/(-4)). Solve 3*t + 3 = 3*f, 4*t + i*f + 5 = b*t for t.
-4
Let i be (78/1)/(3/2). Let n = i + -28. Solve 2*f + 0*x + 4 = x, -n = 3*f + 3*x for f.
-4
Suppose -6*g + 8 = -4*g. Suppose i = s - 4, -g*i - 2 = 6. Solve u - 26 = -3*u - 3*c, s*c = 4 for u.
5
Suppose -4*d - 28 = 4*y, -2*d - 10 = y - 0. Let x = 4 + y. Solve b - 9 = 3*j, 5*j - 5*b + 4 + 11 = x for j.
-3
Let g = 56 + -52. Solve -3*z = -4*b + 26, -z + g = -4*b + 26 for b.
5
Let w = 5 + -4. Let o(s) = -3*s**2 - s + 1. Let y be o(w). Let u = 1 - y. Solve 0 = 4*c - c + u*m - 15, -2*c = 3*m - 10 for c.
5
Suppose 17 = -2*z + 23. Suppose o + 5*u + 5 = 0, o + 5*u = 3*u + 4. Let b = o - 6. Solve -5*f + 0*f = 2*r + 27, -z*f - b*r - 19 = 0 for f.
-5
Suppose -2*y = -0*o + 4*o + 16, -5*o + 24 = -3*y. Let q(s) = -s**2 - 7*s + 10. Let r be q(y). Solve 0 = 4*b + 12, 4*n - b - r*b = 9 for n.
0
Suppose 17 = 4*u + 3*d, 4 = -u + 3*d - d. Solve 3*r + 7 = -2*s, -u*r + 0*s = -4*s - 22 for r.
1
Suppose 20 = -5*o - 0*o. Let i = o - -8. Suppose 4*p + p + 2*l - i = 0, -19 = -5*p + 3*l. Solve 5 + p = -3*h - 2*s, -2*h - 2*s = 2 for h.
-5
Suppose -v - 16 = -3*v. Let m = v + -4. Solve 5*i - 1 - 3 = -m*k, 0 = 5*k - 3*i + 32 for k.
-4
Let d be ((-2)/6)/(3/(-9)). Let r be 3/(6/10)*d. Suppose 3*x - r*q = -0 + 4, -4*x = -3*q - 9. Solve -c + x*b + 4 = 4*b, 3*b = 0 for c.
4
Suppose 5*s + 2*h = -77, -5*s + 4*h = -s + 56. Let t = -11 - s. Solve -t*z - 32 = 4*d, 17 = d - 3*z - z for d.
-3
Let j(w) = w - 1. Let m be j(4). Suppose -m*x = -x. Let h be (4 - 3)/(1/2). Solve 4*s + 5*b + 1 = h*s, 5*s - 4*b - 14 = x for s.
2
Suppose -4*r = -25 - 43. Solve 5*b - r = -3*w + 6, b = -4*w + 8 for b.
4
Let l = 91 + -78. Solve -j + 3*j = -2*w - 6, -3*w - j = l for w.
-5
Let u(b) = b**3 - 13*b**2 - 2*b + 35. Let t be u(13). Solve d - t = 2*w + 2*d, -4*d - 10 = -5*w for w.
-2
Let q(u) = -u**3 - 6*u**2 - 6*u - 1. Let m = -6 + 11. Suppose -4*s = -m*t + s, 25 = -5*s. Let o be q(t). Solve 2*w - 3 = 5*w, -d + o*w + 2 = 0 for d.
-2
Suppose 4*k + 6 = -2*q, 2*q + 21 = 3*k - 2*k. Let b(r) = r + 11. Let i be b(q). Solve 0 = 4*d + i*h - 2, d = -0*d - 5*h + 23 for d.
-2
Let o(d) = 9*d + 1. Let k be o(1). Solve -5*r + k = 4*c, 4*r + 6*c - c - 17 = 0 for r.
-2
Suppose 0 = 8*k - 7*k - 4. Suppose 0 = -4*v - 3*n + 7, -4*n - k - 12 = -v. Solve 0 = -4*c + 4, 4*c = 4*f - 0*c - v for f.
2
Suppose 0*i + 4*i = x + 15, 4*x = -4*i + 40. Solve -o - 2*t = -7 - 7, 3*o + x*t = 37 for o.
4
Let y = 33 + -8. Let z be (16/(-20))/((-2)/y). Solve 3*r + 23 = -r + 3*c, r = 5*c - z for r.
-5
Suppose 27 = p - b, -5*p - 2*b = -0*b - 142. Suppose r - 2 = -13. Let h = 16 + r. Solve h*v + 9 = -s + p, 0 = 4*v - 3*s for v.
3
Let y(b) be the first derivative of -b**2/2 - 3*b - 2. Let r be y(-8). Suppose 51 = 5*a - 2*a. Solve 3*s - s = -r*d - a, 4*s = -5*d - 9 for s.
4
Let b = -8 - -10. Suppose 0 = 7*g - b*g - 25. Solve 5*w = -2*h - 2, g*w + 8 = -5*h + 3 for h.
-1
Let x(b) = -2*b - 6. Suppose -z + 22 = -5*g, -2*z - 17 = g + 2*z. Let j be x(g). Solve u = 4*o + 16, 0 = -0*u - 5*u + j*o for u.
-4
Let z be (-126)/(-4) - 4/8. Let n = 43 + -61. Let k = n + z. Solve 0 = -2*l + i + i - 14, 4*l = i - k for l.
-2
Let b = 14 - 12. Solve -c - 3*q - 3 = 4, b*q = -c - 4 for c.
2
Suppose 5*z - h = -6*h + 15, -2*h - 1 = -5*z. Solv