a in increasing order.
a, -2/29, w
Let b = -16 + 11. Let l = -222170 + 222171. Sort b, l, 5, 24.
b, l, 5, 24
Let i = 4.9 - 0.9. Let p be (-14 - -23)/9 - (6/2 - 3). Put -4/3, i, p in decreasing order.
i, p, -4/3
Let f be (-105)/28*68/(-51). Sort -6, 4, f, 0 in decreasing order.
f, 4, 0, -6
Let g be -35*(-5 - (-1 + (-4 - -1))). Suppose -3*c + g = 2*f, -5*f + 0*c - 3*c = -74. Put 0, -2, f, -1 in ascending order.
-2, -1, 0, f
Let k be 3/4*(-4)/1. Let r be (4/6)/((-2)/(-12)). Let b be -18*(-178)/4005 + (-14)/5. Sort 5, r, b, k in ascending order.
k, b, r, 5
Let p = -41.0783 - 0.2217. Sort -3, p, 0.1, 0 in decreasing order.
0.1, 0, -3, p
Suppose -2*y - 139 = -131. Suppose -4*r - 7 = -5*v + 2*v, v = 5*r + 6. Sort -66, v, y in decreasing order.
v, y, -66
Suppose -2*x - 5*o = 2, 0 = -15*x + 14*x + 5*o - 1. Let d = -497 + 495. Sort -5, d, x in descending order.
x, d, -5
Suppose 2 = 2*i + 3*i - 2*w, -4*w - 4 = 2*i. Suppose 30*p - 32*p = 5*g - 4, 2*p = -3*g + 4. Sort p, i, -3 in descending order.
p, i, -3
Suppose -10*k - 28 = 3*f - 5*k, -2*f = 2*k + 16. Let z be (9/f)/((-24)/(-48)). Sort 2, -4, 5, z in descending order.
5, 2, z, -4
Let t = -1111 + 1127. Sort -25, t, 2.
-25, 2, t
Suppose -4*t + 12 = -5*y + 2*y, t + 3*y = 3. Suppose -4*d = -3*f + 2, t*f - 2*f - 2*d = 0. Sort -0.4, f, -0.1, -30 in descending order.
f, -0.1, -0.4, -30
Let k = 704 + -701. Put -1, -14, 2, k in increasing order.
-14, -1, 2, k
Let b = 0.871 - -0.129. Put -1, -22, b, 0.4 in descending order.
b, 0.4, -1, -22
Let r(p) = 3*p**3 + 7*p**2 - 22*p + 2. Let d be r(-6). Sort d, -1, 1 in increasing order.
d, -1, 1
Let t be 2/12 + (-93)/18. Suppose -4*y + 36 = 5*y. Suppose -y*z + 12 = -16*z. Sort z, t, 10 in ascending order.
t, z, 10
Suppose 10 = 2*r, -28*l + 24*l - 4*r + 40 = 0. Sort 39, -4, l.
-4, l, 39
Let n be -12 + (9 - (-132)/48). Let q be 176/(-66) + (3 - 1). Let p = -21.92 - 0.08. Sort q, n, p, -1 in descending order.
n, q, -1, p
Let g = -1390 + 1384.327. Let c = g - -0.503. Let h = 0.17 + c. Sort 4, -3, h, 0 in decreasing order.
4, 0, -3, h
Suppose 0 = 13*o + 5 - 44. Suppose 4*i = 5*u - 6, o*i - u = -11 + 1. Sort 0, i, 120 in descending order.
120, 0, i
Suppose w = -492 + 493. Suppose -2*b = 5*m - 4*m - 29, -57 = -4*b - m. Suppose 26 = -3*l + 5*x - 0*x, -3*l - b = -2*x. Put 0, -4, w, l in decreasing order.
w, 0, l, -4
Let f be (110/(-25) - (-9)/(-15)) + 12. Suppose -16*w + 15*w - f = -4*r, 0 = 3*w - r + 32. Put w, 5, -29 in increasing order.
-29, w, 5
Let s(p) = -11*p - 75. Let g be s(-41). Let r = g + -381. Let y = 4/7 + 2/21. Sort -3/5, r, y, -3/4 in decreasing order.
y, -3/5, -3/4, r
Suppose r + t + 26 = 23, 4*r = -3*t - 7. Put r, -6, -13 in descending order.
r, -6, -13
Suppose 12*q - 13*q + 5*u = -25, 5*u = 2*q - 25. Suppose -2*o + 7*o = 85. Let n be 6/9 - o/3. Sort n, q, -3 in decreasing order.
q, -3, n
Let s be 27/(-5) + (-4)/(-10). Let y(i) = -i**3 - i**2 + 4*i + 9. Let h = 474 - 476. Let t be y(h). Put s, 7, t in decreasing order.
7, t, s
Let q(t) = t**2 - 13*t - 162. Let c be q(-8). Let p be (-3*c/315)/((-4)/40). Sort p, -3, 2/11, -14 in decreasing order.
p, 2/11, -3, -14
Suppose 9*q = 165*q + 312. Sort -629, q, -4 in increasing order.
-629, -4, q
Let y(q) = q**3 + 8*q**2 - 10*q - 15. Let u be y(-9). Let b be u + (4/2)/(7/14). Suppose -1 + 3 = v. Sort b, v, 5 in decreasing order.
5, v, b
Suppose 5*y - 2 = 13. Let p = -80 + 80. Suppose -15*c - 12 - 3 = p. Put y, 0, -3, c in increasing order.
-3, c, 0, y
Let j = 6 + -5. Let f(l) = l**3 - 4*l**2 + 4*l - 3. Let b be (6/9)/(1/3). Let r be f(b). Sort 5, -4, r, j in increasing order.
-4, r, j, 5
Suppose 7*r - 4 = 2*r - 4*n, -2*r = -3*n - 20. Let p be -4*9/108 - (-48)/9. Let z be ((-4 + p)/(-2))/(2/(-44)). Put z, r, -5, 3 in descending order.
z, r, 3, -5
Suppose -1 = 2*p - k, -5 = -5*p - 3*k + 20. Suppose 666*b - 667*b - 2*o = 5, 4*b = 4*o + 28. Put -5, p, -3, b in descending order.
b, p, -3, -5
Let f = 6278/3 + -2093. Put -2/3, 3/10, f, -4 in increasing order.
-4, -2/3, f, 3/10
Suppose -7*b + 10*b - 48 = 0. Suppose -25 = -b*x + 21*x. Let p = -0.568 - -5.568. Put 0, p, x, 4 in decreasing order.
p, 4, 0, x
Let f = -88 + 92.1. Let g = f + -0.1. Let d = 6512.42 - 6512.4. Put 3/8, 0.4, g, d in ascending order.
d, 3/8, 0.4, g
Let z = 548 + -552. Sort -1/2, -14, -2, z in decreasing order.
-1/2, -2, z, -14
Suppose 5*t + 53 + 97 = 5*o, 0 = -3*o + t + 86. Let v = -27 + o. Let n be (-162)/(-4) - (-1)/2. Sort v, -3, n in decreasing order.
n, v, -3
Let n(v) = -v**3 - 2*v**2 + v - 4. Suppose 49*l = 52*l + 9. Let d be n(l). Let m be (-27)/7 + 3/(-21). Sort m, -2, d, 1 in descending order.
d, 1, -2, m
Suppose 5*i + 101 = 3*d, -6*d = -3*d + 3*i - 117. Suppose 0 = -12*t + d + 23. Suppose b - 2*u - 14 + 4 = 0, 3*u = -5*b - 15. Sort t, b, 2 in increasing order.
b, 2, t
Suppose 0 = 7*s - 11*s - 2*a - 6, s + 3*a = -4. Let x(d) = 2*d**2 - 2*d - 1. Let n be x(s). Suppose 10*z = 7*z - n. Sort 1, z, -3 in decreasing order.
1, z, -3
Let n = 186.2 + 1023.8. Let q = n - 1213. Let j = -0.2 - 0. Put -10, q, -1, j in descending order.
j, -1, q, -10
Let j = -2.097 - -0.097. Let m be 8*((-6)/(-4))/(37 - 28). Sort m, j, -0.058, 2 in decreasing order.
2, m, -0.058, j
Let d(v) = v**3 + v**2 - v + 10. Let h(w) = -4*w**2 - 14*w + 27. Let q be h(-5). Let g be d(q). Let j be 1/(2*(-2)/(-4)). Put j, -28, g in descending order.
j, g, -28
Let s be (-1)/4 - 17/(-4). Let n be (4 - 224/64)*0. Put s, 146, n in ascending order.
n, s, 146
Let r = 1118 - 1154. Sort r, 1/7, 2/5, -3/2.
r, -3/2, 1/7, 2/5
Let f = -583 + 511.8. Let y = f + 74.2. Put -4, y, -6 in descending order.
y, -4, -6
Suppose -5*c = -m + 42 - 36, 5*m - 2*c = -16. Suppose -3*u - u = 20. Let b = u - -3. Put b, -9, m in descending order.
b, m, -9
Let g = -0.7106 + -2.2894. Sort g, -1/7, -5, 103/2 in descending order.
103/2, -1/7, g, -5
Let d = 27062 - 27053. Put -1, -18, 5, 0, d in decreasing order.
d, 5, 0, -1, -18
Let s(w) = -w**3 + 8*w**2 + w - 7. Suppose -5*q + 3*v = 8*v - 60, -28 = -4*q + v. Let t be s(q). Put -3, t, -2 in increasing order.
-3, -2, t
Let y(p) = -8*p**2 - 3*p - 48. Let k be y(-6). Let c = 312 + k. Sort 13, 4, 0, c in decreasing order.
13, 4, 0, c
Let a = 2.1614 + -0.1614. Sort a, -4, -0.11, 1/6 in ascending order.
-4, -0.11, 1/6, a
Let i = 1.4 - 2.32. Let f = -1.22 - i. Sort 0.2, f, 1.2 in decreasing order.
1.2, 0.2, f
Let t be 60/10*(-444)/(-8). Let o = t + -337. Sort -1, o, 3, -5 in ascending order.
-5, o, -1, 3
Let w(z) = -z - 2. Let m be w(7). Let g be (51/m)/((-6)/18). Put -5, 2, g in descending order.
g, 2, -5
Let s = 138.125 - 0.125. Let m = s + -122. Sort 0.2, m, -5 in descending order.
m, 0.2, -5
Suppose -213 = 10*q - 44*q + 93. Put -3, 5, 1, q in decreasing order.
q, 5, 1, -3
Let h = 5.014667 - 0.014667. Suppose 4*y + 0*m - 2 = 2*m, 0 = 3*y - m - 1. Sort -15, 3, y, h in decreasing order.
h, 3, y, -15
Suppose 4*z - k - 121 = 0, -3*k + 78 + 55 = 4*z. Suppose -z - 34 = 5*l. Put 1, -1, 5, l in decreasing order.
5, 1, -1, l
Let c = 8077 - 8078. Sort 0, 0.2, c, -0.4, -160.
-160, c, -0.4, 0, 0.2
Let z = -2.4 + 0. Let i = 6.4 + z. Let g = -0.012 - -0.312. Sort -0.2, g, i.
-0.2, g, i
Suppose -3*f = -2*a + 2, 3 = 3*f + a + 2*a. Let h(o) = 5*o**3 + 3*o**2 - 44 + 41 + f*o**3. Let l be h(1). Put 7, 2, l in descending order.
7, l, 2
Suppose -3*r = 6 - 0. Let v be (-24)/(-96)*(3 + -1)*(1 + 1). Sort r, -11, v in ascending order.
-11, r, v
Suppose -43 + 127 = -21*p. Sort 40, p, 0, 6 in descending order.
40, 6, 0, p
Let f(p) = 5*p**3 + 10*p**2 - 5*p - 2. Let q(j) = -6*j**3 - 11*j**2 + 6*j + 4. Let r(k) = -4*f(k) - 3*q(k). Let z be r(-4). Sort -3, z, 0, -2.
-3, -2, 0, z
Suppose -1141*n + 200 = -1136*n. Let b(o) = 2*o - 23. Let m be b(12). Put -2, n, m in descending order.
n, m, -2
Let s = -258.11 + -4.89. Let d = -261 - s. Let h = -2 - 1. Put h, 1, -0.1, d in increasing order.
h, -0.1, 1, d
Let z = -1901 + 1902. Let y = 58.97 - 59. Let b = -3.06 - -0.06. Sort b, y, 5, z in increasing order.
b, y, z, 5
Let y be 46/(-5) + (-4)/(-20). Let q = 1 - 2. Let d be ((-34 - -29) + (3 - 2/(-1)))/(-1). Sort y, q, d, -3 in ascending order.
y, -3, q, d
Let g = 563 + -568. Let h be -14 + 13 + -3*1. Sort h, 4, g, 3 in descending order.
4, 3, h, g
Let f = 2711/1130 + 1/1130. Let y = 6228 - 6227.6861. Let i = y + -0.11