 -2*(1 + (-4 - -2)). Let h be (k - 2)*(-2)/4. Solve -f - 2 + 4 = h for f.
2
Let w be 1/(3*3/36). Solve 1 = t + w for t.
-3
Let f(d) be the third derivative of d**5/20 + d**4/6 - 2*d**3/3 + 2*d**2. Let z(t) = -t**2. Let x(v) = -f(v) - 2*z(v). Let k be x(-4). Solve n + 0 = -k for n.
-4
Let s = 81 - 56. Suppose -5*j + 37 = g, -2*j + 3*g + s = -0. Let n be 1 - 2/(2 - 0). Solve c + c - j = n for c.
4
Let h(i) = -i**3 + 13*i**2 + 13*i + 18. Let j be h(14). Suppose j*x - 4 = 2*x. Suppose 0 = -2*s + 6*s. Solve s = -3*f + x*f - 1 for f.
-1
Let d(l) = -l**3 + l + 7. Let h = -1 + 5. Suppose 0 = s + h*s. Let b be d(s). Solve 6*y = b*y for y.
0
Let l be (-360)/(-14) + 2/7. Suppose -l = -4*x - 3*b, 2*x = -x - 3*b + 21. Solve 2*q + 1 = -x for q.
-3
Suppose -7*p + 35 = -2*p. Solve 2*f + p = -1 for f.
-4
Let a = -6 + 2. Suppose 3*y - 9 = -0*y, 3*y = -t - 1. Let m be a/t + (-219)/(-15). Solve -2*f + m = f for f.
5
Let q = 8 - 5. Suppose 10 = q*l + 5*b, b - 2 = -2*l + 5*l. Suppose 0 = -4*c - l*c. Solve 4*a - 9 + 1 = c for a.
2
Suppose -4*h - 4*k + 6 = -2*k, 5*h + 2*k = 6. Suppose -4*i + 5*i = h. Solve i = -z + 5 - 3 for z.
2
Suppose 0 = 4*i + i - 5*t, t + 2 = 3*i. Let w be 5 - (4/i + -1). Solve -w*z = z for z.
0
Suppose 0 = -5*z + 4*s + 25 - 6, -2*s = -3*z + 11. Let t(n) = n**3 - 4*n**2 + 5*n - 2. Let v be t(z). Let y be 3 + -3 + v + 2. Solve 4 = c + y for c.
-2
Let m = 11 + -9. Solve 0*r - 2*r - m = 0 for r.
-1
Let c = -17 + 21. Let m be 3/2*4/6. Let i = c - m. Solve -1 - i = q for q.
-4
Suppose -4*q = 4*u - 32, 5*u - 12 = q + 2*u. Solve -q*f + 4*f - 3 = 0 for f.
3
Let v be (-8)/(-20)*(-15)/(-3). Let i = v - 0. Solve -i - 13 = 3*z for z.
-5
Let a(q) = -6*q**3 + 5*q**2 + 4*q - 1. Let n(t) = 7*t**3 - 6*t**2 - 5*t + 1. Let h(y) = 5*a(y) + 4*n(y). Let g be h(-1). Solve -g*p + 4*p + 2 = 0 for p.
-1
Let i(d) = -2*d - 26. Let b be i(-13). Solve b = 4*y - 0 - 8 for y.
2
Let k be (18/(-10))/(-3) + (-504)/(-210). Solve q - k*q = 10 for q.
-5
Suppose -5*v = 5*b - 10, -3*v - 2*b + 0*b = -2. Let z be ((-2)/v)/(1/3). Suppose 6*t - 9 = z*t. Solve 0 = -j - t*j for j.
0
Suppose 0 = 3*y - 8*y + w + 45, w = 0. Suppose -5*k + y = -1. Solve -k = -l + 1 for l.
3
Let h(z) be the second derivative of -z**4/12 - z**3/3 + 5*z. Let k be h(-1). Solve -n + k - 2 = 0 for n.
-1
Let c be 12/(-7)*(-6 + -1). Let r(k) = k**3 + 22*k**2 + 22*k + 26. Let f be r(-21). Solve c = f*z - 3 for z.
3
Let m(i) = 3*i - 1. Let y be m(1). Let s be (-735)/(-27) + y/(-9). Solve s - 7 = 4*d for d.
5
Suppose -6 - 4 = -5*u. Let v be 21/27 + 5/(90/4). Solve 3*r + v = u*r for r.
-1
Let o = 2 - -17. Let k = -17 + o. Solve -m + k = 3 for m.
-1
Let s = -18 + 22. Let j(k) = 11*k**3 + k. Let u be j(-1). Let h be s/14 + u/(-7). Solve 0 = -h*m + 6*m for m.
0
Let b be 10/15 - (-20)/6. Let t(v) = -v + 1. Let h be t(b). Let u = h - -13. Solve 9*g - 4*g - u = 0 for g.
2
Let a be 15/20 - (-85)/4. Let w = 4 + 12. Let m = a - w. Solve 0 = 2*b + 4 + m for b.
-5
Suppose -3*u + 6*u - 9 = 0. Solve 0 = 5*n - u - 2 for n.
1
Suppose 3*j - 15 = 3*o - 0, -3*j + 4*o = -20. Solve -x = -j - 2 for x.
2
Let p(f) = 10*f**3 + 21*f**2 - 2*f - 22. Let b(z) = -7*z**3 - 14*z**2 + z + 15. Let c(k) = 7*b(k) + 5*p(k). Let u be c(-7). Solve l + 3*l - u = 0 for l.
4
Let l be ((1 + -1)*1)/(-2). Suppose l = 3*p + 2*z - 34, 0*z = -2*p - 3*z + 31. Solve v + v = -p for v.
-4
Let v(g) = 3 - g + 0 - 4. Let n be v(-2). Solve -n = 2*x + 7 for x.
-4
Let l(y) = y**3 + 2*y**2 - 5*y - 4. Let t be l(-3). Let i be (-1)/3 + 6/18. Suppose i = 4*v - 6 - 14. Solve t*g = v*g for g.
0
Let u = 27 + -23. Solve 0 = -u*m + 7 + 1 for m.
2
Let q(y) = 3*y - 18. Let l(k) = k - 9. Let p(x) = 7*l(x) - 3*q(x). Let g be p(-7). Solve 0*h = 5*h + g for h.
-1
Let t = -2 + 7. Let k(h) = 8 + h**2 - 3 + h - 5*h. Let p be k(t). Solve p = 4*i + 2 for i.
2
Suppose -104 = 5*a - 2*f, 2*f + 2*f - 54 = 3*a. Suppose -3*v + 2*y + 86 = 0, -123 = -4*v - 0*y + y. Let g = a + v. Solve -5*s + 20 = -g*s for s.
-4
Let d = -41 + 43. Solve -v + d = 7 for v.
-5
Let v(o) = -o**2 + 4*o + 7. Let i be v(5). Suppose -4 = -t - i. Let z be 2/4 - 2/4. Solve m - t = -z for m.
2
Suppose 2*y - 4 + 0 = 0. Let j = -5 + 6. Let d = 1 + j. Solve -d*q = -3*q + y for q.
2
Let x = -4 + 9. Suppose 0 = -3*a - 5*c - 28, 3*a + 0*a = 3*c + 12. Let d be x*3*a/(-3). Solve 0*w = -d*w for w.
0
Suppose 4 = 3*r - 5. Solve -r*w - 8 = -w for w.
-4
Let x = 6 + -9. Let b be (-1 - -2)/(x/(-15)). Suppose 0*l + 3*q = 2*l + 15, -q + b = 4*l. Solve l*o = 4*o - 16 for o.
4
Suppose i = 3*w + 17, -5 = 5*w + 15. Solve -b + i*b = -4 for b.
-1
Suppose 2*n = 3*n. Suppose 4*k - 8 = -n. Suppose g + 4*g - 40 = 0. Solve 0*u + k*u - g = 0 for u.
4
Suppose 4 + 10 = -2*a - 4*f, 5 = -f. Let v = 195 + -115. Suppose a*l = -l + v. Solve 8*h - l = 4*h for h.
5
Let n(h) = h**2 + 8*h + 4. Let x be n(-8). Let u = -10 - -16. Suppose f + f - u = 0. Solve x*o = 7*o - f for o.
1
Let z = 9 + -5. Solve -8 = z*d - 2*d for d.
-4
Let c be (-6)/(-57) + 1985/95. Solve 5*l = 4 + c for l.
5
Let a = 1 + 0. Let y = 17 - 11. Solve -5*b = -a + y for b.
-1
Suppose 5*n - 4*f + 6 = 0, -2*n + 8 + 12 = 4*f. Solve -n*g - 12 = g for g.
-4
Let b = 44 - 38. Solve -2*j + 0*j = -b for j.
3
Let n(t) = -t**3 - 10*t**2 - 7*t + 18. Let i be n(-9). Solve 3*a - 3 - 9 = i for a.
4
Suppose -8 = 5*d - 9*d. Solve d*b + 0 = -4 for b.
-2
Let w be 4/(-10)*(-4 - 1). Let l be 0 + (3 - (w - 2)). Solve 8 = -y + l*y for y.
4
Suppose -3*g + 6 = 3. Suppose 5*a + g - 36 = 0. Suppose 0 = -4*k + a + 1. Solve 8 = k*t + 4 for t.
2
Let u(b) = b**3 - b**2 - 1. Let x be u(2). Suppose 0*m + 4 = 2*f - m, 3*f + x*m - 24 = 0. Solve 0 = -f*t + 8 - 28 for t.
-5
Let r(l) = -7*l - 30. Let u be r(-5). Solve -4*o = o + u for o.
-1
Suppose -3*r = -r. Suppose -3*v + 4*u + 14 = r, -6*v + u = -3*v + 1. Let b be 1 + 6*(-1)/v. Solve j = 2 - b for j.
-2
Suppose 3*b = 38 + 10. Let f = b + -6. Let r(o) = -o**3 + 9*o**2 + 10*o + 10. Let i be r(f). Solve 2*k = 2 - i for k.
-4
Let c = 2 - -5. Solve 4*k = c*k + 3 for k.
-1
Let h(o) = -o**3 - 5*o**2 + 6*o. Suppose -4 = q + 2. Let l be h(q). Solve l*i = -i for i.
0
Let h(u) = -11*u - 1. Let l be h(-1). Let d(t) = -4*t - 1. Let m be d(-1). Suppose m*g - 4 = g. Solve 0*p - g*p - l = 0 for p.
-5
Let m be -1 - (0 + -3 + (-1 - 0)). Solve o = m*o - 10 for o.
5
Let y(h) = -3*h**3 + 2*h**2 + 4*h + 2. Let s be y(-1). Solve 0 = -0*n - n + s for n.
3
Let t = 42 + -40. Solve w - 1 = t for w.
3
Let o = -22 + 32. Solve -3*f = 2*f + o for f.
-2
Let f be 1*4*(2 - -1). Suppose t = 3*t + f. Let x be t/(-30) + (-2)/10. Solve x = -3*c + 8*c + 20 for c.
-4
Let c be 20/2 + (-4 - -2). Solve 6*j - 2*j = -c for j.
-2
Suppose 3*i - 64 = i. Suppose 5*c = i - 92. Let d be (-44)/c - (-2)/(-3). Solve -d*m - 8 = 1 for m.
-3
Let y be (-2 + 15/9)*-6. Let a(p) = -4*p**3 + 2*p**2 + 0*p**2 + 2*p + y*p**3. Let d be a(-2). Solve -4*c - c = -d for c.
4
Suppose -3 = -3*i + 3. Let m be (12/(-14))/(i/(-14)). Let k = m - 4. Solve k = 2*q - 0 for q.
1
Let v = 6 + 3. Solve 4*t - 7 = v for t.
4
Let s = -2 + 4. Suppose 2*a - 4 = s. Let i(z) = -z + 4. Let x be i(2). Solve 5*k - a = x for k.
1
Suppose 10 = -4*p - 3*x, 5*p - 2*p = -x - 10. Let d be (6/p)/(12/(-32)). Solve 2*c - 6 - d = 0 for c.
5
Suppose -4*r - 6 = -6*r. Solve -r*x + 6 = -9 for x.
5
Let c(t) = -31*t - 2. Let o be c(-1). Let v = o - 19. Solve -4*s = -2*s + v for s.
-5
Let p be 2/(-4)*(-1 + -3). Suppose p*g - 8 = -2. Suppose -g*n + 97 = -2*y, 0*y = -n - 2*y + 43. Solve -5*h - n + 15 = 0 for h.
-4
Let t = -13 + 17. Solve 5*v - t = 1 for v.
1
Let p be -3 + (-4)/((-12)/21). Solve 23 = p*d + 3 for d.
5
Suppose 0 = -5*a - 0*a. Let c(t) = -t + 6. Let q(u) = u - 6. Let z(b) = -2*c(b) - 3*q(b). Let s be z(a). Solve s = 2*x + 2 for x.
2
Let q(a) be the third derivative of a**5/30 + a**4/8 - 4*a**2. Let u be q(-2). Solve u*j + 2 - 8 = 0 for j.
3
Suppose 0 = 5*k + 2*n - 20, 0*k + 5*k = 3*n - 5. Solve -2*h = k*h + 8 for h.
-2
Let n = -8 - -11. Let m(h) = h**2 + 4*h. Let a be m(-4). Suppose 2*l + 2*l = a. Solve l*f = n*f for f.
0
Let z be (-4)/(-26) - 2/13. Let k = z - -9. Solve -3 + k = -2*o for o.
-3
Let v(z) = 15*z**3 + z**2 - 1. Let x be v(1). Solve -x = -10*s + 5*s for s.
3
Suppose -w - 3 = -5*l - 12, 5*w - 3*l = 23. Suppose 2*d - 13*d + 22 = 0. Suppose -d*i = -w*i. Solve -2*p - 6 = -i*p