 f, o in decreasing order.
5, 2, f, o
Let g = -6970.8 - -6971. Put -36/11, g, 1, 3, 5 in descending order.
5, 3, 1, g, -36/11
Let n(d) = -153*d - 1687. Let a be n(-11). Suppose -2*y = -3*k - 12, -y + 2*k + 5 = -1. Suppose -3*f - 15 = -y*f. Sort f, -0.8, a in descending order.
f, -0.8, a
Let z = -16458 - -16259. Sort 0.3, z, -0.3.
z, -0.3, 0.3
Let m = -110 + 107. Let a = -4 - 9. Let j = a + 12.9. Sort m, 9, j in descending order.
9, j, m
Let x = 2/1135 + -13646/14755. Let b = -47/65 - x. Sort 0.1, b, -0.11 in decreasing order.
b, 0.1, -0.11
Let z = -220661/993096 + -3/110344. Let i be ((2 - 1)/1)/(-1). Sort i, -2.2, z in descending order.
z, i, -2.2
Suppose 80 = -200*j + 184*j. Suppose 1 = -4*u - 11, 3*z - 36 = 5*u. Sort j, z, 6, 3 in decreasing order.
z, 6, 3, j
Let r be (14/35)/(9*20/(-150)). Sort r, 0, 0.1, 0.102, -5.
-5, r, 0, 0.1, 0.102
Let u be -1 - 24/(-4) - (-4)/(4/(-5)). Sort u, -5, -40, -4, 3 in descending order.
3, u, -4, -5, -40
Let d = 36 + -34. Suppose -4*l + d*i = i - 384, 4*l - 4*i = 384. Let p = -100 + l. Put p, 10, 5 in descending order.
10, 5, p
Let k(c) = 30*c**2 - 60*c + 6. Let x be k(2). Sort x, -4, 2, -28.
-28, -4, 2, x
Suppose 0 = 4*f + 5*m - 940, 0 = -3*f + 2*m + 549 + 133. Sort -5, f, -3 in decreasing order.
f, -3, -5
Let i = -4405 - -4405.5. Sort -50, i, -10 in ascending order.
-50, -10, i
Let m(w) = 2*w**3 - 9*w**2 + w + 7. Let q = 117 - 113. Let x be m(q). Suppose 0 = -5*z - 0*z. Sort -2, x, 1, z in decreasing order.
1, z, -2, x
Suppose -13*f - 3*g = -38, -f = -4*g + 5*g - 6. Sort f, -2, -6, 1/20.
-6, -2, 1/20, f
Let p be (47/(-94))/(-2 + 37/18). Suppose -14*v + 18*v + 84 = -38*v. Let u be ((-1)/2)/(1/(-8)). Put v, 1, u, p in descending order.
u, 1, v, p
Let f = -0.5 + 0.7. Let y = -0.1403 - -94.0403. Let b = 94 - y. Put -5, b, f in decreasing order.
f, b, -5
Let k(x) = 5*x + 72. Let z be k(-22). Let j be z/(-56) - (-51)/(-119). Sort -2/7, -1/2, j, 0.5 in ascending order.
-1/2, -2/7, j, 0.5
Let z = 44.9 + -44.82. Let y = -448 - -453. Let w be 3*(10/(-6) + 0). Sort y, z, w.
w, z, y
Let j = 1888.2 - 573.6. Let u = j - 1315. Let y = -30/7 - -4. Sort y, 1/3, -23/3, u in ascending order.
-23/3, u, y, 1/3
Let o(v) = -4*v + 13. Let c be o(4). Suppose -b - 3*b - 2*t = -200, 136 = 3*b + 5*t. Let d = b - 52. Put c, 5, d in decreasing order.
5, d, c
Let w = -0.94 + -1.06. Let f = 35 - 179/5. Let g be (4 - 2) + -3 + 11. Put f, g, w in descending order.
g, f, w
Let l be 1 - -3 - (-14 + 54). Let g be (l/18)/((19 + 1)/2). Put -0.1, 1/8, 4, g in ascending order.
g, -0.1, 1/8, 4
Suppose 0*k = 4*k - 8. Suppose -6 = -k*s + s. Suppose -25 = c - s*c. Sort 1/3, c, -3/2 in decreasing order.
c, 1/3, -3/2
Let x be 324/567 - 116/154. Suppose 77*d - 90 = 68*d. Let p = -0.2 + -0.3. Sort d, x, p, 3 in decreasing order.
d, 3, x, p
Suppose 0 = 1351*u - 1394*u + 172. Sort 6, -21, -2, u in descending order.
6, u, -2, -21
Let y = 0.25 + -0.2. Let p = 29/5 - 213/35. Let i = 3.29 + -2.89. Sort p, y, i, -2/9 in increasing order.
p, -2/9, y, i
Let l = 219.23 - 224.23. Suppose 3*o = 539 + 538. Sort 2/9, l, o in ascending order.
l, 2/9, o
Let g be (1/3)/((-1220)/(-15) + -5). Let w = g - -437/4809. Put 2/5, -22, w, -2/9 in decreasing order.
2/5, w, -2/9, -22
Let j = -2698 + 2747. Sort 0.3, j, -0.2, 0.
-0.2, 0, 0.3, j
Let t(u) = u**3 - 12*u**2 - 190*u - 3375. Let x be t(25). Let d = 1.7 - -0.3. Sort 2/9, d, 2/21, x.
x, 2/21, 2/9, d
Let f = 3422 + -3421. Put f, 169, 4, -2 in descending order.
169, 4, f, -2
Let o(u) = u**2 - 9*u + 8. Let p be o(8). Let i(j) = -j**2 - 6*j + 3. Suppose 7*l - 6*l = -7. Let t be i(l). Sort p, t, -5 in ascending order.
-5, t, p
Let i = -2.944 + 2.944. Let p be 2 + -2 - 6/102. Sort i, -1, p in descending order.
i, p, -1
Suppose -11*v + 18*v = 469. Suppose -5*p - 8 = v. Sort -2, p, 1, -5.
p, -5, -2, 1
Let n be (106/18 - 5)*3/(-2). Let r = -0.18 - -0.23. Let d = 0.35 - r. Sort d, n, 2, 5 in descending order.
5, 2, d, n
Let g = -0.64 + 4.54. Let a = -4 + g. Let w = -17.1 + 3.1. Put a, w, 2, -5 in descending order.
2, a, -5, w
Suppose -4*j = 10*j + 2*j. Suppose -4*i + 9*i - 4*s + 2 = j, 3*s + 6 = 0. Sort i, -40, -3.
-40, -3, i
Suppose 0 = 14*g + 6*g + 440. Let n be 4/g + 122/(-55) + 0. Suppose 6*t - 5*t - 9 = y, -2*t - 17 = 5*y. Sort 3, t, n in increasing order.
n, 3, t
Let s = 46 - 139/3. Let m be 38/(-703) + ((-6700)/6105 - 68/(-51)). Put s, 3, m, -0.07 in ascending order.
s, -0.07, m, 3
Let i be 5*(-8 - 4/((-28)/49)). Sort i, -2/7, -19269, -4.
-19269, i, -4, -2/7
Let q(o) = o**3 - 167*o**2 - 361*o + 3889. Let c be q(169). Sort 0, -186, -2, -4, c in descending order.
c, 0, -2, -4, -186
Suppose -11 = -3*r + 4*s, 4*r + 12 = -3*s - 15. Suppose -3*j - 5*o = -35, 2*j - 5*o + 1 = 16. Suppose -2*k = -5*y - 35, -3*k - j = 6*y - y. Sort 1, -4, k, r.
-4, r, 1, k
Let u be (7 - 3) + 152/4. Let c = -41 + u. Suppose -2 = -i + c. Put 0.5, -4, i, 0 in descending order.
i, 0.5, 0, -4
Let f be ((-4)/20)/((-17)/85). Sort 0, -1, 497, f, -5.
-5, -1, 0, f, 497
Let w = -963.5 + 963. Put -2/11, w, 164 in ascending order.
w, -2/11, 164
Let g be 137/(-38) + 36/342 - (-5 + 0). Sort 2, -103, g in descending order.
2, g, -103
Let i = -1584 + 1584. Sort i, 0.1, 0.4, -1 in decreasing order.
0.4, 0.1, i, -1
Let b = -4435.98 + 4436. Sort 0.4, b, -5/6 in increasing order.
-5/6, b, 0.4
Let w be 4/(((-462)/(-44))/(-21)). Put 0, w, -68 in ascending order.
-68, w, 0
Let g(h) = h**3 - 3*h**2 - h + 2. Let l be g(4). Let i = -21114 - -21112. Sort l, 2, i in decreasing order.
l, 2, i
Suppose 0*q = q - 177 + 182. Put -4, -90, q in decreasing order.
-4, q, -90
Let a = 6551 + -6546. Let b be (-2)/2 - (-4 + 4). Suppose 11 = g - 2. Sort 3, a, b, g in ascending order.
b, 3, a, g
Let c = 1252 + -1252.5. Let i = -6.565 + -0.235. Put c, 0.3, i in decreasing order.
0.3, c, i
Let a be (-14)/(-2) - 555/185. Let c(s) = -2*s**2 + 3*s + 2. Let z be c(-2). Let m(o) = o + 6. Let v be m(z). Sort a, -5, v in decreasing order.
a, -5, v
Suppose 16099 = 4*s + 16115. Put 9/4, -1/3, s, -0.4 in descending order.
9/4, -1/3, -0.4, s
Suppose -3*g + 7 = -4*w, -2*g = -35*w + 32*w - 5. Let v = 5 - 0. Put v, 0, g, -13 in descending order.
v, g, 0, -13
Let s be ((-1458)/150 + 10)*(3 + -1). Put s, -3/5, -3 in increasing order.
-3, -3/5, s
Let c = 149 + -147. Suppose 0*v = -c*v - 174. Sort v, 2, -1 in increasing order.
v, -1, 2
Let y = 5.29854 + -0.29854. Put -5/4, -0.38, y, -4 in increasing order.
-4, -5/4, -0.38, y
Let o = -0.91433 + -0.01487. Let a = o - 0.0708. Sort 0.04, 9/2, a in increasing order.
a, 0.04, 9/2
Let j be 38/(-6)*(-4 - -85). Sort -1, 4, 1, j, 0 in increasing order.
j, -1, 0, 1, 4
Let c = -15604.5 - -15606. Sort c, 1, 3, -20 in descending order.
3, c, 1, -20
Let g be 1 + 2 - 1*-1. Let o = -199894 + 199896. Put o, g, 0 in decreasing order.
g, o, 0
Suppose -i = i + 4. Suppose -133*t - 1374 = -139*t. Let s = 229 - t. Sort 5, -4, s, i in descending order.
5, s, i, -4
Suppose 708*h = 3*o + 709*h + 6, -3*h - 4 = -5*o. Let z = -6 + -1. Put -4, z, o in increasing order.
z, -4, o
Let y = -511 - -506. Let a = 1297 - 1363. Sort y, a, -4, -2 in ascending order.
a, y, -4, -2
Let x = 29 - 27. Let v(b) = -2*b**2 + 17*b - 1. Let d be v(10). Let n be ((-8)/(-6))/(-5 + (-474)/(-90)). Sort d, n, 0, x.
d, 0, x, n
Let n = 4232 - 4231. Let d = 279468763/470 - 594614. Let u = 1/94 + d. Put n, 3, 4, u in descending order.
4, 3, n, u
Let r = 13 - 10. Suppose 0 = 4*u + 3*t + 5, 0 = u - r*u - 4*t - 10. Suppose 3*q = 4*j - 5, 0 = 11*j - 12*j - 5*q - 16. Sort 3, j, 2, u.
j, u, 2, 3
Suppose -2*q - 4*u = -14, -4*q = -0*q + 2*u - 22. Suppose 0 = 3*b - 286 + 322. Suppose -3*n - 9 = 3. Sort b, q, n.
b, n, q
Let j(d) = d**3 + 8*d**2 - 5. Let s be j(-8). Let z = -28 - -5. Put z, s, -3 in descending order.
-3, s, z
Let g = -4 + 2. Suppose -5*s = 4179*m - 4178*m + 41, 50 = -m - 2*s. Sort g, 5, m, 1.
m, g, 1, 5
Let d(x) = -2*x - 3. Let h be d(-3). Let a = 89 + 162. Let y = a - 259. Put h, y, -1 in decreasing order.
h, -1, y
Suppose 4*n - 3*n = b - 8, 3*n + 5*b + 56 = 0. Let i be ((-19)/(-38))/((-1)/n*2). Sort 1, -69, i in increasing order.
-69, 1, i
Suppose -5*n + 2825*u = 2823*u - 1, -4*n = 5*u - 14. Sort -2, 2/213, 0, 2/7, n.
-2, 0, 2/213, 2/7, n
Let u be (1 + 268/12)*3/2. Let x be ((-30)/u)/(6/(-28)). Put 5, 3, x, 19 in 