2*d - 2*k = 5 for d.
-1
Suppose -8*f - 21 = -77. Solve -2*v = 5*d - 4*v - f, -2*d - 2 = -2*v for d.
3
Suppose 10*t = -17*t + 135. Solve 1 - t = 2*w - 2*x, 0 = 2*x - 2 for w.
-1
Let v(c) = c + 30. Let y(m) = 4*m + 149. Let f(g) = -11*v(g) + 2*y(g). Let l be f(-11). Solve 3*q - b + l + 5 = 0, 12 = 4*b for q.
-1
Suppose 0 = -5*c + 53 + 17. Let a(v) = 75*v - 36*v - 40*v + 10. Let g be a(8). Solve t - 12 = -3*s, 0*s - 4*s = g*t - c for s.
5
Let q(c) = -c + 4. Let n(i) = i + 8. Let w be n(-4). Let a be q(w). Solve -8 = -a*l + 4*l + u, u - 2 = l for l.
-2
Let d(m) = -10*m - 367. Let v be d(-37). Solve -5*t + 15 = -q - 0*t, v*q + 4*t - 12 = 0 for q.
0
Suppose 23*u - 26 - 66 = 0. Solve u = 4*k, 2*k + 5 = i + 4*k for i.
3
Let d = 7 - 16. Let f be ((-15)/d)/((-1)/(-3)). Let x(g) = -g**2 + 8*g + 24. Let u be x(10). Solve m + 3 = z, -z + f*z = -u for m.
-4
Suppose -5*m = 2*r - 6*r - 39, -2*r - 5*m - 27 = 0. Let p = r - -11. Let l = 5 - p. Solve -1 = -3*v - 4*a, 4*v - l*a - 29 = -7 for v.
3
Let m = 204 + -199. Solve -2*f = r - 6*r + 20, -5*r + m*f = -20 for r.
4
Let z = -6 - -6. Suppose 16*u = 12*u. Suppose -5*v + u*v = z. Solve -2*s - g + 9 + v = 0, -g = -5 for s.
2
Suppose 3*x - 5*c = 8, 4*x - 10*c + 9*c - 5 = 0. Solve 3 = -2*w - x, 10 = a - 3*w for a.
4
Let m = -483 - -485. Solve -5*x + 0*h + h = 0, m*x + 18 = 4*h for x.
1
Suppose -4*k = -k - 12, 126 = z + 4*k. Let b = z - 109. Solve -4*q - q = -5, -5*q = 4*o - b for o.
-1
Let g be -4*2/(-12) + (-42)/(-18). Suppose 21 = 4*m + g*v - 4, -3*m - 3 = -5*v. Solve 0 = -3*r + 12, -u + 3*r = -3*u + m for u.
-4
Let f = -16 + 25. Let x be (4 - -304)/22 + -11. Solve -x*v - 3*c - 27 = 0, 3*v - f = 4*c - 1 for v.
-4
Let v be 2/8 - (-51)/(-12). Let t(r) = -2*r**2 + 4*r + 10. Let m be t(v). Let a be (m/3)/((-2)/3). Solve q + 6 = 3*l - 12, 5*l = -2*q + a for l.
5
Suppose -j = -2*j + 5. Suppose 5*f + j - 20 = 0. Solve -8 = 3*l + f*k + 10, -2*k = -l + 3 for l.
-3
Let c be 3/(-5)*33 + 2/(-10). Let t = -20 - c. Solve -3*q = -12, 5*y + 4*q - 3 - 38 = t for y.
5
Let a(y) = -2*y + 34. Let w be a(14). Let q(s) = -s + 8. Let x be q(w). Solve 4*c + 3*b = 8, 0 + 13 = c - x*b for c.
5
Let w be (-1 - -1)*(4 - 5). Suppose 3 = 3*h + z - 4*z, h - 5*z = -3. Solve 2*b = 2*y - w + h, y - 5 = -b for y.
2
Let q = 96 - 94. Solve -3*j + q*j + 3*b = 5, 3*j - 2*b + 15 = 0 for j.
-5
Suppose 4*m + 15 = -f, 27 = -3*f - 3*m - 0. Let p = 11 + f. Let l(v) = v**3 - 3*v**2 + 3*v. Let w be l(p). Solve 3*x + d - w = -2*x, -2*x + 3*d = -1 for x.
5
Let i = -26 - -34. Suppose 4*s - 8 = i. Solve -5*f + s*y + 0 = 6, 0 = 3*f - 3*y + 3 for f.
-2
Let z(o) = -2*o**3 - 17*o**2 - 9*o - 3. Let l be z(-8). Solve 5*s - 5 = -5*b, s - b + l = 10 for s.
3
Suppose -3*g = -4*b - 31, 8*b = 3*g + 3*b - 35. Solve 0*n - g = -4*w - 3*n, -3*n - 11 = -4*w for w.
2
Suppose 0*b = -3*b + 24. Suppose 0 = 4*u - b. Suppose -3*r + 14 = u*l - 2, -3*l = r - 10. Solve 0 = -s - k - 7 + l, -2*k + 4 = -5*s for s.
-2
Suppose o + 4*h + 9 = -0*h, -6 = 2*h. Let d be (2 - (3 + -2)) + o. Suppose 4*p - d = 0, n + 6*p = p + 8. Solve 0 = -3*k - n*s, -k + 10 = 3*k + 2*s for k.
5
Let k be (-9)/(-1 + 2)*(-19)/57. Solve -2*c + k*g - 4*g + 13 = 0, -35 = -5*c - 3*g for c.
4
Suppose 6 = 3*v, 4*y - 4*v - 74 = -22. Suppose -3*i + y = c, 0 = 2*i + 2*c - 5 - 9. Solve -m - 10 = i*h, 5*h + 4*m + 0 = -7 for h.
-3
Suppose 63 = 7*f + 14. Solve -2*n - 2 = 2*c, -3*n + 2 - f = 5*c for n.
0
Let t(h) = h**2 - 18*h + 31. Let g be t(15). Suppose 3*b - p = 8*b - 83, -p = -2*b + 29. Let l = b + g. Solve -4*w + l = 5*y - 0*w, -18 = -4*y + 5*w for y.
2
Suppose 0 = 13*z + 76 - 89. Solve -4*l + 6 = -5*u, -2*u + 19 = 4*l - z for l.
4
Suppose 36*g - 44 = 14*g. Solve 4*t = t - 3*h - 6, h = -g for t.
0
Let r be 0*-3*(-1)/(-3). Let b be (-1 + r)*(-3 - -1) + 3. Solve -3*t + 2*a - b = 0, 3*t = -0*t - 2*a - 1 for t.
-1
Let z(n) be the first derivative of -n**4/4 - 4*n**3/3 + 7*n**2/2 + 5*n + 1. Let m be z(-5). Let k = m - -10. Solve -16 + 1 = 5*h - b, 4*h - k*b + 12 = 0 for h.
-3
Let l(u) = -u**3 + 14*u**2 - u + 17. Suppose -7*f = -13*f + 84. Let s be l(f). Solve 0 = s*v + 4*b + 26, 4*v - 5*v + 4*b = -18 for v.
-2
Suppose -95 = -12*s - 7*s. Solve -s*h = 2*r - 0*h - 6, -3*r = 2*h + 2 for r.
-2
Let h = 109 + -104. Let a(y) = -y**3 - 6*y**2 + 2. Let c be a(-6). Solve c*f - 4 = 2*o, 8*o + h*f + 10 = 3*o for o.
-2
Let k = 352 + -340. Solve -5*c = 2*h + k, -3*h + 1 - 6 = c for c.
-2
Let m be (80/6)/5*(-81)/12. Let x = 21 + m. Solve 4 = y + 3*h, 5*y + 25 + 9 = x*h for y.
-5
Let l(h) = h + 34. Let i be l(-31). Solve i*o - 3*v = 4*o - 18, -v = o - 8 for o.
3
Suppose -39 = -13*t - 13. Solve -6*b + t*b - 28 = -5*f, 16 = 5*f + 2*b for f.
4
Suppose -8 = -s - s. Suppose -3 = 5*b - 13. Solve 0 = -3*n + s*j + j + 29, 0 = -b*n + 4*j + 22 for n.
3
Let a = 13 + -13. Suppose 4*g = -a*g + 8. Suppose -10 - 10 = -g*d. Solve m - 6*m = -5*i - 10, m = -2*i - d for m.
-2
Let g = 25 - 9. Let u(d) = -3*d + 16. Let o be u(4). Suppose 4*w = -3*v - 14, o = -v - 2*w - 4. Solve v*a + 2 = -j - 7, -4*a - g = 4*j for j.
1
Let x = -40 + 40. Suppose 30 = 2*c - 7*y + 3*y, x = y + 5. Solve c*f = 5*t + 39 - 4, 3*f - 5 = -5*t for f.
5
Suppose 10 = 13*b - 11*b. Suppose b*d - 10 = 5*x, -2*x = -9*d + 4*d - 11. Let o = x + 9. Solve 2*u = 3*h - 1 - 4, 4*h + o*u - 30 = 0 for h.
5
Suppose 7*k = 3*k + 20. Let z be (1008/(-280))/(((-8)/10)/2). Let o(w) = -3*w - 4. Let f be o(-5). Solve h - f = c + 4*h, k*c - h = z for c.
1
Suppose 2*l + l - 12 = 0. Let r(i) = 4*i**3 - 3*i + 5. Let k be r(2). Let c = 33 - k. Solve l*z = 0, 0*o + o - c*z - 2 = 0 for o.
2
Suppose 5*h + 19 = 3*a - 0*a, 0 = -2*h - 4. Let p be 9/2*208/156. Solve a*f - p = 3*d, -3*d - d - 8 = -5*f for f.
0
Suppose -i = -3*i + 68. Suppose -5*l + i = 9. Solve -a + 4*y - 1 = -l, 3*y + 3 = 0 for a.
0
Let h(w) = -w**2 + 7*w + 10. Let k be h(8). Suppose 0 = 7*m + 8 - 141. Solve k*t + m = 3*l - 3*t, 17 = 3*l - 4*t for l.
3
Let n(k) = -2*k + 1. Let t be (-3)/(-5) + (-22)/(-55). Let w be n(t). Let q = 3 - w. Solve 3*x - 2*h + 0*h = 8, 0 = -2*x + 2*h + q for x.
4
Let a be 1/7 + 287/49. Suppose -5*c + 2 = -4*c + o, -c = -o - a. Solve 4*g = -2*l + l - 8, 0 = 4*g - c*l + 28 for g.
-3
Suppose -2*y + 2*v + 8 = 0, 3*v = -2*y - v + 8. Let u = 7 - y. Solve z = 0, u*z - 15 = -9*k + 4*k for k.
3
Let c = -6 - 54. Let v = c + 63. Solve -10 = 5*i + 4*d, v*i - 2*i + 2 = -2*d for i.
-2
Let z = -1763 + 1772. Solve -2*n + 3*n = -4*f + z, 4*n - 2 = f for n.
1
Let y(h) = -868*h - 6054. Let p be y(-7). Let a = 2 + 0. Solve a*j = -3*b + 7, b = -2*b - 5*j + p for b.
-1
Let r = 80 + -78. Suppose -10 = 5*k, -5*i + 5*k + 34 = -2*i. Solve 3*m = -4*p + i, -p + 2*p + 3*m = r for p.
2
Let f(c) = c**3 + 7*c**2 + 8*c - 7. Let q be f(-5). Suppose -3*r = -4*m + 57, m + 33 = q*m + 3*r. Let d = -14 + m. Solve d - 11 = -2*o - 2*j, 5 = o + 4*j for o.
5
Suppose 7 - 22 = -3*f. Solve -28 = h + f*w, -3*w - 3 = h - 5*h for h.
-3
Suppose 2*a = -a + 168. Suppose 5*x = -6 + a. Suppose 24 = 3*d + 5*r, 3*r = -3*d + 8 + x. Solve 3*i + 5*v + 34 = 0, 3*i = 6*i - d*v - 6 for i.
-3
Let b(v) = v**2 - 44. Let l be b(-7). Solve -3*c = -4*i, l*i + 0*i - 19 = -c for i.
3
Suppose -222*h + 114*h + 168*h = 180. Let x = -8 - -12. Solve -3*y = h*j - 15, 2*y - x*j - 5 = -1 for y.
4
Let b(f) = f**2 + 8*f + 45. Let m be b(-9). Let a = m - 36. Solve 2*x - a = 4*j - 9*j, 2*x = 3*j + 2 for j.
2
Suppose -k - 4*f = -12, -2*k - 15*f + 16*f - 3 = 0. Solve -m + 2 = 3*u + m, k = 3*u - m + 10 for u.
-2
Suppose 14*n + 38*n - 104 = 0. Solve 2*d = -2*h - 4, -n*h - 1 = -3*h for d.
-3
Let k be 60/(-35)*21/(-6). Let s = k - 4. Solve s*w = 3*h + 5 - 24, -18 = -4*h - w for h.
5
Let f be (-18)/(-24) - 20/(-16). Solve 0 = -3*p - 2*j + 17, -f*p + 10 = j - 1 for p.
5
Let k = 198 - 193. Solve -4*i - k = i + 2*o, 2*i - 27 = 5*o for i.
1
Suppose -2*w = -3*k - 10 - 36, 3*w = -4*k + 52. Let b = 53 - 51. Solve -1 = -4*u - o, -3*o + w = b*u - 7*u for u.
-1
Let g be (-4)/8 + 6/(-12)*-43. Let r be (1 + 0)/(2/12). Suppose 4*k + 4 = 2*b, -b = r*k - 4*k - 6. Solve 3*q + 3*h - 12 = 0, -4*h - g = -5*q - k for q.
4
Let w = 109 - 99. Suppose a + w = 12. Solve -a*l = -4*k - 12, -4*l + 2*k = -k - 19 for l.
4
Let k = -19 - -9. Let z = -4 - k. Suppose x + z - 15 = 0. Solve -5*y = -4*g, y - g + x = -2*g for y.
-4
Suppose -3*r = -4*d + 11, -