. Let v = -26 - u. Sort 4, 5/2, v in decreasing order.
4, 5/2, v
Let m = 15239 + -15197. Sort -9, -6, m in increasing order.
-9, -6, m
Let d(m) = 109*m + 1110. Let r be d(-12). Put r, 5, 0 in decreasing order.
5, 0, r
Let s = 28404.9 + -28403.9. Let i = 4.11 + -0.11. Sort s, -7/2, i.
-7/2, s, i
Let x be (-3)/(54/4) + (-200)/(-900). Suppose 6*m - 5*m - 4*a = 6, x = 5*a + 15. Sort m, -0.3, 5 in descending order.
5, -0.3, m
Let g = -2351 + 2333.4. Sort g, -0.1, -5/4 in descending order.
-0.1, -5/4, g
Let i be 1/6*(224/(-1092) + (-24)/52). Let h be (-8*(-2 + 3))/1. Sort -0.2, i, h in ascending order.
h, -0.2, i
Let r = -0.3436 - -0.0436. Sort -28, 5/4, r in ascending order.
-28, r, 5/4
Suppose -5*l - 71 = -v, -l - 2*v + 73 = 85. Sort 6, -2, -5, l, 4.
l, -5, -2, 4, 6
Let y be 2 - (2 + 3)*(20/(-25))/(-4). Put y, 219, 5 in ascending order.
y, 5, 219
Let s = -1168 + 1174. Sort -2, -4, 0.1, s in decreasing order.
s, 0.1, -2, -4
Suppose 3*w - 3*y = -186, 4*w = -0*w + 3*y - 249. Let c = -54 - w. Let s be c/(-201)*(-680)/(-15) + 2. Put -1/5, 0, s in increasing order.
-1/5, s, 0
Let b(i) = 2*i**2 + 9*i + 52. Let u be b(-8). Suppose 6*o + u = 33*o. Put -74, o, 0 in increasing order.
-74, 0, o
Let c = 502 - 207. Let n = -252 + c. Sort 5, -3, n in decreasing order.
n, 5, -3
Let r(n) = 159*n + 1113. Let w be r(-7). Let c(k) = -k**3 + 5. Let v be c(0). Put v, -19, w, -5 in ascending order.
-19, -5, w, v
Suppose -2*i = -2*a - 6, -4*a - 5*i + 3 = -4*i. Let w be 1/(1/(0 + 2)). Let l = -48 + 57. Sort w, a, l in increasing order.
a, w, l
Let i = -5 - -4. Let h(n) = -n**3 - 16*n**2 - 61*n - 1. Let x be h(-9). Put -7, 4, x, i in ascending order.
x, -7, i, 4
Let x = 76 - 79. Let h = 4/49 + -25/49. Let j = -4.7674 - 0.2326. Put 2/7, j, h, x in descending order.
2/7, h, x, j
Suppose -u - 3 = -2, d - 2*u - 2 = 0. Let i be ((57/(-2))/19)/((-3)/280). Suppose -5*w = -165 + i. Put w, d, -3, -5 in decreasing order.
w, d, -3, -5
Let l be 11/(-22)*(-20)/4 + 2/(-4). Sort -0.4, 0, 9.2, l in descending order.
9.2, l, 0, -0.4
Let p(r) = -31 - r + r**3 + 11*r**2 + 21*r**2 - 11*r**2. Let h be p(-21). Let b = 8 + h. Sort b, 6, -1 in ascending order.
b, -1, 6
Let w = 20874 - 20834. Put 3, w, 35 in decreasing order.
w, 35, 3
Let h = -171 + 169.4. Put 3/4, 1, h, 2 in ascending order.
h, 3/4, 1, 2
Let d = 2169.11 + -2169. Sort d, -3, 37.
-3, d, 37
Let h be 5289/9471 + 4/(-14). Sort 0.027, 0.2, h in increasing order.
0.027, 0.2, h
Let l(c) = 6*c - 47. Let u be 99/18 - 18/(-12). Let i be l(u). Let h = 95 - 664/7. Sort i, h, 0, -0.1 in ascending order.
i, -0.1, 0, h
Suppose 5*b = -15, 1 = 3*q + 2*b + 7. Suppose -323*g - 1089*g + 8*g + 156330 = 4386*g. Put -2, -3, g, q in increasing order.
-3, -2, q, g
Suppose h + 3*q - 22 = 0, -3*q = 2*q - 30. Suppose 0 = 2*t + t - 15. Let k be 0*(-3)/12*-2. Sort k, t, h.
k, h, t
Let a = 90 + -56. Let v be ((3 + -1 - 0)*3)/a. Put v, 5, 4, 0.1 in decreasing order.
5, 4, v, 0.1
Let f = -28.908 - -23.908. Let p = 517/6 - 86. Sort -1/6, p, f, -3 in decreasing order.
p, -1/6, -3, f
Let t = 20.76 + -33.76. Sort t, -3/7, 15/2 in descending order.
15/2, -3/7, t
Let n = -0.95 + 5.25. Let x = -19.25 - -15.05. Let s = n + x. Sort s, 5, -1/6 in increasing order.
-1/6, s, 5
Let z(d) = -13*d + 442. Let o be z(34). Put o, 65, -5, 4 in descending order.
65, 4, o, -5
Suppose 5*o + 30 = -d, 0*d + 4*o = -3*d - 35. Let f = -0.04715 + -0.03285. Sort d, f, 1/5 in decreasing order.
1/5, f, d
Let l(s) = -7 - s**2 - 506*s + 483*s + 2*s**2 + 1. Let n be l(23). Put n, 3, 8 in decreasing order.
8, 3, n
Suppose 4*f + 2*r - r = 9, 12 = -4*r. Suppose 11412 - 11423 = 11*i. Sort 4, f, i, 0 in decreasing order.
4, f, 0, i
Let o(t) = -3*t**3 + 4*t**2 + t + 2. Let l be o(2). Let d be ((-10)/(-1) + -2 + l)/(-1). Sort 1, -5, d, -2 in descending order.
1, -2, d, -5
Let q(z) = -z**2 + 10*z + 296. Let f be q(-13). Sort 19, -4, f, -5, 28 in decreasing order.
28, 19, f, -4, -5
Let r be ((-345)/3220)/((-3)/84). Sort 4/5, 6, r, -5.
-5, 4/5, r, 6
Let o = -211/3 - -70. Let i be -17*2/(-66) - 3/9. Sort -5, o, i, 5/2 in descending order.
5/2, i, o, -5
Let a = -11.95 - 2.35. Let g = -9.48 + -0.82. Let r = a - g. Sort 2/11, -0.2, -0.01, r in increasing order.
r, -0.2, -0.01, 2/11
Let i = 11.3 - 9.3. Let r = 0.027 + -0.327. Let y = -4 - -3.8. Sort r, y, i in descending order.
i, y, r
Suppose -1375 = 4*t - 1359. Suppose 3*a + 9 + 6 = 0, -5*r - 4*a + 5 = 0. Suppose -4*j - 4 = 4*v - 0, 3*v + 5*j = r. Put t, v, 1 in decreasing order.
1, t, v
Let f(t) = 40*t + 66. Let q be f(-2). Let z = 4.049 - 0.049. Sort -2, z, q.
q, -2, z
Let n be (72/5)/(-5 + (-54)/(-10)). Let s be (-2)/3 - 354/9. Let x = n + s. Sort 7, x, -2 in decreasing order.
7, -2, x
Let g = -12.61 - -18.81. Sort 4, g, 1/4, 5/8, -5 in descending order.
g, 4, 5/8, 1/4, -5
Let t be -2*3/2*1. Let w(m) = 171*m**3 + 49*m**2 - 88 + 174*m**3 - 346*m**3 - 46*m. Let p be w(48). Sort -2, p, t in increasing order.
t, -2, p
Suppose -s + 3*k + 2 = -9, -5*k - 17 = -s. Sort s, -4, 5 in ascending order.
-4, s, 5
Let w = 2.97 + -0.97. Let z be (-2)/22*(-5)/(-15)*6. Sort w, -2/23, z, -0.03 in increasing order.
z, -2/23, -0.03, w
Let t = -785 - -785. Suppose -2*h - 5*u - 7 - 12 = t, 5*h - 2*u = 25. Let x be (-1)/(-3) - (-16)/(-3). Sort h, -23, -3, x in increasing order.
-23, x, -3, h
Let v = -0.36 - 1.64. Let t = 62 - 59. Let l be 63/924 + t*2/33. Sort v, 4, -1, l in descending order.
4, l, -1, v
Suppose 0 = -0*p + p + 2*l + 71, 4*l = -3*p - 211. Let i = p - -61. Sort 0, i, 3, 4 in descending order.
4, 3, 0, i
Let t = -185.2 + 185.7. Put 54, 2/13, -1/4, -3, t in descending order.
54, t, 2/13, -1/4, -3
Let w(d) = d - 2. Suppose 24*g + 6 = 23*g. Let h be w(g). Sort h, 7, -3 in decreasing order.
7, -3, h
Suppose 2*k = 3*s + 4, k = -27*s + 23*s + 35. Sort -4, k, 7/2, -2, -3 in decreasing order.
k, 7/2, -2, -3, -4
Let p = 0 - 4.7. Let f = 103.3 - 111. Let k = f - p. Put k, -2, 0, 0.5 in descending order.
0.5, 0, -2, k
Suppose -3*g = -5*b - 111, -3*g + 20 + 82 = -2*b. Suppose 14850*o = 14855*o + 5. Let w be (40/g)/(o/4). Sort 31, 4, 5, w in increasing order.
w, 4, 5, 31
Suppose 6 = 1367*a - 1369*a. Sort 0, -0.1, -0.4, 7, a in increasing order.
a, -0.4, -0.1, 0, 7
Let w = -180.7 + 28.7. Let a = 157 + w. Put -5, 136, a in ascending order.
-5, a, 136
Let l be 3*4 + (3 + -1 - -1). Suppose -1183*d - 18 = -1165*d. Suppose 6*h + 5 = 5*h. Sort l, d, h in ascending order.
h, d, l
Let a = -2.21628 + 0.21628. Sort 3/5, -7, a, 5, -10.
-10, -7, a, 3/5, 5
Let l = -16.73 - -16.33. Sort 4, l, -4, 1/2, 2/5 in ascending order.
-4, l, 2/5, 1/2, 4
Suppose 24 + 124 = -4*f. Let s = -39 - f. Let d be s*(-4 - (-27)/6). Sort d, 1, -2 in increasing order.
-2, d, 1
Let n be ((-6)/18 - -3)*(-9)/6. Let f be n - (-2)/((-40)/(-76)). Let q = 1311/7 - 187. Sort q, f, 1/5, 12 in decreasing order.
12, q, 1/5, f
Let y = -8 + 5. Let j = -43.976942 - 0.023058. Put 1/4, 2/3, j, y in descending order.
2/3, 1/4, y, j
Suppose -5*f + w + 30 = 0, 5*f + 4*w - 12 = -7. Sort 0, f, -5 in decreasing order.
f, 0, -5
Let x = -785/54 + 460/27. Let z = -0.25 - -4.25. Sort 0.76, x, z in increasing order.
0.76, x, z
Suppose 0 = -6*r + 5*r + 2*z + 50, 2*r - 3*z = 104. Let o = 57 - r. Let d(j) = -j**3 - 15*j**2 - 13*j - 4. Let k be d(-14). Sort 3, k, o, -2.
k, -2, o, 3
Suppose 0*b - 4*b + 3*j = -2, 0 = 3*j + 6. Let a = -127 + 126.78. Let x = 0.42 + a. Put -2, -1/6, x, b in decreasing order.
x, -1/6, b, -2
Let u = 6701 + -6700.4. Put u, 2/7, 10, 1 in decreasing order.
10, 1, u, 2/7
Let q be ((-22)/(-77) + 1/21)*45. Let j(n) = -17*n. Let l be j(3). Let y be l/q - (-6)/15. Sort y, -1, -2 in decreasing order.
-1, -2, y
Suppose 5*f + 17 = 2. Let c be (-180)/8*4/f. Suppose -5*l - l - c = 0. Sort 4, l, 2.
l, 2, 4
Suppose c + 2*h + 1 = 6*h, -4*c = -3*h + 4. Suppose -449*q = 99*q - 548. Put -3, c, q in increasing order.
-3, c, q
Let u = -497 - -502. Let v be u + -3 + (-96)/40 + 0. Put 15/7, v, -5/6 in ascending order.
-5/6, v, 15/7
Let i = 13941 + -13942. Put 7, -3, -0.2, 47, i in decreasing order.
47, 7, -0.2, i, -3
Let h(f) = f**2 - 47*f - 636. Let c be h(-11). Put c, -146, -2, 3, -3 in descending order.
3, c, -2, -3, -146
Let a(k) = -367*k - 2583. Let w be a(-7). Sort w, -7, -3/2 in descending order.
-3/2, -7, w
Let y = 98.36 + -93.36. 