et k(w) = -w**2 + 5*w - 1. Let m be k(5). Let b = -1 - m. Suppose -5*o - u = -6, 4*o + 3*u = -b - 4. Solve -8 = -o*y - 2 for y.
3
Let m = -11 - -14. Solve -5*r + 12 = -m for r.
3
Suppose z + 2 + 0 = 0, -5*t + 18 = -4*z. Let r be 7/t + (-1)/2. Solve 2 - 17 = r*i for i.
-5
Let w = 20 - 15. Suppose 5*j + 39 = -5*h - 6, -5*j = -2*h - 46. Let d = h - -28. Solve d = -w*v - 0*v for v.
-3
Suppose -4*o = -3*l - 88, 5*l + 133 = 2*l - 5*o. Let z be l/(-10) + (-2)/(-5). Let u(a) = a + 1. Let h be u(0). Solve z*i - 5 = -h for i.
1
Let u(g) = -1. Let c(t) = -t**2 + 2*t + 1. Let z(b) = -c(b) - 4*u(b). Let h be z(3). Solve 2*j - 16 = h*j for j.
-4
Let j(n) = -n**2 - 17*n - 2*n**3 + 1 + 17*n. Let r(a) = -a + 1. Let p be r(2). Let q be j(p). Solve 0*o = o + q for o.
-2
Suppose -2*r - 3*r = 0. Suppose r*y = -y. Suppose -5*v + 3*q + 1 + 10 = 0, y = 4*v - 4*q - 4. Solve 3*t + v - 13 = 0 for t.
3
Let x(n) = n**3 + 3*n**2 - n - 1. Let t be x(-3). Solve 4*l - 2 = t*l for l.
1
Let o(d) = -2*d**3 + 5*d**2 - 5*d + 2. Let f be o(3). Let c = 23 + f. Solve 1 = b - c for b.
2
Let y(m) = m**3 + 6*m**2 + 4*m. Let t be y(-5). Suppose -4*g + 5*l + 30 = -t, -8 = -4*g - 4*l. Solve 0 = -o + g*o - 8 for o.
2
Let k(z) = z**3 + 7*z**2 + 2*z + 5. Let c be k(-4). Suppose -c = 3*l - 6*l. Solve 0 = 4*v - v + l for v.
-5
Suppose -5*u = -n - 24, -5*u + 2*u = -2*n - 13. Suppose 0 = 2*q - r + 2, 0 = 3*q + 5*r + 1 - 11. Solve -z + 2*z + n = q for z.
-1
Let u(r) be the first derivative of -r**3/3 - 3*r**2/2 + 4*r - 6. Let p be u(-4). Solve p = 4*x - 0 - 12 for x.
3
Let v be (-3)/6*2*1. Let z be (v + 9)*(-4)/(-8). Let y = 4 - 0. Solve -z*d + y = -4 for d.
2
Let x(m) = m**3 - 6*m**2 + 6*m - 3. Let p be x(5). Solve -4*v - p = -6 for v.
1
Let m(n) = 4*n - 1. Let k be m(2). Let w = -3 + k. Solve 3*b - 3 = w*b for b.
-3
Let a = -1 - -2. Let s = -9 - -3. Let z be (-12)/(-8)*(-8)/s. Solve -z*h + a = -h for h.
1
Let w(d) = -d**3 + 8*d**2 - 7*d - 3. Let h be w(7). Let r be (5 + -2)*1*h. Let l be 6/r + 124/6. Solve -5*x + x = -l for x.
5
Let d = 112 + -107. Solve 8*c - 3*c - d = 0 for c.
1
Let w(k) = -k**3 + 5*k**2 - 2*k - 4. Let u = 16 - 12. Let t be w(u). Solve -t*x = -5*x - 4 for x.
-4
Let d be (-6)/10 + (162/15)/3. Solve 13 = -d*v + 4 for v.
-3
Suppose 0 = -22*j + 25*j - 12. Solve j*f + 13 - 1 = 0 for f.
-3
Let f(n) = 2*n + 4. Let j(k) = -4*k - 9. Let z(m) = 11*f(m) + 6*j(m). Let r be z(-6). Solve h = r*h - 5 for h.
5
Suppose -3*s + 90 = 3*s. Solve v - 4*v + s = 0 for v.
5
Suppose 10*q + 2 - 22 = 0. Solve 0 = i - 1 - q for i.
3
Let k be (2 + -2)*2/(-4). Solve k = 4*f - 4 for f.
1
Suppose -j + 4 = -3*j + 4*p, 5*j = -4*p + 18. Suppose 5*k + j*r = 4, -2*k - 5*r = -4*k + 19. Solve -9 = k*z - 5*z for z.
3
Let n(g) = 4 + 9*g**2 + 13*g**3 + 10*g - 5*g**3 - 7*g**3 + g. Let r be n(-7). Solve r = b + 4*b for b.
5
Let z(l) = -2*l**3 + l**2 - 1. Let i be z(-1). Suppose -4*o + 0*o = 0. Let a = o + 0. Solve a = -i*h + 4 for h.
2
Let g(u) = -u**3 + 3*u**2 + 8*u + 10. Let c be g(5). Solve -6*p + p + 15 = c for p.
3
Suppose -q + 0*q = -8. Let l be (3 - 1 - 0)*2. Solve 0 = 2*m - q + l for m.
2
Let s = 7 - -21. Suppose 2*b - 2*n = 18, -2*b + 4*n + s = -0*n. Solve 4*t - 3*t - b = 0 for t.
4
Suppose 0 = 3*t - 3*n + 12, -3*n + 7 = -2*t - 5. Solve z + t*z + 3 = 0 for z.
-3
Suppose -q - 1 = -5. Let o(i) = -6*i**2 - 5 + 5*i + 5*i**2 + 4. Let l be o(4). Solve 5 = -q*f - l for f.
-2
Let l(v) = -v**2 - 8*v + 1. Suppose -35 = 3*x + 2*x. Let t be l(x). Solve 0 = f + f - t for f.
4
Suppose i = 6*i. Solve 5*p + 0*p = i for p.
0
Let g(w) = w**2 - 14*w + 28. Let b be g(12). Solve 12 = -4*z + b for z.
-2
Let c(j) = -4*j**3 - j + 3*j**3 + 3*j**3 - 1 + 3*j**2. Let t be c(2). Let w be ((-30)/t)/((-2)/5). Solve w*b - 4*b = -1 for b.
1
Let r be (-2)/(8/(-9))*12. Let b = -16 + r. Solve 5 - b = -3*d for d.
2
Suppose 4*y - 2 = d - 3*d, 3*d - 5*y - 36 = 0. Suppose 2*j - 3 = d. Suppose j*l = -0*l. Solve -4*s + 5 + 3 = l for s.
2
Let t(r) = r**2 - 3*r + 4. Let s be t(4). Suppose 7 - s = -l. Solve 3 = h + l for h.
2
Let i = -13 - -33. Suppose c = p + 3*p + 16, -4*c + i = -5*p. Suppose c = -0*s - 4*s - 20, -4*b + 31 = -3*s. Solve -2*f = -4*f - b for f.
-2
Let u = -34 - -48. Solve 20 = u*x - 10*x for x.
5
Suppose 0 = 2*i + 5*k - 36, 17 + 11 = 2*i + 3*k. Suppose 0 = 4*u - 0*u - i. Solve 0*b + u*b - 4 = 0 for b.
2
Suppose 0 = 2*i - 8, -2*y = 2*i + i - 20. Solve 9*x = y*x - 5 for x.
-1
Let z be (-4)/(-10) + 6/(-15). Suppose f - r - 5 = 2, z = -2*r - 8. Solve -f*m - 6 = -0 for m.
-2
Suppose 3*p = 2*p + 1. Solve -2*v + 1 = -p for v.
1
Let z = 3 + -3. Suppose z = -p - 2 + 4. Solve p*t = 3*t + 2 for t.
-2
Suppose -4*j + 2 + 6 = 0. Solve -j*s - 5 = 3*s for s.
-1
Let k = 101 + -97. Solve k*o - 2*o = 8 for o.
4
Suppose 6 = -2*z + 5*z. Solve r = 7 - z for r.
5
Let l be (-4 + 9/2)*4. Let k(a) = a**3 - 8*a**2 + 7*a + 5. Let z = 5 + 2. Let p be k(z). Solve p*o = -l - 23 for o.
-5
Let o = 0 + 7. Let s(t) = 7*t**2 - 2*t**3 + 0 + o*t + 3*t**3 + 5 + 1. Let i be s(-6). Solve 0 = x - 3 - i for x.
3
Suppose 4*q - 6*q = 16. Let p = q - -8. Suppose -3*x + x = p. Solve x*o - 9 = -3*o for o.
3
Let d(f) = -f + 10. Let q be d(13). Let o = q - -21. Let u be (9/o)/((-1)/(-6)). Solve -2 = u*n - 5 for n.
1
Suppose 0*r = 4*h - 2*r - 4, 2*h + r = 6. Solve -h*u = u - 15 for u.
5
Let i = -50 - -55. Solve 1 = 3*f - i for f.
2
Let j(o) be the second derivative of 7/6*o**3 - 1/12*o**4 + 0 - o**2 + 2*o. Let s be j(6). Solve -s*u = u for u.
0
Let s(t) = -2*t**2 + 17*t - 9. Let x be s(7). Solve 2*p + p = x for p.
4
Let m = 36 - 24. Let p = -8 + m. Solve p*c + 8 + 12 = 0 for c.
-5
Suppose 1 = p + 4. Let q = p - -5. Suppose -4*y = -3*x, q*x = -4*y - x. Solve y*d = -2*d - 6 for d.
-3
Let l = -8 + 7. Let g be (-1 + (2 - 1))/l. Solve g = t - 5 for t.
5
Suppose 0*f = -2*f + 50. Suppose -3*z + f = 2*z. Solve z*k - 12 = -2 for k.
2
Suppose 2*j = -8 - 4. Suppose -3*n + 5*b + 79 = -11, 4*n - 91 = -3*b. Let t = n + j. Solve -t - 6 = 5*m for m.
-5
Suppose 4*c + 5*p = 44, -c + 0*p - p = -10. Solve 0 = i + i - c for i.
3
Let m be (-42)/(-15) - (-1)/5. Let u be (0 + m/(-6))*-4. Solve 0 = -u*l + 2 for l.
1
Let h(k) = k**2 - 5*k - 2. Let q be h(6). Let d(x) = x**3 + 4*x**2 + 2*x + 3. Let o be d(-2). Suppose o*w = 3*w. Solve w - 4 = -q*m for m.
1
Let v = 19 - 15. Solve -v*t - 5 + 21 = 0 for t.
4
Suppose -10 = 5*n + c, 2 = -4*n - c - 7. Let w(r) = 3*r**2 + r. Let o be w(n). Let a = o + -1. Solve -a = -3*i - 4 for i.
-1
Suppose -2*j + 3 = -3. Suppose 0 = 4*r, 5*r = -2*m - j*m. Suppose m*u = 3*f + 2*u - 10, -5 = 3*f - u. Solve f*v + 5*v = 25 for v.
5
Let v(j) = j**3 - 7*j**2 + 5*j + 8. Let y be v(6). Suppose 4*d = 8, 3*d - 5*d = y*m - 8. Solve 0 = m*i + 10 - 4 for i.
-3
Let s = -17 - -19. Solve s*r = r - 1 for r.
-1
Let g be 6 - (-6 - 2)/4. Solve 5 = 3*r + g for r.
-1
Let y(k) = k**3 - k**2 - k - 2. Let m be y(2). Let g be 6/2*(-1)/(-3). Solve 0 = a - m*a - g for a.
1
Suppose -6*r + 2*w - 1 = -7*r, 0 = 3*w. Solve o + r = -0 for o.
-1
Suppose -4*z + 17*z = 52. Solve z*i + 0 - 4 = 0 for i.
1
Suppose l = -2*l - 0*l. Solve -v + l = -4 for v.
4
Let g(u) = -u**3 - 9*u**2 - 8*u + 3. Let b be g(-8). Solve -b*z = -1 - 2 for z.
1
Suppose 1 - 9 = -4*u. Let h(m) = m - 1. Let x be h(u). Solve 4*w = 3 + x for w.
1
Suppose -a - 12 = -4*a, 0 = -5*y + 5*a + 60. Suppose 5*p - y = 9. Solve 0*v = -p*v + 10 for v.
2
Let m(c) be the third derivative of 1/12*c**4 + 0*c - 3*c**2 + 0 - 7/6*c**3. Let y be m(5). Solve y*i - 7*i = 0 for i.
0
Suppose 6 = 5*f - 4. Suppose -n + 3 = -4. Solve -f*w + n*w = 0 for w.
0
Let x(b) = 0 - b + 2*b + 4. Let n be x(-6). Let p be (-1)/(1/10*n). Solve 0 = -p*q - 1 - 9 for q.
-2
Let v(x) = 2*x**2 - 4*x + 3. Suppose -u = -2 - 1. Let a be v(u). Suppose -2*g + a = -g. Solve -4*s = 1 - g for s.
2
Suppose -r + 4 = 2. Solve 0 = -r*i + 3*i + 1 for i.
-1
Let d be (-3)/((-4)/6*18/8). Solve 0 = 4*c + 18 - d for c.
-4
Suppose -2*i + 16 = 2*i. Let x = 17 - 6. Let h = 13 - x. Solve -3*s = h + i for s.
-2
Suppose -4*r + 10 = -5*r. Let o = -10 - r. Solve c + c + 4 = o for c.
-2
Let n be -2 + -3*16/(-12). Solve -7*j + n*j - 10 = 0 for j.
-2
Suppose -3*i = 3*d - 8*d - 4, -2 = 2*i - d. Let l be (i + 2)*1/(-2). Solve -f - 1 + l = 0 for f.
-1
Suppose -4*g = -4*d + 3*d, -4*g = 3*d + 16. Let h = 10 + d. Solve h*u = 5*u +