, k, -1/7 in descending order.
k, -1/7, -4
Let u be 8/60 + 52/60. Let m be u/(2/(-4)) - 724/6. Let n = 125 + m. Put 2, n, 1/4 in increasing order.
1/4, 2, n
Let a be 13 + -6 - 19/((-152)/(-32)). Sort -4, 2, 0.03, a in descending order.
a, 2, 0.03, -4
Let h = -5240 + 5299. Put h, 1, 5, 2, -3 in increasing order.
-3, 1, 2, 5, h
Let p = 12 + 2. Let a be (2/3)/(41048/840 + -49). Put 1, a, -1, p in descending order.
p, 1, -1, a
Suppose 5 + 0 = l + 3*z, -1 = -z. Suppose h + 1675 = 6*f + 1707, 3*f - 20 = -4*h. Sort l, f, -12, 5.
-12, f, l, 5
Suppose -2*s - 28 = -4*s. Let z(w) = w - 3. Let i be z(3). Put s, 1, i in descending order.
s, 1, i
Let g = -136 - -171. Suppose g*h - 70 = 21*h. Sort h, 0, -6 in decreasing order.
h, 0, -6
Let t = 26066 + -26247.03. Let j = t + 181. Sort 0, 0.5, -5, j.
-5, j, 0, 0.5
Let f = 0.1 - 3.1. Let g(u) = -u**3 - 5*u**2 + 3*u - 4. Let p be g(-5). Let j(m) = -4*m - 73. Let n be j(p). Sort n, -2/3, f in ascending order.
f, -2/3, n
Let o be 2/7 + (-32)/14. Let g = -570.33 - -13.33. Let t = g + 561. Put t, 12, o in decreasing order.
12, t, o
Let x = 230 + -234. Let t be 5/5*-1*x/4. Sort 2, t, -4, -1.
-4, -1, t, 2
Let w(q) = 5*q - 5. Let c be w(2). Sort 0, c, -32, 3 in ascending order.
-32, 0, 3, c
Let a be (-190 + 192 - (-5)/((-5)/6)) + 0. Suppose 2*l = 4*q + 4 - 6, 3*q + l = -11. Sort q, -3, -1, a in increasing order.
a, -3, q, -1
Let n be (72/(-648))/(7/9). Put n, -3/5, 5, -2, -0.7 in decreasing order.
5, n, -3/5, -0.7, -2
Suppose -33 = 7*i - 5. Let a = -0.0164 + 2.0164. Put -5, i, a in ascending order.
-5, i, a
Let l = -275 + 274. Let q = -1230 + 1233. Put 0.2, q, l, 0.4 in ascending order.
l, 0.2, 0.4, q
Let g = -4368.02 + 4368. Put -0.1, 0.27, 0.4, g in ascending order.
-0.1, g, 0.27, 0.4
Suppose 3*g = 0, 5*i - 2 + 4 - 12 = -g. Let y be (26/(-4))/(((-4)/2)/(-4)). Sort -1, i, -3, y.
y, -3, -1, i
Let d = 9 + -39/4. Let j(v) = -v**3 - 15*v**2 - 17*v - 43. Let o be j(-14). Let c be (-1131)/(-390) - o/10. Put c, 2/15, d, 1 in decreasing order.
c, 1, 2/15, d
Let x be (-3 - 1) + -19 + 21. Suppose -68*r - r = 345. Put x, r, 5, -3 in ascending order.
r, -3, x, 5
Let l(y) = -y**3 - 12*y**2 + 2*y + 23. Let d be l(-12). Let v be (-16)/(-20) - d/5. Sort -2/13, -4, 2/3, v in increasing order.
-4, -2/13, 2/3, v
Suppose 0 = -19*x + 22*x - 3. Suppose 16*h + 79 = 15. Put x, -3, h, 4 in decreasing order.
4, x, -3, h
Let b = 6279 - 6287. Sort b, 0.4, 0.03, -4.
b, -4, 0.03, 0.4
Suppose 3*h - 4*c = -3, 3*h - 14*c + 3 = -18*c. Put -2, 3, 43, h in ascending order.
-2, h, 3, 43
Let l(j) = -321*j + 2877. Let d be l(9). Sort 5, d, -1/19, -3, 1 in ascending order.
d, -3, -1/19, 1, 5
Let t(u) = -15*u**3 + 5*u**2 - 4*u - 5. Let w be t(3). Let k = 374 + w. Let o = -3.6 - 0.4. Sort -1/7, k, o in decreasing order.
-1/7, k, o
Suppose -274*q + 310*q = 0. Let l = 1.7 - 1.2. Put -0.2, -0.6, l, q in descending order.
l, q, -0.2, -0.6
Suppose 282 - 408 = -18*q. Let u be (2/2)/(0 - 1). Put q, 5, u, -3 in increasing order.
-3, u, 5, q
Let c = -17008/3 - -5669. Let o = -0.98 - -1. Put 3, o, c in increasing order.
c, o, 3
Let s = 776 - 774. Let b be -9*(1/2)/((-6)/4). Sort b, 27, s in decreasing order.
27, b, s
Let c be (-12 + (-3440)/(-288))/((-16)/36). Suppose -j = 2*j - 27. Sort -1, c, j, 2 in decreasing order.
j, 2, c, -1
Let v = 7902 - 7897. Put 1, v, -1, 6 in descending order.
6, v, 1, -1
Let j = 4516 - 4515.91. Sort 0.1, j, 2/7, 0.4, 29.
j, 0.1, 2/7, 0.4, 29
Suppose -13 = 3*c + 5*k + 13, -5*c = 4*k + 26. Let j = 9 + -12. Let i(b) = -b**3 - 2*b**2 + 2*b + 1. Let a be i(j). Sort -3, a, c.
-3, c, a
Let c = -304 - -287. Let l be 1/c*172 + 2/17. Sort l, -9, -5 in decreasing order.
-5, -9, l
Let w = 107 - 111. Suppose 0 = -36*y - 4*y - 80. Sort 82, w, y in descending order.
82, y, w
Suppose 51 = 11*h - 70. Let b(r) = -r + 9. Let m be b(h). Sort 3, m, 10, 1 in descending order.
10, 3, 1, m
Suppose 157 = 3*v + 4. Let x be (-1)/(-6 - v/(-9)). Put 0.1, -1, x, 0.2 in descending order.
x, 0.2, 0.1, -1
Let m = -1091.7951 - 0.2049. Let s = -1027.1 - m. Let n = 65 - s. Put 3/2, 12, n in descending order.
12, 3/2, n
Let q = 17.11 + -17. Let b = -0.39 - q. Let k = -38.5 - -38.1. Sort b, k, -3/2.
-3/2, b, k
Let v = -1691.6 + 1691. Sort v, -0.1, -3, -7/8 in descending order.
-0.1, v, -7/8, -3
Suppose 99*m + 5*h = 101*m + 38, 4*h = -4*m + 92. Let k be (-1)/(-1) + 2 + 1. Sort -1, m, k in decreasing order.
m, k, -1
Let r = 0.021 - 2.421. Let t = r + -5.4. Let i = 5.8 + t. Sort 5, -0.03, i in descending order.
5, -0.03, i
Let v = 14 + -15. Let h be 6 + (1/v)/1. Put h, 3, 6 in decreasing order.
6, h, 3
Let h = -158 - -245. Let l = 82 - h. Suppose 5 = 3*t + 14. Sort t, 5, l, -4 in increasing order.
l, -4, t, 5
Suppose -2*s - 6 = r, -s + 4 = -4*r + s. Let w = -296796 - -296795. Let t = 0.5 + -0.3. Sort -4, r, w, t in descending order.
t, w, r, -4
Let i(c) = 2*c**3 - 22*c**2 + 4*c - 27. Let z be i(11). Sort z, -23, 3/4 in ascending order.
-23, 3/4, z
Let p(o) = 27*o - 1079. Let u be p(40). Sort u, -0.3, -28 in decreasing order.
u, -0.3, -28
Let j = -35 + 34. Let y be 72/3 + 0 + j. Suppose 9*u = -4 - y. Put u, -0.4, 3/7 in increasing order.
u, -0.4, 3/7
Let f be 2 - -2 - 0 - (16 - 0). Let p be 2*(38/f - (-2)/3). Sort -23, p, -4 in ascending order.
-23, p, -4
Let t be 2*-1*(6/36 - (-2)/6). Sort -3, 1102, t in descending order.
1102, t, -3
Suppose -53952*i = -53942*i - 320. Put -7/3, i, -0.2, 0.2 in decreasing order.
i, 0.2, -0.2, -7/3
Suppose -331*w - 389 - 466 - 138 = 0. Suppose 0 = 5*n + 20, 3*i = -2*i - 3*n + 13. Sort i, -5, -2, w in decreasing order.
i, -2, w, -5
Let n = -456 - -465. Sort -194, 4, n in ascending order.
-194, 4, n
Let d = 15.22 + -16.1. Let w = d + 0.6. Sort 0.2, w, -1/7, 4 in decreasing order.
4, 0.2, -1/7, w
Let t = 79.47 - 73.47. Put -2, t, -3/2, -6 in increasing order.
-6, -2, -3/2, t
Let t = -9905 + 29719/3. Let g be (-3)/(-9) + (-3)/9. Sort -1.5, g, t.
-1.5, g, t
Let g = 769.71 - 769. Let x = 9 - 9.3. Sort x, -5, 4, g.
-5, x, g, 4
Let w = 17 + -12. Suppose 16*q - 8 + 8 = 0. Let r be 4 - ((-58)/(-7) - (4 - q)). Sort r, -2/3, w, 10 in increasing order.
-2/3, r, w, 10
Suppose 3 = -13*r - 36. Suppose -2*q - 4*a = -4*q - 18, -q = 5*a - 5. Sort -1, q, r, 6.
q, r, -1, 6
Let a = 1438.2 + -1435.2. Sort 1/8, -53, 0.067, a, 0.1 in descending order.
a, 1/8, 0.1, 0.067, -53
Let g = -4139 + 4136. Sort 3, 1, g, 36 in decreasing order.
36, 3, 1, g
Let l(q) = -q**3 - 8*q**2 - 2*q - 11. Let r be l(-8). Let g be 12/(21 + -5 - 12). Sort 21, g, r in ascending order.
g, r, 21
Let o = 2.7033 + -3.0033. Let r = 31 + -18. Put -2, o, r, -0.5 in increasing order.
-2, -0.5, o, r
Let z = -714.9329 + -0.0671. Let t = -719 - z. Put t, -0.3, 32, -3 in descending order.
32, -0.3, -3, t
Let i = -10616 + 31846/3. Put -29, i, -0.4 in increasing order.
-29, i, -0.4
Let s = 0.16 + 4.74. Let r = s - 9.9. Put 4/7, r, 5, 2/7 in descending order.
5, 4/7, 2/7, r
Let z = -6 + 7. Let p be z + 6 + -1 + 0. Let q(n) = -3*n + 9. Let w be q(p). Put 0, w, -1 in descending order.
0, -1, w
Let q be (-3)/(-15) - (315/200)/(-9). Let z = 5/4 + -7/4. Let s be (0 + 2)/((-12)/(-2)). Sort s, q, -4, z in decreasing order.
q, s, z, -4
Let i = -67 - -64. Let h be 0/((-5)/i - (-48)/36). Sort 3, -4, h in increasing order.
-4, h, 3
Suppose 3 = -27*w + 57. Put -5, w, 25 in increasing order.
-5, w, 25
Let a(q) = 30*q**2 + 5*q + 5. Let s be a(-2). Let r = 134 - s. Sort r, 0, 1, -1.
-1, 0, 1, r
Let p = -2 + 2.1. Let m(a) = a**3 + 11*a**2 + 19*a + 1. Let l be m(-9). Put l, -4, p, 3 in decreasing order.
3, p, -4, l
Let n(l) = -5*l**3 + 3*l**2 + l - 3. Let d be n(-1). Put d, 75, 3, -4, -0.2 in decreasing order.
75, d, 3, -0.2, -4
Let t(x) = x**2 - 117*x + 1204. Let q be t(12). Sort 3, q, -1 in descending order.
3, -1, q
Suppose -1570 = 63*t - 1318. Sort -1157, t, 2 in ascending order.
-1157, t, 2
Let c = -60 + 62. Suppose -d + 8 = 4*d + c*m, 0 = -2*d - 2*m + 2. Suppose 3*k + 19 = -2*g, 5*g + 0*k = -d*k - 31. Sort 3, g, -1 in ascending order.
g, -1, 3
Suppose 2*u + 4*q = 17 - 23, 0 = 2*q + 2. Put 0, 5, -2, u, -26 in descending order.
5, 0, u, -2, -26
Let w(x) = 150*x + 5999. Let y be w(-40). Sort -1/15, -0.4, y, 0.4, 0.14 in increasing order.
y, -0.4, -1/15, 0.14, 0.4
Let y = 32 - 30. Let i = 2105.96 + -2106. Sort -2/7, i, -0.