5. Sort 1/2, k, x.
x, 1/2, k
Let l be (864/39 - 22) + (-4)/26. Put l, -200, -1 in descending order.
l, -1, -200
Suppose -1735 = 130*z - 135*z. Let m = z - 345. Suppose 4*x + 6 = -2. Put -3, 0, x, m in descending order.
m, 0, x, -3
Let r be (46 - 49) + (-46)/(-16). Let g = 21 + -22. Let z = -1.4 - g. Sort 2, -2/9, z, r.
z, -2/9, r, 2
Let d = 64 - 68. Suppose -14*v + 566 = 678. Sort 3, 4, d, v.
v, d, 3, 4
Let z be (264/308)/((-2)/42) + 0. Let g be 9/z + 54/60. Sort g, -12, -0.2.
-12, -0.2, g
Suppose -144*n + 2305162 = 214*n. Put 4, -1, n in increasing order.
-1, 4, n
Suppose -400 = -27*z + 66*z + 41*z. Sort 3, z, 1, 24 in increasing order.
z, 1, 3, 24
Suppose 2*u = -7 - 7. Let g(k) = k**3 + 7*k**2 - 5*k - 31. Let i be g(u). Put -1/5, -4/15, 5, i in decreasing order.
5, i, -1/5, -4/15
Let g = 3516.4 + -3516. Sort -1.7, g, 1/4, -20/11 in decreasing order.
g, 1/4, -1.7, -20/11
Let b(u) = -2*u**2 - 4*u + 1. Let j be b(-3). Let x(d) = -d**3 - 7*d**2 - 9*d + 6. Let o be x(j). Put -5, -3, o in descending order.
o, -3, -5
Let z be (3 - 370/130) + (-678)/13. Put 0, 2, z in increasing order.
z, 0, 2
Let v(k) = 203*k + 4063. Let m be v(-20). Put 2, m, 27 in descending order.
27, m, 2
Let m = -919 + 924. Let k be 21 - 0*(-1)/(-3). Sort k, -1, m in increasing order.
-1, m, k
Let k = -6073/7 + 867. Put 8, k, 13 in decreasing order.
13, 8, k
Let c = 2 + -1. Let t(r) = -3*r**3 + 55*r**2 - 212*r + 46. Let o be t(5). Sort o, -0.07, c, 0.1.
o, -0.07, 0.1, c
Let u be (-2)/1 - 338/338. Sort 1, u, 5, 2, 9 in decreasing order.
9, 5, 2, 1, u
Let i = 0.262 + -0.525. Let s = i - 0.237. Put -2, -0.05, s in decreasing order.
-0.05, s, -2
Let p = -35/54 - -4/27. Sort -0.1, -1, -7/3, -35, p in decreasing order.
-0.1, p, -1, -7/3, -35
Let n = -751 + 751. Suppose 2*u + 100 = -5*y, 0 = -y + 5*u - u - 42. Let j = -17 - y. Sort j, n, -4, -3 in descending order.
j, n, -3, -4
Suppose 2*v - 20 = 4*z, 44 = -v + 4*z + 60. Let r be (-7)/2 - (-2)/(-4). Suppose s = 3*y - 15, 39 = -5*s + y + 2*y. Sort s, v, r in decreasing order.
v, r, s
Let z(r) = 9*r - 184. Let g be z(20). Suppose 142 = -4*o + i - 282, -i = 4. Put 1, g, o in descending order.
1, g, o
Let t be (-26)/(-6) - (49/21 + -3). Let f(u) = u**3 - u**2 - 12*u. Let b be f(4). Sort -10, t, b in decreasing order.
t, b, -10
Suppose 5*d - 11*m + 7*m - 77 = 0, 6*m + 63 = -3*d. Let s = 13/12 + -1/3. Let c = 0.1 + 0.2. Put s, d, c, -2/15 in descending order.
d, s, c, -2/15
Suppose -2*b + 2*o = 7*o - 4, -4*o = 5*b + 7. Let a(s) be the first derivative of s**4/4 + s**3 - 4*s - 6. Let y be a(-3). Sort b, y, 3.
y, b, 3
Let p be ((-112)/(-180))/7 - (-1)/(-5). Let a(q) = 2*q**2 + 55*q + 138. Let g be a(-3). Put p, 1, g in ascending order.
g, p, 1
Let v = 13963.729 + -13964. Sort 0.2, 39, v in increasing order.
v, 0.2, 39
Let c be ((-60)/(-25))/(-3*(-12)/45). Sort 6, -5, -4, c, 4.
-5, -4, c, 4, 6
Suppose 4*f - 4*b = 0, -4*b - 338 = 5*f - 275. Put -4, f, -0.2, -262, -3 in descending order.
-0.2, -3, -4, f, -262
Let m(r) = -r**3 - 6*r**2 - 9*r - 7. Let d be m(-6). Suppose -4*q = 3*c - 120, c - 38 = -q - q. Let x = d - c. Put x, -5, 0 in ascending order.
-5, 0, x
Suppose 0 = 18*f - 17*f + 50*f - 51. Sort -110, f, 4.
-110, f, 4
Let c be 0 + 82/3 - (-4)/6. Let r = c - 14. Put 0, 5, r, 3 in decreasing order.
r, 5, 3, 0
Let d be ((-4)/(-5))/(8/560). Let x be ((-8)/d)/((-1)/4). Let w = 2/7 - x. Put 1, w, -2/5, 5 in increasing order.
-2/5, w, 1, 5
Let p(k) = 2*k**2 - 598*k + 7445. Let t be p(13). Let v(r) = -r**3. Let q be v(1). Put 0, -5, t, q in descending order.
t, 0, q, -5
Suppose -2*v - v + 62 = -4*l, v + 3*l = 25. Let q(n) = 3*n - 56. Let t be q(v). Sort t, -5, -3, -4 in decreasing order.
t, -3, -4, -5
Let c = 19 - -27. Let t = c - 44. Suppose 3*o = -o - 20. Sort t, o, 4.
o, t, 4
Let z(d) = -3*d**2 + 27*d + 33. Let t be z(10). Let p = -0.74 + -1.26. Sort -3, p, t, 2/5 in increasing order.
-3, p, 2/5, t
Let s = 1340 - 1348. Sort s, 2/27, -2/3.
s, -2/3, 2/27
Let h = 621/14 - 22893/518. Sort 2/11, 2/3, -2/13, 5, h in decreasing order.
5, 2/3, 2/11, h, -2/13
Let w be (3/(-135))/(8/16)*3. Let f = 0.491 + -0.291. Sort -1/6, w, -0.1, f in decreasing order.
f, -0.1, w, -1/6
Let z(b) = -2*b - 2. Let s be z(-1). Let p(r) = -4*r**2 - 145*r + 109. Let k be p(-37). Put -84, k, s in ascending order.
-84, k, s
Suppose l + 14 = 3*w + 2, 0 = -3*w + 5*l. Put -42, 1, -3, w in decreasing order.
w, 1, -3, -42
Suppose z - 31 = -3*p - 7, -4*z + 61 = 5*p. Suppose 0 = -b - 3*n - 6, 3*b = 5*n - 9 - z. Sort b, -1, 3 in ascending order.
b, -1, 3
Let v(j) = -j**3 + 141*j**2 + 272*j + 2007. Let t be v(143). Put t, 1371, -3 in descending order.
1371, t, -3
Let b = 3696 + -25871/7. Sort -518, 0, b, 0.4 in descending order.
0.4, b, 0, -518
Let b = -1/93 - 29/186. Let f = 0.83 - 7.53. Let m = -0.3 + f. Put m, 4, b in ascending order.
m, b, 4
Suppose -76*d = 152*d. Put d, 6, -13, -4, 2 in ascending order.
-13, -4, d, 2, 6
Let n be ((-2)/3)/(2/3). Suppose 591*i - 1102*i + 1348 + 696 = 0. Sort -3, n, 6, i in ascending order.
-3, n, i, 6
Let w(f) = -f - 7. Let q be w(-6). Let p be 1312/(-287) + (-1 - (-88)/56). Sort q, 4, p, 16 in decreasing order.
16, 4, q, p
Let q = 7690 - 7691. Sort q, 2, -81, 3 in decreasing order.
3, 2, q, -81
Suppose 3*u = -3*s + 3, -3*s = -5*u + 6 + 23. Suppose 4*b - b - 5*j = -12, -b + j - 6 = 0. Put -5, u, b in decreasing order.
u, -5, b
Let n be (-4)/1 - (-93 - -84). Sort -3, -127, 2, n in increasing order.
-127, -3, 2, n
Let y = 0.2655 + -0.5655. Sort -2/11, y, -4/3, -40, -1/8 in decreasing order.
-1/8, -2/11, y, -4/3, -40
Suppose -3*x + 3*i = 6, -i = -3*x + 119 - 111. Sort x, -1, -5, 97 in ascending order.
-5, -1, x, 97
Let g = 321 + -324.29. Let h = 3.48 + g. Put 1, -9, h in increasing order.
-9, h, 1
Let g = 7559.8 + -7559. Put 4/3, 2/39, 1, g, -5 in increasing order.
-5, 2/39, g, 1, 4/3
Let v = -10364 - -10377. Sort v, -4, 2.
-4, 2, v
Let i be 22/(-6) + (-1)/3. Suppose -4*h - 99 = -3*a + 40, -36 = -2*a - 3*h. Put a, i, 0 in increasing order.
i, 0, a
Let q be -4 + 1/1 - -5. Suppose 5*v - 12 = q*v. Suppose 3*o - 4*k - 16 = 0, k = -5*o + o - v. Sort 4, o, 2 in increasing order.
o, 2, 4
Let b be (-6)/(1404/(-465)) + -1 + -1. Let n = 151/390 - b. Let v be (-30)/(-40) + (-42)/(-8). Sort v, n, -5.
-5, n, v
Let a(i) = -i**2 + 4. Let z be a(-2). Suppose -5*j - 15 = 2*u - 6*u, 0 = -7*j - u - 21. Put 4, j, z, 2 in increasing order.
j, z, 2, 4
Let t = -1/95 - 278/665. Let b = 84 - 103. Sort 0.4, b, t.
b, t, 0.4
Let r = 0.454 - 0.4514. Put r, 2, -4 in descending order.
2, r, -4
Let m(t) = -16 + 3*t - 13 + 38 - 8. Let l be m(1). Put 0, -3, l in descending order.
l, 0, -3
Let d = 4.23488 + -0.23488. Sort 0.4, d, 85/2 in decreasing order.
85/2, d, 0.4
Let o = -0.19 - -0.3. Let t = 0.19 + o. Let d = -0.1639 - 0.2361. Put 5, d, t in descending order.
5, t, d
Let i be ((-67)/18 - 26/(-117))*(-12)/105. Put -0.3, 44, i in descending order.
44, i, -0.3
Let z be 20/25*(-19 + 18). Sort 2/31, -1/4, 1/8, 5/3, z in decreasing order.
5/3, 1/8, 2/31, -1/4, z
Let j be ((-12)/(-3) - 3) + -2 + 16. Suppose 35 = 8*o - j*o. Sort -20, 3, o in descending order.
3, o, -20
Let f be 1 - 0 - (-2 + 0). Let h = -22467 - -22472. Put f, 6, h in ascending order.
f, h, 6
Let s(t) = -t**3 + 86*t**2 - 82*t - 20. Let u be s(85). Sort -2, u, 5, 0 in descending order.
u, 5, 0, -2
Let n be 0 + (-3 - 9/(-54)*-6). Put n, -46, 13, -1 in descending order.
13, -1, n, -46
Let g(w) = 43*w**3 + w**2 + w - 1. Let j be g(1). Suppose -3*n = -5*q - 70, 41*n - 42*n - 3*q - 28 = 0. Sort n, j, -2 in descending order.
j, n, -2
Let f = -0.04245 + 2.74245. Sort f, -5, 14 in descending order.
14, f, -5
Let m = 7 + -14. Let x be (3 + 0)*(-2)/(-2). Suppose -7682*d + 7664*d + 90 = 0. Put x, m, d in ascending order.
m, x, d
Let h = -4.35 - -22.25. Let c = h + -17.4. Sort c, 0.8, 2/7, 0.
0, 2/7, c, 0.8
Let j = -0.6 - -2.6. Let y = 29 - 26. Let z be (3/(-5))/y*-4. Put z, j, -1, 10 in descending order.
10, j, z, -1
Let c = 0.7466 - 0.7466. Put c, -0.07, -4, -10 in decreasing order.
c, -0.07, -4, -10
Let u = -615617/77 + 7995. Put -1, -1/4, u, 7/4 in increasing order.
-1, -1/4, u, 7/4
Let b = -75.91 + 76. Let k = b + 0.21. Sort k, -5, 0.4, 0.1 in ascending order.
-5, 0.1, k, 0.4
Let s = 8 - 12. Suppose -17 = 11*x - 39. Put x, -