= -k**3 - 4*k**2 + 11*k - 1. Let y be m(-6). Solve -4 - 6 = -y*i for i.
2
Suppose 4*n - 2*t - 7 + 3 = 0, 20 = -5*t. Let w be (-2)/(n/((-2)/1)). Let y = w + 6. Solve -y = h + 2 for h.
-4
Let k(q) = -q**2 + q + 3. Let l(u) = u**2 - 6*u + 5. Let a be l(5). Let t be ((-15)/(-6) - 2)*a. Let m be k(t). Solve -p - 2 = -m for p.
1
Let u be 24*((-28)/(-8) - 3). Solve f + 3*f = u for f.
3
Let n = 1 - -2. Suppose 0 = -n*k - 28 + 70. Suppose q + x - 2*x = 6, 0 = -q + 3*x + k. Solve -v = -6 + q for v.
4
Let s = 74 + -71. Solve -s*h = -8 - 1 for h.
3
Let n be -2*(1 + (-10)/4). Suppose 0 = -2*h - n*u, -h - 3*u - 2 = 1. Solve 7 - h = -2*r for r.
-2
Let d be 3/6*4*2. Solve 4*h - d = 8 for h.
3
Let l be 90/21 - 6/21. Solve 0 = -0*o - o + l for o.
4
Let y(n) = -n**3 - 7*n**2 - 5*n + 6. Let p be y(-6). Solve p = -3*h - 2*h + 5 for h.
1
Let k = -3 - -4. Suppose 7 = -3*v + 19. Solve v*l = -11 - k for l.
-3
Let l be (-2)/13 + (-972)/(-234). Suppose -5*x = -l*k + 7*k - 25, -3*x = 5*k - 31. Solve 2*r - 3*r = x for r.
-2
Suppose -13 = -2*z + 17. Solve -u - 2*u = z for u.
-5
Let k(y) = -y**3 + 2*y**2 + y. Let t be k(-1). Suppose 10 = 5*h + t*i, 2*h + h - 3*i - 6 = 0. Solve 0 = -2*d - h - 0 for d.
-1
Suppose 0*n + 3*n = -3. Let x = 3 + n. Solve 0*o = -o - x for o.
-2
Suppose -w - 2*h = -10, w + h = 3*w. Let l be (-48)/(-9) + w/3. Let t = l - -1. Solve 4*n + t = -1 for n.
-2
Let f(c) be the third derivative of c**5/60 - c**4/4 + c**3/2 - 3*c**2. Let m be f(6). Solve -m*i = 2*i - 10 for i.
2
Let y be (5 - 0)*(1 + 0). Suppose 2 = -y*g + 32. Let j = 23 + -21. Solve -16 + g = -j*m for m.
5
Let h(b) = 2*b**3 + 11*b**2 - 2*b - 5. Let s(m) = -m**3 - m**2 - m - 1. Let x(c) = h(c) + 3*s(c). Let q be x(7). Let t = 7 - q. Solve -k = 2 + t for k.
-3
Let b(h) = -h**2 - h. Let f be ((-2)/6)/(3/9). Let a be b(f). Let g be -1*(-4 - (0 + 1)). Solve k - g = -a for k.
5
Let v be (6/(-2))/(6/(-4)). Suppose 4*j + 2*h + 3*h - v = 0, -3*h = 2*j - 2. Let m be (j + (-7)/(-1))/1. Solve -3*s + m*s = 6 for s.
3
Suppose -4 = -3*h + 2. Suppose 2*z + 10 = -2*j, h = -z - 3. Solve 5*u + j = -10 for u.
-2
Suppose -4*d + 34 = 5*w, -4*d + 40 = d + 5*w. Solve -2*a + 4*a = d for a.
3
Suppose -20 = -8*c + 7*c. Solve 4*y = c - 4 for y.
4
Suppose -15 = -5*h + 10. Solve 0 = h*x + 14 + 6 for x.
-4
Let z be (3/(-2))/(1/(-2)). Solve -5*k + z*k = -4 for k.
2
Suppose -m = -0*m - 2. Suppose 5*p = -m + 12, 4*f + 4*p - 28 = 0. Let b be (0/(-1))/(12 + -10). Solve b = -3*j + 2*j - f for j.
-5
Let f(s) = s**3 + s + 4. Let i be 2/(2*1/(-25)). Let p be (-10)/i + 2/(-5). Let j be f(p). Solve -j*o = -2*o - 6 for o.
3
Let p = 2 - 2. Let k be p/(2 + -1 - -1). Let h be -1 + 2 - -3 - 1. Solve -9 + k = -h*o for o.
3
Let n(h) = -3*h - 3. Suppose 0 = 5*j + 5, 0 = 3*r - j + 2 + 3. Let m be n(r). Solve 5*z + 7 = -m for z.
-2
Let o = -7 + -3. Let k = o - -13. Solve k*y + 0*y = 12 for y.
4
Let h(c) be the third derivative of 5/24*c**4 - c**2 + 0*c + 1/6*c**3 - 1/10*c**5 + 1/120*c**6 + 0. Let y be h(5). Solve -3*j - y = -10 for j.
3
Let f be 6/7*(14 - 7). Solve -m = m - f for m.
3
Suppose -5*u - 5*c = -40, -3*c + 2*c = -4*u + 7. Solve 0 = u*o + o for o.
0
Suppose 3*r = -4*s + 10, 2*r - 5 = r - 3*s. Solve 1 + 9 = r*j for j.
5
Suppose -2*b + 3*b = 0. Solve b = -4*k - 0 + 4 for k.
1
Suppose -2*d + 4 = 2, 2*b - d - 3 = 0. Solve 0 = p - b*p - 4 for p.
-4
Let z(c) = 10*c - 2. Let f be z(3). Suppose f = 4*x + u - 5*u, 0 = x + 3*u - 3. Solve x = w - 3*w for w.
-3
Let y be ((-2)/(-6))/((-14)/(-210)). Solve -y*t + 10*t + 15 = 0 for t.
-3
Suppose -t = -3*t + 10. Suppose -t*m + 21 = l, -3*m - 7 = -3*l - 4*m. Solve -l = z + 4 for z.
-5
Suppose 5*w + 3 = -4*q + 1, q = 3*w - 9. Let a be 0/((w + 2)/(-4)). Solve a = 3*r - 1 + 10 for r.
-3
Let c = 3 - -11. Solve -4*w - 6 - c = 0 for w.
-5
Suppose s - 18 = -5*s. Let u = -8 + 11. Let t = 3 - 0. Solve -s*v + t = -u for v.
2
Let i = 8 + 0. Solve -4*w + i = -0 for w.
2
Suppose 3*h - 9 = -v, -v + 4*v - 9 = 0. Suppose -q - o + 6 = h*q, 2*o - 3 = -3*q. Solve y - q*y - 8 = 0 for y.
-4
Let o(l) = -9*l**2 - 12*l + 9*l**2 + 10*l**2 + 9 + l**3. Let k be o(-11). Solve 6*y = 2*y + k for y.
5
Let h be (-1)/(-2)*(6 + 0). Let t(d) = -d - 1. Let z be t(-3). Suppose 3*o - 55 = -4*i, -4*i + 5*o + 3 = -12. Solve z*c = -h*c + i for c.
2
Let w(n) = -n**2 + 8*n - 5. Let u be w(6). Suppose -3*j + 3*x + 24 = 0, j + u = 5*j + x. Suppose 0*f = j*f. Solve -3 = l - f for l.
-3
Let f be (-2)/4 - 3/(-6). Solve -2*m - 7 - 3 = f for m.
-5
Let f be (-5 - 1)/2*3. Let u = -9 - f. Solve u*l - 4 = l for l.
-4
Let f(g) = -103*g**3 + g**2 + g - 1. Let c be f(1). Let a be c/(-10) - (-1)/(-5). Solve -u - 4*u + a = 0 for u.
2
Suppose -10*k + 15*k = 15. Solve 5 = -k*v - 1 for v.
-2
Let s(b) = -2*b - 5. Let m be s(-5). Suppose -5*a - 2*o = -35, m*a - 2*a = 3*o. Solve 0*c = c + a for c.
-5
Let t(l) = -l**3 + 11*l**2 + 12*l + 3. Let p be t(12). Let o = p + -3. Solve o = 3*v - v for v.
0
Let k(h) = -h**3 - 8*h**2 - 4*h - 29. Let m be k(-8). Solve 5*i + 7 = -m for i.
-2
Let x be (-2)/(1 - (-4 + 6)). Solve x - 22 = 4*t for t.
-5
Suppose 3*l = 6, -o - 4*l + 2 = -3*l. Solve 0 = q - o - 3 for q.
3
Suppose 4*r - 1 = 5*r + 4*q, 4*r - q - 13 = 0. Solve -r*a - 7 = -1 for a.
-2
Let r(b) = b**2 + 4*b - 2. Let j be r(-4). Let f(w) = -3*w - 1. Let k be f(j). Let t(l) = -l**3 + 5*l**2 + 5*l + 8. Let i be t(6). Solve i*c = -3 - k for c.
-4
Suppose 11 = 3*t - 2*a, 2*t = 3*t + 4*a - 27. Suppose 3*l - t*l = 0. Solve 5*r - 15 + l = 0 for r.
3
Let j be (-1)/(-4) - (-142)/8. Suppose -4*n = 4*h - 16, 2*h = 6*h - n - 6. Suppose h + 4 = 2*z. Solve -3*t + j = z for t.
5
Let d = 62 + -54. Solve -d = -4*m + 4 for m.
3
Let s = -98 - -103. Solve -d + 9 = s for d.
4
Let l(v) = v**3 - 5*v**2 + 2*v - 1. Let n be l(5). Suppose -4*z + n = -z. Suppose 21 + 3 = z*g. Solve 5*q = q - g for q.
-2
Let s(m) = 3*m - 1. Let h be s(1). Let i be (-23)/(-7) - h/7. Let w be 4/14 - (-235)/35. Solve -i*o = -w*o for o.
0
Let n be (-2)/(-6) - 402/18. Let y = n + 32. Solve y = 2*t + 3*t for t.
2
Suppose 13*t - 15 = 8*t. Solve 1 + 8 = t*d for d.
3
Let a = -10 + 6. Let i be (a/(-6))/((-8)/(-60)). Let d(m) = -m + 1. Let p be d(-2). Solve -i = u - p for u.
-2
Suppose 3*z - 35 = -0*z - n, -4*z = -3*n - 64. Let t = z + 2. Solve 2*i = 5*i - t for i.
5
Let y(r) = -r**3 - 2*r**2 + 1. Let z be y(-1). Solve 0 = -2*a + 8 - z for a.
4
Let w(u) = u**2 + 3*u - 3. Let c be w(-4). Solve -c = -2*t - 11 for t.
-5
Suppose 0*i + 8 = i. Solve 3*x - 2 = -i for x.
-2
Let c be -2 - 6*1/2. Let b(i) = i**3 + 6*i**2 + 4*i + 4. Let y be b(c). Solve -3*k = -0*k - y for k.
3
Let o(h) = h + 3. Let j be o(7). Let v(n) = 10*n**2 - n - 3. Let c be v(3). Let z be c/j + (-4)/10. Solve 0*r = 4*r - z for r.
2
Let n be 2/(-6) + 1015/21. Let g be -4 + 1 + n/6. Solve -4 = g*k + 11 for k.
-3
Let g = -103 + 103. Solve 4*f - 7 - 5 = g for f.
3
Suppose 3*w = -7*h + 3*h, 0 = -2*w + 2*h. Solve w = -t + 5*t + 4 for t.
-1
Let b = 13 + -7. Suppose -4*n - 3*y = -y - 84, 3*n - 63 = -4*y. Let v = n - b. Solve -v = 4*i + 1 for i.
-4
Let t(p) be the second derivative of -p**3/6 + 4*p**2 - p. Let u be t(8). Suppose u = -5*k + 5*y - 5, 3*y + 1 + 4 = 5*k. Solve k*f - 12 = f for f.
4
Let z = 27 + -12. Suppose -5*i + z = -0*i. Suppose 2*g = -i + 7. Solve 7*f - g*f + 15 = 0 for f.
-3
Let g = 15 - 9. Solve g = 3*y - y for y.
3
Let g(p) = -p + 9. Let v be g(7). Let q be ((-25)/v)/5*-2. Suppose 0 = -5*c - 3*b + 20, c + b + 18 = -4*b. Solve c + q = 3*w for w.
4
Let n be 4/6 - (-26)/6. Suppose -2*m + 6 = -2*a, n*a - m = 1 + 4. Suppose 0 = -a*q - 3*s + 13, 0*q - 5*s - 15 = -4*q. Solve 0 = q*w - 7 + 2 for w.
1
Let f be (-5 + -15)/((-2)/3). Let v be (-18)/f - (-206)/10. Solve -5*s = -s + v for s.
-5
Let h = 58 + -56. Solve 0*j + h*j - 4 = 0 for j.
2
Let p = 11 - 7. Suppose -4*z - 32 = -p*l, -z + 4*z = -5*l. Solve 0*j + l = j for j.
3
Suppose n + 3*n = 24. Let r(d) = -d + 8. Let i be r(n). Solve i = f - 3 for f.
5
Let a be (3 + 0)*((-40)/15 + 4). Solve 0 = a*l + 7 - 3 for l.
-1
Suppose -s + 20 = 5*k, 0 = 5*k - 5*s - 12 - 8. Solve k = o + 2 for o.
2
Let f = 8 - 6. Let o = 3 + f. Suppose 3*r = o + 4. Solve p + 12 = -r*p for p.
-3
Suppose 1 + 6 = 7*k. Solve 3 + k = -b for b.
-4
Let l be -1*-2*(-9)/6. Let q = -3 - l. Solve 4 = -4*r - q for r.
-1
Let r be 18/117 + 4/(-26). Sol