. Let s be u(14). Put 0, 0.7, -0.16, s in decreasing order.
0.7, 0, -0.16, s
Let m = -39146/21 - -1864. Sort m, -1/5, 0.5, -1/34 in decreasing order.
0.5, -1/34, m, -1/5
Let l be -3 + 4/(88/70). Let z = -4.426 + 0.756. Let o = -0.67 - z. Put o, -0.5, l in decreasing order.
o, l, -0.5
Let p = -15 - 2. Let h = -2837 + 2832. Let v be (-48)/(-22) - (1 - -1). Put p, v, h in decreasing order.
v, h, p
Let k be (-2 + -1 + 13)*(-45)/(-150). Put -2, -223, k, 5 in decreasing order.
5, k, -2, -223
Let l = 1170.4 + -1172. Let z = 3.3 + -0.3. Sort -0.3, z, l.
l, -0.3, z
Let f(h) = -h**2 + 1212*h + 8537. Let s be f(-7). Sort 3, s, -289 in ascending order.
-289, 3, s
Let b = 28.4 - 87.4. Let k = b + 59. Sort 1, -3, k in descending order.
1, k, -3
Suppose 286*a - 285*a + 3 = 0. Put -640, -2, -4, a in ascending order.
-640, -4, a, -2
Let o = -29930 - -29931. Sort -4, o, -0.3, -1390.
-1390, -4, -0.3, o
Let b be (462/(-132) + (0 - -2))*6. Sort 4, 5, b, 1/6 in ascending order.
b, 1/6, 4, 5
Suppose c = 4*b + 2*c - 499, -5*b + 626 = -c. Let j = b + -123. Sort -1, 0, j, 6 in descending order.
6, j, 0, -1
Let a = -1864210633/942 + 1978992. Let j = -2/157 - a. Put 6/11, -0.4, -0.5, j in descending order.
6/11, j, -0.4, -0.5
Let w = 1.7137 + 156.3853. Let x = w - 0.099. Sort x, 4, -3.
-3, 4, x
Let c(u) = u**2 - 11*u - 51. Let y be c(15). Suppose -y*g + 55 = 2*g. Put 14, 0, 4, g in increasing order.
0, 4, g, 14
Suppose -3*n + 6 = -6*n. Let b be -12 - (-66)/77*14. Put n, -4, b in descending order.
b, n, -4
Let c = 21 - 18. Let n(w) = -13*w - 6. Let t be n(-1). Sort 4, -3, c, t in increasing order.
-3, c, 4, t
Let s be (-18*(-3)/36)/(18/(-24)). Suppose 0 = 5*j + 3*m + 10, -j - m + 0*m - 4 = 0. Sort j, s, 2 in ascending order.
s, j, 2
Suppose 5*u - 5*j = -30, u + 0 = -3*j + 14. Let s be u - -3 - 21/(-7). Suppose f = 5*z + 5*f + 70, 4*z + f + 45 = 0. Sort z, 2, 3, s in increasing order.
z, 2, 3, s
Let x = -32 + 35. Suppose t - 1 = -3*s + s, -3*s = 5*t + 2. Let o = -0.4 + -0.1. Sort o, s, x in decreasing order.
x, s, o
Suppose -r = -19*r + 108. Let z be (21/r)/(2*(-4)/16). Put 0, 10, z in descending order.
10, 0, z
Suppose -4*n = 3*c - 24, 5*c + 209*n - 18 = 206*n. Sort -9, c, 1, 5, -5.
-9, -5, c, 1, 5
Let z = 235.5 - 236.7. Put 30, -0.04, z in increasing order.
z, -0.04, 30
Suppose -3*i - 7 + 1 = 0. Let u = -1.61 - 0.59. Let c = u + 8.2. Put i, -5, c in decreasing order.
c, i, -5
Let p = -204 - -302. Let o = p + -96. Suppose -2*f + o*s + s + 8 = 0, 0 = -2*f - s. Put 3, 2, f in descending order.
3, 2, f
Let c be (8 + (-393)/48)/(3/4). Sort c, 1/3, -220 in descending order.
1/3, c, -220
Suppose -18*g - 488 = -1802. Put g, 5, 1 in decreasing order.
g, 5, 1
Suppose 31*f - 1505 + 1682 = -3264. Put -1, -3, f in ascending order.
f, -3, -1
Let k be 3 + 5 - (-165)/(-15). Sort 1, k, 3, -10 in descending order.
3, 1, k, -10
Let b(f) = -f - 4. Let w be b(-1). Put 4.36, -4, w in increasing order.
-4, w, 4.36
Let v(b) = -b - 7. Let y be v(-7). Suppose 2 = -2*p + 2*m, y*m + 13 = 3*p + 5*m. Suppose 0 = -27*c + 37*c. Put c, p, -3 in decreasing order.
p, c, -3
Suppose 0 = 5*r + 3*f - 19, 19 = -r + 3*r + 5*f. Suppose 4*a = -z, 3 = -z - 5*a + 2. Suppose -3*b = -4*o - 3, -2*b = z + 2. Sort 3, r, o in descending order.
3, r, o
Suppose 10 - 50 = -2*k. Suppose 0 = -3*h - 15, -4*w - 18 = 5*h + 31. Put k, w, -3, 3 in descending order.
k, 3, -3, w
Let f = 1272.6 - 1272.5. Put 1420, f, 0.5 in descending order.
1420, 0.5, f
Let b = -42.3294 - -42.3294. Let n(u) = -2*u. Let k be n(-2). Let p be ((-2)/10)/(k/(-10)). Put 2/5, p, -2/5, b in decreasing order.
p, 2/5, b, -2/5
Let g = -1699 + 1695. Let w = -679 - 137. Let o be (-6)/(-45) + w/45. Sort -1, 5, o, g in descending order.
5, -1, g, o
Let l(r) = 6*r. Let c be l(-1). Let s be (-36)/8*2/c. Let n = -171.4 + 167.4. Sort 1/2, n, s in increasing order.
n, 1/2, s
Let x(t) = -239*t + 7414. Let y be x(31). Put 62, y, 4, -3 in ascending order.
-3, 4, y, 62
Suppose 25 + 56 = -3*c. Suppose 58*d + 380 = 153*d. Sort c, -4, 3, d in ascending order.
c, -4, 3, d
Let c be (9/(-2))/((-4)/(-8)). Let y be 2/(-2) - 27/c. Suppose 6 = y*v - 0*v. Sort v, 1, 0, -3 in decreasing order.
v, 1, 0, -3
Let s = -0.004 - 0.996. Let q = -95/79 + 191/553. Sort s, q, -1/3.
s, q, -1/3
Let s = 5.4 + -5. Let g be (-3)/4 - 0/1. Let p be (0/(-1230))/(2 - (-2 - (2 - 2))). Put s, p, 0.1, g in increasing order.
g, p, 0.1, s
Suppose -6*n + 7*n + 5 = -0*n. Sort n, -1, -4, 1, 7 in descending order.
7, 1, -1, -4, n
Suppose 0 = 31*c - 25*c + 6. Let l be (-7)/(7/c) - -3. Put 2/3, l, -6 in decreasing order.
l, 2/3, -6
Let i = 4.11 - 0.11. Let w = 0.529 + -488.529. Let t = 488.1 + w. Put i, 1/6, -2, t in descending order.
i, 1/6, t, -2
Let b = 10584/5 + -2116. Sort b, 0.5, -41/5.
-41/5, 0.5, b
Suppose 24 = -5*y - 2*a, -3*y + a + 4*a - 2 = 0. Suppose -5*u = -3*n + 1 + 3, -20 = -5*u. Sort -3, y, n in decreasing order.
n, -3, y
Let q = -222284 - -11557125/52. Let z = -127/4 - q. Sort 2, 0, z in increasing order.
z, 0, 2
Suppose 2417*w + 5 = 2431*w - 93. Sort 3, w, -56 in descending order.
w, 3, -56
Let w = 4 - 8. Let u = -223 - -277. Let t = u + -42. Sort 0, t, w in ascending order.
w, 0, t
Let r(m) = m**3 - 2*m**2 + 1. Let n be r(3). Let q = 4 - n. Suppose -3 = -j - 2*u, -15 = -5*j - 475*u + 480*u. Put q, j, -4 in increasing order.
q, -4, j
Let l = 2067 - 2066. Suppose -5*b = -3*c + 552, -5*b + 2*c - 6*c = 524. Sort b, -1, l in descending order.
l, -1, b
Let y = 6 + -12. Let g(o) = -o**3 + 4*o**2 + 247*o + 89. Let u be g(18). Let i = 2 - -1. Put -4, y, u, i in descending order.
i, u, -4, y
Let z be ((-4)/(-16))/(9 - (930/9)/10). Sort -2/5, 2/53, z, 1/9.
-2/5, z, 2/53, 1/9
Suppose 126*k + 6081 + 59400 = -173*k. Let j(w) = -w**3 + 4*w**2 - 3*w - 1. Let v be j(3). Put -2, v, k in increasing order.
k, -2, v
Let n be (-11115)/209 + (-2)/(-11). Suppose 111*z + 6 = -2*j + 113*z, -5*z + 30 = 0. Sort -3, n, j, -2.
n, -3, -2, j
Let i be 6 + (-3 - -1) - (37 + -38). Put 1, i, 0, 0.118, -4 in decreasing order.
i, 1, 0.118, 0, -4
Let m = -22 + 21.8. Let d(b) = b**2 - 1. Let k(s) = -6*s**2 - 4*s + 9. Let u(v) = 5*d(v) + k(v). Let j be u(-4). Sort 0, m, j in increasing order.
m, 0, j
Let j = 5 + -7. Let x = 130734 - 130729. Sort -5, 1, x, j.
-5, j, 1, x
Let v = 16806/7 + -2418. Let l = 17 + v. Let b = 5 - 5.3. Sort -2, l, b, -7 in decreasing order.
l, b, -2, -7
Let j = -1559 - -1562. Let w = 4.13 - 0.13. Let d = -3.8 + w. Sort 1, d, j.
d, 1, j
Let q be (-3 - 1) + (10/35 - 9/7). Sort 2, 3, 6, q, -4 in ascending order.
q, -4, 2, 3, 6
Let y = 8396 + -8396. Sort -2, y, -90, -1 in ascending order.
-90, -2, -1, y
Let t = -195.9 + 195.95. Put -25/2, t, 5, 2/11 in descending order.
5, 2/11, t, -25/2
Let p = -1278.5 - -1278.3. Put 0.5, 19/3, -2/9, -1/3, p in ascending order.
-1/3, -2/9, p, 0.5, 19/3
Suppose -4 + 19 = 5*i, 0 = -4*v + 3*i - 29. Suppose -h = o + 2, 1 + 15 = -4*o. Let d be (-3*h - 0)/(-2). Put -13, d, 1, v in ascending order.
-13, v, 1, d
Let u be (-4 + 1)*(-1 + 78/18). Let c(b) be the third derivative of -b**5/60 - 11*b**4/24 - 7*b**3/3 + 7*b**2. Let k be c(u). Put -1, 6, k in descending order.
6, -1, k
Suppose -8*s - 577 = 211*s - 139. Suppose -5*u - 3 + 2 = 2*t, -5*t - u = 14. Sort s, t, -7 in increasing order.
-7, t, s
Let q be -8 - (-1)/1 - (-540)/75. Sort q, 15, -4, 0, 28 in descending order.
28, 15, q, 0, -4
Suppose -5*w + 24*w = -38. Let h be -7 - (w/(-7) + 2/(-7)). Put -4, h, 6 in descending order.
6, -4, h
Let t = -120 + -110. Let x = -233 - t. Let d = -2/77 - -318/385. Sort -2/3, -1, x, d in descending order.
d, -2/3, -1, x
Let g be (-3*1 - -2)*-3. Let y = -504 + 505. Let m = y + g. Sort -5, m, 0 in increasing order.
-5, 0, m
Let s(o) = 3*o - 1. Let g be s(-1). Let u(k) = -173*k**2 + 4504*k - 3. Let p be u(26). Put g, -5, p in descending order.
p, g, -5
Let r = 0.004 - -0.036. Let v = -127 - -382/3. Let k = 2003/23 - 87. Sort k, r, v in increasing order.
r, k, v
Let a = 2830 - 2821. Put -137, a, -1, 4 in descending order.
a, 4, -1, -137
Let g be (-4)/(-4*(-10)/(-50)). Suppose 1 = 16*h - 17*h, -5*h - 20 = g*r. Let u = 5 + -1. Sort -1, u, -4, r.
-4, r, -1, u
Let l = 418/17 - 420/17. Sort 0.01, l, -1/2 in increasing order.
-1/2, l, 0.01
Let o be (-2 + 3)/1 + -3. Suppose -3*t - 2 = -4*x, -5*t + 4*x + 4 =