order. 
a, 0, j, -0.5
Let n = -5122.4 - -5126.  Sort -1, n, 6 in decreasing order. 
6, n, -1
Suppose -138*w + 8 = -146*w.  Let g(f) = -f**2 + 1.  Let t be g(w).  Put -0.4, 2/5, t in increasing order. 
-0.4, t, 2/5
Let a = 8.08 + 0.5.  Let s = 3.58 - a. Sort s, 7/3, -0.5, -3 in ascending order. 
s, -3, -0.5, 7/3
Suppose 211*a = 236*a - 35 + 10.  Suppose 0 = -8*s + 5*s - 174.  Put s, -5, a in increasing order. 
s, -5, a
Let c = 7.5 - -52.5.  Let k = c + -122.  Let n = k + 62.01.  Sort n, 5, -4. 
-4, n, 5
Let p = -0.03 + -0.57.  Let l = -483 - -330.  Let t = l + 156.  Put 2, t, p in decreasing order. 
t, 2, p
Let l = 101.83 - 0.83.  Let t = l + -103.  Sort t, -4, -1 in decreasing order. 
-1, t, -4
Let j = 49 + -49.1.  Suppose -h - 15 = 3*a, -a + h + 6 - 11 = 0.  Put a, -0.4, 0, j in increasing order. 
a, -0.4, j, 0
Let a be (-537)/435 - 1/5*-1.  Let q = a + 151/174.  Let g = 0 + -0.1.  Put q, g, 23 in decreasing order. 
23, g, q
Let x = 0.2 - 0.3.  Let s = -9423 + 9408.  Put 3, s, x in descending order. 
3, x, s
Let l = 8/61 + 18/793.  Let n be (1140/5016)/(1/4 - -1).  Sort n, 0.4, l in ascending order. 
l, n, 0.4
Let u = -2282 - -2281.6.  Let k = 0 - -5.  Suppose -19 = k*g + 6.  Put u, 1, 2, g in decreasing order. 
2, 1, u, g
Let r = -0.105 - 0.045.  Let z = r + -0.66.  Let w = z + 1.01.  Sort -0.2, -3, w, 0.3 in decreasing order. 
0.3, w, -0.2, -3
Suppose -5*y - 329*d + 331*d = 4, y - 20 = 3*d.  Let m = 5 - -12.  Sort m, 1, y, 5 in ascending order. 
y, 1, 5, m
Suppose -4*x + 11 + 5 = 0.  Suppose -57*p = -55*p - 40.  Suppose -27*k + 7 = -p*k.  Sort x, k, -1 in decreasing order. 
x, k, -1
Suppose -140*r + 528 = -96*r.  Put 2, 1, 2/19, -5, r in increasing order. 
-5, 2/19, 1, 2, r
Let j(r) = r**2 + 7*r + 4.  Let x be j(-6).  Suppose -4*a - q + 5*q + 680 = 0, -4*a + 5*q + 680 = 0.  Suppose -172*v = -a*v + 2.  Put -4, x, v in increasing order. 
-4, x, v
Let a = -35 + -10.  Let q = a - -48.  Suppose -s - q*n - 12 = 0, -4*s + 3*n = -n.  Put 1, -2, 4, s in descending order. 
4, 1, -2, s
Let i = 516 - 444.  Let n be ((-1)/(-5))/(i/120).  Let l be -2 - ((-11)/10 + -1).  Sort n, l, 2/3 in descending order. 
2/3, n, l
Let f be (-8)/(-4)*(-2)/4.  Let q = 8910 + -8896.  Put -4, q, 3, f in ascending order. 
-4, f, 3, q
Let b = -1.691 - 0.309.  Let v be ((-3)/9*3)/3.  Put b, 0, v in descending order. 
0, v, b
Let g(z) = -z**3 + 2*z + 1.  Let m be g(-1).  Suppose m = 6*r - 2*r - 20.  Let x = -183/41 + 997/205.  Sort 1/9, r, x in descending order. 
r, x, 1/9
Let t be -3 - ((-1764)/35)/12 - 1.  Sort 0.3, -0.8, 15, t in descending order. 
15, 0.3, t, -0.8
Suppose 0 = -5*w + 5*g + 5, -3*w - 114*g = -118*g - 8.  Put 616, 0, 4, w in ascending order. 
w, 0, 4, 616
Let y be (1 + -9)/(0 - -1).  Let x = y - -3.  Let m = 3299 - 3295.  Sort 1, -1, m, x.
x, -1, 1, m
Let v be -30*(-4)/40*1/(-3).  Sort 1, 5, v, -3/5 in descending order. 
5, 1, -3/5, v
Let r(j) = -4*j**2 + 15*j + j + 5*j**2 + 43.  Let m be r(-13).  Suppose 4*u = -1 - 3.  Sort u, m, -3, 2. 
-3, u, 2, m
Let k(j) = j - 1.  Let d be 3/5 - (-2)/5.  Let f be k(d).  Let n = -690321 - -690332.  Put n, -5, -3, f in increasing order. 
-5, -3, f, n
Let q = -27 + -328.  Sort 0, 5, 3, q in decreasing order. 
5, 3, 0, q
Suppose 8*v + 4*j = 4*v - 40, 45 = -2*v + 3*j.  Let o be (-1*1)/((-33)/v + -2).  Let k be (-45)/(-20) + (2/(-8))/1.  Put k, o, 0, 4 in descending order. 
4, k, 0, o
Let o(d) = 2*d + 1.  Let s be o(-3).  Let a = 0.42 - 2.42.  Let c be 15/(-10)*(-6)/(-15).  Sort c, s, a in descending order. 
c, a, s
Let q = 210.257 - 211.  Let w = -1.743 - q. Put -2/9, w, 3/8, -2/5 in increasing order. 
w, -2/5, -2/9, 3/8
Suppose -10307*z = -9611*z - 13224.  Let i be 1/2 - (-15)/2.  Put 1, z, i, 0 in ascending order. 
0, 1, i, z
Let x be (-6)/9*1/(-5).  Suppose -4*g + 7 = -9.  Let o = 818 + -4094/5.  Sort -0.2, g, o, x in decreasing order. 
g, x, -0.2, o
Suppose -80 = -4*f - 0*f.  Let n be (-6)/4 + ((-50)/f - -2).  Let m = 29 + -60.  Sort m, n, -3 in decreasing order. 
n, -3, m
Let z = -2268 + 2264.  Let s = -4.8 + 1.8.  Put s, -0.2, 1/4, z in descending order. 
1/4, -0.2, s, z
Suppose -4*c - 33 = 3*j, -24 = 8*j - 10*j + 5*c.  Put 20, j, 3, -5, -4 in decreasing order. 
20, 3, j, -4, -5
Let d = -39731 + 39588.  Put 12, d, -1 in decreasing order. 
12, -1, d
Let f = 15.426 + 0.274.  Let a = 6.3 + f. Sort a, -2, 1/8 in descending order. 
a, 1/8, -2
Let n = -312 - -296.  Let w(y) be the second derivative of y**4/12 + 8*y**3/3 + 2*y**2 - y. Let i be w(n).  Sort 5, i, -1, -5 in decreasing order. 
5, i, -1, -5
Suppose 50*u - 53*u = -3*r - 3, -2*u - 14 = 2*r.  Let w(s) = 4*s**2 - 13*s + 2.  Let v be w(3).  Let p(c) = 2*c + 6.  Let q be p(-3).  Sort q, -4, u, v.
-4, u, v, q
Let t = -1.0435 + -2.9565.  Sort 2, -392, -2/7, -1, t in descending order. 
2, -2/7, -1, t, -392
Let a be (20/15)/(2/(-12)).  Let t = 8900 + -8905.  Put t, a, 2 in descending order. 
2, t, a
Let v = 13521/8 + -1690.  Put -0.4, -0.1, 2/19, v in descending order. 
v, 2/19, -0.1, -0.4
Let h be 33/(-66) - (-58)/100.  Let r = -5.019 + 0.019.  Sort r, h, -0.5, 3 in ascending order. 
r, -0.5, h, 3
Let b be (-16)/24 + (-3093)/(-9).  Let p = -683/2 + b. Sort p, 0.2, -5, -0.5 in decreasing order. 
p, 0.2, -0.5, -5
Let u = 4.8122 + 0.1878.  Sort 118, -0.5, u.
-0.5, u, 118
Let b = 41.274 - 15.274.  Suppose 0*c + 2*c = -8.  Put c, b, 5, -0.3 in descending order. 
b, 5, -0.3, c
Let z be (5/20)/((-1)/2).  Suppose -714*c = -730*c - 48.  Put c, -1/5, z, 3/8 in descending order. 
3/8, -1/5, z, c
Let q = -4137 - -28974/7.  Put -2, -5, -1, 5, q in ascending order. 
-5, -2, -1, q, 5
Suppose -21 = -5*t - 11.  Suppose 0 = 4*h + 5 - 13.  Let m be ((-1)/(5/25))/(h/8).  Sort 4, t, m in increasing order. 
m, t, 4
Let m = 2086/6213 + -5/2071.  Put 7, m, -0.2, 1/4, -5 in increasing order. 
-5, -0.2, 1/4, m, 7
Let u(w) = w**2 - 3*w - 43.  Suppose -137*b + 15 = -140*b.  Let c be u(b).  Put c, -6, -2 in decreasing order. 
-2, c, -6
Suppose 8*v - 4*v - 10 = 5*p, 3*v = 4*p + 7.  Suppose -j = -2*j - p*u - 5, -2*j = 3*u + 7.  Let r be 2 - 1 - (-5 - 1).  Sort j, -3, r, -2 in descending order. 
r, j, -2, -3
Let p be (-34)/(-8) + 3/(-12).  Put -2, -1, 0, -5, p in descending order. 
p, 0, -1, -2, -5
Let c(z) = -z**3 + 21*z**2 - 21*z + 30.  Let i be c(20).  Sort -3, i, -4, 2 in decreasing order. 
i, 2, -3, -4
Suppose -58 = 3*g + u, 48*g - 45*g = -4*u - 61.  Sort 0, 5, g, -5, -2 in decreasing order. 
5, 0, -2, -5, g
Suppose 0 = -4*v + 10*v - 108.  Suppose -5*i - 4*i + 45 = 0.  Put v, i, 3, -2 in descending order. 
v, i, 3, -2
Suppose 11 = -3*w + q, 4*w = 5*q - 3*q - 18.  Let x = 317 + -341.  Let u be (x/15)/((-1)/(-5)).  Put u, w, -4 in descending order. 
w, -4, u
Let a = 21386 + -21381.  Sort -0.4, -1836, a in ascending order. 
-1836, -0.4, a
Let n = 222846 + -222832.  Suppose -3*m + 5 + 10 = 0.  Put m, n, 3 in decreasing order. 
n, m, 3
Let o = 8 + -5.  Let f be 1*4 - -3*82/(-6).  Let w be -34 - f - 2/(-2).  Sort -5, o, w.
-5, o, w
Let c(i) = -i**3 + 4*i**2 + 20*i + 31.  Let k be c(-5).  Let d be 11/(-3) + -9 + k/18.  Let u be 4 - (-2 - -4 - 2).  Sort 5, 0, u, d in descending order. 
5, u, 0, d
Let r = -26505 - -26509.  Let y be 52/8*(-3)/(-5).  Let g = 27/5 - y. Sort g, 14, r in decreasing order. 
14, r, g
Let p = -3366 + 3364.  Sort 0, 6, 5, p, -8 in ascending order. 
-8, p, 0, 5, 6
Let z = -13980 + 13996.  Put z, 7, -1, -2 in decreasing order. 
z, 7, -1, -2
Let v be 20/130 + (-38)/78.  Let c = -4.64 + 21.46.  Let a = c + -0.82.  Sort a, -4/9, v, 0.3 in increasing order. 
-4/9, v, 0.3, a
Let b = 603.61 - 605.  Let h = 1.39 + b. Sort 4, h, -2 in descending order. 
4, h, -2
Suppose 29*k - 14 = -35*k + 62*k.  Put -12, k, 1, -4 in increasing order. 
-12, -4, 1, k
Suppose -x = 3 + 2.  Let v be 0 - 3 - (3 + -4 + 2).  Let o(q) = q**3 + 3*q**2 - 3*q.  Let c be o(v).  Sort -2, x, c in ascending order. 
x, c, -2
Let i(c) = 2*c**2 - 4*c + 4.  Let g be i(1).  Let n be (-30)/4*8/g. Let z = n - -26.  Put 0.4, 1/7, -0.3, z in ascending order. 
z, -0.3, 1/7, 0.4
Let u(k) = -31*k + 253.  Let j be u(8).  Let m = 10 - 21.  Let q = m + 11.03.  Put j, q, -3 in descending order. 
j, q, -3
Let p = 93 - 193.  Let o = -109 - p. Put 3, o, -0.2, -2 in decreasing order. 
3, -0.2, -2, o
Let z = -2577/94 - -398175/658.  Let d = z + -578.  Let w = 2.8 - 3.  Sort d, 1/13, w, 1/5 in decreasing order. 
1/5, 1/13, w, d
Let w be ((-1261130)/(-450))/(-13) + (-2)/9.  Let o = -216 - w. Sort 5, -0.03, -1/7, o in increasing order. 
o, -1/7, -0.03, 5
Let f = -9811 - -981