-4*b. Let l be (-3 - (-1 - b))/1. Let g be ((l + 1)*-1)/(-1). Solve -3*h - 2*h = g for h.
0
Let v be 24/14 - (-6)/21. Suppose -v - 3 = -d. Solve 0 = -d*f - 6 - 9 for f.
-3
Let v(h) = h**3 + 3*h**2 - 3*h. Let t be v(-3). Let y = -4 + t. Suppose y*b = 24 + 36. Solve 5*l + b = 2*l for l.
-4
Let m(j) = -j - 1. Let b be m(-3). Let s = -121 - -124. Solve -g = -s + b for g.
1
Let q = 22 - 19. Solve -q = d - 1 for d.
-2
Let r = -23 - -27. Solve -z = 3*z - r for z.
1
Suppose -8 = -3*a + 28. Suppose -n + a = 3*n. Let r = 235 + -234. Solve n = -x + r for x.
-2
Suppose 0 = 4*y + 5*j + 7, y + 2*j - 1 = -5. Let i(k) = k + 2. Let g be i(-3). Let h = y + g. Solve -h = p - 0*p for p.
-1
Let x = 2 + 1. Suppose 0 = -x*c + 3 + 9. Let u = -1 + c. Solve -3*w + 12 = -u for w.
5
Let i(s) = -s + 8. Let h be i(6). Suppose -3*g + 0*g = 3*n - 30, -4*n + 26 = h*g. Solve 0 = g*p - 2*p + 10 for p.
-2
Let j be 5/3 + 1/3. Solve j*g = -3*g - 20 for g.
-4
Let n = 70 - 20. Suppose -30 - n = -4*g. Suppose 3*f - 56 = 2*u, 4*u + u = -g. Solve -f = -4*r - 4 for r.
3
Let j be 2/(-4) - 2/(-4). Let x be (-2 - j)/((-1)/6). Let s be 3/x + 14/8. Solve 0*h - s*h + 4 = 0 for h.
2
Suppose -5*p = 4*k - 4*p + 5, 5*p + 25 = 2*k. Suppose 3*j + 4*m + 383 = k, -3*j - m = -2*j + 128. Let d be (-4)/(-6) - j/9. Solve 0 = 5*z + d - 0 for z.
-3
Let c(g) = g**3 + 8*g**2 - 9*g + 4. Let z be c(-9). Let q(v) = 2*v - 3. Let i be q(z). Solve 0 = i*r - 2 + 12 for r.
-2
Suppose 11 = -3*d + 4*d. Suppose -10 = 2*j - 4*j. Let z be (j/(-2)*-2)/1. Solve -z*k = -1 + d for k.
-2
Suppose -r + 4*r - 9 = 0. Suppose -5*l + p + 8 = -3, -l + r*p = 9. Suppose -l*y + 8 = -1. Solve y*i - i = -4 for i.
-2
Let t(d) = d**3 + d**2 - d + 5. Let j be t(0). Let o(s) = -s + 3. Let n be o(j). Let l be (n/(-6))/((-1)/(-3)). Solve -a - l = 1 for a.
-2
Suppose 5 = 5*o - 5. Suppose -o*b - 12 = -5*k + k, 3*b + 9 = 3*k. Solve a + 0*a = b for a.
0
Suppose 3*w - u = 6*w - 8, 4*w - 3*u - 2 = 0. Solve m + w = 1 for m.
-1
Let w be 0 - -3 - (-2 - -2). Suppose -13 = 3*y + 3*q - 1, 4*q = -w*y - 13. Let g be (-56)/21*y/2. Solve 7*s + 9 = g*s for s.
-3
Let x be 0 + (-7)/((-7)/6). Suppose 4*m + 12 = 4*q, x = q + 1. Let i be (-7)/(-5) + 4/(-10). Solve -m*d + d + i = 0 for d.
1
Let r = 27 - 23. Solve -r*h = h for h.
0
Suppose 0 = -4*h + 86 + 22. Suppose -5*s = -h - 23. Solve -s = -2*b - 0 for b.
5
Suppose 25 = -2*k + 5*c, -9 = -2*c + 1. Solve k*g = 4*g - 4 for g.
1
Let n = -3 + 4. Let p be (1 + 0)/(n/2). Let u be (-12)/18*(-6)/2. Solve -u*j = -j - p for j.
2
Let z(l) = 6*l - 2. Let s be z(3). Suppose 0*o - 4*o = s. Let a = o + 4. Solve a = 2*b - 7*b for b.
0
Let t be 1 - (0/9 - (-19)/(-1)). Solve -4*b = 4 - t for b.
4
Let y = 3 + -1. Let o = 0 + y. Solve 3*s + o = 2*s for s.
-2
Suppose 15 = 5*n + 5. Solve 2 = 2*c - n for c.
2
Let i(a) = -a**3 + 6*a**2 + 2. Let v = 0 + 17. Let m be (-6)/(-18) - v/(-3). Let p be i(m). Solve 3*h - 5 = -p*h for h.
1
Let s(q) = q**3 - 8*q**2 + 6*q + 10. Let r be s(7). Suppose -4 = -4*v + 8, -5*p = 5*v - 20. Solve -5 - p = r*z for z.
-2
Let y(u) = -u**2 + 8*u - 4. Let a be y(3). Let z(m) = 12*m - 6 - 3*m**2 + 2*m**2 + 0*m. Let n be z(a). Solve -n*v - 8 = -v for v.
-2
Suppose 6*k - 8 = 2*k - y, 0 = y + 4. Solve 0*m = -3*m + k for m.
1
Let u(t) = -t**2 + 5*t + 6. Let y be u(6). Suppose 5*w = -y + 15. Solve 0 = -3*n + w - 15 for n.
-4
Let s(l) = -l + 8. Suppose 5*i = 2*p - 17, 5*i = 3*p - 26 + 3. Let z be s(p). Solve k - 3 = -z*k for k.
1
Let b(x) be the first derivative of x**3/3 - x**2/2 + x - 5. Let w be b(0). Solve 3*l + 16 - w = 0 for l.
-5
Let n = -31 - -43. Suppose 3*l = -2*f + 12, -3*f + 2*l - 8 = -2*f. Suppose f = -0*g + 5*g + 5*p, -3*g = -2*p. Solve -4*r + 0 + n = g for r.
3
Suppose -2 = -2*p, -2*t = -4*t - 5*p + 13. Suppose -t*z + 6 = -3*x, -z - 2 = x - 7. Suppose -3 = -a + 2. Solve z + a = 2*v for v.
4
Let s(l) = -8*l + 5*l**2 - 1 + 5*l - l**3 + 0. Let i be s(4). Suppose 0 = 5*x - 3*c + 15, -x - 2*c + 6*c - 20 = 0. Solve x = -7*w + i*w for w.
0
Let i(b) = 4*b**2. Let m = 4 + -3. Let x be i(m). Let o be (-2 - -5)/((-1)/(-1)). Solve o*p - x = -p for p.
1
Let o(b) = b**3 + b. Let x be o(0). Let w(a) = a**3 - 5*a**2 + 6*a - 6. Let d be w(4). Suppose g = -x*g + d. Solve 9 = g*h + h for h.
3
Let i = 105 - 96. Solve 0 = -b - 2*b - i for b.
-3
Let j be (-7 + 4)*(-8)/3. Let q = j + -3. Solve -q = -0*d - 5*d for d.
1
Let d(p) = p**2 + 7*p + 6. Let g be d(-6). Let w(o) = -o + 8. Let h be w(8). Solve g = -k - h - 2 for k.
-2
Suppose w + 5*r - 4*r = 11, 0 = -3*w + 4*r + 5. Let f = w + -7. Solve f = -2*h - 0*h + 2 for h.
1
Let u = 15 + -10. Let b = u - 8. Let c be b/6 + (-2)/(-4). Solve c = d - 0*d for d.
0
Suppose 0 = -4*q - 0*q. Solve q*n = n + 2 for n.
-2
Let h = 36 - 6. Let w be h/4 - 6/4. Solve w*g - 15 = 3*g for g.
5
Let m = 0 + 2. Suppose -2*y = -y. Suppose d + 4*c + 4 = -y*c, 3*d + c = -1. Solve d = -3*j + m*j - 4 for j.
-4
Suppose 0 = -3*p + 10 + 5. Solve 2*b = 7*b - p for b.
1
Let n = -5 - -8. Let j be ((-8)/n)/(6/(-9)). Solve 2*f + j - 14 = 0 for f.
5
Suppose -5*x - 3*m + 5 = -4*m, 3*x = 2*m + 10. Solve x = 4*y - y for y.
0
Let s be -2 - (1 + -2 + -2). Suppose s + 0 = c. Solve l - c = -6 for l.
-5
Let x(a) = 0*a**2 - 2*a + a**2 - 2*a. Let j = 3 + 2. Let h be x(j). Solve -h*t + 5 = -0 for t.
1
Suppose p - 22 = -2*j, -4*p - 4*j + 88 = j. Suppose -6*d + z = -d - p, -3*d = -5*z - 22. Solve -d*m = 12 + 8 for m.
-5
Let m = 73 - 70. Solve y = -m*y + 16 for y.
4
Let r be -1*2 + 0/1. Let l(h) = -9*h - 3. Let a be l(r). Suppose -a = -3*g - 0. Solve -g*b = -4 - 1 for b.
1
Let s(b) = -3*b - 7. Let q be s(-3). Solve -5 = -3*k + q*k for k.
5
Let w be 2/(-4) + 15/2. Let r = w - 5. Solve -5*z = -7 + r for z.
1
Let k be 9/27 + (-23)/(-3). Suppose -4*i = -3*i - 5. Let s = k - i. Solve -s*u + 3 = -6*u for u.
-1
Let y = -33 - -37. Solve 2*g - 10 = y*g for g.
-5
Let q = -13 - -32. Solve 5*k - q = -4 for k.
3
Suppose -3*r + 1 = -8. Suppose -2*z + r*k - 2 = 1, 2*k = 2*z. Suppose z*j - j = 2. Solve -j = -n + 4 for n.
5
Suppose -2*r + 4 - 9 = -u, -4*u = -3*r - 15. Let d(p) = -p + 3. Let x be d(-3). Let z = x + -4. Solve u*y = z*y for y.
0
Suppose -18 + 12 = -6*v. Solve -7 = 4*z + v for z.
-2
Suppose 0 = -4*u + 20, 0*y + 2*y + u + 35 = 0. Let f be ((-12)/10)/(6/y). Suppose 0 = -f*o - 0*o. Solve o*w - w - 3 = 0 for w.
-3
Suppose -2*p - 13 - 11 = 0. Let i = 16 + p. Solve i*o - 3 + 11 = 0 for o.
-2
Let k = -38 - -44. Solve j + j + k = 0 for j.
-3
Let n(b) = 2*b**3 + 16*b**2 - 2*b - 12. Let s be n(-8). Solve 4 = -s*q - 0 for q.
-1
Suppose 0 = -r + 5*c + 23, 0 = -5*r - 3*c + 6*c + 27. Solve r*q - 5*q = -10 for q.
5
Let m = 2 - 2. Solve 4*j + 12 + 4 = m for j.
-4
Let n be 16/(1/(2 - 1)). Let x = n + -8. Let i = x - 6. Solve -5*b = -i*b + 6 for b.
-2
Let n be 1/4 + 46/8. Suppose -4*c - 3*k + 3 = 0, 4*c + k = n*c - 9. Let o be (-4)/(-14) + (-1148)/(-98). Solve 3*b - c = -o for b.
-3
Let y(r) = -3*r - 2. Suppose 0 = -3*b - 14 + 2. Let l be y(b). Solve -4 = 2*v - l for v.
3
Let t(j) = j**2 + 8*j - 8. Let z be t(8). Suppose -4*p + z = p. Solve 5*v + p = 4 for v.
-4
Let s be (-4)/10 - 12/(-5). Let i be ((-4)/(-4))/(s/6). Solve i*q + 2 = -4 for q.
-2
Let d be (12/(-8))/((-3)/4). Suppose 0 = h - 4*l - 5, d*l + 8 = 4*l. Suppose -h = -4*y + 11. Solve s = -3*s - y for s.
-2
Suppose 67 = 4*x + 51. Solve f = -x*f + 10 for f.
2
Let i = 6 + 3. Solve i = -2*j + 5*j for j.
3
Suppose q - 2*z + 6*z = -7, -2*z + 14 = 4*q. Suppose -5*l - 33 = -2*x, -17 = -4*x + 6*x + 5*l. Solve -t = x*t + q for t.
-1
Let y = 4 + 0. Let s be (32/40)/((-6)/(-15)). Solve -s*f + y = 2*f for f.
1
Let x(p) = -p**3 + 4*p**2. Let n be 15/4 + 5/20. Let f be x(n). Solve 3*c + 6 = -f*c for c.
-2
Let g be -4*3/6*-3. Suppose g = w - 5*s, w + 0*w + 1 = -2*s. Suppose 0 = -2*l + 5 + w. Solve 0 = l*p + 3 - 0 for p.
-1
Let p be ((-4)/(-3))/(-2)*-3. Suppose -2*h - 3*t + 4 = 0, -4*h - 3*t + p = -0. Let a be -3 - -4 - (0 - h). Solve 0 = -2*f - a*f - 6 for f.
-3
Let c(x) = -x**3 - x + 5. Let a be c(0). Suppose 2*f = -19 - a. Let j be 2/4 - 258/f. Solve -5*h + j = 2 for h.
4
Let f be (-2)/((-8)/(-9))*-4. Let x be (-7)/(-28) + (-35)/(-4). Let v(i) = i**3 - 10*i**2 + 9*i + 1. Let p be v(x). Solve -2*l + f = -p for l.
5
Suppose 0 = -2*b + 52 + 8. Let n be (b/(-25))/(9/(-30)). Solve -n*s = -14 - 6 for s.
5
Sup