= 0 for b.
-5
Let n(f) = f - 4. Let q(m) = -2. Let l(i) = 2*n(i) - 3*q(i). Suppose 4*j - 6 - 6 = 0. Let y be l(j). Solve 0 = -y*w + 7 - 19 for w.
-3
Suppose -5*k = -10*k + 15. Suppose 0 = p - k - 2. Solve -p = -0*i - 5*i for i.
1
Let r = -6 - -3. Let b be r*4/(-6) + -2. Solve -4*w + 20 = -b*w for w.
5
Let m(s) be the third derivative of s**4/12 - s**3 - 3*s**2. Let l be m(5). Solve 13 - 5 = l*f for f.
2
Suppose 16*r - 14*r = 0. Solve c + r*c + 4 = 0 for c.
-4
Let q = 0 + -6. Let h be (2 + q)/(-2)*-2. Let i = h - -4. Solve i*w + 4 = -w for w.
-4
Let r = -10 - -13. Solve -r + 7 = 2*t for t.
2
Let a = 7 - 7. Solve a = 3*i - 2 - 1 for i.
1
Let d(y) = 2*y**2 + y - 5. Let l be d(-4). Suppose -l*z + 22*z + 15 = 0. Solve -h = -4*h - z for h.
-5
Let h(l) = -l**3 - 5*l**2 - 3*l + 1. Let m be h(-3). Let q = m + 10. Let s be (0 + 14/8)*4. Solve -q*f = -s*f + 25 for f.
5
Let a = 243 + -143. Suppose -y = -6*y + a. Solve 2*f - y = 7*f for f.
-4
Let u(p) be the second derivative of p**4/12 + p**3/6 - p**2 + p. Let i be (2 - -3) + 5 + -8. Let z be u(i). Solve -3*h - z = h for h.
-1
Let b = 23 + -13. Let j = 7 - b. Let v be (9 + -1)*j/(-4). Solve 12 = -v*m + 2*m for m.
-3
Let x be (-1 + 1)*1/2. Suppose 4*q + 0*q = 228. Suppose 5*p - q - 3 = 0. Solve x = -4*w + w - p for w.
-4
Let l be 8/68 + 606/51. Let u be (-4)/10 + 4/10. Suppose 2*x + x = u. Solve -3*r = -x - l for r.
4
Let u(i) = -i - 2. Let h be u(-4). Let t = 27 + -9. Suppose 4*q - n - t = 0, 0 = -5*q + q + 5*n + 26. Solve 0 = -h*x + q*x + 6 for x.
-3
Let h(a) = -a - 5*a**2 - 6*a + 0*a**3 + 9 + a**3. Let o be (-6)/2 - (-11 - -2). Let y be h(o). Solve 0*k - y = -k for k.
3
Let c be -4*(0 - 3/6). Let s be -1 + c - (0 - 82). Let p be 8/(-36) + s/9. Solve -15 = 4*u - p*u for u.
3
Let j be (-8)/28 - 92/(-28). Suppose j*i - 48 = -i. Solve -2*k - k = i for k.
-4
Suppose -3*y + 2*v + 2*v - 28 = 0, -v = y. Let j = -1 - y. Solve 0 = q + j*q for q.
0
Suppose -4*q = -3*k - 7*q + 9, -3*k - q + 5 = 0. Suppose -j - 4*b - 10 = 0, -b - 4 + k = 0. Solve 6 = -j*a + 4*a for a.
3
Let l(d) = 7*d**2 - 15*d + 18. Let y(h) = 13 - 23*h + 11 + 11*h**2 + 3. Let g(v) = 8*l(v) - 5*y(v). Let o be g(6). Solve x = -2*x + o for x.
5
Let h be -1*1 + (-5 - -7). Suppose 2*j = -2*k + k + h, 0 = -4*j + 5*k - 5. Suppose -2*o - 2 = -q, -2*o + j = -5*q + 2. Solve q = -5*p - 0 + 5 for p.
1
Suppose 9 = 4*d + 1. Solve -3*n + 1 = -d*n for n.
1
Let s be 2 - (-3 - (-1 - -1)). Solve u + s = 2 for u.
-3
Let i = -183 + 186. Let g be (1 - (2 + -2))*0. Solve -i*d + g + 3 = 0 for d.
1
Let h be 0 - 4 - (-27)/3. Solve 20 = -h*z - 0*z for z.
-4
Let f = 7 - 11. Let w(d) = -5*d**3 + 11*d**2 + 10*d + 3. Let j(q) = q**3 - q**2 - q. Let i(p) = 6*j(p) + w(p). Let v be i(f). Solve -v*z + 8 = -z for z.
4
Let s = 0 - -2. Suppose -5*g + 14 = -d + 4*d, s*g - 8 = -2*d. Solve 14 = -d*j - 1 for j.
-5
Let q(z) = -z**3 + 2*z**2 + 2*z - 4. Let o be q(3). Let i(a) = a**3 + 7*a**2 - a - 3. Let g be i(o). Let s = 2 + g. Solve 0 = 3*y - 0 + s for y.
-2
Let i = -6 + 5. Let z be 12 + -3 + -1 + i. Let s be -2 + z + 2/(-2). Solve -2 = -2*f + s for f.
3
Let a(g) = 7*g**3 - 6*g**2 - 3*g - 7. Let m(x) = -6*x**3 + 5*x**2 + 3*x + 6. Let w(b) = 4*a(b) + 5*m(b). Let v be w(-1). Solve 2 = -z + v*z for z.
2
Let a(x) = x**2 - 4*x + 3. Suppose 0 = 2*g - g + 5*l + 21, 2*g = 3*l + 23. Let d be a(g). Solve 0*m - d*m = 6 for m.
-2
Suppose -5*g + 4*g = -5. Suppose -39 = -g*d - 9. Solve -y = -d*y - 25 for y.
-5
Let v(p) = p**3 - 6*p**2 + p - 1. Suppose -2*n - 2*n + 24 = 0. Let h be v(n). Solve h*i + 3 = 8 for i.
1
Let f(b) = b**3 + 2*b**2 - 2. Let u be f(-2). Let t = 14 - 11. Let c be t - (1 + 2 + u). Solve 3 = c*y + y for y.
1
Let k be 6/(-4)*(-8)/6. Suppose -4 = j - k*j. Solve 0*l = j*l - 20 for l.
5
Let v(p) = -4*p**3 - p**2 + 1. Let t be v(-1). Solve -t*x = -2*x + 2 for x.
-1
Let y = -6 + 11. Solve -x + y = -6*x for x.
-1
Let o(x) = x + 10. Let t be o(-10). Solve t*l + 1 = -l for l.
-1
Suppose -5*x - 5*t = -2*x - 10, 0 = -2*x + 2*t + 12. Solve x*w = 3 + 2 for w.
1
Let v be 6 - 1 - (-3 - -2). Let z be (-2)/(-5) + v/(-15). Suppose z = k - 0 - 3. Solve -k*t + 8 = 23 for t.
-5
Let x = 60 + -55. Solve x*z + 10 = 3*z for z.
-5
Suppose -5*n = -5*j - 10, -3*n = -2*j + 10 - 19. Suppose 5*l + 2*r = 0, 0*l = 3*l - r - 11. Solve l - j = w for w.
-1
Let y = 138 - 134. Solve 4*s = 6*s + y for s.
-2
Let l = 34 - 34. Solve l*c = -2*c + 8 for c.
4
Let z be (18/12)/(6/28). Let q(m) = -m + 9. Let k be q(z). Suppose 0*g = -k*g. Solve 0 = -d - g*d - 2 for d.
-2
Let w = -154 + 94. Let n be w/(-8)*8/5. Solve 2*u = 5*u - n for u.
4
Let i be 2/11 - 60/(-33). Solve -i*h = -7*h for h.
0
Suppose 4*l - 15 + 3 = 0. Let u be 1/l + (-48)/(-18). Solve u = -3*k + 2*k for k.
-3
Let o = -19 - -29. Let h be 52/14 + o/35. Solve -5*y - 1 = h for y.
-1
Suppose 12 = -4*a - 0*a - 4*v, -5*v = 0. Let s = 3 + a. Let f be 2 + -1 + -1 + 2. Solve -f*w - 6 = -s*w for w.
-3
Let x be (6/9)/((-2)/3). Let a be x*1 + (3 - 0). Solve n + n = a for n.
1
Let z(y) = -3*y**2 + y. Let d be z(3). Let v be (-54)/d - (-2)/(-8). Solve 0 = 5*a - v*a for a.
0
Let b = -14 - -8. Let d be (3/(-1) - b) + -3. Suppose 0 = 4*z - z. Solve z*y + 2*y + 4 = d for y.
-2
Suppose -3*v + 2*s + 44 = 0, -2*v - 4*s + 40 = -0*v. Solve 3*m + v = -m for m.
-4
Let z be 0 + (-1 - -3)*1. Suppose 0 = -5*u + 4*b + 7 + 13, 4*u - 16 = 3*b. Solve -10 = -z*t - u for t.
3
Suppose 5*z - 21 = 2*a, -z = a - 3*a - 1. Solve -2*g - a = -g for g.
-2
Let l = -30 + 35. Solve 6*a + 1 = l*a for a.
-1
Let i = 1 - -1. Suppose i*s - z - 5 = -0, 5*s - 4*z - 8 = 0. Solve -3*p - s = -1 for p.
-1
Let j be (-14)/42*(14/(-2) + 1). Solve 4*t = j*t + 2 for t.
1
Let o be (-3 + 0)/(24/(-56)). Let f = -5 - -10. Suppose 3*p - 30 = -f*y, -17 = y - 3*p - p. Solve -y = -5*s + o for s.
2
Let n be (-2)/1*-2 - -1. Suppose -5*k + 2*y - 5 = -17, -n*y = 3*k - 1. Solve k*z = -3*z + 25 for z.
5
Let m be (-6)/42 - -22*(-3)/(-21). Solve -11 - 1 = m*z for z.
-4
Let p(v) = 6*v - 7. Let n(u) = -13*u + 15. Let w(l) = 2*n(l) + 5*p(l). Let y be w(5). Solve -3*b = -0*b - y for b.
5
Let k = 71 - 67. Let a = 5 - 2. Solve -k*t = -t + a for t.
-1
Let r = -17 + 12. Let c = r - -8. Suppose y = c*y. Solve 3*k + k = y for k.
0
Let c = 28 - 12. Suppose 2*i = -2*x - 2*i - c, 0 = -5*i - 25. Suppose x*y = 5 + 1. Solve 0 = y*j - 2 + 8 for j.
-2
Suppose 2*v = 6*v - 12. Suppose -2*o - 1 = -7. Solve o*z - 6*z = -v for z.
1
Let m(b) = 3*b - 18. Let r be m(7). Solve -v = -r + 8 for v.
-5
Suppose -2*d - n + 2*n + 29 = 0, 4*n = 2*d - 26. Let i(j) = 2*j - 8. Let b be i(7). Solve -3*v = -b*v - d for v.
-5
Let s(u) = u - 5. Let b = 5 - -2. Let v be s(b). Suppose 2*x + 3*x - 23 = -v*j, -5*x - 5 = -5*j. Solve h + 25 = -j*h for h.
-5
Let d = 2 - 2. Suppose v + 2*v + 27 = 3*a, -3*a - 5*v + 19 = d. Let j be (0 - (-17)/2)*2. Solve 5*i + a = -j for i.
-5
Let x(r) = -r - 4. Let b be 20/(-6)*(1 + 2). Let q be (-1 - b)/(-1) - -2. Let u be x(q). Solve 7*j = u*j for j.
0
Let h be (-2 - 1)/((-12)/16). Suppose -h*q - 1 = -9. Solve -q*u + 8 = 2*u for u.
2
Let v = 4 - -4. Let s be -1 + v + -2 + -1. Solve -3 = s*i + 5 for i.
-2
Let s = 102 + -74. Solve 4*j + 8 = s for j.
5
Let l(d) = -10*d + 5. Let y(c) = 5*c - 3. Let h(q) = 3*l(q) + 5*y(q). Let u be h(-1). Solve -3*x + u = 17 for x.
-4
Suppose 2*g - 12*g = -90. Solve 14*w - g*w = 20 for w.
4
Suppose -3*p = -16 + 4. Suppose p = 4*r - 2*r. Let i = 2 - r. Solve i = -u - u for u.
0
Suppose 0 = u - 3*r - 7, 0 = 2*r + 3 + 1. Let q be (-2)/2 + u + 0. Solve -5*s = -q*s for s.
0
Suppose -3*a + 79 = 2*z, 3*z - 99 + 18 = -3*a. Let v = a + -15. Solve -2*w = -0 + v for w.
-5
Suppose -3*k - 4*r = -6*k - 11, 0 = -5*k + 3*r. Let x(o) = -o - 1. Let h be x(-6). Let n = -4 + 6. Solve -h*y + k = -n for y.
1
Let i(o) = -129*o + 1. Let d be i(1). Let n be d/(-22) + (-22)/(-121). Solve -n = -0*k + 3*k for k.
-2
Let o = -3 + 7. Suppose h + 3*t = -0*h + 13, 2*h - 20 = -4*t. Solve 0*n + h = -o*n for n.
-1
Let c = -55 + 55. Solve -w + 4 - 2 = c for w.
2
Suppose 0 = 5*s - 0*s. Solve 4*l + 1 + 3 = s for l.
-1
Suppose -4*m - 10 = -h, -2*h + 3*m + 16 = 3*h. Suppose h*d - 5*b - 23 = 0, -4*d + 2*b - b = -19. Suppose 2*o = 6 - d. Solve -g + 2 - o = 0 for g.
1
Suppose -5*x = -3*x - o - 4, -16 = 4*x + 4*o. Solve x = 4*m - 6 + 14 for m.
-2
Let c(r) = r**2 + 6