Let a(d) = -d**3 + 14*d**2 + 17*d - 24. Let k be a(y). Solve 2*c = k*c for c.
0
Suppose -3*b = -k + 112, 2*b + 3*k + 86 = -2*k. Let t = b + 40. Solve -t*g - 7 = -15 for g.
4
Suppose -1 + 5 = 2*z. Let l be -1 + (-4)/(-2) + 23. Suppose 4*o - 4*a = -9*a + l, -3*a + 17 = 5*o. Solve u + z = -o for u.
-3
Suppose 2*x = 36 - 20. Solve 0 = -x*o + 3 + 37 for o.
5
Let y(f) = -2*f + 58. Suppose -4*o - 52 = -164. Let m be y(o). Solve -m + 8 = -2*b for b.
-3
Suppose 0 = 3*w - b - 9, -6*b = -4*b + 6. Solve -10 - w = -4*g for g.
3
Suppose 4*m + 2*d - 4*d = 22, 4*d = -m - 8. Let u be (-1)/m - (-99)/12. Let j be (-2)/7 + (-60)/(-14). Solve -3*z = -j - u for z.
4
Suppose -55*s + 90 = -20. Solve 11*k + 18 = s*k for k.
-2
Let d = 6 + -4. Suppose -3*p = a - 19, -p - 1 = -3*a + 6. Suppose 0 = -p*g + d + 18. Solve -g*s = -5*s - 2 for s.
-2
Let o = -21 + 22. Let r(l) = l**2 + l + 11. Let y be r(0). Suppose -t + y = -o. Solve -t = p - 4*p for p.
4
Let w be 3 - (-3)/(-6)*6. Suppose -25*d + 20*d + 45 = w. Suppose 3 = -3*v + d. Solve -v*r + 10 = -0*r for r.
5
Suppose s + 2*n = -28, 2*n - 132 = 4*s - 0*n. Let t = s - -36. Solve -t - 1 = m for m.
-5
Let z(t) = -t**3 + 13*t**2 - 2*t - 1. Let m be z(13). Let o = -12 - m. Solve 4*g + o = -g for g.
-3
Let m be (4 + -11)*(-2)/7. Suppose o - 4*v = -17, 2*o - 8 - 3 = -v. Let k(x) = -x**3 + 4*x**2 + x. Let n be k(o). Solve m*a = -a + n for a.
4
Let k(h) be the second derivative of h**3/6 + h**2/2 - 2*h. Suppose 3*z = 2*z + 2. Let r be k(z). Solve -r*d + 5*d = -10 for d.
-5
Let l = 26 + -24. Suppose p = -l*p. Solve 3 = -p*r - 3*r for r.
-1
Let o(f) = f**2 + 8*f - 5. Let d be o(-9). Suppose -d*n = -n. Let l be n/(-3)*(3 + -2). Solve k = -1 - l for k.
-1
Suppose 3*n = -5*y + 35, -2*y + 26 + 14 = -4*n. Let l be ((-8)/y)/((-8)/(-20)). Let c be -6 - 16/(-4) - l. Solve i - 4*i - 12 = c for i.
-4
Let u(f) = 8*f - 234. Let c be u(30). Let k(h) = h**2. Let x be k(-1). Let i be ((-27)/(-3) - x) + 2. Solve c*o - i = o for o.
2
Suppose 28 = 7*n - 0. Suppose j + 6 = n*j. Solve 3*u - j - 1 = 0 for u.
1
Let c(m) = m**3 - 27*m**2 + 47*m + 79. Let r be c(25). Solve -r*h + 7*h = -6 for h.
-2
Let i = -29 - -17. Let y(c) = c**2 + 12*c + 4. Let b be y(i). Solve -b = 2*m - 2 for m.
-1
Let n be (-7)/(70/(-12))*(-10)/(-4). Solve -10 - 5 = n*u for u.
-5
Let p be -7*1 - (8 + -11) - -15. Suppose p = 2*r - 3. Solve -2 = 5*f - r for f.
1
Let h be (-8540)/(-490) - ((-6)/(-14) - 1). Solve -l + h = 17 for l.
1
Suppose 3*t + 4*k - 43 = -0*t, 0 = 4*t + 2*k - 54. Let o = -14 + 4. Let z = o + t. Solve v = z*v - 4 for v.
2
Let c = -1646 - -1653. Solve 3*f - c*f = 8 for f.
-2
Let j(x) = x**3 + 30*x**2 - 100*x + 13. Let n be j(-33). Solve 0 = -5*t - 26 + n for t.
4
Suppose 0 = z + 4*z + 2*d - 9, -4*d - 18 = -2*z. Suppose 0 = g - 4*g. Solve g = -0*m - z*m for m.
0
Let b(h) = h**2 + 9*h + 8. Let l be b(-8). Let p(w) = w**2 - 3 - 18*w + 0*w**2 + 20*w. Let d be p(-3). Solve -k + l*k = d for k.
0
Let r be 11 - (-35)/(-3 + -4). Solve -r = 4*l - 6*l for l.
3
Suppose 14 = 4*n + 54. Suppose -58 = 5*b + 42. Let r = n - b. Solve r = -t - t for t.
-5
Suppose 0 = g, -110*z - 5*g + 36 = -107*z. Solve -z = 2*i - 6*i for i.
3
Suppose t + 7 = 4. Let b = 8 + t. Suppose -3*s + 10 = 2*s. Solve -s*a = -b*a for a.
0
Let p be (3 - 7)/((-6)/(-21)). Let g = 13 + p. Let z be -1*(0 - (-3)/g). Solve v = 5 - z for v.
2
Let c be (15/6)/(20/16). Let p be 1 - 1*(c + -1). Solve -3*b + p = 3 for b.
-1
Suppose -2*p - 2*u = -10, 0 = -2*p - u + 3*u + 2. Suppose 3*v - 8*v = -10. Suppose -v*o = p*o. Solve 3*w + 8 + 1 = o for w.
-3
Let n be (-100)/(-60)*(-12)/(-10). Solve 4 + 4 = -n*m for m.
-4
Suppose 5*h = -15, -3*t = 2*t + h - 22. Suppose -t*n - 4*p = -8, 2*p = 3*n - 0 - 18. Solve -n*w = 14 - 2 for w.
-3
Let b = 0 + 3. Suppose 0 = -b*o + 4*d + 31, o - 5*d = -o + 30. Suppose -5*p - 3*k = -0*k - 59, p + 3*k - 19 = 0. Solve -3*i - p = o for i.
-5
Suppose 26 = 2*d + 4*w, 15 = 12*w - 9*w. Solve 3 = d*z - 3 for z.
2
Suppose 3*d - 14 + 5 = 0. Suppose -f - k = 0, 3*f + 2*k + 20 = d*k. Let j = f + 30. Solve -a + j = -6*a for a.
-5
Let y = -23 + 18. Let a = y - -13. Suppose 0 = -a*d + 3*d + 25. Solve -3*w + d*w = 0 for w.
0
Let g(o) = 30*o**3 + 2*o**2 - o - 1. Let r be g(1). Solve -r = -2*j - 32 for j.
-1
Suppose -4*j + 16 = 0, -2*g + 2*j + 43 + 33 = 0. Solve -12*y + g = 9*y for y.
2
Let i(y) = -2*y - 10. Let v be i(-12). Suppose -v*g + 9*g + 10 = 0. Solve 0*p + 8 = -g*p for p.
-4
Let b(c) = -29*c + 36*c - 5 + 3 - c**2. Let t be b(3). Solve t - 2 = 2*w for w.
4
Suppose 0 = -3*a + 5*i + 80, 5*a + 74*i - 78*i - 129 = 0. Let k be (-18)/(-4) + (-1)/(-2). Solve k*j = -0*j + a for j.
5
Suppose -29*a - 5 = -30*a. Solve 14*s - 15*s + a = 0 for s.
5
Let y(k) = k**3 + 8*k**2 + 5*k - 9. Suppose 5*l = -3*o + 8, -4*l - o - 4 = 4*o. Suppose 0*v - 28 = l*v. Let n be y(v). Solve -n*j = -j for j.
0
Let t(z) = -7*z + 27. Let p be t(4). Let y(b) = -7*b**3 - b**2 - b. Let h be y(p). Solve 0 = -5*d + h*d for d.
0
Suppose -10*w = -15*w, 4*w = -5*m + 125. Solve g = -4*g - m for g.
-5
Suppose 237*j = 238*j - 4. Solve z - j = 2*z for z.
-4
Let g be (-1)/(-6) - 139/6. Let f = -15 - g. Solve o = -f + 3 for o.
-5
Let f = -558 - -566. Solve 15 = -5*z + f*z for z.
5
Let w(r) = 9*r + 3. Let h(t) = -8*t - 3. Let z(j) = 5*h(j) + 4*w(j). Let l be z(4). Let x = 19 + l. Solve x = k + k for k.
0
Let y = 258 - 248. Solve 5*b + 0 = y for b.
2
Let m = 37 - 34. Suppose -6*w = -5*w - m. Solve 0 = -w*p + 2*p - 3 for p.
-3
Let j(r) = -9*r**2 + 81*r + 17. Let l be j(9). Solve 19*g - l*g - 6 = 0 for g.
3
Let j(n) = 12*n - 476. Let d be j(42). Solve -12*h = 2*h - d for h.
2
Let n = 93 + -61. Let o = 36 - n. Solve 2 = -2*r + o for r.
1
Let q(r) = r**3 + 21*r**2 - 25*r - 58. Let y be q(-22). Solve 3*z = y*z - 5 for z.
1
Let x(c) = -2*c**3 + 7*c**2 - 2*c - 4. Let r be x(2). Solve -r*s - 6 = -10 for s.
1
Suppose -u + 22 = -3*k + u, 3*u + 2 = k. Let w = k - -7. Let f(v) = v**3 + 2*v**2 - 4*v + 1. Let i be f(w). Solve -i*a - 13 - 3 = 0 for a.
-4
Suppose s + 4*s + 1 = 2*k, -2*k = 5*s - 11. Suppose 3*g = -a, g = -0*g. Suppose a*z = 4*z - 32. Solve 7 = k*b - z for b.
5
Let j(y) = y**2 - 23*y + 44. Let p be j(21). Solve -p*w = 3*w + 20 for w.
-4
Let u(f) = f - 18. Let m be u(23). Solve -9 = m*o - 34 for o.
5
Suppose -6*z = -2*z + 44. Let m = z - -24. Let c = m - 9. Solve -14 = -c*w - 6 for w.
2
Let j be 1*(2 + 0)*2. Let y(l) = -l**2 - 6*l + 15. Let w be y(-7). Let p(v) = 2*v + 10. Let h be p(-5). Solve -j*q - w = -h*q for q.
-2
Suppose -27*w + 32 = -23*w - 5*r, 0 = w + 5*r + 17. Solve 4*s + w*s = -28 for s.
-4
Let f(n) = -2*n + 6. Let b be f(-6). Suppose -v = v + 10, -2*j + b = -2*v. Suppose 5 = j*x - 7. Solve -x = -5*l - 8 for l.
-1
Let m = -709 + 703. Let d(b) = 9*b + 19. Let i(k) = 10*k + 20. Let a(x) = -3*d(x) + 2*i(x). Let v be a(m). Solve f + 4*f = v for f.
5
Suppose 0 = -3*j + 7*j - 12. Suppose -j*w + 4*i = 17, -3*w + i + 1 = 3. Solve -w = -d - 6 for d.
-5
Let o(n) = 465*n**2 - 16 - 461*n**2 + 9*n + 0*n**3 - n**3. Let r be o(5). Solve 2*u = r*u - 4 for u.
2
Let u be 4/6 + (-64)/(-12). Suppose 4*s + 3*a - u = -1, -a = -5*s + 30. Solve 0 = -j - s + 2 for j.
-3
Let v = 209 + -207. Solve 0 = -2*f + f - v for f.
-2
Let u = -7 + 2. Let m(x) = -x - 3. Let a be m(u). Solve -w + a*w = 4 for w.
4
Let r = -24 + 1. Let x = -18 - r. Solve -x*j + 6 - 1 = 0 for j.
1
Let s be (2 - 3)/((-2)/10). Let r be 1/(-4) - ((-60)/(-16) - 4). Suppose -4*l + 33 = -5*c, 0*l + l = -5*c - 23. Solve r = -7*o + l*o + s for o.
1
Let d = -61 + 58. Let t be 1 + d/2 - 55/(-10). Solve 0 = 2*a - 13 + t for a.
4
Let p(d) = 2*d**2 + 39*d - 42. Let s be p(-22). Solve -13*u + s = -30*u for u.
-4
Let q be 171/21 - 8 - (-27)/7. Solve 0 = -q*h - 2*h + 6 for h.
1
Let x(s) = 8*s**2 + 2*s + 2. Let f be x(-1). Suppose -24*t = -23*t - f. Solve 20 = -t*z + 3*z for z.
-4
Suppose -4*c + g + 3 = 0, -9*g = -5*c - 4*g. Solve c + 2 = -p for p.
-3
Let l(k) = -k**3 + 8*k**2 - 8*k. Let j be l(7). Let o(t) = t**3 + 8*t**2 + 6*t + 6. Let a be o(j). Let s = 8 + a. Solve -4*m = -1 + s for m.
-5
Let x(n) = -2*n - 4. Let j be x(-3). Let r(k) = -k + 8. Let y be r(7). Let l(i) = i**3 - 4*i**2 - 3*i - 7. Let q be l(5). Solve -y = -j*m + q for m.
2
Let g = 732 + -732. Solve -13*w + 19*w - 24 = g for w.
4
Let k(f) be the second deri