= 0 for b.
3
Suppose -9*u = 6*u - 12*u. Solve -j = 1 - u for j.
-1
Let v be (-4 + 6)*(-3)/2. Let c be v*-8*2/(-12). Let p(s) = -s**2 - 3*s + 4. Let f be p(c). Solve 3 = r - f*r for r.
3
Suppose -2*k + 3*l - 11 = 0, -2*l = -l - 5. Let y(p) = p - 2*p - k*p. Let q be y(-1). Solve -q*w + 0 = 3 for w.
-1
Let a(i) = i - 2. Suppose 5*l = l + 8. Suppose 5*f = 2*m + 35, 0 = l*m - 0*m + 10. Let h be a(f). Solve -2 = h*d - d for d.
-1
Suppose 2 = q - 3. Solve 0 = -z + q*z - 12 for z.
3
Let f = -75 - -79. Solve -34 = -f*x - 14 for x.
5
Suppose 2*b + 8 = -2*k, 0 = 4*b - 2*k - 9 - 5. Suppose -4*f + 1 = -19. Let i = 7 - f. Solve -x + b = -i*x for x.
-1
Suppose 4*u = 2*u - 2. Let b = 6 + u. Solve 2*h + 5 + b = 0 for h.
-5
Suppose -3*c - 2*c + 25 = 0. Suppose -c*d + 0*d = 55. Let l = -9 - d. Solve 5*u - l*u = -9 for u.
-3
Let g = -6 + 7. Let t = 1 + g. Let x be (-16)/(-2)*t/4. Solve r + 1 = -x for r.
-5
Let n(j) = -8*j**3 + 2*j**2 - 1. Let x be n(-1). Solve x + 6 = -5*u for u.
-3
Suppose -3 = -3*n, 0*z - 1 = z - n. Let u = 1 - -1. Solve -u*y = -z*y for y.
0
Let x(n) = -3*n**3 - 32*n**2 + 35*n - 12. Let t(y) = -y**3 - 11*y**2 + 12*y - 4. Let g(z) = 17*t(z) - 6*x(z). Let l be g(-6). Solve -f = l*f + 15 for f.
-3
Let q = 26 - 21. Solve q*p = -10 - 0 for p.
-2
Let d(h) = -h**3 - 2*h**2 - h + 4. Let x be d(-2). Solve x = y + 1 for y.
5
Let c be 14/(-3)*(-30)/4. Suppose 0 = 2*x - 5*m - c, 2*x + 2*m = x - 5. Suppose 0*d - 2*d = x*i + 10, -d = -2*i - 13. Solve 10 = -0*z + d*z for z.
2
Let z = 4 - 4. Let u = 2 + z. Solve -1 = l - u for l.
1
Let y be (-2)/(4 + (40/(-6) - -2)). Solve -y*w = -0 + 6 for w.
-2
Let h(z) be the first derivative of z**3/3 + z**2 - 3*z - 2. Let m be h(-4). Suppose m*n - 21 = 2*n. Solve 3 = -5*y - n for y.
-2
Let a(x) = x**3 - 5*x**2 + 7. Let v be a(5). Suppose -2*s + 15 - v = 0. Solve 2*f = 3*f - s for f.
4
Let f = 20 + -16. Solve -f*b = b for b.
0
Let p be (-4)/(-20) - (-1)/(-5). Solve -w - 2*w - 15 = p for w.
-5
Let h be (0 + 28)*(-5)/10. Let z be (-9)/(-2) - (-7)/h. Solve 3*r - z + 13 = 0 for r.
-3
Let n be (2/5)/((-4)/(-20)). Let p be (4/(-3))/(n/6). Let q(j) = -j**2 - 5*j - 1. Let t be q(p). Solve -t = -g - 0 for g.
3
Suppose 0 = m - 4*m. Solve -2*o = -m + 2 for o.
-1
Let u(l) = 6*l**2 - l - 1. Let j be u(1). Solve 15 = -j*i + i for i.
-5
Let n(a) = -a**3 + 5*a**2 - 4*a + 6. Let r be n(4). Suppose t = -r*c + c + 5, -3*c - 2*t = -10. Solve 3*o + o + 4 = c for o.
-1
Let g(u) = 2*u**2 - 2*u + 4. Let y be g(4). Let m = -8 + y. Solve -8*i - m = -4*i for i.
-5
Let v be 4/(-22) + (-2)/(-11). Let m = v + 2. Solve g = -g - m for g.
-1
Let o be (0*(-2)/(-4))/(-10 + 9). Solve -3*j + 2*j = o for j.
0
Let y(g) be the first derivative of -g**2/2 + 7*g + 3. Let c be y(7). Solve -3*h + c = -6 for h.
2
Let g = 0 + -2. Let l = g - -5. Solve 0 = l*z + 4 + 8 for z.
-4
Let w(b) be the second derivative of b**5/20 + b**4/3 - b. Suppose 0 = 6*m - 0 + 24. Let d be w(m). Solve d + 6 = -2*y for y.
-3
Let f(j) = -j**2 + j + 4. Let i be f(3). Let h(q) = -q**2 - q + 2. Let o be h(i). Solve 3*b + 2*b - 10 = o for b.
2
Let i = -17 - -21. Solve -11 = i*w - 3 for w.
-2
Let u be 0*3/(2 - -4). Solve 7*w - 4*w = u for w.
0
Suppose 4*n + 15 = 3. Let h = n - -5. Suppose -10 = -z - 2*v, -4*z + h*v + 5 = -5. Solve z = -k - k for k.
-2
Suppose 2*u - 6 - 2 = 0. Solve 3*b + u = b for b.
-2
Let v = -3 + 9. Suppose v = 2*z - 2. Solve z*p + 12 = -8 for p.
-5
Suppose -2*r - p - 49 = 0, 85 = -7*r + 2*r + 5*p. Let g be 0 + r/(-2) - 1. Let j = g + -6. Solve -j*z + 17 = 5 for z.
3
Let h be (5 + -5)/(2 - 3). Suppose 4*n + 0*n - 8 = h. Solve n = -5*f - 3 for f.
-1
Let j(x) = x**2 + x. Let h(g) = -g**2 + 6*g + 1. Let f be h(6). Let k be j(f). Solve k*n + 3 = 1 for n.
-1
Suppose 0 = -2*b + 9 - 3. Suppose b*i + 3*l - 21 = 0, 3*i - 2*l + l = 5. Solve i*f + 2 = 5*f for f.
1
Let n(l) = l**3 - 6*l**2 + 4*l + 5. Let i be n(5). Solve -u + 3*u = i for u.
0
Let l = 15 + -6. Suppose 2*z - l = -1. Solve z = -2*g - 2 for g.
-3
Suppose 4*g - 7*g + 9 = 0. Suppose 3*x - 3 = 6. Solve -x*q - g = -0*q for q.
-1
Let t be 3/6 + 6/4. Solve -4*j = -2 - t for j.
1
Suppose 3*p - 6 = 3*o, -3*o + 4 - 15 = -4*p. Solve 10 = -p*q - 5 for q.
-3
Let j be (-3)/6*-1*16. Let m = 8 - j. Solve 2 = 2*h - m for h.
1
Let b(i) = -i**3 + 2*i**2 - 1. Let v(n) = n - 6. Let y be v(6). Let m be (2 - 0)/(-2 - y). Let o be b(m). Solve -l = -2*l - o for l.
-2
Let d(x) = 4*x + 12. Let p(m) = -3*m - 11. Let i(u) = -2*d(u) - 3*p(u). Let l be i(-5). Solve l*z + 6 = 6*z for z.
3
Suppose 0 = -6*v + v. Suppose -4*s + 117 = -s. Let r = s + -31. Solve -2*o + 4*o + r = v for o.
-4
Suppose 0 = -5*o + 5*j + 30, -2*j - 8 = -4*o + 24. Solve h = -h - o for h.
-5
Suppose 2*s + 3*d + 15 = -3*s, 5*d = 2*s - 25. Solve s = -o - 4*o for o.
0
Suppose -2*f + 3*a + 25 = 4, 0 = -5*f + a + 20. Suppose -t = -2*t. Solve f*l + l - 16 = t for l.
4
Let h = 9 + 3. Suppose 0 = -3*a - 3*k - h, -2*a - 3*k = 2 + 11. Solve 3*c + a = -8 for c.
-3
Let v = 54 + -54. Solve v = 4*a + a + 15 for a.
-3
Let l be (3 - 5) + (1 - 0). Let w be (l*1)/((-2)/6). Let d = 4 - w. Solve -d = 4*q - 5 for q.
1
Let v(n) = n**3 + 3*n**2 - n - 1. Let g be v(-3). Suppose 2*f - 48 = g*h, 2*f - 6*f = -h - 99. Solve 10 - f = 5*x for x.
-3
Suppose -5*c + 2*c - 3*w = -3, -c - 2*w = 0. Solve c*a + 2 = -4 for a.
-3
Let p = 27 - 5. Let k = p - 10. Solve -5*o + o = k for o.
-3
Suppose 4*w - 7*w - 18 = -5*z, 2*w + 11 = 3*z. Solve o - 1 = -z for o.
-2
Let h be 2 + -1 + -3 - -1. Let a be (0 - h) + (-2 - -1). Solve a = -2*z + 6*z + 20 for z.
-5
Suppose 5*r - 65 = -50. Solve r*y = -y - 20 for y.
-5
Suppose -1 = -3*f + 8. Suppose -4*m = 2*b - f*b - 16, m = -3*b + 17. Let d(o) = -o**3 + 4*o**2 + 4. Let t be d(b). Solve t = -2*r - 2*r for r.
-1
Let z be (2/5)/(17/85). Solve -z*t = t + 9 for t.
-3
Let c = 11 + -1. Solve c*i - 5*i = 10 for i.
2
Let d be -2*1 + (5 - 1). Suppose 5*l = -3*q + 4 + 16, -d*q + 5*l = 20. Solve -4*c = -q*c for c.
0
Let c(s) = -2*s. Let a be c(-4). Let y(b) = 3*b**3 - b + 1. Let j be y(1). Solve j*l - l = -a for l.
-4
Suppose 0 = -9*l + 3*l + 6. Solve 5*x - l - 9 = 0 for x.
2
Suppose 5*u = -u + 42. Solve u*k = 2*k + 25 for k.
5
Let d be 9/(-6)*(-6)/9. Let x be 5/1 - (d - 1). Solve -2*z + 9 = -x*z for z.
-3
Let l be 0 + 2 + 0 + 1. Suppose -6*v = -2*v - 5*h - 48, 3*v = -2*h + 13. Let m = v + -5. Solve 0 = b + m*b - l for b.
1
Suppose -3*b = -0*b + 12. Let l = 5 + b. Let f = 9 + l. Solve f = 3*q - q for q.
5
Let f(i) = -i**2 - 7*i - 5. Let l be f(-2). Solve l*a - 4 = -29 for a.
-5
Let q = 9 + -6. Let i(j) = -j**3 + 11*j**2 + 2. Let b be i(11). Suppose b*c + 0*c = 8. Solve 0 = -q*a + a - c for a.
-2
Suppose -5*h = -3*h - 16. Solve -h + 28 = 5*v for v.
4
Suppose 2*p - 12 - 24 = 3*k, -3*k - 24 = -p. Solve -4*f + 0*f = p for f.
-3
Let h(y) = -y**3 - 9*y**2 - 9*y - 8. Let k be h(-8). Suppose 2*s - 5*b - 11 = k, -s + 4 = -5*b + 1. Solve -2*u + s = -4*u for u.
-4
Suppose -o + z = 0, -o = 2*o - 2*z. Suppose o = t - 9. Suppose -t*c = -4*c. Solve -2*w - 11 + 1 = c for w.
-5
Suppose -3 + 7 = p. Suppose 35 = t + 4*m, -3*t = 3*m + 6 - 66. Let k = t - p. Solve k = -5*q + 1 for q.
-2
Suppose -3*a = -t - 2, a - 5*t = -a + 23. Let l be 5 + a + (2 - 2). Suppose 6*p = p + 5*u + 55, 3*p + l*u = 5. Solve -2*d = -p*d - 10 for d.
-2
Suppose -3*d = d - v - 17, 2*d - 1 = -v. Solve 0 = -2*o - d*o + 10 for o.
2
Suppose 75 = 2*r + 3*r. Solve -2*t = t + r for t.
-5
Let n(t) = -4*t + 9. Let u(y) = -4*y + 8. Let p(c) = 3*n(c) - 4*u(c). Let s(h) = 2*h - 7. Let j be s(6). Let q be p(j). Solve o - 6*o = -q for o.
3
Let o = -38 - -38. Solve o = -4*v + 2*v for v.
0
Let r(v) = -v**3 + 5*v**2 - 5*v + 2. Let c be r(3). Suppose -5*a - 5*y = 0, 0*y = 5*a - c*y. Solve a*j + 2*j = -6 for j.
-3
Let c = 147 + -138. Solve 4*n - 5 = c*n for n.
-1
Let c(o) = -o**3 - 5*o**2. Let w be c(-5). Suppose w*d + 19 = d. Solve 5*h - d + 4 = 0 for h.
3
Let o(t) = t**2 - 9*t - 10. Suppose 3*q + 50 = 8*q. Let f be o(q). Suppose 0 = 4*r - 2*u - 38, -4*r + 0*u + 42 = 2*u. Solve f = -k - k + r for k.
5
Let u = -6 - -10. Suppose -16 = -u*g, g + g - 8 = -n. Suppose -2*b + b + 3 = n. Solve 2*t = -b*t + 15 for t.
3
Suppose -5*i = 5*y - 5, 3*i + 2*i = -20. Solve -10 = 3*x + y for x.
-5
Let u be 34/10 + (-14)/35. Let m(p) = p**3 + 6*p**2 + 6*p + 4. Let k be m(-5