= 28 for b.
-4
Suppose -4*w - 109 = -37. Let z(y) = -y**2 - 11*y + 4. Let j be z(-9). Let x = j + w. Solve r + 1 = -x for r.
-5
Let c = -53 - -60. Let a be 852/84 + (-1)/c. Solve 0 = -a*y + 6*y + 4 for y.
1
Let w(o) = o**2 - 10*o + 11. Let m be w(9). Let d be 0 - (2 - (2 + m)). Let l = -7 + 11. Solve d*y = l*y + 4 for y.
-2
Suppose 74 = 2*u + 3*n + 16, 4*n = 0. Suppose 4*c - u = 3. Suppose -c + 2 = -2*i. Solve -1 = t + i for t.
-4
Let w(c) = 29*c - 13. Let x be w(1). Solve 0 = 4*v - 24 + x for v.
2
Let c = -101 - -95. Let q be (-12)/(-18) - 2/c. Solve q + 5 = -3*b for b.
-2
Let w be (-5)/(-1) + (-4)/(-2). Suppose -2*b = -w*b + 2*b. Solve a + 3*a + 4 = b for a.
-1
Let o be 1/((-2)/4 + 1). Suppose -2*r + 4 = -o. Let d(u) = u + 28. Let b be d(-28). Solve b = -r*c + c + 6 for c.
3
Let l(a) = a**2 - 7*a - 12. Let z be l(-4). Solve z = -i + 27 for i.
-5
Suppose 16*s - 234 + 122 = 0. Solve 0*z = s*z for z.
0
Suppose 238*j = 226*j + 828. Solve -5*a + j = 64 for a.
1
Let n = 1707 + -1685. Solve -n = -s - 24 for s.
-2
Let o(d) = -4*d - 3. Let n be o(-2). Suppose 0*h = -3*h - 15, 3*g - 146 = -2*h. Let b = g - 52. Solve -20 = -b*i - n*i for i.
4
Suppose -5*d = -6*d + 8*d. Solve -16*p + 17*p = d for p.
0
Suppose 0 = 2*d + 2*t - 12 - 4, d + 2*t = 8. Solve -3*c + d*c = 0 for c.
0
Suppose -8*u - 13*u + 84 = 0. Solve -11*d = u*d for d.
0
Suppose 0 = 3*r - 12 + 3. Suppose -r*u = m - 16, -2*u + 2 = -2. Let f be (-62)/(-10) - m/50. Solve f*h - 12 = 2*h for h.
3
Let d = 264 + -230. Solve d*w + 15 = 29*w for w.
-3
Suppose 2*t = 4*g - t - 49, -4*g - t = -37. Suppose 5*r + 3*s = 2*s + g, -2*r + 5*s + 4 = 0. Solve 3*z + 3 = r*z for z.
-3
Suppose -14 + 4 = -2*s. Solve -s = -5*k + 10 for k.
3
Let q = 433 - 413. Solve 13*s - 9*s = q for s.
5
Suppose -15 = 8*z - 11*z. Let u be 11/5 - (-4)/z. Solve -5*l + u*l = -8 for l.
4
Let n = 1397 + -1393. Suppose -2*x + 10 = -4*g, -4*x + 20 = -3*g + 2*g. Let w be (-2)/(-5) - (-123)/x. Solve -h = n*h + w for h.
-5
Let s(u) = -u**3 + 2*u**2 + 11*u - 9. Let l be s(4). Solve -1 = 2*d - l for d.
1
Let b(y) = y**3 + 11*y**2 + 9*y - 7. Let x be b(-10). Suppose -3*d + 21 = x*m, 3*d + 2*d + 3*m = 35. Solve d*f = 4*f - 15 for f.
-5
Let u(w) = w**2 - 6*w + 5. Let z be u(5). Suppose -t = -3*q - 16, -q + 4*t + 21 = -6*q. Let j = 11 + q. Solve 3*i - i + j = z for i.
-3
Let q = -31 - -29. Let t be 2/4 - q/(-4). Solve 2*b = -t*b for b.
0
Let u(d) = d**2 - 13*d - 14. Let c be u(14). Suppose c = -2*s - q + 11, 10 = 4*q - 2. Solve 8 = -4*l - s for l.
-3
Let u be (-6)/(-18) + (-59)/(-3). Let p be (18/(-12))/((-6)/u). Suppose -5 = -5*l + p. Solve -l*f - f = 0 for f.
0
Let f(d) = -2*d**2 - d - 3. Let b(h) = h**2 + h + 1. Let q(w) = -5*b(w) - 2*f(w). Let n = 47 + -50. Let p be q(n). Solve 0*t - t = p for t.
-1
Suppose -2*h = 3*b - 2*b - 32, -b = h - 29. Solve 0 = 4*k - b + 10 for k.
4
Let q = -565 - -590. Solve 2*j = 7*j - q for j.
5
Let c(z) = -z**3 + 5 - 8*z - 10*z**2 + 0*z**2 + 0*z**3 + 6. Suppose -2*x + 0*x = -4*k + 6, -15 = 5*k. Let r be c(x). Solve 0 = -r*l + 7*l for l.
0
Let p be (-3 - -4) + (-3)/(-1). Suppose p = d - 2. Solve 0 = -d*t + 5*t - 2 for t.
-2
Suppose -8*o - 4*k = -13*o + 49, 0 = 2*o + k - 17. Solve -o + 5 = 2*r for r.
-2
Suppose -v + 3 = -0*v. Let c = 16 - 13. Suppose -c*q + 0 = -9. Solve v*w - q = 6*w for w.
-1
Suppose -70*f + 676 + 94 = 0. Solve f*h + 35 = -20 for h.
-5
Suppose 11*r - 234 - 52 = 0. Solve 5*h + r = 31 for h.
1
Let o(t) = -t**2 + 11*t + 21. Let z be o(11). Solve -z + 39 = -6*s for s.
-3
Let b(d) = -d**3 - 6*d**2 - 2*d - 3. Let i be b(-5). Let l be (-8)/10*(-23 - i). Solve -4 - 4 = -l*v for v.
2
Let j(i) = -i**3 + 4*i**2 + 6*i + 4. Let l be j(5). Let d be (-2)/(-6) - 3/l. Suppose d = v + k + 2*k - 9, -10 = -5*k. Solve 5 = -v*u - 7 for u.
-4
Suppose -2*i = 3*k - 5, 0*i = 2*i - k + 7. Let f be (i - (-1 + 7))/(11 - 13). Solve -f = -v - 0*v for v.
4
Suppose 0 = 4*f - 10 - 2. Suppose f*o + 3*w = 36, -4*w + 32 = -o + 3*o. Let j = o - 5. Solve j*g = -g for g.
0
Let h(t) = -t**3 - 3*t**2 - t - 1. Let l be h(-3). Suppose -a + 1 = 0, -3*p - 1 = -6*p + l*a. Let q = -7 + 10. Solve -p = -q*k + 2 for k.
1
Let k be 2/(-5)*(-1 + -9). Let j = 15 + -12. Solve 0 = k*s + 5 + j for s.
-2
Let c be (10 - 1)/(5/((-780)/(-18))). Let m = c - 69. Suppose z - 17 = 4*i - 2*i, 3*i = -15. Solve 4*o - z - m = 0 for o.
4
Let j = 1293 + -1282. Solve -j*s = 11*s - 44 for s.
2
Let o(u) = 2*u - 1. Let d be o(3). Suppose 16 + 4 = d*m. Solve -m = -0*l + 4*l for l.
-1
Let t be (10 - (-90)/(-75)) + (-2)/(-10). Solve -41 = -16*q - t for q.
2
Let c be (1 - 1)/(24 - (35 + -16)). Solve c = 6*m + 15 - 3 for m.
-2
Suppose -53 = -40*p + 67. Solve 13 - p = 5*y for y.
2
Let r be 3 + (178/4)/((-3)/(-6)). Let c = r - 87. Solve 3*w + c = -1 for w.
-2
Suppose 120 = -0*z + 8*z. Solve -z = 15*y - 10*y for y.
-3
Let v = 836 - 834. Let c = 11 + -5. Solve v*o - c*o - 12 = 0 for o.
-3
Suppose -133 = -5*p + 2*a - 0*a, -4*a = -4*p + 116. Suppose 41*f = 77*f + 864. Let l = p + f. Solve 3*w = 2 + l for w.
1
Let r be 10/(145/(-30) - -5). Let z = r + -52. Solve -z = -2*w - 2 for w.
3
Let m(q) = 3*q + 8. Let k be m(-1). Let j = k + 20. Solve -j = 2*t + 3*t for t.
-5
Let j(u) = u**2 - 20*u + 3. Let t be j(20). Solve -t*s + 0*s = 9 for s.
-3
Let o(p) = -p + 6. Let i be o(3). Let u(q) = 4*q - 4*q + q**2 + i*q**2. Let f be u(1). Solve -17 = f*w + 3 for w.
-5
Suppose -2*d + 0 = 2. Let l be 2/d - (-2 - 3). Suppose 21 = -11*s + 14*s. Solve l*b + s = -8 for b.
-5
Let d = 47 - 48. Let p = d + 5. Solve 31 - 11 = p*a for a.
5
Let r be (2052/1197)/(-1 - (-9)/7). Solve r*b = b - b for b.
0
Let g(y) = -y. Let c be g(-3). Suppose 5 - 4 = -c*p - 4*o, -2*p + 3 = -o. Solve -5*v - p = 9 for v.
-2
Suppose 2*w + 15 = 5*w. Suppose -r + m = -m - 2, 0 = w*r + 2*m - 34. Solve -4*h + r = -h for h.
2
Let j be 56/(-196) + (-1250)/(-14). Let a = 91 - j. Solve 5*o = a - 12 for o.
-2
Let d(v) = v**3 - 3*v**2 + 6. Let m be d(3). Solve 0 = m*g - g + 15 for g.
-3
Let t = 58 + -55. Suppose 8*s = 3*s. Solve t*v - 12 - 3 = s for v.
5
Let u be 36/30*(-5)/1. Let j be ((-8)/12)/(u/9). Solve 2*q + 11 - j = 0 for q.
-5
Suppose 5*i = 2 + 8. Solve 0 = -i*k + 5 - 3 for k.
1
Suppose 2*k + 2 = 0, 5*j + 4 = -3*k + 16. Suppose -2*g - g - 2*a + 68 = 0, j*g - 3*a - 48 = 0. Let p(y) = 4*y - 6. Let s be p(3). Solve -s*l - g = -l for l.
-4
Suppose 25*f + 10*f = 0. Solve 10*l - 14*l = f for l.
0
Let d = -952 - -966. Solve d*z + 19 - 5 = 0 for z.
-1
Let f(s) = s**2 - 11*s + 8. Let k be f(10). Let a = -2 - k. Let g be (4/(-3))/(15/(-45)). Solve -g = 4*n - a*n for n.
-1
Let i(m) = 3*m - 2. Let x be i(2). Solve 0 = -t - x for t.
-4
Let l = 1607 - 1604. Solve l*m - m = 4*m for m.
0
Let c be 1904/42*(-6)/(-20)*5. Solve -61*i = -c*i + 28 for i.
4
Let m be (186/(-12))/((-2)/4). Suppose 4*q + m = -5*t, -t + 5*q = -8 - 9. Let y be (4 + -1)/t + 3. Solve -y*j - 2*j + 4 = 0 for j.
1
Suppose 5*k + 0*y = 5*y + 35, -2*k + 16 = -3*y. Suppose 2*n = 3*c - 3*n + 21, -2*n - 4 = k*c. Let z = 0 - c. Solve z*h = h for h.
0
Suppose 7*r + 38 = 59. Suppose i = -r + 8. Solve 25 - 5 = i*c for c.
4
Let s(v) = 3*v + 6. Let x be s(-2). Suppose x = 3*j - 16 + 4. Solve -j*f = f for f.
0
Let q = 248 + -219. Solve 5*b - 4 = -q for b.
-5
Suppose 483*u - 480*u - 6 = 0. Solve 3*f - u*f = 5*f for f.
0
Let s be 3 + 1/(-3*(-1)/3). Suppose 5*b = y + 16, -5*y + 2 = -s*b - 2. Solve 5 - 1 = b*d for d.
1
Suppose -2*a - t + 29 = 0, -a + 51 = 2*a - t. Suppose -4*b = 4*b - a. Solve -b*r = -4 - 2 for r.
3
Suppose 2 = -s + 2*a, -5*a = -0*s - 2*s. Let f be (-4)/s - (-18)/5. Let y be (-3)/12*(5 + -225)/5. Solve -5 = -f*t + y for t.
4
Let f(y) = -y**3 - 6*y**2 + 6*y - 7. Let s be f(-7). Suppose -10 = -5*d + 2*o, -d + 3*o + 25 = -2*o. Suppose 4*t - 3*t - 1 = d. Solve -q - t = -s*q for q.
-1
Suppose 2*h + 20 = -0. Let t = 22 + h. Suppose 7*y = t*y - 25. Solve -y*w + 2*w = -12 for w.
4
Let q = 50 + -48. Let j be (q - 0)/(-4 + 3 + 2). Solve -4*r - j - 2 = 0 for r.
-1
Suppose -10 = 4*j - 9*j. Suppose 0 = w - j*w - 4. Let u be ((-1)/w)/((-2)/(-24)). Solve u*n = -0*n for n.
0
Let b = 576 + -467. Solve b = 5*q + 89 for q.
4
Suppose -3*s = -6*s + 6. Let i be 1/s - (75/(-10) + 5). Solve -i*o + 5*o = -6 for o.
-3
Suppose -3*q = 23 - 29. Let u be q*1*(-5 + 6). Solve -u*f - f = -6 for f.
2
Let b = 27 -