 Put 5, -1, o, 4/5 in descending order.
5, o, 4/5, -1
Let z be 60/24*(-1 - 1). Sort 0.1, 1.5, z in descending order.
1.5, 0.1, z
Let p = -13/12 - -1/3. Let h = 7 + -10. Sort h, p, 3/4 in decreasing order.
3/4, p, h
Let s be 3/((-36)/(-4)) + 0. Put -0.3, -12, s in decreasing order.
s, -0.3, -12
Suppose -2*g + 0 = -10. Suppose 0 = -3*z - 2*t - 2 - 5, 5*z - g*t = -45. Let q(m) = m + 1. Let c be q(4). Sort c, -1, z.
z, -1, c
Let u = -49 - -47. Suppose -5*b - 5*j = 5, -2*b - 3*b + 16 = -2*j. Let d = -0.8 + 0.3. Sort b, d, u in increasing order.
u, d, b
Let z be (-2)/(-2 + 2/(-3)). Let o = 0.1 - 0.24. Let h = 0.36 - o. Sort z, h, -2/11 in decreasing order.
z, h, -2/11
Let j = 8.6 + -9.6. Sort 4, j, -2 in decreasing order.
4, j, -2
Suppose 0 = 23*d - 19*d - 8. Suppose 4*z - 13 = 3*o + 11, 3*z - 29 = 5*o. Let r = 7 - 2. Sort o, d, r.
o, d, r
Let j = 0.183 - -0.017. Let m = 59/182 + -1/26. Put 0.07, j, m in descending order.
m, j, 0.07
Suppose 5*n + 0*n - 3*a = -16, 0 = 4*n - 5*a + 5. Let o be 12/(-18)*(-3)/n. Put o, 4, 1 in decreasing order.
4, 1, o
Let s = -4179 - -12661/3. Let b = s + -41. Let o = 1.5 + 0.5. Sort o, b, -1/4 in decreasing order.
o, b, -1/4
Let x be (4 - 2) + -2 - 1. Let y be 11/44*(3 + 1). Put x, 3, y in descending order.
3, y, x
Let r = -23 + 70/3. Sort r, 0, -2/15, -1.
-1, -2/15, 0, r
Let s be (6 - 3 - 12)*-1. Sort s, -5, 0 in decreasing order.
s, 0, -5
Let d = 39 - 44. Put d, -0.3, -1/2 in descending order.
-0.3, -1/2, d
Let m = 1207/25 + 623/25. Let t = m - 220/3. Suppose u = 3*d + 13, -u - 20 = 4*d + 2. Sort u, 0.2, t in decreasing order.
0.2, t, u
Let q = 5 + -3. Sort q, -4, -0.1 in decreasing order.
q, -0.1, -4
Let d be (2 - -93) + -3 + 4. Let q = d - 476/5. Let z be -2 + (-27)/(-12) - 0. Put q, 3/2, z in decreasing order.
3/2, q, z
Let a = -2 + 5. Suppose q = 5*k - 29, -k = 3*q - q + a. Let i = 4 + 0. Sort q, -5, i.
-5, q, i
Let p = -6 - -2. Let h(v) = v**2 - 4*v + 1. Let q be h(2). Let w be (q/19)/(9/6). Put w, p, -7 in increasing order.
-7, p, w
Suppose 3*z + 1 = -5. Let r be (-2 - z)/3*1. Sort 1, r, -2 in ascending order.
-2, r, 1
Let h = 14 + -8. Suppose -2*x + h = -2. Suppose n + x*n = 0. Sort -5, n, 4.
-5, n, 4
Let x = -37.4 - -44. Let i = -0.4 - x. Let w = -10 - i. Sort w, 0, -0.2.
w, -0.2, 0
Suppose -q - 3*t + 0 - 1 = 0, t = q - 7. Let m be 1*(1 - 13*-1). Suppose 2*w = -w + v + 11, 3*w + m = -4*v. Put 4, w, q in descending order.
q, 4, w
Let l = -0.09 - -0.59. Put -4, -0.09, l in ascending order.
-4, -0.09, l
Let o = -0.539 - -0.039. Suppose -2*d + 0*d = -5*u + 8, 3*u + 3*d + 12 = 0. Sort o, u, 0.5 in descending order.
0.5, u, o
Let f = -12 - -7. Let k be ((-4)/(-5))/((-1)/f). Put 3, -2/11, k in increasing order.
-2/11, 3, k
Let p = -2 + -2. Let l be 22/p + (-2)/(-4). Let g = l - -8. Sort g, -5, -3.
-5, -3, g
Let y = 4 + -7. Suppose 3*p + 97 - 94 = 0. Let a = -10 - -5. Sort y, a, p in decreasing order.
p, y, a
Let l = -78 - -77.97. Sort 1, -4, -5, l in descending order.
1, l, -4, -5
Let s be (-16)/40 - (-29)/35. Sort 5, -0.5, s in decreasing order.
5, s, -0.5
Let j = 75 - 75. Sort 16, -3, j, -4 in descending order.
16, j, -3, -4
Suppose -6*i + 5*i = 11. Let b = i + 13. Put -1, -0.4, b in decreasing order.
b, -0.4, -1
Let i = 13 - 8. Let j = -7 - -4. Sort 0, i, j.
j, 0, i
Suppose 4*q = -g + 4*g + 28, -3*q + 3*g + 24 = 0. Put q, -1, 1 in ascending order.
-1, 1, q
Let h = -0.8 - -0.4. Let s = -0.7 - 0.3. Let i = s - -6. Sort i, -0.5, h.
-0.5, h, i
Suppose 0 = -5*c + 1 - 16. Sort 0, -4, c, -24/7 in ascending order.
-4, -24/7, c, 0
Let y = -8 + 13. Suppose 3*o + v = 13, 3*o + 0*o + 7 = 4*v. Sort o, y, -5 in ascending order.
-5, o, y
Let z be (-3)/(-6)*-6 + -1. Put 0, -1, z, -5 in ascending order.
-5, z, -1, 0
Let w be 6/4*(-4)/(-3). Put w, -5, -3 in decreasing order.
w, -3, -5
Let x = -40 + 39. Sort 0, x, 1, -4.
-4, x, 0, 1
Let b = -15 - -22. Suppose 2*x + x - 17 = -4*k, 4*k - 2*x = 2. Sort k, b, -4.
-4, k, b
Let j(o) = -o + 6. Let z(k) = k - 6. Let n(g) = 5*j(g) + 6*z(g). Let a be n(11). Suppose 5 = -3*f + 2*f. Sort a, -2, f.
f, -2, a
Let l = 586/833615 - 315872648327/122541405. Let w = 7735/3 + l. Let j = w - -2/147. Put -4/3, j, 0.1 in decreasing order.
j, 0.1, -4/3
Let v = -0.7 + -5.3. Let s = v - -4. Let d be 15/25 - (-3)/(-5). Put d, s, 0.1 in increasing order.
s, d, 0.1
Let b be (28/(-10))/((-4)/10). Let u = 3 - b. Let d = u + 3. Put -0.4, 3/4, d in increasing order.
d, -0.4, 3/4
Let z = -0.6 - -0.56. Sort -1/3, -0.2, z.
-1/3, -0.2, z
Suppose -y + 3 = 1. Let c(b) = -b - 4. Let z be c(-5). Suppose 0 = 5*x - 2*x. Put x, y, z in descending order.
y, z, x
Suppose 0 = -0*w + 3*w + 3*y - 18, 2*y - 14 = -4*w. Suppose -3*r - w - 2 = 0. Put 4, r, 2 in increasing order.
r, 2, 4
Let j(o) = -o**3 - 5*o**2 - 6. Let i be j(-5). Let q = i + 1. Sort 4, -2, q in descending order.
4, -2, q
Suppose k = 17 - 2. Suppose 10*c - 5*c + 3 = -j, 5*j + k = 5*c. Sort c, 5, -2 in descending order.
5, c, -2
Suppose -4*k + 2*k = -x + 57, 3*x - 175 = 5*k. Let d be (-117)/x - (-2)/(-10). Sort d, 3, -1 in ascending order.
d, -1, 3
Let c be -3 - (2 - (-1 + 2)). Put 1, c, -2 in increasing order.
c, -2, 1
Let o = -7 - -5. Let y = -32/15 + 4/3. Suppose -2*s = -4*v + 2, 3*s - 4*v = -5*v + 4. Sort s, y, o.
o, y, s
Suppose 0 = -g + 6*g + 10. Let w be (-10)/65 + 306/(-39). Put -5, w, g in decreasing order.
g, -5, w
Let b(i) = 2*i + 7. Let o be b(-6). Let x(s) = s**2 + 7*s + 5. Let c be x(o). Let g = 7 + -10. Sort g, c, -4.
c, -4, g
Let d(h) = -2*h**3 - 5*h**2 + 4*h + 3. Let a be d(-3). Let b be (-1)/(0 + 0 + 1). Sort -4, a, b in descending order.
a, b, -4
Suppose 2*t + 6 = 2*v - 0, -4*v - t + 22 = 0. Sort 3, -4, v, 1.
-4, 1, 3, v
Suppose d + 2*d + 12 = 2*t, 5*d + 24 = 4*t. Suppose 3*f + 4*n = -t, 2*f - 5 = -2*f - n. Sort 0.5, 2/7, f in descending order.
f, 0.5, 2/7
Let k = 33.9 + -36. Let o = -2 - k. Sort -1/6, o, 2/9 in increasing order.
-1/6, o, 2/9
Suppose -3*b = b - 12. Suppose -2*x + 2*l + 5 = x, 1 = -3*x - 4*l. Let m be (1*-1)/(1/x). Sort b, 5, m in descending order.
5, b, m
Let w be 2/(4 + -2)*-5. Sort -0.5, w, -8.
-8, w, -0.5
Let h = 25.5 - 25. Let d = 8 - 5. Sort h, d, 3/8 in decreasing order.
d, h, 3/8
Let m = 28 + -34. Put 3, 5, m in descending order.
5, 3, m
Let r = 11 - 6. Suppose -r*s + 2 = -3*d - 7, -4*d = -8. Put -0.3, 2, s in decreasing order.
s, 2, -0.3
Let n = 11 + -4. Let d = 11 - n. Sort -0.3, d, -0.1.
-0.3, -0.1, d
Let v = 290.6 - 291. Let o = 4 - 7. Sort -1/4, v, o in decreasing order.
-1/4, v, o
Suppose 7*f - 33 - 2 = 0. Sort f, -1, 3, -4 in ascending order.
-4, -1, 3, f
Let b = 28 + -31. Suppose 6*p = p + 15. Suppose p*u - u = 0. Put u, -1, b in decreasing order.
u, -1, b
Let j = -42 + 48. Put -3, j, 4 in increasing order.
-3, 4, j
Let n be (-1)/((-28)/(-8)) + (-33)/7. Put 0, 2/23, 5, n in descending order.
5, 2/23, 0, n
Suppose -2*j - 20 = -h + 3, 5*j - h = -56. Let q = j - -6. Put q, 4, 0 in decreasing order.
4, 0, q
Suppose 8 = -2*h - 0*h. Let n(i) = i**3 + 9*i**2 + 8*i - 3. Let g be n(-8). Let w = -6 + 7. Put h, w, g in increasing order.
h, g, w
Let w = 1.03 - 0.13. Let b = -0.4 + w. Let m = 0.13 + 0.27. Put m, b, 2 in increasing order.
m, b, 2
Let n = -18075/1261 - -2/3783. Let t = 0 - 14. Let u = n - t. Sort 1, u, -1 in descending order.
1, u, -1
Let w = 0.6 + -0.9. Sort w, -0.02, 5 in decreasing order.
5, -0.02, w
Let j = 0.1 - -0.25. Let a = j + -0.05. Let u(p) = -p + 16. Let d be u(13). Put d, a, 2/9 in descending order.
d, a, 2/9
Let j = 10 - 2. Let x = 25 + -28. Put 2, j, x in decreasing order.
j, 2, x
Let t = 17.86 + -17. Let i = t - -0.14. Put i, -2, -2/5 in decreasing order.
i, -2/5, -2
Let g(s) = -s**2 + 6*s + 1. Let r be g(6). Suppose r = 5*i + 26. Let v = 4 - 6. Put -4, i, v in increasing order.
i, -4, v
Let m = 1 + -4. Let n = 0.3 - 0.52. Let f = n - -0.02. Sort -4, m, f in ascending order.
-4, m, f
Suppose -4*z - 17 + 57 = 0. Let y = -15 + z. Put 1/4, 0.5, y in descending order.
0.5, 1/4, y
Let u = 3.2 - -0.8. Let g = -16.2 - -15.7. Sort g, u, 0.5 in decreasing order.
u, 0.5, g
Let i(d) = d**2 - d - 1. Let x be i(0). Let c(o) = -3*o - 188*o**2 + 2 + 4*o + 187*o**2 - 1. Let m be c(x). Sort 1, m, 5 in descending order.
5, 1, m
Let f = 1/2994 - -293357/164670. Let v = f - 8/5. Let n = -0.04 - -5.04. Sort n, -5, 