 Sort a, -1, -2/3, -0.1 in descending order.
-0.1, -2/3, -1, a
Let x be 0/(2 + -9 + 4 + 4). Let b be (-1 + x)/(1 + 0 + 0). Sort b, -24, 5 in ascending order.
-24, b, 5
Let u be ((-1)/1)/3 - 7/(-3). Let p(y) = -2*y**2 - 5*y - 5. Let c be p(0). Sort c, u, -6, 5 in increasing order.
-6, c, u, 5
Let h = -0.6 - -5.6. Let y = 0.86578 + -0.76578. Sort 4/13, y, h.
y, 4/13, h
Let v(m) = -5*m**3 + 8*m + 7. Let w be v(-1). Suppose 0 = -z + 4, -4 = -3*u + u - 5*z. Let i(l) = l + 2. Let p be i(u). Sort 0, p, w in descending order.
w, 0, p
Let l be 45/(-2) + 12/8. Let t = l + 29. Let h(n) = n - 6. Let s be h(t). Sort 5, -5, s in decreasing order.
5, s, -5
Suppose 0 = 108*f - 109*f - 5, -f + 22 = -3*d. Sort 2, -3, 1, d, 14 in descending order.
14, 2, 1, -3, d
Suppose 24 + 11 = -28*m + 7. Sort m, -4, -659.5 in decreasing order.
m, -4, -659.5
Suppose 2*v - 4*v = -q + 3*q, 5*q - v = 0. Let f = 19 - 16. Let d = 10 + -5. Sort d, q, f in ascending order.
q, f, d
Suppose -2*n + 3*j - 6028 = -6456, 5*n = -j + 1104. Let f = 3.5 - 3. Put f, 1, n in ascending order.
f, 1, n
Suppose -w - 20 = -5*z, -1444*w = -3*z - 1442*w + 12. Sort 2, z, 6, -1, 50 in ascending order.
-1, 2, z, 6, 50
Suppose 2*z + 4*j = 228, z - 44 - 74 = -4*j. Suppose 2*x - 4*n = -3*x + z, 3*x - 69 = 3*n. Sort 8, x, -4.
-4, 8, x
Suppose 0 = -2*f + 5*n + 9 + 21, -2*f + 26 = -4*n. Sort f, 1, 6, 18 in descending order.
18, 6, f, 1
Let q = 0.0328 + 0.3672. Sort 3, 0, 5/4, q, 2/175 in descending order.
3, 5/4, q, 2/175, 0
Let v = 23779 - 23781. Put v, 20, -50 in increasing order.
-50, v, 20
Suppose 1131*g = 1155*g + 192. Put -65, g, -2 in descending order.
-2, g, -65
Let i = 632/15 + -127/3. Suppose 2*l + l = 3*q - 24, 20 = q - 5*l. Suppose 2*j = 3*y - 11, j - 3*j = -q*y + 21. Put 0.6, i, 1, y in ascending order.
i, 0.6, 1, y
Let y = 33 - 37. Let a = -855 + 7693/9. Sort -1, y, a, -0.4.
y, -1, -0.4, a
Let r = 101.77 + -1.77. Let u = r + -91. Let q = u - 9.18. Put 5, q, -1 in increasing order.
-1, q, 5
Let z = 183 - 175. Suppose -3*p + 4*n - 4 = z, 0 = -p - 2*n - 14. Sort 2, p, 1 in decreasing order.
2, 1, p
Let t = 73/95 - 92/95. Sort -0.4, t, 1, -0.18, 4 in descending order.
4, 1, -0.18, t, -0.4
Let u = -738.2 + 738. Let t = 0.12 - 0.52. Sort t, u, 2/23, -1/2 in descending order.
2/23, u, t, -1/2
Let o = 8155 + -4123. Suppose -o = -5*j - 9*j. Suppose 70*g + j = 67*g. Sort 3, g, 0 in decreasing order.
3, 0, g
Let w = 18 - 15. Let v be (172/(-731))/(2/(-17)). Put -36, w, v in ascending order.
-36, v, w
Let n = 5651 - 5659. Sort n, -33, -5 in increasing order.
-33, n, -5
Let u(n) = 5937*n**2 + 41557*n - 9. Let a be u(-7). Let c be (4/6)/(1/(-6)). Put a, -1, c in descending order.
a, -1, c
Let c(p) = 15 + 22 - 2*p**2 + p + 15 - 53. Let d be c(1). Let o be d + 195/(-13)*(-1)/(-1). Sort o, -3, 3 in increasing order.
o, -3, 3
Let n be 3*(6/48 + (-7)/(-8)). Suppose 0 = 5*s + 5*h - 20, 5*s = -0*h + n*h - 12. Suppose s = 3*d + 14 + 1. Sort 4, d, -2.
d, -2, 4
Suppose 4*i = -5*k - 39, -5*i + 0*k = -2*k + 24. Let d = -65/67 + 459/335. Sort i, d, 0.2.
i, 0.2, d
Let t = -15034.1 + 15034. Sort 3, -2/7, -1, 138, t in increasing order.
-1, -2/7, t, 3, 138
Let i be (-3)/18*3*-132. Let o be 36/21*(-126)/(-54). Sort -4, i, o, 3 in ascending order.
-4, 3, o, i
Let u(f) = 2*f**2 + 53*f - 30. Let y be u(-27). Let t be -1*(y - (3 + -7)). Suppose -2*w + w = -4. Put w, 5, t in ascending order.
t, w, 5
Suppose k - 5 = -3*o - k, -4*o + 2 = -2*k. Let r be (182/36)/7 - 103/206. Sort o, -2, r, 5.
-2, r, o, 5
Let h = 11.7 - 10. Let d = -26571 - -26573. Put 0.1, h, d, -2/23 in ascending order.
-2/23, 0.1, h, d
Let f = -1837 - -1835. Put 2, 138, f in descending order.
138, 2, f
Let i(p) = 19*p**3 - 2*p**2 + 2*p - 1. Let t be i(1). Suppose -4*a + 3*c = 29, 15 = 5*a - 4*c + 52. Put a, t, 1 in ascending order.
a, 1, t
Suppose 7*x = 8*x - 5. Suppose -2*m - 103 = -4*w + 33, m = -5*w + 184. Suppose -w = 4*b + x*b. Sort 3, 2, 5, b in increasing order.
b, 2, 3, 5
Let m(c) = 3*c**3 + 2*c**2 + c. Let u be m(-1). Let k be (0*1/u)/(-4). Suppose s = y - 0 - 2, k = 2*s - y + 7. Put -9, s, 4, 1 in descending order.
4, 1, s, -9
Let f = -0.093 - -4.163. Let s = -4.07 + f. Put -9/7, s, 1, 1/4 in increasing order.
-9/7, s, 1/4, 1
Let k = -2926 + 3065. Sort k, -5, 3 in descending order.
k, 3, -5
Let k = 6.1 + -6. Let w = 21283 + -21278. Let a = 2/105 - -311/210. Put -6, w, a, k in increasing order.
-6, k, a, w
Let c = 3402 - 3426. Sort -5, c, -12 in decreasing order.
-5, -12, c
Let s(x) = x**3 + 19*x**2 - 40*x + 71. Let b be s(-21). Put b, -0.2, -8 in decreasing order.
b, -0.2, -8
Let w = -19933 - -19918. Put -5, 6, w, -6, -4 in decreasing order.
6, -4, -5, -6, w
Let x = 24 - 15. Let m = 7.9 + -26.7. Let w = -18.5 - m. Put 0.4, w, -2, x in decreasing order.
x, 0.4, w, -2
Let u = -22 - -17. Let l = 3624 + -3506. Sort u, 1, l in increasing order.
u, 1, l
Let u be 12/(-24) - (287/(-2))/1. Suppose -u*k + 147*k + 4 = 0. Sort 4, -5, k.
-5, k, 4
Let q = 4127 - 4127. Put 4, -10, q, 2, 6 in descending order.
6, 4, 2, q, -10
Suppose 0 = 3*q - 2*q + 4. Let c(n) = 4*n**3 + 39*n**2 + 98*n + 16. Let r be c(-5). Put -5, r, 19, q in descending order.
19, r, q, -5
Let x = 488.514 - 489. Let a = x + 0.086. Let w = -0.08 - -4.08. Sort -0.1, w, a.
a, -0.1, w
Suppose 100 + 446 = -332*d - 1114. Sort 4, 0, d, -1, -20 in ascending order.
-20, d, -1, 0, 4
Suppose 0 = -7*j + 2*j + 15. Let f be (-5)/10 - 4515/14. Let t = -291 - f. Put t, j, -3, -4 in increasing order.
-4, -3, j, t
Let r = 678858 + -678853. Suppose -g - 3*g = -24. Sort -0.5, r, g, -4.
-4, -0.5, r, g
Let v = 2745 + -2747. Put -4, -1.1, 2, v, -2/7 in decreasing order.
2, -2/7, -1.1, v, -4
Let x = -0.0405 - -0.7015. Let q = 0.361 - x. Sort -183, -0.1, q in increasing order.
-183, q, -0.1
Suppose -5*w + 21*p + 10 = 18*p, 4*p + 40 = 0. Let h = -7 - -4. Put w, h, -8 in descending order.
h, w, -8
Let c(h) = h**2 + 19*h + 67. Let w be c(-15). Suppose 0 = 13*z - w - 6. Put -5, z, -30, -2 in descending order.
z, -2, -5, -30
Let t = -15 - -19. Let p be 0 + t*3/8. Let h = -3.9586 - 0.0414. Sort -1, p, h.
h, -1, p
Let o be (24 - 1) + 5610/(-330). Put -21, o, -5 in increasing order.
-21, -5, o
Let i = 3 + 2. Let v = -492 - -5410/11. Let r = 21 + -13. Put r, v, i in descending order.
r, i, v
Let a = -313 - -291. Suppose 5*b - b = 4. Put -1, b, a in decreasing order.
b, -1, a
Suppose 21 = -4*z - p, 0 = -5*z - 239*p + 238*p - 26. Sort 4, 12, z, -11.
-11, z, 4, 12
Let j = 124621 + -124621.26. Let m be (-839)/(-2110) + 4/(-10). Let l = -859/6330 - m. Put 1/3, l, j in ascending order.
j, l, 1/3
Let z = -11 - 1372. Sort z, 0, 1 in decreasing order.
1, 0, z
Let k be (-12)/(-16) + 153/68. Sort -1, k, -9, -5 in ascending order.
-9, -5, -1, k
Suppose -36*n = -60*n - 3624. Put 3, 4, n in descending order.
4, 3, n
Let y be 0 + ((-36)/(-30))/((-12)/90). Put 3, 1, y in decreasing order.
3, 1, y
Let u(g) = g**3 + 7*g**2 + 9*g - 8. Let o be u(-4). Suppose -o*s - s = -2*z - 57, 2*z = 2*s - 24. Put s, -2, 1 in ascending order.
-2, 1, s
Suppose -4*x - 23 = -9*x - 3*v, x - 5*v + 1 = 0. Suppose 0*l + l = -x. Let i be 308/(-98) + (15/(-21))/(-5). Put -2, l, i in decreasing order.
-2, i, l
Suppose -2*r = u - 6*u - 36, 4*r - 5*u - 82 = 0. Sort -5, -6, 3, r, -2 in increasing order.
-6, -5, -2, 3, r
Let k = -664 + 664.2. Sort -3, 81, 2/9, k in decreasing order.
81, 2/9, k, -3
Let p be (-14938)/(-2910) + 0 + -5. Sort 4, -3, 189, p, 5 in decreasing order.
189, 5, 4, p, -3
Suppose 16 = -2*r - 3*l, -r + 19*l - 7 = 20*l. Sort r, 4, 1.
r, 1, 4
Let u be (-7)/63 - (-159)/(-27). Let y be 1 + 0 + 2 - 7. Put 3, 4, u, y in increasing order.
u, y, 3, 4
Let x = 32/351 + -500/351. Sort 0.2, x, -0.1, 0, 40 in descending order.
40, 0.2, 0, -0.1, x
Let o = -5848 + 5851. Sort 31, 5, o in descending order.
31, 5, o
Let a = 199 + -200.66. Let c = -124.66 - a. Let j = c + 127. Sort j, -37, -1 in increasing order.
-37, -1, j
Suppose -4*n + 30 = 10*i - 7*i, 3*n = i + 3. Sort -98, n, -4, 2.
-98, -4, 2, n
Let z(j) = -24*j - 66. Let a be z(-3). Suppose -2 = -3*t + 2*i - 0, t - 4 = 4*i. Put 3, a, t in increasing order.
t, 3, a
Let r(w) = -w - 16. Let p be r(-11). Sort 3, 2, p, 86, 1 in descending order.
86, 3, 2, 1, p
Suppose 4*t + 12 = t. Let r = 1.86 + -2.19. Let q = r - 0.87. Put -