et x(t) = t**3 + 7*t**2 + 5*t - 1. Let h be x(-6). Sort h, -2, u, -5.
-5, -2, u, h
Let w = 15 + -15. Let s = -0.0639 - -0.1639. Sort -0.3, s, w, -5/6.
-5/6, -0.3, w, s
Let y = -845.1039 + 0.1039. Let o = y + 844.95. Put -0.2, -6, -0.4, o in decreasing order.
o, -0.2, -0.4, -6
Let x = -14.4 - -10.23. Let k = x + 0.17. Sort -5/3, 3, k in ascending order.
k, -5/3, 3
Let a be -1 + 13 - (42 + -25). Put -3, 2, -2, -23, a in decreasing order.
2, -2, -3, a, -23
Let n be 7 - (13 - (-30)/(-10)). Suppose -3*z - 2*z - 5*o = 0, 5*z + 4*o = 0. Suppose -2*j - 3*b = 2*b + 2, -5 = 5*j + 3*b. Sort z, j, n in decreasing order.
z, j, n
Suppose 0 = 4*w - 132 + 156, -5*i = -4*w - 4. Sort i, 5, -245 in descending order.
5, i, -245
Let g = 3160.6 + -3161. Sort g, 3, 55 in decreasing order.
55, 3, g
Suppose -z + 16 = -4*k + 3, -3*z - 29 = 5*k. Put -1, 3, 4, k, 9 in descending order.
9, 4, 3, -1, k
Suppose -14*s + 222 = -90*s - 35*s. Sort -37, -1, 32, s in increasing order.
-37, s, -1, 32
Let r be ((-141)/235)/(9/(-6)). Sort r, 1/8, 0.2.
1/8, 0.2, r
Let o(m) = -2*m + 2. Let c(n) = 42*n - 105. Let h(q) = -c(q) - 18*o(q). Let j be h(16). Sort 4, j, 2.
j, 2, 4
Let u = 121.42 + -127.367. Let j = 0.053 - u. Sort 1, 3, j in increasing order.
1, 3, j
Let d = 17.33 - -2.97. Let u = -22.3 + d. Sort -0.5, 1.1, u in ascending order.
u, -0.5, 1.1
Let h = -5.41 - -6.41. Let d = -292 - -291.9. Let a = -2 - -1. Sort a, -3, d, h in decreasing order.
h, d, a, -3
Let r = 24.58 + -24.598. Put r, -3/2, -0.3 in ascending order.
-3/2, -0.3, r
Let h(a) = 168*a - 1175. Let o be h(7). Put 6, -6, o, 5 in increasing order.
-6, o, 5, 6
Let o = 36 + -38.5. Let s = o + -22.5. Let z = 31 + s. Put 3, z, -2 in descending order.
z, 3, -2
Suppose 541*s = -551*s + 235*s + 857. Let c = -5 + -11. Let p = c + 24. Sort p, -4, -5, s in increasing order.
-5, -4, s, p
Let z(r) = r**2 - 5*r - 16. Let x be z(-2). Let j(f) = -f**2 + 36*f + 73. Let m be j(x). Sort 14, 2, m in decreasing order.
14, 2, m
Suppose -174 = -117*n - 525. Let a be (-3 + 5)*-1 + 12. Let y = a + -7. Put y, n, -1 in descending order.
y, -1, n
Suppose -6*w - 15 = -11*w. Let a = 658 + -658. Let t = -3.9 - 0.1. Put w, t, a in descending order.
w, a, t
Let g(v) = -26*v - 1894. Let x be g(-73). Suppose -5*i + 9 = -1. Sort x, -94, i in decreasing order.
x, i, -94
Let z be (-7 - (5 + 15*4/(-6)))/15. Sort 5, -2, z, -9, 2/5 in decreasing order.
5, 2/5, z, -2, -9
Let l = -219 - -302. Let i = -87 + l. Sort i, 0.8, 0.06.
i, 0.06, 0.8
Suppose 4*o - 221 = -3*c - 194, -c = 2*o - 13. Put -3, c, 5, 4, 1451 in descending order.
1451, 5, 4, c, -3
Let l = 8059 + -8061. Let f = -0.1 - -0.3. Sort l, 5, -5, f in increasing order.
-5, l, f, 5
Suppose -3*o - 4 = 26. Let f be -1 + (-135)/(-129) + (-19722)/2451. Sort -1, 3, o, f in ascending order.
o, f, -1, 3
Suppose 3*b - 3 = -2*w, 68 = 5*w + 68. Sort -42, 73, b in increasing order.
-42, b, 73
Suppose j = -0*j + 4*f + 6, -3*j - 5*f = -35. Let w = 0.0756 + 65.2244. Let x = w + -69.3. Put 1/3, x, j in ascending order.
x, 1/3, j
Suppose 5*j - 20 = -5*o, 7*o - 2*o = 2*j - 43. Suppose -h = j - 4. Let i(m) = -8*m - 2. Let a be i(-1). Sort a, h, -4 in decreasing order.
a, -4, h
Suppose -14*f + 20*f - 2*d - 72 = 0, 27 = 3*f - 4*d. Put -111, f, 4 in descending order.
f, 4, -111
Let y = -74.1 - -99. Let x = y + -24.7. Put -2/3, 0.4, -0.1, x in decreasing order.
0.4, x, -0.1, -2/3
Suppose 26 = -11*l - 4*o + 14, -15 = -3*l + 5*o. Suppose 0*n - 3*n + 5*r - 4 = 0, 53 = 4*n + 5*r. Let p = 10 - n. Sort -2, l, -4, p.
-4, -2, l, p
Let g(d) = -2*d**2 + 8*d - 5. Let q be g(4). Sort 16, 2, q in descending order.
16, 2, q
Suppose -r = -k + 4, 30 = -5*k + 4*r - 9*r. Let c = -22297/8 + 2787. Let t = 14 - 19. Sort t, c, k in ascending order.
t, k, c
Let p(w) = 1236*w + 11616. Let v be p(-9). Sort -1/7, v, 0.5 in descending order.
v, 0.5, -1/7
Let t = 5481 - 5414. Sort 0, 5, t, 4 in increasing order.
0, 4, 5, t
Let d = -1124.3 - -1179. Let n = -25 - 30. Let p = n + d. Sort 0.3, p, 0.03 in descending order.
0.3, 0.03, p
Let o = -34.728 - -34.758. Sort 0.4, 0, 0.2, -0.71, o in decreasing order.
0.4, 0.2, o, 0, -0.71
Let j = -20.612 + 20.5. Let s = j + 2.112. Put 0.06, 0, s, -2/3 in descending order.
s, 0.06, 0, -2/3
Let s = -11086 - -11078. Let g = 5 + -2. Sort 0.1, g, s, 1 in decreasing order.
g, 1, 0.1, s
Let k(r) = -r**3 - 4*r**2 - 3*r + 3. Let a be k(-2). Suppose 17*x - 18*x = 0. Sort a, x, -18 in descending order.
a, x, -18
Let f be -57*15/((-1125)/(-10)) + 15/25. Sort -13, f, 5 in ascending order.
-13, f, 5
Let m = -4 + 2.6. Suppose 5*g + x + 2*x = 208, -4*g + 167 = 3*x. Let t = g + -38. Sort 0, t, -5, m in decreasing order.
t, 0, m, -5
Let g = -1700 - -1704. Sort -2, -1, 0, g in increasing order.
-2, -1, 0, g
Let n be (-63)/84 - (-19382)/(-56). Let r = n + 347. Put 0.5, r, -0.1, -0.2 in descending order.
0.5, r, -0.1, -0.2
Let d = 2482.9 + -2483.2. Put d, 0.386, -1/8, -0.1 in ascending order.
d, -1/8, -0.1, 0.386
Let d(w) = w**3 - 4*w**2 - 12*w + 3. Let b be d(6). Suppose 0*l + z + 1 = -b*l, z = 3*l - 7. Put -19, 3, l in increasing order.
-19, l, 3
Let m = -78 + 66. Let z be (-40)/m + -2 + -1. Let n = -202/55 + 36/11. Sort z, 0.5, n in decreasing order.
0.5, z, n
Suppose 0 = -5*t + i - 7, -5*i + 24 = -5*t + 9. Let l(m) = -m**3 + 6*m**2 + 2*m - 8. Let b be l(6). Suppose p + 0 = -b. Put p, t, -2, 0 in decreasing order.
0, t, -2, p
Let j = -14.115 + 13.815. Put j, 6, 4, -8, -2 in descending order.
6, 4, j, -2, -8
Let n = -1.02 - 10.78. Let v = -13.8 - n. Let l(w) = -2*w - 5. Let j be l(-5). Put 4, v, j in ascending order.
v, 4, j
Suppose d + 8 = 6*j - 2*j, 16 = 4*j + d. Suppose 2*o + 4*v = -j*o + 6, -3*o - v = 2. Put -4, -3, 1, o in descending order.
1, o, -3, -4
Let o = 75/14 + -109/21. Sort -723, -5, o in descending order.
o, -5, -723
Let y = -1276/2031 - 26/677. Sort y, -6/37, -0.1, -3/2, -2 in descending order.
-0.1, -6/37, y, -3/2, -2
Suppose 4*m + 2*r = 68, 4*m + 0*r = r + 62. Suppose -m*c + 15*c + 12 = 0. Let k be 2/(-15) + 4/c. Sort 0.1, 0.3, k, -0.1 in increasing order.
-0.1, 0.1, k, 0.3
Let w be -15 + (2 - (-144)/12). Put 13, -48, w in increasing order.
-48, w, 13
Let b = -1.7614 + 1.9714. Sort 1/2, 5, 2/7, -5, b in increasing order.
-5, b, 2/7, 1/2, 5
Let j be (2/6)/(2/(-6)). Let h = 4 + -3. Suppose -441*d = -430*d + 15 + 40. Put j, h, d in descending order.
h, j, d
Let s = -0.52 + -0.99. Let c = 1.01 + s. Put -1, c, 42, -0.2 in increasing order.
-1, c, -0.2, 42
Let g(r) = r**2 - 9*r + 5. Let y be g(11). Let z be (88/12)/((3/y)/1). Let t be z/(-12) + 5 + 2/4. Put t, -5, -2 in increasing order.
-5, -2, t
Suppose 2*c + 14 = 3*p + 2*p, p - 10 = -2*c. Put c, 0, -3912, 5 in decreasing order.
5, c, 0, -3912
Let r = 2607 - 2606.5. Put 3/5, r, -846, 5 in descending order.
5, 3/5, r, -846
Let w = 3.49 - 3.182. Let o = w - 0.308. Put -2/17, o, 4/17, 0.2 in decreasing order.
4/17, 0.2, o, -2/17
Let u = -7.92 + 0.03. Let w = -1794 - -1792.89. Let n = w + u. Sort n, 0.2, -2/5, 6/5 in descending order.
6/5, 0.2, -2/5, n
Let f = -18396 - -18396. Put 0.03, f, 259, -0.4 in descending order.
259, 0.03, f, -0.4
Let d = -2708 - -2707.84. Sort d, -4, 4 in ascending order.
-4, d, 4
Let q = -0.2 + 0.7. Let n be 3/6*8*49/20. Let u = n + -259/30. Put u, q, 3 in increasing order.
q, u, 3
Let a = -2257 + 2260. Put -2, -4, -7, a in descending order.
a, -2, -4, -7
Let t(j) = -j + 1. Let w be t(-1). Suppose 8 = -0*o - w*o - 4*s, -3*o - 52 = -2*s. Suppose 2 = -a + 2*z, -2*z = a - 6*a - 18. Put a, o, 1 in increasing order.
o, a, 1
Let h = -3 - -1. Let c = -193 - -195. Suppose 0 = 2*n - 2*s + 2, 0*n = -c*n + 3*s + 1. Sort 3, h, n in ascending order.
n, h, 3
Suppose 108 = -102*m + 75*m. Put -1/4, 3/7, m, -17 in decreasing order.
3/7, -1/4, m, -17
Let d = -78 + 21. Let o = d - -56.49. Let q = -0.01 - o. Sort -1, 1.3, q in increasing order.
-1, q, 1.3
Suppose -626*h + 34 = -628*h. Sort 1, -2, 0, 5, h.
h, -2, 0, 1, 5
Let k be 1*-2*(-3)/(-6). Suppose -417 = -14*p - 403. Sort 8, 4, p, k in decreasing order.
8, 4, p, k
Let z = 811 + -1889. Let y be (-735)/z + (-1)/2. Sort y, 0, -1/2 in descending order.
y, 0, -1/2
Suppose -505 = -7*g + 405. Suppose 122*p - g*p - 40 = 0. Sort p, -4, -37, 3 in ascending order.
-37, p, -4, 3
Let p(f) = f**3 - 4*f**2 + 3*f + 1. Let g 