/(-3).  Solve -4*l - f = -1 for l.
-1
Let x(o) = -o**2 + o. Let v(w) = w**2 - w + 1.  Let k(u) = 4*v(u) + 3*x(u).  Let j be k(2).  Solve -2*z - 20 = -j*z for z.
5
Let a = 38 - 54.  Let o be (-4)/(-6) + a/24.  Solve o*t - 4*t = 0 for t.
0
Let b(v) = -9*v.  Let w be b(2).  Let q = -8 - w. Suppose l - q = -5*p, 3*p + 0*l - 3*l = 6.  Solve -2*t + 8 = p*t for t.
2
Suppose -3*w - 5*w = -80.  Solve -3*m - w = 2*m for m.
-2
Let w be 20/3 + (-20)/30.  Suppose -5*h = -4*t + 10, -4*t + 0*h + 3*h + w = 0.  Solve -3*v + 2*v = t for v.
0
Let t be 19 - -1*(3 + -4).  Solve 0 = -5*g - 2 - t for g.
-4
Let w(m) = -15*m - 1.  Let d be w(1).  Let p = -12 - d. Solve n - p*n + 6 = 0 for n.
2
Suppose 8 = -m - 2*d + 24, -2*d - 16 = -3*m.  Let x be 2/4 + 4/m. Let o = -1 + x. Solve 0*g + 5*g - 25 = o for g.
5
Suppose 3*y - 15 = -0*y.  Solve y*j = -10 - 5 for j.
-3
Suppose -2*t = -8, -3*t + 7 = p - 6*p.  Suppose 20*f - 22*f = -10.  Solve 2*x + f = -p for x.
-3
Let t be (-54)/(-4)*(-8)/6.  Let r be t/((-1)/((-4)/(-6))).  Suppose -5*z = 4*p + 1 - 18, -4*z = r. Solve -3*j = j + p for j.
-2
Let c be 0 + (-21 - 0)*-1.  Suppose 5*a - c = 4.  Suppose a*f - f = 32.  Solve 7*j - 3*j = -f for j.
-2
Suppose 0 = -18*u + 17*u + 2.  Solve u*y + 2 = 10 for y.
4
Let h be -9*(-1)/(-9)*-3.  Solve 0 = d - 0 - h for d.
3
Let x(z) = 2*z + 12.  Let t be x(-5).  Suppose 0 = -0*h + t*h.  Solve h = 2*d + d + 3 for d.
-1
Let x = 15 - -6.  Solve 0 = 3*s + x - 9 for s.
-4
Let h = -2 - -8.  Suppose -d - 4*i + 1 = 0, -4 = -4*d - h*i + i. Suppose 0 = -4*g + 16.  Solve -z + d = -g for z.
5
Let o be (7 - 0)*(-4 - (-96)/21).  Solve -o*l - 2 = 10 for l.
-3
Let g = -6 + 11.  Suppose -5*r = -r - 16.  Suppose 16 = r*l - 0.  Solve g*d + l = 6*d for d.
4
Suppose -v + 6*v + 15 = 0, 3*q - 3*v - 33 = 0.  Let w = -4 - 4.  Let u = w + q. Solve -2*m - m = u for m.
0
Let u = -8 + 11.  Suppose w = -5*q - 3*w + 33, 0 = -u*q + 3*w + 9.  Solve 8 = q*d + 28 for d.
-4
Suppose 0 = -3*x + 11 - 2.  Let s be 4/(-6) + 14/x. Solve -4*y + 0*y = -s for y.
1
Suppose 0 = -2*u - u + 6.  Suppose u*p + 2*p = 0.  Suppose -3*c = -j - p*j - 7, -4*j = 5*c - 6.  Solve -5*o + c - 27 = 0 for o.
-5
Let v be (4 + -4)/(3 - -1).  Solve v = j + j + 2 for j.
-1
Let k(g) = g + 1.  Let l be k(0).  Solve -3*w = -5 - l for w.
2
Suppose 4 = -3*i + 19.  Solve -i = -0*a + 5*a for a.
-1
Let c(q) = -4*q + 2.  Let k be c(-1).  Solve 14 + k = -4*l for l.
-5
Let f be 4 + 0 + (-45)/15.  Solve y + 1 = -f for y.
-2
Let z be (-2 + 0)*(0 - (-6)/(-6)).  Solve 5*b - 3*b - z = 0 for b.
1
Let a(d) = -2*d - 8.  Suppose -q - 5*f = 11, 5*q - f = 12 + 11.  Suppose -q*w = 24 - 0.  Let m be a(w).  Solve -2*o - 4 = m for o.
-4
Let x(s) = 2*s - 1.  Let g be x(5).  Let u be 5 - (7 + 1 + -5).  Solve n + u*n = -g for n.
-3
Let j(o) = o**2 + 3*o.  Let b be j(-5).  Let q be (-52)/(-10) - 2/b. Let v(n) = -n**3 - n**2 + n. Let f be v(0).  Solve f*w + q = -w for w.
-5
Suppose -20 = 4*s, -5*u - 12 = -3*u + 4*s.  Solve 5 = -3*v - u for v.
-3
Let g = 23 - 21.  Suppose -5*m = 4*b - 4, -g*m + m = -b - 8.  Solve -o = m*o + 15 for o.
-3
Let c(u) = -4*u - 32.  Let z be c(-11).  Solve 3*w + w = -z for w.
-3
Suppose -3*g = -l + 5, l + 3*g = g - 5.  Let o be 5 + l*(0 + 3).  Solve -2*n - 4 = o*n for n.
-1
Suppose -2*o + 8 = -5*d, 5*d - 48 - 7 = -5*o.  Solve 4*m = -o - 7 for m.
-4
Let q be 0/(-1) + (2 - 1).  Suppose 0*k - 54 = 3*k.  Let y be q/((-3)/k)*1.  Solve y*s = s + 20 for s.
4
Let u(t) = t**3 + 4*t**2 + t + 4.  Let x be u(-4).  Suppose x = -2*c + c. Solve 4 = 2*g - c for g.
2
Let r = -7 - -9.  Suppose -6*a = -r*a - 8.  Solve -3*c = a*c - 25 for c.
5
Suppose 0 = -8*p + 3*p.  Solve -3 = m - p*m for m.
-3
Let v = -26 - -30.  Solve -5 + v = i for i.
-1
Let g = -6 - -5.  Let b be (-2 - -1) + g + 2.  Solve -5*v = -b*v for v.
0
Suppose -4*v - 235 = -9*v.  Suppose 353 + v = -5*s.  Let l be ((-12)/10)/(12/s).  Solve -3*d + l = d for d.
2
Let i(q) be the second derivative of -q**3/3 + 5*q**2 + 3*q.  Let x be i(8).  Let z be (-9)/(-2)*(-4)/x.  Solve 2*f = 5*f - z for f.
1
Suppose -13*g = -8*g - 10.  Solve 0*u = g*u + 4 for u.
-2
Let g = 40 + -24.  Solve -5*m + g = -m for m.
4
Suppose 2*u = s + 4*s - 12, -8 = -2*s.  Suppose -5*g + 2*g = 0.  Suppose g = -2*j + 7*j - 55.  Solve -u*n - 1 = j for n.
-3
Suppose -4*t + 5*u + 3 = 0, -2*t - 1 = -2*u - 3*u.  Suppose -2*x + x = -3.  Let h = x - 3.  Solve h = g + 3 - t for g.
-1
Suppose 0 = -3*n - 26 - 16.  Let t be 4/n - (-128)/56.  Solve t = -l + 3*l for l.
1
Suppose -u + 20 = 3*u.  Suppose -2*l = -u*f + 60, -2*f = -5*l - 42 - 3.  Solve -2*c = -0*c + f for c.
-5
Let f = -34 - -38.  Solve 5 = -b - f*b for b.
-1
Let q(d) = -d**2 + 13*d.  Let n be q(13).  Solve -10 = 5*f - n for f.
-2
Let c(z) = -z**2 + 4*z.  Let u be c(3).  Let g(v) = -2 - v**2 - v + 0*v**2 + 1 + 0*v**2 - v**3.  Let t be g(-2).  Solve t = -u*q + 4*q for q.
5
Suppose -3*u - 6*z + 7*z + 7 = 0, 0 = 4*u - 5*z + 9.  Solve -12 = -u*x + x for x.
4
Let a(c) = -c**2 + 8*c + 10.  Let h be (-3 + 3)/(-3) - -3.  Suppose 2*z + 20 = 2*g, 35 = h*g + z + 9.  Let u be a(g).  Solve u - 9 = -2*n for n.
4
Let r = 72 - 68.  Solve 3*a - 1 = r*a for a.
-1
Let m(b) = -b**2 + b + 4.  Let z be m(4).  Let k = -5 - z. Solve -k*u - 11 + 2 = 0 for u.
-3
Suppose -4*s + 2*o = -112 + 24, -2*o = 4*s - 88.  Let m be (-1 + 7)*33/s. Solve -1 = -2*n + m for n.
5
Let q = 24 - 22.  Solve q = -2*w - 0 for w.
-1
Suppose 18 = 3*m - 0*m.  Solve -2*g + m + 2 = 0 for g.
4
Let h(f) = f**3 + f. Let o(t) = 4*t**3 - 4*t**2 - 3*t + 5.  Let l(r) = -3*h(r) + o(r).  Let i be l(5).  Solve i*d + 2*d = 0 for d.
0
Suppose 0 = -j + 5*j - 32.  Let t = 0 + j. Solve 3 = 5*c + t for c.
-1
Suppose 2*t + 0*t - 10 = 0, 2*w - 21 = -3*t.  Solve w*h = 4*h - 5 for h.
5
Let m(d) = d**2 - 9*d.  Let h(n) = -2*n - 9.  Let v be h(-8).  Let k be m(v).  Let r be (2 - 0)*k/(-4).  Solve r = x + 5 for x.
2
Suppose 3*o + 2*o - 4*k = -16, -4*o - 16 = -4*k.  Solve r + o = -5 for r.
-5
Let j = 5 - 3.  Let p = -2 + j. Suppose -3*t - o = -2*t + 1, 2*t - 5*o = 33.  Solve -12 = t*s - p*s for s.
-3
Let f be 2/8 + 70/8.  Suppose 4 = -c + f. Solve -2 = c*m + 23 for m.
-5
Let g(o) = -o**3 + 3*o**2 + 6*o - 6.  Let t be g(4).  Suppose 5*i - 25 = -5.  Solve -i*l = -t*l for l.
0
Suppose -g + 18 = 2*c - c, g - 14 = -5*c.  Let q = g + -12.  Solve 3*y + q = 19 for y.
4
Suppose 2*m + 2*b = -8, 2*m + 0 = 5*b + 20.  Let d = m + 3.  Suppose 2*k - 3*x - 31 + 6 = 0, -2*k = 4*x - 4.  Solve k = d*n - 1 for n.
3
Suppose -21*r + 26*r = 0.  Solve r = q + 2*q + 15 for q.
-5
Suppose 0*o + 4*o = 40.  Let l = 13 - o. Solve 0 = -l*u + 6*u for u.
0
Suppose -5*l + 10 = r, 0*r = -3*l + 2*r + 19.  Solve l*o - 6 = o for o.
3
Suppose -d - 2*d + 3 = 0.  Solve g + 2 = -d for g.
-3
Suppose -3*i + 15 = -0*i.  Suppose -r + 3*b + 21 = 0, -i*r - 5*b + 11 + 14 = 0.  Let u(h) = h - 8.  Let w be u(r).  Solve -n = w - 2 for n.
1
Let o(z) = -z.  Let h be o(-5).  Suppose n + 1 = 0, 0 = -h*u + 4*n + 12 + 2.  Suppose 2*v = -6*v + 120.  Solve 0 = -5*i + u*i - v for i.
-5
Suppose 0*v - 4*v = -80.  Suppose 4*m = 5*h - v, -h = 4*h - 20.  Solve -r + 2*r + 1 = m for r.
-1
Suppose -4 = -4*s + 4.  Suppose 3 = -l + s*l.  Suppose -r + l = 4*y, 8*r - 5*r - 9 = 4*y.  Solve 0 = r*b - 7*b + 4 for b.
1
Let o(l) = -l**3 + l**2 - 1.  Let a(h) = -4*h**3 - 6*h**2 - 8*h + 4.  Let t(z) = a(z) - 3*o(z).  Let b be t(-8).  Solve 9 = -4*y - b for y.
-4
Suppose 0 = -3*s + 41 - 8.  Suppose -6*w = -s*w.  Let i = -4 + 9.  Solve i = d - w*d for d.
5
Suppose 0 = -0*g - g - 2*z + 1, 4*g = -2*z + 10.  Suppose 2 - 11 = -g*x.  Let r = 0 + x. Solve -6 = -u - r for u.
3
Let d = 17 + -15.  Solve -16 = -2*w - d*w for w.
4
Let b(m) = -m + 12.  Let q be b(7).  Solve 0 = q*g - g for g.
0
Let d = 11 - 24.  Let t = d + 18.  Solve 3*c = t*c + 2 for c.
-1
Suppose -12 = f - 2*f.  Let j be (f/(-9))/(2/(-3)).  Solve -j = -4*q - 18 for q.
-4
Let k = 1 + 1.  Solve 6 = 4*j + k for j.
1
Let a = 5 - 1.  Solve -3*t = -a*t - 4 for t.
-4
Let k = 28 + -23.  Solve 7 + k = -3*w for w.
-4
Let q be 4/10 - (-16)/10.  Solve 7*k + 5 = q*k for k.
-1
Let h(m) = -4*m + 6.  Let l be h(4).  Let z = 8 + l. Let s be (z/(-5))/(5/50).  Solve -s*v = -v for v.
0
Suppose -48 = x - 5*x - 4*i, -15 = -3*i.  Let p(b) = x + 0*b + 0*b - b. Let u be p(0).  Solve u + 5 = 4*t for t.
3
Let m = 4 - 2.  Solve m = -2*y - 0 for y.
-1
Let j = 60 - 55.  Solve 3*f - j = 2*f for f.
5
Suppose -2*s = -3*u + 3*s + 34, 4*s = -u.  Suppose -q = -3*q + u. Solve 2*w - w + q = 0 for w.
-4
Let t be 74/9 + 32/