. Let u = -0.1 - b. Sort 6, -1/7, u.
-1/7, u, 6
Suppose -k + 5 = 0, 4*b - 7 - 26 = -5*k. Suppose 1 = j, -5 = -b*t - 2*t - 5*j. Sort -1, 5, t.
-1, t, 5
Let w be ((-6)/8)/(1/4). Suppose -2*x - 13 + 9 = 0. Let y = x + w. Put -3, 5, y in decreasing order.
5, -3, y
Suppose 0 = l + l. Let q = -5 + 4. Let a = -37.4 + 37. Put q, a, l in decreasing order.
l, a, q
Suppose 2*u = -1 + 11. Sort -1, 2, -0.4, u in decreasing order.
u, 2, -0.4, -1
Let a(d) = d**3 + 7*d**2 + 2*d + 4. Let y be ((-3)/4)/((-2)/(-16)). Let l be a(y). Suppose 2*w - 5*p = 3*w - l, -w + 5*p = 22. Sort w, -3, 1.
-3, 1, w
Let a be (0 - 1)*-4*(-6)/(-12). Put -5, -4, 0, a in decreasing order.
a, 0, -4, -5
Let x(l) = -2*l + 14. Let s be x(8). Let d be ((-16)/(-12))/(s/6). Sort -2, d, 0 in descending order.
0, -2, d
Let j be ((-3)/14*2)/(-1). Let m = -19 - -19.4. Put j, -3, m in decreasing order.
j, m, -3
Suppose -5*y - 3*c = 12, -3*y = c + 11 - 3. Let g = -7 - y. Put g, -2, -1 in increasing order.
g, -2, -1
Let t = -9 - -15. Let j = -0.29 - 10.71. Let f = t + j. Sort 3, 1, f in descending order.
3, 1, f
Let a = -8 + 5. Let u = -16 - -16.31. Let p = u + -0.11. Sort p, -4, a in ascending order.
-4, a, p
Let w = -18 + 23. Sort 1, w, -0.04 in descending order.
w, 1, -0.04
Suppose 2*s + 0 - 6 = 0. Let o = 210 - 1888/9. Let g be (2/28)/((-1)/8). Put g, o, s in decreasing order.
s, o, g
Let k be (2/4)/(2/(-12)). Let p = -1 - 0. Let c be -1*(-1)/(-1)*-5. Sort p, c, k in decreasing order.
c, p, k
Let u(h) = h**3 - 7*h**2 - 9*h + 9. Let w be u(8). Let q(p) = p**2 - 15*p + 17. Let k be q(14). Sort k, w, -5 in ascending order.
-5, w, k
Let i = -6 + 11. Let n = -5.4 + i. Sort 2, n, 0.4 in increasing order.
n, 0.4, 2
Suppose 3*r = -3 - 18. Sort r, -5, -1, -3 in decreasing order.
-1, -3, -5, r
Let b(i) = -i**3 + 1. Let o be b(1). Put 13, 4, o in increasing order.
o, 4, 13
Suppose 13 = -8*q - 3. Let i = -1 - -3. Put -1, q, i in decreasing order.
i, -1, q
Suppose -4*c + c = -g + 3, 0 = -5*g - 2*c - 19. Put g, -12, -1 in descending order.
-1, g, -12
Let v = -67 + 605/9. Let j be (6/8)/((-30)/(-40)). Sort v, 7, j in descending order.
7, j, v
Suppose 3*r = -4*b - 17, -3*r - 2*b - 15 = b. Let w = 0.04 + 8.96. Let t = -6 + w. Sort t, r, 4 in decreasing order.
4, t, r
Suppose -4*d = -5*u + d, -2*u = 4*d. Suppose 7*v - 2*v - t - 12 = 0, -2*t = 5*v - 6. Put -2, u, v in decreasing order.
v, u, -2
Let l = 1.7 + 5.1. Let z = -14 + 7. Let j = z + l. Put 3, j, 0.1 in descending order.
3, 0.1, j
Suppose -4*h + 8 = 68. Let s be (-1*2)/6*h. Let u be s/(10/4) + 2. Put 3, u, -2 in descending order.
u, 3, -2
Let c = -1.3 - -0.8. Let o be 6*(-2)/8*-2. Let s = -1 - -1.2. Put s, o, c in decreasing order.
o, s, c
Suppose 3*t - 3*f - 7 + 49 = 0, 4*f = 3*t + 46. Put t, -4, 4 in decreasing order.
4, -4, t
Let h = 0.27 - -0.03. Sort -4, h, 2 in decreasing order.
2, h, -4
Let c = -0.1 - -0.3. Let h = -5.51 - -1.51. Sort -4/3, h, c in ascending order.
h, -4/3, c
Let n = 9.3 + 2.7. Let k = 18 - n. Let x = k - 11. Put 0, -0.1, x in descending order.
0, -0.1, x
Let o = -4 - -5. Sort o, 2/3, 2 in descending order.
2, o, 2/3
Suppose 0*l - 3 = -3*u + 3*l, 0 = 3*u + l - 3. Put -4, 0, u in ascending order.
-4, 0, u
Suppose -g + 2*w + 7 - 2 = 0, 3*g = -4*w + 5. Sort 5, -4, g.
-4, g, 5
Let w be (24/14)/((-2)/(-14)). Suppose -4*u + 8*u = 12. Suppose z + u = 5*i + 11, -5*i = z + w. Sort i, 3, 2 in decreasing order.
3, 2, i
Let o = 5 + -2. Let c = 129 - 127. Put c, o, -5 in ascending order.
-5, c, o
Let z = 0.09 - -0.07. Let d = -0.06 + z. Sort 1/2, d, -1 in increasing order.
-1, d, 1/2
Let l be 4/(-34) - (0/(-3))/4. Sort -3/2, l, -0.3, 0.4 in descending order.
0.4, l, -0.3, -3/2
Let k be (1 - (0 - -3))*2. Let c = -3.5 + 4. Put c, -1/3, k in increasing order.
k, -1/3, c
Suppose 0 = -13*x + 4*x - 9. Put 6, x, 1, -5 in ascending order.
-5, x, 1, 6
Let o be (-1 - -7)*(-5)/(-15). Let q = o + 8. Let j be (-4)/q + 14/10. Put j, 3, 2 in descending order.
3, 2, j
Suppose 2*f + 22 = 4*f. Let t be (-3)/(-6) + f/(-2). Let a be 4/6 + (-8)/(-6). Sort t, a, -2.
t, -2, a
Let s = 0.153 + 0.247. Put s, 1, 2 in decreasing order.
2, 1, s
Let c = 0.03 - 3.03. Let f = -0.038 - 0.062. Sort c, f, -5 in descending order.
f, c, -5
Let n be 1/(((-9)/12)/(-3)). Let m = 0 + n. Sort -5, -4, m in ascending order.
-5, -4, m
Let i(h) = h**3 - 6*h**2 - 7*h - 9. Let k be i(7). Let y = k + 13. Let o = 9 - 6. Sort y, -1, o.
-1, o, y
Let d = 92/3 + -278/9. Let u be -5*4*(-1)/5. Sort -0.4, d, u in decreasing order.
u, d, -0.4
Let w(s) = -s**3 - 3*s - s**2 + 7 - 2*s + 7*s**2 - 2*s. Suppose 3*h + 4 = 2*d - 9, -4*h = 4. Let t be w(d). Sort -2, t, 4 in increasing order.
t, -2, 4
Let x = 0 - 0. Let w = x - 1. Sort 0, -4, w in increasing order.
-4, w, 0
Let v = 14 - 9. Let p be 2/12*15/(-2). Let w = 3 - 4. Sort v, p, w in descending order.
v, w, p
Let l(m) = m**3 + 4*m**2 - 4*m + 3. Let i(y) = 4*y**2 + 1 - y**3 + y - 7*y**2 - 3*y**2. Let g be i(-6). Let c be l(g). Sort 5, 2, c in descending order.
5, 2, c
Let z(l) = 2*l**3 + 4 - 3*l**3 + 2*l**3 + 2*l**2 - 2*l. Let w be z(-3). Let c be 2/2 + w/(-5). Put -1/2, 0.3, c in ascending order.
-1/2, 0.3, c
Let s = -17 + 17.5. Sort s, -3, 7 in decreasing order.
7, s, -3
Let h be -10 + -2 + 3 + 2. Let c be (4/1)/(h + -2). Sort 2, c, -5 in descending order.
2, c, -5
Suppose 2*l + 18 - 22 = 0. Suppose 0*s = -2*s - 2. Let k(c) = -3*c**3 + 1. Let i be k(-1). Put s, l, i in increasing order.
s, l, i
Let g be (-9)/((-36)/(-16)) - -2. Sort g, -3, -12 in decreasing order.
g, -3, -12
Let g be 3 - (36/35 - -2). Let x = 3/7 + g. Put x, -1, 2 in increasing order.
-1, x, 2
Let s(l) = l**2 + 2*l - 35. Let j be s(0). Sort -6/5, -2, j.
j, -2, -6/5
Suppose 16 + 9 = 5*n. Suppose 0 = 4*p - 6*p + 8. Sort n, p, -4 in ascending order.
-4, p, n
Let t be (-3)/(-9)*128/10. Let o = 18/5 - t. Put o, 0.2, -4 in descending order.
0.2, o, -4
Let t = 0.042 - -1.898. Let q = 0.06 + t. Sort 5, -1, q in descending order.
5, q, -1
Let j = 5.6 + -5.5. Sort j, -4, -0.3, 4 in descending order.
4, j, -0.3, -4
Let j = 144 - 143. Sort j, 2, -1 in descending order.
2, j, -1
Suppose 0 = -h - 3*h. Let q = -9 - -15. Suppose 5*i - q = -1. Sort i, h, 4 in increasing order.
h, i, 4
Suppose 0 = -n - 9*n - 20. Sort 4, -5, n in decreasing order.
4, n, -5
Let t(j) = j - 6. Let o be t(5). Let h be 18/(-15)*(-10)/(-3). Let w = h - 0. Put o, w, -2 in decreasing order.
o, -2, w
Let w = -1.4 + 2.4. Put 3, w, 5/2 in descending order.
3, 5/2, w
Suppose -20 = -4*p - 0*p. Let w = -39/8 + p. Let y = -0.3 + 0.2. Sort -2/11, y, w in ascending order.
-2/11, y, w
Let r be (-22)/(4*(-3)/(-46)). Suppose 0 = c - 5*y - 105, 5*c + 4*y = 142 + 267. Let i = c + r. Put -2/7, i, 4 in descending order.
4, i, -2/7
Let k = -17 + 14. Sort k, -0.2, 0.1 in increasing order.
k, -0.2, 0.1
Let j = 146.93 + -147. Let a = -5 + 7. Put a, j, -4 in descending order.
a, j, -4
Suppose 2 - 12 = 2*f. Suppose 3*a = a + 10. Let n(u) = u. Let r be n(-2). Sort f, a, r in descending order.
a, r, f
Suppose 5*k = 4*k + 5. Suppose -4*z - 3 = k. Let g be -2 + (6 - 2) - z. Sort g, -4, 5.
-4, g, 5
Let y be 6/42 - 3/21. Sort -14, y, -1 in descending order.
y, -1, -14
Suppose -3*h - q - 3 = 0, 2*h - h - q + 1 = 0. Sort 5, h, -6 in increasing order.
-6, h, 5
Let f be 1 + (-1)/1*3. Let c be (2 + 15/(-6))*4. Let t be (1 - -3)/c + f. Put 3, 2, t in decreasing order.
3, 2, t
Let h(m) = 9*m**2 + m. Let t be h(1). Let g be 20/(-8)*(-16)/t. Suppose 22 = -2*u + 4*d, 0*u - 2*d + 14 = -2*u. Sort g, u, -5 in descending order.
g, u, -5
Let t = -0.13 - -8.13. Let p = t + -7. Put -2, 0.4, p in decreasing order.
p, 0.4, -2
Let v = 6.3 - 2.3. Sort 0.1, 5/3, v in ascending order.
0.1, 5/3, v
Suppose -13*h + 0 = 13. Put 0, -13, h, -5 in descending order.
0, h, -5, -13
Let t(s) = 2*s**2 + 4*s - 6. Let y be t(-3). Sort -4, y, -2, -3 in ascending order.
-4, -3, -2, y
Suppose -5*a + 3*a = -6. Let v be -8 + 4 + 5 - (-2)/(-1). Sort a, -2, v in descending order.
a, v, -2
Let t = 5/24 + 7/24. Sort 0.4, t, -4/3, 3/2 in ascending order.
-4/3, 0.4, t, 3/2
Suppose 2*z = z + u, 0 = -5*u. Put 1, -8, z in decreasing order.
1, z, -8
Suppose p + 0*p + 14 = 5*m, -5*m + 13 = -2*p. Let d be 6 + (-1)/(0 + p). Sort d, 3, -3 in descending order.
d, 3, -3
Let m(d) = -d**3 + 7*d**2. Let a be 