or b.
-1
Let h be -2 - (1/(-1) + 4). Let t(s) = -s**2 + 3*s + 4. Let q(v) = 2*v**2 - 5*v - 8. Let b(y) = h*t(y) - 3*q(y). Let f be b(0). Solve f*u - 12 = 8 for u.
5
Let b = -108 + 112. Solve -b = -4*p + 2*p for p.
2
Suppose 4*u + 103 = 5*n, -4*u + 3*u - 10 = 4*n. Let s = -7 - u. Solve 2*d - s = 7*d for d.
-3
Let l = 9 + 13. Suppose 0 = g - 5 - l. Let y be (-94)/(-18) + (-6)/g. Solve 12 = -s + y*s for s.
3
Suppose -z + h + 6 - 4 = 0, 0 = z + 3*h - 2. Suppose -5*n = 4*i + 57, 5 = -z*i + 2*n - 1. Let k = i + 9. Solve f + k = -4 for f.
-5
Suppose -172 = 3*u - 10. Let s = u - -18. Let i = -21 - s. Solve -3*o + i = 2*o for o.
3
Let g(o) be the first derivative of 2*o**3 + o**2 + o + 4. Let q(u) = -u**2 + 9*u - 1. Let n be q(9). Let c be g(n). Solve -2 = -c*s + 8 for s.
2
Suppose w = -w + 6, -a - 3*w = -18. Let c = a + -6. Solve -15 = 4*j - c for j.
-3
Suppose 2*q + 0*w = -5*w - 7, 0 = -4*q + 5*w + 31. Suppose -5*p + p = 0. Solve -q*a - a = p for a.
0
Let a(x) = -x**3 + 6*x**2 + 7*x. Let k be a(7). Let w(q) = -q**3 - 12*q**2 + 12*q - 11. Let r be w(-13). Solve 2*g + 6 - r = k for g.
-2
Suppose z - 2*k + 2 = -4*k, -z - k = 0. Let s = -5 + 9. Suppose -z*i + 32 = 5*c, s*c + 2*i - 23 = 3*i. Solve 2*l = -l - c for l.
-2
Let b(j) = -j**3 - 26*j**2 - 26*j - 20. Let m be b(-25). Solve 2*v + 3*v = m for v.
1
Let x be (2/10*2)/(1/5). Solve x*v = -3*v - 5 for v.
-1
Let n = 30 - 4. Suppose -2*b = -2*q + 32, 4*b + 4*q + 11 + 29 = 0. Let v = b + 18. Solve -6 = v*t - n for t.
4
Suppose -4 = m - 3. Let p be 6 + m + 1 - 1. Let u(s) = -s + 8. Let r be u(p). Solve 0 = r*j - j - 6 for j.
3
Let y be 3/(-1 - 7/(-4)). Solve b = -y*b for b.
0
Let c(w) = -3*w - 15. Let s(z) = -z - 4. Let t(x) = -4*c(x) + 15*s(x). Let d = -9 - -7. Let v be t(d). Solve v*k + 25 = k for k.
-5
Let h = -10 + 12. Suppose h*d - 18 = -5*r, -2*d - 1 = 3*r - 15. Solve -y + r = y for y.
1
Let j be (7 - 12)*(-6)/10. Solve 0 = j*u + 10 + 2 for u.
-4
Let s be (7 - 6)/((-1)/(-5)). Suppose -5*f - 4*m + 4 = -1, 5*m = -4*f - s. Solve 10*b - 25 = f*b for b.
5
Let i(y) = -y + 20. Let a be i(0). Solve -a = -4*u - 0 for u.
5
Let t(m) = -m**3 - 7*m**2 + 3. Let a be t(-7). Solve 0 = -g - a + 5 for g.
2
Let m = 8 + 7. Solve -8*v = -3*v - m for v.
3
Let z(j) = -2*j - 4. Let n be z(-4). Suppose -5*r - 5*b + 25 + 5 = 0, -n*b + 14 = -r. Let f(s) = 4*s**2 - 2*s - 2. Let l be f(-1). Solve -2*q = -l + r for q.
1
Let u = -83 - -84. Solve 2*d = -u - 1 for d.
-1
Suppose 9 = -2*s + 3*y + 2*y, -18 = -4*s - 2*y. Let v(p) = -2*p**2 + 5*p - 2. Let u be v(2). Solve u = w - s*w + 10 for w.
5
Let v(z) = z**3 + z**2 + z + 7. Let x be v(0). Suppose -x*l + 8 = -3*l. Solve -a - 2 = -l*a for a.
2
Let k(u) be the first derivative of u**4/4 - u**3 - 3*u**2/2 - u + 3. Let s be k(4). Solve -j = -2*j + s for j.
3
Let t be ((-13)/5)/(4/(-20)). Solve -38 + t = 5*i for i.
-5
Let q(c) = c**3 + 7*c**2 + 7*c + 5. Let h be q(-5). Suppose -1 = -x, -2*v - 5*x = -6*v - 29. Let s = 1 - v. Solve 0 = s*p - 2*p + h for p.
-4
Suppose 4 = -n + 2, 0 = -5*l - 4*n + 12. Solve 17 = -l*u - 3 for u.
-5
Suppose -4*r + 33 - 10 = h, 2*r + 6 = 2*h. Let k = -2 + h. Solve 15 = -k*b - 0 for b.
-3
Let r(t) = t**2 - 2*t + 3. Let w be r(2). Suppose c = w*a - 8, -5*a = -4*c - a. Solve 0 = -0*z + 2*z - c for z.
2
Suppose 3*k + 3*u - 5 = 4, 4*u = -3*k + 8. Solve 11 = 3*o - k for o.
5
Suppose -4*s + s = -75. Let h be 0/(-3 + 4 + 3). Solve q - 6*q + s = h for q.
5
Let p = 90 + -45. Let r = 65 - p. Solve -5*t = -5 - r for t.
5
Let a(l) = -2*l - 4. Let o be a(-6). Let k = 32 - 7. Suppose -6*p + k = -p. Solve 3*z + o = p*z for z.
4
Let g be (-280)/(-15)*(-12)/(-8). Solve 0 = -g*k + 23*k for k.
0
Suppose -a = 4*a. Solve 2*m + a + 6 = 0 for m.
-3
Suppose 3*d = -9, 0 = -n + d + 4 - 1. Solve n*c - 2*c = 8 for c.
-4
Let p = 8 + -8. Suppose p*x = -x. Solve h = -x*h + 2 for h.
2
Suppose 2*d = 4*z + 3 + 1, -3*z + 3*d - 6 = 0. Suppose k - 7 = -z*k. Solve -1 - k = 2*o for o.
-4
Suppose 3*m + 5 + 1 = 0. Let j = 1 - m. Solve -2*i = j - 1 for i.
-1
Suppose -p = p - 4*u + 6, 0 = -p - 2*u + 13. Let w = p - 1. Suppose 1 - 8 = -b - 3*f, -w*b + 14 = -2*f. Solve 6*n = 2*n + b for n.
1
Let w = 12 - 6. Let g = 1 + -1. Solve 3*c + g*c = w for c.
2
Let l(g) = g**2 + 2*g - 3. Let r be l(2). Solve 4 = m + r for m.
-1
Suppose 11 = 3*q - 19. Solve -2*n = 3*n - q for n.
2
Suppose -3*f + 12 = 2*w + 2, -4*f - 5*w = -18. Let t(p) = -p - 3. Let c(z) = -4*z + 1. Let x be c(1). Let v be t(x). Solve v = o + f*o for o.
0
Suppose 5*i - 3*s = 2*s + 50, 56 = 5*i - 2*s. Let o = 15 - i. Solve 0*n = o*n for n.
0
Let n be (-11 - -13)*(-2)/(-1). Solve n*x - 11 = 5 for x.
4
Let y(x) = -x**3 - 9*x**2 - x - 4. Suppose 4*o - o + 24 = -a, 0 = -2*a - 5*o - 43. Let z be y(a). Solve 2*f - z*f = 15 for f.
-5
Let b(a) = a - a**2 + 9*a**3 - 4*a**2 + 5*a**2. Let f be b(1). Solve 2*t + 0 + f = 0 for t.
-5
Let s(n) = n**2 - 12*n + 20. Let j be s(10). Let h = -1 - -3. Solve -c + h*c = j for c.
0
Let m(x) = -x**3 + 3*x**2 - x. Let s be m(2). Let n be 0/(s/(-4)*2). Let v be (-4)/30 + 154/30. Solve v*o + 0*o - 10 = n for o.
2
Let o = -14 + 5. Let h = o + 9. Suppose i + h*i = 0. Solve 0 = -3*j - i - 15 for j.
-5
Let a(x) = 2*x**3 - x**2 - x + 1. Let t be a(1). Suppose -2*f + 8 + 2 = 0. Let m = f - t. Solve 0 = -m*z + 2*z + 4 for z.
2
Let s = -11 + 15. Suppose 0 = -3*b + s*b. Solve b*j = j + 1 for j.
-1
Let y be (-25)/1 - (1 + -1). Let l = y + 42. Solve 0 = 3*k - l + 5 for k.
4
Let u be (-81)/(-3) - (3 - 1). Solve 10 - u = 5*o for o.
-3
Let w = 34 - 25. Solve -w = -2*m + 1 for m.
5
Let u(w) = w**3 - 16*w**2 - 17*w + 5. Let m be u(17). Solve -4*x - 11 - m = 0 for x.
-4
Let y = -1 + -1. Let w be 4 - y*(-2)/4. Solve -5*r + w*r = 6 for r.
-3
Suppose 3*p + 9 = 24. Let l = 1 + p. Solve u = l*u for u.
0
Suppose 0 = 5*l + 73 - 83. Solve 20 = l*f - 6*f for f.
-5
Let y be (-4 + (-10)/(-3))*-3. Solve -y*r - 1 + 5 = 0 for r.
2
Let d = -33 - -33. Solve d*u - u + 2 = 0 for u.
2
Let z(h) = h**3 - 6*h**2 - 7*h + 4. Let c(l) = l**3 - 5*l**2 + 7*l - 5. Let m be c(4). Let o be z(m). Solve -2 - o = -2*k for k.
3
Let h = 0 + 2. Let s be 2 - (0 + (-6 - h)). Solve -s = 3*x - 5*x for x.
5
Let d be 1 - (6/10 + 13/(-5)). Solve -d*s - 3 - 12 = 0 for s.
-5
Suppose -3*g = -6*g. Suppose -12 = -5*w + 3*j - j, j = -3*w + 5. Suppose 2*v = 3*z + z, 2*z + w*v - 12 = 0. Solve z + g = a for a.
2
Let d(g) = -g**3 - 6*g**2 + g + 8. Let o be d(-6). Let a be 47/(-3*3/(-18)). Suppose -6*z + a = -56. Solve -o*r - 3*r + z = 0 for r.
5
Suppose -4*a - 145 = 4*i - 533, 5*a = -3*i + 295. Suppose 7*r - i = 2*r. Solve 0 = 5*n - 1 - r for n.
4
Suppose 6*n = 3*n + 6. Suppose -3*i + 95 = 5*p, 2*p - n*i = 3*i + 38. Solve -1 - p = 5*q for q.
-4
Let v(n) = n + 20. Let x be v(-12). Solve -u - x + 3 = 0 for u.
-5
Let l be (-4)/(-8)*0/2. Solve -8 + l = 4*d for d.
-2
Let u = 1 + 1. Solve -u*s = 3 - 13 for s.
5
Let s = 138 + -132. Solve 3*r = s*r - 3 for r.
1
Let u(v) be the third derivative of 0 + 0*v**4 + 1/12*v**5 - 2*v**2 + 0*v + 0*v**3. Let k be u(-1). Solve 0*t + t = -k for t.
-5
Suppose -5*f + 4 = -16. Let r be 24/f*4/6. Let d = -1 + 2. Solve -w - r = d for w.
-5
Suppose 2*j = -2, 3*n + 4*j - 3 = -7. Solve 4*k + 20 = -n*k for k.
-5
Let y(j) = -j**2 - 5*j + 8. Let f be y(-6). Suppose 3*q = 4*g - 13, 2*g - 5*q = g - 1. Let o = g + 16. Solve -o = -2*h - f*h for h.
5
Suppose 8 = 4*z - 12. Suppose -2*v + z*v = 0. Let h = 15 + -10. Solve h*a + v = -20 for a.
-4
Let l be -1 + (-2 + -7)/(-3). Suppose -4*u = l - 10. Solve 0 = u*y - 4*y + 2 for y.
1
Let g be (-5)/(-1) + 0/(-1). Suppose 0 = 4*q - 0*q - 12. Suppose 2*m - 3*b = 18, 3*m + q*b = 5*b + 32. Solve -s + m = -g*s for s.
-3
Let a = -14 + 10. Let o = -7 - -14. Let p = o + a. Solve j = p*j - 8 for j.
4
Let t be 3 - 2/8*4*1. Solve t*f - 8 = -2*f for f.
2
Suppose 3*n = n + 38. Let g be n + 6/3 + -5. Suppose 0*c + g = 4*c. Solve -c = -x - x for x.
2
Suppose 0 = 5*f - 77 + 22. Let t(y) = -5*y**3 - y**2 - 2*y - 1. Let l be t(-1). Let h = -3 + l. Solve -f = h*d - 3 for d.
-4
Let y(l) = -l**2 + 11*l - 8. Let t(j) = -j**3 + 9*j**2 + 10*j + 7. Let w be t(10). Let f be y(w). Solve -2*b - 2*b = -f for b.
5
Let u(v) = v**3 + 2*v**2 + 2*v + 1. Let t be u(-1). Suppose -q + 26 = q. Let c(a) = a**2 - 12*a - 7. Let i be c(q). Solve -2*y + 5*y + i = t for y.
-2
Suppo