4 - 7*k**3/3 + 3*k**2. Let s be i(17). Solve -2 - 4 = s*u for u.
-2
Let u(m) be the third derivative of -m**4/24 - 4*m**2. Let o be u(-1). Let p = 2 - o. Solve 5*j + 4 + p = 0 for j.
-1
Suppose 3*a + 42 = 3*s, 3*s + 2*a - 16 = 1. Solve 4*j + s + 11 = 0 for j.
-5
Let v be (-10)/50 + (22/5)/2. Solve s + v*s - 15 = 0 for s.
5
Let z(t) = 4*t + 28. Let c be z(-6). Let f(d) = d**2 - 5*d + 1. Let r be f(6). Solve 0 = c*s - r + 15 for s.
-2
Let v(r) = r**2 - 9*r + 8. Let n be v(9). Solve 0 = -4*t + 4 - n for t.
-1
Let w be (-1 + 3)*1 - 4. Let p(g) = 2*g**2 + 4*g + 5. Let h be p(w). Solve 4 = -h*v - 6 for v.
-2
Suppose -2*q + 5*q = 0. Let h = 146 + -143. Solve q = -h*y + 5 + 1 for y.
2
Let b be 10/(2 - (-6)/(-4)). Suppose l + 4*l = b. Solve -2*z + z - l = 0 for z.
-4
Let x = 6 + -4. Let a = 5 + -5. Suppose a - x = -t. Solve -4*h + 10 = -t*h for h.
5
Suppose 3*m + 2*m - 20 = 0. Let w be m + 3 - 12/4. Solve 0 - 4 = -w*a for a.
1
Let x = -4 - -6. Suppose 6*d = x*d + 8. Solve d*p - 4 + 2 = 0 for p.
1
Let y(h) = 9*h**2 - 2*h - 3*h**2 - 3*h + 1 - h**3. Let v be y(5). Suppose -1 = -3*o + 4*r, 4*r = 2*o + 2 - 0. Solve -w + v = o for w.
-2
Let l(z) = 5*z**3 + 3*z**2 + 4*z + 8. Let q(u) = u**3 + u**2 + 1. Let x(w) = l(w) - 6*q(w). Let f be x(-4). Solve o = f*o - 2 for o.
2
Suppose 0 = 4*g + 5*h - 9, 10 = 4*g + g + 5*h. Let y be -2*(28/(-8) + g). Solve 0 = -y*o + 2 - 17 for o.
-3
Suppose -2*z - 2 = -0*z. Let u = z + 4. Solve i + 10 = u*i for i.
5
Let x be (-19)/(-1) + 1 + 0. Let a = 44 - 41. Solve -a*q - q + x = 0 for q.
5
Let l be (0 - 1/(-3))/((-7)/(-126)). Suppose 4*n = 2*s + 9 + 1, -9 = s - 3*n. Suppose -b + 7 = -a - 0, -5*a = s*b + 19. Solve -b = 4*c + l for c.
-2
Let y(i) = -i**3 + 4*i**2 + 3*i + 2. Let v be y(5). Let k be (5/10)/((-2)/v). Suppose -2*l - k = -6. Solve -l*j = 2*j for j.
0
Suppose -7 = 3*u - 4*l + 2, -5*l + 13 = -4*u. Let a be (u + 9/(-3))*-1. Solve a = -2*c + 7*c for c.
2
Let u = 29 - 26. Solve 0*v = -u*v for v.
0
Let q(m) be the third derivative of -m**6/40 + m**5/30 + m**4/24 + 10*m**2. Let f(h) = -h + 4. Let d be f(5). Let g be q(d). Solve -g*j = j for j.
0
Let w(u) = -u + 3. Let i = 8 - 1. Let b = i + -4. Let z be w(b). Solve -5*t + 5 = -z for t.
1
Let h = 67 - 65. Solve 5*r = h*r - 3 for r.
-1
Let r(i) = -i**3 - 4*i**2 - i - 2. Let d be r(-4). Let y(x) = -x**2 - 7*x + 2. Let o be y(-5). Let g be (1 + 1)/(8/o). Solve g = -b + d for b.
-1
Let s(h) = 13*h. Let d be s(1). Let m = 15 - d. Solve 2*i + 16 = -m*i for i.
-4
Let i(b) = -5*b**2 + 18*b - 5. Let j be i(3). Let h(s) = s**3 + 7*s**2 + 6*s. Let r be h(-6). Solve r = j*y - 0*y for y.
0
Let c = 4 - 10. Let a = -9 - c. Let p = -3 - a. Solve p = -3*k - k + 12 for k.
3
Let c = 4 - -4. Solve 0 = -0*b + 2*b + c for b.
-4
Suppose 5*x + 5*o - 67 = 3, 2*x = -4*o + 20. Let f = 14 - 10. Solve -x = f*m + 2 for m.
-5
Suppose 0 = 2*t - 4 - 6. Let y(a) = 0*a + a - 2 + 0 - 2. Let l be y(t). Solve 19 = 5*j - l for j.
4
Let l(o) = o**3 + o**2 + 2*o. Let z be (4/(-8))/(2/(-8)). Let c be l(z). Solve -c = g - 5*g for g.
4
Let w = 149 + -145. Solve 0 = -w*v + 1 + 11 for v.
3
Let y be 18/(-4)*(-4)/3. Suppose -4*b + y*b = -24. Let r = b - -40. Solve 8 - r = 5*x for x.
-4
Let x(p) = p**2 - p - 2. Let w be x(3). Suppose w - 2 = f. Let u be f - (60/(-3) + -2). Solve 0 = 5*c - 4 + u for c.
-4
Let k = 8 - 2. Let z be (-14)/(-6) - (-4)/k. Let v be (-8)/z*(-11 + 8). Solve -4*y + v = -8 for y.
4
Let j(l) = l. Let g be j(-4). Let z be 4 + -6 + (-1 - g). Suppose 0 = 2*v - z - 7. Solve 0*o + 20 = v*o for o.
5
Let u(m) = -m - 3. Let k be u(9). Let n = 12 + k. Solve n = 4*h + h + 20 for h.
-4
Suppose -18 = -2*s + 6. Suppose 13 + s = 5*w. Solve 0 = w*y - 0*y - 5 for y.
1
Suppose -13*g + 8 = -9*g. Solve g*s = -2*s + 12 for s.
3
Let q = 25 + -23. Let d(u) = u**2 + u + 1. Let h(k) = k**3 + 10*k**2 + 2*k + 10. Let b(t) = d(t) - h(t). Let r be b(-9). Solve r*c + q = -c for c.
-2
Suppose 0*k = -3*k + 3. Suppose -4*j = v + k, 2*j = -0*v + 5*v - 17. Solve -v*h = h - 20 for h.
5
Let s = 2 - -2. Let v = 14 - -1. Let j be (-3)/v + (-12)/(-10). Solve j = z - s for z.
5
Let g(h) = h**3 + 0 + h**2 - 2*h**3 - 2. Let f be g(-2). Solve -m = 4*m + f for m.
-2
Let c(r) = -4*r**3 + r**2 - 1. Let t be c(-1). Suppose -6*q = -0*q - 18. Solve -t*w + q*w + 2 = 0 for w.
2
Suppose 2*q = 4*q - 2, 0 = -j + 3*q - 121. Let f be (-3)/(-15) - j/10. Solve -f = 3*c + 3 for c.
-5
Suppose -3*v = -0*v + 33. Let m(u) = u + 21. Let d be m(v). Let o = -8 + d. Solve 0 = o*a + 2*a + 8 for a.
-2
Let u(l) = 2*l**2. Let c be u(-1). Suppose 24 = c*a - 214. Let p be a/5 - (-2)/10. Solve -5*w = -p + 4 for w.
4
Let u be 64/80 - (-1 - 8/(-10)). Solve 2*g - u = 3*g for g.
-1
Suppose -3*t + 0*y + 3*y + 33 = 0, -2*t = -3*y - 26. Solve 2*a + 3 = -t for a.
-5
Let d be 1*(-16 - 4)/(-4). Solve i + 8 = d*i for i.
2
Suppose -6*i = -3*i. Suppose 10 = 3*r - 4*c, r + 5*c = -3 - i. Let l be 6/r*8/12. Solve 2 = 2*v - l for v.
2
Let j(m) = -4*m - 5. Let q be j(-2). Suppose 11 = -q*n + 38. Solve n = 3*d - 6 for d.
5
Let n(x) = -x + 15. Let t be n(0). Let z = t - 11. Suppose 3*k - 190 + 184 = 0. Solve 2 - z = -k*j for j.
1
Suppose 3*j + 24 = -3*n, -4*n - 32 = -0*j + j. Let p(r) = r**2 + 9*r + 11. Let d be p(n). Let c be 14 + 1 - 0/d. Solve 0 + c = 3*s for s.
5
Suppose 0 = -2*h - h + 6. Suppose h*b - b = 0. Suppose b = 2*u + 5*z + 13, -4*z = -4*u + 20 + 24. Solve 4*f + 2 + u = 0 for f.
-2
Let h(n) = n. Let p(o) = -o**3 + 5*o**2 - 3*o - 4. Let u be p(4). Let t be h(u). Solve -2*r + t*r - 4 = 0 for r.
-2
Let w(d) = -d + 9. Let s be w(7). Suppose s*j + j = 24. Suppose -3*o - o = -j. Solve 4*b - 14 = -o for b.
3
Let r(y) = -y + 1. Let d be r(7). Let c be (-4)/d - 43/(-3). Suppose -5*g + g = -16. Solve c = g*h - 5 for h.
5
Let r = -2 + 2. Let n = 4 - 2. Let d = n + r. Solve -j + 3 + d = 0 for j.
5
Let q(l) = -l**2 - 5*l + 8. Let p = 10 + -16. Let t be q(p). Let u be (21/(-6))/((-2)/4). Solve u*d = t*d + 5 for d.
1
Let t(j) = j**3 + j**2 - 2. Let d be t(-2). Let y be 3 + (-3)/(d/(-4)). Let h(m) = -m**2 - 12*m - 18. Let o be h(-10). Solve o*f = y + 3 for f.
2
Let u = 3 - 0. Suppose 0 = 3*y - 0*a + u*a, 0 = -4*y + 3*a. Solve y*i = i - 1 for i.
1
Let g(l) = -l**3 + 2*l**2 + 10*l - 8. Let z be g(4). Solve 4*q - 5*q = z for q.
0
Suppose 2*t = 3*t - 4. Suppose 3*i - t*k - 18 = -6*k, -4*i = k - 19. Solve -3*f = -f - i for f.
2
Let a = -1 - -4. Let f(r) = -r + 2. Let w be f(2). Solve v + a = -w for v.
-3
Suppose 0 = -5*u + 4*u. Suppose 0 = 3*t - i - 27, 5 = -3*t - 5*i + 50. Solve 0 = 2*c - u*c + t for c.
-5
Let u(i) be the second derivative of i**4/12 + i**3/3 + i**2/2 + 3*i. Let a be u(-3). Solve -6 = -a*z + 2 for z.
2
Let k(o) = -o**3 - 3*o**2 + 5*o + 4. Let x be k(-4). Suppose -p - 4 + 1 = x. Let f be (0 + 3 + p)/2. Solve f = -3*w + w - 2 for w.
-1
Let a(w) = -w - 4. Let k be a(-9). Suppose -5*v - k*n + 35 = 0, -4*v - 2*n + 27 = n. Solve 5*y - 9 = v for y.
3
Suppose -v = v - 4. Solve v*g = g - 4 for g.
-4
Let o be -2 - 2 - (-4 + 2). Let l = o - -4. Solve -3*p = -l*p + 2 for p.
-2
Suppose g = -4 + 9. Suppose -3*y = 2*m - 4 - 5, -4*y = m - 12. Solve m*h + g*h = -5 for h.
-1
Let p = 5 + -5. Suppose -2*l + 4*i = 6, 5*l = -p*i - 5*i + 45. Solve g - 8 = l*g for g.
-2
Suppose -2*t + 7 + 3 = 0. Let r be 6/(-4)*(-30)/t. Solve -4*w + 7 = -r for w.
4
Let a = -2 + 5. Suppose 2*x - 12 = 4*l, -5*x + 4*l + a = 3*l. Suppose x*g = 2*g - 4. Solve -7*q = -g*q + 25 for q.
-5
Let u = 18 - 18. Solve 2 = 2*m - u*m for m.
1
Suppose -p + 0*p = 0. Solve p = -0*c + 2*c for c.
0
Suppose -3*m + 43 = 2*x, -3*x + x + 44 = 4*m. Suppose 0 = -2*i + 6*i - x. Solve -4*l = -5*l - i for l.
-5
Let h be 2*1*9/(-6). Let n = h - -3. Solve 0 = b - n - 1 for b.
1
Let z(b) = -b**2 - 6*b - 6. Let u be z(-4). Let k = 5 + u. Let y = k + -3. Solve 10 = t + y*t for t.
2
Suppose -2*y - 2*y = -s - 15, -3*s = -5*y + 10. Solve 5*r - y = -0 for r.
1
Let c = -107 + 107. Solve c = -2*z + 3 - 13 for z.
-5
Suppose r + 16 = -w, 4*w + 5*r = 9*w + 30. Suppose 0 = -3*o + o + 32. Let j = o + w. Solve j*z = 1 + 4 for z.
1
Let a(q) = q**2 - 3*q - 2. Let g(i) = i. Let k(c) = a(c) + 4*g(c). Let j be k(-2). Suppose -2*l - 2 = 0, -5*v - 5*l = -j*l - 15. Solve 0 = -0*b + v*b - 4 for b.
1
Suppose -3*s + c + 14 = 0, 3*s - 4*c = -7*c + 6. Let y be 2/(-8) + (-5)/(-4). So