).  Solve r*h - 4 - 1 = b, c = -5*b + 5*h - 20 for b.
-3
Let p = -3923 + 3927.  Solve -o = s - 1, -27*o = p*s - 30*o + 10 for s.
-1
Let j be 10 + (-560)/(-136) + (-6)/51.  Solve -3*n - 4 = 3*d + j, -d + 6 = -3*n for d.
-3
Suppose 0 = 12*f - 24*f - 1656.  Let v = f - -144.  Let d(g) = -g**3 + 2*g**2 + 3*g - 3.  Let x be d(2).  Solve 0 = x*b + n - v*n + 22, 18 = 3*b + 3*n for b.
1
Suppose 4 = y + 1.  Let s(z) = -z**3 - 54*z**2 + z + 57.  Let r be s(-54).  Solve y*h - 18 = 3*g - 0*h, -r*h = 5*g - 2 for g.
-2
Suppose 18*i - 450 = -27*i.  Solve -15*z - i = -2*m - 12*z, m - 11 = 3*z for m.
-1
Suppose 2*y + 0*y = 6.  Suppose 2 = -2*i, 5*p + y*i - 47 = 5*i.  Let s(h) = 5*h - 20.  Let j be s(p).  Solve -2*z = -w + 2, j = -w - 3*w - 3*z for w.
-4
Let x = 239 + -227.  Suppose 12 = 18*y - x*y.  Solve 0 = -4*h + y*k - 6, 21 = -4*h - 3*k - 10 for h.
-4
Let q be (-2)/52*4 + (-1194)/13.  Let w = -69 - q. Solve c - 5 = 3*n, 5*n + w = 2*c - 4*c for c.
-4
Let i = -1838 - -1841.  Solve -2*v = -m - 1, i*v = -m + 7*v - 1 for m.
-1
Let c(i) = -i**2 - 46*i - 85.  Let k be c(-44).  Solve 12 = -4*o + 4*b, -73*o = -77*o - 5*b - k for o.
-2
Suppose -2*i + 134 = 5*u + 119, -9 = -3*u + 5*i.  Solve u*d = 3*w - 0*w, 4*d - 2 = 5*w for w.
-2
Let l be (-16)/36*63/(-2).  Let k be -5*(-21)/l*2.  Let s(j) = -3*j - 2.  Let q be s(-2).  Solve 8 = -q*m - 5*i, 0 = m - 2*i - i - k for m.
3
Let t be (-1 + (-161)/(-21))*6/8.  Solve t*q + 3*z = -0*q - 10, -4*z = 0 for q.
-2
Suppose 0*a + 208 = 8*a.  Let w = 4 - 0.  Suppose -6*h + w = -a.  Solve 5*l - 3*k = 17, 4*l - h*l = -3*k - 13 for l.
1
Let g(j) = j**3 - 18*j**2 + 16*j + 21.  Suppose -3*i - 9 = -12*i.  Suppose -i + 5 = -4*f, f = 3*c - 52.  Let t be g(c).  Solve -t*v + d = 0, 0*v + d = -5*v for v.
0
Suppose 4*q - w = 100, w = -2699*q + 2698*q + 30.  Solve 0 = 2*g - 2, 23*c - q*c - 5*g + 20 = 0 for c.
5
Let d(o) = -7*o + 65.  Suppose 2*k - 6*k + 11 = -5*j, -56 = -4*k - 4*j.  Let z be d(k).  Suppose -f - 4 = -6.  Solve -12 = -4*n + f*i, -3*n - 2*n = -z*i - 14 for n.
2
Suppose 5*j - 561 = m, 0 = -2*m - 3 + 1.  Suppose -3*v = -133 + j. Solve -i + 3*q - v = 0, 0*i = 4*i - 5*q for i.
5
Suppose -4*g + g - 3*a = -75, g - 34 = -4*a.  Suppose 17*c - g = 63.  Solve 0 = -c*k + 3*q + 15 + 17, 3*k = 3*q + 24 for k.
4
Let m be -9*(-4)/(-6) - 25.  Suppose -5*d + 2*i = -159, -i = -2*d + 6*d - 135.  Let u = d + m. Solve -r = 3*j + u*r + 18, 0 = -4*r - 20 for j.
-1
Suppose -5*v + 23 - 3 = 0.  Suppose -214*l = -208*l - 5 - 19.  Solve h - q = 0, 2*q - l = v for h.
4
Let o be (23 + -23)/(3/((-3)/(-2))).  Let h be (7 - (o + 8))/((-2)/8).  Suppose r + 0*r = h. Solve -q + k = r, -q - 4 = 2*k + k for q.
-4
Suppose 0 = -31*t - 58 + 120.  Solve -4*f - 2*q + 16 = f, 2*f + t*q = 10 for f.
2
Suppose 5*r = 3*r.  Suppose 3*h - x + 16 = -5*x, 0 = -4*h + 3*x + 12.  Suppose -9*g + 10 + 242 = h. Solve 4*c + 3*o + g = r, 5*c - 4*o = c for c.
-4
Suppose -50 + 10 = -8*k.  Solve -11*t - 6 = -14*t + 3*a, 0 = -5*t - k*a - 20 for t.
-1
Suppose -3*w + 22 = -101.  Let z(y) = y**3 - 39*y**2 - 81*y - 41.  Let x be z(w).  Solve -c = -x*v - 2*v - 7, 5*v = -3*c - 23 for c.
-1
Suppose -4*b - 2*c + 57 = -293, 3*c = 5*b - 443.  Solve -4*a - b = 5*p - 96, 5 = -3*a - p for a.
-3
Let n be (8 - 8)/5*8/(-40).  Solve -18 = -2*z - 2*d, 3*z - 4*z + 2*d - 9 = n for z.
3
Let t = 26 - 10.  Let a be (2 - (-31)/(-2))/((-12)/t).  Let i = 31 - 15.  Solve 3*z - i = 5*z - 5*r, 0 = -z - 4*r + a for z.
2
Suppose 2*q + 4 = -3*h - 0*h, -11 = 2*h + 3*q.  Suppose 4*i + 5*g + 598 = -802, 2*i + 726 = 4*g.  Let p = i + 359.  Solve 3*b = d - 5 - 1, -h*b = -p*d + 4 for b.
-2
Suppose -8*l + 63 - 39 = 0.  Suppose 19 = l*k + 7.  Solve -3*o - 4 = -0*r + r, -5*o - 2 = k*r for o.
-2
Let l be -58 + (-4 + 2)/(3/(-6)).  Let m be -5 - 1/(3/l).  Solve 4*b - 5*p + 11 = 0, -3*b + 7*b + m = 3*p for b.
-4
Let g be (1 - 9)/(-2) + -4.  Let i(k) = -k**2 + 17*k - 43.  Let l be i(13).  Suppose q - 15 - l = g. Solve 3*y = -4*w - q, 0 = 3*y + 3*w + 25 - 4 for y.
-4
Let o be (1754/(-4))/(3/(-6)) - -6.  Let f = 888 - o. Solve -f*h = -2*b - 29, 5*b - 3*h + 17 = -8 for b.
-2
Let i be (3 - 0) + -2 + 26.  Suppose -130*s + 126*s = 0.  Suppose -x + 27 = -s*x - 3*b, x - 4*b = i. Solve 3*y + 2*y + 23 = 2*z, -3*z + 5*y + x = 0 for z.
4
Let d = 16 - 7.  Suppose d = -4*a - 7.  Let o(t) = -t - 4.  Let y be o(a).  Solve 6 = -n + 4*g - y*g, 5*g = 4*n + 13 for n.
-2
Let u(s) = -6*s - 166.  Let d be u(-28).  Solve -14 = d*v + 2*f, 5*f = -v + 11 - 30 for v.
-4
Let i(p) = -453*p - 1812.  Let s be i(-4).  Solve -j + 9 = -s*j + 5*b, 4 = 4*b for j.
4
Let q = 5 - 2.  Let d(h) = h**2 + 3*h - 4.  Let p be d(-4).  Suppose 30*v - 89 - 184 = -183.  Solve -14 = -5*n + v*s, p*s = q*n + s - 14 for n.
4
Suppose -8*v - 38 + 14 = 0.  Let r be (-5)/(15/v*(-9)/(-36)).  Solve -3*u - 3*j = -7*u - 10, -r*u - 2 = j for u.
-1
Let a be (55/(-220))/(3/(-120)).  Solve -a = -4*n + 5*w, 0*w - w - 2 = 3*n for n.
0
Suppose 4*b - 2*m = -476, 5*b - 5*m + 157 + 443 = 0.  Let j = -109 - b. Let y(h) = -5*h.  Let k be y(-1).  Solve -f - 3*p + j = 0, f = -k*p + 7 + 8 for f.
0
Let f(u) = -4*u**3 + 9*u**2 - 8*u - 16.  Let j be f(-1).  Solve -j*d = 2*r + 204 - 174, -4*d - 4*r = 24 for d.
-6
Let x(j) = -8*j - 188.  Let n be x(-25).  Suppose d - 4 = -0*d - t, -3*d - t = -n.  Solve -d*r + 4*l = -4, 2*l - l - 4 = 0 for r.
5
Suppose 0 = -4*v + 114*m - 110*m + 84, -10*v - 2*m = -138.  Solve -18*l = -v*l + 2*h - 19, 0 = -5*l + h + 10 for l.
3
Let w = 22947 + -22945.  Solve -w*h = 2*i - 10, 10 = -4*h + 5*h + 2*i for h.
0
Let d(u) = -98*u + 27*u - 6*u**2 + 5*u - 75*u - 26 + u**2.  Let x be d(-28).  Solve 5*o + 30 = c, x*c + 3*o - 10 = -3*c for c.
5
Let f = -17933 + 17935.  Solve 0*r - r = -2*q + f, -4*r + 14 = 3*q for r.
2
Suppose 0 = 27*b - 35*b.  Let r(m) = m**3 + m**2 - m - 30.  Let h be r(b).  Let w = h + 34.  Solve -5*n = -2*u - 4, -3*u - w*n + 20 = u for u.
3
Let f = -5 + 2.  Let c(v) = -v**3 - 18*v**2 - 94*v - 122.  Let i be c(-9).  Let l be (i/15)/((-1)/15) + f. Solve 2*a - a = -t, 0 = -l*t - 4*a for t.
0
Let a(z) = -149*z - 298.  Let v be a(-2).  Solve 5*s = -v*q - 5*q + 25, 5*s = -3*q + 19 for q.
3
Let p be 1148/60 + 2/(-15).  Suppose -2*v - 32 = -4*o, 0 = -18*o + 19*o + 5*v - p. Solve 0 = 2*s - q + 1, -3*s + 4*q = 5*q + o for s.
-2
Let m(t) = 4*t**2 - 47*t + 48.  Let g be m(11).  Solve -4*b = y + 22, 51*b + g = 5*y + 46*b for y.
-2
Let n(b) = -2*b**3 + 24*b**2 - 22*b + 3.  Let g be ((-21)/(-14) + 2)*(-44)/(-14).  Let i be n(g).  Solve 3*c - 3 = 0, -5 = i*q - 4*c + 5 for q.
-2
Let n be ((-936)/91)/((-3)/14).  Solve -3*z + 2*b - n = -44, 4*z + 8 = 4*b for z.
0
Suppose -4*q - 3 = -5*q.  Suppose -4*m - 2*i + 8 = 0, q*m - 3*i - 7 = 8.  Let s be (-3)/(m/6*-2).  Solve -3*f + 13 = b - 5*b, 4*f - 15 = s*b for f.
3
Let p(o) = o**3 - 14*o**2 - 14.  Let y be p(14).  Let b be y/4*(8 + (-600)/70).  Solve 1 + b = -s - 2*f, -2*s + 2 = -4*f for s.
-1
Let l = 7871 - 7866.  Suppose -n = -3 + 1.  Solve 5*h - 3*j = 28, n*h = 5*j + 10 + l for h.
5
Let p be (-2 + 14)/(8/(-36)).  Let d = 53 + p. Let r be -2 + d + 4 - (-2)/1.  Solve r*i = -0*i - f - 5, -3*i + 5*f = 29 for i.
-3
Let r be ((6 - 95/15)/1)/(4/(-24)).  Solve -5*k = -r*y - 18, 5 = -k - 4*y + 13 for k.
4
Let c be (-3)/(4 + -7)*4.  Let a = -29 - -35.  Let z be 80/a*(-126)/(-105).  Solve z = -4*t, -c*t + t = -3*n for n.
-4
Suppose 4*r - 103 = -3*w, 0 = 5*w + 4*r + 82 - 259.  Suppose -4*c + 5*x + 23 = 0, -w = -c + 17*x - 22*x.  Solve 3*m - c = 5*d + 14, m - 2*d = 10 for m.
2
Suppose -6*h + 493 = 11*h + 408.  Solve 3*x + 3*n = -9, 2 = -4*x + n + h for x.
0
Suppose -13*o + 0*o + 66 = 20*o.  Let d(a) = 0 - 2*a**3 + a**3 - a + 1 + 3*a.  Let r be d(-1).  Solve -5*v - 14 = -o*l, l + r + 4 = -3*v for v.
-2
Let j be (-1)/(123 + -123 - 1/3).  Let n = 14 - 10.  Let s be 0 + n/2 - 2.  Solve s = -5*v + 5*d - 25, -j*v - 10 = -2*d + 4 for v.
-4
Let o = -7 + 5.  Let c(f) = f**2 - 6*f - 3.  Let d be c(o).  Solve -3*x - m + d = 0, 3*x - x - 9 = -m for x.
4
Suppose -5*v + 32 = 22.  Suppose 0 = t - v*t.  Suppose -4 = -n, t*m - 2*n = -4*m - 8.  Solve 4*d + 28 = 2*y - m*y, d = 4*y - 21 for y.
4
Let g = -2651 + 2655.  Let n be 8 + -7 + 1*2.  Suppose -3 - 2 = -h.  Solve -n*i - g*b = 20, -h*b - 31 = -6 for i.
0
Let j(h) = 7098*h + 35496.  Let k be j(-5).  Let t be 0 + 1 + -1 - -2.  Suppose o + t = 4.  Solve 4*q = r - k, 3*r = o*q - 0*q + 8 for r.
2
Suppose -2*w - k = -0*w + 348, 5*w + 5*k = -860.  Let j = w + 178.  Solve m + 8 = -j