).  Sort p, 2, 1 in decreasing order. 
p, 2, 1
Let s = 6 + -4.  Let r be -3 - (-1 + s + -9).  Put r, -3, -4 in decreasing order. 
r, -3, -4
Let l = -171 + 167.  Sort -5, 4, l in descending order. 
4, l, -5
Let x = -27 + 15.  Let k = x + 10.  Sort 2, 4, k in descending order. 
4, 2, k
Suppose 0 = -l - 2*u + 14, 0*u = 2*l - u - 8.  Suppose 0*t = l*t.  Sort t, 2, -2 in descending order. 
2, t, -2
Let m be ((-1014)/10)/(-5 - -4).  Let u = 101 - m. Let q = 0.01 + 1.99.  Put 0.2, q, u in decreasing order. 
q, 0.2, u
Let d = 0.021 + 0.379.  Put -4, -5/4, d in descending order. 
d, -5/4, -4
Let k be -2*3*(-2)/102.  Sort k, -4, 1/2 in decreasing order. 
1/2, k, -4
Suppose 0 = 4*t - 2*t - 12.  Suppose -z - 25 = -t*z.  Put -4, z, 0 in decreasing order. 
z, 0, -4
Let d = 5 - 8.  Let w be -1*3/9*d.  Sort -1, -4, w.
-4, -1, w
Suppose -v + 6 = -4*n - 22, 0 = -3*v.  Put -1, 0, 3, n in increasing order. 
n, -1, 0, 3
Let w = 91 - 89.  Let u(f) = f + 7.  Let q be u(-4).  Put w, 5, q in descending order. 
5, q, w
Let b = -0.6 + -2.4.  Let h(k) = k**3 - k + 13.  Let q be h(0).  Suppose -5*u + 21 = -n + 49, -2*u = -n + q. Sort -0.3, b, u in ascending order. 
u, b, -0.3
Suppose 3*x = 9*n - 6*n - 3, 4*n - 2*x = 2.  Sort -3, -1, 4, n in descending order. 
4, n, -1, -3
Let z be (-1)/4 + 52/16.  Let u = -37 - -46.  Sort z, 0, u.
0, z, u
Suppose -5*z - 7 = 8.  Suppose 5 + 7 = -b.  Let j be ((-9)/6)/(b/(-16)).  Sort z, j, 2 in descending order. 
2, j, z
Let f = 2.6 + -2.1.  Suppose 8 = 4*g - 24.  Suppose -g = -m + 3*m.  Put f, m, -2/3 in ascending order. 
m, -2/3, f
Let f(i) = i - 1.  Let o be f(5).  Let u be 9/3*12/9.  Suppose 0 = -2*g - 6, -4*x + 9 + 3 = -u*g.  Put x, 5, o in increasing order. 
x, o, 5
Let r be 1/(2/(-2)) + 3.  Suppose l + r*l + 6 = 0.  Sort 3, 1, l in increasing order. 
l, 1, 3
Let u = -359/5 - -72.  Let l = -9 + 37/4.  Sort -3, l, u in descending order. 
l, u, -3
Let b = 26 + -26.  Put b, 1, 4 in descending order. 
4, 1, b
Let t = 0.1 + -0.08.  Let l = 1 - 1.42.  Let c = t + l. Sort 3, c, 1 in decreasing order. 
3, 1, c
Suppose -5*y - 17 = -k + 4*k, 0 = -y + 2*k - 6.  Put y, -5, -1/77, 2/11 in decreasing order. 
2/11, -1/77, y, -5
Let q = -17.956 - 0.044.  Put 0.2, 1/3, -1/5, q in decreasing order. 
1/3, 0.2, -1/5, q
Let x(c) = c**2 - 7*c.  Let b be x(7).  Sort 7, 1, b in ascending order. 
b, 1, 7
Let o be 3/(9/2)*-3.  Let v be 2/5 + o/5.  Put v, -3, 2 in increasing order. 
-3, v, 2
Let i be 4/(-6) - (-12)/9.  Suppose 9 = 2*h - 5*f, -4*f = 5*h - f - 38.  Let x = h + -10.  Put x, 4/5, i in increasing order. 
x, i, 4/5
Let p = -1.9 - -4.9.  Sort 0.1, p, -3/7 in descending order. 
p, 0.1, -3/7
Let o = 201.97 - 201.  Let x = o + 0.03.  Put 3/7, x, -2/11 in decreasing order. 
x, 3/7, -2/11
Let d = -14 - -9.  Suppose 9 = -2*u + 17.  Put d, u, 2 in descending order. 
u, 2, d
Suppose -27 = -8*j - 3.  Let q be 3*(-4)/(-3) - 2.  Put 1, j, q in descending order. 
j, q, 1
Let j be (-9)/(-3) + -1 + -1.  Let b(s) = -s**3 + 12*s**2 + 14*s - 8.  Let w be b(13).  Sort w, j, -2 in decreasing order. 
w, j, -2
Let v be (2/2)/(2 - 6)*2.  Put 1/3, v, -0.3 in increasing order. 
v, -0.3, 1/3
Let f = -19/6 - -9/2.  Sort 0.5, -0.2, 0, f in decreasing order. 
f, 0.5, 0, -0.2
Suppose -5*c = -5 - 0.  Suppose -c = -o + 3.  Suppose -b = l + l + 6, -4*b + 2*l = o. Sort b, -1, 0 in descending order. 
0, -1, b
Let p(r) be the second derivative of -r**4/4 - r**3/6 - r**2/2 - 2*r.  Let w(y) = -y**3 + y**2 - y - 1.  Let z be w(0).  Let d be p(z).  Sort 0, d, -1. 
d, -1, 0
Let w = 4 - 5.  Sort w, 4, -5. 
-5, w, 4
Let v(s) = 4*s + 0*s + 7*s**2 - 5*s.  Let w be v(1).  Suppose -3*z - 6 = f, -w*z + 3*z = -4*f - 9.  Sort 4, z, 0 in descending order. 
4, 0, z
Let f = 3/7 + 1/14.  Let r(m) = 7*m**3 + m**2 - m - 1.  Let p be r(-1).  Let y be (-2 - -3)/(2/p).  Sort f, y, -0.3 in ascending order. 
y, -0.3, f
Let i(r) = -r**3 + 5*r**2 - 4*r - 2.  Let n be i(4).  Let c = n + -1.  Suppose m + 8 = 4*m + 4*j, -8 = 5*m - 4*j.  Sort -8, c, m.
-8, c, m
Let g = -7 + 11.  Suppose 4*a - 50 = -18.  Let l = 9 - a. Sort g, -4, l in ascending order. 
-4, l, g
Let o = 0 - 0.21.  Let l = 0.01 + o. Sort -2/9, l, 2 in ascending order. 
-2/9, l, 2
Let x(r) = -r**2 - 7*r + 8.  Let f = 20 - 28.  Let q be x(f).  Suppose q = 5*w + 10 - 0.  Put -3, 4, w in decreasing order. 
4, w, -3
Suppose 4*x + 20 = -4*y, 3*x + 7 = -y - 0*y.  Put x, -2, 2 in descending order. 
2, x, -2
Let n(l) = l**2 - 4*l + 5.  Let m be n(5).  Let p = m + -12.  Put 8, 3, p in increasing order. 
p, 3, 8
Let j = 24 - 22.  Suppose 0 = -j*m - 3*m - 15.  Suppose -1 = 3*i + 5.  Sort i, 3, m in descending order. 
3, i, m
Let n(t) = -t**2 - 12*t - 12.  Let i be n(-9).  Put 0.2, i, 1, 0 in decreasing order. 
i, 1, 0.2, 0
Let p = -3.5 + 2.4.  Sort 1, p, 3, -4 in descending order. 
3, 1, p, -4
Let l(a) = -3*a - 31.  Let z(d) = -5*d - 47.  Suppose 4*f = 2*f - 10.  Let y(x) = f*z(x) + 8*l(x).  Let i be y(9).  Sort i, 3, -3 in descending order. 
3, -3, i
Let r(v) = -3*v**2 + v - 1.  Let z be r(1).  Let h = z - -5.  Let u = 0 - 5.  Sort 4, u, h in decreasing order. 
4, h, u
Let b(y) = y**2 + 4*y - 5.  Let j be b(-5).  Suppose 3*v - 12 = -0*v + 3*f, 0 = -2*v - f + 8.  Put v, 5, j in descending order. 
5, v, j
Let o = 24 - 24.3.  Let d = 0 + -0.5.  Put o, 5, d in descending order. 
5, o, d
Let l(p) = -p**2 + 15*p + 35.  Let f be l(17).  Let x = -8 + 11.  Sort -1, x, f in ascending order. 
-1, f, x
Let n be (-38)/3 - 2/(-3).  Sort 4, -3, n in decreasing order. 
4, -3, n
Suppose 0 = -2*r + 8 + 2.  Suppose 2*h + 9 = -5.  Let p = h + 2.  Put r, -4, p in decreasing order. 
r, -4, p
Let y = 0.01 + 0.29.  Let q be 2/(-8) + 7/(-28).  Let f = 13 - 8.  Put y, q, f in decreasing order. 
f, y, q
Suppose -5*s + 5 = -15.  Suppose 2*m + 3*r + 2 = 0, -2*m = 2*r - 6*r + 16.  Put s, m, 5 in decreasing order. 
5, s, m
Let m = -9.9 - -10.3.  Let w = 23 + -255/11.  Sort w, 0.1, m.
w, 0.1, m
Let i(y) = -y - 8.  Let q be i(6).  Sort 3, q, 5 in descending order. 
5, 3, q
Let j(m) = m**2 - 9*m - 23.  Let f be j(11).  Suppose d + 3*d - g - 18 = 0, 5*d + g = 18.  Let c = d - f. Put -3/8, 0, c in descending order. 
c, 0, -3/8
Let i = -3.8 - -4.  Sort i, 3/5, 0 in decreasing order. 
3/5, i, 0
Let v(i) = 6*i**3 + 2*i**2 + i. Let j be v(-1).  Sort 0, -4, -1, j in ascending order. 
j, -4, -1, 0
Let x = 0.02 - 0.02.  Let v = 13/30 + 9/10.  Put x, 0.1, v in decreasing order. 
v, 0.1, x
Let d(h) = h**3 + 2.  Let y be d(2).  Suppose -2*z = -7*z + y. Put z, -5, 3 in increasing order. 
-5, z, 3
Let g be (-42)/(-12) - (-2)/(-4).  Suppose 2*b - y - g = 0, 5 = 3*y - 4.  Put 4, 2, b in descending order. 
4, b, 2
Let d be -1 + (-3)/12*2.  Let n = 1.2 - 1.5.  Sort d, n, -1 in ascending order. 
d, -1, n
Let q = -0.13 - 1.07.  Let l = q - -1.  Let a be 4*1/20*-2.  Put l, -2/7, a in descending order. 
l, -2/7, a
Let k = -6.1 - -1.1.  Sort 2/3, k, -3, 3. 
k, -3, 2/3, 3
Let o(q) = -5*q**3 + 6*q**2 - 4*q - 15.  Let r(u) = -6*u**3 + 5*u**2 - 3*u - 16.  Let y(d) = -5*o(d) + 4*r(d).  Let w be y(9).  Put -3, -1, w in increasing order. 
-3, -1, w
Suppose 0 = 13*g - 18*g - 95.  Put g, -1, 1 in decreasing order. 
1, -1, g
Let f(n) = -3*n - 53.  Let x be f(-18).  Put 1/10, -6, x, -2 in descending order. 
x, 1/10, -2, -6
Let q = -6 - -3.  Sort 1, -2, q in ascending order. 
q, -2, 1
Let k = 3.05 + -0.05.  Sort 4, k, 0 in decreasing order. 
4, k, 0
Suppose -2*r + 1 + 1 = 5*u, 0 = 4*r - 2*u + 20.  Let s be 32/14 + r/14.  Let o be (-1)/2*8/18.  Sort 0.2, o, s in increasing order. 
o, 0.2, s
Let m = 13 + -18.  Let q = -2572/13 - -198.  Put m, -2, q in descending order. 
q, -2, m
Let d be (-65)/(-26)*6/(-5).  Put d, 0.4, 8 in decreasing order. 
8, 0.4, d
Suppose -3 = 2*u - o, -o + 10 = -5*u + 1.  Suppose s - 2 = m, 5*s + 0*m = -3*m + 26.  Put -5, s, u in decreasing order. 
s, u, -5
Let r(x) = -x**3 - 13*x**2 + 3.  Let l = -20 - -7.  Let k be r(l).  Sort -2, k, 1 in descending order. 
k, 1, -2
Suppose -4*j + 3*o - 5 = 0, 3*o + 3 = -3*j - 6.  Sort 3, j, -5. 
-5, j, 3
Let n = 12 + -5.  Suppose 0*w - 3*w = 5*h + 5, -3*h = w + n. Let j = 1/38 - -31/266.  Sort j, w, 2/3. 
j, 2/3, w
Let z = 5 - 2.  Let m(a) = -a**3 - 7*a**2 - 8*a - 7.  Let i be m(-6).  Let d be (2 + -1)*1*1.  Sort d, i, z in decreasing order. 
i, z, d
Suppose 5*u - 4 = 4*z, -5*z + 20 + 4 = u. Suppose 5*w - y - 15 = -6*y, -5*w + 6 = -z*y.  Sort -3, w, 5 in descending order. 
5, w, -3
Let r(l) = -l**3 + 6*l**2 - 21.  Let g be r(5).  Sort -3, g, 1, 0.5. 
-3, 0.5, 1, g
Let z = -36 - -20.  Let s = z - -11.  Let u = s + 2.  P