0.4 in increasing order.
0, m, 0.4
Let z = -0.15 + 0.45. Sort -2/5, z, -1/5.
-2/5, -1/5, z
Let g be 5/2 + (-6)/(-12). Put 6, g, 0 in ascending order.
0, g, 6
Let v be (0 - 2) + 18 + 1. Let t = v - 16. Sort 3, 2, t in decreasing order.
3, 2, t
Let v = 8 + -7.97. Let k = v - -0.27. Sort k, 0, -0.2 in descending order.
k, 0, -0.2
Let i be 2/(-5) + (-41)/(-15). Let o = -728 - -4351/6. Let l = o + i. Put 1/8, -2, l in descending order.
1/8, l, -2
Let r = -5 + 19/4. Put r, -2/9, 1 in descending order.
1, -2/9, r
Let d(u) = u**3 + 6*u**2 + 5*u + 6. Let v be d(-5). Suppose 0 = -4*z + 4, v*x - 3*x - 4*z + 7 = 0. Sort 1, 3, x in decreasing order.
3, 1, x
Let w be ((-2)/(-6))/((-1)/(-9)). Suppose -3*u + 4*a = 5, 0 = w*u - 2*a + 1 - 0. Sort -0.5, -10, u.
-10, -0.5, u
Suppose -9*f + 5*f = 16. Put -2, f, 2 in decreasing order.
2, -2, f
Let f = 4 + -2. Let t = 0 + 0.2. Let x = t - 0. Sort f, x, -0.3 in ascending order.
-0.3, x, f
Let w be (1 - 1)/((-2)/1). Suppose b - 1 = 2*q + 5, 3*q + 3*b + 18 = 0. Let f = -1 + q. Put -3, f, w in decreasing order.
w, -3, f
Let l = 28 - 25. Let s = 2 - 2. Sort -3/8, l, s in decreasing order.
l, s, -3/8
Let u be (-2 + 1)*3/(2 - 5). Suppose -4*q = 2*v, -q + 14 = 4*q - v. Sort q, -1/3, u in ascending order.
-1/3, u, q
Let b = 17 + -52/3. Put b, 0.5, 3 in decreasing order.
3, 0.5, b
Let i = -38 - -112/3. Let u(p) = p**3 + 9*p**2 + 8*p + 5. Let m be u(-8). Suppose -m*c - 19 = -4. Put c, i, -0.1 in descending order.
-0.1, i, c
Let i(f) = f**2 + f + 2. Let u be i(0). Let l be 154/99 + 4/(-3). Sort u, 2/11, l in descending order.
u, l, 2/11
Suppose 7*r - 3*r + 9 = -3*h, -h - 2*r - 5 = 0. Let s be -1 + 11 + (-3)/h. Put 0, s, 5 in increasing order.
0, 5, s
Let a = -74 + 69. Sort 1, a, -3, 0 in decreasing order.
1, 0, -3, a
Let m = 6 - 3. Suppose 5 + 1 = -2*k. Sort m, k, -1 in ascending order.
k, -1, m
Let a = 8 + -7.97. Let k = a + -0.53. Let n = 4 + -4. Sort k, n, -3 in increasing order.
-3, k, n
Let c = 30 - 32. Let v(l) = l. Let w be v(-5). Sort 2, c, w.
w, c, 2
Suppose -4*i - i + 100 = 2*s, 0 = -5*i - 3*s + 100. Let w = i - 8. Let d be w + -5 - 2*1. Put 3, -4, d in decreasing order.
d, 3, -4
Let s = -38 - -30. Put 0.1, -4, s in decreasing order.
0.1, -4, s
Let q(y) = -4*y - 64. Let x be q(-17). Sort 20, x, -2/5 in ascending order.
-2/5, x, 20
Let p = 0.1 - 0.1. Let i = p + 0.2. Let z = 0.3 + i. Sort -4, -2, z in ascending order.
-4, -2, z
Let f = -13.3 + -0.7. Let z = 9 + f. Put 2/9, -2, z in descending order.
2/9, -2, z
Let x = 99 + -94. Sort 4/5, 1/8, x in decreasing order.
x, 4/5, 1/8
Let c be (1 - (-4)/(-3))/((-1)/(-2)). Sort 0, c, -0.3, 4 in decreasing order.
4, 0, -0.3, c
Let o(j) = 2*j + 5. Let a be o(5). Let s = 11 - a. Let f(g) = g**3 - 6*g**2 + 6*g - 1. Let p be f(5). Put -3, p, s in increasing order.
s, -3, p
Let c = -160/533 + 6/41. Put -3, 0.2, 1/6, c in ascending order.
-3, c, 1/6, 0.2
Let w = -7 - -11. Suppose 8 = 3*l - w. Sort 1, l, 2 in decreasing order.
l, 2, 1
Suppose -15*d + 12 = -12*d. Put d, 5, -3 in ascending order.
-3, d, 5
Let k = 170.57 - 171. Let a = 6 + -6.03. Let q = k - a. Sort -1, -0.2, q in ascending order.
-1, q, -0.2
Let g be (-1)/(2 - 1)*5. Suppose -2*i = 4*u - 16, 2*u - 14 = 3*i - i. Let z be -3*(0 - 2/(-2)). Sort z, i, g in increasing order.
g, z, i
Let a = 17 - 16. Sort -1, a, -2 in ascending order.
-2, -1, a
Suppose -2*y - 3 = 5. Let k(n) = 2*n - 1. Let q be (1 - (-3)/(-1)) + 0. Let j be k(q). Sort 4, j, y in decreasing order.
4, y, j
Let f = 183 - 178. Suppose 3*i - 2*i = 0. Put f, 6, i in decreasing order.
6, f, i
Suppose -3*l + 5 = -2*u, -1 = 3*u - 2*u - 3*l. Sort 1, -2, u, 4 in increasing order.
u, -2, 1, 4
Let d = -62.5 + 63. Sort d, 9, 3, -5 in descending order.
9, 3, d, -5
Let f = 0.7 + -0.6. Let n = -1/6 - -1/78. Let u = 3 - 1. Put f, n, u in descending order.
u, f, n
Let b be (-1)/((-7 + 4)/(-6)) + -3. Put 1, 3, b in ascending order.
b, 1, 3
Let w = 0.04 - -3.96. Let s = 7 - w. Let r = 2893/7672 - 2/959. Put r, s, 1 in decreasing order.
s, 1, r
Let k be ((-4)/10)/((-3)/15). Suppose -2*i = -i - k. Let u(n) = -n**3 + 9*n**2 - 8*n - 5. Let h be u(8). Sort h, 5, i in increasing order.
h, i, 5
Let b = 2.9 - -0.3. Let f = b - 3. Let n = f + 3.8. Sort n, 1/7, -0.2 in ascending order.
-0.2, 1/7, n
Let b(k) = -k**2 - 6*k - 7. Let c be b(-3). Sort -4, c, 4, -1.
-4, -1, c, 4
Let i(d) = 3*d**2 + d + 1. Let x be i(-2). Let q = x + -26. Let n be (-1)/(-3*(-2)/q). Sort 0.4, -0.2, n in increasing order.
-0.2, 0.4, n
Let g = 4.6 - 5. Let u = -1.39 - -8.09. Let j = u + -7. Sort g, j, -1 in decreasing order.
j, g, -1
Let p(c) = -7*c + 11. Let s be p(2). Sort 20, 2, -2, s in descending order.
20, 2, -2, s
Let u = -29/3 + 31/3. Sort -0.2, 2, u in ascending order.
-0.2, u, 2
Suppose -4*d - 40 = 3*k, 2*d - 4*k + 12 = -2*d. Let i = 505 + -500. Sort -3, d, i in increasing order.
d, -3, i
Let r be 4/(-5)*45/(-18). Let d = 2 - 3. Let c be (2 + d)/(1/(-3)). Sort c, r, 0 in decreasing order.
r, 0, c
Let k = -5.02 - -0.02. Let x = k - -9. Let i = 2095/9 + -233. Put -4, x, i in decreasing order.
x, i, -4
Suppose -15*k + 13*k = 4. Suppose 0 = -4*z + 4*l + 4, 0*z + l = 2*z - 6. Sort z, k, -4.
-4, k, z
Let y = -0.096 + 4.796. Let f = -5 + y. Put 0, 5/6, f in descending order.
5/6, 0, f
Let s(a) = -a**3 + 2*a**2 - a + 4. Let i be s(2). Suppose -3*q + w - 17 = 0, q - 4 = 3*w + 1. Let n be (-2)/7 - i/q. Put n, 3, 5 in decreasing order.
5, 3, n
Let h(j) = j**2 - 3*j - 4. Let k be h(4). Put k, -2, -1 in descending order.
k, -1, -2
Let i be (8/(-12))/(4/(-6)). Let o(c) = 5 - c**2 - 2*c**2 - 4. Let m be o(i). Sort m, 0, -3 in descending order.
0, m, -3
Suppose -2*z + 5*z + 14 = s, 2*s = -z + 7. Suppose s*f = 7 - 32. Suppose -27 = -2*l - 25. Sort f, 5, l.
f, l, 5
Suppose 0 = -5*k - 2 + 17. Put 4, k, 2 in increasing order.
2, k, 4
Let k be (2/(-3))/(3/9). Suppose 2*v + 6 = 0, -5*z - 4*v + 24 = -2*v. Let l = -4 + z. Sort k, 4, l.
k, l, 4
Let o = -5 - -11. Let l = 3 - o. Put 0.4, l, -1 in ascending order.
l, -1, 0.4
Let n be (3/6*-3)/((-27)/12). Sort n, -2/5, 0.4, 4.
-2/5, 0.4, n, 4
Suppose 2*a + 3*k + 6 = -k, 0 = -3*k - 6. Let w be ((-1)/10)/(12/24). Let r = -0.2 + 0.3. Sort r, w, a in decreasing order.
a, r, w
Let s = 10.8 - 10. Let c = s - 0.3. Sort 3, c, 1 in descending order.
3, 1, c
Suppose 5*t - 7 = -2. Let i be ((-36)/(-27))/(t/3). Sort i, -5, -1.
-5, -1, i
Let v be ((-210)/4)/((-12)/10). Let c = 44 - v. Put 2, c, -1 in increasing order.
-1, c, 2
Suppose -2*r - 4*m = -0*r - 12, -6 = -2*r - m. Let v be -1*7*3/3. Let u = v - -6. Put u, -5, r in ascending order.
-5, u, r
Let b(c) = c**3 - 2*c. Let x be b(-2). Let p = 10 + -11.9. Let u = -2 - p. Put u, 3, x in decreasing order.
3, u, x
Let c(s) be the first derivative of s**4 + s**2 - s - 1. Let v be c(1). Let r = 2 - 1. Sort 3/5, r, v in descending order.
v, r, 3/5
Let s be (2/(-10))/((-24)/120). Sort s, -5, -1, -2 in decreasing order.
s, -1, -2, -5
Let w = 16 + -17. Sort -3, w, 1 in decreasing order.
1, w, -3
Let a be ((-9)/(-1))/(0 - 1). Let j = 13 + a. Sort 0, -2, j in descending order.
j, 0, -2
Let u be (-4)/(-6) + (-14)/12. Let a be (-10)/45 - 440/(-666). Let o = -8/37 + a. Sort o, u, 1/8 in ascending order.
u, 1/8, o
Let o(n) = -n**3 + 6*n**2 + 6*n - 3. Let g be o(7). Let u = -6 - g. Let p be (4/(-6))/((-2)/(-3)). Sort p, 2, u.
p, 2, u
Let v be 92/2*(-2)/(-4). Let w = v - 23. Suppose 11 = s + 2*l, 5*l - 18 = 2. Put w, s, 1 in ascending order.
w, 1, s
Let c = -60 - -46.5. Let v = 13 + c. Sort -5, v, 0.
-5, v, 0
Let y = -3 + 2.07. Let z = y - 0.07. Sort -3/5, -0.3, z in decreasing order.
-0.3, -3/5, z
Suppose -f + 12 = 2*f. Sort -3, 5, f.
-3, f, 5
Suppose -4*o + o - 5 = 5*j, 0 = o - 4*j + 13. Sort -2, 1, o.
o, -2, 1
Let j = -31 + 29. Sort j, -1, 4, -5 in ascending order.
-5, j, -1, 4
Let t = -53.6 + 53. Let o = 4.4 + -4. Let k = t + o. Put k, 5, 0.4 in increasing order.
k, 0.4, 5
Suppose -4*o + 21 = -b - 0*b, 3*o + b - 7 = 0. Suppose 12 = -o*g + 4. Let t be 0/(-1) + (-2)/(-17). Put t, g, 4 in decreasing order.
4, t, g
Let d = 15.5 + -16. Put -3, d, 5 in decreasing order.
5, d, -3
Let v = -0.7 + 0.3. Suppose -14 = -3*y - 2. Let l be 4/40 - y/(-10). Put 4/3, v, l in descending order.
4/3, l, v
Let c be (6 - (-9 - -18))/(0 - 1). Sort -3, 21, c, 1 in descending order