 w, 0 in decreasing order.
0, w, -7
Let n be 4/(-16)*340 - (0 + -10). Put 5, 6, n, 3 in decreasing order.
6, 5, 3, n
Let c = 450 - 453. Put 5, -2, c, -21 in ascending order.
-21, c, -2, 5
Let c = -234.06 + 234.06. Put -2, c, 3, -41 in ascending order.
-41, -2, c, 3
Let j be 2/(-8) + (-3)/4. Let i = 12169.8 - 12166.8. Sort 0.03, 3/7, i, j in ascending order.
j, 0.03, 3/7, i
Suppose -4*s + h = 12, -s + 3586 = h + 3599. Sort 0.07, s, 4, -2/13 in descending order.
4, 0.07, -2/13, s
Let u = -12.1 + 8.23. Let n = 3.47 + u. Sort 3/7, 0.026, n in ascending order.
n, 0.026, 3/7
Let c = -3444 - -3444. Put -7, c, 0.5, -0.5 in increasing order.
-7, -0.5, c, 0.5
Let q = -4.91 + -0.09. Let h = -289/5 + 2626/45. Sort q, 0.1, h in decreasing order.
h, 0.1, q
Let x = 2710 - 2735. Sort x, -4, -0.5, -0.12 in decreasing order.
-0.12, -0.5, -4, x
Suppose -5*h = 109*h + 68 + 46. Put -4, -5, -20, h, 3 in increasing order.
-20, -5, -4, h, 3
Let t = -4 - -6. Let j be (-5)/((-75)/45 - t/(-3)). Put 6, -4, -2, j in descending order.
6, j, -2, -4
Let y = 5252 + -5252. Put -3/4, -3, y, 0.5, -1/5 in descending order.
0.5, y, -1/5, -3/4, -3
Let g be 11/(-11)*(-2)/4 - (-16)/(-32). Sort g, 5, -3346, -1 in ascending order.
-3346, -1, g, 5
Let c = -1 + 0. Suppose -2*f - 6 = 0, 4*g = 3*g + f + 9. Suppose 5*m = 20, 10*u - 15*u + g = -m. Put 0.5, u, c, -1/7 in decreasing order.
u, 0.5, -1/7, c
Let u be 120/(-33) - (-56)/(-154). Put u, 5, -12, -5 in ascending order.
-12, -5, u, 5
Let q be 3/((-15)/7) - -1. Let k be (-6 - -17) + 11 + -25. Sort q, -0.5, k, 0.
k, -0.5, q, 0
Let t = -632/9 - -70. Suppose 0 = 9*y - 34 + 7. Let i = 27 - 27.1. Sort i, t, y, -2/13 in increasing order.
t, -2/13, i, y
Let t = -0.7 + 3.9. Let b = t - 11.2. Let z = 778 - 777.97. Sort 1, z, b.
b, z, 1
Let l be (-2)/(-3) - 20/18*696/290. Sort -18, l, -5, 0 in increasing order.
-18, -5, l, 0
Let g = -1 - -0.7. Let j = -25.7 - -26. Let u = g + j. Put 1.4, 0.5, -2, u in ascending order.
-2, u, 0.5, 1.4
Let v = 969 - 971. Put 4, v, -2/5, -67 in descending order.
4, -2/5, v, -67
Suppose 12*z + y = -52 + 95, 5 = 5*z + 3*y. Let t be (-145)/11 - 16/(-88). Put t, -4, -5, z in decreasing order.
z, -4, -5, t
Let c(s) be the first derivative of -s**2 + 51*s - 14. Let v be (2 + -1)/(5/(-420)*-3). Let p be c(v). Sort p, -4, -1, 9 in decreasing order.
9, -1, -4, p
Let t = -2/903 - -1210/2709. Let c = -24913/76 - -1311/4. Put c, 3/7, -5, t in decreasing order.
t, 3/7, c, -5
Let n be (-3 + 24 + -21)/((-6)/(-2)). Sort n, -3, -10 in decreasing order.
n, -3, -10
Let j = -907 - -906. Put -4/9, j, -5/7 in descending order.
-4/9, -5/7, j
Let o(n) = 68*n + 403. Let x be o(-6). Put 2, 3, 4, x, 22 in ascending order.
x, 2, 3, 4, 22
Let d = -4693.6 - -4694.6. Let l = 8 + -4. Let b be (-26)/(-20) + 2/4. Put d, l, b in descending order.
l, b, d
Let x = 1276 + -1281. Put -0.1, x, -20, -1/3 in ascending order.
-20, x, -1/3, -0.1
Let o = -248 + 244. Let y be ((-2)/o)/(-10 + 95/10). Sort -5, -7, y, -2 in increasing order.
-7, -5, -2, y
Let h = -7.17 + 0.17. Suppose -x + 8 = 5*k, 10 - 26 = -2*x - 2*k. Suppose 224*d = 228*d - x. Put 0.4, h, d in decreasing order.
d, 0.4, h
Let x(b) = -b**3 + 2*b**2 + 6*b - 9. Let q be x(3). Let p(y) = y + 9 + 3 + 5 + q*y. Let n be p(-16). Put 3, -5, n in descending order.
3, n, -5
Let i be ((-1)/(-1))/((-2)/(-26)). Suppose -974 - 231 = -5*l. Let p = -240 + l. Sort p, i, -3 in ascending order.
-3, p, i
Let g be (108/48*-18)/(10/(-12)). Let j = g + -1929/40. Put j, 0, -2/7 in descending order.
j, 0, -2/7
Let l = 4771 - 4776. Put -6/7, 17, l, 1 in descending order.
17, 1, -6/7, l
Let h = -104 + 95. Suppose 0 = -j + 2 - 3, 3*v - 2*j = 32. Suppose 6*b - v*b = -4. Sort b, h, 0 in increasing order.
h, 0, b
Suppose -32*z - 42*z = -72*z + 826. Sort z, 0, -3, 4 in decreasing order.
4, 0, -3, z
Let l be -1*((-9)/(-45) - 184/20). Sort 81, l, -1 in descending order.
81, l, -1
Suppose 2*g = -3*u - 24, -541*u + 34 = -545*u - 3*g. Put u, -1/6, -4/35, -0.2, -2/15 in decreasing order.
-4/35, -2/15, -1/6, -0.2, u
Suppose 0 = -3*i - 5*t + 32 - 6, 3*t = 12. Suppose 4*p = 4*g - 88, 13 = -i*g + 5*p + 66. Sort 2, g, -4 in descending order.
g, 2, -4
Suppose 2*x + 52 = 3*a - 7, -3*x = a + 72. Put 2/5, -15, 0.2, 5, x in decreasing order.
5, 2/5, 0.2, -15, x
Let g = -2.5 - -3. Suppose 5*t = -3*o + 123, 2*t - 53 = -2*o - 3*o. Let k = -29 + t. Put k, 0.2, g in descending order.
g, 0.2, k
Let b = 24720.5 - 24724. Sort -5, 1/3, b, -0.1, -2 in decreasing order.
1/3, -0.1, -2, b, -5
Suppose 0 = -4*c + 5*m + 14, -2*c + 13 - 27 = m. Put 32, c, 3 in descending order.
32, 3, c
Let a = -168 - -157. Suppose -u + 21 + 6 = 0. Let p be a/u*-3 + -3 + 2. Put -4, 3/5, p, 1/2 in ascending order.
-4, p, 1/2, 3/5
Let z = 558 - 557. Suppose 7 = 4*a - 1, -3*a = -5*y + 4. Let n = 8.6 - 8.6. Put n, z, y, -2 in ascending order.
-2, n, z, y
Let v = -2884 + 2888. Let w(c) = 2*c. Let i be w(-1). Sort v, i, -4, 2 in decreasing order.
v, 2, i, -4
Let r = -27.65 + 28.15. Sort -3/5, r, -1/11, -0.1 in increasing order.
-3/5, -0.1, -1/11, r
Suppose -42*u - 20*u = 310. Let g be (6/(-4))/(4/(-16)). Suppose -g = 2*a, -a = c - 6*a - 19. Sort -0.2, c, u, 5/2 in ascending order.
u, -0.2, 5/2, c
Let n = 14.13 + -0.13. Let h = n + -14.4. Let t = 2099/12 - 175. Sort t, h, 5 in decreasing order.
5, t, h
Let q be -5 - (0 - ((-31)/(-3) + (-130)/26)). Put 0.5, -3/4, -5, q in increasing order.
-5, -3/4, q, 0.5
Let u(d) = d - 7. Let j be u(6). Suppose 0 = -24*p + 28*p - 8. Let b(x) = 2*x + 29. Let m be b(-16). Sort j, -2, m, p.
m, -2, j, p
Let l be (2/4)/((-3)/(-6)). Suppose 5*h = 4*a + 3 + l, 24 = 5*a + h. Sort 5, a, -13 in descending order.
5, a, -13
Suppose 0 = 3*z - 56 + 47. Sort -1/2, -482, z in ascending order.
-482, -1/2, z
Suppose 5 = -6*b - 109. Suppose k = 5*z - 11, -3*z = z - 5*k - 13. Sort b, -1, z, -4.
b, -4, -1, z
Suppose -2*d - 2 = -3*y, -4*d + 3*d = -4*y - 4. Let l = -427 + 374. Suppose 0 = -15*a + 4*a + 7*a. Sort d, l, a in descending order.
a, d, l
Let r = -19327 + 19331. Let j be (-8)/10 - (-6)/(-30). Sort 29, j, r, -2 in increasing order.
-2, j, r, 29
Let k be (-72)/30*40/(-12). Suppose -6*w + 3*w = 4*j - 8*w - 12, 0 = 2*w. Sort j, -1, -2, k in descending order.
k, j, -1, -2
Let b = -592 + 1098. Let h = b + -512. Put 2, h, 3 in decreasing order.
3, 2, h
Let o(b) = -4*b + 58. Suppose 0*s = -12*s + 144. Let a be o(s). Sort 0.1, a, 5 in increasing order.
0.1, 5, a
Suppose w - 60 = -2*l - 47, 2*l = 2*w + 22. Sort -2607, 3, w in ascending order.
-2607, w, 3
Let t(v) = 2*v + 28. Let p be t(-12). Suppose 45 = 2*s - g, -4*s + 5*g = -40 - 65. Suppose -2*r + z = 5*z + s, -20 = 5*z. Sort p, -7, r, 2 in increasing order.
-7, r, 2, p
Let c = -2703 + 2704. Sort c, 19, -4, -2.
-4, -2, c, 19
Let f = -0.03 - -0.13. Let g = 4425 + -4420. Sort g, f, -0.01 in descending order.
g, f, -0.01
Let t(x) = -x - 2. Let s be t(2). Let a = -5.6 - -6. Let b = 22.241 + -12.241. Sort b, a, s in decreasing order.
b, a, s
Let n = -85 - -84.925. Let g = 0.525 - n. Let d = g - 0.5. Sort 1/5, d, 0.5, 13 in increasing order.
d, 1/5, 0.5, 13
Let p = 0.9 - 1.1. Let f = -1.8 + p. Let u = 1299 + -1297. Sort f, -11, u, 0 in increasing order.
-11, f, 0, u
Suppose -5*l - 56 = -b, -4*l = -5*b + 7 + 21. Put -4, l, -3, 30, 3 in ascending order.
l, -4, -3, 3, 30
Let d be 1 - (-3 - (2 - 4)). Suppose 0*r - 42 = -6*r. Let c be (-4 - -1) + (-4 - 2) + r. Sort -5, d, -3, c in ascending order.
-5, -3, c, d
Let p = 38131 + -38134. Put 1, p, -4, -15.5 in decreasing order.
1, p, -4, -15.5
Let j = 2.9462 - 0.2462. Put 2, j, 5, 1, -2/5 in decreasing order.
5, j, 2, 1, -2/5
Suppose 5*d - 4*d = 3*x + 20, 2*d - 30 = 4*x. Let m = 3 - 14/5. Put d, m, -0.5 in decreasing order.
d, m, -0.5
Let z(j) = 3*j - 42. Suppose 5 + 60 = 5*n. Let d be z(n). Let m = 66 - 62. Sort m, d, 5, -4.
-4, d, m, 5
Let u be 0/(-1) - 4/38. Let s = -250090 - -250094. Let c = 0.1 - 0.1. Put c, 2, s, u in ascending order.
u, c, 2, s
Let g = 26730.9 - 26730. Sort -5, -2/15, 9/2, g in decreasing order.
9/2, g, -2/15, -5
Let f be (-26)/7 - 4/14. Let u = 96 - 99. Let s = -1010 - -1010. Put 4, f, u, s in decreasing order.
4, s, u, f
Suppose 61*j - 59*j - 2 = 4*h, 0 = -h. Sort 28, -4, 3, j, 4.
-4, j, 3, 4, 28
Let p = 154/9 - 1676/99. Suppose -8*v - 1 = -5*v + 2*o, o 