 s = -13.04 - -10.04. Sort 1/3, m, 0.1, s in descending order.
m, 1/3, 0.1, s
Let s = 173 - 140.1. Let c = s + -33.1. Sort c, 0.02, -1, 8 in decreasing order.
8, 0.02, c, -1
Let j be ((-6825)/572)/21 + 21/28. Sort 36, -0.4, 13, j in descending order.
36, 13, j, -0.4
Suppose -5*k + 0*k + 140 = 0. Let s be 8/(80/(-15))*(1 + 5). Let q = s + k. Sort q, 2, -0.2.
-0.2, 2, q
Let r(l) = 39*l + 1439. Let n be r(-37). Suppose -x + 12 + 1 = 0. Sort x, 1, n, -2 in decreasing order.
x, 1, -2, n
Suppose -3*m - 1 = -10*l + 5*l, -2*l = -m - 1. Suppose -m*h + 7 = -20. Let n(i) = i - 10. Let w be n(h). Put -4, 8, w, -3 in decreasing order.
8, w, -3, -4
Let k be (-19 - -7)*29/(-4). Let c = -85 + k. Sort 46, -0.5, c, 1.
-0.5, 1, c, 46
Let i = 9879 - 9869. Sort 3, 4, i, 23 in decreasing order.
23, i, 4, 3
Let z = 11/6 + -1/3. Let q = -0.02 + -1.48. Let y be (476/560 + 2/(-20))/((-18)/(-8)). Sort z, q, y in decreasing order.
z, y, q
Let n be 6/15 + (270/(-50) - -7). Put -13, 0, 182, n in decreasing order.
182, n, 0, -13
Let a = 1.6696 - 0.9696. Sort -2, 23, a in decreasing order.
23, a, -2
Let o be ((-1080)/(-81) + -15)*-3. Suppose 0 = 3*v - c + 19, 7*v - 2*c = 6*v - 13. Sort 11, o, v in descending order.
11, o, v
Let n be (-48)/(-30) + 8/(-5). Sort n, -5, -96 in increasing order.
-96, -5, n
Let m = 0.0199 + 0.2801. Put 3/494, m, 2/7 in decreasing order.
m, 2/7, 3/494
Let v = -516491/4 - -129123. Let c = -4.9 + -0.1. Let s = 1.8 + 0.2. Sort c, -0.4, s, v in descending order.
s, v, -0.4, c
Suppose -3*q = -t + 14, 4*q = -0*t - 3*t - 23. Let n = 127 - 130. Let a be 80/(-6) + 30/9 + n. Put t, 0, a in descending order.
0, t, a
Let f = 17 + -17. Let l = 474 + -666. Let g = l + 192.5. Sort 1/4, g, 1, f in descending order.
1, g, 1/4, f
Let p = 408 + -404. Suppose 5*c = 2*c + 12. Suppose 2*d + 10 = 5*r, c*d + d = -r + 2. Sort -2, 5, r, p in descending order.
5, p, r, -2
Let r = -5 + 4. Let c be 67/(-60) - ((-20397)/16068 - 38/(-1957)). Sort c, r, 1, -0.2 in increasing order.
r, -0.2, c, 1
Let l = 136 - 330. Let t = 131 + l. Sort t, -2, 4, -1 in ascending order.
t, -2, -1, 4
Let z(l) = -l**3 + 2*l**2 - 3*l + 7. Suppose 0 = 21*g - 32*g + 22. Let d be z(g). Put 3, -3, d, -10 in increasing order.
-10, -3, d, 3
Suppose 0 = -28*t - 436 + 436. Put -41, t, 1, 2, -3 in descending order.
2, 1, t, -3, -41
Let i = 1010 - 1007. Sort 38, -1, 5, -4, i in increasing order.
-4, -1, i, 5, 38
Let t(y) = -4*y**2 - 172*y - 165. Let q be t(-42). Sort -421, 8, q in decreasing order.
8, q, -421
Let l = -431 - -436. Let t(r) = r**3 - r**2 + 3*r + 28. Let w be t(0). Sort w, l, -1, -4 in descending order.
w, l, -1, -4
Let n = 25 - 121/5. Let k = -15820/1095429 - -2/7769. Sort -2/5, k, n, 3/5 in descending order.
n, 3/5, k, -2/5
Suppose -m - 10 = f + 1, -44 = 4*f + 3*m. Let b(i) = -i**3 - 10*i**2 + 10*i - 14. Let o be b(f). Sort o, -94, -2/3 in descending order.
-2/3, o, -94
Let d = -4 - -1. Suppose 48*h - 14*h = -55*h - 534. Sort h, d, -5 in decreasing order.
d, -5, h
Let g = 1135 - 1134.031. Let c = g + 0.031. Sort -0.02, c, 0 in increasing order.
-0.02, 0, c
Let n = -252 - -254. Let m(y) = -5*y + 6. Let a be m(n). Sort 108/5, a, -0.1 in ascending order.
a, -0.1, 108/5
Suppose l + r - 7 = 0, -3*l + 92*r = 89*r + 39. Let s = 1 - 0. Let u be (5/s)/(3/(-3)). Sort u, -2, l in decreasing order.
-2, l, u
Suppose -3*l - 129 = -6*l. Let g = 78 - l. Let t = 33 - g. Put 0, t, -3 in increasing order.
-3, t, 0
Let c = -23343 - -23345. Sort -197, c, 12.
-197, c, 12
Let g = -2977 + 2977.4. Put 2/13, 9, 0.3, g in decreasing order.
9, g, 0.3, 2/13
Let d be 2 + ((-4)/(-5))/(1/(-5)). Let j be 84/35 - ((-8)/(-5))/4. Let n be 13 - 3/(2/2). Sort d, j, n.
d, j, n
Let v be 0 + 1 + (6 - 9). Suppose -c - 2 = 0, g = 2*g + 4*c + 9. Sort 2, g, v, -5 in ascending order.
-5, v, g, 2
Let g be (-36)/9 + 8 + (0 - -2). Sort 19, 5, 2, g, -1 in increasing order.
-1, 2, 5, g, 19
Let r(h) = h**2 + 3*h - 8. Suppose 0 = -42*d + 89 - 5. Let s be r(d). Sort s, 1/4, -1/4 in descending order.
s, 1/4, -1/4
Suppose 4*z - 26 = 2*h, 8*h = -4*z + 5*h + 1. Put -8, z, -2, 0 in decreasing order.
z, 0, -2, -8
Suppose 0 = -v + 3*v + 60. Let n = -4493 - -4497. Sort v, n, 0 in increasing order.
v, 0, n
Suppose -3*w - 3*y - 15 = 0, 200 - 195 = -5*w - y. Put 3, -1/6, -37, w in descending order.
3, w, -1/6, -37
Suppose 126*u - 123*u - 126 = 0. Suppose 0 = -u*i + 44*i + 5*c - 30, -16 = -2*i + 2*c. Sort 0, -1, i, 1.
-1, 0, 1, i
Let o be 993/(-1324)*(-4)/(-18). Let k = -15 - -14.6. Put -1/5, o, 3, k in decreasing order.
3, o, -1/5, k
Let u = 151/185 + -8/37. Let g be 2/3*(-5361)/(-34). Let x = g - 105. Sort 0, u, x in decreasing order.
u, x, 0
Let f be 112/112 + (-6)/(1*2). Sort -7, 5, f, 3, -1 in descending order.
5, 3, -1, f, -7
Let b(a) = 15*a - 961. Let l be b(64). Let u = 10 + -15. Suppose x = 1, 2*q + 5*x - 2 - 11 = 0. Sort q, l, u.
u, l, q
Suppose -14 + 9 = -5*u. Suppose -5*s - 22 = -s - 5*k, -2*s - 3*k = 0. Suppose -791 = -12*l - 755. Put l, s, u, -5 in increasing order.
-5, s, u, l
Suppose 3*d - 155 = -3*b + 1123, 0 = d - 5*b - 408. Suppose 15*o = d + 297. Let f be (-22)/(-6) - 32/o. Put -4, f, 1 in increasing order.
-4, 1, f
Suppose 0 = -4*j + 2*q + 10, j + 2*j = 4*q. Let v be (245/(-210))/(2/j). Sort 11, 1, v in descending order.
11, 1, v
Let v be ((-2)/6 - (-1)/12)/(26/104). Put 0, 5, 24, v, 4 in decreasing order.
24, 5, 4, 0, v
Let v(t) = t + 2. Let g(w) = 3*w + 4. Suppose 14*l + 5*q - 4 = 17*l, 0 = l - q. Let n(k) = l*g(k) - 5*v(k). Let r be n(2). Sort r, -3, 5 in decreasing order.
5, r, -3
Let y = 157 + -153. Suppose 0 = k + 2*k - 6. Suppose 24 = -4*f - 2*z, -18 = 5*f - k*f - 2*z. Put f, y, 0 in ascending order.
f, 0, y
Let q be (-2)/5*(4 + 1). Let d(i) = 568*i + 312971. Let t be d(-551). Put 5, q, t in ascending order.
q, t, 5
Let y be ((-1344)/20)/(-4)*5. Suppose -93*q + 92*q - y = 0. Let s = q - -42. Put 3, 2, s, 1 in decreasing order.
3, 2, 1, s
Let w = 19871 + -19869. Put -4, 5, w, 6 in decreasing order.
6, 5, w, -4
Let q(r) = r**3 - r**2 + 151*r - 466. Let g be q(3). Suppose 4*f + 7 = o, 0 = -5*f + o - 2*o - 20. Let w be 1*(-2)/2 - 0. Sort w, -4, g, f in increasing order.
-4, f, w, g
Let a(l) = -l**3 + 54*l**2 - 2*l + 66. Let u be a(54). Sort -1, 4, u, 61, 5 in increasing order.
u, -1, 4, 5, 61
Let h = 94097/15 - 6273. Put 1/5, -2/367, h in ascending order.
-2/367, h, 1/5
Let k(t) = -108*t - 4215. Let z be k(-39). Let x = 0 + -0.2. Put x, 0.2, z, -2 in decreasing order.
0.2, x, -2, z
Suppose -388*w + 387*w = -2*z - 18, z + 6 = 0. Put w, -5, 30, 5 in increasing order.
-5, 5, w, 30
Let k = 2 + -2.5. Let q = -23.1 - -21.1. Let s = -2.941 + -0.059. Sort s, q, -2/13, k in descending order.
-2/13, k, q, s
Let x = 3474 - 3489. Sort -4, -5, x in descending order.
-4, -5, x
Let i = 106 - 104. Let s(y) = -3 + 5 - 12*y + y**i + 2. Let l be s(12). Put l, -1, 2 in descending order.
l, 2, -1
Let u(l) = -10*l - 22. Let p be u(-9). Let h = p + -36. Suppose -h = 4*k - 4*i, 5*k - i = -0*i - 24. Put -12, -3, k in increasing order.
-12, k, -3
Let j = 550.99 - 551. Put -9, -0.1, 4, j in descending order.
4, j, -0.1, -9
Let l(a) = a**2 - 20*a - 67. Let x(g) = g**2 - 20*g - 66. Let z(i) = 7*l(i) - 6*x(i). Let j be z(23). Sort -3, j, 26 in increasing order.
j, -3, 26
Let a = -75 - -75.1. Let l(b) = b**2 + 4*b - 1. Let k be l(-3). Sort a, -1/7, -23, k in ascending order.
-23, k, -1/7, a
Let d = -2474 - -2484. Put d, -3, -27, 3 in decreasing order.
d, 3, -3, -27
Suppose -115*n - 7083 = -2138. Put -4, -2, n in ascending order.
n, -4, -2
Suppose -2*l = -4*j - 4, -21*j = -18*j + 3*l - 6. Put 1121, j, -4, 4 in descending order.
1121, 4, j, -4
Let k be (-18 - 6)*1/2. Let f be (-7)/98*-8 - 124/(-28). Sort k, 4, f, -1.
k, -1, 4, f
Let i = 19 - 23. Let c = -16.586 + 3.586. Sort c, i, 10 in descending order.
10, i, c
Let i = 2747 + -2746.7. Put i, -0.4, -3, 2/7, 1 in ascending order.
-3, -0.4, 2/7, i, 1
Let i(q) = -q**2 + 237*q - 3109. Let p be i(14). Sort -2, p, 5, 17 in descending order.
17, p, 5, -2
Suppose -4*u + 36 = -7*s - 5*u, -4*s - 5*u = 25. Sort 5, 4, s, -16, -556.
-556, -16, s, 4, 5
Let k = -63 - -67.9. Let q = k - 0.9. Let j = -18679 - -18684. Sort q, j, 1, -1 in decreasing order.
j, q, 1, -1
Suppose 0 = -6*d + 3*d + 3. Let c = -386.197 + 386. Let i = c + 