= 0 for b.
-3
Let q(l) = 16*l**2 + 1. Let i be q(1). Suppose -3*c = 3*t - 15, -16 = -4*t - t + 4*c. Solve t*m = i + 3 for m.
5
Suppose 0 = -2*d - 4*a - 16, -5*a + 1 = 2*d + 22. Suppose -d*i + 4*j = 16, -2*i - 3*i - 5 = -3*j. Let u be (0 - (i - 2))*-1. Solve -p = -u*p + 2 for p.
-2
Let q be 682/7 + 9 - 3/7. Solve -v = -105 + q for v.
-1
Let k = 98 + -49. Let q = -49 + k. Solve q = 4*b - 8 + 4 for b.
1
Suppose 47 = -8*w + 11*w - 5*f, 5*f = w - 29. Solve 2*b + 13 = w for b.
-2
Suppose 3*b + 11 - 17 = 0. Solve -b*t - 14 + 8 = 0 for t.
-3
Let j = 939 + -910. Solve 39 = 42*l - j*l for l.
3
Let q = 1488 - 1455. Solve q*n - 34*n - 1 = 0 for n.
-1
Let g = 65 - 62. Solve -g*w = -0*w - 3 for w.
1
Let x = 281 + -275. Solve 0 = 6*z - 8*z - x for z.
-3
Let n(a) = 2*a**3 + 25*a**2 - 12*a + 15. Let i be n(-13). Suppose -6*d + 2*d - 4*w = -32, 0 = 5*d + 3*w - 34. Solve d*b - 13 = i for b.
3
Let d(y) = -y**3 - 7*y**2 - 2*y. Let z be d(-7). Suppose -2*v + 76 = 2*v. Let r = v - z. Solve r = -j - 4*j for j.
-1
Let g(f) = -f**3 + 9*f**2 + 16*f + 1. Let n(k) = k**3 - 8*k**2 - 15*k. Let z(c) = 6*g(c) + 7*n(c). Let d be z(4). Solve s = 2*s - d for s.
2
Let h = -209 + 213. Solve h*m + 0 = -8 for m.
-2
Let x(l) = l**3 - 17*l**2 + 21*l - 38. Let i be x(16). Let y = 47 - i. Solve y = -3*s + 2 for s.
-1
Suppose 6 = -2*g + 2. Let t(a) = -5*a - 125. Let f be t(-26). Let k = g + f. Solve 2*m + 5 = -k*m for m.
-1
Suppose -4*t - 5*v - 634 = 0, -3*t + 2*v - 206 = 258. Let q = t - -164. Solve -5*d = -q*d for d.
0
Let f(o) = o**2 + 8*o + 4. Let z be f(-6). Let t be 4*(4 + 26/z). Suppose y = 4*j - 8, -t = -3*j + 3*y + 3. Solve -j*q = -q for q.
0
Let q(w) = w + 5. Let x be q(-5). Suppose -3*g = 5*t + 9, -8 = 2*g - 3*g + 2*t. Let i be g/(-9) + (-38)/(-9). Solve x = -v - 0 - i for v.
-4
Let x(g) = -g - 17*g**2 + 16*g**3 + 3 - 20 - 17*g**3. Let s be x(-17). Solve 20 = 4*v - s*v for v.
5
Suppose 6*w - 98 - 16 = 0. Suppose 2 = 3*g - w. Solve -g*t - 4 = -3*t for t.
-1
Let c(g) = 309*g + 2477. Let k be c(-8). Let a(d) = d**2 - 4*d - 2. Let w be a(5). Let y = 7 - w. Solve 4 = -k*z + y*z for z.
-4
Let v(d) = -d**3 - 37*d**2 - 62*d + 286. Let l be v(-35). Solve -l*p + 0 = -6 for p.
1
Let b = 486 + -483. Solve p + b + 2 = 0 for p.
-5
Suppose 12 = 4*a + 5*b, 5*b = 4*a - 7 - 5. Suppose -4*s - 5*f + 34 = 6, -a*s = 5*f - 26. Suppose -r = -s*h + 6 - 2, 1 = -r + h. Solve 0 = -4*p + 2*p + r for p.
1
Let l = -7 - -2. Let d be (1 + l)*(-21)/28. Solve 2*f = -d*f for f.
0
Let n be (((-198)/(-12))/(-11))/(2/(-4)). Solve -5*i - 5*i = -n*i for i.
0
Let q(i) = i**2 + 5*i - 13. Let g be q(-9). Solve 7 = -4*y + g for y.
4
Let q(r) = -r**3 + 13*r**2 - 16*r - 4. Let o be q(3). Solve -o*g - 8 = -40*g for g.
4
Let r(a) = -4*a**3 - 3*a**2 - 5*a - 3. Let t be r(-1). Solve 2*z = -t*z - 5 for z.
-1
Let p be 152/266*(42/4)/3. Let a be (2 + -1)/(2/6). Solve a = -3*b + p*b for b.
-3
Suppose 4*r = -4*v + r, -2*v = 2*r. Suppose 0 = 5*d - 44 - 16. Solve v = 8*w - 4*w - d for w.
3
Suppose -4*p = d - 0*p + 2, -p + 7 = d. Let k(z) = z**3 - 10*z**2 + z - 5. Let h be k(d). Suppose -2*s = -3*x - 3, -x = h*s - 0*s - 33. Solve c + c = -s for c.
-3
Suppose -2*h - f = -4, -h + 5*h + 4*f = 8. Suppose 5 = -n, h*n + 40 = 5*l - 0*l. Solve -2*k + 20 = -l*k for k.
-5
Let s = 4 + 1. Suppose -3*h = 6*z - 5*z - 19, 2*z - 5*h - 27 = 0. Solve -s*c - z = -c for c.
-4
Suppose -4*b - i + 91 + 138 = 0, -4*b - 2*i = -230. Solve -9*t + b = 21 for t.
4
Let f(k) = k**3 - 2*k**2 - 5*k + 4. Let t be f(3). Let h be (15/30)/(t/20). Let a(v) = v**2 + 4*v - 5. Let y be a(h). Solve -j + 0*j - 3 = y for j.
-3
Suppose 17*i - 172 = -138. Solve 78 = i*v + 76 for v.
1
Let x be (-1)/(28/(-24) + 1). Let y(z) = -z + 6. Let d be y(x). Suppose 0 = -d*j - j - 3*n - 11, -9 = 4*j + 5*n. Solve -12 = -j*w + w for w.
4
Suppose 4*f - 6 - 2 = 0. Suppose -14 - f = -4*o. Suppose 0 = -2*j, -2*s = -s + o*j - 5. Solve -s + 1 = 4*w for w.
-1
Let i(g) = -5*g - 3. Let b(t) = -2*t - 1. Let o(s) = 8*b(s) - 3*i(s). Let w be o(1). Let a = 134 - 127. Solve w = -5*p - 3 - a for p.
-2
Let f be -10*(19/5 - 6). Solve 4 = -6*z + f for z.
3
Let d(q) = -q**3 - 43*q**2 - 41*q + 62. Let b be d(-42). Solve m - 5*m = b for m.
-5
Suppose -135 = -4*u - 3*c, 5 = 4*c - 3*c. Solve 17*f = u*f - 26 for f.
2
Suppose -96*b + 168 = -90*b. Solve -43 = -5*u - b for u.
3
Suppose 0 = 7*c - 23 - 96. Suppose -p = -6*p - 5*f + 140, 2*p - 60 = -f. Let k = p - c. Solve -h = 4*h + k for h.
-3
Let f(r) = 5*r**2 - 16*r - 2. Let q be f(7). Let t = q - 94. Let y = 42 - t. Solve 0 = -3*v + y*v - 2 for v.
1
Let n = -998 - -1002. Solve 0 = n*u - 6 + 22 for u.
-4
Suppose 8*z - 145 = 3*z. Let v = -144 + z. Let k be (-10)/(-6)*(-138)/v. Solve -2 = -l + k for l.
4
Suppose 2*y + y + p = -105, -y = 5*p + 35. Let n = y - -35. Solve -5*d - 20 = -n*d for d.
-4
Let o be 16/(-4) + 20/8*2. Solve o = x - 0 for x.
1
Let d(c) = 6*c - 1. Let u be d(1). Suppose -u*l - 1 = 24, 5*x + 4*l = -10. Suppose -x*g = -5*q - 20, -q - 4*q - 5 = g. Solve 9 + 1 = g*s for s.
2
Suppose 0 = 3*i - 2*d + 69, -3*i - 66 = -3*d + 2*d. Let m(r) = -r - 21. Let f be m(i). Solve -4*c = -f*c for c.
0
Suppose 5*n - 78*z + 82*z = 66, 2*z + 72 = 5*n. Solve -21*v = -7*v + n for v.
-1
Let p = 90 + -86. Solve 10*c + p = 12*c for c.
2
Suppose 13*l - 18*l = -115. Suppose 47 = 6*r + l. Solve r*v = -3 + 11 for v.
2
Suppose -5*w = 32*q - 35*q + 20, 4*w + 16 = 2*q. Solve q = 8*z - 5 + 21 for z.
-2
Let p(f) = -4*f - 6. Let s be p(-4). Let b(g) = -g + 14. Let m be b(s). Suppose -5*k - 3 = 4*o + m, -4 = o + 2*k. Solve 0 = -i - o - 1 for i.
-3
Let n be (5/(-5))/(1 - 0) - -4. Suppose n*l - 128 = -122. Solve -l*c + 0 = 2 for c.
-1
Let c = -1 + 6. Suppose -2*l = -4*l - 5*o + 6, -3*o = 0. Suppose b = -2*a + 6*a - 12, l*b + 12 = 4*a. Solve 2*m = c*m - a for m.
1
Let r = -67 - -65. Let w be 2/(-2) + 1/(r/(-18)). Solve w = 3*x - 7 for x.
5
Suppose 5*c = j - 287, 3*c - j + 26 + 145 = 0. Let b = c + 65. Solve -b*t - 25 = -2*t for t.
-5
Let k(b) = -b**3 + 18*b**2 - 2*b + 41. Suppose -6*f - 54 = -9*f. Let i be k(f). Solve i*m = -0*m - 15 for m.
-3
Let m be 2 + 2/(-2)*-78. Let g be (-3)/(5/(m/(-12))). Solve 0 = -3*z + g*z for z.
0
Let l = 15 - -8. Let x = l - 8. Solve 6*j - j - x = 0 for j.
3
Suppose -2*z - 4*z = -192. Let q = 29 - 24. Solve q*c - 7 + z = 0 for c.
-5
Suppose 4*s - 6 = -v, s = v - s - 6. Solve v*j - j = 10 for j.
2
Suppose h - 4*g = -2*h - 15, 5*h = g - 42. Let y be (3/h)/((-3)/18). Solve y*o = -2*o for o.
0
Suppose -174*o + 161*o = 0. Solve o = 8*g + 6*g for g.
0
Let k be -2 + 24 + (-3)/1. Let r = 33 - k. Let g = r + -11. Solve 0 = -6*a + g*a - 15 for a.
-5
Let w(j) = j**2 + 4*j - 8. Let t be w(-6). Suppose -t - 20 = -6*v. Solve 0 = -2*g + v*g - 8 for g.
4
Let l(p) = -p**2 + 23*p + 213. Let q be l(30). Suppose -3*o = -8*o. Solve -q = -a - o for a.
3
Suppose 0 = 4*l + 4, 5 - 2 = -y - 3*l. Suppose -v = -y*v - 2. Suppose v*x + 12 = 4*x. Solve -x*d + 12 = -2*d for d.
3
Let k(p) = p**2 + 4*p + 2. Suppose -2*c + 3*w + 18 = 0, c + 1 + 8 = -3*w. Suppose c*u = -u - 16. Let l be k(u). Solve 10 = 2*g + l for g.
4
Suppose -4*c + 9*n = 4*n - 17, 4*c = -2*n + 10. Solve 0 = -c*d + 24 - 9 for d.
5
Let n = 834 - 834. Solve 16*o + 32 + 32 = n for o.
-4
Let i = 1197 + -1197. Solve i*t = -13*t - 52 for t.
-4
Let w be 2*(-7)/(-2) + 2/(-1). Solve w*d = -9 + 19 for d.
2
Let b be ((-16)/(-12))/((-8)/12). Let f be (-3 + (2 - b))*0. Solve 2*r + f*r + 6 = 0 for r.
-3
Let o be ((-2)/(-5))/((-7)/(-35)). Let k be (24/o)/(8/28). Suppose 7*h = -k + 217. Solve 0*b + h = -5*b for b.
-5
Suppose 0 = -3*f + 2*f - 45. Let l = f + 49. Solve j - l = -0*j for j.
4
Let v = -23 + 23. Solve 5 = -o - v*o for o.
-5
Suppose 2*v - 1 = 11. Suppose 5*d - 4 - v = 0. Solve -d*k = 2 + 2 for k.
-2
Let o be (2/(-3))/((-8)/12). Let a be o/4*(-1 + 21). Suppose a*v = 4*v. Solve 3*q - 5 - 4 = v for q.
3
Let s be 8/12*78/4. Let c = s + -16. Let q be c - -1 - (-1 + -1). Solve 2*f + 3*f - 5 = q for f.
1
Let g be 923/284 + 3/4. Solve 0*l + 20 = -g*l for l.
-5
Suppose 5*f + 0*w = -4*w + 24, 5*w = 4*f - 11. Let o be ((-30)/1)/((-6)/(-8)). Let m be (-304)/o + f/10. Solve 3*j + j = -m for j.
-2
Suppose 0 = -35*y - 47*y + 1640. Solve -y = -6*m - 26 for m.
-1
Let f be 1/(-5)*(-11 - -1). Let v be (f - (3 + -1))/(-2). Solve 4*k - 2*k - 4 = v for