, y, -8
Let i be 8 + 77*(-7)/(98/(-4)). Sort i, 5, -9.
-9, 5, i
Let y be 10/(-25) - (-28)/315*6. Sort 6.6, y, 11 in increasing order.
y, 6.6, 11
Let a = -1.61 - -1.71. Sort 3, a, -3.4 in decreasing order.
3, a, -3.4
Suppose 2*t - t = 0. Let n be 1 + -4 + 3/2*8. Let q(p) = p**3 - 7*p**2 - 20*p + 5. Let i be q(n). Put 5, t, i in ascending order.
i, t, 5
Let p = -23399 - -23421. Sort 46, -1/2, -5, -1, p in decreasing order.
46, p, -1/2, -1, -5
Suppose 0 = -5*b - 16 + 21. Suppose 4*t - q = 33, t - 45 = -4*t + 5*q. Suppose 0 = -i + r - 4, 4*r = -4*i + 2*i - t. Sort -5, i, b, 2 in descending order.
2, b, i, -5
Let d = -209.23 + 209. Let o = d + -13.77. Sort o, 0.3, 5 in decreasing order.
5, 0.3, o
Let r be (-4)/(-18)*68/(2788/(-9)). Sort -0.5, r, 5/2, -2, -4/9 in descending order.
5/2, r, -4/9, -0.5, -2
Suppose -3*w + 6*w + 101 = -4*j, -2*w + 109 = -5*j. Let b = j + 44. Let a(y) = 4*y + 28. Let o be a(-7). Sort b, o, 5, -2 in decreasing order.
b, 5, o, -2
Let j = -1448 + 1453. Sort j, -1392/7, -0.5 in descending order.
j, -0.5, -1392/7
Suppose -34*d + 30*d - 36 = -4*u, -17 = -2*d - 5*u. Sort -5, d, 51, 1 in increasing order.
-5, d, 1, 51
Let c be 107/(642/180)*2/12. Let x = -11 + 13. Put c, x, -47 in descending order.
c, x, -47
Let k = -400.592 + -0.408. Let q = k - -401. Put 5, -0.3, q in descending order.
5, q, -0.3
Suppose -5*y - 21 = 4*a, 2*y + 1 = -3*y + a. Sort 51, 1, y in decreasing order.
51, 1, y
Suppose -2*z + 0*z + 25 = 3*y, -y - 2*z = -15. Suppose -9 = -3*q - l, 2*q + 11 - 4 = -5*l. Sort q, 19, y in descending order.
19, y, q
Let t = 413.3 + -409.6. Put t, 2/11, -2/35 in increasing order.
-2/35, 2/11, t
Let d = 10520.9 - 10522. Sort -2/5, -2, -3, d, -4.
-4, -3, -2, d, -2/5
Let s = -15.401 + 15.701. Sort s, 16, 18/5 in decreasing order.
16, 18/5, s
Let f = -3947 - -3948. Let h = -3 + 0. Sort 0, h, 3, f in ascending order.
h, 0, f, 3
Let x = -2.515 - 0.485. Sort 1/4, x, -66 in descending order.
1/4, x, -66
Let b(i) = i**3 - 4*i**2 - i + 14. Let u be b(3). Suppose u*t = 19*t + 34. Suppose -12 = -2*n - 2*n. Sort t, -5, n, 0.
-5, t, 0, n
Suppose -s - 3*c = -25, 2*s - 1074 = 5*c - 1123. Let n be (-2)/(2/9 - 0). Suppose 0 = -5*u + 3*u + 4. Sort s, n, 4, u in decreasing order.
4, u, s, n
Let m(z) = 50*z**2 + 1050*z + 2. Let n be m(-21). Sort -36, 3, n, 0 in ascending order.
-36, 0, n, 3
Let k(i) = -5*i**2 - i - 4. Let w(d) = -d**3 + 4*d**2 - d - 2. Let u be w(1). Let q be k(u). Let p be 0*-2*1/(-4). Put p, q, 4 in descending order.
4, p, q
Suppose 2*j + 40 = 5*k - 3*j, 10 = -5*k - 5*j. Let c = -60 + 66. Let w be (c - 2 - 1)*32/(-24). Sort w, 4, k, -1.
w, -1, k, 4
Let w = 6.853 - 6.763. Put -24/5, 4, w in descending order.
4, w, -24/5
Let i = -599 - -598.628. Let w = i + 0.482. Sort w, 2/11, -7 in descending order.
2/11, w, -7
Suppose 411 = -3*q + 2*l, 443*q - 2*l = 447*q + 520. Put -10, 5, q in descending order.
5, -10, q
Let n = -2985.247 - -2989. Let r = n - -0.247. Sort 0.5, r, -0.1, -2.
-2, -0.1, 0.5, r
Suppose -72 = -5*n + 3*z, 5*n - 3*z - 80 = 2*z. Let h be 3/4 + n/(-16). Put -2.3, -5/3, 0.1, h in decreasing order.
0.1, h, -5/3, -2.3
Let t = -1.09 - -1.005. Let b = t + -112.915. Let k = -112 - b. Sort k, 0.5, 5 in increasing order.
0.5, k, 5
Let x = -27 + 79/3. Let d = 1435 + -1435.1. Sort d, -2, 3/8, x.
-2, x, d, 3/8
Let v = -0.39 + 1.69. Let g = 3317/36 - 926/9. Let d = g + 11. Sort d, 0, v in ascending order.
0, d, v
Let v = 29026 + -29030. Sort -3/5, -1, v, -124 in descending order.
-3/5, -1, v, -124
Let g(n) = 22371*n - 22376. Let w be g(1). Suppose -3*t + 4*t - 7 = 0. Put t, 0, w in increasing order.
w, 0, t
Let v = -15044 - -15044.3. Put v, -5, 5, 89 in ascending order.
-5, v, 5, 89
Let u = -0.01 + 0.04. Let w be (1370/(-64253))/(30/42). Put -5, w, u in increasing order.
-5, w, u
Let a = 3145 - 3147. Let s = -7 - -11. Sort -35, a, s in decreasing order.
s, a, -35
Let w(p) = p**3 + 7*p**2 + 11*p - 1. Let v be w(-4). Sort -61, -4, 18, v in increasing order.
-61, -4, v, 18
Let j = 209.09 - 6.09. Let v = 203.1 - j. Let k = -6 - -3. Put 3/5, k, 0.2, v in decreasing order.
3/5, 0.2, v, k
Suppose -t - 3 = -3*j + 4*j, -17 = -5*j + 3*t. Suppose 8*l = 9*l - j, -4*l = -4*u - 16. Put -34, 4, u in decreasing order.
4, u, -34
Suppose 10*q - 35*q - 87 = -62. Let p be ((-1)/3)/((-8)/168). Let t(d) = -d**2 + 6*d + 8. Let g be t(p). Sort 0, q, 5, g in decreasing order.
5, g, 0, q
Let s = -0.4 + 0.5. Let q = s + 3.9. Let v = 27325 - 27323. Sort -3, -1/3, v, q.
-3, -1/3, v, q
Let y be 312/(-572) + (-2 + 8)/(33/(-52)). Sort 4, 1, y, -19, -3 in decreasing order.
4, 1, -3, y, -19
Let p(i) = 2*i**3 + 16*i**2 + 33*i - 10. Let a be p(-3). Put -3, 137, a in descending order.
137, -3, a
Let o(x) = 12*x + 687. Let g be o(-57). Sort 4/3, 13, g, -5, 0 in ascending order.
-5, 0, 4/3, g, 13
Let v be -4 + ((-40)/5)/(-1). Let x be -2 + v - -16*(-1 - 1). Let r be ((-1)/(-2 - -4))/((-5)/x). Sort 5, r, 4.
r, 4, 5
Suppose 29 = -3*l - 5*a, -3*a = -3*l + 21 - 18. Let x be ((2/(-2))/((-1)/(-1)))/1. Let g be 2 + -1 + x*6. Put 3, l, g in ascending order.
g, l, 3
Let f = 1.038 + -0.938. Put -1/4, -16, f, 0.4, -2 in decreasing order.
0.4, f, -1/4, -2, -16
Let f = -6776 - -6780. Sort -4, -1108, f in decreasing order.
f, -4, -1108
Let h be 1074/(-27) + 0 - (-13 - 238/(-18)). Put h, 13, 0 in descending order.
13, 0, h
Let g = 30830/7 + -4404. Sort 118, g, -0.4 in descending order.
118, g, -0.4
Let m be 8/(-36) - 177/(-2376)*10. Let t = -7/66 + m. Let f = -7/4 + t. Sort -0.4, 4, f.
f, -0.4, 4
Suppose -2 = -3*c + 5*j, -5*c - j + 50 = -0*j. Suppose -3*m - 17 = b, 4*b = 3*b - 4*m - 24. Put -7, c, b, 5 in descending order.
c, 5, b, -7
Let h be (-35)/(-14)*4/5. Let p(n) = -7*n + 72. Let b be p(10). Suppose 5*g - 30 = 5*o, -b*o - 3*o - 26 = -4*g. Sort 4, o, h in descending order.
4, h, o
Let a = 599 + -661. Let q = 63.1 + a. Put 5, -16, q in decreasing order.
5, q, -16
Let u = -2629 + 2626. Sort -2, u, 83, 4 in ascending order.
u, -2, 4, 83
Let l be 3/2*2/(-3). Let c be 0 + (-1)/1 + 2. Let k be (((-2)/(-6))/(9/(-297)))/c. Sort l, 4, k in ascending order.
k, l, 4
Let d be 105/(-50)*8/(-3) + 57/(-95). Sort d, -2/11, -2.44 in decreasing order.
d, -2/11, -2.44
Let b(d) = -d**2 + 6*d - 10. Let j be b(5). Let f = 1 + 4. Suppose 0 = -74*u + 65*u - 36. Put f, j, -1, u in decreasing order.
f, -1, u, j
Let j be -6 + 217/(-62)*(-2)/7. Sort j, -1, 9 in increasing order.
j, -1, 9
Let x = 1724 - 1723.5. Sort 7, -10, 1, 0.4, x in descending order.
7, 1, x, 0.4, -10
Let w = -97 + 96. Suppose 0 = s + 5 - 4, -3*p + 3*s = -9. Sort -3, 7, p, w in decreasing order.
7, p, w, -3
Let j = 42.27 + 2.73. Let a = 65 - 23. Let b = j - a. Sort -2, b, 1 in increasing order.
-2, 1, b
Suppose -7*s + 16*s - 315 = 0. Suppose -s*i - 9 = 96. Sort -520, 0, i in increasing order.
-520, i, 0
Let a = -1330/9 - -148. Let w = 4828 + -4831. Let i(s) = -s**2 - 12*s - 10. Let h be i(-11). Sort h, a, w in descending order.
h, a, w
Let s = -6 + 7. Suppose -24 = 3*f - 9*f. Suppose 11*p + 86 = 64. Sort p, s, f, -3 in ascending order.
-3, p, s, f
Let m be (-2*(-1)/(-2))/((-58)/(-2204)). Let w = -34 - m. Sort 1, 5, w, 29 in decreasing order.
29, 5, w, 1
Let y = 41320 + -41215. Sort 6, 3, y, 5 in descending order.
y, 6, 5, 3
Let n be 272*((-120)/10)/96. Suppose -5*o + 3*u - 14 = 0, 3*o - 5*u + 18 = -0*o. Put o, -3, n in decreasing order.
o, -3, n
Suppose -228 = 280*q + 332. Sort 0, 327, -1, 2, q in increasing order.
q, -1, 0, 2, 327
Let k = 1856 + -1933. Sort -2, 5, k, 3 in descending order.
5, 3, -2, k
Let x = -4378 - -4374. Put x, -14, 3, 77 in decreasing order.
77, 3, x, -14
Let z be (-6)/(1/(2/9*153/(-68))). Sort 29, -2, -3, z, 8.
-3, -2, z, 8, 29
Let o be (-2)/(-3) + (-5 - (-124)/24). Let v = 11.61 + 0.29. Let c = -11.95 + v. Put 4/7, o, 4, c in ascending order.
c, 4/7, o, 4
Let x = 6753 + -6752.6. Put -1, x, -0.5, 0.0507, 0 in decreasing order.
x, 0.0507, 0, -0.5, -1
Let x be (-18 + 6 + 4 - -12) + -7. Sort -1, -4, 20, -2, x in descending order.
20, -1, -2, x, -4
Let z = -47 + 425/9. Let m = 284151 + -284149. Sort -5, m, -2/7, z in decreasing order.
m, z, -2/7, -5
Let a(i) = -i**3 - 4*i**2 + 11*i - 58. Let t be a(-6). Sort t, 3, 5 in decreasing order.
5, 3, t
Suppose o - 4 = -0. Suppose o*l = 4*b, l + 2 + 2 = 2*b. Suppose -l*i - 