 c = f - 125. Let p be (1/(-3))/(8/120). Sort p, c, -4, 2 in decreasing order.
c, 2, -4, p
Let w = 3343/5 + -669. Let j = 294 - 294.11. Sort -2/9, j, w in descending order.
j, -2/9, w
Let u = -7029.01 + 7029. Sort -0.4, 79, u.
-0.4, u, 79
Let t = 1.95132 + -0.03422. Let g = -0.0829 - t. Sort g, -4, 0.76.
-4, g, 0.76
Let t = 0.3 + 0.2. Let r = 6401/9 + -711. Sort 15, r, t.
r, t, 15
Let f = 2/6093 - -12172/42651. Sort 3, 137, -3/7, f in ascending order.
-3/7, f, 3, 137
Let a = 37 - -47. Let p = -86 + a. Put 2, p, 0, 1 in ascending order.
p, 0, 1, 2
Let g(o) = -o**3 + 11*o**2 + 11*o + 12. Let b be g(12). Suppose b = -r + 6 - 5. Let x(m) = -2*m - 16. Let j be x(-8). Put j, r, -13 in increasing order.
-13, j, r
Let c be 1/1*(19 + 12 - 35). Sort -1, c, 179 in decreasing order.
179, -1, c
Let s = 14 + -8. Let z = s - 3. Let k = -70692 - -70696. Put z, k, -18 in descending order.
k, z, -18
Let d = 90 - 86. Let z be (d + 1 - 4)*0. Suppose 0 = -z*k - k + 2. Put -2, -5, k, -1 in descending order.
k, -1, -2, -5
Let r = 147.4 + -166. Let v = 8.6 + r. Put -6, v, -1 in decreasing order.
-1, -6, v
Suppose -3*n = -4*o - 4*n + 160, -5*n = 20. Let f = 21 - o. Sort f, 3, 0, -1 in increasing order.
f, -1, 0, 3
Let l = -99 - -98. Suppose -f = 2*v - 3, -2*f + 6*f = -3*v - 8. Sort 2, l, v in decreasing order.
v, 2, l
Let l = -772 - -774. Sort 0, 1, 156, l in ascending order.
0, 1, l, 156
Let o be 0/((-6)/(18/15) + 7). Put 5, -23, o, -1 in increasing order.
-23, -1, o, 5
Suppose 7*c = 4*c + 3. Let t = 177/865 - 4/865. Sort 3/11, c, t in decreasing order.
c, 3/11, t
Suppose 6*h - 87 = -93. Let j be 4032/1932 - 4/46. Put j, h, 6, -22 in increasing order.
-22, h, j, 6
Let c be (-3 - -3) + (7 - 18 - -14). Sort -3, c, 2, 1 in descending order.
c, 2, 1, -3
Let d(a) = 139*a - 1666. Let n be d(12). Suppose -4*v + 3*l = 5*l - 10, 10 = -4*v + 2*l. Sort -4, v, n in descending order.
n, v, -4
Let f = 12831 - 12836. Put 8, f, 5 in ascending order.
f, 5, 8
Let y = 7 + -11. Suppose -2*h - 35 = -5*o, -15*o + 11*o + 5*h = -45. Sort 2, y, o.
y, 2, o
Let g = -8.1 - -8.2. Let l = 47.5 + -68. Let r = 20 + l. Sort r, g, -2/13, -1/4 in descending order.
g, -2/13, -1/4, r
Let c = -1120/10279 - -2/541. Let i(a) = a**2 - 19*a - 4. Let g be i(19). Put -0.6, g, c in ascending order.
g, -0.6, c
Let z be (-150984)/288 - (-6)/(-8). Let b = -522 - z. Sort b, 0.038, 0.4 in descending order.
b, 0.4, 0.038
Suppose -3*b - b + q + 36 = 0, -2*q - 27 = -3*b. Suppose -b*p + 10 = -8*p. Let j be ((-135)/p)/(-9)*(-4)/21. Put 2, -3, j, -0.2 in ascending order.
-3, j, -0.2, 2
Let a be (-6)/30*8/(80/(-25))*2. Sort 2, -6, -2, a in decreasing order.
2, a, -2, -6
Let u = 0.1 + -0.6. Let m = 174.32 - 173. Let b = -1.42 + m. Sort b, u, 2.
u, b, 2
Suppose 16 = 4*j, -2*o + 231*j - 426 = 227*j. Put -3, 2, o in decreasing order.
2, -3, o
Let v(j) = -j**2 - 24*j + 17. Let x be v(-25). Let k = 6 + x. Sort 5, -27, k in increasing order.
-27, k, 5
Let p(j) = -1639*j - 18030. Let q be p(-11). Let w = -216 - -147. Put -5, q, w in decreasing order.
q, -5, w
Suppose -35 = -4*b - 3*y, 35 = 2*b - 3*y + 8*y. Let g = 89 + -85. Let r = -2/393 - 764/4323. Sort -3, r, g, b in decreasing order.
b, g, r, -3
Let f be (-2)/4*(8 + -4). Let d be (-4 - -7 - -4)*1. Suppose 0 = -9*u + 2 + d. Put u, f, -5 in ascending order.
-5, f, u
Suppose -13*t + 3483 = 11*t + 3531. Sort t, 182, 1, -1, 3 in increasing order.
t, -1, 1, 3, 182
Let c be -1 + 2 - (4 + (-8 - -5)). Suppose -w = 2*a + 7, c = 4*a - w + 5*w + 12. Let d be 0 + -1 + 5 + -3. Sort -1, d, 4, a in increasing order.
a, -1, d, 4
Let z = -166399/11 - -15127. Put z, -0.89, 1, -9 in ascending order.
-9, -0.89, z, 1
Let p = -1898 - -1927. Sort -0.5, 2/11, -2/5, p, -0.3.
-0.5, -2/5, -0.3, 2/11, p
Let z = -341 + 389.2. Let o = z - 51.2. Put -0.4, o, 8 in ascending order.
o, -0.4, 8
Suppose 0 = -4*f - 11*f + 480. Suppose 0 = 31*t - f*t - 20. Put 2, 1, t in decreasing order.
2, 1, t
Let v be -5 - (-16)/((-32)/(-8)). Suppose 0 = 39*r + 176 + 19. Let o = -261 - -5223/20. Put o, r, v in decreasing order.
o, v, r
Suppose 0 = 8*c - 37 + 5. Let u = -0.746 - -0.846. Sort u, 1, c, -2 in increasing order.
-2, u, 1, c
Suppose 5*r + 44 - 244 = 5*a, 0 = r - 3*a - 46. Let h = -57 + r. Let v = 244 - 244. Sort v, 5, h.
h, v, 5
Let t = 902.07 + -946.2. Let s = 0.87 - t. Let z = -49 + s. Sort 4, 5, z in increasing order.
z, 4, 5
Let k(m) = m**2 - 3*m + 5. Let i be k(6). Let l be 236/12 + (-180)/(-54). Let n = i - l. Sort -2, 3, n, -5 in decreasing order.
3, n, -2, -5
Suppose -9*a + 18 = 5*m - 6*a, 0 = -5*m - 2*a + 17. Suppose -43*w = -42*w - m. Put w, 0.05, -1 in decreasing order.
w, 0.05, -1
Suppose -5*v + 9*v = 8. Suppose -4*p + 16 - 4 = 0. Let x = p - -2. Put v, 25, x in ascending order.
v, x, 25
Let l be -4*(-2)/8*-2*-2. Let c be 1/2 + (-7)/14. Suppose -4*d + 2 = -2*a, c*d + 2*d - 11 = -a. Sort a, l, 3, -1.
-1, 3, l, a
Let f = 68 + -122. Let i be 8/(-45) - 3/(f/(-4)). Let a = 362 - 364. Sort -5, i, a in decreasing order.
i, a, -5
Suppose 10*b + 208 = -782. Let n = -88 - b. Put n, -1, -3 in decreasing order.
n, -1, -3
Suppose 2*a - 159 = -10*o + 7*o, o - 64 = 3*a. Sort -9, 4, o in ascending order.
-9, 4, o
Let k = 3 - 6. Let q be (1 - -3)*(-3)/(-4). Let b = 1141240 + -1141235. Put b, q, k, -1 in decreasing order.
b, q, -1, k
Let s = 6 - 10. Let r be 4*4/(-16)*-9. Suppose -13 = r*q + 32. Sort q, s, -8.
-8, q, s
Let h = -17790 - -17789.5. Sort -475, -2/7, h in descending order.
-2/7, h, -475
Let c = 2.5 - 57.5. Let b = -67 - c. Sort 5, b, -3, 1/8 in decreasing order.
5, 1/8, -3, b
Let v = -11136 - -11104. Put -1, 1, -5, 2, v in descending order.
2, 1, -1, -5, v
Let k = -2 + 4. Let q = k + -5. Let c = 821/7 + -7403/63. Sort 3, 1, c, q in increasing order.
q, c, 1, 3
Suppose 9*d - 53 = 4*d - 4*p, 3*d + 2*p = 31. Suppose -t = -4*q - 940, d*q - 4*q + t + 1175 = 0. Sort 5, 4, q in decreasing order.
5, 4, q
Let q be ((-2)/(-8))/((-6)/(-4)). Let y = -95 - -95. Let l = -8151 - -8156. Sort q, y, l in ascending order.
y, q, l
Let v = -1716 + 1712. Put -2, v, 8, 4, 1 in descending order.
8, 4, 1, -2, v
Let c be 30*6/(-90)*-6. Suppose 3*r - c = -3*r. Sort r, 0, 5, -4 in decreasing order.
5, r, 0, -4
Let v(r) = -6*r - 45. Let h be v(-8). Suppose 4*x - h*d - 17 = 0, d = -3*x - 0 + 3. Put 1, 33, x in descending order.
33, x, 1
Suppose 5*s + 16*w + 7 = 19*w, -s - w + 5 = 0. Suppose 6 = 3*r - 6*r. Sort 4, 15, s, r in increasing order.
r, s, 4, 15
Let x = -332977 - -200452233/602. Let j be (-6)/21 + (-179)/(-602). Let s = x + j. Put s, -0.4, 4 in decreasing order.
4, s, -0.4
Suppose 3*q - 12 = -2*w, -w + 3*q = -4*w + 12. Suppose 3*n + 21 = 4*h, 4*h - 4 = -3*n - 1. Let r = -8638 + 8640. Sort w, n, r in increasing order.
n, w, r
Let t = -5 - -3. Let n(j) = -2885*j - 99 + 24 + 2867*j. Let u be n(-4). Sort 3, t, 4, u.
u, t, 3, 4
Let i be (15/6 - 0)*(-154 + 156). Sort 3, i, 1, 0.1.
0.1, 1, 3, i
Suppose -u - 2*u - 6 = 0. Suppose -3*c - 3 = -12*s + 9*s, 0 = 4*s + 5*c + 41. Let t be 9/((-126)/s)*14. Put -0.08, u, t in decreasing order.
t, -0.08, u
Suppose 4*s = 3*c + 109, 2*c + 80 = 3*s - 2*c. Suppose -s*y + 14 = -35*y. Put 3/4, y, 5 in increasing order.
y, 3/4, 5
Suppose 5*o + 4*u = -40, -5*o - 4*u - 25 = -3*u. Put 2, -167, o in increasing order.
-167, o, 2
Let o = -4714 - -4670. Sort -4, o, -1, 0 in decreasing order.
0, -1, -4, o
Let u be (-14)/49 + (-8)/(-28). Suppose -5*c = 5*z + 35, 5*c + 4 = -z - 11. Sort z, 3, u in decreasing order.
3, u, z
Let r be 2641/1463 - 96/56. Put r, -2, 3, -0.5, 0.047 in decreasing order.
3, r, 0.047, -0.5, -2
Let a = 22 + -71. Suppose -5*j - 3*w - 14 = 0, 3*j + 13 - 1 = -3*w. Put a, j, 3 in increasing order.
a, j, 3
Let r be (18/56)/(5010/34736). Put -2, -0.4, r, 2/5 in ascending order.
-2, -0.4, 2/5, r
Suppose 3*v = 2*l - 3*l + 5, -v - 4*l - 2 = 0. Let w(t) = 8*t**3 - t**2 + 4*t - 4. Let s be w(v). Suppose 0 = 8*x - 4*x - s. Put 3, 2, x in increasing order.
2, 3, x
Let h = -174 - -177. Suppose 0 = h*w - 4*t - 84, 6*w - 2*t = w + 126. Sort -2, w, 5 in decreasing order.
w, 5, -2
Let c = 36243 - 36247. Let m be 1/(-7) + 0/(-2). Sort m, c, 1 in decreasing order.
1, m, c
Suppose 3*c + c - 20 = 0. Let o = -3408 - -3402. Let p be 1/4 + (-2)/8. Sort o, p, c, -1 in increasing order.
o, -1, p, c
Suppose 3*s + 5*v