-k**2 + 2*k + 1. Let g be z(-2). Let a = 10 + g. Suppose -r + 8 = 2*u - 1, -u + a*r = 13. Solve u*j + 0*j = 0 for j.
0
Let o(t) = t**3 + 3*t**2 - 4*t - 7. Let p(f) = -f - 1. Let b(a) = -o(a) + 5*p(a). Let i be b(-2). Suppose -4*k + 12 + 4 = i. Solve m + k = -3*m for m.
-1
Suppose -7*k + 16 = -3*k. Suppose o = 3*x - 1, k*x - 23 = -o - x. Solve o*z = 4*z for z.
0
Let u(p) be the first derivative of p**3/3 - 6*p**2 + 16*p - 5. Let h be u(11). Solve h*l = l - 4 for l.
-1
Suppose 3*m - h - 8 = 2*m, 0 = 5*m + 5*h - 60. Solve 5*q = 3*q + m for q.
5
Let c(d) = -d**2 - d + 8. Let m be c(0). Solve -m = -4*b + 2*b for b.
4
Suppose -7*p + 25 = -2*p. Let h(o) = -o**2 + 4*o + 5. Let n be h(4). Solve 0 = n*m + p for m.
-1
Suppose -g + 14 = 2*a, -a + 13 = g + 4. Suppose 0*y - 17 = -3*y - a*o, -5*o = -2*y + 3. Solve y*u = -0*u for u.
0
Suppose -b = 3*b - 16. Let a = 0 + b. Let n be (-16)/(-72) + 156/27. Solve q = n - a for q.
2
Let v be 9/((30/4)/(-5)). Let f be (13/2)/((-3)/v). Let d(g) = 5*g - 8. Let i be d(2). Solve i = -3*j - f for j.
-5
Let v(j) = -5*j - 1. Let u be v(-1). Suppose 5 + u = 3*c. Let x(n) = 4*n + 40. Let m be x(-6). Solve m = -c*z + 4 for z.
-4
Let c be (6/4)/((-9)/(-12)). Suppose x = c*x + 3*v, 5*v = -15. Solve 2*k = 5*k - x for k.
3
Let d(j) = j - 4. Let q be (2 - 1)/1 + 5. Let y be d(q). Let w = 7 + -5. Solve 0*b = w*b + y for b.
-1
Suppose -4*c = 3*n - 14, 5*n + 4*c = 14 + 12. Solve 5*z + 31 = n for z.
-5
Let m be (-1)/(-5) - (-108)/10. Suppose -5*r + r + 16 = 0. Let q be 2/r*(1 + 3). Solve -m = -3*w - q for w.
3
Suppose -14 = -6*a + 28. Solve f - 4 = -a for f.
-3
Let m(h) be the third derivative of -h**7/840 + h**6/720 + h**5/15 - h**2. Let s(z) be the third derivative of m(z). Let i be s(-1). Solve -2*y + i*y = 0 for y.
0
Let u(n) = n**3 - 5*n**2 - n - 14. Let x be u(6). Suppose 4*c + 4 = -3*o + 8, 5*c - x = -o. Solve c + 1 = -g for g.
-5
Suppose 0 = 2*r - 0*r. Suppose r*q - 12 = -4*q. Solve -2*n + 5 = -q*n for n.
-5
Let j(x) be the third derivative of 0*x**3 - 1/24*x**4 + 0*x**5 + 0 + 0*x - 2*x**2 - 1/120*x**6. Let z be j(0). Solve -3*r + 6 - 15 = z for r.
-3
Let o = -1 - -1. Suppose -h - 13*d = -9*d - 14, -2*d + 4 = -h. Solve 6 + o = h*p for p.
3
Suppose y - 2 = x, 5*y + 2*x - 10 = -3*x. Solve 2*q + y = 12 for q.
5
Let o(u) = u + 3. Let r = -13 + 13. Let d be o(r). Solve 0 = -d*f + 5 - 2 for f.
1
Suppose -3*f = -f. Solve 5*s + f*s = -25 for s.
-5
Let a = 8 + -5. Solve -p = -a*p for p.
0
Let u = -29 - -38. Solve -u = 5*d + 6 for d.
-3
Let f = -20 + 31. Let o = f - 8. Solve -o*d = -d for d.
0
Let d = -47 + 48. Solve -3*z + d = -8 for z.
3
Suppose 29 = 9*r + 11. Solve -2*z + r = -z for z.
2
Suppose -2*x = 2*v - 14, 4*v = -2*x + 7*x + 1. Solve -v*k = 5 - 21 for k.
4
Suppose 4*m - 5*f - 56 = 0, m - 14 = -2*f - 2*f. Solve 5*x + m = -11 for x.
-5
Let m = 39 + -37. Solve -4*x = -2*x - m for x.
1
Suppose 3*f + 7 = -3*j + 1, -2*j - 3*f = 7. Solve -7 = 2*b - j for b.
-3
Suppose -4*q - 11 = -19. Solve 0 = -v + q*v for v.
0
Let w be 0*(-1)/6*2. Solve w*x + 6 = -2*x for x.
-3
Suppose 0*h + 3 = -2*y + h, -4*y - 2 = 2*h. Let d be (150/3)/(1 - y). Solve k - d = -4*k for k.
5
Let r(p) be the first derivative of p**6/360 - p**4/12 + p**3 - 4. Let o(y) be the third derivative of r(y). Let t be o(2). Solve t*u + 10 + 0 = 0 for u.
-5
Suppose -9*i + 60 = 6*i. Solve -9*x + i = -10*x for x.
-4
Suppose 3*m - 57 = -t, 52 = 2*m - 0*m - 4*t. Suppose -4*v = -2*w + 54, 3*w - m - 26 = -v. Solve -5*o = w + 8 for o.
-5
Let c(u) = 0*u**3 - 3*u + 2*u - u**2 + u**3. Let w(y) = y + 4. Let m be w(-4). Let r be c(m). Solve r = 2*x - 0 - 10 for x.
5
Let y(c) = -c**3 - 5*c**2 + 8*c + 12. Let b be y(-6). Solve 5*l = 25 - b for l.
5
Let b = -6 - -3. Let n be (-5)/((-30)/(-4))*b. Solve 0 = n*r - 2 + 4 for r.
-1
Let x = 14 - 11. Solve -2 = x*m + 1 for m.
-1
Let z be (5*6)/5 - 4. Solve -z + 18 = -4*s for s.
-4
Suppose 0 = -4*r + 7 - 19, -l - 5 = 4*r. Let m = 8 - l. Solve 0*d - m = -d for d.
1
Let h be 1 + (-3 - (1 + -2)). Suppose -20 - 4 = -2*o. Let y be 51/o + h/4. Solve -y*m - 3 - 1 = 0 for m.
-1
Let s(p) = p**3 + 9*p**2 + 8*p + 4. Suppose -5 = h + 3. Let t be s(h). Suppose -t = -4*x - x + 2*i, -4*x - 4 = -4*i. Solve -x*o = -3*o - 3 for o.
-3
Let r = 9 - 5. Let t = 18 + -16. Suppose t = 3*b - 2*y, y - 6 = -4*b + r. Solve v + 12 = -b*v for v.
-4
Let g = -14 + 19. Solve 4*n - 4 = g*n for n.
-4
Let a be (1 + (-1)/2)*0. Suppose 0 = -s - a + 5. Solve -3*x = s - 2 for x.
-1
Suppose 0 = -7*g + 6*g - 19. Let i = 32 + g. Solve i = 4*d - 3 for d.
4
Suppose -9*h + 10 = -4*h. Solve h*y - 6 = -0 for y.
3
Let v = -52 - -76. Solve -3*r + 9 = v for r.
-5
Let s(i) = -i**2 + 6*i + 2. Let z be s(3). Let l = 15 - z. Solve 5*k + l = -11 for k.
-3
Let r = 12 + -7. Solve -11 = r*m - 36 for m.
5
Let n(f) = f**2 - 13*f + 7. Let z(v) = v + 6. Let h be z(-10). Let j(a) = a**2 - 12*a + 6. Let c(y) = h*j(y) + 3*n(y). Let m be c(8). Solve 1 = m*d - 19 for d.
4
Let k(j) = j**2 - j + 9. Let q be k(0). Let z be ((-6)/(-5))/((-3)/20). Let m = -5 - z. Solve 0 = -m*g + q for g.
3
Let r(j) = 5*j + 14. Let d(y) = 4*y + 13. Let l(t) = 4*d(t) - 3*r(t). Let u = 21 + -28. Let b be l(u). Solve b = -f + 6 for f.
3
Let g be ((-14)/(-14))/((-1)/11). Let q = -10 - g. Solve -z + q - 2 = 0 for z.
-1
Let g be ((-4)/(-3))/(6/9). Suppose 3*r - 140 = -3*l - 5, -5*r = 3*l - 223. Let h = -24 + r. Solve g*m = -3*m - h for m.
-4
Let l = -7 + 26. Suppose -h - l = -2*h. Solve -h = -3*a - 4 for a.
5
Suppose 0*b = -4*b - 56. Let t be b/(-70) - 48/(-10). Solve -2*p = 3*p + t for p.
-1
Let y(m) = -m - 1. Let w be y(-3). Let d = -2 + w. Solve d = 3*o - 4*o + 3 for o.
3
Let k = -5 + 6. Let q be (3 - 4)/1 + 3. Suppose -c = -v + k, -v + 4*c - q = 3. Solve -v*m = -0*m for m.
0
Suppose 55 = -j - 4*j. Let v = j + 16. Let w = 8 - v. Solve -6 = -w*s + 5*s for s.
-3
Suppose -u = -31 + 11. Suppose -u = -5*s - 0*s. Solve -s*m - 6 - 10 = 0 for m.
-4
Let i = -8 + 14. Suppose -4*a + i*a = 0. Solve 3*q + 0*q = a for q.
0
Let o(b) = b**2 + 3*b - 6. Let j(z) = -z - 8. Let h be j(0). Let v be o(h). Suppose 3*c - v = c. Solve -c = 4*k - 1 for k.
-4
Suppose 2*n + 0*n = b + 7, -16 = -3*n - 4*b. Suppose -2*q - u = -8, -q - 2 = u - 4. Solve -2 = n*g + q for g.
-2
Let r be 12/3 - (-3 + 0). Solve 0 = -3*s - 22 + r for s.
-5
Let s = -3 + -3. Let q = -2 - s. Solve -t + 3 = -q*t for t.
-1
Let f be 14/8 + (-1)/(-4). Suppose 4*l = -5*x, -f*l - 2*x + 5 - 3 = 0. Suppose l*g - 3*g = 8. Solve 10 = -g*k + 2 for k.
-2
Suppose -u = 2*m - 14 + 5, m - 6 = -u. Suppose p = -5*f + 14, f + m*p - 5*p - 5 = 0. Solve 0 = -r + f for r.
3
Suppose -5*j + 7 + 8 = 0. Suppose 0 = -2*r - 4*y, 2*r = r + j*y + 5. Let a(q) = q. Let v be a(0). Solve -r*z = -v*z + 10 for z.
-5
Let j be (-16)/(-4) + (3 - -6) - 3. Solve j = -o + 8 for o.
-2
Suppose 95 + 40 = 5*s. Solve -4*u - 11 + s = 0 for u.
4
Let d be -2 - -2*(2 - 1). Suppose d = -5*v + 19 - 4. Solve -x - v*x - 16 = 0 for x.
-4
Let o = -26 + 29. Solve 8 + 4 = -o*r for r.
-4
Let t(d) = -d**3 + 6*d**2 - 3*d + 9. Let b be t(6). Let u be (-1 + b)*(-12)/30. Let h = -2 + u. Solve -3*c = -h*c - 5 for c.
5
Let v(n) be the second derivative of n**5/4 - n**4/6 + n**2/2 - 2*n. Let z be v(1). Solve 0 = 2*j - j + z for j.
-4
Suppose 14*g = 9*g - 160. Let b be (-6)/21 + g/(-14). Solve 0 = b*q - 0 - 6 for q.
3
Suppose -4*t + 4 = -0*t. Let r be (-15)/(-4) - t/(-4). Solve r*i - 20 = -i for i.
4
Let x = 4 - 2. Let l = x - -1. Solve -3*m = -0 + l for m.
-1
Suppose -3*h - 60 = -8*h. Suppose 0 = -5*a - z + 5*z + 57, -2*a - 2*z + h = 0. Solve -y - a = -4*y for y.
3
Let l be -3*(2 + 32/(-6)). Solve -h = h + l for h.
-5
Let k(o) = -8*o - 4*o**2 - 4 + 0*o**2 + 3*o**2. Let l be k(-7). Solve 2 = l*c - 4 for c.
2
Let z be 4*(12/(-8) - -2). Solve -5*a = 8 + z for a.
-2
Suppose -q = 2*q - 75. Suppose 8*h - 3*h - q = 0. Suppose -4*o + 0*b = b - 6, -16 = -3*o + h*b. Solve u + 0*u + o = 0 for u.
-2
Let n = -68 + 69. Solve -c - n = -0 for c.
-1
Suppose 1 - 3 = -x. Suppose -3*z - 6 = 2*r + 2*z, 2*z - 2 = -3*r. Suppose -r*l - 16 = -4*b, 8*l = 4*b + 3*l - 16. Solve 0 = -x*j - 2*j - b for j.
-1
Suppose -j + 10 = -0*j - 4*i, 4*j = 5*i + 18. Let z be (-28)/21*(-6)/4. Solve z = j*q + 6 for q.
-2
Let x be 9/4*(-40)/(-6). Let g be (0 - (-1 - -1)) + 0. Solve g*p = -3*p - x for p.
-5
L