. Let a = -26/3 + 82/9. Sort 1/3, a, l in decreasing order.
a, 1/3, l
Let k = 0.4752 + -0.5652. Sort -0.5, 3, k, -6, 0 in decreasing order.
3, 0, k, -0.5, -6
Let a(k) = -k**2 - 8*k - 4. Let w be a(-8). Let o = -1175 - -1211. Put w, o, 1 in decreasing order.
o, 1, w
Let o = 81 + -82.61. Let n = -0.11 - o. Let y = -1610 + 1610. Sort -4, n, -0.2, y in increasing order.
-4, -0.2, y, n
Suppose 6 = -5*z - 9. Suppose 4*i = -9*i. Let b be (i/3)/(1 - 5). Sort b, -2, z, 6.
z, -2, b, 6
Let g(x) = -x - 2. Let l be g(-4). Suppose 5*b - l = 6*b, -26 = 2*c - 3*b. Let w = 14 + c. Put -3, -4, w in decreasing order.
w, -3, -4
Let b be 3*(-2)/3 - 1/1. Suppose 3*z = -2*w - 5, 4*w - 9*z + 13 = -12*z. Sort 1, -1, w, b in decreasing order.
1, -1, b, w
Let s be (-18)/(-8) - (-2)/(-8). Suppose 0 = -294*p + 679 + 23 + 474. Sort p, s, 3, 5 in decreasing order.
5, p, 3, s
Suppose 0 = 946*d - 938*d + 40. Put 1, -194, d in increasing order.
-194, d, 1
Let b = 16 + -6. Let u = 2.2311 + -0.2311. Put b, 4, u, 1 in increasing order.
1, u, 4, b
Let m(b) = -b**3 + b**2 + 3*b + 2. Let y be m(-2). Let w be ((-2)/y)/(12/(-8)). Let v = -65.1 - -69.1. Put v, 0.1, w in ascending order.
0.1, w, v
Let z = -1838.1 - -1730. Let c = z - -108. Let v = -2 + 9. Sort -0.3, v, c in increasing order.
-0.3, c, v
Let s(x) = 2*x**2 + 8*x + 1. Let j be s(-6). Suppose -155*f = -134*f + 21. Put j, 1, f in descending order.
j, 1, f
Let i = 83.2 - 64.7. Let j = -16.5 + i. Let m = 2 + -3. Put j, -0.4, m, -5 in descending order.
j, -0.4, m, -5
Let s = 227/143 + -23/13. Let d = -15.3 + 18.3. Sort d, 0.044, -1/3, s in decreasing order.
d, 0.044, s, -1/3
Let d = -69 + 60. Let b = -3 - d. Suppose -l + k = -b*l + 3, 2*k = -3*l - 1. Put -4, -5, l, 4 in decreasing order.
4, l, -4, -5
Let i = 216 - 196. Let n be (-5)/i + (-4268)/(-48). Put 4, 3, n in increasing order.
3, 4, n
Let x be 12/(-8)*((-40)/30)/(-1). Suppose 4*i = 25*i - 21. Sort 2, 3, i, x in descending order.
3, 2, i, x
Let p be (-32)/320*(0 + 2 - 0). Let o = 599.17 - 612. Let m = 13 + o. Sort 1/3, p, m in descending order.
1/3, m, p
Let f = -320 - -319. Let y be (-404)/303 - ((-8)/(-3) + f). Put 21, -1, y in descending order.
21, -1, y
Let c = 18/25 - 201/175. Let h = 0.544 + 0.456. Sort 5, c, h, 0.076 in decreasing order.
5, h, 0.076, c
Let s be 3/(-21) - (-2 + (-2125)/(-119)). Put 4, s, -5, -1, 0 in ascending order.
s, -5, -1, 0, 4
Let l = -35779.3 - -35780.3. Let z = 387 + -229. Put -2/17, z, l in decreasing order.
z, l, -2/17
Suppose -4*q + 13*q - 15 = 14*q. Suppose b - 1 = 2. Suppose b*z + z = -4. Sort z, -2, q in increasing order.
q, -2, z
Suppose 154*s = -799 - 682 - 59. Put -3, 2, s, 1, -1 in increasing order.
s, -3, -1, 1, 2
Let w = 293/342 - 4/171. Let r = 307.5 - 307.1. Put r, -1, 5, w in decreasing order.
5, w, r, -1
Suppose -1349*p - 570 = -1350*p. Let h = p - 5699/10. Sort h, 0.07, -1/3.
-1/3, 0.07, h
Suppose 37*a + 43 = 6. Suppose 0 = 2*m + v - 10, 8*m + 5*v - 15 = 5*m. Sort 1, a, m, 3.
a, 1, 3, m
Suppose -1028 = 27*c - 1001. Sort 3, c, -36, -2, 2.
-36, -2, c, 2, 3
Let n = 53405 + -53403. Let p be (4/10)/((-3)/15). Put p, n, 1, -5 in decreasing order.
n, 1, p, -5
Let r(h) = -h**2 + 3*h + 3. Let g be r(2). Suppose 7*p - 12 = -g*p. Suppose 3*s = 5*f - 34, 4*s + 28 = 3*f + 1. Sort p, 6, 3, s in increasing order.
s, p, 3, 6
Let j = -1 - 3. Let p be (64/(11 - 75))/(-1*(-12 + 1)). Sort -2, j, p, -1 in descending order.
p, -1, -2, j
Let j be -11 + -25 + ((-3)/(-4) - 110/40). Sort -4, j, -21 in ascending order.
j, -21, -4
Suppose 365 + 37 = -134*b. Put 0.2, b, 2, 28 in ascending order.
b, 0.2, 2, 28
Let d = -1.2 - -1.1. Let n = -0.0554 - 137.9446. Put n, d, -0.2 in decreasing order.
d, -0.2, n
Let o = 0.9 + -0.1. Let d = 5.8 - o. Let v be (216/(-52))/(-1) + 12/(-78). Put v, d, -1/2, -2/7 in increasing order.
-1/2, -2/7, v, d
Let z = 181 + -179. Let u be -2*z*((-68)/(-16) - 4). Put 19, -4, u, 0 in descending order.
19, 0, u, -4
Suppose 16*d - 11*d - 10 = 0. Suppose -6 = m - 4*m, -3*w = 2*m - 19. Suppose -v + 6*l - 4*l + 1 = 0, -v = -w*l - 1. Sort -2, -3, v, d in ascending order.
-3, -2, v, d
Let u(z) = -z**2 + 3*z. Let k be u(2). Let y = -84736 - -84617. Sort k, y, 5 in ascending order.
y, k, 5
Let y = -6017 + 6017. Sort -26, y, -11.
-26, -11, y
Let o(c) = c**2 - 4*c - 61. Let a be o(10). Let z be (4/22 - 52/44)*a. Let i = 1/24 + 1/12. Sort i, z, 0.5.
i, 0.5, z
Let o(c) = -c**3 - 9*c**2 - 8*c - 1. Let j be o(-8). Suppose 0*z - 5*g = z - 9, 4*z - 4*g - 12 = 0. Let l be 20/35 + 31/7. Put j, z, l in decreasing order.
l, z, j
Suppose -4*r + 424 + 456 = 0. Let l be (-3)/(-5) - 172/r. Sort -0.4, -1/10, l in descending order.
-1/10, l, -0.4
Let h be 0 - (-161)/490 - (-2)/28. Sort 4/3, 8, 0.1, h in increasing order.
0.1, h, 4/3, 8
Let m = -17305 + 17304.95. Sort m, 66, -3/7, -3, 0.3.
-3, -3/7, m, 0.3, 66
Let n = 6233 - 6108. Sort -2/9, 1/3, n, -10 in decreasing order.
n, 1/3, -2/9, -10
Let k = 2.2 - 2. Let v = 15943 - 15941. Let o = -0.1 - -0.1. Put o, k, v, -7 in descending order.
v, k, o, -7
Let m(p) = -57*p + 347. Let s be m(6). Suppose -5 = -2*d - 1. Suppose 17 = -4*i - 3*x + d*x, -i - x = 5. Put 0, s, i in descending order.
s, 0, i
Let g = 2580 - 2587. Put 1.3, g, 5 in increasing order.
g, 1.3, 5
Let d be 2 + 290/(-156) + 956/(-3107). Sort 0.5, 6/7, d, -5.
-5, d, 0.5, 6/7
Let c = -23448 - -23447. Put -0.3, c, 5585 in decreasing order.
5585, -0.3, c
Let r = -3.71 + -0.29. Let j = 0.77 + -0.8. Let d = 1.03 + j. Sort -1, d, r in descending order.
d, -1, r
Let z be 6360/7 + (-123)/(-287). Let h = z - 905. Let p(g) = -g**2 + 4*g + 5. Let q be p(4). Sort q, 1, 2, h in ascending order.
1, 2, h, q
Let b be 5 + -23 + 931/19. Let v = -6 + 4. Put 1, v, b in descending order.
b, 1, v
Let z be -2*(2 - ((-6)/24 + (-781)/4)). Put z, -2, -5 in decreasing order.
-2, -5, z
Let f = -2521 + 2521.4. Put -13, -6, f, 5 in decreasing order.
5, f, -6, -13
Let w be (-120)/(-720) + (-2 - (-5)/2). Sort -2, 0.2, w, 0.07 in ascending order.
-2, 0.07, 0.2, w
Let t(c) = 534*c**3 - c**2 - 6*c - 5. Let l be t(-1). Let d = l - -3734/7. Put -0.2, -3, -0.4, d in ascending order.
-3, d, -0.4, -0.2
Suppose -25*a = 319 - 194. Sort -1, a, 252, 5 in increasing order.
a, -1, 5, 252
Suppose 0 = -3*a + 12, -2*s + 3*a = -14 - 224. Suppose s*h + 12 = 131*h. Put 12, h, 3 in increasing order.
h, 3, 12
Suppose -88*m + 3*s = -93*m + 10, -3*m = -s + 8. Let c = -0.01 + 1.01. Put c, 4, m, -2/3 in descending order.
4, c, -2/3, m
Let q = 16/7 - 226/105. Let u = -2208 + 2207. Put u, q, 1/5 in decreasing order.
1/5, q, u
Let c be -3*(1 + -3)/(-2). Let z be (850/(-20) - -9)*2. Put c, z, 5 in decreasing order.
5, c, z
Suppose t + 3*t - 20 = -2*b, -2 = -b. Let p be ((-1)/(3/9) - -2) + t. Sort p, 4, 2, -78 in ascending order.
-78, 2, p, 4
Suppose p + 1 = -2*g, g - 6*g - 3 = 3*p. Suppose 0 = u - 3*j - 13, 4*u + 3*j = -2*j - 33. Let v be 9/(-7) + 24/84. Sort v, g, u in decreasing order.
g, v, u
Let k = -2366 + 2367. Sort 0, k, -4, 108 in increasing order.
-4, 0, k, 108
Let v = 82 - 82. Suppose -5*a + 7 - 22 = v. Put -4, 7, a in ascending order.
-4, a, 7
Let d = 0.349 - 179.349. Let z = d + 176. Put -0.3, z, 2/89 in descending order.
2/89, -0.3, z
Let x = 139713 + -139709. Let k(r) = 6*r**2 - r. Let n be k(-1). Let h(i) = -i**3 + 8*i**2 - 8*i + 8. Let j be h(n). Put j, -1, 3, x in increasing order.
-1, j, 3, x
Let b be (-43)/6 - (-5 - (6 + -3)). Put -1, b, 22 in descending order.
22, b, -1
Let o = 2508.5 + -2508. Put o, 4, -1, 84 in decreasing order.
84, 4, o, -1
Let b(w) be the first derivative of w**4/4 + 2*w**3 - 3*w**2 + 8*w - 7. Let l be b(-7). Let q be (14/6 + -4 - -1)*3. Sort q, l, 5 in decreasing order.
5, l, q
Let d = -38 + 58. Suppose 25*k = 21*k + d. Suppose 90*l + 5 = 85*l. Put k, l, -18 in descending order.
k, l, -18
Let p = -454 - -458. Sort -11, -15/2, -3, -0.5, p.
-11, -15/2, -3, -0.5, p
Let y = -7167/14 + 17996365/35154. Put -2, 3, y in decreasing order.
3, y, -2
Let m = 6140 + -6137. Sort 344, -3, m in increasing order.
-3, m, 344
Let u = -0.12 + -6.88. Let p = -26 - u. Let y(z) = -71*z**2 - 282*z + 4. Let k be y(-4). Put 4, p, k in increasing order.
p, k, 4
Let l = -1667.9 + 1549.9. Sort 0.2, -0.06, l.
l, -0.06, 0.2
Let r = 30 - -62. Let t = 91 - r. Let f be (-20)/(-15) + t + 2/(-6). Sort