-n*b. Solve x - 4*z - b = -2*x, -x + k = -5*z for x.
1
Suppose -3*u - 27 = -6*u. Suppose -u - 3 = -3*m. Suppose -2442*q + 2461*q = 0. Solve 5*w = h - 10 - 8, q = 4*w + m*h + 24 for w.
-4
Let q be 2/(-3)*4*15/(-10). Solve 2*x + 2 = q*y, -2*y - 3 + 0 = 3*x for y.
0
Suppose -6*p - 5 = 13. Suppose -3*n + n = -36. Let l = p + n. Solve -t = -k - 7, 0*t - l = -t + 5*k for t.
5
Suppose -4*n + o = 4*o - 17, 9 = 3*o. Solve -s = -4*d + 3, -4*s + n*d + 6 + 10 = 0 for s.
5
Let v be 1/(-3) - (-52)/3. Suppose -10*s + 46 + 84 = 0. Let r = v - s. Solve -m = -4*u + 11, -9 = 3*m - 0*m - r*u for m.
1
Suppose 5 = 3*j - 1. Let c = -7 - j. Let f be c*(-2)/6 - -2. Solve -f*h - t + 5 = 4*t, -5*t + 29 = -3*h for h.
-3
Suppose 4*i + 3*n - 14 = 10, -n + 4 = 0. Let h(m) = -m - 14. Let k be h(-14). Solve -4*l - 8 = t + i*t, k = -3*l - 9 for t.
1
Let z(y) = y**3 + 26*y**2 - 61*y - 135. Let c be z(-28). Solve c*u = -4*w + 6*u - 25, -w - 20 = -3*u for w.
-5
Let h be (-4 + 2)*441/6. Let j be (-84)/h*(7 + 0). Solve -2*n = -b - 6, -3 - 1 = -j*n for b.
-4
Suppose -13 = -7*i + 15. Solve 0 = 3*y + 3*s - 12, -y - 6 = -0*y - i*s for y.
2
Let g(i) = -i**2 - 8*i - 13. Let l be g(-5). Solve 2*a + 3*t - 19 = 0, -l*a + t = 1 - 0 for a.
2
Suppose 23*y - 41 = 28. Solve 5*d = -5, 5*b - 2*b + y*d = -6 for b.
-1
Let p(y) = -28*y**2 - 220*y + 37. Let d be p(-8). Let m be 1 - (1/1 - 0). Solve -1 = -t - 0*t + j, -d*t - j - 13 = m for t.
-2
Let u = 65 + -60. Solve 0 = y - 5*v + 9, -13 + u = -4*y - 2*v for y.
1
Let w be (-15)/(-4)*(-40)/(-30). Solve m + 5*d + 9 = 28, -3*m = 2*d - w for m.
-1
Suppose 0 = -x + 2, b - x = -1 - 1. Suppose 4*n - 14 = -b*r + r, 4*r = 2*n. Solve -8 = -4*k, r*v + k = 7 + 1 for v.
3
Let l(g) = -g**3 - 12*g**2 + 14*g - 29. Let k be l(-13). Let u be ((-72)/21)/(12/k). Solve 0 = -4*y + u, 3*f + 2*y + 2 = 5 for f.
-1
Suppose 104 = -5*q + 109. Solve -3*d = 3*k + 12, -4*d - 2*k - 9 - q = 0 for d.
-1
Suppose -3*y = 2 + 10. Let m = 17 + y. Let o = -8 + m. Solve -l = 3*z - o, 5 = -5*l + 4*z - 8 for l.
-1
Suppose -4*h - 72 + 196 = 0. Let z = 26 - h. Let x be (-119)/(-35) - (-2)/z. Solve 6 = x*a + 2*m - 7, -4*m - 24 = -4*a for a.
5
Suppose -b = 41 - 43. Solve b*c - 4*f = 20 - 4, 11 = -3*c - f for c.
-2
Let i be 14/126 - (-1)/(-9). Solve -4*k - 16 = -i*k - 4*h, 4 = -k + 2*h for k.
-4
Let w(u) = -48*u + 2. Let z(g) = g - 2. Let a = 17 - 16. Let x be z(a). Let j be w(x). Solve -5*k + 20 = -f, 5*f = -5*k - 0*f + j for k.
5
Let c = 229 + -227. Solve -q + 2 = 2*h - 0*h, -4*q + 8 = c*h for h.
0
Suppose -4 = -j - 1. Let d = -67 + 93. Suppose d*s = 28*s - 8. Solve 20 = s*r, -2*u + j*u = r - 10 for u.
-5
Let k be (10/8)/((-1)/(-4)). Let z(x) = x - 11. Let o be z(k). Let w = o + 8. Solve -4*j - 4*h - 20 = 0, -j - 4*h = -w*j - 5 for j.
-5
Let g be 14/5*(-45)/(-18). Solve 0*i - 2*u = 4*i - 4, -i = 2*u - g for i.
-1
Let m(b) = b**3 - 16*b**2 + 16*b - 5. Let h be m(15). Let x = h + -10. Let a be 2 + (x - -4 - -3). Solve 2*i - z - a = 0, -4*z = 5*i + z for i.
3
Let c = 799 - 794. Solve 3*a = -0*a + 3*l, 3*a = 4*l + c for a.
-5
Suppose 10*s = f + 8*s - 15, 4*f - 104 = -3*s. Solve -4*g - 2*z = 0, 5*g + f - 1 = 3*z for g.
-2
Suppose -3*y - 28 = -5*r, 4*y + 8 = r + y. Suppose -r*u = 2*c - 5, -c - u = -2*c - 1. Solve -2*n + 5*q + 2 = c, n = -3*q - 2*q + 1 for n.
1
Let w = 22 + -21. Suppose -r = 2*b - 35, -4*b + 3*r = 8*r - 85. Suppose -5*v + b = -0*v. Solve 3*s = 4*y - w, -5*y + 2 = -v*y for s.
1
Let u(x) = 41*x - 82. Let k be u(2). Solve 20 = -5*h - 3*j - 2*j, k = 2*j + 2 for h.
-3
Suppose -6*q = -q - 25. Solve -q*j - 10 = -r, -r + 23 = 2*j + 4*r for j.
-1
Let b be ((-12)/(-9))/4*15. Let k be 1848/187 - (-4)/34. Let y = 14 - k. Solve -b*c + m + 6 = 0, 2*c + 18 = y*m + 6 for c.
2
Let p = -3 + 5. Let n be 2*((-210)/4)/(-3). Suppose 0 = -3*v - 4*v + n. Solve l - 2*x = 3*x + p, v*l = 2*x + 10 for l.
2
Let r = 46 - 20. Let l = r + -24. Solve 4*b + w = 16, -3*b + 29 = l*b - w for b.
5
Suppose -34*g = -29*g - 45. Solve 5*i - 3*q = -g, 18 = -4*i + 5*q + 3 for i.
0
Let y be 6/(-24) + (-2)/(-8). Suppose y = 5*t + 3*l - 5, 0 = -0*l + 5*l. Solve 2*x = -2*m + 6*x - 4, -2*m + x - t = 0 for m.
0
Let k be (0 - 9/3) + -13. Let u(b) = -3*b - 32. Let m be u(k). Suppose -a + 3*j + 7 + 12 = 0, -a = 5*j + 21. Solve -a*t - m = 0, 2*f - 2*t = -0*t for f.
-4
Suppose -5*o + 8 = -42. Suppose 2*d - 20 = -8. Suppose 8 = 2*h - 0*h. Solve -5*s = h + d, o = -4*i + 5*s for i.
-5
Suppose -i = 3*d - 17, -i - 2*d + 14 = -4. Solve 5*y + i = 2*k - 0*k, -5*k + 12 = -3*y for y.
-4
Suppose 10*s + 10 = 11*s. Suppose -6 + s = 2*a. Solve -a*g + 2 + 1 = -5*q, 5*q + 5 = 0 for g.
-1
Suppose -49*x = 23*x. Solve 4*a - 2*t = 3*t - 24, -5*a + 4*t - 21 = x for a.
-1
Let l(t) = -t + 3. Let f(h) = -h - 6. Let i be f(0). Let q = -4 - i. Let n be l(q). Solve 3*p + 10 = 5*y, 0 = p + y + n - 11 for p.
5
Let y be (7 - -2)/(-3) - -3. Let m(o) = 2*o**2 - 2*o - 2. Let x be m(2). Suppose 0 = -4*n + 3 + 5. Solve y = x*s - n*t + 8, -4*t + 10 = -10 for s.
1
Suppose 0 = s - 3*k - 9, -2*s - k = -12 + 1. Suppose s*w + 28 = 4*q + 2*w, -5*w = 5*q - 35. Solve -5*z + q = -5*c + 22, -4*z - 20 = 0 for c.
-2
Let i be 4/10 - 174/(-15). Suppose -4*b = i*b - 112. Solve 1 = -0*a - 5*a + 3*k, -5*a = -k + b for a.
-2
Let x(w) = w**2 - 6*w + 3. Let m be x(4). Let f be (12/(-5))/(1/m). Suppose 0*a + f = 3*a. Solve 4*q + a = 0, -2*q = -i - q + 5 for i.
4
Let t = -630 - -632. Solve m = z, 6*z - m = 4*z + t for z.
2
Let c be ((-40)/32)/(2/(-8)). Solve -k - 8 = k - c*w, -2*w + 8 = 4*k for k.
1
Let j(r) = -r**2 + 7*r + 16. Let x be j(8). Suppose -p = -4*z + 6, 2*p + 3*z - x = p. Solve 4*y - 5*c = 11, -p*y = y - c for y.
-1
Let v = 16 - 16. Suppose 9 = 5*m - 2*i - 8, -5*i + 20 = v. Solve 2*j + 3*q + 15 = 0, 2*j - m + 0 = q for j.
0
Let x = 170 - 165. Solve 0 = 2*w - 3*v + 16, x = 5*v - 5 for w.
-5
Let u be 0/(6 + -4)*(4 + -3). Solve -g + 4 = -0*g + 4*s, u = 5*g - 3*s + 26 for g.
-4
Let h(o) = o - 13. Let r be h(13). Solve x - 2*k - 1 = r, -2*k - k = -3*x for x.
-1
Suppose -4*t - 75 = -179. Let w = 13 - 7. Let a(u) = -u**3 - 4*u**2 + 3*u - 6. Let x be a(-5). Solve -7*n + 2*n = -x*m - t, -n = -m - w for n.
2
Let v = -1 - 0. Let j(t) = -3*t - 26*t**2 - 18*t**2 + 89*t**2 - 21*t**2 - 2 - 21*t**2. Let i be j(v). Solve i*s - 12 = 0, n + n = 3*s - 5 for n.
2
Let k = 242 + -235. Solve -s + 7 = 2*x, s + 5*x - 29 = -k for s.
-3
Let a be 4 + (-18)/3 + (-1 - -9). Suppose 7 - 15 = -2*j. Suppose -2*c + j*c - 10 = 0. Solve -c*x + 2*x = a, -5*g - x = 17 for g.
-3
Let a be (3/8)/((-18)/8)*-6. Suppose p + a + 8 = -3*c, -2*p + 10 = -c. Solve 5*g - 15 = -5*u, -g - 5*u = -2*u - p for g.
3
Let g = -2061 - -2068. Solve 3*q - 2*m + g*m + 10 = 0, -3*q + 2*m = -25 for q.
5
Suppose -70*t + 37 = 37. Solve -5*m = 4*o + 9, t*o = 2*o - 2*m - 18 for o.
4
Suppose 0 = -14*y - 82 + 152. Solve y*c + 15 = -x, -c + 0*x = -5*x + 29 for c.
-4
Let t = -107 - -52. Let s be 10/t + 24/11. Solve 0 = -r - s*c - 1, 4*c = -4*r + 9*c + 35 for r.
5
Let q = -9 + 9. Let d be (-4)/8 - 2/(-4)*11. Solve 2*j + v + q*v + 8 = 0, v = -j - d for j.
-3
Let o = 30 + -27. Solve o*c = 4*v - 4, -2*c = 2*v - 3*v + 6 for c.
-4
Let c = -40 - -60. Suppose 3*s - c = -5. Solve -3*b + 2*l - 13 = 0, 4*b + s*l + 25 = -0*l for b.
-5
Suppose 5*c + 3 = 6*c. Suppose -3*b = -2*b - c. Solve i - f = -i - 11, b*i + 14 = -f for i.
-5
Suppose -24*d + 24 = -16*d. Suppose -6 = -2*q - 4*j, -d*q + j - 5*j = -9. Solve 5*r + 8 = -2*g + r, q*g + 4*r = -4 for g.
4
Let g be 6/15 - 1001/(-35). Suppose g*t = 34*t. Solve -2*w + 0*w + 2*j + 16 = t, 3*w - 6 = -3*j for w.
5
Let z be (10/(-4))/(2/8)*-1. Suppose 0 = z*l - 0 - 80. Solve -3*b - 5*j + 2*j = 3, 0 = 4*b + 2*j + l for b.
-3
Let v = 15 - 11. Let h = -10 + -10. Let g be 13/4 - (4 + 75/h). Solve -5*r + 4*y = -r, -g*r + y + v = 0 for r.
2
Let r = -17 + 21. Suppose -2*h + h = -r*h. Solve h = -3*k - 4*w - 5 - 0, -5*k + 11 = -3*w for k.
1
Suppose -m = 3*c - 11, -3*m + c + 14 = 1. Solve -3*r + 5*u = 11, -10 + 3 = r - m*u for r.
-2
Let h = 34 + -16. Suppose j - 4 + 7 = 2*b, -3*j = 3*b - h. Solve 2*n - 2*k + 15 = n, 5*n - j*k = -40 for n.
-5
Let s(c) = -c**3 + 4*c**2 + 7*c. Let i be s(5). Suppose -7*t - 70 = -0*t. Let u = i + t. Solve 2*r - 19 = -0*r - 3*z, u = -3*r - 4*z + 27 for r.
5
Let l(b) = -15*b**2 + 62*b - 5. Let p be l(4). Solv