s = -4*h - i for h.
-2
Let m(b) = 48*b**2 + 1. Let o be m(-1). Let v = o - 53. Let i be 3/v + 66/24 - -2. Solve 5*x - 5 = 4*k + 28, -i*k = -2*x + 18 for k.
-2
Let i = -266 - -281. Suppose 5 = 3*t - 4*k - i, 0 = -2*k - 4. Solve -t*d - n + 4 = -5, -4*n = -4*d + 4 for d.
2
Let w(b) = -b**3 + 20*b**2 + 20*b + 26. Let r be w(21). Suppose d - 2*k = k - 4, -r*d = -5*k. Solve -3*q = 4*x - 25, 3*x = 6*q - d*q for q.
3
Let w(v) = -2*v**2 + 98*v + 2 + 107*v + 103*v - 298*v. Let h = 2 + 3. Let u be w(h). Solve -4*f = s - u*f - 5, 3*s = -5*f + 12 for s.
-1
Let o(d) = d**2 + 15*d - 8. Let t be o(-16). Suppose 4*a = 8 - t. Let g be (9/(-6))/3*a. Solve 2*v - 3*l = 21, g = 6*v - 2*v - 2*l - 22 for v.
3
Suppose 6*l + 119 = -11*l. Let s(u) = 10*u + 73. Let a be s(l). Solve 1 = b, 8 = a*v + b + 4*b for v.
1
Suppose -8*y + 13 + 19 = 0. Suppose 0 = -y*g - 5*r - 216, 2*r - r = 3*g + 162. Let t = 56 + g. Solve -14 = -4*j - t*x + 4*x, -3*x = -3*j + 12 for j.
3
Let t(z) = 16*z + 1. Let u(h) = 7*h. Let o(a) = -3*t(a) + 7*u(a). Let k be o(3). Solve 2*f + 10 = 4*i, i + 0*i = k for f.
-5
Suppose 0 = -3*v - 4*w + 15, 0 = -5*v + 6*v - 5*w - 5. Let t = 564 - 1001. Let l = t + 442. Solve -3*h + l*j - 20 = 0, -18 + v = 2*h - 3*j for h.
-5
Suppose 2 + 8 = -5*q. Let y be (-1608)/132 - (q - 20/(-11)). Let k be (-4 + (-32)/y)/(4/(-6)). Solve -k*w + 3*o = -14, -3*w + 5*o + 15 + 7 = 0 for w.
4
Suppose 1022 - 1306 = -71*z. Solve 5*y = z*y - 3*w, -3*w + 6 = -y for y.
-3
Let q be 2 - (-2)/4 - (-63)/(-42). Suppose -14 = -3*p + q. Solve -18 = -p*c + 3*g + 6, 2*g = -5*c + 9 for c.
3
Suppose 0 = -117*j + 76*j + 164. Suppose -1 + 3 = v. Suppose v*m = m + j. Solve -5*w - 3 = 5*g + 2, 0 = -4*g + m*w - 4 for g.
-1
Let k(i) = i**3 + 17*i**2 + 62*i - 22. Let c be k(-6). Solve -q - 15*z + 4 = -11*z, -4*q - 2*z + c = 0 for q.
0
Let v(x) = -4*x**3 - 55*x - 54. Let q be v(-1). Solve 8*l + q*f = 5*l + 20, 0 = -5*l - f + 4 for l.
0
Suppose -2 - 8 = -2*l. Let k = 41407 - 41404. Solve -2 - 10 = l*q - b, 4*b = -k*q - 21 for q.
-3
Let t(w) = -w**2 + 9*w + 6. Let q be t(0). Solve -3*d = -0*d + q, -5*x - 24 = 2*d for x.
-4
Suppose -30*w + 46 + 14 = 0. Solve 3*m = 4*t - 0*t + 35, 0 = 2*m + w*t for m.
5
Let x(q) = -7*q**2 - 2 + 0*q - q**3 + q - 8*q. Let b be x(-6). Solve 5*i = 3*w - 25, -b*i + 0*i - 20 = -3*w for w.
0
Suppose -12 = 4*m, -5*q + q = -3*m - 17. Solve -3*i = -5*y + 15, -5*i = q*y + 4 - 10 for i.
0
Let n(a) = -10*a - 145. Suppose 3*t - 23*w = -28*w - 45, 0 = 5*t - 4*w + 75. Let h be n(t). Solve h*j - 2*x = 14, -2*j - 3*x = -7*x - 12 for j.
2
Let i(x) = 2*x**3 + 20*x**2 + 2. Let v be i(-10). Let t be (-1)/(30/16 + -2). Let r = -20 - -24. Solve t = r*d + d - s, v*s = 2*d for d.
2
Let z = -26 - 19. Suppose 0 = -4*k + 43 + 157. Let u = k + z. Solve -l = u*q - 10, -4*l + 18 = -6*q + 4*q for l.
5
Suppose 0 = -84*d + 123*d - 390. Let z(u) = -8 - 11*u**2 + 11*u + 4*u**2 + 6*u**2. Let j be z(d). Solve -j*n + w - 4*w = -8, 5*n = -w - 6 for n.
-2
Let o = 17 + -14. Let j be 3 - (4 + 0)*-1. Suppose j*v - 18 = 4*v. Solve o*p - c + v = -0*p, c = 5*p + 10 for p.
-2
Let o = -1588 - -1592. Solve -o*l = 4*x, 4*l - 3*x + 4 = 3*l for l.
-1
Let h(i) = -85*i + 2384. Let a be h(28). Solve 2*z + 10 = -5*l - 3*z, -12 = -a*z for l.
-5
Suppose -4*h + 16 = -86*f + 90*f, -5*h - 4 = -f. Solve 3*r = 3*j + 11 + 4, 12 = -4*j - f*r for j.
-4
Suppose 0 = 5*y - 5*p + 10, 19*p - 20*p + 14 = 2*y. Solve -69*h + 3*a = -74*h - 20, 5*a - y = h for h.
-4
Suppose t - 2*c - 5 = 0, -3*t - 10 = -5*t - 5*c. Solve v = t*g + 58 - 23, 4*v - 21 = 3*g for v.
0
Suppose -37*q = -53*q + 144. Solve -3*z + 5*s - q = -5, -3*z + 3*s = 6 for z.
-3
Let b = -13197 + 13207. Solve 28 = 3*x + 5*y, -b = 4*x - 2*y - 4 for x.
1
Suppose -4*s + 4*s = -10*s. Suppose s = -7*d - 0*d + 14. Suppose 0 = -4*f - 5*u + 10, -5*f + 0*u - d = -u. Solve -o = m, 3*o + f*m - 5*m - 8 = 0 for o.
1
Let v = 520 + -512. Let q be ((540/v)/15)/(4/8). Solve -k = 2*y - q, -4*k + 2*k = -10 for y.
2
Let f(k) = k**3 + 7*k**2 + 6*k. Let w be f(-6). Suppose 587 - 593 = s. Let i be (-75)/(-175)*(-28)/s. Solve 5*g = 3*t, 3*g - i*g - 3 = w for t.
5
Suppose b + 2*a - 9 - 3 = 0, 0 = 3*b - a - 1. Suppose b*l = -3*n - 2*n + 15, 0 = -2*n - 2. Solve 0 = 3*v - u + 3, -v - v - l = 2*u for v.
-2
Let a = 574 - 572. Let q be 12/16*2*4. Let f(w) = -w**3 - 10*w**2 + 20*w - 33. Let z be f(-12). Solve -z = 3*i - q*i - p, 4*p - 20 = -a*i for i.
4
Let n(z) = 2*z**2 - 154*z + 602. Let m be n(4). Solve -m*o = -15*o + 5*f - 37, 5*o + 4*f - 40 = 0 for o.
4
Suppose 0 = 4*x + 2*x - 30. Suppose 3*d - 43 = -x*y, -6*y + y - 12 = -2*d. Solve -2*j - 16 = 2*s, s - 4*j - d = -2*s for s.
-3
Let s(m) = -35*m - 3. Let v be s(1). Let g = 49 + v. Suppose 26 = 5*x + g. Solve 0*l + 4 = 4*b - 4*l, -4*b = -x*l for b.
-3
Let x(b) = 22*b + 1787. Let z be x(-81). Solve z*c = 2*d - 10, -c = -5*c + d - 5 for c.
0
Let i = -255 - -258. Suppose -i*o + 9 = 2*h, 2*o - 3*o = 4*h - 3. Solve h = -2*c + 5*w + 5 - 1, -2*w = -2*c + 4 for c.
2
Suppose -69 + 53 = -8*m. Solve -3*u - 2*z = 14, m*u = 43*z - 46*z - 11 for u.
-4
Suppose 298*a - 3355 - 5883 = 0. Solve -2*i + a = -3*c, -2*c - 19 + 9 = 0 for i.
8
Let q be ((-3)/(-9)*-5)/(205/(-60) - -3). Solve 3*s + q*r + 14 = 1, -3*r = -s for s.
-3
Let y(r) = -2*r**2 - 168*r - 599. Let g be y(-80). Solve -4*b - 5*z - 53 = -g, -4*b + 2*z + 16 = 0 for b.
2
Let m(w) = -w**2 + 2*w + 1090. Let g be m(-32). Solve g*q + 18 = 3*d, -2*d + 11 - 3 = 0 for q.
-3
Let p = -13 + -29. Suppose 23*k = 1221 - 186. Let x = p + k. Solve 17 = 3*c - 4*f - 0*f, -c - x*f = 3 for c.
3
Let d be (666/999)/(2/18). Solve 2*b = 3*b - 2, 5*l + 2*b = -d for l.
-2
Suppose 13*w = 5*d + 12*w - 6, -2*w - 12 = -9*d. Solve -67*g - 5*z = -69*g - 12, d = -4*z + 8 for g.
-1
Let u(r) = r**2 + 79*r - 158. Let h be u(-81). Solve 0 = h*w + 3*c - 12, 2*c + 0*c = 0 for w.
3
Let z(i) = i**3 + 23*i**2 - 2*i - 43. Let h = 41 - 64. Let y be z(h). Let w be (-1)/(1 + ((-45)/12)/y). Solve j = 4*l + 5, 3*l = w*l - 2*j + 10 for l.
0
Suppose -i = -5*i + 8. Let d(c) = 2*c**2 - 2*c - 19. Let s be d(-3). Suppose -72 = -s*b - 13*b. Solve 5*k + 4 = -b*p, -i*p = -4*p + 4*k + 24 for p.
4
Let x = -21 - -38. Let m = 19 - x. Suppose 0 = m*g - 19 + 13. Solve -5*z + g*z = o + 7, -o - 8 = 3*z for o.
-5
Let y = -15 - -16. Let a be (-12)/10*y*-5. Suppose -11 = -a*b + 7. Solve -d - 3*w - 6 = 6, -5*d - 6 = -b*w for d.
-3
Let j(f) be the first derivative of -17*f**2/2 + 88*f - 106. Let k be j(5). Solve 0 = 4*v, -2*o - 3*o - k*v - 10 = 0 for o.
-2
Let l be (-15)/(-3) + 22 + -1 + 1. Let k be 450/l + (2 - (-20)/(-12)). Solve 3*y = -4*o + k, 5*o - 20 = 5*y + 2*o for y.
-1
Let p = 67 + -65. Let f(b) = -2*b**2 + 16*b + 5. Let x be (5/(-15))/(2/(-48)). Let d be f(x). Solve -2*g + p = 2*z - 3*z, d*g - 5 = 3*z for z.
0
Let f(j) = 6*j**2 - 5*j + 2. Let k be 3 + -5*(-10)/(-25). Let p be f(k). Solve -2*s = 4*d - 26, -p*s - 2*d - d = -24 for s.
3
Let z = -64 - -68. Suppose 0 = 5*a - m - 13, 5*a - 3 = 4*m + z. Solve -3*o - 18 = -3*g, 1 = -a*g + o + 13 for g.
3
Let r = 230 - 358. Let b = r - -130. Suppose 4 + 2 = 2*l. Solve -3*j + 4*c = 32, l*j - 3 = -5*c + b*c for j.
-4
Suppose -5*b - 20 = -4*k - 56, 18 = -2*k + 4*b. Let h = -12 + 23. Let w = k + h. Solve -4*z = 12, w*z + 3*z + 23 = 4*y for y.
2
Let s(k) = -k + 26. Let w be s(9). Let b = -125 - -127. Solve w = 5*z - b*z + 2*h, -24 = -5*z + h for z.
5
Suppose 1 = -6*b + 19. Suppose 2*j + 3*q - 7 - 6 = 0, -5*q = j - b. Solve 2*y - 6 - j = -4*x, -5*x = -4*y - 24 for x.
4
Suppose -2*s - 337*f + 336*f = -1, -s - 5*f = 13. Solve 4*r = 7*r - x - 11, -x - s = 0 for r.
3
Let a(v) = -6*v + 6 + 5*v - 2 - 1. Let u be a(9). Let d be -14*(15/u + 2) + -2. Solve d*h - 4*k = 7, 3*h + k + 2*k = -12 for h.
-1
Suppose -4*u = -u - 0*u. Suppose -5*h - 15 = -10*h. Solve -n + u*c = -2*c - 3, -3*c - h = 0 for n.
1
Suppose -175*i + 81 = 81. Solve 14*t = m + 13*t, i = 5*m - 3*t for m.
0
Suppose -22*a - 754 = 7*a. Let t be -10*(a/(-4))/(-13). Solve i - y = y - 5, -4*y - 25 = t*i for i.
-5
Suppose -191*v - 1480 = -186*v. Let z = v - -301. Solve 4*w + 5*y + 0 = 2, 0 = -w - z*y - 7 for w.
3
Suppose 6 = 10*w - 7*w. Suppose -w*v - 35 = 3*v. Let g = v - -10. Solve g*c = -2*s + 4*c + 6, -2*s = -5*c - 6 for s.
3
Suppose -26*r + 24*r - 300 = -62*r. Solve 5*h + r*z + 5 = -0, h = -5*z