= 0 for b.
-2
Let h be 0 + 6 + -5 - -357. Let w = h + -354. Solve 0*m - w*m - 16 = 0 for m.
-4
Let l be (-6)/4*(-2)/1. Let w(o) = o**3 + 17*o**2 + 19*o + 54. Let r be w(-16). Suppose -3*q = -r*q + l. Solve -z + q = -0 for z.
1
Suppose 400 = 51*z - 36*z - 35. Solve -31*x = -z*x for x.
0
Let t = 11905 - 10628. Solve 1245 = 4*r + t for r.
-8
Let o(f) = -29*f + 68. Suppose 3*g + l - 2 = 0, -6 = 3*g + 8*l - 5*l. Let w be o(g). Solve -11*j = -w*j + 5 for j.
-5
Suppose g = -0*g - 15*g. Suppose -11*n - 16 = -12*n - 4*p, n - 2*p + 8 = g. Solve -14*t + 41 + 29 = n for t.
5
Suppose 5*m = 4*m + 5. Suppose -2*z - 30 = -m*l + z, 3*l = z + 18. Let q = l + -6. Solve q = -3*c + c + 10 for c.
5
Suppose -4*d = -10*d. Suppose 6*y + 24 - 108 = d. Solve y*b - 9*b = 25 for b.
5
Suppose 4*u = 4*x + 192, 4*x = u - 0*u - 42. Suppose 3*n - 8*n - u = 0. Let k be ((-5)/(n/4))/(4/16). Solve 0 = 2*l - 2 - k for l.
5
Suppose -3*m = 2*q - 6, 3*q + m = -m + 4. Let z(t) = t**3 - 17*t**2 - 19*t + 21. Let c = -27 - -45. Let u be z(c). Solve -3*h + u = -q*h for h.
1
Let d be ((-87)/2)/(60/(-160)) + 8. Solve d*g - 101*g + 46 = 0 for g.
-2
Let q be (-3474)/14 + 5/35. Let w be 2/(-10) + q/(-40). Let u = -4877 + 4887. Solve u*x = w*x - 8 for x.
-2
Let z(k) = k**3 - 11*k**2 - 2*k - 120. Let l be z(12). Solve l = 13*m - 30 - 22 for m.
4
Let a(u) = -u**2 + 2*u - 9. Let s be a(7). Let z = 47 + s. Suppose -z*b - 29 = -q - 5, 4*b = -12. Solve 5 = -2*o + q for o.
5
Let q = -7556 + 7556. Solve q = -s - 2728 + 2730 for s.
2
Let p = 3190 - 3185. Solve 27*g - 160 = -p*g for g.
5
Let l(h) = h**3 + 7*h**2 - h - 9. Let t = 97 - 104. Let z be l(t). Let o be z/(-1) + 0/2. Solve -x + 6 = o*x for x.
2
Suppose 75*q - 74*q - 21 = 0. Suppose -34 - 29 = -q*b. Solve -2*z + b*z = 5 for z.
5
Let b be ((-428)/6)/(-4*(-6)/(-36)). Let l = 116 - b. Let v = l + -2. Solve -3 = c - v for c.
4
Suppose -5*t + 10 = p, p - 3*t = -18 + 28. Suppose 2*l + 3*l + 45 = 0. Let o = p + l. Solve -2 = m + o for m.
-3
Let z be (-1)/(-4) + 275/(-1100). Solve z = 113*i - 107*i + 18 for i.
-3
Let m be 285/75 + 2/10. Let x = 6 - -1. Solve m*s - 11 = -x for s.
1
Let i(n) = n**3 - 16*n**2 + 50*n - 272. Let w be i(14). Solve -20 = -w*x - 200 for x.
-5
Let s = -2774 + 2774. Solve 7*g + 33 - 75 = s for g.
6
Let y(r) = 12*r - 2*r - 43 - 5*r + r. Let w be y(8). Solve 6*d + w = -7 for d.
-2
Let j(r) = r**2 + 21*r + 70. Let m be j(-17). Suppose -5*w = x - 21, -m*w + 3*x + 1 = -4. Solve 2*p - w = -12 for p.
-4
Let s be (5*(-6)/5)/(26/(-169)). Solve s*p + 188 = -85 for p.
-7
Let w = -8659 + 8680. Solve -w*g + 92 = 2*g for g.
4
Suppose 185 = 2*w - 5*i, 21*w - 7*i = 23*w - 197. Solve 0 = -26*y + 43 - w for y.
-2
Let y(t) = 2*t**3 - 8*t**2 + 12*t + 5. Let r be y(5). Let m = r - 103. Solve 0 = -2*d - m + 2 for d.
-5
Let r = -548 + 503. Let o be (-21)/(2*(-5 + r/(-10))). Solve 6*x = 13*x + o for x.
-3
Let t be 5 + (-25)/5 + 2. Suppose 0 = -11*g + 12*g - t*h - 2, -h - 22 = -4*g. Solve 3*s - s = g for s.
3
Let v(i) = -2*i - 6. Let g be v(-6). Let t(o) = 4*o**3 - o. Let b be t(1). Let u(s) = s**2 - 10*s - 24. Let z be u(13). Solve -g*m = -b*m - z for m.
5
Suppose -88*d = -2025 - 1583. Solve -5*f - d = -26 for f.
-3
Suppose 5*l - 3*x = 9, -3*l + 8*l = 2*x + 11. Suppose -4*y = -l*y - 19. Solve -4*j + 11 = y for j.
-2
Suppose 6*s = -4*s + 50. Suppose 96 = u + s*u. Let a = -15 + u. Solve a = 2*r - 1 for r.
1
Let r be (-845)/338*-44*(-2)/(-10) - -3. Solve -55 = r*j - 5 for j.
-2
Let x = -14645 + 14732. Solve 59*f = 30*f + x for f.
3
Let i be (-59)/(-4*4/16). Suppose 2*q + 122 = 2*c, -249 = -3*c - 4*q - i. Solve 50 = 3*g + c for g.
-4
Suppose 0 = 10*y + 27*y + 2990 - 9169. Solve 23*z + 6 = y for z.
7
Let l(n) = -38*n + 32. Let m(a) = 25*a - 21. Let s(h) = -5*l(h) - 7*m(h). Let w be s(2). Solve w*u + 15 = 20*u for u.
5
Let p be (-4)/18 + (-1092)/(-54). Let v(j) = -j - 17. Let q be v(-20). Suppose 30 = 4*x + 2*h, 4*x - 2*x - 5*h + q = 0. Solve x*u - 2*u - p = 0 for u.
5
Suppose -22*j = -36*j + 334 + 1276. Solve 66*w - j*w = -98 for w.
2
Let w(c) = 13*c - 2. Let f be w(1). Let p(i) = i**2 - 12*i + 13. Let t be p(f). Suppose t*n + 5*q + 4 = 0, 5*q + 8 = -n + 1. Solve 7*s = n*s + 12 for s.
3
Suppose -2*y + 2*w = -8 - 10, -y = -3*w - 19. Suppose y*p - 1 = 2*f + 9, 4*p - 15 = -3*f. Solve f = 3*o + 10 for o.
-3
Suppose 2*z = -0 + 6. Suppose 77 = -2*i - l + 87, -i + 5 = 5*l. Solve z = -i*q + 18 for q.
3
Suppose -266*t - 159*t = 0. Solve t = r + 258 - 252 for r.
-6
Let a be (-3 - -11) + (-1 - 2). Suppose 0 = 9*p - 14*p + 20. Suppose 6*i = p*i + 6. Solve -a*b + i + 17 = 0 for b.
4
Let x = -26518 - -26539. Solve -669*m - x = -666*m for m.
-7
Let y = 69 - 63. Let p be (-1474)/y + (-3 - 16/(-6)). Let g be 1/6 - (7 + p/36). Solve g*t = 5*t for t.
0
Let n = 11762 - 11734. Solve 16*p + n + 36 = 0 for p.
-4
Let n be (4/(-10))/((-6)/15) + 2. Suppose 0 = n*m + 112 - 184. Solve 3*r = -3*r - m for r.
-4
Suppose 6*v = 13 - 49. Let x be ((-322)/21 + 4)/((-2)/v). Let r = x + 35. Solve -2*q + 1 = -r for q.
1
Suppose 24 = l + 4*b, 5*b + 10 = 35. Solve -34 = -10*f - l for f.
3
Let j = -164 + 196. Suppose 4*f - j = 12. Solve 2*r - 1 = -f for r.
-5
Let f = -1038 + 1079. Suppose -35*y = -f*y. Solve 13*l - 11*l - 2 = y for l.
1
Let x(d) be the third derivative of -d**5/60 - 3*d**4/8 - 10*d**3/3 - 6*d**2 + 3*d. Let z be x(-5). Solve -3*c + 10 - 1 = z for c.
3
Let z = -4035 + 4140. Solve -104*x + z*x = -2 for x.
-2
Suppose 95*s - 28 = 81*s. Suppose 0 = 5*o - 4*o. Solve o = 2*q - 0*q - s for q.
1
Suppose 3*k - 36 + 27 = 0. Let o = k - -6. Let h = -548 + 560. Solve 6*r + h = o*r for r.
4
Suppose 6*q - 2*q = 3*a + 759, -1 = a. Suppose -9*d = -243 + q. Solve 8*r = d*r - 2 for r.
-1
Let v be ((-1)/(0 + -2))/((-10)/(-60)). Let d(m) = -5*m + 21. Let z be d(v). Solve -2*i = -z*i - 8 for i.
-2
Suppose 4*i + 4*q = q + 17, 0 = 2*i - 2*q + 2. Suppose -3*u - 52 = 5*n, n - 3*n = u + 19. Let p be ((3 - 3)/u)/2. Solve i*r + p + 4 = 0 for r.
-2
Suppose 0 = -3*a - 0*a. Suppose -2*c + 3*c - 2 = a. Suppose 0 = 5*k + 5*z, 2*z + 27 - 11 = c*k. Solve -2*n + k + 2 = 0 for n.
3
Let z be (-1 - 9/(-6)) + (-370)/(-20). Suppose z = 3*a + 5*n, 2*n + 16 + 10 = 3*a. Solve 3*u = -4 - a for u.
-4
Suppose 254 = h + r, 3*h - 762 = 2*r + 3*r. Let d = h - 250. Solve d = 2*g - 3*g for g.
-4
Suppose 12*t - 1441 = -1369. Solve 0 = -t*m - 159 + 135 for m.
-4
Suppose 3*u - h - 77 = 83, -4*u = -2*h - 210. Let d = 59 - u. Let v(w) = -w + 12. Let t be v(12). Solve -d*j + t*j = 0 for j.
0
Suppose 35 = 2*k + j - 0, -4*k + 55 = -j. Solve -75*y + k = -80*y for y.
-3
Let n = -1267 + 1339. Solve -n = -25*x - 11*x for x.
2
Suppose 2*y = 3 + 65. Let s = 200 + -231. Let x = y + s. Solve x*o = -2*o + 5 for o.
1
Let o be (-1 - -1) + -8 + 15. Suppose -10*f = -o*f. Suppose f*v + v + b = 12, 2*v + 3*b - 27 = 0. Solve -4*t - v - 3 = 0 for t.
-3
Suppose 0*i = 7*i - 140. Suppose -3*t + i = t. Suppose -42 = -t*h + 38. Solve 0*j + h = -4*j for j.
-4
Let x = 47 - -14. Suppose -47 = -6*k + x. Solve k*a + 16 = 14*a for a.
-4
Let w(y) = 9*y + 32. Let v be w(-3). Let m(r) = 2*r**2 + 2*r**2 - 25*r + 18 + 11*r - v*r**2. Let h be m(-15). Solve 7 = h*b - 2 for b.
3
Let c(u) = 25*u - 646. Let s be c(26). Suppose -4*a + 2*a = -6, -2*y = 4*a - 30. Solve 7*v - s*v = -y for v.
-3
Suppose -44*v - 38*v + 10750 = -72*v. Solve -15*w = v - 1075 for w.
0
Suppose 5 = -o, 2*o + o - 5 = -g. Suppose -3*k = k + g, 2*k = -5*z. Solve 0 = z*i - 6 for i.
3
Suppose -18753 = -29*i + 20484. Let t be 17 + ((-2)/13 - i/(-429)). Solve -22*f = -t*f + 6 for f.
-3
Suppose -23*i + 26*i = 0. Let o be (15/6 + i)*12/15. Suppose -4 = -o*u - 0. Solve 0 = u*a - 0*a + 6 for a.
-3
Let h = 17 + -12. Let u be 1513/85 - (-192)/(-40). Solve -3 = -h*o - u for o.
-2
Let v = -95 + 322. Let l = v - 225. Solve 0 = l*c - 1 + 9 for c.
-4
Suppose -3*m + 2*j = -103, -5*m - 37*j + 40*j + 171 = 0. Suppose -23 = x + 5*p, -2*p - 46 = -0*x + 2*x. Let t = m + x. Solve 0 = 5*d - 10 - t for d.
4
Suppose 1406 = -56*g + 153*g - 60*g. Solve 14*m = -g*m - 208 for m.
-4
Let n(z) = -2*z. Let a be n(-2). Let y(g) = g**2 - 4*g + 5. Let f be y(a). Let c = -163470 + 163477. Solve c = 3*i - f for i.
4
Suppose 0 = -6*f + 3*f - 3*d - 6, -5*f + 3*d + 6 = 0. Let k be (f/2 + 1)*15. Suppose 4*j = -k + 23. Solve c - j*c = 2 for c.
-2
S