) be the third derivative of -c**4/12 - 7*c**3/3 + 11*c**2. Let h be d(-7). Suppose -3*g - 15 = -2*u, -3*g = -4*u + 6*u + 3. Solve u*v + v + 8 = h for v.
-2
Suppose -15716*w + 28 = -15712*w. Solve -34*i - w + 7 = 0 for i.
0
Let t be 9 - (1/(-4) + 357/84). Suppose 4*w = p + 19, -t*w + 3*p = -12 - 10. Solve 4 = -w*m - 16 for m.
-4
Let s(q) = -q**3 - 14*q**2 - 13*q + 23. Let r be s(-13). Let d(x) = -x**2 + 24*x - 16. Let p be d(r). Suppose -p*n + 4 = -24. Solve n*z - 3*z = -1 for z.
-1
Let t = 7 - 4. Suppose -t*v - v = 0. Let q be (-6)/8*240/(-90). Solve v*m - 2*m = q for m.
-1
Let z = -1641 - -1681. Solve -27*r + z + 14 = 0 for r.
2
Let l(m) = -5*m**3 + m**2 + 7*m + 10. Let g be l(-3). Let s = g + -132. Solve 17 = 4*n + s for n.
4
Let k = 598 - 535. Solve -14 = -k*i + 49 for i.
1
Let w be (81/(-54))/(6/(-32) - 0). Suppose -s - 7 = -t, -2*s - w = -0*s. Suppose -v + 17 - 7 = 2*p, t*p = -v + 12. Solve v*g - g + 5 = 0 for g.
-1
Let c = 260 - 146. Let k = 131 - c. Solve -4*v + 5 = k for v.
-3
Let i = 96 + -68. Suppose 2*t - b = 22, -9*t + 5*b = -7*t - 62. Solve t*u = -22 + i for u.
1
Let b(v) be the first derivative of -v**2 - 27*v - 14. Let k be b(-14). Let f be 3/k - (4 - 3). Solve -f*u = -3*u + 4 for u.
4
Let t = -4916 + 4921. Solve q - t*q = -q for q.
0
Let g be (-39 + 27)*6*-1. Suppose 26*x + g = 32*x. Solve -4*a = -a - x for a.
4
Suppose 0 = -3*w + 4*j - 598, 108*w - 103*w - 3*j = -993. Let l = 199 + w. Solve -l = -3*g + 5 for g.
2
Let a = -200 - -139. Let d = -28 + a. Let c = -87 - d. Solve 2 = -c*p + 4 for p.
1
Let x = -479 - -488. Let z(l) = 0*l + 7*l - 49 - 5. Let w be z(x). Solve -3*m - w = -6*m for m.
3
Suppose -9 = -4*v + v. Suppose -5*n = -5*c + 15, 0 = -4*c + n + 94 - 73. Suppose -5 = 2*x - 23. Solve v*d - x = c*d for d.
-3
Let g be ((-55)/(-15) + -4)/(1/(-12)). Let t be (-9)/(-36) - (-63)/g. Let v be 25/8 + (-2)/t. Solve 0 = 5*c - 2*c - v for c.
1
Let j be 258/(-9)*(-36)/96*4. Suppose 42*t + 3 = j*t, 42 = 3*p - 3*t. Solve p = -5*f - 8 for f.
-5
Let z = 11781 - 11760. Solve 30*p = 37*p + z for p.
-3
Suppose 5*p = 93 + 52. Suppose 8*s + 5 - p = 0. Suppose -5*h - s + 13 = 0. Solve j = 3*j - h for j.
1
Suppose 0*m = -6*m + 24. Suppose 2*a = 2*t + m, -2*t + 6*t = 0. Suppose -25 = -5*l, l = -h + a*l + 4. Solve -7*q = -4*q - h for q.
3
Suppose 9*w + 233 + 298 = 0. Let b = w + 64. Solve 5*o + b = 10 for o.
1
Suppose 6*p - 872 = -3866. Let j = p - -501. Solve j*s - 3*s = 8*s for s.
0
Let u be ((-60)/70)/((-3)/14). Suppose 0 = 4*y + 16, 7*y - 6*y + 24 = u*n. Solve -n*x = 12 + 8 for x.
-4
Let p = -39 + 39. Let t be (-79 - -77)*(1 - 9 - p). Solve 0 = -v - 13 + t for v.
3
Let s(r) = r**2 - r - 1. Let a(d) = 8*d - 21. Let y be a(3). Let f be s(y). Suppose -f*c + c = -c. Solve i = -c + 2 for i.
2
Let r(c) = c**3 - 6*c**2 + 18*c - 62. Let o be r(5). Suppose 2*p = s + 8, -2*s - o*s - 3*p = -12. Solve s = 2*z - 21 + 13 for z.
4
Let b be 13/8 - (44/(-32) + 1). Suppose -o + b*u + 21 = u, 3*o + u = 43. Solve 2*z + 2*z + o = 0 for z.
-4
Let t(y) = -y - 1. Let b be t(-10). Let a be (4 - 8) + b/1. Suppose 2*m + 6 = c, -a*m = c - 5*c + 15. Solve c = 5*r - 7 - 8 for r.
3
Suppose -3*o - 4 = 5*d - 10, -5*o + 10 = -2*d. Suppose -2*b = -t - 22, -t = -3*b + 56 - 24. Solve 5*x + d*x - b = 0 for x.
2
Suppose -183*h - 12 = -180*h. Let n = 8 - 5. Let o be (8*n/18)/(h/(-6)). Solve 0*w + 8 = o*w for w.
4
Let f = -17894 - -17898. Solve -221 = 31*o - f for o.
-7
Let k = -268 - -317. Let y be (-50 + k)/((-1)/21). Solve 17*q - 20 = y*q for q.
-5
Let u(t) = -23*t - 181. Suppose 0 = -16*z + 12 - 140. Let r be u(z). Solve -r = 2*w + 3 for w.
-3
Let d(m) = 5*m**2 + 40*m + 3. Let j be d(-8). Suppose 9 = -0*k + j*k. Solve -k*b = -6 - 6 for b.
4
Let q be 19 - 21 - (-6)/1. Let y = 20 - 18. Suppose -y*w = -i - 1, -i = -3*w + q - 0. Solve 4*t + i = -3 for t.
-2
Let u be 14 + ((-6)/(-36)*0 - 48/6). Solve u*q = 203 - 251 for q.
-8
Suppose 881 = 18*s + 1704 - 877. Suppose 0 = 5*i - 0*i. Solve -s*n = -n - i*n for n.
0
Suppose -2*u + 20 = -2*l, 0 = -8*u + 3*u - 3*l + 34. Suppose 26*a - u*a = 7*a. Solve 5*q + a - 15 = 0 for q.
3
Suppose -35*h - 88*h + 3822 = -21270. Solve -121*u - h = -87*u for u.
-6
Suppose -23*d + 22 = -35 - 104. Solve -d*s = -s - 24 for s.
4
Suppose -71*v + 41*v + 1890 = 24*v. Solve v*x = 38*x + 18 for x.
-6
Suppose 12*m + 315 = 33*m. Suppose -26*h + 205 = m*h. Solve h*i - 2 - 3 = 0 for i.
1
Suppose 445*m - 450*m + 2078 = p, -2*p + 1660 = 4*m. Solve 14*y + 38*y + m = 0 for y.
-8
Suppose -9 = -3*j, 0*s = -2*s + 3*j + 995. Suppose 0 = 66*z + 172 - s. Suppose 117 = 5*a + 12. Solve 1 - a = -z*d for d.
4
Let g(y) = -y. Let b(p) = -9*p - 87. Let c(w) = b(w) + 5*g(w). Let r be c(-8). Solve 0 = -0*d - 5*d - r for d.
-5
Let s(l) = -l**2 - 11*l - 1. Let i be s(15). Let k = i + 397. Solve k*n + 19 = -5 for n.
-4
Let n(r) = 93*r - 1189. Let l be n(13). Solve 31*c - 17*c + l*c = 0 for c.
0
Let o(q) = q**3 - 10*q**2 + 12*q + 11. Let j = 61 + -54. Let h be o(j). Let c = -50 - h. Solve -c*x + 1 = -7 for x.
4
Suppose 8*j = 25*j - 2*s - 8, -5*s = j + 20. Suppose -n = -2*c + 6, -4*n - 3*c = -18 - 13. Suppose 0 = -2*i - 0 + n. Solve i = -j*y - y for y.
-2
Suppose 4*q = -4*g + 116, q - 75 = -4*g + 53. Let p(w) = -2*w + 78. Let f be p(g). Solve 5*r - 3 - f = 0 for r.
3
Let d(i) = 292*i - 212. Let n be d(1). Solve -20*t + 36*t - n = 0 for t.
5
Let i(h) = -h**3 + 7*h**2 - 20. Let f be i(5). Solve 60 - f = -6*t for t.
-5
Suppose 7*c + 5*p - 1798 = 5*c, -p = -2. Solve c*f + 20 = 898*f for f.
5
Suppose 8*y + 92 = 12*y - 60. Solve 30*o = 11*o - y for o.
-2
Let k be -5*20/150 + (-14)/6. Let a be 12 - (-7 + k*6/(-9)). Solve 5*l - a = -2 for l.
3
Let g be ((-6 + -2)/16)/((-1)/4). Let h be (-8)/48*g*(-15)/1. Solve -17 - 8 = -h*b for b.
5
Let m(z) = -z**2 + 10*z + 3. Suppose 7*x - 53 = -4*c + 2*x, -55 = -5*c - 4*x. Let o be m(c). Let u = -21 + o. Solve -u*s + 7 = -8 for s.
5
Suppose -3*s + 8*d - 3*d = -37, -5*s - 2*d + 103 = 0. Suppose 0*i = -2*i - 5*j - 21, -3*i = 5*j + s. Let h be 12 - 5/i*24/30. Solve -n - 4*n + h = 0 for n.
2
Suppose -5*d - 2*x - 9 = -6*d, -22 = -4*d + x. Suppose -2*b + 0 + 8 = 0. Suppose d = -b*o - o, 0 = 5*r - o - 31. Solve 0*u = 2*u - r for u.
3
Let f = 183 - 494. Let h = 316 + f. Solve h*o - 13 = -28 for o.
-3
Let q(i) = i**3 + 23*i**2 + 4*i - 458. Let f be q(-21). Solve -367 = -9*o - f for o.
3
Suppose 2*r - x - 69 = 58, 4*x = 5*r - 316. Suppose 0*k - r = -2*k. Suppose -6*b + k = 2*b. Solve b*i = 2*i + 8 for i.
4
Suppose 6 = 4*v - d, -405*v + 403*v + 2*d = 0. Solve 6*p = v*p + 20 for p.
5
Suppose -264 = b + 2*b. Let j = -46 - b. Let g = 45 - j. Solve -1 - g = c for c.
-4
Let t(g) be the first derivative of g**4/4 + 4*g**3/3 - 9*g**2/2 - 14*g - 1. Let r = 3796 - 3801. Let c be t(r). Solve c*b = b for b.
0
Suppose -19*o = -20*o - l + 19, -5*l = 4*o - 79. Solve 3*s = s + o*s for s.
0
Let f(z) = z**3 - 10*z**2 + 31*z - 53. Let r be f(7). Solve 12*m - 7 = r for m.
2
Let a = -107 - -107. Suppose 5*y - 11 + 16 = a. Let p be (4/y)/(2 + -3). Solve 0 = t - 0 + p for t.
-4
Let i = -23329 + 23342. Solve -i*h - 179 = -166 for h.
-1
Suppose i + 78 = 2*n + 6, 3*n = 4*i + 268. Let z = i - -64. Solve z = -0*y - 5*y for y.
0
Let b(m) = -7*m - 58. Let c be b(-14). Let x = -38 + c. Suppose 38 = 4*n + 2*q, -4*n + x*q + 29 = q. Solve 0 = -3*y - y + n for y.
2
Let q be 2/(-6)*9774/(-18). Let v = -174 + q. Solve -v*c = -0 + 21 for c.
-3
Suppose a = 2*g + 42, -g + 0*g - 10 = 5*a. Let c(w) = -19*w**2 - w**3 - 14*w - 2*w**2 + w - 7*w + 0*w. Let b be c(g). Solve b = d - 4*d - 12 for d.
-4
Let c be ((-2)/(-6))/((-25)/75) - (35 + -36). Let u be 9/12*(4 + 0). Suppose -2*n - u*n = 0. Solve l + n - 1 = c for l.
1
Suppose 0 = -4*o + 35 - 15. Suppose -4*w = -3*y + o*y - 14, 4*y - 5*w = 2. Solve -y = -t - 5 for t.
-2
Let a = -6024 - -6231. Solve -a = -11*l - 152 for l.
5
Let v(b) = 3*b - 2. Let j be v(4). Let k(w) = 53*w + 2282. Let t be k(-43). Solve -t*u + j = 22 for u.
-4
Suppose -c - 17 = -6*c - 2*h, 0 = c - 3*h. Suppose -c*y = 8*y - 12*y. Solve y = i - 9*i + 8 for i.
1
Let o(h) = -2*h**3 + 29*h**2 + 14*h + 11. Let m be o(15). Let f be (m/7)/((-18)/84)*3. Solve -s = 3*s + f for s.
-2
Suppose 5*j - 2*a - 145 = 0, 17 = j + 2*a - 0. Let g = 5300 - 5295. Suppose 2*b - 3 - 6 = u, g*b = 4*u + j. Solve 8 = t + 