 - y) - 1. Let x = b - -37/2. Put 0, x, -0.4 in increasing order.
x, -0.4, 0
Let h = -28.6 + -2.9. Let j = h - -16.3. Let u = j - -15. Put -2/13, u, -1 in decreasing order.
-2/13, u, -1
Let n be (22/6)/(1/3). Suppose -4*q + n = -5*r, -2*r + 4*q = -9 + 23. Let v(b) = -b**3 + 6*b**2 - 11*b + 11. Let y be v(3). Put 2, y, r in decreasing order.
y, 2, r
Suppose 4*r + 71 + 5 = 3*m, -5*r - 46 = -2*m. Let a = m - 33. Sort a, 0.5, -0.3 in ascending order.
a, -0.3, 0.5
Let l = -0.56 - 8.44. Suppose -n = 4 + 1. Put -3, n, l, 3 in descending order.
3, -3, n, l
Let p = 46 - 40. Suppose p*f = 4*f - 10. Sort f, 5, 2, 0.4 in decreasing order.
5, 2, 0.4, f
Let k = 8 + -3. Let o be -4 + (-1200)/(-84) - 10. Put 1, k, 1/2, o in increasing order.
o, 1/2, 1, k
Let z be 16/((-576)/135)*4/(-3). Sort -8, 2/15, z, -2 in descending order.
z, 2/15, -2, -8
Let o be (-473)/129 + 4/(-3). Sort 11, o, 3, 1.
o, 1, 3, 11
Let h = 0.328 + 4.672. Let a = -2353 - -270597/115. Sort h, 2, a, -2 in descending order.
h, 2, a, -2
Suppose 2 + 22 = 3*h. Sort 0, h, -2.
-2, 0, h
Let z = -120 - -121. Let c = 9 + -5. Sort z, c, -17 in descending order.
c, z, -17
Let g = 16 - 5. Let k = -11 + g. Suppose k = q - 3*q - 5*o - 20, -2*o = 2*q + 32. Sort -0.2, 0, q in ascending order.
q, -0.2, 0
Let a = 119 - -8. Let h = -116 + a. Suppose 3*y = -y - 4. Sort y, h, -2.
-2, y, h
Let l be (-4)/(10 - -2) + -1. Put -3, l, -0.7 in ascending order.
-3, l, -0.7
Let z = 27 + -27.01. Let i = 77.9 - 79.9. Put z, i, -5, -1 in ascending order.
-5, i, -1, z
Let n(t) = -6*t**2 + 12*t - 11. Let g be n(1). Sort 12, 3, g.
g, 3, 12
Suppose -4*o = -3*j + 18, 5*j - o + 2 = -5*o. Suppose 4*a - 14 = j. Let v(q) = -q - 2. Let t be v(-7). Sort t, -2, a in increasing order.
-2, a, t
Let z be -1*(10 + -12) - (-1)/(-1). Sort z, -4, 82 in descending order.
82, z, -4
Let z(g) = -92*g + 457. Let p be z(5). Put -5, 4, p, -4 in ascending order.
-5, -4, p, 4
Suppose 4*m + 8 = 0, -x = 2*m + m + 11. Let o = 176.8 - 182.8. Sort 2/17, -0.1, o, x in descending order.
2/17, -0.1, x, o
Suppose 0 = 12*b + 60 - 72. Sort b, -4, -3, -6 in ascending order.
-6, -4, -3, b
Let m = -341944 + 48898425/143. Let f = m + -35/11. Sort 0.1, f, -5 in descending order.
0.1, f, -5
Let j = -0.5 - -0.56. Let w = 0.1 - j. Let x = 0.09 - w. Sort -0.1, 2/11, x in decreasing order.
2/11, x, -0.1
Let l(c) = 5*c**2 - 36*c + 2. Let x be l(7). Put 18, x, 2 in descending order.
18, 2, x
Let w = 4.4 + -3.79. Let j = -22.61 + w. Put 1, j, -2/3 in descending order.
1, -2/3, j
Let c = -0.03 - 14.97. Let w = 14.6 - -0.2. Let x = w + c. Put 1/5, -2/13, x in ascending order.
x, -2/13, 1/5
Let f be (6/(-4))/(2/(-4)). Let j(x) = -4*x + x**f + 10*x**2 + 0*x**3 + 4*x. Let i be j(-10). Sort i, 1, -2.
-2, i, 1
Let r(y) be the third derivative of -y**4/24 + 26*y**2. Let l be r(0). Sort 6, l, -1, -2 in increasing order.
-2, -1, l, 6
Let x = 0.13 - -0.87. Let r = -21 - x. Let j = 21.97 + r. Sort -5, -0.2, j in increasing order.
-5, -0.2, j
Let h = 2.73 + 1.16. Let u = h + 0.11. Put u, 0.5, 5, 3 in decreasing order.
5, u, 3, 0.5
Let w = -8 - -11. Let z = 39 + -37. Put z, 1, 0, w in descending order.
w, z, 1, 0
Let b = -0.1 + 0. Let v = -27.8 + 23. Let k = 0.2 - v. Sort b, -2/5, k in decreasing order.
k, b, -2/5
Let r = -147 + 150. Put 1, -0.3, r in increasing order.
-0.3, 1, r
Let t(u) = u - 3. Let c be t(7). Suppose y = -0*y - d + 2, -10 = -5*y - d. Let b(x) = x**3 - 5*x**2 - 7*x + 5. Let g be b(6). Sort g, y, c in ascending order.
g, y, c
Let w = 16.6 + -16.2. Sort -8, w, 2/3.
-8, w, 2/3
Let k be ((-32)/440)/(2/5). Sort -0.1, k, -3 in increasing order.
-3, k, -0.1
Suppose -2*f - 3*f - 10 = 0. Let v(l) = 6*l**2 - 44*l + 16. Let h be v(7). Put h, f, 3, -1 in descending order.
3, h, -1, f
Let o = 55 - 54. Suppose -58 = -5*n + 3*b - 6*b, 5*b = -2*n + 27. Put -5, o, n in decreasing order.
n, o, -5
Let r = 1.031 - 0.115. Let p = r - -0.084. Sort -0.3, p, 6 in descending order.
6, p, -0.3
Let z = -240.6 + 269. Let i = z - 28. Let s = 9.2 + -9. Sort i, -3/5, s in increasing order.
-3/5, s, i
Let i = -2.85 + 3.25. Sort -0.1, -0.03, 2/7, i.
-0.1, -0.03, 2/7, i
Suppose -4*d + 660 + 208 = 3*b, 5*b + d = 1458. Sort -1, 4, 1, b in decreasing order.
b, 4, 1, -1
Let l = -13 - -12.96. Let f = l - 4.96. Sort f, 0, 4 in ascending order.
f, 0, 4
Let m = 9 - 5. Let f = -4.4 + m. Let t = 169 + -169.1. Put t, f, -2 in ascending order.
-2, f, t
Let z(m) = -m**2 - 12*m - 5. Let a be z(-12). Suppose 52*i + 12 = 2*g + 54*i, -3*i + 12 = 0. Let x(c) = c + 1. Let w be x(-3). Sort g, w, a in decreasing order.
g, w, a
Suppose -3*l + 4*z = -0*l - 49, -29 = -3*l - z. Let x = l - 11. Suppose 3*f - 15 = 0, x = -3*q + 8*q + 4*f - 15. Sort -3, -2, q.
-3, -2, q
Suppose -15*j = 2*j + 68. Sort -1, j, -0.6, 3 in descending order.
3, -0.6, -1, j
Suppose -g - 5 = 5*a, -7*a + 5*g = -3*a + 33. Let w = -7 - -9. Suppose -3*u = o - 2 + 4, -w*o + 16 = -4*u. Sort o, 5, a in descending order.
5, o, a
Suppose 0 = -32*t + 30*t. Suppose t = u - 2*u + 10. Sort 4, u, 3 in decreasing order.
u, 4, 3
Suppose 0 = -3*p + 2*y - 11, 2*p - 9 = -4*y + 5. Let t be p*((-15)/(-3) + -3). Let u = -35/2 - -19. Sort t, u, -0.2 in descending order.
u, -0.2, t
Let t = -67/51 - -28/17. Let u = -4 - -5. Let y be u/(-4)*1/3. Put 0, y, t in increasing order.
y, 0, t
Let n be (750/20 - 2/4) + -4. Put 2, n, -1 in ascending order.
-1, 2, n
Let d = 0.237 + -0.137. Sort -6, -10, d.
-10, -6, d
Suppose 14*m - 1320 = -41*m. Sort -2, m, 1, -1 in decreasing order.
m, 1, -1, -2
Let k = -422 + 414. Sort k, 28, 0, -3 in decreasing order.
28, 0, -3, k
Let o = 4379 - 4375. Let s = -1.2 + 1. Put s, 5, 3/10, o in decreasing order.
5, o, 3/10, s
Suppose 0 = -3*t - 164*u + 160*u + 23, u = -5*t + 27. Suppose -2*w + 8 = 5*c, -5*w - 8 + 28 = 3*c. Sort -96, t, w.
-96, w, t
Let j = 0.401 + -5.401. Let a = 1.6 + -2. Put a, j, -5/2 in descending order.
a, -5/2, j
Let h = -53 - -49. Sort h, -64, -2/7 in decreasing order.
-2/7, h, -64
Let f be (-1)/3 + 4/6. Let c be ((-3)/((-6)/40))/(38/133). Let z = c + -628/9. Put z, 2, f in ascending order.
z, f, 2
Suppose 0 = w + 3*w - 20. Suppose -5*o - 19*c + 15*c + 1 = 0, -3*o + 7 = 4*c. Sort -36, o, w.
-36, o, w
Let v = 0.4 - 4.4. Let u = 1 - v. Let c = -3 + u. Sort c, -5, 1 in descending order.
c, 1, -5
Let u = 35 - 39. Let c be (-2)/4*-16 + u. Let x be (-18)/3 - (-4 + 1). Sort c, x, 5 in descending order.
5, c, x
Let t = -202 - -204. Put 0, -5, -3, t in descending order.
t, 0, -3, -5
Let x = 8 - 7. Let o = 0.7 - x. Let v = -0.2 + -0.3. Put -0.2, o, v in descending order.
-0.2, o, v
Let f = -16 + 0. Let a = -17 - f. Put -5, a, 0.3 in ascending order.
-5, a, 0.3
Let r = -174 - -174.2. Sort r, 0.4, -1/3, -1/2 in descending order.
0.4, r, -1/3, -1/2
Let m be 62/114 - 4/12. Let i = m - 96/95. Let z = -0.69 + 0.69. Sort -6, i, z in decreasing order.
z, i, -6
Let d(x) = -x**2 - 21*x - 12. Let o be d(-20). Suppose 7*j = o*j + 2. Sort 5, -1, j, 1 in decreasing order.
5, 1, -1, j
Suppose -22*j + 18 = -24*j. Put 0, -2, j in ascending order.
j, -2, 0
Suppose 3*l + 3 - 9 = 0. Let d be (4 + -2)/(-2)*2. Let t be 4 + d - (-2 + 4). Put l, t, -3 in descending order.
l, t, -3
Let d be (4/(-6))/(28/18). Let r = 152534 - 6864328/45. Let q = r + 32/5. Sort 0.5, d, q in descending order.
0.5, q, d
Let s(m) = -7*m + 14. Let u be s(7). Let v = 31 + u. Sort -3, v, -5 in decreasing order.
-3, v, -5
Let j be 36/(-15) - (-2)/5. Suppose -2*q = 2*q - 12. Suppose q*m = 4*d + 2*m + 2, 4*m + 8 = 0. Put d, -4, j in decreasing order.
d, j, -4
Let n be (-27)/12*8/(-3). Let h be (-2)/(4 + (-18)/3). Let l(o) = 3*o**3 + 2*o**2 - 1. Let j be l(h). Sort n, j, 2 in decreasing order.
n, j, 2
Let r = -0.5 + -1.5. Suppose 1 = -4*c + 29. Let m = -43/6 + c. Put -0.2, r, m in decreasing order.
m, -0.2, r
Let q = 62 + -47. Let d = 15 - q. Put d, 3, 1, 4 in ascending order.
d, 1, 3, 4
Let g be 1/((-14)/(-4) + 3 - 6). Sort 1, 5, -322, g in increasing order.
-322, 1, g, 5
Let c = 0.04 + -2.04. Suppose 4*p - 24 = -5*l + 2, 4*l = 2*p. Suppose s - p*s + 12 = 0. Put c, -5, s in descending order.
s, c, -5
Let o be 2/4*476/2. Let q = o + -1549/13. Put q, -4, 8, -1/3 in increasing order.
-4, -1/3, q, 8
Let j(p) = -p**2 - 3*p + 5. Let n be j(-5). Let k be 12/(-5) + 9/(-15). Suppose 6*c = c + 10. Sort