 be the third derivative of u**5/30 + u**4/4 + u**3 + 20*u**2. Let y be d(-2). Solve 3*b = -y*b - 10 for b.
-2
Let x = 58 + -74. Let m = x + 24. Solve i + m = -i for i.
-4
Let c(p) = -2*p - 6. Let g be c(-5). Suppose 0 = -t + 4, -5*t + g + 13 = -u. Let d be (1/(4/8))/1. Solve -u = -5*y + d for y.
1
Let w = -20 - -11. Let x be (6/14)/(w/(-63)). Suppose 0 = -x*i - 5*s + 8, 0 = 5*i + 2*s - 26 - 0. Solve i = -5*r - 14 for r.
-4
Let t = 1 + -133. Let a = t + 133. Solve -2*b + a = -b for b.
1
Suppose 0*s + s + 19 = 3*w, -w - 4*s = -15. Suppose -w*z = -0*z - 175. Solve 6*n - n + z = 0 for n.
-5
Let y(v) = v**3 - 2*v**2 + 11*v - 19. Let p be y(2). Solve -g - p*g = -2*g for g.
0
Suppose 2*n + 4*r - 14 = 0, r - 7 - 4 = -2*n. Suppose 0*c = 5*c - n. Let j = 1 + 1. Solve 3 = j*b + c for b.
1
Let r(b) = b**3 + 4*b**2 - 5*b + 3. Let o be r(-5). Suppose -73 + 25 = -12*s. Solve v - s = o*v for v.
-2
Let s be 4 + 2*1/(-1). Suppose -2*v - 90*b = -85*b - 22, -2*v + 6 = b. Solve -s*j = -v + 5 for j.
-2
Let x(y) = y**2 - 10*y - 36. Let u be x(13). Solve -7 = u*r + 5 for r.
-4
Let j(m) = -m**2 - 13*m + 30. Suppose 0*g - 45 = 3*g. Let l be j(g). Solve -4*d + 4 - 12 = l for d.
-2
Suppose -5*x = 5*q - 15, -2*x + 6 = -x - 2*q. Solve 2*n + x - 10 = 0 for n.
3
Let i be (45 + -65)*(-2)/8. Solve -12 = -i*w + 13 for w.
5
Suppose j + 15 = 2*j. Let w(n) = n**2 - 14*n + 36. Let i be w(11). Suppose -i*u - 4*g = 5, u = 5*u + 5*g + 5. Solve 2*a - j = -u for a.
5
Let i = -12 - -18. Suppose -s - 11 + 15 = 0. Solve x = s*x - i for x.
2
Let q be -1*1*0/(-11 - -7). Solve 4*z = -q*z - 4 for z.
-1
Let l(j) = j**3 + 10*j**2 - j - 85. Let h be l(-9). Solve 0 = -h*k + 10 - 0 for k.
2
Suppose 0 = 7*j + 84 - 98. Solve 3*y - j = 4 for y.
2
Let r = -15 - -18. Let s(w) = -12*w**3 + w**2 - 1. Let y be s(-1). Suppose 5*p = -4*b - 0*b + 16, 0 = -3*p - b + 4. Solve r*x - y = -p*x for x.
4
Let j be (-82)/1107 + 2168/108. Solve j = 6*t - 10 for t.
5
Suppose -62*v + 65*v = -216. Let o be (v/(-3))/(8/4). Suppose 5*k = -3*g + 11, 13 = -k + 5*k + g. Solve -k*t + o = -t for t.
4
Suppose -24 = -j - j. Let f = 30 - j. Suppose 6 - f = -3*x. Solve -1 = -x*r - 13 for r.
-3
Let d be 1/1*8/2. Let c(u) = -u**3 - 36*u**2 + u + 39. Let o be c(-36). Suppose 4*g - d = o*g. Solve g*p - 2 = 14 for p.
4
Suppose 20*x - 130 = 15*x. Let z = x + -21. Solve -z*n + 2 = -3*n for n.
1
Let r be (-3)/((-33)/88) - 2. Solve k + r*k - 3*k = 0 for k.
0
Suppose 44 = 6*f - 16. Suppose f = 4*n + 2. Solve 0 = b - n*b for b.
0
Let l = 297 + -284. Solve -6*x - 28 = -l*x for x.
4
Let y(t) = 5*t**2 + 2*t + 1. Let u be y(-1). Suppose 3*b + 5*b = -32. Let f(k) = k + 5. Let h be f(b). Solve u*g + h = 17 for g.
4
Suppose 0*s + 2*s + 50 = 3*h, 0 = 2*s - 4. Let p = 14 - h. Let l be p/((-6)/(-2 - -5)). Solve -v + 12 = l*v for v.
4
Let w(t) = -10*t - 10. Let m be w(-1). Solve m = 8*g + 6 - 30 for g.
3
Let j = 1479 - 1467. Solve 45 = 3*k - j*k for k.
-5
Suppose 23 = -d + 32. Solve -d = 5*j + 1 for j.
-2
Suppose 4*r - 19 = -3. Suppose a - 3 = j - a, 16 = 4*a. Suppose -3*f = j - 29. Solve r*z - f = -0*z for z.
2
Let s(c) = c**3 + c**2 - 11*c - 7. Let a be s(-3). Solve -a*w = 4 + 12 for w.
-2
Let l be ((-2)/(-3))/(-1 - (-11)/9). Solve -14*z - l = -15*z for z.
3
Let c be (-1174)/(-18) + 2 - 12/54. Let x = c - 62. Solve -3 = -2*s + x for s.
4
Let h = -10 + 14. Suppose h*b - 5*c = 5*b + 33, b - 5*c - 17 = 0. Let o = b - -10. Solve o*q + q - 6 = 0 for q.
2
Let f be 26/16 + 3/8. Suppose 28 = 4*x - 4*i, 7 = -5*x - 5*i + f. Suppose -j = x*j - 80. Solve 0 = 2*z + 2*z - j for z.
5
Let c(n) = -n**3 + 25*n**2 - 25*n + 24. Let u be c(24). Solve 3 = -w - u*w for w.
-3
Let m = 2 - 1. Let z = 2 + m. Suppose -3*x + 20 + 25 = -z*w, 0 = -x + 5*w + 15. Solve j = -4*j + x for j.
3
Let d(g) = 2*g + 18. Let c be d(-7). Suppose 4 = -4*w + c. Let h = -7 + 27. Solve w = -2*n - 2*n - h for n.
-5
Let g be (-17 + 14)/((-9)/12). Solve 0*n + g*n = 8 for n.
2
Suppose 4*w - 18 = 2. Let o(s) = -14*s - 24. Let z be o(-2). Solve 3 + w = z*k for k.
2
Let n(s) = s**2 + 5*s + 4. Let x(f) = -4*f + 3. Let i be x(2). Let c be n(i). Suppose 0 = -3*d - 6*g + c*g + 3, g = 2*d - 9. Solve -5*q + 2 = -d for q.
1
Let h = 1490 - 1487. Solve 6 = -h*t + 12 for t.
2
Let u be (4 + -7)*6*2/(-6). Solve u*p = 10*p - 20 for p.
5
Let r = -75 - -75. Suppose -6*d - 3*v - 4 = -5*d, -4*v - 12 = r. Solve 0 = -d*b + 1 - 6 for b.
-1
Suppose 2*m + 20 = 7*m. Suppose m*n + n - 20 = 0. Suppose -2*b = -n*b. Solve v + 3*v + 20 = b for v.
-5
Let y = 1130 - 1121. Solve -1 - y = 5*h for h.
-2
Suppose -4*q + 10 = 2. Suppose -q*v + 10 = 4*r, -3*r + v - 5 = r. Solve -3*b + 7 - 22 = r for b.
-5
Let o be -9 + 0 + 9 + 4. Solve o*h - 1 = -1 for h.
0
Suppose 0*g = -2*g + 6. Let y(v) = v**3 + 9*v**2 - 2*v - 16. Let c be ((-2)/(-4))/(6/(-108)). Let q be y(c). Solve q*m - 1 + g = 0 for m.
-1
Suppose 3*y + 0 = -t + 16, 0 = -5*y - 5*t + 10. Suppose -4*v + 2*z = -18, -3*v = 2*v - 5*z - 30. Solve v*m + y = -2 for m.
-3
Let v(r) = 2*r**3 - 4*r**2 - r + 5. Let n be v(3). Solve 23*i + 12 = n*i for i.
-4
Let g = 31 - 31. Suppose -5*i + 19 + 6 = g. Solve -2*d + i*d + 15 = 0 for d.
-5
Suppose 2 = -5*x - p, 5*x + 3*p - p = -4. Suppose o - i = 9, 3*i + 3 + 3 = x. Suppose -3*h - 6 = -2*n - o*h, 29 = 5*n - 4*h. Solve -n*c + 1 = -4 for c.
1
Let x = -25 - -28. Suppose 0 = -x*i - 0*i + 9. Solve -i*a + 2 = -a for a.
1
Let w be ((-64)/(-320))/(1*2/50). Solve w*n - 29 = -4 for n.
5
Let t(f) = f**3 + 9*f**2 + 15*f - 4. Let v be t(-6). Let i = v + -6. Solve 4 = h + i for h.
-4
Let p = -11 + 10. Let q = 1 - p. Suppose -3*x - 6 = -3*h + 12, -4*x + 6 = q*h. Solve -h*d = -d + 12 for d.
-3
Let g(c) = -2*c - 24. Let f be g(-14). Suppose f*u - u = -5*n + 13, 29 = 5*u + n. Solve -5*r + 9 = -u for r.
3
Let s(d) = -d**2 - 15*d - 44. Let f be s(-11). Solve f = -z + 2*z + 4*z for z.
0
Suppose 70 = y - 8*y. Let r be ((-5)/y)/(1/168). Let t be (-32)/(-14) + (-24)/r. Solve -t*q - 1 - 9 = 0 for q.
-5
Let b(s) = s**2 - 4*s + 2. Let j be b(4). Let c be (-351)/(-195) - 1/(-5). Solve 4*f - j = c*f for f.
1
Suppose -16*b = -12*b + 4*m - 472, b - 4*m = 143. Solve -b*f - 3 = -124*f for f.
3
Let w = -46 + 50. Suppose 5*s + w = 9. Solve 17 = -4*l + s for l.
-4
Suppose -30 = 2*m - 2. Let c = m - -24. Suppose 0*d = 2*t + 5*d - 4, 2*d = -5*t + c. Solve -2*h = t*h - 12 for h.
3
Let h(t) = -7*t + 230. Let l be h(32). Solve 11*j - l = 8*j for j.
2
Suppose -r - 2*l + 2 = 0, 3*r + l + 2 - 3 = 0. Solve -4*i + r*i = 0 for i.
0
Let x be -29 - -33 - 19*1. Let n be (-2 + 15/9)*x. Suppose 4*c = 42 - 2. Solve n*y - c = -0*y for y.
2
Suppose 0 = -i - 3*o + 17, 0 = -i - 11*o + 9*o + 13. Solve -i*u + 29 - 19 = 0 for u.
2
Let x(o) = o**2 - 4*o + 3. Let k be x(4). Suppose 1 + 7 = -f + 3*z, k*f - 16 = -z. Solve 3*h = -h + f for h.
1
Let s be (-2)/(-6)*(-30)/(-10) - 1. Solve s = 5*p - 6 + 21 for p.
-3
Suppose 5*o = -4*c + 8, 5*c = -9 - 6. Suppose 9*a - 14 = 22. Let t be 14/a + (-12)/8. Solve -t*f = -6*f + o for f.
1
Let u(w) = w**3 - 14*w**2 - 18*w - 36. Let i be u(15). Let q = 83 + i. Solve -5 = -q*c + 3 for c.
4
Suppose 7*a = -a. Suppose a = w + 2*w - 15. Solve -2*d + w = -5 for d.
5
Let r = -9 - -15. Suppose 9 = t - 3*k, 0 = 2*t - 0*k + 2*k + 14. Let p be (8/r)/(t/(-9)). Solve p*a - 4 = 12 for a.
4
Suppose -4 + 0 = -2*n. Suppose -2*q = -4*h + n*q - 4, -2*h = 4*q + 26. Let g(x) = x**2 + 5*x. Let i be g(h). Solve i - 5 = v for v.
-5
Suppose 0 = -16*j + 9*j + 455. Solve -69*l = -j*l - 20 for l.
5
Suppose -b + 2*c = -2*c, -2*c = -b. Solve b = -z + 8 - 5 for z.
3
Let q be (-3)/(-9) + (-8)/(-3). Suppose 4*v = q*v + 6. Suppose 3*z - 12 = v. Solve -z = 3*x - x for x.
-3
Let b = -164 + 164. Solve -n + 0*n = b for n.
0
Let z be -13 - (-4)/1 - -3. Let h be (-50)/z*3 - 3. Let w = 24 - h. Solve i + 12 = -w*i for i.
-4
Suppose 0 = q + q. Let g be 10 + q + 0/4. Let u be 100/30*12/g. Solve u = s - 3*s for s.
-2
Let y be (-6)/(-14)*(-44 - -51). Solve -y*l = -5*l - 3*l for l.
0
Let i be (-2)/((5/(-30))/(9/(-2))). Let v be (-66)/i - 2/9. Let u(z) = 2*z**3 + 2*z - 1. Let c be u(1). Solve -k = v - c for k.
2
Let m(y) = -y**3 - 13*y**2 - 2*y - 22. Let n be m(-13). Suppose 4*z - 15 - 5 = 0. Solve -z*d - 29 = -n for d.
-5
Let d(s) = -s**2 - 6*s - 6. Let l be d(-4). Let n(p) = p**3 - 23*p**2 + 23*p + 3. Let a be n(22). So