. Solve 2 = -o*h + 2*z - 0, -4*z + 36 = 4*h for h.
4
Let i(m) = -4*m - 4. Let o be i(-3). Let j = o + 6. Let f be (-2)/(-5)*35/j. Solve -4*b = y - 6 - 8, -b - f = -2*y for b.
3
Suppose -w - w = -70. Let o = 76 - 72. Solve -5*n = o*s - w, -5*s + s + 3*n + 11 = 0 for s.
5
Suppose -l = -2*l + 30. Let v = 35 - l. Suppose -7*u + 3*u + 38 = v*s, -5*u = 3*s - 28. Solve -g + 4*d = 8, d - 1 = -4*g + s*d for g.
4
Suppose -3*y = 2*n, 0 = 2*n - 6*y + 4*y. Solve -4*b - 5*h + 10 = 0, -4*b - 2*h = -4 - n for b.
0
Let t = -15 + 8. Let p be (-3)/t - (-22)/14. Suppose 2*z = -0*z + 6. Solve -2*s - 7 = p*c + z, 5*s = 4*c - 7 for c.
-2
Let k be (-9)/((8/20)/((-18)/15)). Suppose -k = 7*v - 48. Solve 0*b = 2*n + 5*b - 10, -n + 5 = -v*b for n.
5
Let a = -9 - -54. Suppose 8*f = a - 13. Suppose -3*c + 6 = -c. Solve -c*d - 4*r + 2*r - 10 = 0, f*r = -5*d - 18 for d.
-2
Let a(t) = -t - 9. Let s be 1 - (-72 - (-3 + 1)). Suppose 3*p + p + s = 5*o, 2*o = -5*p - 64. Let z be a(p). Solve 5*r + 12 = h, -2*r = 2*h + 7 + z for r.
-3
Let f(u) = 8*u + 89. Let a(p) = -4*p - 45. Let c(j) = -13*a(j) - 6*f(j). Let s be c(-12). Solve 5*z + 2 = 3*r, 2*r - s*r + 3 = -4*z for r.
-1
Suppose 4*x - 6 - 6 = 4*t, -3*x - 5*t = -1. Solve f - 2 = x*y + 3, -3*y = -f + 9 for f.
-3
Suppose -132 = -3*p + s, -4*p + 0*p + 186 = 2*s. Let u = p - 25. Suppose 2*z = -m + 7, -3*z - 3*m + 12 + 3 = 0. Solve -n - 1 = -z*c - 0, 5*c - u = -n for n.
5
Let w be (-63)/18*4/(-1). Let k(t) = 4*t**2 - t. Let c be k(1). Let i be 22/5 - c/(-5). Solve 0 = -i*l - 25, -p + w = -3*l for p.
-1
Let a = -27 - -5. Let y = a + 26. Solve 8 = y*n, 4*n = 4*d - 0*n + 16 for d.
-2
Let z be -3*3/(-9)*1. Let j be -2 + 15/z + 4. Solve -3*h - 4*f = -j, -f = -4*h - 0*f + 10 for h.
3
Suppose 91 - 97 = -3*l. Solve 5*s - d + l*d - 10 = 0, -3*d = s + 12 for s.
3
Let x = -64 - -47. Let v = -15 - x. Solve 0 = 2*c - 4*f - 10, c - v*f = -c for c.
-5
Let m(c) = 3*c + 1 - 4 - 2. Let w be m(3). Suppose -a - 2*j = -3, 3*a + 5 = 4*j + w. Solve -4*i - s - 9 = 0, -2*s = 3 - a for i.
-2
Let c = 13 + -10. Suppose -3*u - 6 + 18 = 3*t, -13 = -2*t + c*u. Solve 2*p + 3*n = -2, -n - t = -2*p + 1 for p.
2
Let y(d) = 5*d + 22. Let r be y(-2). Solve 0 = -5*f - 10, -2*s + 0*f - 5*f - r = 0 for s.
-1
Let t be (4/6)/((-1)/(-18)). Let z(o) = -o**3 - 11*o**2 + 16*o + 18. Let a be z(-12). Let j be ((-72)/60)/(2/a). Solve 4*y + t = 5*s - 4*s, -y + j = 5*s for y.
-2
Suppose 0 = -s - 3*n + 8, -6*s + 3*s = 4*n - 19. Suppose 5*l - 55 - s = 0. Solve -3*b - 2*b - m - 3 = 0, 4*m + l = b for b.
0
Let s = 551 + -546. Suppose 6 = y - m + 3, 6 = -5*y - 2*m. Solve s = 5*q - 5*h, 3 = -y*q - q + 5*h for q.
2
Let p be -2 + (0/1 - -10). Suppose -4*x - 4 = 5*r - 23, 9 = 2*r + 3*x. Solve 3*q + 4*a = -6, 8*a - p = 4*q + r*a for q.
-2
Let i = -12 - -14. Let h(t) be the first derivative of t**3/3 - 2*t**2 + 4*t + 3. Let r be h(4). Solve -m - 8 = -r*g, 8 = i*g + 2*g for m.
0
Suppose -3*x = -3*y - 7*x + 29, -5*y = 3*x - 52. Let c(s) = -13*s + 342. Let i be c(26). Solve f = -4*q + q + 6, q = i*f - y for f.
3
Suppose -24 = -5*t - 174*o + 173*o, -4 = 4*o. Solve 0 = 4*d - 3*d + 4, -4*d = t*s + 26 for s.
-2
Let u(v) = -v**3 + 12*v**2 - 8*v - 12. Let j be u(12). Let o = -204 - j. Let c be (3/(-9))/(4/o). Solve 5*m + 7 = -3*b - 9, m = b - c for m.
-5
Let p = -178 + 183. Solve 0*t + p = -5*w - t, -2*t - 1 = w for w.
-1
Let m be (-3 - (-11)/3) + (-8)/12. Suppose m = h - 0. Solve h = -3*i - 2*q - 10, 0 = -i + 5*q + 1 + 7 for i.
-2
Let u(d) = d**3 + 8*d**2 + 15*d + 1. Let h be u(-5). Let b be (31 - 29) + (0 - h)/(-1). Solve 0*q - 5*n = 5*q - 35, -2*q - 1 = -b*n for q.
4
Let h be ((-9)/(-2))/3*4. Let v = 10 - h. Suppose 4*b - 3*n - 29 = 0, -4*b - v*n + 0*n = -8. Solve -3*s + 2*j = 4, -s - s = b*j + 9 for s.
-2
Let w(u) = u**2 - 3*u - 7. Let t be w(5). Let y(v) = 3 - v**t + 0*v**3 - v + 1. Let p be y(0). Solve -2*j - p*g = -8 + 2, 4*j = -5*g + 15 for j.
5
Suppose 4*j + 2 + 6 = -4*o, 15 = -3*j. Suppose i + 9 = 3*l, 13 = o*i + 4*l - 5*l. Solve 0 = -2*f + p - 3, 0*p = 3*f - p + i for f.
-3
Suppose -3*k + 27 = 132. Let t = -67 - k. Let z = 52 + t. Solve 0*j + 5*y + z = 3*j, -j - 20 = 5*y for j.
0
Suppose -5*g + 5*r - 10 = 75, -3*g - r - 31 = 0. Let b = g - -12. Suppose b = 12*i - 8*i - 16. Solve -11 = -a + 2*y + y, i*a + 26 = -2*y for a.
-4
Let d(i) = 13*i**2 - i - 2. Let z be d(-1). Suppose -z*j + 23*j = 0. Solve j = 4*c + 3*q + 20, -2*c - 5 = -c - q for c.
-5
Let b(l) = l**3 + 6*l**2 + 7*l + 13. Let y be b(-5). Solve -2*i = 4*j + 20 - 4, -y*j + 2*i = -2 for j.
-2
Suppose 0 = 2*v + m - 16, -2*v + 2*m - 6*m + 28 = 0. Suppose 7 = v*b + 1. Solve u + 1 = -z, -b = -u + 2 for z.
-4
Let f = 27 - 20. Suppose f*w - 11 = 3. Solve o = q - w, 2*q - q - 1 = 0 for o.
-1
Let u = 181 + -138. Let d be ((-4)/(-10) - 0)*(u + -33). Solve -2*j - p - 7 = 0, -d*j - 4*p = -j + 18 for j.
-2
Let g be (-2040)/(-300) + (-4)/5. Solve 0 = -2*s + 4*c + g, -8*s - 5*c = -3*s + 45 for s.
-5
Let j(i) = -17*i**2 - 84*i + 8. Let c be j(-5). Solve 2*h - 4*x - 10 = 0, c*x + 4 = 2*h + x for h.
-1
Let y(t) = 3*t - 27. Let u be y(7). Let k = u + 11. Solve k*q + 45 = 4*a, 0 = 7*a - 2*a - 25 for q.
-5
Let p be 4 - (1 + -2)*-1. Suppose 3*y = p*m - 6*m - 1032, 4*y = 0. Let w be (-2)/6 + m/(-24). Solve -4*b = 2*l - w, -l + 9 = 2*b + b for b.
2
Let l = 92 + -56. Suppose 4*x - l = 12. Solve 5*s - 16 - 6 = -3*w, x = 3*s + 3*w for s.
5
Let n = -86 - -86. Solve t = -n*t - 2*y - 1, -4 = t + 3*y for t.
5
Let t be (-76)/(-10) + (-22)/(-55). Suppose -4*m + 3*i + 23 = 0, -t = -5*m + 4*m + 3*i. Solve -2*q + 30 = -m*v + 12, q + v = 2 for q.
4
Let z(w) = 103*w - 307. Let p be z(3). Solve 0 = v + t + 4*t + 10, -p*v = t + 2 for v.
0
Let g = -27 + 29. Let z(v) = 6*v**2 - 2*v + 3. Let m be z(g). Let p = -18 + m. Solve -13 - 13 = 4*f + 5*k, 4*f + 6 = p*k for f.
-4
Let i(b) = -5*b - 68. Suppose -n - 4*n = 70. Let r be i(n). Solve 2*m + 2*o = 8, -r*m + 4*m - 5*o + 27 = 0 for m.
-1
Let c be -6 + 3 - 55*1. Let f = c + 96. Solve -2*i - 28 = -4*p, -4*i + 4*p + 2 = f for i.
-4
Let n = -330 - -330. Solve -3*v - 3*h = 21, 4*h = -n*h - 12 for v.
-4
Let c be (-3 - 0) + 1 - -6. Suppose 3*h - c = 29. Suppose -5*x - 2*o + h = -29, -2*x + 4*o = -40. Solve -g = 4*g + t + 25, -2*t - x = 0 for g.
-4
Suppose l + 3 = -y, -9*y - 2*l = -8*y + 8. Solve -2*a - 3*o - y = -0*o, -4*a = 4*o + 4 for a.
-1
Let g be 58/8 - (-2)/(-8). Let o be 2/((39/130)/3). Solve -z = -2*f - g, -8*f = -3*f + o for z.
-1
Let x(y) = -576*y - 2. Let n be x(-1). Let o be n/(-56) - (-1)/4. Let t be (-54)/(-10) + 4/o. Solve w = 2*c - t, -3*c = w - 11 - 4 for w.
3
Let h(a) = -a**3 + 42*a**2 + 44*a - 41. Let j be h(43). Solve 5*o - 11 = 4*r, 4*o - 13 + j = r for o.
3
Suppose 2*h + 5 = 1, -h - 6 = -2*a. Let u be 7*(4/(-14) + 155/217). Solve -6 = a*r, -5*r = -8*i + u*i + 25 for i.
2
Let i be (10/(-35))/((-2)/14). Let w = 3 + 2. Suppose h = -w*f + 3 - 1, -3*h + 2*f = -40. Solve -h = -3*o, -i*u - u = -o - 2 for u.
2
Let j(p) = -23*p + 51. Let v be j(2). Solve -9 = 4*m + 2*k + k, 4*m + v*k = -15 for m.
0
Let l = -913 - -915. Solve 4*p = 2*g - 10, -4*p - l*g - 45 = 3*g for p.
-5
Suppose 0 = -100*k + 134*k - 68. Solve k*s - 5*s + 4 = 5*c, c = -3*s + 8 for s.
3
Let k(c) = -4*c - 3. Let a be k(-2). Let q = 22 - 11. Suppose q*s - 60 = 7*s. Solve -x + 2 = -p, a*p - 4 = 4*x - s for p.
-3
Let p(k) = -k**2 + 8*k - 12. Let y be p(6). Suppose y*f + 4*f = 16. Suppose -1 = -s, -3 - 9 = -4*m - f*s. Solve -3*q - 2*u = m*u - 20, -5*q + 10 = -5*u for q.
4
Let k be (2*(-48)/4)/(-3). Solve -2*v + 5*q - k = 0, -5*q + 12 = -3*v - q for v.
-4
Let y(g) = -67*g - 172. Let b be y(-3). Solve 2*s - 2*v = -2*s - 22, 5*s = 3*v - b for s.
-4
Let d be 10 + (-6 - -2 - -1). Suppose d = 3*q + 1. Solve -q*x + 16 = -4*s - 0*x, -5*s + 5*x - 30 = 0 for s.
-2
Let y be -3 + 54/12*(-100)/(-30). Solve -3*x = 5*n - 3*n + 20, -2*x = n + y for n.
-4
Suppose -w - 4*s + 4 = -1, -w + 5 = 3*s. Let z be 2/7 - 85/(-70)*8. Solve -w*j = -5*d - j + 8, -5*d = -5*j - z for d.
0
Let o(l) = l**2 + 10*l - 8. Let p be o(-11). Let y be (-18)/14 + (-4)/(-14). Let z be 15/(-6)*(-11 - y). Solve -5*i + 2*g + z = p*g, -4*i = 5*g - 41 for i.
4
Suppose 0 = 4*b - 5*b - 5, 3*b = -h - 15. Suppose h = 2*l - l + 3, -2*l = -3*z + 12. Solve -z*f + 14 = -4*y, 5*y = -3*f - 17 - 17 for f.
-3
Suppose 3*q