Let t = 1/15545 - -3108/15545. Put t, 2/3, -0.1, 1/6, -735 in decreasing order.
2/3, t, 1/6, -0.1, -735
Suppose -15 = 2*a + 3*n, a + 72 = 3*n + 78. Sort -159, 3, 1, a.
-159, a, 1, 3
Let u be 28/14 - (-5 + 15/5). Let m = 0.67 - 0.7. Put m, 0.5, u, -4/7 in decreasing order.
u, 0.5, m, -4/7
Let m(q) = 26*q + 335. Let s be m(-13). Put 2, s, -364 in increasing order.
-364, s, 2
Let l(n) = n**3 - 69*n**2 - 75*n + 348. Let h be l(70). Sort h, 3, 1, 5.
h, 1, 3, 5
Let k = -101529/8 + 12670. Let l = k + 2165/104. Sort -5, 1, l in decreasing order.
1, l, -5
Let m = -0.04062 + 4.04062. Sort m, 3, 0.6, 8, -0.1 in descending order.
8, m, 3, 0.6, -0.1
Let h = -1387 - -1385. Sort h, 0.4, -3513 in increasing order.
-3513, h, 0.4
Let s(i) = 3*i**2 - 8*i + 4. Let h be s(5). Let v be (-400)/160*(48/45)/4. Put v, -2/17, h in descending order.
h, -2/17, v
Let b = -3725/5673 + -19/1891. Let v = -6 + 4. Let z = v + 2.2. Put -2/7, b, z in ascending order.
b, -2/7, z
Let z be -14*15/100 + (-9)/(-90). Put 31, z, 0, -6, 3 in ascending order.
-6, z, 0, 3, 31
Let i(c) = -61*c + 626. Let b be i(10). Suppose -4*p - 14*q + 13*q = -b, 4*q = -16. Let d = 2 + -2.05. Put d, 3, p, -2 in decreasing order.
p, 3, d, -2
Suppose h + 20 = 5*c + 2, h + 15 = 4*c. Sort c, 11, -53 in increasing order.
-53, c, 11
Let y(r) be the first derivative of r**4/4 + 11*r**3/3 + 25*r**2/2 + 3*r - 43. Let a be y(-8). Sort -10, 1, a in increasing order.
-10, a, 1
Let l = 9119 + -100311/11. Put 9/5, l, -4/25, 0 in decreasing order.
9/5, 0, -4/25, l
Let j(a) = a**3 + 5*a**2 + 5*a + 66. Let i be j(-6). Let g be (-35)/(-5) + (-2 - i) + -4. Sort 4, g, -4 in decreasing order.
4, g, -4
Let s(f) = f**3 - 7*f**2 - 19*f + 12. Let w be s(9). Suppose 0 = -5*q, w*h - h + q + 34 = 0. Let o = -22 - h. Sort -2, o, -49.
-49, o, -2
Let u be ((-1)/2)/(18/24). Let a = -773 - -725. Sort a, u, -2/15 in decreasing order.
-2/15, u, a
Let l = -0.1 + 0.5. Let s = 410 + -281. Let b = s + -128.99. Put -1/2, b, l in descending order.
l, b, -1/2
Let n = 48.09 - 48. Let i = -116 - -69. Let c = -51 - i. Sort -0.5, n, c in increasing order.
c, -0.5, n
Suppose j + 15 = 3*d, j - 11 = 6*j + d. Let x be (-7 + 17)*2/10. Sort j, -48, x in increasing order.
-48, j, x
Let g be (35 - -2) + (-3)/(-3). Let d = -14 + g. Suppose 3*h = -3*h - d. Sort 25, h, 2.
h, 2, 25
Let w = 74.3 + -74. Let f = -24 - -62. Let t = f + -39. Sort w, 1, t, 3/2 in ascending order.
t, w, 1, 3/2
Suppose -3*j = -h + 192, -5*h - 3*j = -3*h - 357. Let g = h - 1283/7. Let y = -6.0643 + 5.8643. Put y, -29, g in decreasing order.
y, g, -29
Suppose -387 + 354 = -11*u. Suppose 4 = -g - 0*b - 2*b, -4*g - 5 = -u*b. Sort g, 0, 2, 3 in decreasing order.
3, 2, 0, g
Let j be (-10)/12 + (-259)/42. Put j, 63, 1, 5 in ascending order.
j, 1, 5, 63
Let i = 6.3 + 2.4. Suppose 3*b - 11 = u + 5*b, 4*u = 4*b + 16. Sort -0.1, i, u in ascending order.
u, -0.1, i
Let u(x) = -x**2 + 4*x + 11. Let d be u(5). Suppose d*c - c = 20. Suppose c*n + 3 = 15. Put 2, 0.5, -2, n in ascending order.
-2, 0.5, 2, n
Let f be 20/30*((-1080)/(-365) + -3). Put f, 2/13, -3 in descending order.
2/13, f, -3
Suppose 13 = 12*d + 1. Let a be 2/(d/(-2) - 42/(-36)). Sort a, 15, 7 in increasing order.
a, 7, 15
Let w = -611.17 + 10.17. Let z = w + 600.5. Sort -3, -0.2, z, 4/5 in ascending order.
-3, z, -0.2, 4/5
Let i = 11078.5 + -11079. Put 4/9, i, -4/5, -2.7 in descending order.
4/9, i, -4/5, -2.7
Let z = 272.4 - 273.4. Sort z, 2, -3, -5/3 in increasing order.
-3, -5/3, z, 2
Suppose -o - 1 = 2. Let a be -3 + 7 - (0 - (-4)/4). Suppose 3*t + 5*x = 5*t + 4, -a*x = 0. Put t, 5, o, 4 in decreasing order.
5, 4, t, o
Let r be 2/1*(-493)/(-34). Sort 3/4, r, -0.4.
-0.4, 3/4, r
Let a = -12 + 17. Let t = 48022 - 47973. Sort 0, a, t in descending order.
t, a, 0
Suppose 3*g - 34 = 29. Let x = g + 23. Let m be 11/x + 6/8. Put m, 0, -10 in descending order.
m, 0, -10
Let b = 59 + -62. Let h = 0 - b. Sort h, -12, -1 in decreasing order.
h, -1, -12
Suppose 233*i + 318 - 64 = -212. Sort -7, 1, 3, i, -84.
-84, -7, i, 1, 3
Let a = -33.35 - -33.75. Let u = 26 - 25. Put a, -0.2, -0.001, u in descending order.
u, a, -0.001, -0.2
Let v = 4/15 - -1/15. Let j be (-15)/18*2 + 1. Let x = -9462 - -9462. Sort v, j, x in decreasing order.
v, x, j
Let i be (1 - (-2489)/7) + (-52)/91. Let w = i - 371. Sort -5, -1, w, 5.
w, -5, -1, 5
Let h = -3113 + 3118. Put h, -5, -4, 319 in ascending order.
-5, -4, h, 319
Let p = -202 + 250. Suppose p - 30 = 2*k. Put -1, k, -4 in ascending order.
-4, -1, k
Let m = -4/12707 - -25442/88949. Let r = -88 - -1231/14. Let t = -11/42 + r. Sort t, 0.3, m in decreasing order.
0.3, m, t
Suppose 4*i - 2*j + 6 = -0, 0 = i - j. Let o = -124 - -125. Sort -4, o, i, 4 in decreasing order.
4, o, i, -4
Let g = -121 - -39. Let j = g + -4. Let m = -86.4 - j. Put -1/3, m, 0.5 in descending order.
0.5, -1/3, m
Let f(m) = -m**2 + 51*m - 269. Let t be f(6). Let h(n) = -4*n + 31. Let g be h(9). Put t, 4, g in ascending order.
g, t, 4
Let f be (-1 + -1 + (-9)/(-6))*1178. Let q = f - -593. Sort q, -4, 22 in decreasing order.
22, q, -4
Suppose 141 = -6*o + 3*o. Let n = 52 + o. Suppose j - 5*j = -t + n, 5*t = -j + 25. Put j, -2, -1 in decreasing order.
j, -1, -2
Let j = 2957 + -2959. Suppose -3*g = -2*g - 7. Sort g, 2, j in increasing order.
j, 2, g
Let o be 13/(26/460) - 1. Let x = o + -228. Put -1, 0.2, x in descending order.
x, 0.2, -1
Let k(b) = -2*b**2 + 76*b - 557. Let t be k(28). Sort t, 2/17, 4/7, -4/3, -0.022 in increasing order.
-4/3, -0.022, 2/17, 4/7, t
Let c = -1.5 - -1.1. Let u = 0.8 - 4.8. Let m = 0.6592 - 0.9592. Sort c, u, m.
u, c, m
Let j = -10.984 + 10.924. Sort -3, -1, 0.4, j, 11/3 in descending order.
11/3, 0.4, j, -1, -3
Let l(b) = b**2 - 33*b - 162. Let x be l(38). Suppose x*u + 24 = 36*u. Sort -5, -6, -2, u in decreasing order.
u, -2, -5, -6
Let j be 513/(-2565) + 16/5. Put j, -1, -3, -70, 0 in descending order.
j, 0, -1, -3, -70
Let w(a) = 8*a + 30. Let b be w(0). Let v = -24 + b. Suppose 2*k = 3*s - 4, 3*s = 7*s - 4*k. Sort 1, s, v in ascending order.
1, s, v
Let v = -9543 - -9542. Sort v, 2, -0.3, 147 in ascending order.
v, -0.3, 2, 147
Let q = 1.58 - 154.58. Let o = q + 153.19. Sort -1/6, o, 5 in decreasing order.
5, o, -1/6
Let k be (-21)/(-6)*2070/1449. Suppose -44 - 82 = 3*g. Put 0, k, -4, g in descending order.
k, 0, -4, g
Let f(v) = -v**2 + 59*v + 1689. Let s be f(80). Sort 3, -3, 5, -5, s.
-5, -3, 3, 5, s
Let c be 15/7 + (-6072)/(-616). Sort 1, -5, c, 2 in ascending order.
-5, 1, 2, c
Let z = 4772 - 4773. Put 3, -5, 13, z in ascending order.
-5, z, 3, 13
Suppose -24 = 11*d - 23*d. Let t = -5.5 + -2.5. Put t, 1/4, d in decreasing order.
d, 1/4, t
Let b be 0 + 1/(-2)*27/((-486)/(-1692)). Sort b, -4, 2, 5, 0.
b, -4, 0, 2, 5
Let i = 0.7 + 0.3. Let t = -302 - -251. Let o = 46 + t. Sort -2, o, 3/7, i in decreasing order.
i, 3/7, -2, o
Let v(s) = s + 9. Let m be v(-4). Suppose 0 = -m*w + 4*h + 19, 8*h = 2*w + 6*h - 8. Put -3, w, 4, 11 in ascending order.
-3, w, 4, 11
Let m = 1402 - 1407.082. Let n = 0.018 - m. Let i = n - 4.8. Sort -2/7, -0.3, 4, i in increasing order.
-0.3, -2/7, i, 4
Let b = 27015 - 27004. Put -43, -3, b in ascending order.
-43, -3, b
Let p = 13 - -4. Let h(k) = 7*k**2 - 507*k + 2789. Let y be h(6). Sort p, y, 2.
y, 2, p
Let i = -275 + 150. Let t(d) = 2*d + 8. Let f be t(-6). Let x be (i/30 + 4)*18/f. Sort 2/9, 0.5, x in descending order.
x, 0.5, 2/9
Let h be (100/24)/25 - 11/(-6). Suppose -h*r - 3 = g, g - 2 - 2 = 5*r. Let s be 1/(0 + (-2)/(-6)). Put -8, s, r in decreasing order.
s, r, -8
Let i(q) = q**3 + 10*q**2 + 8*q - 30. Let b be i(-9). Let c be (15/40)/(b/(-28)). Put -0.5, 1/11, 4, c in increasing order.
-0.5, 1/11, c, 4
Let x be (2 - 17745/(-20)) + (-9)/36. Sort x, -3, -4 in descending order.
x, -3, -4
Let l = 9 - 11. Let m be 7 + -12 + 60/(-1). Let k = m - -70. Sort l, k, 9 in decreasing order.
9, k, l
Suppose 4*k + 38 = 2*k. Let a be k/6 - -4*6/144. Let g be (-12)/(-4) - (3 + 0). Sort g, a, 4, 1 in decreasing order.
4, 1, g, a
Let f(o) = 10*o + 71. Let c be f(6). Let q = 126 - c. Sort 11, 1, q, -4 in decreasing order.
11, 1, -4, q
Let n = 363.6 - 364. Let i = 0.023 - -2.977. Sort 0.059, n, i, 0.3 in ascending order.
n, 0.059, 0.3, i
Let y(q) = q**2 + 5*q - 102. Let b be y(8). Suppose -b*j