8*b - 5. Let w be v(a). Solve w*y + 3 = 3*l, 0 = -0*y - y - 3*l + 18 for y.
3
Let i(c) = -c**3 + 6*c**2 - 11*c + 13. Let v be i(4). Solve n + v + 7 = -5*o, -2*n - 3*o - 9 = 0 for n.
-3
Let c = 28 - 25. Suppose -3 = -3*l + c. Suppose 0 = 4*b + 4*w, -7*b + 3*w + 18 = -4*b. Solve 7*h - l*h = -3*g + 16, -4*g = -b*h - 2 for h.
2
Suppose -y + 419 = 5*w + y, -340 = -4*w - 4*y. Let q = -33 + w. Let i = -33 + q. Solve -3*m = l + 7, i = -3*m + 2*l - l for m.
-4
Suppose -j = j + 3*h - 144, -j - 4*h + 62 = 0. Suppose 2*c + 11*c - j = 0. Solve -5*b - 3*w + c*w + 8 = 0, -6 = -3*b + 3*w for b.
1
Let r be (-2 + 10/4)*0. Let c(f) = -f**3 + 2*f - 2. Let l(h) = -h - 8. Let g be l(-6). Let d be c(g). Solve r = -3*v + 2*v + 2, -10 = -2*t - d*v for t.
3
Suppose -3 = -t - 0. Suppose 4*l + 1 = 21. Suppose -10 = -3*q + 5. Solve -q*w = -3*j + 5*j - 21, -t*w = -l*j - 25 for w.
5
Let s(n) = -3*n - 20. Let d be s(-13). Let b = -4 + 5. Let p be (b/(-2))/((-2)/8). Solve y = p*k - 11, 2*y + d = -2*k - 3*y for k.
3
Let b(s) = s**3 - 8*s**2 + 9*s - 10. Let i be b(7). Suppose -f = -i, f + 6 = 5*p - 0*f. Solve p*j + 2 = c + j, c + 7 = -2*j for c.
-1
Let j be (-9 - (6 - 3))*30/(-24). Solve 4*k - 6 - 9 = i, -j = 2*k - 5*i for k.
5
Let y be (17 + -7 - 0) + 2. Solve 2*b - 9 + 3 = 0, b - y = -3*q for q.
3
Suppose -2*g = -1 - 17. Suppose -3*m = -3*d + 18, -m - g - 7 = -3*d. Solve r - 5*r + 32 = -d*j, -4*j - 3*r = 7 for j.
-4
Suppose -2*u = 7*u. Suppose u*t + t - 2 = 0. Solve 0 = -4*y - 2*d - 6, 4*d + 0 = t*y - 12 for y.
0
Let h(r) be the first derivative of r**3/3 - 3*r**2/2 + 2*r + 6. Let p be h(3). Suppose -p*w = w - 9. Solve -1 = 2*t - 3*v - 2, -4*t + v - w = 0 for t.
-1
Let z(d) = 2*d + 3*d - 12*d + 2*d - 1. Let r be z(-1). Solve 5*m - r*v = -22, -4*v + 21 = -4*m + 1 for m.
-2
Suppose -37*r = -49*r. Solve -5*h - 12 = -2*z, -2*h - 4*z + 6 - 30 = r for h.
-4
Let b be (0/170)/(-9 - -1). Let a be 0/(1/(-1) + 0). Solve -2 = 2*x + 2*z - a*z, 5*z - 15 = b for x.
-4
Let o be (0/(-3) + 22)/2. Let j = -7 + o. Suppose -2*l + 4*i - 35 = -5*l, -4*l = 2*i - 30. Solve 0*y = -4*y - j*x - 4, -45 = 5*y - l*x for y.
-5
Let r = 1 - 1. Let d = 34 + -16. Let l = 22 + -12. Solve -l = -3*t - c - r*c, c - d = -5*t for t.
4
Suppose 0 = -t + 4*u - 8, -5 - 1 = -3*t + 2*u. Solve 0 = -5*j + 5*h + 26 - 6, j + t*h + 6 = 0 for j.
2
Let d = -104 + 173. Suppose 4*p = 11 + d. Solve 4*r + 2*k = -p, -2*r = 4*k + 6 + 4 for r.
-5
Let v be (8/(-12))/(3/(-378)). Let j = v - 34. Let z = j - 36. Solve -2*m = d + 4*d - z, -m + 4*d = 19 for m.
-3
Let w = 1 - 0. Suppose m + w = 19. Solve 7 = -3*g - i + m, -21 = -4*g + 5*i for g.
4
Let l be ((-41)/(-4))/((-14)/(-56)). Let z = l - 38. Solve o + z = -5*f, -2*f - 2*f - 8 = -2*o for o.
2
Let w = -27 - -8. Let y = 27 + w. Let u = y - 8. Solve 3*s - 4*l + 6 = 0, 0 = 2*s + 2*l + 4 - u for s.
-2
Suppose -14*m + 35 + 49 = 0. Suppose -3*p = -2*p - 3*h - 8, -7 = -2*p - 3*h. Solve -i = 3*u + m, -i - 9 = p*u + 1 for u.
-2
Suppose 4 = -x, c + 262 = 6*c - 3*x. Let w = c - 45. Solve 5 + 4 = f - 4*b, 12 = 2*f - w*b for f.
1
Let d be 8*(-2 + 1) - 4. Let k = -10 - d. Suppose 8*u - 6*u = k. Solve -x - 2*n = -u - 2, -3*x = -2*n - 9 for x.
3
Let b be 17 - -2 - (2 - 3). Let g(c) = c + 7. Let t be (-1)/(1/2) + -1. Let z be g(t). Solve b = -0*o - z*o, -4*i - 2*o - 10 = 0 for i.
0
Let s(t) = 2*t - 2. Let l be s(2). Suppose -3*w = -o, -l*o + 7*o = -3*w. Solve w = j - 3*n + 5, 2*n - n - 11 = -2*j for j.
4
Let x be 180/96 - 2/(-16). Suppose 0 = x*j - 3*i - 10, 4*i + 20 + 5 = 5*j. Solve -3*m + 2*p + j = -20, 3*p = -15 for m.
5
Let x = -7 + 4. Let a be x/2*(-144)/27. Suppose -4*k = 4*c, -c - 2*c + k + a = 0. Solve -4 = c*h, 2*h + 3 + 4 = -v for v.
-3
Let x = -928 - -930. Solve 0*z - 4*l = -x*z + 20, 3*l = 5*z - 29 for z.
4
Suppose j + h - 73 = 0, 2*j = 5*h - 17 + 156. Let o = j - 68. Let m be 4*-3*3/(-18). Solve m = 5*b - o*l - 2, 0 = -3*l + 12 for b.
4
Suppose 3*t + p = -3*p + 5, p + 25 = 3*t. Suppose w + t*w - 80 = 0. Solve -n + 5*u + w + 12 = 0, n - 4*u = 18 for n.
2
Let w(z) = z**2 - 6*z - 26. Let l be w(11). Solve -3*c - 5*j = l, -4*c - 35 = c + 5*j for c.
-3
Let y(k) = k**3 - 17*k**2 + 12*k + 67. Let j be y(16). Solve -j*n + z = 1 - 4, 3*n + 15 = -5*z for n.
0
Let w be (0/((-11)/((-44)/16)))/(-2). Solve 5*l + 10 = 0, 3*l + 3 = -w*g - 3*g for g.
1
Suppose -11 = -f - 2*b, f + 0*f - 5*b = -10. Let u(n) = n**3 - 4*n**2 - 5*n + 5. Let x be u(f). Solve 2*c + 2*w + w - 18 = 0, 2*c = x*w - 14 for c.
3
Suppose -4 = 5*i - 6*i. Suppose -k - m = -2*m - i, 4*m + 20 = 5*k. Suppose d = -d + 2*g + k, -3*g - 8 = -4*d. Solve d*n + 3*n = 4*h - 4, 0 = -h - 3*n + 1 for h.
1
Suppose -i - 3*w = 11, -25 + 19 = i + 2*w. Solve 0 = 4*k + 2*h - 8, 6*k + i = 2*k - 5*h for k.
4
Suppose 2*f - 27 = -21. Suppose -f = u - 3. Solve 5*p + 5 = -3*g, -3*p + 1 + u = g for g.
-5
Let k be -2 - (-9)/(3 + 0). Let s be 4 - -1 - (k + 2). Let i be (1 - 0)/1 + 4. Solve 5*g + s = -2*p - 3, 5*p - i*g = -30 for p.
-5
Suppose o + 25 = 4*o + 2*i, 3*o - 4*i = -5. Let u be (-10)/25 - (-17)/o. Suppose -u*c = -7 - 5. Solve 0 = -2*g - l + c, -6*l + 2*l = 4*g - 12 for g.
1
Let i = 45 + -34. Let u be (-6)/(-3) - (i - 9). Solve u = 5*q - 3*a - 20, -5*a = -0*q - q + 4 for q.
4
Suppose -m - 2*y = -12, 0 = -2*y + 1 + 9. Let d = 439 - 444. Let t = m - d. Solve 2*c - 5 = -w, 2*c - 7 = t*c - 4*w for c.
1
Suppose 2*d + 2 = 2*l, -4*d - 2 + 6 = 0. Solve 2*y = 3*h - 3*y + 2, -8 = 3*h - l*y for h.
-4
Let d(z) = z**3 - 21*z**2 + 79*z + 5. Let f be d(5). Solve 3*o + 4*m + 0 - 6 = f, -5*m - 8 = -4*o for o.
2
Suppose -2*l - 5 = -5*q + 15, -l - 3*q = -12. Solve -10 = a - 5*x + 2*x, -x + 4 = l for a.
2
Suppose 5*s = 5*j - 145, 15*j + 33 = 16*j - 2*s. Solve -2*z - 3*u = -j, z - 3*u = -16 + 6 for z.
5
Let h be 672/36*(-6)/4. Let w = -26 - h. Let v be 4/(-18) - (-1092)/54. Solve -5*j = u - v, 2*u = -w*j - 3*u + 8 for j.
4
Let b be 5/(-3) + 9/(-27). Let n(g) = -g + 1. Let s be n(b). Suppose s*c = -c. Solve 3*u - 3 = -4*i - 1, -3*u + 4*i - 14 = c for u.
-2
Let r(x) = -2*x**3 - 3*x - 1. Let k be (7 + (-5 - 0))/(-2). Let s be r(k). Solve -3*n + 4 = s*o + n, -4*o = -4*n - 28 for o.
4
Suppose 47*r = 45*r + 4. Suppose -6*t + 10 = -t. Solve r*g - 3 = -2*f - 3*g, 3*g = t*f + 5 for f.
-1
Suppose 0 = -5*m + 3*p - 15, 11*p - 20 = -3*m + 7*p. Solve m = -5*z, 0 = 4*g - 2*z - 14 + 2 for g.
3
Suppose 0 = 7*v - 8*v + 5. Suppose 0 = p + 3*p + v*o - 20, 0 = o. Solve 2*r - 8 = -0*r - 2*q, p*q - 22 = -3*r for r.
-1
Let z(x) = 32*x - 478. Let r be z(15). Solve 3*l + 12 = 0, r*f + 4*l = f - 16 for f.
0
Let i(r) = -r**2 + 3*r + 14. Let z be i(7). Let o be (-176)/z + (-15)/(-35). Solve 10 = -2*v + 2*c, 5*c + o = 3*v + 32 for v.
-3
Let v be -3*(-2 + 10/6). Suppose a - v - 1 = 0. Suppose 3*y + w = 12, 0*y - a*w + 4 = 2*y. Solve 1 = 2*p - 2*z - 1, p - 4*z = -y for p.
3
Suppose 0 = -91*s + 2*s + 445. Solve 0 = 3*h + 2*r - 3, 4*h = 3*h + s*r - 16 for h.
-1
Let l = 569 + -569. Solve v = -3*i + 11, i - 6 + l = 2*v for i.
4
Suppose 3*w = 3*b + 18, 35*w - 28 = 30*w + 4*b. Solve 3*h - w*o - 24 = 0, -2*o - 13 = -h - 3 for h.
4
Suppose -5*v - 3*t + 103 = 0, 2*v + t = 7 + 34. Solve -y + 5 = 0, -3*z = 4*y - v - 9 for z.
3
Let f be (-1 - -7)/6*(-2 + 5). Solve -f*y + 5 = 4*a, 0*y + a = -y + 1 for y.
-1
Suppose -4*g + 26 = -w, -g + 6 = -w - 2. Let i be (-45)/(-3)*3/9. Let h = 10 - i. Solve -2*k - 6 = j, 5*k + g = -h*j + 1 for k.
-5
Suppose -2*m + 4 - 3 = 3*g, -4*m = g - 27. Suppose -10 = -m*c + 6. Solve c*w + 2*y = -0*y, 2*w = -4*y - 6 for w.
3
Suppose -4*i = 98 - 246. Let v(w) = 10*w - 326. Let g be v(33). Solve 10 = -2*a, -g*r - 5*a - i = -0*r for r.
-3
Suppose 16 = -4*k + 100. Let o be 2*9/((-36)/(-16)). Suppose 0 = -6*l + 8*l - o. Solve 0 = i - j, 0*j = l*i + 3*j - k for i.
3
Let d(l) = -l + 1. Let c be d(0). Let n = 6 - c. Solve 12 = 4*q - 2*b - 2, -n*b + 4 = 3*q for q.
3
Let g = 45 + -41. Suppose -g*m + 24 = 2*m. Solve k - 20 = -5*n, 3*k + 16 = m*n - 0*k for n.
4
Let j = 106 - 6. Suppose 2*x + 3*x = j. Solve 3*s + 2*s = -5*v - x, 4*v - 3*s = -16 for v.
-4
Suppose 0 = -2*g + 5*w + 33, 3*g - 38 = -2*w - 2*w. Solve 0 = -2*h + 5*k - g, h - 4*h - 4*k + 2 = 0 for h.
-2
Suppose -4*m = -2*n - 0 - 6, 3*m - 37 = -5*n. Solve -4*l - l = 4*d + 16, 20 = -5*d + n*l for d.
-4
Suppose -7*t + 8*t - 134 = 0. Let p = t - 130. Solv