+ 6 + 2 = 0, -c - 2*t + 5 = n for c.
-1
Let t(c) = c - 28. Let k(s) = s**3 + 19*s**2 + 16*s - 8. Let w be k(-18). Let v be t(w). Solve -20 = -n - 5*b, v*n - 3*n - 3*b = 0 for n.
-5
Suppose 2*z = 2*d + 2*d + 64, -20 = 4*d. Let y = -19 - -7. Let t = y + z. Solve 0*u + 3*l - 2 = u, 0 = -5*l + t for u.
4
Let y = 28 + -26. Suppose 2*m + 3 = -y*r - 11, -3*m - 6 = -2*r. Let l be m/(-24)*-3*(-39 - -5). Solve i + i = -5*b + 10, -5*i = 2*b + l for i.
-5
Let u be ((-682)/88 - -12)*4. Solve -4*v - w - 9 = 4, 5*v + 2*w = -u for v.
-3
Let n = -15 + 105. Suppose 0 = -5*f + 10*f - n. Suppose -5*g + f = 3. Solve 3*c + 3 + 0 = -g*y, 0 = y - 2*c - 5 for y.
1
Let z(p) = -231*p + 3. Let q be z(-1). Suppose 0 = -13*d - q. Let g be (8/24)/(34/d - -2). Solve 0 + 29 = -3*w - 4*x, -g*x = -5*w for w.
-3
Let n(o) = -272 - 35*o + 649 + o**2 - 306. Let k be n(33). Solve c = -5*s - 2, 2*c + 2*s + 1 = k for c.
3
Let w(m) = 3*m - 32. Let f(p) = 14 + 0 + 52*p**2 + 3 - 51*p**2. Let t be f(0). Let l be w(t). Solve 2*i - 2*c + 8 = -4*c, -4*c = -3*i - l for i.
-5
Suppose -130*k + 1432 + 172 - 304 = 0. Solve -5*j - k = -3*d, 2*j - 13 + 8 = 3*d for d.
-5
Let h be -34 - ((-13)/39)/((-1)/(-3)). Let y be (-176)/h + 4/6. Suppose 3*c = -5*r, 3*r = 5*c - r. Solve i + y = -2*z, c*z + 5*z + 9 = -i for z.
-1
Let a(r) = -r**3 - 2*r**2 + 14*r - 2. Let t be a(-5). Solve 5*v = 4*d - 0*v + 2, 3*v + t = d for d.
-3
Let m = -198 - -201. Suppose -2*q - 3*a = -10, -3*q = -m*a + 4 - 19. Solve q*c + 5*j = -0*c - 10, 4*j = -c + 1 for c.
-3
Let m(t) = -1056*t + 9. Let r be m(0). Solve -5*p = r*g - 11*g - 6, 4*p - 5*g = 15 for p.
0
Let l be -1 + (30/3 - 5). Suppose l*m - 6*m = -i + 14, 5*m = -i. Solve -z - 2*z + 5*g + 6 = 0, -5*z + 2*g + i = 0 for z.
2
Let f be 11 + 1179/36 - 1/(-4). Let p = f - 39. Solve 40 = -5*g - 5*t, -p*t - 24 = 2*g - t for g.
-4
Let i(r) = r**2 + 17*r - 21. Let z be i(-15). Let c = z + 47. Let o be (c + 3)*1*-25. Solve -a = 4*l + o, -4*l - 18 = 4*a + 22 for l.
-5
Let i(q) = 2801*q - 13989. Let f be i(5). Suppose -2*b - b = 6. Let a be (3 - 3)/b - 0. Solve 3*k = -a*k - 5*d, 0 = -2*k + 2*d - f for k.
-5
Suppose -3*v + 8 = 4*c, -26*v + 4 = 2*c - 23*v. Solve -p - 5 + c = 5*w, 0 = -5*w for p.
-3
Suppose -25*p + 29*p - 1558 = -34*p. Solve -4*a - 43*h + p*h - 10 = 0, h = 3*a + 10 for a.
-3
Let d be 185/100*2 - 27/(-90). Suppose d*i - 90 = -26*i. Solve 5*z + 5 = -q + i*z, 5*q - 2*z - 35 = 0 for q.
5
Let d(n) = n**3 - 46*n**2 - 4*n + 186. Let o be d(46). Solve 0 = 4*l + 3*b + 11, -5*l + o*l = 3*b + 6 for l.
-5
Let p(b) = b**2 + 11*b - 17. Let v be p(-13). Suppose 5*m - f - 195 = 0, 0 = -m + 2*f + 21 + v. Let q = m - 40. Solve 13 = -5*o - 4*z, q = -o - o - z - 7 for o.
-5
Let l(g) = g**3 + 5*g**2 - 230*g - 36. Let k be l(13). Solve 181*x - k = 4*j + 177*x, 0 = 3*j - 2*x + 11 for j.
-3
Let f be ((-1)/3)/((-7)/63). Suppose -23 - 21 = -4*r. Suppose 12*b - 1 = 5*h + r*b, -5*h - 3*b = -3. Solve -4*m + f*o + 11 = h, 0*m = 4*m + 3*o - 5 for m.
2
Let r be -10*(-3)/((-444)/(-128) - 3). Let i(a) = -8*a - 1. Let v be i(-5). Let t = r - v. Solve 3*c - t = 5*k, 4*k = -5*c + 10 + 7 for k.
-2
Let p(i) = i**3 - i**2 - 3*i + 5. Suppose 3*m - 12*m = -27. Let c be p(m). Let x be 6/4 - c/(-4). Solve 0 = -3*t - 3, q + 12 = x*q + 4*t for q.
4
Let a(y) be the second derivative of -y**4/6 + y**3/6 + 41*y**2/2 + 82*y. Let v be a(-4). Solve -5*w + 29 = -3*k, -v*k + 3*w = -0*w + 27 for k.
-3
Suppose -4414*s = -4423*s + 27. Solve 27*y - i = 24*y + 19, -s = y + 2*i for y.
5
Let w be (0*-3*(-5)/(-90))/5. Solve w = x - v + 6, v = -2*x - 3 for x.
-3
Suppose -2*s + 4*c = s + 160, 5*s = -2*c - 258. Let o = -731 - -684. Let g = o - s. Solve -3*y = 3, -3*y - 28 = g*w - 0*y for w.
-5
Let q be (0 - (10 + -13))*(-20)/(-12). Solve 7 = -q*r - f, 5*r - 7*f = -10*f - 11 for r.
-1
Let q(f) = 3*f - 42. Let k(a) = 16*a**3 - 2*a**2 + 2*a - 1. Let u be k(1). Let d be q(u). Solve d*y + c = -10, 0*y - y - 6 = c for y.
-2
Let b be (-1725)/(-375) + (6/(-10) - -1). Let y be ((-3)/2)/(4/(-56)). Solve 0 = -10*z + 5*z - 4*c + y, b*z - 4*c = 29 for z.
5
Suppose 4*f - 7*f - 3*a + 21 = 0, 0 = 5*f + a - 19. Suppose 13*k - 81 - 1752 = 0. Suppose 11*r + k = 405. Solve 5*x + 15 = -5*z, 2*x + f*x = 4*z - r for x.
-4
Suppose -u = k - 12, 462*u - 2*k + 45 = 465*u. Solve 5*h - u = 5*g - 31, -5*h = 4*g + 1 for h.
-1
Let i = 11565 + -11552. Solve -s = 8*h - i*h - 8, -4*s = -4*h - 16 for h.
-1
Let u(f) = f**3 - 14*f**2 + 3*f - 40. Let a be 70/21*6 - 6. Let d be u(a). Solve -d*s + 20 = -0*s - 2*b, -s - 4*b = 15 for s.
5
Let i be (1*-2)/(-5 + 6) - (-25)/5. Solve 4*q = 2*n - 6 - 22, i*n - q - 17 = 0 for n.
4
Let w(g) = 2*g + 4. Let c(i) = -2*i + 5. Suppose 3 - 33 = -15*n. Let q be c(n). Let u be w(q). Solve u*z + 5*p - 40 = z, -4*p = 5*z - 36 for z.
4
Suppose -220*c = -218*c - 8 - 0. Solve -a + 15 = c*z, 0*z + 12 = 3*z for a.
-1
Let b = -479 - -539. Suppose 19*f - 13*f = b. Solve -5*g + 3*g = -f, 2*g + 10 = -4*s for s.
-5
Suppose -3*r + 3*s + 126 = 2*s, -4*s = -13*r + 548. Solve r - 13 = 5*b + 4*j, 3*b - 4*j + 7 = 0 for b.
3
Let g = -4 - -39. Let u = g + -39. Let s be (-10)/((-2)/1) - u. Solve -4*j - 4 = -0*y - 4*y, 2*y - s = -5*j for j.
1
Suppose 2*r + 3*z = -2*z + 20, -21 = -3*r - 3*z. Suppose 6 = 9*m - 6*m. Suppose -5*j - m*j + 140 = 0. Solve -r*p - 5*i + j = 0, 4*i = 3*p - 19 - 0 for p.
5
Let k = 779 - 1090. Let w = 314 + k. Solve -w*n - n + f = 20, 4*n = -f - 20 for n.
-5
Suppose -135*f - 77*f + 2332 = 0. Solve 5*x - 6*y + 2*y - 17 = 0, 0 = -x - 4*y - f for x.
1
Let a(k) = -2*k - 7. Let x be a(-5). Let c(n) = -n**3 - 5*n**2 + 4*n - 2. Let s be c(-6). Suppose 156 = s*f + 26. Solve j + 2 = -t - 1, j - f = x*t for j.
1
Let s be 90/14 - (-27)/(-63). Suppose 0 = -18*k + 21*k - s. Suppose -i + 0 = -k. Solve -i*j - 2 = 4*c + 4, -23 = 5*j + 2*c for j.
-5
Suppose -5*k = 2*a + 30, 5*k + 2*a - 3*a = -15. Let n be -1 + 6/(k - -2). Let y be (-2)/((-2)/(-12)*n). Solve -y*z + 21 = 5*d, -d - 4*d = -z - 13 for d.
3
Let w be -1 + 1 - 28/4. Let p(q) = 20*q + 140. Let v be p(w). Solve y + v*y + 13 = -4*n, -5*y = -n + 23 for y.
-5
Let w = 7804 + -7802. Let i(f) = -f + 5. Let t be i(5). Solve y + 4*v - 21 = t, 4*y + 0*v - w*v = -6 for y.
1
Suppose 4*v - 12 = -4*i, 4*i - 10 = -2*v - 2. Suppose -16 - 4 = -5*b - 3*l, 4*l = -20. Suppose 6*h - b*h + 2 = 0. Solve h*t = 2*r + 10, -4*r + 5*r = -v for t.
3
Suppose 24*b = 23*b. Suppose 32 = -2*x + 4*x. Suppose 22 = x*h - 5*h. Solve -h*t + 2*k + 12 = b, -2 + 0 = k for t.
4
Let w(x) = -3*x**3 + 12*x**2 + 13*x + 2. Let g be w(-1). Solve 0 = k - 1, -13 = g*n + 5*k - 6 for n.
-3
Let q be (-2)/(2*4/(-68)). Suppose -i - q = -22. Solve -5*o - 20 = -i*z, o + 1 = -0*z - 2*z for o.
-3
Let y be (6 - 1)/(-25)*-55. Suppose 0 = y*l - 12 - 10. Suppose 4*b + 8 = 0, 4*x + l*b - 12 = -0*x. Solve 3*f - 35 = x*o, -7*f + 2*f = -4*o - 45 for f.
5
Let v(g) = -g**3 + 22*g**2 + 13*g - 29. Let b be v(23). Let u be b/(-49) - (48/21 + -2). Solve u*k + 4 = -4*i + 2*i, -3*k = -2*i + 12 for i.
3
Let d(k) be the third derivative of k**4/4 + 75*k**3/2 + 147*k**2. Let f be d(-37). Solve 0 = -2*y - 4*m + 16, -5*m + 3 = -f*y + 5 for y.
4
Let u(q) = 5*q + 29. Let f be u(-5). Suppose -2*r - 14 = -k, -f - 25 = -k + 5*r. Solve -23 = k*s - l, 0*s + s - 3*l = -14 for s.
-5
Let t = -144 + 307. Let s = 167 - t. Solve k = -s*h - 2, -2*k - 4*h - 6 = -2 for k.
-2
Let f(q) = 14777*q - 206878. Let z be f(14). Let m = 2 + 1. Solve 9 = -m*x, z*t + 12 = -t - 5*x for t.
3
Let z be (-6)/(-14) - 7584/(-1659). Solve -24*s - 10 = -26*s - 4*b, 0 = z*s - 3*b - 12 for s.
3
Let m(v) = -5*v - 50. Let y be m(-11). Let s = -547 + 571. Solve 4*h - s = -2*p, -h + y*p + 4 = 9 for h.
5
Suppose -2*d - 5 - 6 = 5*i, -d - 10 = 4*i. Let g = 149 + -137. Solve 5*k - 3*c = 7, -k - d*c = 4*k - g for k.
2
Let y(f) = -39*f + 3. Let r be y(4). Let a be (60/(-18))/(159/r + 1). Let k = -81 + a. Solve 4*q = -k*v + 8, 0*q + 14 = -5*v + 3*q for v.
-1
Let b be (8 - -5) + (0 - 11). Solve 5*c + 13 = -4*p - 11, 3*c + b*p + 14 = 0 for c.
-4
Let w(n) be the third derivative of -n**5/60 - 11*n**4/12 - 37*n**3/6 + 15*n**2. Let c be w(-20). Solve -4*z = -5*m + 36, -2*m = -2*z + c*z - 4 for z.
-4
Let s be 20/(-6)*(-31)/(1116/54). Solve s*i + 17 = -y - 0*y, -y - 4*i - 13 = 0 for y.
3
Suppose 4*u - 5*d + 1 = -5, -3*d = u + 10. Let 