Let m = 663 - 754. Sort 0, -3, m, -6 in ascending order.
m, -6, -3, 0
Suppose -5*c - 2*o - 207 = -4, 4*c = -4*o - 160. Sort 2, c, -3, -4 in descending order.
2, -3, -4, c
Suppose 0 = 91*n - 90*n - 8. Suppose n*i = -0*i - 544. Put 4, -1, i, 2 in increasing order.
i, -1, 2, 4
Suppose -45*k = -46*k + 11. Suppose 3*m + 3*o + 30 = 0, 2*m + 35 = -k*o + 6*o. Sort 3, 1, m, -4 in ascending order.
m, -4, 1, 3
Suppose 2 = -5*j - 5*x - 58, 5*x - 4 = 3*j. Let d be (-2)/j*-8 + 1 + 1. Sort 1, -46, d in descending order.
1, d, -46
Let m = -3 - -8. Suppose m*u - 25 = 5. Suppose -5*n = -2*j - u, -2*n + 0 = -3*j + 2. Put 0, n, 16, -5 in increasing order.
-5, 0, n, 16
Let w = -28/3 - -9. Suppose -6*t + 64 = 16. Let m be (-28)/t*(-9)/42. Put m, w, 0.1, 0.4 in decreasing order.
m, 0.4, 0.1, w
Suppose -11 - 1 = -3*n. Let w = -17312 + 17311. Sort w, n, 1, -35 in decreasing order.
n, 1, w, -35
Let z = -204 + 251. Sort -1/2, 0.3, z in descending order.
z, 0.3, -1/2
Let a(h) = -h**3 + 30*h**2 - 47*h + 523. Let c be a(29). Sort 843, -3, c in ascending order.
-3, c, 843
Suppose 0 = -0*v - 4*v. Suppose -9296*z + 2*i = -9301*z + 9, -21 = -3*i. Put z, -6, 4, v in descending order.
4, v, z, -6
Let g = 22450 - 22455. Let r = -1.8 - -2. Sort r, -25/4, g in decreasing order.
r, g, -25/4
Let o = 392 - 382. Let v be 8/(-12) + (o/15 - -5). Sort -5, 20, v in ascending order.
-5, v, 20
Let o = 11673 - 11676. Put 11, 1, -27, o, -5 in decreasing order.
11, 1, o, -5, -27
Let m = -1 + 6. Suppose -c - m*c = -30. Let w = 2.1 + -4.1. Sort c, w, -3/4.
w, -3/4, c
Suppose -41*t + 293 + 317 + 210 = 0. Let p(u) = -u**3 + 8*u**2 - 8*u + 4. Let b be (-4)/6 - 69/(-9). Let q be p(b). Sort -2, t, q in descending order.
t, -2, q
Let q = -59 - -62. Suppose -q*c - 14 = -2*b, -9 = 5*c + b - 3. Sort -4, -5, 2, c.
-5, -4, c, 2
Let d(k) = -k**3 - 25*k**2 - 98*k + 38. Let n be d(-20). Sort 92, n, 1, -1 in descending order.
92, 1, -1, n
Suppose 171*n + 29 = -313. Sort n, 2, 0.0125 in increasing order.
n, 0.0125, 2
Let k = -139 + 139. Suppose k = -10*f - 0 - 30. Put f, 5, 2, -1 in increasing order.
f, -1, 2, 5
Let g = -163 + 135.6. Let y = -27.9 - g. Put y, -5/3, 0.2, 3 in decreasing order.
3, 0.2, y, -5/3
Suppose -5*v - 31111 = -2*t, 5*v - 8*t + 41575 = 10506. Sort v, -1, -4 in increasing order.
v, -4, -1
Let n be (10/30 - 217/(-81)) + -3. Sort n, -3, -4 in ascending order.
-4, -3, n
Let h be ((-10)/4)/((-45)/72). Let i = -55 - -57. Put -3, h, i, 3 in descending order.
h, 3, i, -3
Let y = 18.38 - 18.78. Put 0.07, y, 4.2 in descending order.
4.2, 0.07, y
Let m = 398 + -607. Let p = m + 213. Sort -2, p, 1/7.
-2, 1/7, p
Let s = 511.7 - 511.5. Sort -53, s, -1/2 in increasing order.
-53, -1/2, s
Let z = 40.2 - 45.2. Put z, 4, -221/5 in decreasing order.
4, z, -221/5
Suppose -8 = -4*d, 0 = 3*k + 5*d - 5 - 8. Let z(w) = -3*w**2 + 3*w - 2. Let f be z(k). Let t be (-3)/2 - 10/4. Put f, t, -3, 5 in descending order.
5, f, -3, t
Suppose o = z - 24, -4*z + 155 - 38 = 3*o. Suppose z*g - 16*g = -121. Sort 0, 4, g, 5 in descending order.
5, 4, 0, g
Suppose -5*k = -5*p + 75, 2*k = -0*p - 4*p + 54. Suppose -17*s + 124 = p*s. Put 7, s, 3 in increasing order.
3, s, 7
Let z(x) = -3*x + 43. Let r be z(13). Let q(b) = -14*b**2 + 2*b - 1. Let m be q(1). Let t be (-1)/(-4) + m/r. Put t, 1, 9 in decreasing order.
9, 1, t
Let r = -4453 - -4459. Sort r, 1/4, -1/7, 9 in descending order.
9, r, 1/4, -1/7
Let y(i) = -i**3 + 19*i**2 - 21*i + 54. Let l be y(18). Suppose l = -15*z + 9*z. Sort z, 4, -4, 1/3 in descending order.
4, 1/3, z, -4
Suppose -12*r - 18 = -17*r - f, 2*r + 3*f - 15 = 0. Let k be r/(-18)*10*(-3)/(-1). Let t = -2.8 - -0.8. Put 2/9, t, 2/3, k in increasing order.
k, t, 2/9, 2/3
Let y = 19629 - 19624. Put 19, y, 10 in increasing order.
y, 10, 19
Let a = 39/2 - 19. Let z = 2.583 - 0.583. Sort z, -1/4, a in decreasing order.
z, a, -1/4
Let d = -0.2943 - -4.2943. Let g = -0.93 - 0.07. Sort g, d, 2/13, 0.5 in decreasing order.
d, 0.5, 2/13, g
Let s = 84825.62 - 84826. Let d be (-18)/(-20) - 2/5. Sort s, -0.2, -0.3, d in decreasing order.
d, -0.2, -0.3, s
Let x = 0.3 + -0.1. Suppose -5*s - 51 = -4*b, 4*b - 6*s = -5*s + 55. Let l be 28/b*1/(-7). Put x, 0, l in ascending order.
l, 0, x
Let o(v) = 2*v + 17. Let h be o(7). Suppose -25 = -2*w - h. Suppose -2*f + 10 = 3*z, 2*z - 3*f + 15 = -0*f. Sort z, 5, w, -4 in increasing order.
-4, w, z, 5
Let v = 166.52 + -168. Let p = v - 12.52. Sort 0, p, 0.8 in ascending order.
p, 0, 0.8
Suppose 3*x + 460 - 337 = 0. Sort x, -4, 4, -1, 1 in increasing order.
x, -4, -1, 1, 4
Suppose -29*g + 22 = -24*g - 2*q, -3*g + 14 = -2*q. Sort -1, 0, g, 115 in decreasing order.
115, g, 0, -1
Let w = -840 - -833. Put w, -2, 0, -3, -1 in increasing order.
w, -3, -2, -1, 0
Let s be 13/(-13)*(-4 - -3). Suppose j + 3*j + 30 = k, 0 = 5*k + 2*j - 40. Let a(o) = -o**3 + 10*o**2 - 2. Let u be a(k). Sort u, 2, s.
u, s, 2
Suppose 3*x - 6*x = -15. Suppose 554*t - 739*t = -740. Sort -4, x, t, 2/3 in decreasing order.
x, t, 2/3, -4
Let w = 4.08 - 0.08. Let q = 8 - w. Let l(v) = 2174*v**2 + 2159*v + 6. Let m be l(-1). Sort m, q, -0.2, 2/3 in ascending order.
-0.2, 2/3, q, m
Let n = 10484 + -10480. Put 123, 2, n, -1, -5 in ascending order.
-5, -1, 2, n, 123
Suppose -140 = -2*t - 26*t. Suppose 35 = -3*z - t*o, 10*o - 8*o = -z - 13. Put z, -24, -4, -3 in descending order.
-3, -4, z, -24
Suppose -3*t + 2*v + 1462 = 0, 2*v - 15 + 509 = t. Suppose 3*a = 25 - t. Let z be -1 - (2/(-4) + a/234). Put -2, -1/5, z, -1/4 in descending order.
z, -1/5, -1/4, -2
Let x = -170/11 - -1179/77. Let r = 0.4 + 0.1. Put -2, x, -1, r in increasing order.
-2, -1, x, r
Let f = -1.38 - -3.38. Let i = 1351 - 31079/23. Sort i, f, -1 in increasing order.
-1, i, f
Let i = -5 - 0. Let k = -245 - -245.171. Let d = -0.331 + k. Put -5/6, i, d in ascending order.
i, -5/6, d
Let k = 3 - 4. Suppose -161*m + 138*m = -115. Put m, 0, k in ascending order.
k, 0, m
Let s be ((-26)/6 + 1)*3318/(-25). Let h = -442 + s. Put -4, 70, h in increasing order.
-4, h, 70
Let a = 2143 - 2106. Sort 10, 3, a in decreasing order.
a, 10, 3
Let j = -3 + 2.9. Let x = -98998 - -99006. Put -6, j, x in increasing order.
-6, j, x
Let z = -15092 - -15090. Put -247, z, 2 in descending order.
2, z, -247
Let r = 5.8 + -13.6. Let x = r - 2.2. Let d be 2/(-6) + -6 + (-24)/(-4). Put -0.4, d, x in increasing order.
x, -0.4, d
Let s(w) = 28*w - 15. Let i be s(3). Let g = i - 67. Let m be (-2 - 0/(-2))/(g + -16). Sort 2, m, 9 in increasing order.
m, 2, 9
Let b = 1.583 - 1.983. Sort -2, 2/5, 5/3, b, -1/9 in ascending order.
-2, b, -1/9, 2/5, 5/3
Let r = 13085 - 13091. Sort r, 1, 8.5 in ascending order.
r, 1, 8.5
Let s = 3081.3 - 3078.8. Sort 0.08, s, -1/2, -3/2 in ascending order.
-3/2, -1/2, 0.08, s
Let j be 9/12 + 23/(-4). Let z be (54/(-9))/((-1)/(-2) + 1). Let p be 3 + z + (-2)/5. Sort j, 1, p.
j, p, 1
Let l be ((-5)/(-4))/((-11)/4). Let m = 14658 + -14662. Sort 0.3, l, m in increasing order.
m, l, 0.3
Let k = -0.22 - 0.28. Let c = 0.1 - -1. Let f = -1983 + 1985. Sort f, c, k in descending order.
f, c, k
Suppose 0 = 2*f - 10, 3*o + 4*f + 10 = 9*f. Suppose 0 = o*l + 9*l - 70. Sort -0.4, l, 1/3, 4 in decreasing order.
l, 4, 1/3, -0.4
Let u(b) = 2*b + 13. Let w be u(4). Let l be (-18)/w*154/(-33). Sort -18, 7, l in ascending order.
-18, l, 7
Let r = -7445 - -7449. Put -3, 0.12, 2/33, r in increasing order.
-3, 2/33, 0.12, r
Let p = 977 - 976. Put 228, p, -4 in ascending order.
-4, p, 228
Let n = 297 + -296. Let m be (-15)/45*4/n. Sort m, 5, 1 in increasing order.
m, 1, 5
Let j = 327 + -332. Let k(s) = 13*s + 5*s**2 + 2*s**3 - 4*s**2 + 1 - 10*s. Let u be k(-1). Sort u, -2, -1, j in decreasing order.
-1, -2, u, j
Let f = 939 + -939.2. Let x(j) = -j + 8. Let d be x(6). Let h = 1/35 - -4/7. Put f, 4, h, d in descending order.
4, d, h, f
Let u(v) = v**3 - 6*v**2 + v - 7. Suppose x + 12 = 3*x. Let y be u(x). Let s = 5672 + -5663. Sort 0, s, y in descending order.
s, 0, y
Suppose 0 = 2*u + 4, -3*u - 15 + 13 = -4*k. Let l be (-4 + (1 - 2) - -9) + k. Put 2/7, -9, l in decreasing order.
l, 2/7, -9
Let i = -2.1 + -0.9. Let s = -0.3706 + 0.9706. Sort 0, i, s.
i, 0, s
Let y = 11804 + -11728. Put -1, -5, -3, y, 3 in decreasing order.
y, 3, -1, -3, -5
Let b(w) = 11*w**3 + 4*w + 5. Let a be b(-2). Let v be