-7). Let o be (0 + h/(-10))*-5. Suppose -o*z = 10 - 40. Solve -8 = z*l - n + 6, 2*l + 5*n = 16 for l.
-2
Suppose -5*c - 6*v + 19 = -7*v, v = 1. Suppose 0*l - 2*l + 6 = 0. Solve -5*o = 12 + l, 37 = 5*h - c*o for h.
5
Let u(s) = 4*s - 4. Let t be u(1). Suppose 3*a = 4*p + 16, -3*a + 10 = -t*a + 2*p. Solve 5*d + 3*o = -23, -a*d + 4*o - 12 = -0*d for d.
-4
Suppose 0 = -3*z - 2*z + 10. Suppose w + z*c - 3*c + 2 = 0, c = -w + 4. Solve -3*b = -4*o + 3, 3*o - 3*b + 2*b = w for o.
0
Suppose 5*h - 17 = -n, -5*h - 12*n + 9*n = -11. Solve h*c = -o - 2, -o = -6*o - 10 for c.
0
Suppose 0 = -4*w - 0*w - 12. Suppose 11*x - 3*x = -56. Let v = w - x. Solve -u = -2*u - z, v*z = u + 5 for u.
-1
Let l be ((-8)/(-14))/(-1 + (-27)/(-21)). Solve -l*s + 5*j - 20 = 2*s, 3*s = 2*j - 8 for s.
0
Suppose -4*u + 10 = -18. Suppose k - 7 = -3*m + 2*k, -2*m = -3*k - u. Solve 5 = -2*x + 3*z, -x + z + m = 4*z for x.
-1
Suppose 24*a = 2*u + 23*a - 37, 0 = -3*u - 5*a + 75. Solve 5*l = u, -3*b - l - 5 = -6*b for b.
3
Suppose -5*q - 25*s = -20*s - 45, 2*q - 3 = s. Let f(g) = g**3 - g**2 + 2. Let c be f(0). Solve q*v = 8, 5*v = c*r - 0*v + 10 for r.
0
Let c = 11 - 14. Suppose 0 = -3*o - 2*p + 8, 5*o + 3*p = p + 16. Let x be (0 - -24)/(o + c). Solve x = -w + 5*u, -4*w + 0*w = 2*u - 14 for w.
1
Let x = -33 - -65. Suppose -u - 15 = -3*d - 3*u, u = 3*d - 6. Suppose d*t - x = -t. Solve -4*v + t = -4*w, -3*w - v - v + 14 = 0 for w.
2
Let m(j) = 47*j + 284. Let n be m(-6). Solve 3*l = -2*t + 17, n*t = -4*l + 29 - 9 for t.
4
Let m be (2/((-4)/(-3)))/(3/52). Suppose 23*k + 12 = m*k. Solve 0 = 2*l - l - 4*f - 7, -k*l - 17 = -f for l.
-5
Let r = -143 - -183. Solve -4*g + 7 = 4*h - 3*h, -5*g + r = -5*h for h.
-5
Let w be (-10)/(-3)*9*2. Let o be (-27)/2*(-34)/51. Let f be ((-3)/(o/w))/(-1). Solve 0 = 4*b + 2*r - f, 5*r + 8 = 2*b - 2 for b.
5
Let m(l) = -l - 2. Let s be m(-7). Let f(b) = -8*b + s*b - 7 + 4*b + 2. Let d be f(9). Solve -4*p + 3*u - u - 10 = 0, d = -3*p - 2*u for p.
-2
Let t(p) = 11*p**2. Let s be t(1). Suppose 0 = 2*r + 2, -h - 4*r = 2*h - s. Solve q + 2*q = h*g - 20, -5*q = -g + 26 for g.
1
Let d = -1132 + 1137. Solve 2*f + 5*h = 9*h + 6, 0 = -d*f + h + 6 for f.
1
Let c = -438 - -442. Let o(u) = u**3 + 6*u**2 + 5*u + 6. Let b be o(-5). Solve 0 = f + 2*n + 2, 2*f - b*f + 28 = -c*n for f.
4
Let p be 5 + (38 - (-4 + -1)). Let u = p - 21. Solve -28 = 4*d - 4*c - 12, 0 = 5*d + 2*c + u for d.
-5
Suppose -5*l = -0*l. Suppose l = -5*r + r + 52. Suppose r - 23 = -2*v. Solve -v*y - 4*c = 19, y - 2*c + 0 = -1 for y.
-3
Let v = 84 - 82. Let f be (0*v/10)/(-1). Let n = 6 + -2. Solve 4*d = -d + n*k + 4, 4*d - 4*k = f for d.
4
Suppose -k - 30 = -5*c - 11, -2*k = 2*c - 10. Solve -c*y = -y - 5*x - 9, 0 = -4*y + 4*x + 12 for y.
3
Let k(l) = l**3 + 10*l**2 + 26*l + 7. Let s be k(-5). Solve 0 + 2 = -5*y - 2*h, 2*h + s = 0 for y.
0
Let i(p) = -p**2 + 15*p + 66. Let w be i(17). Solve 2*m - 3*s - 23 = 0, -m - 4*s - w = -4*m for m.
4
Let x(y) = -2*y - 8. Let i be x(-4). Solve 0 = 3*a, 5*a + 3 = -i*w + w for w.
3
Suppose 0 = 176*d - 152*d - 96. Solve d*s + y = 0, -6*s = -5*s + 2*y - 7 for s.
-1
Let f(y) = y**2 - 4*y. Let u be f(4). Suppose 4*r = 8 - u. Let o be ((-5)/(-10))/(r/4). Solve -2*z + o - 16 = -5*x, 4*x = 20 for z.
5
Let t = 24 + -17. Suppose -10 = -9*p + t*p. Solve -5*j = -4*w, -p*j = 4*w - 3*w - 25 for w.
5
Let k be (-20)/(-5)*2/(-4). Let h be (3/k)/(1/(-2)). Suppose -20 = -h*d - 2*d. Solve -1 = -3*n + g + g, -g + d = 0 for n.
3
Suppose -4*c = -5*v - 28, -2*v + 7 = c + 2*v. Let b be -1 + c + -2 + -2. Solve -a + 15 = b*a - 3*o, 2*o = -10 for a.
0
Let h(z) = -z**3 + 4*z**2 - 10*z - 9. Let a(d) = 2*d**3 - 3*d**2 + 10*d + 9. Let x(w) = 2*a(w) + 3*h(w). Let o be x(-7). Solve c = 0, u - 4*u - 5*c = -o for u.
4
Let w = -14 - -34. Suppose 9*z - 16 = w. Suppose -3*d = -13 - 35. Solve 0*r + 5*x + d = -z*r, 4*r + 16 = -x for r.
-4
Let f(k) = k + 14. Let o = 13 - 24. Let a be f(o). Suppose 0 = a*m - 17 + 5. Solve 0*q + 8 = -q - m*c, -c = q + 2 for q.
0
Suppose 171 = -3*s + 60. Let i = s - -45. Let d be (2/(-2))/(2/(-10)). Solve -d*c + i = 5*q - 2, 0 = 4*c - q + 2 for c.
0
Suppose -p - 3*a = -3*p + 7, 0 = -p + 5*a. Solve 3*y + 5*b = -y, y = p*b for y.
0
Suppose -q = -0*q. Let b = 3 - 10. Let d = -7 - b. Solve 2*a + 5*g + q - 24 = 0, 4*a - g - 4 = d for a.
2
Suppose 0 - 3 = 5*m + 2*z, -4*z = 16. Suppose -m = o - 2*i + 5*i, -o + i + 7 = 0. Solve o*g + 0*l + l - 5 = 0, -g + 5 = l for g.
0
Let t = 8 + -4. Let f be -1 + 4 + t + -2. Suppose 204 = f*p + 3*h + 30, 9 = 3*h. Solve p = -4*s - s + 4*a, -s - 15 = -5*a for s.
-5
Suppose -9 = 2*o + o. Let m be -3 + (-24)/o + 0. Let n(x) = x**3 - 7*x**2 + 6*x + 6. Let u be n(6). Solve -b - u = 2*b + h, -5*b - m*h = 10 for b.
-2
Suppose -2*t - 3*t = 3*n - 15, 5*t + 20 = 4*n. Suppose 4*x + 4*l - 16 = t, 0*x + 5*x = 4*l + 2. Solve b + 14 = -2*z, -x*b = -0*b + 5*z + 33 for b.
-4
Let f be (2/8)/(3/24). Solve 4*k - 3*c = -3, -2*c = f*k - c - 1 for k.
0
Let d(x) = x + 1. Let w be d(-6). Let b be 28/10 + (-1)/w. Solve 0 = -5*f - b*p + 25 + 15, -3*f + 40 = 5*p for f.
5
Suppose -g = -2*g - o - 1, 2*g + 5*o + 17 = 0. Let r be (g/3)/((-13)/156). Let x = r + 25. Solve -3*d = x, -3*k + 4*d = d - 15 for k.
2
Let n be (204/(-27))/(-2) + (-4)/(-18). Suppose 0 = -0*j + 15*j - 30. Solve j*k = g - 7, 3*k + 5 = -0*k - n*g for k.
-3
Suppose 4*k = -3*x + 143 - 0, 4*x = -2*k + 84. Let t = -28 + k. Solve t*y + 2 = 3*m - 1, m = 3*y + 1 for m.
1
Let u(q) = -6*q - 43. Let b be (8/(-5))/(-6*(-6)/180). Let a be u(b). Solve -a = -5*t - 3*i, -4*t - 4*i = -i - 7 for t.
-2
Suppose 494*r = 499*r - 15. Solve 5*c - r*g + 2 = 0, -2*g = -2*c - g for c.
2
Let x(k) = k**2 + 18*k + 11. Let j be x(-9). Let a be 2/(-4 - j/15). Solve a*b - s + 0*s - 20 = 0, 2*s + 30 = 4*b for b.
5
Suppose -36*o = -43*o + 112. Let q = 26 - 26. Solve 4*x - f + 1 + o = q, -5*f - 40 = 5*x for x.
-5
Let w be 2/(1*2/4). Suppose -w*g - 3*x = -1, -3*x - 2 - 1 = 3*g. Suppose -14 = -g*q - 6. Solve -q = -2*s - 5*v, 0 = -3*v + 4 + 2 for s.
-4
Let y(a) = a**2 - 3*a - 17. Let w be y(5). Let o be ((-6)/w)/((-51)/(-238)). Solve 0 = r - 4, 0 = -4*x - 5*r + r + o for x.
-3
Let g(q) = -6*q + 5*q - q - 5. Let i be g(-4). Let a = -11 - -16. Solve 0 = 3*j + i, -a*u + 8*j + 20 = 3*j for u.
3
Suppose n = 2*n + 69. Let r = n + 81. Solve 5*l = 5*s + 20, -2*l - 2*l + 2*s + r = 0 for l.
2
Suppose 12*x + 59*x = 142. Solve 16 = x*o + 4*d, o + 0*o = -d + 4 for o.
0
Let b be (-3 + 3)/(-2 - -3). Solve 3*u + 0 - 4 = m, 2*m + 3*u - 1 = b for m.
-1
Let p(s) = -s**3 + 3*s**2 - 4*s + 35. Let l be p(4). Solve -11*d = -15*d - 3*r + l, -4*r = -5*d - 4 for d.
0
Let s = -358 + 368. Solve 2*b = -p + s, -8 = -3*p + 4 for b.
3
Suppose -7*l + 3*l + 4*y = -4, -5*l + 17 = -y. Solve -w + 1 = -2*w + q, l*w = 5*q - 5 for w.
0
Let n(y) = 2*y**3 - y**3 + y - 14*y + 3*y**2 - 19 + 7*y**2. Let h be n(-11). Solve -5*a - 8 = 4*q - 2, 5*a + h*q = -2 for a.
2
Let z be 16*(1/(-9))/(56/(-63)). Solve 5*u = -6*p + z*p, 0 = -3*u + 5*p + 37 for u.
4
Let w(p) = p**3 - 7*p**2 - 4*p + 37. Let y be w(7). Solve 0 = 5*k - 2*i + 26, y = 3*i - 0 for k.
-4
Suppose n - 23 - 57 = -4*i, 2*n = 2*i - 40. Let g be 6/21 + (-285)/(-7). Suppose 5*b - g - 19 = 0. Solve 3*r - b = 0, r - 4*r + i = 2*z for z.
4
Suppose 0*y = 2*y - 4. Suppose h = 3*c - 13, 2*h - 3*c - y*c = -21. Solve 26 = -4*d - 5*v, h*d - 10 = 6*d - 3*v for d.
-4
Suppose -x - 4 - 4 = 0. Let t(j) = j**3 + 4*j**2 + 2*j. Let m be t(-4). Let g = x - m. Solve r + 1 = q - 0, -3*r + 9 = g for q.
4
Let r = 15 + -13. Suppose -10 = -4*n + g - 3*g, -r*n + 9 = 5*g. Solve -5*x + 4*h - 21 - 11 = 0, x - n*h = -10 for x.
-4
Let m be (-648)/(-45) - (-4)/(-10). Suppose -m*h = -17*h. Solve g - 1 = h, 5*b - 24 = -5*g - 4 for b.
3
Suppose -2*n + 53 = -63. Suppose 4*v - 6*v + r - n = 0, -2*v - 52 = 2*r. Let p = v + 41. Solve p = 3*k - 4*i, 5*k + 3*i = i - 13 for k.
-1
Let m = -55 - -58. Solve m*t + 10 = p, 0 = 3*t + p - 4*p + 18 for t.
-2
Suppose -j - 2*g + 6 = 0, -j = -g - 2*g + 4. Suppose k = -3*u + 9, -u = u - 2*k + j. Let v = -1 + u. Solve -5*m = 2*p + 9, -2*m - 3*p - v = -4 for m.
-3
Suppose 1411*k = 1414*k - 81. Solve -5*l + 2*s - 1 + k = 0, -s = 5*l - 17 for l.
4
Let r(n) = -n**3 + 7*n**2 + 6*n + 18. Let a be r(8). Let o be -1*1*-18*1. Suppose w + 0*w - o = 0. So