, 4*k + 0*k - 16 = a for f.
2
Suppose -j + 11 = -c + 48, 0 = -2*j - 2. Suppose -103*u = -112*u + c. Solve 0 = 2*q + 2*l + 12, -u*l - 9 = 2*q + 7 for q.
-4
Suppose 10*i - 5 + 5 = 0. Let z(n) = 7*n**2. Suppose -j = -4 + 5. Let f be z(j). Solve i*g + f = 2*a - g, 18 = 3*a + g for a.
5
Let l be (6/(-15))/(3/15) + 24. Let x = -37 - -42. Suppose u = -x*u + 24. Solve 5*k + l = 4*j, -3*k = 2 + u for j.
3
Suppose 4*p - 8 = 2*v, v - 658*p = -657*p. Solve -5*u = -f - 4*f + 10, -v*u = -f + 17 for u.
-5
Let i(g) = 132*g + 1191. Let l be i(-9). Let o(u) = -2*u - 2. Let q be o(2). Let t(d) = -4*d - 8. Let h be t(q). Solve 5*w + a + h = 0, w - l*a = 2*a + 2 for w.
-3
Let n = -20885 - -20887. Solve 2*l = n*m - 4, -3*m - 34*l + 32*l - 14 = 0 for m.
-2
Let w(o) = -o**3 - 5*o**2 - 23*o - 12. Let p be w(-9). Let c = 521 - p. Solve -5*n + 7*k = c*k - 15, 0 = -4*n - 4*k + 20 for n.
4
Let o(b) = 4*b + 17. Let w be o(11). Suppose -2*z + w = 9. Suppose 0 = 3*y - z + 11. Solve -6 = -3*i - 0, 5*i - 25 = y*s for s.
-3
Suppose -19*q + 78 = 21. Suppose 37 = 2*t - 5*n, t = q*t - n - 17. Solve r - 5*j + t = 0, -1 = -3*r + 7*r + 3*j for r.
-1
Suppose -5220 = -2*o - 5214. Let k = 33 - 24. Solve -d - 4*l = -5 + 18, 0 = -o*d + 3*l - k for d.
-5
Let a(x) = x**3 + 22*x**2 + 20*x - 16. Let l be -4 + 1 + -2*(12 + -3). Let i be a(l). Solve -4*z + 2*c = 0, -7 - 13 = i*c for z.
-2
Let d = 239 - 444. Let z = -133 - d. Suppose i + 5*i = z. Solve 5*v - o = 2*o - i, -2*o = 2 for v.
-3
Let l = -26 + 30. Let f = 36 + 4. Suppose l*q = 2*q - s + 7, 5*s + f = 5*q. Solve 4*k + q*y - 8 = k, 4*k = -y + 5 for k.
1
Let w(s) = -140*s - 1257. Let t be w(-9). Solve 0 = k - t*z + 11, -2*k + 5*z - 19 = 0 for k.
-2
Let o(w) = 2*w**3 - 18*w**2 - 6*w + 57. Let a be o(9). Solve -x - a*r = -2*r + 1, -3*r = -x - 9 for x.
-3
Suppose 0 = -z + 7. Let d(o) = 2*o - 9. Let l be d(z). Let i(n) = 3*n**2 + 7*n + 7. Let w be i(-2). Solve 0 = b - w*x - 30, 29 = l*b - x - 1 for b.
5
Let n(g) = -g**2 - 11*g - 22. Let q be n(-3). Suppose -z + 2*j = -9, q*j - 2 + 8 = 0. Solve -2*l - z*l + 2*i = -7, 1 = 5*l + 4*i for l.
1
Let v = 42 - 24. Let b be (-150)/120*14/(-10) + (-112)/64. Solve -c + b*c = -4*d + v, -3 = -4*c + d for c.
2
Suppose 5*y = 41*y - 180. Solve 4*w - 6 = 6*p - 5*p, 0 = y*w - p - 7 for w.
1
Suppose 0 = 2*a - 0*a. Suppose a*o - 3*m = o - 16, -m = -o. Let s be o/(-10) + 102/30. Solve 3*c = -2*y + 3, -3*y - 1 = -s*c + 17 for c.
3
Let v = -3 + 242. Let h = -235 + v. Solve 7*z = -k + 2*z + 22, 0 = z - h for k.
2
Let a = 800 - 795. Solve 0 = 2*k - y - 14 + 19, a*k - 15 = -3*y for k.
0
Suppose 5*y = 3*f - 5*f - 27, -y - 5 = 0. Let i be -6 + (-3 - (f - 13)). Solve 0 + 4 = -p - 3*v, -5*v - 40 = -i*p for p.
5
Let o(j) = -3*j + 0 + 2*j**2 - 1 + 2. Suppose 10*y - 99 = -79. Let u be o(y). Solve c - u*d = -4, -3*c + 5*d = -0*d for c.
5
Suppose -5*n + 2475 = 5*v, -2*v + 95 = n - 400. Let p = n + -483. Solve 2*y + 0*y = 4*m + 6, 3*y = 3*m + p for y.
5
Suppose 5*q - p - 27 = 0, 6 = -5*q - 13*p + 5. Solve 2*f + 1 = l, -5*l = -3*f + 21 - q for l.
-5
Let m be 13 - (12 + 10 + -14). Solve 5*s = 2*r + 25, 5*s - m - 15 = r for r.
-5
Suppose 2*b + 0*y - 140 = y, -16 = 4*y. Suppose -69*q + 3 = -b*q. Solve 4*i + 3 = -4*l + 19, -12 = 4*i - q*l for i.
0
Let q = -17804 + 17828. Solve 3*j - 5 = -28*w + q*w, 5*w = 2*j - 11 for w.
-1
Let u = 113 - 93. Let m be (-13)/(-4) - (125/u - 6). Let r = 2 + 1. Solve 3*c + 26 = -8*l + r*l, m*l = -12 for c.
-2
Suppose 13*c + 24*c - 37 = 111. Solve -2*i + c*a = 4, 14*i = 9*i + 5*a for i.
2
Let g = 40 + -90. Let d = g - -46. Let i be (-6 - 0)/(-12)*d/(-1). Solve -2*q = 2*q + c + 4, -5*q = -i*c + 18 for q.
-2
Let c = 332 - 136. Let d = -193 + c. Solve d*u - 6 = -4*v + v, 4*v = 12 for u.
-1
Suppose -12*f + 7*f = 5*b - 280, -5*b = f - 280. Solve b*v = 4*w + 51*v - 9, -5 = 5*w - 3*v for w.
-4
Let t(y) = -y - 1. Let i(h) = 2*h + 59. Let b(l) = i(l) + 4*t(l). Let d be b(10). Solve -5*n = -4*p + 9*p - d, 7 = -4*n + 3*p for n.
2
Let s = 123 + -85. Let h = 29 - s. Let j = h - -13. Solve 4*n = 2*c - 20, -j*n + 3*n = -5*c + 14 for c.
2
Suppose 2*b - 6 = 2*p, 5*b - 3*p + 3 = 18. Solve -416*m + 420*m - b*c = 1, -4*c = -2*m - 2 for m.
1
Let g = -1115 - -1117. Let r = -8 - -16. Suppose 28 = 4*v - g*i, -5*v - 5*i + 27 = -r. Solve -2*o + 17 = -3*p + 5, 2*p + v = o for o.
3
Let d = 13 + -17. Let b be 2 + (d + -2)*-3. Suppose -b = -5*y + 10. Solve -3*w = 4*k - 6, k = y*w - w - 10 for w.
2
Let g be (-3 - -18 - 15)/2*1. Let c = 10 + -5. Solve -14 = 5*m + 4*i, g = 4*m - i + 2 + c for m.
-2
Suppose -5*l = -p + 98, 0*p + 2*p = 3*l + 182. Suppose -p*w + 61*w + 135 = 0. Solve 1 = w*g - 3*i, 5*g - 5*i - 3 = 2 for g.
-1
Let l = 88 - 55. Suppose -2*o + 2*v = v - 31, -2*o + 3*v + l = 0. Solve 4*n = 3*n + 4*q + o, q + 3 = n for n.
-1
Let g(u) = 46 + 43*u - 10 - 17 - u**3 - u**2 - 10. Let h be g(-7). Solve -13 = -0*t - t + 4*b, -t + h*b = -7 for t.
1
Let u(m) = -18*m - 257. Let p(g) = -35*g - 512. Let a(v) = 3*p(v) - 5*u(v). Let n be a(-17). Solve n*k = -5*r - 4, 2*r = 4*r for k.
-1
Let z = -44 - -46. Suppose z*a = -l + 4, 5*l + a + a - 60 = 0. Solve -l = 4*d + s, 0 = 5*d - 3*s + 36 - 10 for d.
-4
Let y be ((-8)/(-6))/((-170)/45 + 4). Suppose 0 = -y*k + 2*k + 16. Solve f - 3 = k*w, 4*f + 4*w = -0*f - 28 for f.
-5
Suppose 3*c = -25 + 40. Suppose 10*k - c*k = 4*k. Solve -d + 2*d - 5*a - 7 = 0, 3*d - a + 7 = k for d.
-3
Let p(y) = 58*y + 62. Let i be p(-1). Let h = 67 + -63. Solve i = -s + j, -2*s - 1 = -h*j + 5 for s.
-5
Let s(v) = 2*v**2 + 66*v - 106. Let k be s(-35). Solve -32*h + 3*q + 5 = -k*h, 0 = 2*h - 4*q - 2 for h.
-1
Suppose -4*i + 242 = 90. Suppose 5*d - i = 52. Suppose -4*a + d = -a. Solve 2*y - 26 = -4*z - 4, 0 = 2*z - a for y.
5
Let k = 2864 - 2845. Solve 0 = -3*p + 12, -q + 2 = 5*p - k for q.
1
Let a be -6*((-4)/(-15))/((-8)/20). Suppose a*l + 2*i - 30 = -2, -4*i = -3*l - 1. Solve 0 = -3*z + 2*c + 2, 5*z + 30 = -l*c for z.
-2
Let y = -8543 - -8545. Solve 0 = -6*h + 2*h, -o = -y*h + 5 for o.
-5
Let q = -2 + 6. Let v(z) = z**2 - 78*z - 36111. Let k be v(-155). Solve 3*i + 3 = k*h, q*h + 0*h = 4*i for h.
3
Let r = -30079 + 30083. Solve q - 6 = -4*z, -7 + 3 = -r*q + 4*z for q.
2
Let o be 13*2*(-11)/(-22). Suppose 9 = -2*v + o. Solve 0*t - 5*t - 27 = 2*d, -13 = 3*d + v*t for d.
-1
Let g be (-2)/(2/(-7)) + 2. Let b be (10/(-4))/(((-28)/8)/(-7)). Let c(q) = 15*q + 78. Let p be c(b). Solve -6*y = -3*y - o - 11, -p*o - g = -y for y.
3
Let t be 4/(-20) + (-5838)/35. Let h = t + 172. Solve 2*j + 4 = 3*b, -h*j - b + 5*b - 10 = 0 for j.
-2
Let u be ((-14)/(-14) - (-8 - -3)) + (10 - -2). Solve l - 4*k = 15, -u*l + 13*l + k = -18 for l.
3
Let g(r) = 32*r - 158. Let b be g(5). Suppose 0 = b*f + 2*f + 3*o - 10, -6 = -4*f - 5*o. Solve 2*u - 2 = f*i, -5*u - i - 28 = -0*i for u.
-5
Let a(i) be the first derivative of 6*i**2 - 51*i - 29. Let n be a(5). Solve 0 = d + 1, -6*m + d = -m + n for m.
-2
Suppose -r - 4*k = -7, -8 = 3*r + 5*k - 50. Suppose -r*a = -212 - 111. Solve i - a = -4*n, -i + 4*i - n = 12 for i.
5
Let l(n) = 14*n**3 + 166*n**2 - 29*n - 58. Let z be l(-12). Solve 8*w + 8 = 4*w - 3*s, -s = -w - z for w.
-2
Let h(d) = 6*d**2 - 64*d + 171. Let u be h(8). Let r = 41 - 1. Let c = u - r. Solve 0 = -2*t - 5*s - 4, 2*t - c*s = -0*s + 12 for t.
3
Let b be -32*12/(-16) + (-5)/((-15)/9). Solve -28*d = -b*d - a + 8, -8 = 3*d + a for d.
-4
Let f = 7 - 5. Let k = -211549 + 211549. Solve 4*g + 7 = -5, -f*p - 5*g - 21 = k for p.
-3
Let k(o) = 32*o - 54. Let f(h) = 49*h - 82. Let t(y) = 5*f(y) - 8*k(y). Let m be t(2). Solve 5*r - 43 = 3*u - 3, -2*r + u + 15 = m for r.
5
Suppose -65*r + 563 = 368. Solve 2*m = -3*v - 2, 0 = r*m - 0*v + 3*v + 3 for m.
-1
Let k(m) = 2*m**3 - 47*m**2 - 85*m + 1468. Let r be k(24). Solve -2*d - 75*o - 12 = -71*o, o - 4 = -r*d for d.
2
Let v be (146 - 0 - -3) + (-84)/14. Suppose -73 = -27*j + v. Solve 0 = -2*d - j, d - 29 = 5*g + 2*d for g.
-5
Suppose 24*q = 22*q + 4*m + 22, 0 = 4*q + m - 8. Solve q = 3*l - 2*n, -l = 2*n + 5 - 6 for l.
1
Let c be ((-4)/(-18))/((-4)/(-12))*90. Let y = c + -80. Let n be ((-6)/(-5))/((-12)/y). Solve q - 6 = 3*p + n, q + p + 4 = 0 for q.
-1
Let n = 8 + 4. Suppose -5*i - 70 = -5*r, 13 = -3*i + 16. Suppose 2*w - 3*m = -2*m + r, 0 = w - 2*m - 15. Solve 4*p = -4*b + n, -2*p + w = 3*b - 1 for b.