 1 + b for k.
3
Let m = 26 - 20. Suppose 0 = 5*c - m - 4. Solve -3*o - c + 17 = 0 for o.
5
Suppose 5*q = -3*m - 4, -q - 3*m + 6*m = -10. Suppose -t - t + 4 = 0. Solve t*v = -5 - q for v.
-3
Let l(s) = 2*s. Let f be l(9). Let t be 4/18 + 32/f. Solve -5 = x - t for x.
-3
Let a = 10 + -6. Suppose 3*k + 23 = -2*q, 0 = -4*q + 2*q - 2*k - 18. Let y = a - q. Solve 0 = -4*f + 8 + y for f.
4
Suppose 3*d - d = 0. Solve 2*x + d*x = -6 for x.
-3
Let o(v) = v**3 + 0 + 6*v**2 - 1 + 3 + 6 + v. Let u be o(-6). Solve -6 = -u*s - 2 for s.
2
Let g(s) = 7*s + 9. Let a(m) = 11*m + 14. Let h(n) = -5*a(n) + 8*g(n). Let l be h(-2). Suppose -4*z + z + 3*f + 9 = l, 4*f - 8 = -z. Solve 3 = -z*w + w for w.
-1
Let q be 0/(4 + (-8 - -3)). Solve 0*n + 2*n = q for n.
0
Let f be (-1 - 15/(-35))*-7. Solve -5*z + 3*z = -f for z.
2
Suppose -5*p = -24 - 61. Suppose -2*b + p = y + 3*b, 5*b = 15. Solve 3*r - y*r = 0 for r.
0
Let z(l) = -2*l - 8. Let k be z(-4). Solve -4*s + 7 + 1 = k for s.
2
Suppose -5*x = 25, -5*k + 4*x + 155 = -0*k. Let u = -18 + k. Solve u - 21 = 3*n for n.
-4
Let h be ((-60)/(-25))/((-4)/(-10)). Let p be 16 + -2 + h/3. Solve -v = 3*v + p for v.
-4
Suppose -2*z - 20 = -7*z. Suppose -3*h - 2 - z = 0. Let j be -2 + -2*5/h. Solve j*g = 5*g + 6 for g.
-3
Let u(i) be the second derivative of -i**3/3 - 3*i. Let s be u(-2). Suppose 3 = -0*r + r. Solve r*d = s*d - 5 for d.
5
Let a(v) be the second derivative of 1/6*v**3 + 13/2*v**2 - v + 0. Let d be a(-8). Solve -13 + 3 = -d*r for r.
2
Suppose -4*b - w = -0*w - 14, -3 = b - 3*w. Solve 2*u = b - 13 for u.
-5
Let z = -11 + 13. Suppose -z*k + 0 + 4 = 0. Solve k*l + 5 = -1 for l.
-3
Let m be 0 + 5 + 0 + -3. Let b be 0/(1*2/(-2)). Solve b*w = m*w - 6 for w.
3
Let q = 37 - 33. Suppose l = 6*l + 5*p - 5, -l = 5*p - 5. Solve q*x + x = l for x.
0
Let q(x) = x + 13. Let h be q(-9). Solve -h*i + 5*i = 0 for i.
0
Suppose 0 = 5*f + 4*o - 4 - 11, -4*o = 0. Suppose 4*z = -4*b + 4, -f*z = -5*b + 4*b + 9. Solve -b*r = 2*r + 25 for r.
-5
Let t = -72 + 74. Solve -3*o = t*o + 25 for o.
-5
Suppose 0*z - 8 = 2*z. Let l be ((-6)/z - 1)*4. Solve -l*i + 0*i - 4 = 0 for i.
-2
Let v(b) = b - 3. Let i = 0 + 5. Let z be v(i). Let o be (6/z)/(-6)*-20. Solve 3*k - o = 5 for k.
5
Suppose 7 = -0*t - t. Let z be 1 - -4 - (9 + t). Suppose -2*v + 11 - z = 0. Solve -v*x + 20 = x for x.
4
Suppose 41 = 5*z - 4*x, 3*z + 0*z + 5*x = -5. Suppose -5*k - 5*a + 0*a - z = 0, -a + 5 = 3*k. Solve k*w = 4*w for w.
0
Let f(y) = y**2 + 3*y - 6. Let m be f(-5). Suppose 4*p - 16 = 2*s, -3*p = p + 4*s - 4. Solve m*v = p*v for v.
0
Suppose 2*u - 18 = -4*r, -4*r - 3*u + 21 = -r. Solve -2*k + 20 = r*k for k.
5
Let r be 5*(0 - (-2 - -1)). Solve -y = -r*y for y.
0
Let d(i) = i + 12. Let l be d(-12). Solve -2*m + 4*m - 6 = l for m.
3
Let z be (2/(-2))/((-2)/8). Suppose 2 = z*b - 3*b. Let m(p) = -p - 1. Let n be m(-1). Solve b*g + 2 = -n*g for g.
-1
Suppose 4*d + 3*n - 58 = 0, 2*d + 2*d - n = 66. Let v = 20 - d. Solve -3*u = -2 - v for u.
2
Suppose 0 = -5*c - 24 + 4, 0 = 5*y + 4*c + 6. Let q be 246/10 - (-4)/10. Solve -3*i + q = y*i for i.
5
Suppose -3*x = -p + 1, -5*x + 10 = 2*p - 3. Solve -w - p*w - 25 = 0 for w.
-5
Let c(y) = -5*y**3 + 7*y**2 - 9*y + 7. Let l(v) = -14*v**3 + 21*v**2 - 26*v + 20. Let n(p) = -11*c(p) + 4*l(p). Let w be n(6). Solve 4*d - d = w for d.
3
Suppose -3*v + 5*g = 19, -v + 27 = -0*v + 5*g. Solve -s = v*s for s.
0
Let u be 8/3 - (2 - (-7)/(-3)). Solve 3*x - u = 3 for x.
2
Let c(k) = -2*k**2 + 3 + 2*k**2 + 9 + k**2 - 10*k. Let y be c(9). Let w be -6 + y - (-6 - 0). Solve r - w*r - 10 = 0 for r.
-5
Suppose -2*q + 5*g = -36, 3*q - 4*g - 44 = g. Solve -4*z = -2*z + q for z.
-4
Suppose -13 = -5*q - m, 3*q + 6 = 5*m - m. Suppose 2*i + k = 13, -2*k - q*k = 3*i - 27. Solve i = u - 2*u for u.
-5
Suppose 0 = -3*s - 0*s - 45. Let w = 17 + s. Solve -4 = w*j - 0*j for j.
-2
Suppose -21 = 3*w - 6*w. Suppose 4*x + w*z = 3*z + 4, -5*x = -4*z + 4. Solve 4*u - 18 + 2 = x for u.
4
Suppose -l - 62 = -4*b, 16 = b - 3*l - 5. Let d be (-3 - -2)*0 + 7. Let v be d/(-7)*(-2 - 3). Solve 0 = 5*r + v - b for r.
2
Suppose -4*q + 14 + 26 = 0. Suppose q = 4*w + 42. Let r be (-2)/w - (-7)/4. Solve 1 - r = n for n.
-1
Let u(b) = -b**3 - 14*b**2 - 14*b - 11. Let a be u(-13). Solve -p + 3 = a for p.
1
Suppose -2*g + 10*g - 8 = 0. Solve g = -3*f + 4 for f.
1
Let i(z) = 9*z + 70. Let u be i(-7). Solve 4 = -u*k + 5*k for k.
-2
Let f = -80 + 80. Solve -12 = -f*b - 3*b for b.
4
Let l be 10/4 + (-1)/2. Suppose l*r - 3 = r. Solve 0 = -0*d - r*d + 9 for d.
3
Let b be (-75)/(-12) - 3/12. Let p be (-6)/(-9) - (-50)/b. Solve 0 = -3*m - 0 - p for m.
-3
Let f be ((-1)/(-2))/((-1)/(-16)). Suppose 2*l - 4*p = f, 3*l = 2*p - 5*p - 24. Let y(x) = x**3 + 4*x**2 + 3. Let m be y(l). Solve -2*h = m*h + 10 for h.
-2
Let x be (-6)/(-9)*6/(-2). Let g be 12/8 + x/(-4). Suppose -2*t = g*t. Solve t = -2*j - 1 - 5 for j.
-3
Suppose -2*g = 2*i - 2, 5*g - 12 + 0 = 2*i. Solve 2 + 4 = -g*n for n.
-3
Suppose 0 = -4*i - 9 - 7, -9 = -g - 5*i. Solve 14 - g = 3*t for t.
-5
Let a = -13 + 17. Solve -3*j = -a + 13 for j.
-3
Let t(q) = q**2 - 4*q - 4. Let g be t(6). Let v be 12/g*16/6. Solve 5*m - v - 6 = 0 for m.
2
Suppose 5*v = 2*k + 11, 3*v - 8 - 1 = 0. Suppose 0 = -k*b + 1 + 3. Solve -b*x + 0 = 4 for x.
-2
Suppose -4*t + 38 = -2*t. Let h be ((-3)/4)/(5/(-20)). Suppose 0 = -4*w + 21 - 5. Solve -h*k - w = -t for k.
5
Let d(p) = -2*p**3 + p**2 - 4*p - 3. Let j be d(-2). Solve -5*z = -0*z + j for z.
-5
Let x be -30*(2 + 3/(-2)). Let j be ((-8)/10)/(6/x). Solve 0 = -j*f - f for f.
0
Let c(o) be the third derivative of -o**5/60 - 7*o**4/24 + 2*o**3/3 + o**2. Suppose -2*q - q = 21. Let u be c(q). Solve l = u*l + 6 for l.
-2
Let i = -1 - -5. Let h(o) = -o**3 - 4 + 3*o - o + 0 + 4*o**2. Let a be h(i). Solve 0*j = j + a for j.
-4
Suppose 24 + 26 = -5*p. Let t be (0 + 4)/((-4)/p). Let z = 4 + -4. Solve 2*b = -z*b + t for b.
5
Let w = 53 + -49. Solve 4*u = -0 - w for u.
-1
Suppose -2*w = 2*w + v - 75, 4*w + 3*v = 73. Solve w + 1 = -4*x for x.
-5
Let k = -2 - -2. Let p = 19 + -14. Solve k = -x + p*x for x.
0
Let a(w) = -w**3 - 3*w**2 - 6*w - 3. Let u be a(-3). Solve -2*p + u - 5 = 0 for p.
5
Let k = 3 + 4. Let o = 15 - k. Let d = 13 - 13. Solve -o = 2*v - d*v for v.
-4
Let u(c) = -c**3 + 6*c**2 - 6*c + 2. Let v be u(5). Let k be 3 + v + (0 - 0). Suppose z = 4*g - 2*g + 10, -3*z = g + 5. Solve z*o + 2*o + 10 = k for o.
-5
Let p(u) = u**3 + 6*u**2 + u + 6. Let q be p(-6). Let x be q - (-5 + 4) - -2. Solve -2 = -x*o + 2*o for o.
2
Suppose 0 = 4*k - 5*k - 3. Let p be 2 + (-6)/k + -2. Let r(q) = q**3 - 4*q**2 - 6*q + 7. Let f be r(5). Solve f*o + p - 4 = 0 for o.
1
Let h(t) be the second derivative of -5*t**3/6 - t**2/2 + 3*t. Let w be h(-1). Solve -w*k + 6*k = 0 for k.
0
Let g = -2 + 6. Suppose z + g*z = 20. Solve -s + 10 = z*s for s.
2
Let l(n) = -4*n + 19. Let u be l(4). Solve u*f - 8 = f for f.
4
Let s(l) = -5*l - 3. Let v be s(-3). Suppose -2*w = -w - v. Suppose 3*h - w = -h. Solve -h*n - 16 = n for n.
-4
Let r(d) = -4*d - 3. Let a be r(-2). Solve 5 = a*z + 10 for z.
-1
Let r = -3 + 13. Let h = -8 + r. Solve -8 - h = 5*m for m.
-2
Suppose 4*s = -d - 0*d + 13, 26 = 4*d + 3*s. Suppose -d*h = 3*m - 30, 0 = h - 5*m + 16 + 6. Let b be (2 + -2)/(-4 + h). Solve -4*l = -b + 4 for l.
-1
Let s(u) = -u**3 - 3*u**2 - 4*u - 2. Let i be s(-3). Suppose -i = -2*g + 16. Solve 3 + g = 4*a for a.
4
Suppose 4*f - 81 = 7. Suppose d = 2 - 0. Suppose 2*t - f = -6*u + 2*u, 5*u - 25 = -d*t. Solve t*a = 6*a + 4 for a.
-4
Let f(d) = -d**2 - 3*d - 1. Let k be f(-2). Let v be (k/1)/((-2)/(-4)). Suppose v*u - 3 = -r + 2*r, -4*u = 4*r - 12. Solve -25 = 3*z + u*z for z.
-5
Let z(u) = -5*u - 5*u + 22 - u**2 - 6. Let n = -2 + -9. Let b be z(n). Solve -9 = -b*o + 16 for o.
5
Let h = 65 - 64. Solve h = -3*j - 2 for j.
-1
Let b(h) = h - 13. Suppose p = 0, -8 = 5*s - 2*p - 78. Let f be b(s). Solve 0 = 2*l - f + 11 for l.
-5
Let n(c) = -5*c**2 + 11*c**2 - 5*c**2 - 7 + c. Let g be n(-4). Solve g*f - 3*f + 6 = 0 for f.
-3
Let d(j) = 2*j**2 - 25*j + 5. Let h(m) = m**2 - 13*m + 2. Let n(b) = -4*d(b) + 7*h(b). Let a be n(8). Solve -a*o = o - 9 for o.
3
Suppose 3*y - 26 + 6 = -4*h, -4*h + 5*y - 12 = 0. Solve h*u = 1 - 7 for u.
-3
Suppose 0 = 3*l - 8 - 13. Let u(h) = h - 6. Let 