2)/9 - -3 - 1/(-3). Solve t*b - 9 = 1 for b.
5
Let k(v) = -3*v + 0*v**2 + 3*v**2 - 2*v**2. Let x be k(5). Let f(u) = -u**3 + 10*u**2 + 1. Let w be f(x). Solve -b - w = -4 for b.
3
Let s(b) = 2*b**2 + 7*b**3 + 3*b**3 + 1 - 4*b**2 + b**3. Let j be s(1). Solve 0*p + 2*p - j = 0 for p.
5
Let i(g) = -5*g. Let m be i(-1). Suppose -3*t = -4*t - m*v - 27, 4*t + 5*v + 48 = 0. Let u = 18 - t. Solve j = 6*j - u for j.
5
Suppose 0 = 2*z - 10 - 4. Suppose 2*m - z = 2*v - 1, -2*v = m. Suppose -3*p + 25 = m*p. Solve 0*r = -r + p for r.
5
Let j(m) be the first derivative of m**4/12 - m**3/6 + 2*m + 3. Let o(n) be the first derivative of j(n). Let t be o(0). Solve t*z = 3*z for z.
0
Let i = 11 - 15. Suppose 0 = -y - 2 - 3. Let c = i - y. Solve -5*m + 9 + c = 0 for m.
2
Let i be (-12)/(-7) + 6/21 + 0. Solve 0 = -i*a + 6*a for a.
0
Suppose 0 = -3*q - 9, -4*q + 4 = -3*k + 34. Let f = k + -6. Solve f*m + 2 = m for m.
2
Let u(w) = 3*w + 7*w - 4*w**2 + 9 + 0. Let f(o) = 5*o**2 - 11*o - 10. Let z(j) = 5*f(j) + 6*u(j). Let n be z(-5). Solve -4*x + n = 24 for x.
-5
Suppose 2 = 3*n - 4. Let o be (-2 - -2) + 6 + -2. Suppose -g - 5*z + 32 = 0, 2*g = z + 4*z + o. Solve -g = 5*s - n*s for s.
-4
Let w(n) be the second derivative of -n**5/20 + n**4/2 + n**3/6 - 2*n**2 - 2*n. Let l be w(6). Solve 0 = l*d + 6 + 4 for d.
-5
Suppose 2*x - 10 = x. Let d = x - 2. Solve -d = 3*z - z for z.
-4
Let o = 1 + 1. Suppose -20 = -s - 6. Suppose -3*b + s = -o*b - 4*n, 3*n = -9. Solve b = -3*j - 10 for j.
-4
Let n = 0 + 3. Solve 1 = n*o + 4 for o.
-1
Suppose 2*a - 5 = 5. Solve -2*w + a = 3*w for w.
1
Let v(k) = -k**2 - 9*k + 10. Let n be v(-9). Suppose 2*j + n = 7*j. Solve 5*u + j = 3*u for u.
-1
Let r(y) = -4*y - 2. Let g be r(-1). Solve -h + g*h = 2 for h.
2
Let r = 11 - 6. Suppose 0 = o - 5*o + 80. Solve t - o = r*t for t.
-5
Suppose 4*d = 2*n + 16, -3*n + 2*d = 6*d - 16. Suppose 4*u + 3 - 11 = n. Suppose -2 = u*z - 6. Solve -3*m + 5*m - z = 0 for m.
1
Suppose 5*u = -v + 4*u - 5, -2*v = 4*u + 20. Solve 5*q = -v + 15 for q.
3
Let y(k) = -k**2 - k + 4. Let m be y(4). Let f = -12 - m. Suppose 2*c - 4 = 0, 2*c - 2 + 18 = 5*v. Solve 0*s - v*s - f = 0 for s.
-1
Suppose 0 = 8*o - 24*o. Solve o = n - 9 + 8 for n.
1
Let r = -16 - -36. Let u = 35 - r. Solve w + u = -4*w for w.
-3
Let x be 6*(-2 + 21/9). Suppose -y - 2*y = 0. Solve y = r - x - 0 for r.
2
Suppose 3*q + 0*h - 12 = -h, -3*h = -5*q + 34. Let o = 0 - 0. Let i be 2 - (-1 + 3 - o). Solve q*c - c + 16 = i for c.
-4
Suppose 3*c = -q + 3, -c + 3*c - 4*q = 2. Solve c = t - 0 for t.
1
Let a(r) = r**3 - 15*r**2 - 13*r - 36. Let d be a(16). Solve -4*o = -o + d for o.
-4
Let z(c) = -5*c - 35. Let k be z(-8). Solve k = -2*j - 3 for j.
-4
Suppose j = 1 + 1. Solve -j + 0 = -2*b for b.
1
Let f = -2 - 0. Let h be (2 - 4)*(-3 - f). Solve 3*c = -h*c + 20 for c.
4
Let v(s) = -s**2 + 4*s. Let k be v(2). Suppose k*y = 2*i - 28, 5*i - i + 4 = -4*y. Suppose 4 = -4*a - f - f, -2*a - i*f = 8. Solve a*n = n - 2 for n.
2
Suppose 0 = -z - 4*z. Solve -1 = -t - z for t.
1
Let n = -42 - -42. Solve -4*w + w = n for w.
0
Let x = -44 - -24. Let o be 1 - (x - (1 - 2)). Solve 0*p = -4*p - o for p.
-5
Let d be 2*3/(-6)*-4. Solve 8*x + 20 = d*x for x.
-5
Let g = 12 - 2. Suppose -2*n - 15 = 5*a + 37, 3*n - 60 = 4*a. Let f = 17 + a. Solve 10*s = f*s - g for s.
-2
Let x = 8 + -4. Let u be 1/x - 54/(-8). Solve -u*m = -3*m - 16 for m.
4
Let r be 20/4*6/2. Let k = -13 + r. Solve -k*s + 4 = -3*s for s.
-4
Let q = 17 + -14. Suppose -15 = -2*k + 5*a, -q*k + 3*a + 9 = -0*k. Solve k = 4*l + 2 - 6 for l.
1
Let s = 6 + -10. Let p(m) = -2*m - 4. Let b be p(s). Solve b*t + 0*t = 0 for t.
0
Let c(t) = t**3 - 19*t**2 - t + 20. Let l be c(19). Solve -13 + l = 3*p for p.
-4
Suppose 14 = p - 4*s, 0 = p + 5*s - 34 - 25. Solve 0 = -5*d - 14 + p for d.
4
Let r be 10/(-4)*(-36)/45. Solve p = r*p - 4 for p.
4
Let n(q) = -q + 7. Let d be n(11). Let m be 76/18 + d/18. Solve -m*z + 5 = 1 for z.
1
Suppose 4*j - 20 = 0, 0*j = -2*v - j + 9. Suppose -2 = -5*q - v*w, -4*q + 3*q = 4*w - 4. Suppose -16 = -4*t - s + 7, q = -5*t + s + 22. Solve t*z = z for z.
0
Suppose -2*s + 39 = s. Suppose c - k + 13 = 0, -3*c - c - 31 = 3*k. Let v = c + s. Solve 16 = -q - v*q for q.
-4
Suppose -17 = -2*j - q + 24, 3*j = -4*q + 49. Let l = j - 23. Solve k = -l*k for k.
0
Suppose -4 = 4*d - 16. Suppose 4*t - 2 = d*t. Suppose i - 3 = -2*b, -t*b - 40 = -7*b + 4*i. Solve 2*y + 4 = b*y for y.
2
Suppose 0 = 2*p - 52 + 16. Suppose p = 5*i - s - 10, 2*i - 19 = 3*s. Solve -i*h + 25 = -0*h for h.
5
Suppose 1 = -2*w + 7. Suppose t + w*t + 16 = 0. Let l = t - -4. Solve 4*v + l*v = -16 for v.
-4
Let a(w) = -w - 3. Let l = -18 + 11. Let p be a(l). Solve -2*c + p = -3*c for c.
-4
Let v(r) = r - 5. Let m be v(5). Suppose l + m*l = 0. Solve 2*c = -2 - l for c.
-1
Suppose -3*x - 3 = -15. Suppose -15 = -4*m - 3*z + x*z, 5*m = -5*z + 50. Let b = m - 4. Solve 3 + b = -2*o for o.
-2
Let q(l) = -4*l - 1. Let t be q(-3). Let f(c) = c + 7. Let n be f(0). Let r = t - n. Solve -5 = r*w + 11 for w.
-4
Suppose -28*s = -22*s. Solve s*u + 2*u + 8 = 0 for u.
-4
Suppose l - 2*f = 13, -2*f = -5*l - 6*f + 65. Let m = l - 7. Let w = 79 + -59. Solve w = -c + m*c for c.
4
Suppose i + i = 5*x + 18, -5*i = 4*x + 21. Let h(d) = d - 2. Let b be h(8). Let o = b + x. Solve -3*v + v = o for v.
-1
Let c be ((-4)/7)/(2/(-7)). Solve 0*s - c*s = 0 for s.
0
Let h be -2 + (0 + 7 - 1). Let i be ((-32)/(-24))/(1 - (-3)/(-9)). Solve -2 = -i*p + h for p.
3
Let q(h) = h**3 + 12*h**2 + 11*h. Let t be q(-11). Suppose t = -o - 0*o + 10. Solve o = -5*m - 15 for m.
-5
Suppose -4*o - 7*u + 4*u = -55, 31 = 2*o + 5*u. Solve o = -4*a - 7 for a.
-5
Let v(m) = m**2 + 3*m - 4. Let n be v(-4). Suppose z - 3*z = n. Let d(t) = -t**3 + t**2. Let i be d(z). Solve -q - 2 - 1 = i for q.
-3
Suppose m = -4*m + 25. Suppose -m*u - 19 - 2 = -y, 2*u = 5*y + 10. Let w be 1/(-1 - 6/y). Solve 0 = d + w*d + 12 for d.
-4
Suppose 0 = 3*d - 2*d. Solve 4*s - 3*s = d for s.
0
Let t(j) = j**3 - 13*j**2 + 13*j - 7. Let g be t(12). Solve g*a - 4*a = 2 for a.
2
Let o be 10*(-10)/(-125)*(34 - -1). Solve -5*r = -3 + o for r.
-5
Let u be 8/10*(-15)/(-2). Let a = 6 - u. Solve a = 5*x - 3*x + 10 for x.
-5
Let d(h) = -h**2 + 5*h + 2. Let f = 9 + -4. Let l be d(f). Solve l*r - 5 = -3*r for r.
1
Suppose 0 = -w + 3*n - 4, -2*w - 3*w + 5*n = -10. Solve 8*x = w*x for x.
0
Let q(h) be the third derivative of -h**6/120 - h**5/12 + h**4/6 - 2*h**3 + 2*h**2. Let l be q(-6). Solve -4*t + 5*t + 3 = l for t.
-3
Let p = 2 - 6. Let c be (-45)/(-12) + 3/p. Solve 0 = c*k - k - 8 for k.
4
Let m be 2/(-4) - 18/(-4). Suppose m*i - 3*g = 31, -i + 2*i - 3*g - 19 = 0. Solve 3*b = 2*b + i for b.
4
Let u be 0/(9/((-18)/(-4))). Solve -5*k - 7 - 13 = u for k.
-4
Let k = 16 - 13. Solve 0*q + 9 = k*q for q.
3
Let q(u) = -5*u + 2. Let y be q(-3). Suppose -45 + 12 = 3*b. Let i = y + b. Solve -2*o = o + i for o.
-2
Let v = -1 + 4. Solve 4 = -w + v for w.
-1
Suppose i + 0*i = 7. Let t(b) = -b**3 + 7*b**2 + 2*b - 10. Let l be t(i). Solve -20 = -l*q - 0 for q.
5
Let p = -6 + 10. Let u = 6 - -13. Solve p*y + 1 = -u for y.
-5
Suppose 2*h = -8 + 24. Solve b - 3 = -h for b.
-5
Let t(h) = -14*h**3 - h**2 - h - 1. Let i be t(-1). Let q be (14 - i)*(-1 + 1). Solve -4*x + 3*x + 2 = q for x.
2
Let o(i) = -13*i + 3 - 6 + 0*i. Let r be o(-2). Let t be -8 - -8 - 3*-1. Solve r - t = -5*q for q.
-4
Let y(s) = s**3 + s**2 - s + 2. Let t be y(-2). Solve 2*o = -t*o for o.
0
Let a(w) = w**2 - 5*w. Let q be a(5). Suppose -3*r + 4*r - 1 = q. Let o(n) = n**2 - 2*n + 1. Let m be o(r). Solve x + x - 10 = m for x.
5
Let w(z) = z**3 + 11*z**2 - 11*z + 15. Let t be w(-12). Suppose -3*q = 4*b - 18, 2*q - q + t*b - 11 = 0. Solve 0*c = q*c for c.
0
Suppose -4*w - u + 7 = 0, -5*u = -5*w + w + 13. Solve 0 = -5*n - w - 8 for n.
-2
Suppose 14 = f + f. Let w(z) = z**3 - 6*z**2 - 7*z + 3. Let i be w(f). Solve -i*q - 25 = 2*q for q.
-5
Suppose z = 2*v - 7, -4*v = z - 6*z - 29. Let m = 15 + v. Solve -3*a - a = -m for a.
4
Suppose -5*g - 208 = 4*z - 0*g, 3*g + 12 = 0. Let w be (-6)/9 + z/(-3). Solve 2*v + w = -3*v for v.
-3
Let r = -32 - -36. Solve -n - r = -1 for n.
-3
Suppose -4*g = 4 - 24. Solve 0*l + l = g for l.
5
Let x(q) = q**2 - 7*q + 9. Let h be x(6). Suppose 2*c = 3*u + 14, -4*c 