. Let y be (-6 - -1)/(10 - (-280)/a). Sort 2.5, y, 0 in descending order.
y, 2.5, 0
Suppose 0 = 3*o - 214 + 52. Let r be -6*(-12)/o*(-3)/2. Sort 5, 4, 0, r in descending order.
5, 4, 0, r
Suppose x + 3 = 12. Let l = 4 - 2. Suppose -l*v = 11 - 13. Put x, -2, v in decreasing order.
x, v, -2
Let y be (352 - 54)*(-2)/(-2). Suppose -y = -4*k - 0*r - 2*r, 3 = 3*r. Sort -2, -3, k in decreasing order.
k, -2, -3
Let v = 3059 + -3062. Put v, -0.2, 0, 278 in descending order.
278, 0, -0.2, v
Let t be 231/(-66)*(-4)/(-7) - 0. Let w(v) = 4*v**2 + 4*v + 12. Let f(u) = u**2 + 1. Let x(q) = 5*f(q) - w(q). Let i be x(6). Sort i, -1, t in increasing order.
t, -1, i
Let a = -2151 + 2150.5. Sort a, -3, 4, -3/8, -2/9 in descending order.
4, -2/9, -3/8, a, -3
Let u(a) = a + 11. Let n(z) = -z**3 - 26*z**2 - z - 37. Let r be n(-26). Let l be u(r). Let w be ((-3)/(-9)*3)/(-1). Put 5, w, l, 4 in descending order.
5, 4, l, w
Let m = -2.77 + 2.98. Let w = m - 0.61. Let r = 0.04 - 2.04. Sort 0.1, 0.5, r, w in descending order.
0.5, 0.1, w, r
Let t = 0.03 + -0.33. Let y = 0.159 + -1.179. Let q = y + -3.98. Put t, q, 3/2 in decreasing order.
3/2, t, q
Let x(o) = o**3 + 20*o**2 - 19*o + 27. Let p be x(-21). Let z be 6/9 + p/9*1. Let r be 4*(294/24)/7. Sort r, z, 3, -6 in increasing order.
-6, z, 3, r
Let d be ((-56)/27 - (-22)/297) + -2. Put 32, 2, d, -1 in decreasing order.
32, 2, -1, d
Suppose -15*y + 48 = -3*y. Let x(g) = -3*g**2 + 6*g - 3. Let o be x(2). Put o, y, -1 in decreasing order.
y, -1, o
Let t = -6056 - -6052. Let f(a) = -5*a**2. Let j be f(-1). Put j, t, 9 in increasing order.
j, t, 9
Let k be 4/(-6) - (-600)/(-720). Sort -0.4, k, 1/54, -4 in increasing order.
-4, k, -0.4, 1/54
Let d(p) = -p**3 - 6*p**2 - 8*p - 8. Let s be d(-5). Suppose -2*t - s*g = -4*t + 20, 0 = -4*t - 4*g - 32. Put t, -6, 2 in descending order.
2, t, -6
Let y = 15659 + -15658. Sort -18, 28, 4, y.
-18, y, 4, 28
Let x = -14 + 19. Suppose x*b + 12 = 2*b. Let g = -66 - -60. Put b, -5, g in descending order.
b, -5, g
Let s = -68334 + 68333.8. Let w be 2/7 - 164/525. Put -3, w, -1, s in descending order.
w, s, -1, -3
Suppose 9*u = -6*u + 315. Suppose 0 = -4*y + 4*d + 12, -3*y + 8*y - u = 2*d. Sort -5, 96, y in increasing order.
-5, y, 96
Let k = 3104.3 + -3104. Sort 3/5, 0.1, k, -0.3, -6/11.
-6/11, -0.3, 0.1, k, 3/5
Let x = 0.146 - 38.146. Let n = -1346 - -12116/9. Sort x, 5, n, 0.4 in increasing order.
x, n, 0.4, 5
Let c = -9.01 - -7.01. Let q be 3/3*(-2)/(-8). Sort 0.1, q, c, -7/5 in decreasing order.
q, 0.1, -7/5, c
Let b be 10*402/30 + (5 - 8/4). Sort -2, -3, 3, b, 0 in descending order.
b, 3, 0, -2, -3
Suppose 3*w - 4*m + 58 = -394, -154 = w - 3*m. Let b = w + 181. Sort -5, 4, b in descending order.
b, 4, -5
Let t = -13.83 - -18.83. Sort t, -8/7, -5, -12, 4 in descending order.
t, 4, -8/7, -5, -12
Let u = -632/1565 + 6/1565. Put u, -1, -7/100 in descending order.
-7/100, u, -1
Suppose 3*y + 4*b = 6, 4*y - 2*y - 4 = 2*b. Let d = 14 - 20. Let m(p) = p**3 - 4*p**2 - p + 4. Let w be m(4). Sort y, d, w in decreasing order.
y, w, d
Suppose 3*s + 4*f = 31, 3*f = 4*s + 5*f - 28. Let u = 163.65 - -1.35. Let n = u + -164.5. Sort -1/5, s, n.
-1/5, n, s
Suppose -3*i - 2*i = 15. Let v(q) be the first derivative of q**3/3 - 11*q**2 + 45*q - 57. Let u be v(20). Sort u, 2, i in ascending order.
i, 2, u
Let g = -0.8999 - -0.8569. Put 2, 0.5, g, 5 in increasing order.
g, 0.5, 2, 5
Suppose -558 + 276 + 286 = -4*z. Put -9, z, 1/9, -0.2, -4/7 in descending order.
1/9, -0.2, -4/7, z, -9
Suppose -38 = -40*h - 198. Put h, 10, -280 in descending order.
10, h, -280
Let y(w) = -4*w**2 + 31*w - 3. Let t be y(7). Let m(v) = v - 25. Let l be m(t). Let i(u) = -u**2 - 4*u + 9. Let r be i(-5). Sort l, -3, r, -4.
l, -4, -3, r
Suppose 4*m = 2*m + 4*m. Suppose -26 = 2*d - 2*p, m = 2*d - 0*d + 4*p + 32. Sort -2/5, -0.1, d, -4 in increasing order.
d, -4, -2/5, -0.1
Suppose 2*h + 39 + 27 = 0. Let x(l) = l**3 - 20*l**2 - 99*l + 67. Let m be x(24). Let q be 2/(-4) - 1/2. Sort q, h, m in ascending order.
h, m, q
Let w be (19/((-1596)/(-72)))/((-2)/42*1). Sort 9, w, 3, 1 in descending order.
9, 3, 1, w
Let f = 216 - 214. Suppose a + 2*j = -3*a + 512, -5*j = f*a - 240. Sort a, -5, 3 in descending order.
a, 3, -5
Let s = -2357 - -2352. Sort -1, -0.1, s, -10 in descending order.
-0.1, -1, s, -10
Suppose -54*f + 15 = -57*f. Let s be (f - 0 - -6)*5. Let o = -17 - -12. Sort 0, -2, o, s in increasing order.
o, -2, 0, s
Suppose -2*m = -4*n + 3*n + 18, -2*m + 62 = 3*n. Suppose 0 = -17*d + 14 + 122. Let s be -5*d/(-140) + n/28. Sort -6, -5, s.
-6, -5, s
Suppose k = 4*k + n - 29, 0 = -5*n + 10. Suppose 20*q = k*q + 1694. Put 0.2, q, -4 in decreasing order.
q, 0.2, -4
Let b be 30/(-195) + (-10)/(-65). Put 6, b, 25 in ascending order.
b, 6, 25
Let p(b) = -4*b + 9. Let n be p(-7). Suppose -3*c - 5*h + n = -5*c, -18 = c - 2*h. Let v be 2 + 7 + -9 + (-2)/2. Sort v, -1/10, c in decreasing order.
-1/10, v, c
Let i = 139.8 - 251. Let h = i + 62. Let g = h + 49. Sort 1, -1/9, -2, g.
-2, g, -1/9, 1
Let c = 196.4 - 189. Let b = 6.4 - c. Sort b, 0, 4, -3 in ascending order.
-3, b, 0, 4
Let v = 39.4 - -8.6. Let b = 50 - v. Let k = -2.3 + b. Put 0.3, 5, k in ascending order.
k, 0.3, 5
Let z = -3467 + 3462. Put 384, 0, z in decreasing order.
384, 0, z
Let g(m) = 120*m - 50*m - 60 - 66*m. Let i be g(15). Sort 2, -2, 4, i in decreasing order.
4, 2, i, -2
Let r be (5/(-30))/(1/4). Let j = -166 - -331. Let z = 164.9 - j. Sort r, z, 3 in increasing order.
r, z, 3
Suppose -12*t + 7*t = 3*b, -5*b + t = 0. Put -2, b, 128 in increasing order.
-2, b, 128
Let h = 1.126 - -103.774. Let q = h - 129. Let n = -24 - q. Put -2, -3, 0, n in decreasing order.
n, 0, -2, -3
Let p = 83 - 82.9. Put 1, p, 1/4, 1/81 in decreasing order.
1, 1/4, p, 1/81
Suppose -2*x - 20 = -5*v, -2*v = -5*x + v - 50. Suppose 2*c + 6 = -0, -3*c - 30 = -3*h. Sort x, h, 2 in descending order.
h, 2, x
Let n = 79.5 - 91. Let q = n + 11.2. Sort q, 3/4, 1 in increasing order.
q, 3/4, 1
Let x = 582 - 1232.2. Let s = 655 + x. Sort 0, -0.2, s.
-0.2, 0, s
Let c be (-5)/(-2)*(-18)/15. Suppose 2*z - 4*t - 28 + 48 = 0, 10 = -2*z + 2*t. Put -1, 6, c, z in increasing order.
c, -1, z, 6
Let b(x) = 3*x - 122. Let l be b(49). Let u be 120/28 + l/35 + -1. Sort 1, -1, u, -5.
-5, -1, 1, u
Let r = 21/34 + -37/170. Put r, 3/82, 5/2 in increasing order.
3/82, r, 5/2
Let r = -893 + 892.98. Sort -0.051, r, -2/7 in descending order.
r, -0.051, -2/7
Let d = 3715 - 3715. Sort 2/7, d, -1.1, -0.2, 9 in decreasing order.
9, 2/7, d, -0.2, -1.1
Let c = 26072 + -26072. Let s = 0 - 3. Put c, s, 48 in increasing order.
s, c, 48
Let d be (159 - 0)*12/9. Let z = d - 266. Put z, -2, 5 in decreasing order.
5, -2, z
Suppose 5*d = p + 1886, p + 74 - 78 = 0. Sort d, -5, -2 in increasing order.
-5, -2, d
Let r = -79072 - -79068. Suppose -2*q + 45 = 3*q. Put r, q, 4, 5 in increasing order.
r, 4, 5, q
Let j be 1*36/(-6) - -9. Suppose 0 = -2*s + 5*l + 78, 2*l - 6*l - 117 = -3*s. Let m be (s/9 - 2 - j)*-3. Sort m, 1, 0 in decreasing order.
m, 1, 0
Let x = -177/2 - -91. Let r = 0.2318 - 0.0218. Sort -4, r, x.
-4, r, x
Let a = -4.78 + 5.28. Let l = -121/7 + 17. Let i = 0.422 - 0.292. Put l, a, i in ascending order.
l, i, a
Let m(y) be the third derivative of y**6/120 - y**5/10 - 17*y**4/24 - 25*y**3/6 + 193*y**2. Let r be m(8). Sort -1, 4, 0, r.
r, -1, 0, 4
Suppose 0 = -18*a + 19*a - 6 + 6. Sort 73, a, -4, -1 in decreasing order.
73, a, -1, -4
Suppose 2*t - 48*d - 540 = -49*d, -5*d = -3*t + 810. Let y be ((-2)/(-18))/(30/t). Sort -1, -7, y.
-7, -1, y
Let r = 12565 + -12560. Sort -5, 2, 0, r, -10 in decreasing order.
r, 2, 0, -5, -10
Let q = 1006 - 1008. Put 393, q, 4 in decreasing order.
393, 4, q
Let f(k) = k**3 - 115*k**2 + 439*k + 558. Let q be f(111). Sort q, 54, -45, 0, -5.
-45, -5, 0, q, 54
Let c be (((-7)/42)/((-4)/(-2)))/((-9)/(-6)). Sort c, 40, -1/4, 0.1 in ascending order.
-1/4, c, 0.1, 40
Let i = -239 + 270. Let s be (-11)/110 + i*1/10. Let r(m) = 3*m**3 - m**2 - m - 1. Let v be r(-1). Sort s, v, -2, 4 in decreasing order.
4, s, -2, v
Let l = 3688.909 + -3687. Let o = l + 0.091. Sort 3/5, o, 0 in descending order.
o, 3/5, 0
Let w be 200/(-125) + (-84)/(-45). Let h = 4/17 - 94/255. Put 3/7, h, w in ascending order.
h, w, 3/7
Let r(n) be 