-m**3/3 - 9*m**2/2 + 12*m + 5. Let c be u(-10). Let r = -135 + 139. Solve 2*b + s + c*s = 8, 0 = -2*s + r for b.
1
Let w(k) = -10*k**2 + 65*k - 27. Let v be w(6). Solve 0 = -o - v*d + 12, -6 = d - 3*d for o.
3
Let l be 22/8 - (-4)/16. Solve -c - f = f + 4, l*f + 4 = -2*c for c.
4
Let q(z) = z**2 - 10*z - 39. Let w be q(-3). Solve w = -4*u + s + 3*s + 8, u - 10 = -3*s for u.
4
Let d = 439 - 434. Solve -t = d*w + 9, 2*t = -w - 0*w for w.
-2
Suppose -5*t + 2*z + 10 = -2*t, 0 = -4*z - 8. Suppose 5 = -0*s + s. Solve 0 = -t*y - 2*h - 16, -s*y - 13 = -0*y - 4*h for y.
-5
Let h = -2640 + 2646. Solve n - h = -4*c + 3*c, -n = 2*c - 10 for n.
2
Let w(n) = -3*n + 82. Let c be w(0). Let i = 85 - c. Solve -3*u - u - 4*l + 32 = 0, 3*l - i = 4*u for u.
3
Suppose 4*m - 32 - 28 = 0. Solve 2*n - 3*t + 6 = -1, 3*t - m = 0 for n.
4
Let p(y) = y**2 - 19*y + 21. Let z be p(18). Suppose 3*g - o - z = g, -5*o = -5*g + 5. Solve 0 = -m - g*q - 11, 3*m + 11 + 10 = -3*q for m.
-3
Suppose -5*q + 45 - 145 = 0. Let b be 8/3 + -1 + q/(-15). Solve 0 = 5*s - b*o - 4 + 2, -o = -4*s - 4 for s.
-2
Let d = 142 + -140. Let j(f) = f**3 + 4*f**2 + f - 2. Let m be j(-4). Let i = -1 - m. Solve q - d*a = 5*q + 18, -i*q = 3*a + 22 for q.
-5
Let z(v) = -v**3 - 10*v**2 - 3*v - 5. Let a be z(-10). Let c = a - 17. Let l = -5 + c. Solve 3*q = -3*k - l, -q = -k + 4*k + 9 for k.
-4
Let w(n) = -558 + 298 + 3*n + 277. Let v be w(-5). Solve -4*b = g - v*g - 9, 0 = g - b + 6 for g.
-5
Suppose b - 2*b = -1. Suppose 6*k - 31 = -b. Let i be 2*(-3 + 2) + 4. Solve -3*z - p + 12 = z, -i = k*z - 3*p for z.
2
Let o(v) = -4*v - 100. Let g be o(-26). Solve g = -4*p + 3*k, 4*k = -11*p + 6*p - 36 for p.
-4
Let k(v) = v**2 - 7*v - 6. Let n be k(6). Let m = 15 + n. Solve 0 = -2*x - y + 1, 5*y - 2*y = -m*x - 3 for x.
2
Let v(w) = w**2 - 5*w - 9. Let y be v(7). Let p be (-2)/(-4) - (-13)/2. Suppose -l - 6 = -p*l. Solve 2*g + l = -5*j, 0*j + 16 = -y*g + j for g.
-3
Suppose 0 = 82*o + 3*o. Solve -5*x + 4*y = -11, 37*x - 40*x + y + 8 = o for x.
3
Suppose 0 = 9*x - 6*x - 15. Solve 2*l + x*d - 13 = 15, l - 3*d = -8 for l.
4
Let u = -22 + 24. Suppose y - y = -u*y. Solve 0*k + 13 = -5*k - 4*l, k - l + 8 = y for k.
-5
Let s(v) = -v**3 + 7*v**2 + v + 1. Let c be s(7). Let u be ((-15)/6)/(105/(-126)). Solve 0 = 4*l - u*k + c, -3*k = -k for l.
-2
Let u(m) = m - 3. Let k be u(4). Let r be k*(-2 - 0)*-2. Solve 0 = r*w - 2*s, -2*s - 10 = -w + 2*w for w.
-2
Suppose 61*t = 64*t - 6. Solve -t*x = 5*b + 18 + 2, 4*b + 16 = 5*x for x.
0
Let o = 19 + -14. Solve -3*g + 4*i - 31 = 0, 5*g + 5*i - o = 2*g for g.
-5
Let m = 137 - 138. Let k be (-4 - (2 - 8)) + (-2)/m. Solve 13 = 3*c - v, c - 1 = v + k for c.
4
Let d(y) = y**3 - 5*y**2 + 6*y - 6. Let n = -30 + 34. Let r be d(n). Solve 0 = 3*v + 2*c + 10, -v + 3*c + 2 = -r for v.
-2
Let z = 7 + 17. Suppose z = -0*y + 2*y. Solve 5 = -n - l, l = 4*n - 3*l + y for n.
-4
Let r be -6 + 9 + 0 + -2. Solve -2*b = 2*q + 14, 0*b = -2*q + 3*b + r for q.
-4
Let q be 2/9 + (-170)/(-45). Let s = -1073 + 1076. Solve b - s*d = -5, -d - q*d + 20 = -4*b for b.
-5
Let m(b) = -b**3 + 10*b**2 - 6*b + 18. Let d be m(10). Suppose 0 = -4*z + 5*z + 14. Let a be 8/3 + z/d. Solve 2*w + 0*x - 4*x = -12, -a*w = 4*x - 2 for w.
-2
Suppose 6*a = 269 + 205. Let l = 87 - a. Solve 4*m = -9*x + 4*x - l, 7 = -4*x - 3*m for x.
-4
Let p = -175 - -95. Let u be ((-2)/(-8))/((-4)/p). Solve 0 = 5*i + 5*z, -2*z = -0*i - u*i + 28 for i.
4
Let p = -4 - 20. Let b be (-64)/p + 2/6. Solve 12 = -b*u + a, -2*a - 4 = u + a for u.
-4
Let f(g) = -813*g**2 - 2*g - 1. Let a be f(-1). Let o be a/(-98) + (-4)/14. Solve 19 = -3*h + v + v, 4*h + 4*v = o for h.
-3
Let n(d) = -10*d - 196. Let m(h) = 2*h + 39. Let y(w) = -14*m(w) - 3*n(w). Let s be y(-20). Solve -x + 2*z + s = 7*z, 3*z = 0 for x.
2
Suppose 155 = -4*h - 7*j + 4*j, -2*h - 3*j - 73 = 0. Let c = h + 44. Solve 0 = 2*q + k - 3, 0 = -q - c*q - 5*k - 9 for q.
4
Let c(z) = 16*z**2 + 20 + 16*z + 4*z**2 + 0*z**2 - 4*z**2 + z**3. Let a be c(-15). Solve 0 = -3*p - a*q - 7, 2*q - 31 + 9 = 5*p for p.
-4
Suppose -h - 3 = -2*y, 4*y + 1 = 3*y + 3*h. Solve 2*n = -y*u - 14, -3 = 5*u - 4*n - 13 for u.
-2
Suppose -7*b - 2 = -23. Let s(w) = -w + 16. Let r be s(13). Solve b*m - r = -3*z, 3*z + 7 = 4*m + 6*z for m.
4
Suppose 19 = -t + 7. Let c = 15 + t. Suppose 2*k + 4 = 2*u, 0 = 6*u - c*u + k + 2. Solve 0 = 3*r + 5*s - 21, s = 2*r - u*s - 1 for r.
2
Let l be (-4)/2*(-27)/18. Solve -l*f - 11 = 4*b, 11 + 7 = -4*f - 2*b for f.
-5
Let v be -14 - (-2 + 2)*1. Let w be v/49 - 69/(-21). Let m(l) = 7*l**2 - 2. Let z be m(-2). Solve -j + 11 + 3 = -w*b, 5*b - 3*j + z = 0 for b.
-4
Let l = 15 - 3. Let o be l - 10 - (1 + -4). Solve -1 = -o*j - 3*u + 18, 3*j - 11 = -2*u for j.
5
Let o(g) = 97*g - 191. Let y be o(2). Solve -i = y*l - 15, 3*i - 20 = -7*l + 3*l for i.
0
Suppose -5*a + 5*c = -50, -3*a = c - 0*c - 10. Suppose 7 + 43 = 25*h. Suppose -h*k = -6, p - a*k + 15 = -p. Solve -i + 4*y + 0 + 7 = p, -5*i + y = 22 for i.
-5
Suppose 53*k - 2*r = 51*k + 6, 55 = 5*k + 3*r. Solve -p = 4*j - 4*p - k, 3*p = 12 for j.
5
Let z(d) = d**2 - 13*d - 39. Let v be z(13). Let g = v - -42. Solve 4*r = -5*q + 13, 3*r = 2*q + q + g for r.
2
Let n be 4/((3*1)/((-135)/(-18))). Suppose 46 = 12*y + n. Solve -y*l = r + 3*r - 11, 2*r - 2 = 2*l for l.
1
Suppose -3*a + 7*a = -5*i + 15, -3*a - i + 14 = 0. Solve 5*l - 2*w + 3 + 2 = 0, a*l = w for l.
1
Suppose 2*z = 4*y - 8*y + 28, 0 = -5*z - 10. Let s be 13/((-156)/8) + 272/3. Let q = s + -85. Solve -j + 2*f = -y, -3*f - f = q*j + 30 for j.
-2
Let r be 3/(-21) + (3 - 8/(-7)). Solve -r*x - x + 25 = -5*a, 5 = 3*a + 2*x for a.
-1
Let n be 0 + 7 + -2 - 2. Let i be (9/4)/((-2)/(-8)). Suppose -6 = -n*o + i. Solve o*g = 2*a - 19, 0*g = -a + g + 5 for a.
2
Let n be -1 + -1 - 4/1. Let x be 14/21 + (-26)/n. Let p(r) = 2*r - 1. Let u be p(2). Solve s + 2*s = -u*w + 12, 0 = x*s for w.
4
Let c be (-3 - (-6)/(-9)*-15) + -2. Solve -c + 17 = 3*f + 4*i, 0 = 3*f - 5*i + 15 for f.
0
Suppose 0 = -3*q + 6 + 3. Let w = 191 + -187. Solve w*v = -20, v - 5*v - 35 = -q*u for u.
5
Suppose 29313 = -41*r + 29436. Suppose -3*u - 2*u = 0. Suppose -2*l = 4*b + 6 - 32, 2*l = 4*b - 46. Solve u*d = 4*k + d, r*k + 3*d = -b for k.
1
Let d = -7 - -14. Let o(r) = -16*r + r**2 + d*r + 7 + 5. Let s be o(8). Solve 0 = -a + 3*q - 2, 0 = 5*a - s*q - 1 for a.
1
Suppose 2092 = -5*n + 4*r, 0 = -6*n + 8*n + 2*r + 844. Let t be ((-4)/5)/(3/(-60)). Let z be n/(-26) - t/104. Solve -4*c - 2*k + z = 0, k - 3 = -4*c + 11 for c.
3
Suppose -2*n = -4*n + 4. Let a be (5 + 1)*n/3. Solve w - 8 = a*f, -w - f + 0 = -3 for w.
4
Let s be ((-300)/125)/(6/(-20)). Solve -2*k + s = -5*m, 2*k = 7*k - 5*m - 5 for k.
-1
Suppose 2*s + p - 5 = -1, -p = -2*s + 4. Suppose 3*i + 13 = -g + i, -3*g + s*i - 7 = 0. Let b = g - -8. Solve b = -3*k - 4*f, 0 = -k + 3*f - 5*f - 3 for k.
3
Let y be (-1*2/1)/((-9)/315). Let i = -63 + y. Solve 2*x - 5*u + 18 = 0, 3*u - i = x + u for x.
1
Let y be ((-4)/12)/(1/6). Let t be (-3)/(-6) - 5/y. Let z be (0 - t) + (3 - 0). Solve 2*r + r + 12 = 0, -4*f - 4*r = z for f.
4
Suppose 25 = 5*l - h, 7 = 4*l + 5*h + 16. Solve -x = 2*n, -l*x + 24 = -4*n - 0*n for n.
-2
Let d = -6 - -24. Suppose -k - k + 8 = 0. Let m be (1 - 3) + k/1. Solve y = l, m = -4*l + d for y.
4
Let g = 0 + 1. Let v be g + 12/(-4) + 2. Solve -t + v*t - 2*f = 9, 4*f = -16 for t.
-1
Let w = -1685 + 1687. Solve w*v = -4*r + 16, 0 = 6*v - 2*v - 4*r + 4 for v.
2
Let j = -1 + 4. Let o be (6 - 3)*1/j. Suppose -19 - o = -2*f - 3*l, 16 = 2*f + 2*l. Solve 3*w + 14 = f*k + 5*w, 5*k + w = 13 for k.
2
Let j be 3 + (-7 + 5 - -8). Suppose -7 - j = -4*i. Solve o = -5*m + 3, -m - i*m = -3*o + 9 for o.
3
Suppose -5*r + 2 + 17 = 2*l, -2*l = r - 7. Let i(s) = 1 + 3*s + 5 - l*s. Let b be i(-5). Solve -m - 22 = 2*m - 5*q, 4*m = q - b for m.
1
Let p = -56 - -60. Suppose 5*n = 2*g + 4, -g + p*n = 3*n - 4. Solve -2*j + 2*w = -j + 8, -3*j = 2*w + g for j.
-4
Let g(z) = -z**3 + z + 20. Let j be g(0). Let m be j/(-8) + (-1)/(-2). Let n be (3 + -12)/(-3) - m. Solve 0 = -4*t - n*u + 17, 4*t - 3*u + 7 + 16 = 0 for t.
-2
Let i(c) = 2*c + 40. Let a be i(-20). Solve -v + 29 = -5*t - a*v, 2*v - 13 = t for t.
-5
Let r(c) = -2*c + 2*c - 4*c - 9 + 6*c. Let f be r(6). Suppose -5 + 2 = -l. Solve l*m - m + 2 = f*y, y 