et l be 1*6 - (40 - 38).  Solve 6*c = l*c - 8 for c.
-4
Let x(m) = m + 37.  Suppose -4*u + 5*k - 46 = 0, 3*u = 6*k - 2*k - 34.  Let r be x(u).  Solve 0 = 4*h + r - 3 for h.
-5
Let v(z) = z**3 - 14*z**2 + 14*z - 3.  Let w be v(13).  Solve -8*i + w = -3*i for i.
2
Let n(r) = -r**3 + 6*r**2 + 8*r - 7.  Suppose -2*a = 2*i - 6*i - 28, -2*i + 2 = 3*a.  Suppose -7 = -a*z + 3*z.  Let d be n(z).  Solve b = -1 - d for b.
-1
Suppose 0 = 2*p - 4*p + 2.  Let d(j) = 3*j**2 - p + j**3 - j + 0*j + 2 + 0*j**2.  Let b be d(-3).  Solve -b*x = -x + 9 for x.
-3
Let h = 3 + 1.  Let v be 12/(-15)*(-10)/h.  Suppose v*z - g - 3 = 3*z, 2*z = 4*g + 12.  Solve z = y + 2*y - 15 for y.
5
Let a(x) = -x**2 - 11*x - 7.  Let j(h) = h**2 - h - 10.  Let d = 15 + -15.  Let m be j(d).  Let q be a(m).  Solve q*i + 5 = -1 for i.
-2
Let f be (((-8)/2)/(-4))/(1/9).  Solve -8*j = -f*j + 4 for j.
4
Let z = -11 - 12.  Let o = z - -33.  Suppose 5*g - 5 = o. Solve g*j = -6 + 3 for j.
-1
Let l = -9 - -5.  Let w(n) = 6*n + 4.  Let z(j) = 7*j + 3.  Let m(k) = 5*w(k) - 4*z(k).  Let i be m(l).  Solve i = -0*r + 3*r + 3 for r.
-1
Suppose 0 = 8*w - 9*w + 19.  Suppose -w*c = -16*c - 6.  Solve 0 = -c*o - 1 - 1 for o.
-1
Suppose -3*u + 6 = -5*u.  Let a be u/((-15)/84 + 2/(-8)).  Solve -16 = 3*w - a*w for w.
4
Suppose -6 = 2*t - 28.  Suppose -d = -2*c - 17, -4*d + t + 1 = 0.  Let w = c + 11.  Solve w*s + 8 = -4 for s.
-3
Let n = 1497 - 1487.  Solve -n*b + 6*b = -12 for b.
3
Let w(l) = -l**3 - 6*l**2 - 4*l + 4.  Let n be w(-4).  Let m be (-3 - 2)*n/30.  Suppose 3*x = m*x.  Solve 0 = -5*a - x*a - 25 for a.
-5
Suppose 4*p + 6 = 3*p - z, -5*z = 2*p + 21.  Let o(c) = -5*c - 1.  Let w be o(-4).  Let h be 2/(-6) - w/p. Solve q + 10 = h*q for q.
2
Let g(i) = -7*i**2 + 8*i - 7.  Let k(n) = -15*n**2 + 16*n - 15.  Let w(a) = 13*g(a) - 6*k(a).  Let q be w(7).  Solve q*j = 3*j + 6 for j.
2
Let s = 5 - 3.  Let n = 11 + -8.  Suppose -n*z + 4*b - 10 = 2*b, 5*z = -3*b + 15.  Solve 0 = -s*l - z*l for l.
0
Suppose 0 = -8*z + 29 - 13.  Solve 0 = -z*s - 5*s for s.
0
Let w(b) be the third derivative of -b**4/24 - b**3/2 + 4*b**2.  Let r be w(-6).  Suppose -h + 5 = 2.  Solve -r*x + h = 9 for x.
-2
Let b be 2 - (-7 + 10/2).  Solve 15 = -b*q + 7*q for q.
5
Let g(y) = -3*y - 15.  Let n be g(-6).  Let c be n - (0 + (-4 - -3)).  Solve c*b = -12 + 4 for b.
-2
Let h = 252 - 252.  Solve h = -2*y + 29*y + 81 for y.
-3
Let r(l) = 2*l**2 + 4*l - 3.  Let w be r(2).  Solve -2*u = 3 - w for u.
5
Let t be 722/(-14) + (-4)/(-7).  Let z be (-6)/t + (-96)/(-51).  Solve z*s = -2*s for s.
0
Let r = 690 + -690.  Solve 5*u - u + 12 = r for u.
-3
Suppose -25 + 85 = 11*t + 27.  Let m = 5 - 3.  Solve -m = -t*i + 4 for i.
2
Let p = 297 + -293.  Solve -p = 9*z + 5 for z.
-1
Let w(h) = 3*h**3 + 64*h**2 + 19*h - 37.  Let g be w(-21).  Suppose -2 + 5 = b. Let o be (-9)/(5/(-2) - -1).  Solve o = -g*x + b*x for x.
-3
Let s = 263 - 263.  Suppose 2*q = -3*c, -3*q - 2*c = -0*c.  Suppose q = 3*l + l. Solve s*n - n + 5 = l for n.
5
Let s(l) = 2*l**2 - 27*l + 27.  Let p(u) = -3*u**2 + 40*u - 40.  Let h(k) = -5*p(k) - 7*s(k).  Let w be h(10).  Solve -3*c - 16 = -w for c.
-5
Let b(o) = -o**3 - 5*o**2 + 5*o + 7.  Let m be b(-7).  Suppose 2*y + 34 = 2*j - 2*y, 5*j + 5*y = m. Solve 6*d + j = d for d.
-3
Suppose 3*a - 3 = 0, 2*a - 11 = 3*j - 6*j.  Suppose 74*b + 35 = 81*b.  Solve 1 = -j*m - b for m.
-2
Let a(o) = 111*o + 339.  Let t be a(-3).  Solve -12*z = -18*z + t for z.
1
Suppose -7*k + 20 = 3*k.  Let n be (-1)/k*4 + (-1 - -7).  Solve -3*x = -n*x - 2 for x.
-2
Suppose -15*o = -2*c - 13*o + 24, -4*o = -5*c + 56.  Solve 10*t - 2*t - c = 0 for t.
1
Let z(k) = k**3 + 18*k**2 + 19*k + 34.  Let n be z(-17).  Solve -h + 21 - 25 = n for h.
-4
Let f = -32 + 37.  Solve f*a - 1 = 6*a for a.
-1
Let j = -217 - -220.  Solve -b + j*b = -4 for b.
-2
Suppose -s = -2*i + 88, -i + 9 = s - 29.  Let c = i - 36.  Solve g = 4*g + c for g.
-2
Let k = 8 + -4.  Suppose 0 = 5*m - w - 65, -2*m + w + 6 + 23 = 0.  Let r(y) = -3*y + 31.  Let q be r(9).  Solve m = k*i + q for i.
2
Suppose 0 = -q - 2*q + 24.  Let g(b) = -b**2 + 5*b - 6.  Let m be g(6).  Let t be (2/q)/((-1)/m).  Solve -5*c = -t - 7 for c.
2
Let t = -587 + 590.  Solve t*z + 66 = 75 for z.
3
Let d(q) = -4*q**3 + 3*q + 2.  Let j be d(-1).  Suppose 12*s - 72 = j*s.  Solve 0 = -2*z + 2 - s for z.
-3
Let y be -15*2/6 + 11.  Solve -y = 2*b - 16 for b.
5
Let k(o) = -2 + 3*o - 4*o**2 - 2*o**3 + 3*o**2 + o - o. Let z be k(-2).  Suppose z*p - 20 = -3*b + 2, p - 5*b = -6.  Solve -5*r - 1 = p for r.
-1
Let u be ((-4)/3)/((-36)/162).  Suppose 0 = v - 4*p - 20, -u*v + 8*v + 3*p + 4 = 0.  Solve 0 = m + 1 + v for m.
-5
Suppose 4*q + 14 = 17*m - 16*m, -2*m = -q - 7.  Solve 13*x + 3*x = m*x for x.
0
Let r be (6 - 2) + 2/2.  Let a be (-7 + 3)*(r + -1).  Let t be 21/(-14)*a/6.  Solve 5*n = t + 1 for n.
1
Let p = -3 + 8.  Let n be p/(-30) + (-38)/(-12).  Solve -3*t = -6*t - n for t.
-1
Let t(z) = -4*z**2 + z + 14.  Let j be t(0).  Solve 7*i = j*i + 21 for i.
-3
Let p = 1 + 3.  Suppose -7*z - 12 = -3*z, 2*z = 5*j - 21.  Suppose 7 = p*y + j. Solve -3 = 2*v + y for v.
-2
Let n(r) = 2*r**2 + 13*r + 22.  Let q be n(-4).  Solve 4*t = q*t + 10 for t.
5
Suppose 5*m + 26*o = 24*o + 17, 0 = -3*m - 2*o + 7.  Suppose -4*u + 144 = -172.  Suppose -2*x = -5*d + 94, 3*d + 22 = x + u. Solve 0 = m*v - v - d for v.
5
Let z = -85 - -88.  Suppose 4*v = z*g + 6 + 6, -4*v + 12 = -5*g.  Solve l - v = 1 for l.
4
Let l(d) = -2*d - 5.  Let j be l(-5).  Let f be (-24)/12 - (0/2 + -7).  Let t = f - 4.  Solve -r + j - t = 0 for r.
4
Let g = -184 - -184.  Solve 15 + g = 3*j for j.
5
Let y be 59 - (20/(-4) + 1).  Let o = -60 + y. Solve o = 4*g - 7*g for g.
-1
Let d be 12/(-10)*-5 + 3.  Solve -2 = -d*q + 7 for q.
1
Let x be -5 + 4/2 + (-7)/7.  Let k be -4 - x - (-1 - 2).  Solve k*h + 8 = -h for h.
-2
Suppose 15*j - 14*j = 17.  Suppose j*o - 14*o = 15.  Suppose -b - 17 = -4*q, o*q - 2*b - 22 = -0*q.  Solve 0*g = -q*g + 4 for g.
1
Suppose m - 14 = -3*n + 70, -5*m + 368 = 2*n.  Let t = m + -72.  Solve -y + 0*y + 1 = t for y.
1
Let j(s) = 6*s - 21.  Let l be j(7).  Suppose -2*w = 2*h + 3*w + 9, 4*w + l = 3*h.  Solve 3*u + h + 12 = 0 for u.
-5
Suppose -t = p - 24 - 31, -3*t - 9 = 0.  Solve 0 = 63*j - p*j for j.
0
Let u(o) be the third derivative of o**4/24 + o**3 - 18*o**2.  Let d be u(-2).  Solve -d*j + j + 9 = 0 for j.
3
Let j(u) = -11*u**2 + 2*u + 3.  Let p(r) = 10*r**2 - 2*r - 4.  Let i(m) = -5*j(m) - 4*p(m).  Let n be i(1).  Solve 4*z - 2 + n = 0 for z.
-3
Let c = -25 - -30.  Suppose -10*x - 5 + c = 0.  Solve x = -5*g + 9 - 29 for g.
-4
Let d = 17 + -14.  Let q = -6 + 7.  Suppose 0*j + q = j. Solve -d = k - j for k.
-2
Let z = -62 + 67.  Solve 7*p - z = 2*p for p.
1
Let g(b) be the first derivative of -b**3/3 - 5*b**2/2 + 9*b - 11.  Let f be g(-6).  Solve f*i - 10 = -2*i for i.
2
Suppose 18*a - 1419 + 1023 = 0.  Solve -a*z = 19 + 91 for z.
-5
Suppose 48 = 2*m + 6*m.  Suppose -q + 34 = l - 63, -q + 93 = 3*l.  Let a be q/m + (-18)/12.  Solve -5*k + 8*k + a = 0 for k.
-5
Let f(n) = -n**2 - 4*n + 9.  Let v(a) = -a**2 - 3*a + 10.  Let o(x) = -5*f(x) + 4*v(x).  Let g = -13 - -4.  Let u be o(g).  Solve -6*r = -5*r + u for r.
-4
Let w be 1 + -3 - (1 - 2).  Suppose 0 + 4 = -4*t.  Let d = t - w. Solve d = -n - 1 - 1 for n.
-2
Let n(t) = -19*t**3 - 10*t + 15*t + 3 + 14*t**3 + t**2.  Let a be n(-1).  Let s(f) = -f**2 + 4*f + 5.  Let w be s(5).  Solve w = a*k + k for k.
0
Suppose 0 = 3*s, -366 = -2*j - 0*s + 3*s.  Suppose -b - j = -187.  Solve 0 = -q + b - 0 for q.
4
Let z = -125 + 185.  Suppose 3*n + 7*i - 3*i = 34, 5*i = -5*n + z. Solve 5*a + n = -6 for a.
-4
Suppose -4*w = -7*w + 6.  Suppose -w*r = 5*q + 16, -4*q - 6 = 5*r - 0.  Let l(x) = -2*x**3 + 11*x**2 + 6*x + 7.  Let o be l(6).  Solve o*y - 25 = r*y for y.
5
Let w = -60 - -64.  Let x be 2/8 - (-7)/4.  Suppose -u - x*l - 3 = 0, -10 = l + w*l.  Solve 0*j = j - u for j.
1
Let p(x) = -33*x + 342.  Let y be p(10).  Solve y*r = -3*r + 75 for r.
5
Let n(q) = 27*q.  Let u be n(-3).  Let g = 81 + u. Solve -f + 4*f + 6 = g for f.
-2
Let g(o) = -75*o**3.  Let k be g(-1).  Let l = 79 - k. Solve 0 = f + l*f for f.
0
Suppose 0 = -2*a + 4.  Suppose 5*y - a*y = 0.  Let u be (y/4)/(1 + -2).  Solve -6*o + 3*o = u for o.
0
Let t = 22 + 15.  Suppose -5*c + 10*c - 3*p = t, 4*c - 5*p - 40 = 0.  Suppose -c*v = -19 - 6.  Solve -17 = v*n + 8 for n.
-5
Let f(d) = 34*d - 123.  Let r be f(4).  Solve -r*a = -8*a + 10 for a.
-2
Suppose 4*w = -4*p + 92