. Let j(s) = 3*c(s) + u(s). Let h be j(7). Suppose -4 = y - h. Solve -7*w - 4 = -y*w for w.
-1
Let i(h) be the second derivative of h**4/12 + 2*h**3/3 - 5*h**2/2 - 7*h. Let u be i(-5). Solve u = o + o + 4 for o.
-2
Let o(s) = s - 3. Let y(w) = -w**2 - 14*w + 7. Let d be y(-14). Let t be o(d). Let b = -17 - -22. Solve -b = x + t*x for x.
-1
Suppose -2*z = 120 - 140. Solve -z + 9 = t for t.
-1
Let b = -177 + 179. Solve -w - 1 = b for w.
-3
Let s be ((-10)/(-6))/((-1)/(-6)). Let o(n) = 2*n - 3. Let f be o(3). Let l be (-32)/6*f/(-2). Solve 3*b - s = l*b for b.
-2
Let v = 158 - 150. Solve -6 + v = -2*u for u.
-1
Let k = 59 - 4. Suppose 0 = -a - 53 + k. Solve -5*n - a = 3 for n.
-1
Suppose 2*i + 3*i = -t + 25, -i = 2*t - 14. Suppose -2*x = -w - 43, -t*x - w + 2*w = -103. Suppose -m = -0 - 4. Solve -g - m*g = x for g.
-4
Let p(b) = -b**3 + 13*b**2 - 22*b. Let i be p(11). Solve 12*x - 2*x - 10 = i for x.
1
Let x = 74 + -74. Suppose 6*j = -x*j + 30. Solve j*b + 0 - 10 = 0 for b.
2
Let t be 1 + 3 + (-1 - 0). Suppose t*y = 4*i + 3, -y + 2 = -4*i + y. Solve 6 = -3*u - i*u for u.
-2
Suppose 3*v + 15 = k, -2*k - 2*v - 2 = -0*v. Suppose -k*o + 3*b = -0*o - 30, 2*b = -5*o + 15. Suppose 3*p - o - 1 = 0. Solve -3*a = -p*a for a.
0
Let z(p) = p**3 + 5*p**2 + 3*p + 3. Let v = 2 + -6. Let u be z(v). Suppose 0 = -c - 2 + u. Solve -c*l = -0*l for l.
0
Let d(x) = -x + 4. Let p be d(3). Let w be p/4 + (-4)/16. Solve 2*l + 10 = -w*l for l.
-5
Let i(v) be the second derivative of v**5/20 + v**4/4 + 2*v**3/3 + 7*v**2/2 + 6*v. Let f be i(-3). Let k be f*(6/(-15) + 0). Solve -k = -u + 2 for u.
4
Let q(r) = -r**3 - 7*r**2 + 3. Let u be q(-7). Suppose -4*w + u = -9. Suppose -n - 4 = -2*v, w*n - 4*v + 28 = 6*n. Solve 0*i = -n*i for i.
0
Let m(y) = y**3 + 7*y**2 + 6*y + 1. Let a be (-6)/(-4)*(0 - 4). Let d be m(a). Suppose -x = 5*r + 14, 5*x + 5*r + 9 + d = 0. Solve -3*w + x + 11 = 0 for w.
4
Let h(k) = -k**2 + 8*k + 27. Let r be h(10). Solve -5*w = -r*w - 0*w for w.
0
Suppose -3*g + 5*g = -6. Let p be (-3)/((-3)/g) - (-7 + -1). Solve 15 = 5*u - p for u.
4
Suppose -8 = -u + 4. Solve u = -5*x + 2 for x.
-2
Let c = 2938 - 2938. Solve c*t - 4*t = -12 for t.
3
Let z(y) = 10*y. Suppose -5 - 11 = -8*u. Let t be z(u). Solve -3*v = 5 - t for v.
5
Let s(y) = -y - 3. Let u be s(9). Let c be 17 - (75/(-21) - 8/(-14)). Let r = u + c. Solve -r = 3*b + b for b.
-2
Let r(p) be the second derivative of -p**4/24 + 5*p**3/6 + 5*p**2/2 + p. Let d(l) be the first derivative of r(l). Let v be d(5). Solve -3*u + u + 8 = v for u.
4
Let g(f) = f**3 - 3*f**2 - 5*f + 4. Let i be g(4). Suppose -9*y = -7*y. Suppose u - 4*u = y. Solve u = 2*p - i*p + 2 for p.
-1
Let w(j) = -j**2 - 4*j + 1. Let h be w(-4). Let r(y) = 5*y**2 - 1. Let z be r(h). Solve 0*a = -2*a + z for a.
2
Let b(y) = y**2. Let r(k) = -2*k**2 + 3*k - 6. Let s(z) = -b(z) - r(z). Let w be s(2). Solve 0 = -w*n - 3 - 5 for n.
-2
Let y(z) = -89*z. Let h be y(0). Solve 35 = -7*o - h*o for o.
-5
Let x(c) = c**3 + 4*c**2 - c - 4. Let v be x(-4). Suppose -2*p + 10*p = v. Solve p = 5*m - 7 + 2 for m.
1
Let z = -46 - -48. Suppose 6*v = 2*v - 5*d + z, d + 14 = 4*v. Solve -5 = 4*x - v*x for x.
-5
Let i = 22 + -25. Let h be 1 + -2 - 12/i. Let w = 11 - 5. Solve 0 = -h*v + v - w for v.
-3
Let t(r) = -r**3 + 3*r**2 + 4*r - 8. Let p be t(3). Suppose 6*d - 2*d = 80. Let v = 17 - 17. Solve p*k - d = -v*k for k.
5
Let s = 130 + -185. Let j = s + 62. Solve j = 3*b - 5 for b.
4
Let u be (-150)/(-42) - (-8)/(-14). Solve 0 = -u*v + 13*v - 50 for v.
5
Let v be 3 + (3 - 60/9)*-3. Solve 21*h - 28*h = v for h.
-2
Let o be (-1)/((-623)/(-903) + (-4)/6). Let a = o + 43. Solve -l = -a*l + 4 for l.
-4
Suppose -3*a = -a + 5*c + 4, -4*a + 3*c = -18. Suppose 5*g = a*j + 28, -g + j = -0*j - 6. Suppose 0 = l - 3 - g. Solve b + b = -l for b.
-4
Let d be (-12)/(-20) - (-147)/5 - 4. Solve -14 - d = -8*v for v.
5
Let m be (-6 + 120/21)*(0 + -14). Suppose -4 = 2*j, 2*n + j + m = -3*j. Solve 0 = 2*x + n*x for x.
0
Let l(k) be the third derivative of -k**4/4 - k**3/3 - 3*k**2. Let y be l(-1). Solve 8 = y*x - 0 for x.
2
Let o be (0 - (1 - 0)) + 6. Let j = 518 - 518. Solve -o*q = -j*q + 15 for q.
-3
Suppose k + 4 = 3*m - m, -3*m + 2*k = -6. Solve -d = m*d - 15 for d.
5
Suppose -g - 23 = -4*j, -4*g + 5 - 1 = 0. Solve 10 = j*p - p for p.
2
Let z be 0/(6/(-9)*9/(-3)). Let i be ((-30)/24)/(-5)*(z + 0). Let q = 0 + 2. Solve i = -q*t - t for t.
0
Suppose -9*d - 4*y = -11*d + 22, 3*d + y = -2. Solve -4*u = 19 + d for u.
-5
Suppose 2*k + 0 - 40 = -4*x, -4*k + 8 = -x. Solve 16*z - x*z = 16 for z.
2
Let j(d) = 2*d**3 + 2*d + 5. Suppose 0 = -6*y + 4*y. Let l be j(y). Solve -i + 12 = -l*i for i.
-3
Let v be (-6 - (-3 - 3))/(-2). Solve 4*a - 10*a = v for a.
0
Let t(y) = 42*y**2 + 2*y - 3. Let p be t(1). Let q = 52 - 91. Let b = q + p. Solve 2 = -n - b for n.
-4
Suppose 9*k - 4*k = 0. Let b(o) = o**3 + 6*o**2 - o + 2. Let z be b(-6). Suppose 8*p - 1 = 15. Solve -p*y = -k*y - z for y.
4
Suppose 2*t - 3*t + 2 = 0. Solve 5*x + t = 6*x for x.
2
Suppose o + 3*a = 0, 0 = 2*o - 4*a + 23 + 7. Let h = o + 36. Suppose 0 = -4*j - 4*v + 24 + 12, 0 = 5*j - v - h. Solve 4*m = j*m - 6 for m.
3
Suppose 4*o - 3*j + 9 = 0, 3*o - o + 6 = 2*j. Let p(i) = 7*i + 44. Let m be p(-6). Solve -8 = m*u - o for u.
-4
Let p(u) = 16*u**2 - 24*u - 11 - 4*u**3 + 6*u + 4*u + 3*u**3. Let g be p(15). Solve -2*z + g = -3*z for z.
-4
Suppose -4*x - 1 = -13. Suppose 7 = -x*i - 2*z - 0*z, -7 = -2*i + z. Solve 0 = v - i + 3 for v.
-2
Let s(a) = -a - 19. Let l be s(-9). Let h be -2*1/(-5) + (-46)/l. Solve -j = -0 - h for j.
5
Suppose -23*m = -4*z - 22*m + 133, 148 = 4*z - 4*m. Solve -z*v + 31*v = -3 for v.
3
Let u(p) = p - 1. Let q be u(3). Suppose 14*a - 12 = q. Solve -3*j + a = -2*j for j.
1
Let t = 17 + -12. Suppose -3*c + 2*g - 1 + 19 = 0, -t*c + 30 = -5*g. Let x = 6 - c. Solve x = -3*b + 6*b for b.
0
Suppose -9 = 4*w - 1. Let m(x) = -x**3 - x**2 - 2*x. Let s be m(w). Solve s = 5*f - f for f.
2
Let m(n) = -n**2 + 13*n - 9. Let b be m(12). Suppose b*h + 0*h = 0. Solve t = -h*t for t.
0
Let c(j) = j + 9. Let s be c(-8). Suppose -x + 0 = 2*h - s, 0 = h + 2*x - 2. Solve 2*o = -h*o + 8 for o.
4
Let y be (5/(-1))/(-4 + 2/(-2)). Solve -16 + y = 15*q for q.
-1
Let d(v) = -v**3 + 2*v**2 - 4*v - 3. Let a be d(-1). Let x(u) = -u**3 + u + 3. Let g be x(0). Solve -g*q - a = q for q.
-1
Let x(f) = 2*f - 12. Let v be x(6). Suppose -2*t + 9 = 2*d + 1, 16 = 3*d + 5*t. Solve v = u - d - 3 for u.
5
Let k(n) = -n**2 + n + 5. Let x = -24 - -24. Let b be k(x). Suppose 0 = -o - b*d - 1, -o = 2*o + 2*d - 10. Solve o*l + 5 + 15 = 0 for l.
-5
Let t = 3 + 15. Solve -15*x = -t*x + 6 for x.
2
Let r = 1179 - 1168. Solve -r = -2*i - 13 for i.
-1
Suppose 9*o = 3*o + 12. Suppose -5*r + 3 = -o*r. Solve 3*t - r = 2*t for t.
1
Let q = 19 + -4. Suppose -59 = 4*p - 5*y, p - 5*y + 4 = -22. Let k = p + q. Solve -20 = k*h - 4 for h.
-4
Suppose 20 = -0*w + 4*w. Suppose 2*h + w*h = 14. Solve h*v - 2 = 2 for v.
2
Let w(y) be the third derivative of 11*y**6/120 + y**5/60 - y**3/6 - y**2. Let x be w(-1). Let n = 31 + x. Solve -a - n = 4*a for a.
-4
Let w be 0/(-1)*5/(-15). Suppose h - 2 = -0. Suppose 0*f - f = -h. Solve w = k + f for k.
-2
Let r be (9/(-3))/(12/(-56)). Suppose 0 = -2*t - 8 + r. Solve -t*k + 2*k + 1 = 0 for k.
1
Let h(v) = v**2 - 9*v - 8 + 20 - 9. Let c be h(9). Solve -c*a + 4 = -2 for a.
2
Suppose -3*d + 14 = 2*r - 7*d, 0 = 3*r + 5*d - 10. Suppose r = a - g, -g = -4*a + 2*g + 18. Solve -2 - 4 = -a*q for q.
2
Suppose 3*n - 6 = 2*n. Let p = 1135 + -1133. Solve -4*s - n = -p for s.
-1
Let n(f) = -f**3 - 11*f**2 + f + 11. Let p = 34 + -45. Let b be n(p). Solve b = -k - 2*k + 15 for k.
5
Let z(n) = 2*n**2 + 13*n - 16. Let s(c) = 2*c**2 + 13*c - 15. Let h(v) = -3*s(v) + 4*z(v). Let d be h(-8). Solve -y = -0*y + d for y.
-5
Suppose c + 5*p - 80 = -0*c, 4*c - 408 = 2*p. Let h = c - 97. Solve 2 + h = j for j.
5
Let u = 829 - 827. Solve 0*z = u*z for z.
0
Suppose 6*s - 14 = -8. Let u(q) = -q**2 - 4*q + 10. Let z be u(-5). Solve 0 = 2*p + s + z for p.
-3
Let p = -33 + 35. Suppose p*i - 12 = -2*x, 4*i + i = -4*x + 29. Suppose -i*l + 2*l + 5*q = 1, -5*l = q - 17. Solve l*v - 13 = -1 for v.
4
Let h(z) = 6*z**3 - 4*z**3 - 2 + z**3 - 2*z**3 + 2*z**2 + z. Let w be h(-2). Let y