t u = 14 + -18. Put -0.4, u, x in decreasing order.
-0.4, x, u
Let k(r) = r**2 + 31*r - 2. Let g be k(-31). Sort 9, g, 1, -3 in decreasing order.
9, 1, g, -3
Let l = 713 - 712.5. Put -8, 0.4, l in descending order.
l, 0.4, -8
Let w = -47.056 + 0.056. Let g = 46.5 + w. Put g, -0.2, -2/15, -2 in decreasing order.
-2/15, -0.2, g, -2
Let a = -19 + 19. Suppose a = -i + 5*i - 12. Suppose -o + 2*o = 3, -2*y - 2*o = 0. Put y, i, 5 in descending order.
5, i, y
Suppose -32*q + 5 + 27 = 0. Sort 4, -75, q in decreasing order.
4, q, -75
Let m = 867/20 - 218/5. Let s be (-2 - (0 + 0)) + 3. Let f be 2 - 2 - 0/s. Put -0.4, m, f in ascending order.
-0.4, m, f
Let f be 380/(-1311) + 1/3. Put 1, f, 0.1 in decreasing order.
1, 0.1, f
Suppose 5*z = -4*n - 21, -3*z + 6 = 2*n + 19. Let w be (0 + 2/(-3))/(8/(-36)). Put -21, w, z in decreasing order.
w, z, -21
Let r be -4 + (-2)/((-2)/(-17)). Let s = -115 - r. Let t = 657/7 + s. Sort t, 2, 4 in descending order.
4, 2, t
Let z be (-7)/(14/(-8)) - 1. Let f = -737 - -733. Sort -2, z, 5, f.
f, -2, z, 5
Let t = -158 - -154. Put -6/7, -2/7, -0.1, t in ascending order.
t, -6/7, -2/7, -0.1
Let b = -0.9391 + -0.0609. Let u = -1 + 5. Put b, 14, u in increasing order.
b, u, 14
Let l = -1.91 - 0.09. Let t = 2 + -1.85. Let k = 0.05 + t. Sort l, k, 3/4 in ascending order.
l, k, 3/4
Let i be 8*1/(-4)*-2. Let f = 163 - 73. Let k = f + -110. Sort i, 1/2, k in ascending order.
k, 1/2, i
Let s(x) = -x - 1. Let p be s(-2). Let m = p - -2. Suppose 0 = m*v - 8*v. Put 3, v, -4 in increasing order.
-4, v, 3
Let w = -18 + 20. Let s(k) = 5 - w*k - 2 + 0*k + 2*k**2 + 3*k. Let y be s(0). Put -0.4, 0.3, y in descending order.
y, 0.3, -0.4
Let w(g) = -g**3 - 15*g**2. Let f be -3 - (3 + -1)*6. Let v be w(f). Sort v, 5, 2/3 in ascending order.
v, 2/3, 5
Let l = 165.27 + 1.73. Let u = -166.5 + l. Sort u, -5, -23, 1/3 in descending order.
u, 1/3, -5, -23
Let v = -159 + 156. Sort -2/5, -1/4, v in decreasing order.
-1/4, -2/5, v
Suppose 1 = 6*c - 5*c - i, 4*c + 32 = -5*i. Sort 4, c, 10, -4.
-4, c, 4, 10
Let b = -573 - -568. Sort -1, 4, b in ascending order.
b, -1, 4
Let n be 69/(-46)*(1/(-3) + -1). Put n, 5, 4 in decreasing order.
5, 4, n
Suppose -14*h = -11*h + 15. Let t be (h + 4)*3 - -4. Let o be 0 - 0/2 - 4. Sort t, -2, o in ascending order.
o, -2, t
Let s = -75 + 34. Let m = s + 41.5. Sort m, -1/6, 3/10 in decreasing order.
m, 3/10, -1/6
Suppose 0 = -2*j + 5 + 5. Suppose j*l = 26 + 4. Let o(z) = -z**3 + 12*z**2 - 5*z + 62. Let h be o(12). Sort l, h, 3 in ascending order.
h, 3, l
Suppose -64 - 86 = 50*o. Sort o, 0, -9 in decreasing order.
0, o, -9
Let j be 0/((3 - 2)*1). Suppose 2*r = -3*y + 8 - j, -2*r = -3*y + 4. Put y, 0, -1, -3 in descending order.
y, 0, -1, -3
Let c = 32 - 38. Let i = c + 3. Put 5, -5, i in decreasing order.
5, i, -5
Suppose -z - 5 = -3*g, -15 = -5*g - 0. Suppose 10*y - 7*y = -6, -15 = u + 2*y. Sort u, z, -3 in increasing order.
u, -3, z
Let d be ((-12)/15)/(14/(-7)). Let z = 0.06 + 3.94. Let c = -71/70 - -13/10. Sort d, z, c in decreasing order.
z, d, c
Let b(v) = v**2 - 40*v - 21. Let w be b(41). Put 2/11, w, -3, 0.5 in descending order.
w, 0.5, 2/11, -3
Suppose 0 = -2*w - 106 - 54. Let a be 6/(-4) - (-4100)/w. Let t = 53 + a. Put t, 0, 7 in ascending order.
0, t, 7
Let f(o) = o**2 + 9*o + 4. Let a be f(-8). Let k be (-40)/(-96) + (-3)/4. Sort k, 1/10, a in decreasing order.
1/10, k, a
Let c = -28 - -28.25. Let t = c + -0.55. Let m = 457/6 + -76. Put -3, t, m in decreasing order.
m, t, -3
Let f(y) = -y**2 - 9*y - 6. Let s be f(-7). Sort 1, s, -1 in ascending order.
-1, 1, s
Let q be (30/(-27) + 1)/(-1). Let l = -4/9 + q. Let v = 1 - 4. Put l, v, -6 in descending order.
l, v, -6
Let w = 568.8 + -680. Let o = w + 111. Sort 2, 0, o in descending order.
2, 0, o
Suppose -3*r = -2*r + u - 1, 0 = r - 5*u - 7. Put r, 10, 6, -4 in descending order.
10, 6, r, -4
Let d = 21 + -54. Let m = d + 33.1. Let y = 84 + -592/7. Sort -4/3, y, m in descending order.
m, y, -4/3
Let d = -2374 + 16619/7. Suppose 3*b - 10 = 5*b. Put b, -2, d in increasing order.
b, -2, d
Let v be -2 + 5 + (-7 - -2). Sort v, -4, -5/4.
-4, v, -5/4
Let d = -47/66 - -6/11. Let f = 14 + -14. Sort f, d, 2 in ascending order.
d, f, 2
Let h = 19 + -12. Let b = h + -12. Let t = 39/5 - 142/15. Sort b, 2, t in descending order.
2, t, b
Let r = -120 - -117. Let l be 5/4 + (-3)/(-4). Suppose -l*u = 9 - 1. Sort r, -9, u in ascending order.
-9, u, r
Let w(t) = -2*t**3 + 4*t - 5*t**2 + t**3 - 3*t + 4 + 3. Let l be w(-5). Suppose 4*u - 9*d + 14*d = 29, -d = -1. Put u, -1, l in decreasing order.
u, l, -1
Suppose 9 = -25*b - 41. Put b, -33, -5 in decreasing order.
b, -5, -33
Suppose -3*z + 5 = 2*d + 10, 4*z + 4 = 0. Let u = 284/73 - 15145/1022. Let j = u + 21/2. Sort 3, d, j in descending order.
3, j, d
Suppose 15 = 4*x - 13. Suppose -4*k + b + 4 = 2, 0 = k - 3*b - 6. Sort x, k, 1 in ascending order.
k, 1, x
Let l = 3063 + -3068. Let t be (0 + -4)/((-6)/9). Let b be 2 + (-2 - t/(-10)). Sort l, 1, b in decreasing order.
1, b, l
Suppose 0 = 5*c - c + 60. Let z(r) = 7*r**2 - 20*r + 1. Let k be z(3). Let i be c/k - 8/32. Sort -1, 5, i.
i, -1, 5
Let y be (22 + -20)*(9/3)/6. Suppose 0 = 4*c - 4*d + 5*d - 6, -2 = 4*c + 5*d. Put y, c, 4 in increasing order.
y, c, 4
Suppose -2*g - 2*l = -8, -2*g = -3*g + 2*l - 2. Suppose 5*y = g*y - 9. Suppose 8*n + 26*n - 102 = 0. Sort n, y, 4.
y, n, 4
Let h = -0.3 + 0.1. Suppose 2*q + 13 = 5*l, 0*q - 2*l + 10 = -2*q. Put h, -2/15, q in increasing order.
q, h, -2/15
Suppose -p + 17*p - 80 = 0. Let z = -0.21 - -0.2. Sort p, -1, z in descending order.
p, z, -1
Let i be 13/(-26)*(1 + 13). Sort i, -1, 19.
i, -1, 19
Let x = -1089 - -1089.5. Sort x, -3.4, -3 in decreasing order.
x, -3, -3.4
Let l = -1484 - -1483.7. Suppose 0 = 2*x - 0*x - 26. Put l, -2, x in descending order.
x, l, -2
Let b(t) = -2*t**3 - t**2 + 2*t - 2. Suppose 3*v + 160 = -2*v. Let h be 3/4 - 8/v. Let f be b(h). Put 4/5, 1, f in increasing order.
f, 4/5, 1
Let n = 1.199 - -0.081. Let z = -1.08 + n. Put z, 2, -3 in descending order.
2, z, -3
Let g = -25.8 - -26. Put -4, 2, g, 7 in decreasing order.
7, 2, g, -4
Suppose l + 4 = 3*j, 0 = -4*j - 3*l + 38 - 11. Suppose 5 = -5*d, -j*v + 2*v + 2*d = -6. Suppose 0 = -5*c + v - 9. Sort -3, 5, c in descending order.
5, c, -3
Let d = 257.1 + -257.2. Put -0.4, 20/37, d in descending order.
20/37, d, -0.4
Suppose 0 = g + 5*x - 24, -5*g + 24 = -2*g + 3*x. Let v be (-2 + -2)*-1*(-10)/(-8). Put 2, v, g, -2 in ascending order.
-2, 2, g, v
Let x(r) = -r**3 - 3*r**2 + 4*r - 4. Let q be x(-4). Let t = -263 + 264. Put t, -5, q in descending order.
t, q, -5
Suppose 5*b - 5*n - 45 = -20, -3*b + n + 11 = 0. Put -48, 2, -2, b in increasing order.
-48, -2, 2, b
Let h = 0 + 3. Let y(u) = u + 4. Let x = -28 + 23. Let s be y(x). Put 1, s, h in decreasing order.
h, 1, s
Let s be -1*4/(-6)*6. Let a = -6 + 11. Suppose -4*x + 3*l - 11 = 6, 7 = -2*x + l. Put x, a, s in ascending order.
x, s, a
Let n = -720 - -715. Suppose 13 = -4*a - 3. Put 4, 3, a, n in increasing order.
n, a, 3, 4
Let a = -336 + 338. Put 3, -15, a in descending order.
3, a, -15
Let p(o) = -19*o - 60. Let n be p(-4). Let h = -12 + 8. Sort 5, -2, n, h in increasing order.
h, -2, 5, n
Let q = 69 + -69. Let s = -29 - -32. Sort -4, 5, s, q in increasing order.
-4, q, s, 5
Let m(l) = l**2 - 10*l - 11. Let p be m(11). Suppose 2*u - 2 = -p. Let z be (40/4)/(0 + -2). Sort -2, u, z in decreasing order.
u, -2, z
Let y = 64.8 + -8.8. Let r = 53 - y. Put -0.1, -23, r in decreasing order.
-0.1, r, -23
Let p = -0.4149 + -0.0851. Let y = 199/1266 + 2/211. Sort y, p, -0.1, -5 in decreasing order.
y, -0.1, p, -5
Let s(k) = 2*k**2 - 4*k - 93. Let h be s(-6). Put -5, 4, h, -4 in descending order.
4, h, -4, -5
Let q(r) = r**3 + r**2 - 5*r + 3. Let p = 39 + -37. Let l be q(p). Sort l, 4, 2 in descending order.
l, 4, 2
Suppose -24*j + 50 + 70 = 0. Sort j, 2, -2, -7.
-7, -2, 2, j
Let y(v) = -2*v**2 + 9*v + 15. Let l be y(5). Suppose -4*d = o - 5, -2*o + 0 = -2*d + l. Sort -2, 8, d, -1 in descending order.
8, d, -1, -2
Let w = -516 - -513. Put 0.07, 0, w, 0.5 in decreasing order.
0.5, 0.07, 0, w
Suppose 0 = -3*h - 4*x + 12 + 9, -18 = -5*h - x. Suppose 36*p - 39*p = -6. Sort p, -3/7, h.
-3/7, p, h
Let p = 368 + -374. Suppose -h + n + 