Suppose -4*t + 171 = -4*x + x, 5*x - 240 = -5*t. Solve -5*l + t = -5*r, 0*l = -r - l - 1 for r.
-5
Let w = -88 - -135. Let g = 52 - w. Solve l - 3*n - 11 = -0*n, -g*l - 5 = 5*n for l.
2
Suppose 0*g - 12 = -g - 4*v, g - 4*v + 4 = 0. Suppose g - 44 = 4*k. Let o = 12 + k. Solve 5*i + 1 = o*z - z, z = -i - 5 for i.
-1
Let b(s) = 4*s**2 + 163*s - 41. Let u be b(-41). Solve w + 2*l - 2 = 0, -4*w - 3*l - l + 12 = u for w.
4
Suppose 118 + 8 = 42*p. Solve -k + 6*k = d, 0 = -p*d - 5*k - 20 for d.
-5
Suppose c - 2 = 3*k, -8*c + 3*c - k = 6. Let l be c + 0 + (-2)/(-2). Let n(g) = -g**2 + g + 5. Let o be n(l). Solve -5*h = -0 + 10, o*j - 4*h - 3 = 0 for j.
-1
Suppose -p - 5 + 6 = 0. Suppose -4*u = -p - 3. Solve -2*r = -o + r + 5, -r - u = -o for o.
-1
Suppose 0 = k - 1 - 1. Suppose 31 - 6 = -2*b - s, 5*b + s + 61 = 0. Let y be (0 + (-4)/8)*b. Solve 0 = -4*w - n - 25, 2*w - 10 = y*w - k*n for w.
-5
Let j(u) = 6*u - 39. Let c be j(7). Suppose 3 = -2*g + 3*s, -c = 4*g - 3*s - 0. Solve 0 = -g*x - 3*x - b - 9, 0 = 2*x - 3*b + 6 for x.
-3
Let n(d) = -d**2 + d + 5. Let j be n(0). Suppose j*f - 2*v = 2*v - 52, 3*v = -5*f - 31. Let o = f + 13. Solve 0 = 2*y - 2*z + 10, -3*y - o*z + 4 = -5 for y.
-2
Let j = 4840 + -4840. Let a(h) = h**3 - 2*h**2 + h + 1. Let t be a(2). Solve -t*m - 4*f - 29 = 0, m - 5*f = -j*m + 22 for m.
-3
Suppose -5*i - 2*f = 6, -4*i = -7*f + 3*f - 12. Solve -5*b - 8 - 4 = -c, i = 3*c - 6 for b.
-2
Let g(s) = -2*s**2 - 5 + 2 - 2 + 3 + s - s**3. Let p be g(-3). Solve 4*c - 6 = -p*v + 10, 0 = -4*c - 5*v + 17 for c.
3
Let k = 80 + -24. Let a = k + -52. Solve 0 = -a*x + 4*d - 8, -3*x - 6 - 24 = 5*d for x.
-5
Let j be (-24)/(-84) - (-89)/7. Suppose -j*d + 10*d = 9. Let u be (-1 - (5 + d)) + 7. Solve -p = u*i - 11, -3*i - p + 37 = -6*p for i.
4
Suppose -2*l + 2*j + 36 - 4 = 0, -j + 110 = 5*l. Solve -3*k + 5*u - l = 0, 0 = -k - 2*k - 4*u + 6 for k.
-2
Suppose 2*h - 5*g = 37, 0 = g + 1 + 2. Suppose -4*o - 22 = -5*t, -4*t - 4*o - 3 = 1. Suppose -133*w + 120*w = -26. Solve 4*z = -5*j - h, z + 7 - t = -w*j for j.
-3
Suppose 2 - 2 = -6*k. Let a = 13 + -9. Solve 3 = a*p + 19, 5*b + 3*p + 22 = k for b.
-2
Let h be (-7)/(-1) + 4 + (0 - 6). Solve 4*c + 0 = j + 11, 3*j - 1 = -h*c for c.
2
Suppose -3*k = -x + 4*x - 69, k = -5. Let c = -40 + x. Let r(j) = -j - 6. Let o be r(c). Solve 8 = -3*t + 4*h, 3*h - h + o = -t for t.
-4
Let b be 2*-1 + 6 + -1. Suppose 16 = 2*z + 3*z + b*a, 2*a - 9 = -3*z. Solve s + p = -2*p - 9, -2*s = -z*p - 15 for s.
0
Let t be (-1)/6 + (-781)/66. Let q be -4*9/t + -3. Solve q*c = c - d, -d = c - 8 for c.
4
Suppose -2 = 13*n - 41. Suppose -m - 4*m - 3*x = 0, 0 = -n*m - 5*x. Solve 6 = -3*l - 5*w + 15, 4*l + 4*w - 12 = m for l.
3
Let g = -308 + 312. Solve -6*y + 8 = -2*y - g*z, 12 = 2*y + 2*z for y.
4
Suppose 0 = 11*s + 23 - 430. Solve -3*m - 21 = -3*c, 0 = -4*c + 3*m + s - 14 for c.
2
Suppose -2*o - 2*o = -8. Suppose 3*m = 7*m. Suppose 0 = -m*f - 3*f + 12, 3*f + 3 = 5*p. Solve 0 = -r + o, -d - p*d + 8 = 2*r for d.
1
Let l be -6*222/(-288) - (-9)/24. Solve -5*w + 2*x = -21, 0 = -w - 2*w + l*x + 5 for w.
5
Let o(q) = -2*q**3 - 14*q**2 + 12*q - 17. Let s be o(-8). Let k(l) = -5*l + 79. Let n be k(s). Solve j - 5 = 5*p - 2*j, n*p + 21 = -j for p.
-4
Let g(v) = -2 - v**2 + 8*v + 2 + 3. Suppose -41 = -5*h - k, 2*h - k = h + 7. Let j be g(h). Solve 2*i = -5*d - 10, j*i + 2*i - 9 = -4*d for d.
-4
Suppose 0 = 12*f + 194 - 230. Solve -3*y - f = 3*h, 2*y = 7*h - 3*h - 8 for y.
-2
Let y = 76 + -72. Let u be (-18 + 21)/(6/y). Suppose 5*p - 3*p - 4 = 0. Solve 3*l + 11 = -1, p*t = -u*l - 14 for t.
-3
Let y = 24 + -21. Suppose y = -5*h + 3*d, 5*d - 4 = -h + 1. Suppose h = -3*v - c + 5, 5*v - 15 = 5*c. Solve -k = -4, -12 = -m - v*k - k for m.
0
Suppose -4*d = 3*b - 12, b - 12 = -3*d - 8. Solve 5*s + k + 6 = 0, -5*s - 4*k - 9 = -d*s for s.
-1
Let n = 26 + -70. Let m = -26 - n. Let t(y) = y**2 + 2*y - 1. Let w be t(1). Solve w*c - 4 - 6 = -u, -4*c + m = u for u.
2
Let q(z) = -z**2 + z + 1. Let g(i) = -15*i**2 + 3*i + 5. Let h(j) = -g(j) + 4*q(j). Let w be h(-1). Solve -4*s = -4*o - 3*s - w, s = o + 3 for o.
-2
Let d = 347 + -343. Solve d*p = -5*c + 22, -1 = -2*p + c + 3 for p.
3
Let p = 1150 - 1150. Solve 5*v = -4*r, 3*v - 3*r - r + 32 = p for v.
-4
Let n(v) = -2*v + 5. Suppose 2*f = 2*o - 14, 0*o = -o + 3*f + 13. Let a be n(o). Let s be 5 - ((-3)/a - -1). Solve -i - s*m - 2 = 4, -3*i + m = 8 for i.
-3
Suppose -4 = -2*d - 2*w - 0, 0 = -5*d + 4*w + 28. Suppose 4 + 0 = 4*s. Let m = s + d. Solve -4*x = m*t + 23 - 68, 35 = 5*x + 2*t for x.
5
Let b = 38 + -21. Suppose 15 = 39*o - 36*o. Solve 3*w = -0*w - 2*y + 18, o*w - y - b = 0 for w.
4
Suppose -4*f + 8 = -2*f. Let z = -40 + 45. Suppose z*v - 23 = -8. Solve 0 = 2*g - f, v*j = 4*g - 2 for j.
2
Suppose -4*w + 85 = -3*p, -5*p = -17 - 8. Solve -4*f + 3*n - w = 0, 0 = -3*f + n - 19 + 4 for f.
-4
Let t be 56 - 2*2/(-4). Let q = t - 51. Solve -5*k - n + 4*n = 11, -q = 2*n for k.
-4
Let n be 2/(4 + (-82)/21). Suppose -3 = 3*r + 4*a - n, -r - a = -5. Solve -d = 5*m - 9, -m - 13 = -6*m - r*d for m.
1
Let c(h) = 37*h + 2. Let y be c(-1). Let f = -30 - y. Solve 10 = -f*i - 5*k, -i + 0 = 2*k + 1 for i.
-3
Suppose 14 = 4*w - 0*w + 2*q, -5*q = w - 17. Suppose 0 = -3*a + 4 + w. Solve -3*z - 4 = 3*h - a*h, -10 = -5*h for z.
-2
Let d = 11 - 139. Let n be (96/d)/((-3)/8). Solve -b + 11 = 2*x, 2*x + n = -3*b + 19 for b.
3
Let x be -34*4*5/10. Let i = x - -72. Solve u + i*l - l + 11 = 0, 4*l = -2*u - 18 for u.
-5
Suppose -2*a = a - 27. Suppose n + 4*l + 2 - 17 = 0, 0 = -4*n + l + a. Suppose n*f = -0 + 6. Solve -5*y = -2*c + 5, f*y + 0 = 2 for c.
5
Let v(j) = j**2 + 44*j - 137. Let d be v(-47). Solve 5*s + 20 = -5*p, d*p - 4*s + 6*s + 12 = 0 for p.
-2
Let p be (-132)/(-528) + (-2)/8. Solve 1 = l, -7*b + 2*b + 4*l - 14 = p for b.
-2
Let s(z) = 3*z**2 - 6*z - 3. Let i be s(-2). Let g = i - 19. Suppose 5 = 7*v - 2*v. Solve -5*l = -5*b - 35, b + g*l = -2 + v for b.
-5
Suppose -2 = -6*l + 4*l. Solve -z - l = -o, 4*o + 14 - 2 = 0 for z.
-4
Suppose 5*f - 15 - 16 = 4*v, -4*f - 4 = 4*v. Suppose 0 = -2*d + f*d - 6. Solve 0 = 4*j + 12, -3*r = -2*j + 4*j + d for r.
0
Suppose 4*g = -s - 13 + 25, 0 = 3*s - 4*g - 4. Solve s*q = 3*a + 24, 2*a = 4*a + q + 5 for a.
-4
Let s be -12*((-52)/12 - -3). Suppose p = s + 29. Suppose 138 - 49 = 5*t + 3*c, 3*t - c = p. Solve t = 2*g + 5*o, -g + 3*o - 1 - 2 = 0 for g.
3
Let u(w) = -w**3 - 15*w**2 + 11*w - 76. Let r be u(-16). Solve 5*f + 0*f = -3*a - 31, 3*f = r*a - 7 for a.
-2
Let b = 74 + -50. Suppose 7*s + u = 2*s + b, -2*s - 3*u + 7 = 0. Solve 3*w = 2*t - 23, w - 5*t - s = 6*w for w.
-5
Let j(w) = -w**2 + 13*w - 9. Let q be j(12). Let t be 1 + (3 - 5) - -1. Suppose -3*u - u = t. Solve u = -v - 3*b - 2, 3*b + 0*b = q for v.
-5
Let f be 2*21/(-12)*4. Let w = 17 + f. Solve 14 = w*g + v, 5*g + 1 = 4*v - 4 for g.
3
Suppose -27 = 2*p - f - 77, -2*p + 50 = -4*f. Solve -15 = r + 3*x, 2*r + 5*x = 3*r - p for r.
0
Let d(s) = -s**3 + 7*s**2 + 18*s + 3. Let w(f) = f + 1. Let p be w(8). Let x be d(p). Solve -3*k + k = b - 4, x*k = 0 for b.
4
Suppose -2*u - 2 + 0 = 0. Let i = 11 - 7. Let n = u + i. Solve 4*m - 2*m = -n*s + 2, 4*m = 5*s + 4 for s.
0
Let o = -9 + 13. Let a be o/(-14) - 74/(-14). Let j = 0 + a. Solve -5*f = 4*c + j, -4*c = -f - 12 - 13 for c.
5
Let y be 89 - 71 - (0/2 - 3). Solve -5*d + 3 = -3*z, -3*z + y = 4*d - 3 for d.
3
Let j(u) = -u**3 - 7*u**2 - 3*u - 13. Let r be j(-7). Let f = 17 - r. Solve -2*m = p + 4, 5*p - 1 - f = 0 for m.
-3
Suppose -f = -5*d + 26, 4*d - 4*f = -f + 23. Suppose 4*s = -d*t + 2*s + 20, -4*t - 4*s + 4 = 0. Solve -4*i = u + 8 + t, -2*i + u - 10 = 0 for i.
-4
Let x(b) = 8*b**2 + 2*b - 1. Let w be (3 + -7 + 2)/1. Let a = 3 + w. Let t be x(a). Solve -8 = 5*n - n + 5*l, n = -3*l - t for n.
3
Suppose 5*i - 3*s - 80 = -6*s, -2*i = -s - 43. Solve 0 = 4*a - p + i, -p - 2*p = -5*a - 22 for a.
-5
Let l = 24 + -24. Suppose k - 5*w - 69 = 51, l = 3*k - 3*w - 312. Suppose 2*n - 10 = 0, 3*r + 2*n - 3*n = k. Solve -2*f - 5*o = r, 0*o - 15 = 3*o for f.
-5
Suppose -25*y = -121 + 21. Solve x = -3*x + y, -3*c = 4*x - 19 for c.
5
Let k(h) = 2*h - 1. Let f be k(5). Let l(v) = v**3 - 8*v**2 - 10*v + 13. Let t be l(f). Solve 2*m + 3 = a, 0*m + 24 = -t*a - m for a.
-5
Let o be 0/(1/(-1))*(-2)/4. Suppose