-14)/144 - (-1)/(-8). Put 0, o, 5 in decreasing order.
5, 0, o
Let l be (-14 - -1)*(2 + -1). Let r be (4 + -3)/(l/(-2)). Let v = 3.3 + 0.7. Put r, v, -0.5 in decreasing order.
v, r, -0.5
Let f = 293 - 139. Let z be (-60)/f + 2/(-11). Suppose y - 13 = 2*t, y + 5 - 28 = 4*t. Sort t, z, -3/7 in ascending order.
t, z, -3/7
Let j = 1 - 0.7. Let m = -2 - -1.9. Let l = m + 0.5. Sort -2/7, j, l.
-2/7, j, l
Let x be 0 - (6 - (-1 - -2)). Let n(b) = b**2 - 9*b + 6. Let l be n(8). Put l, 1, x in increasing order.
x, l, 1
Suppose -3*r + r = -6. Suppose -r*i = -i. Put 5, 3, i in decreasing order.
5, 3, i
Let l = -12 - -11. Sort -0.3, l, 1/3 in ascending order.
l, -0.3, 1/3
Suppose 0*r = r + 2*h - 13, 0 = 4*r + 4*h - 32. Suppose -5*a = 5*v + 25, 0 = r*v + v - 4*a - 20. Let k = 0 + 2. Put -1/2, k, v in ascending order.
-1/2, v, k
Let u = -22 - -18. Put 3, 2, u in increasing order.
u, 2, 3
Let f(r) = -r**3 - 6*r**2 - 1. Let w be f(-6). Sort w, -42, 2.
-42, w, 2
Let q be ((-1)/9)/(11*(-5)/(-330)). Let r be (2/22 - 0)/(-1). Sort r, q, 3 in descending order.
3, r, q
Let g = 70 - 66. Put 0, -2, -4, g in decreasing order.
g, 0, -2, -4
Let m = -92 - -96. Sort m, -3, 2, -2 in decreasing order.
m, 2, -2, -3
Let n(v) = v - 4. Let b be n(8). Let u = -1 - 0. Put b, u, 5 in descending order.
5, b, u
Suppose 2*g - 3*g = 0. Put g, -3, -2 in decreasing order.
g, -2, -3
Let y = -12 - -20. Let l be ((-3)/5)/(y/10). Suppose 0 = 5*n - 8 - 2. Put l, n, 0.5 in descending order.
n, 0.5, l
Let m(p) = -4*p. Let h be m(-1). Suppose 0 = -0*q + 4*q - h. Let u = -2.1 + 0.1. Sort q, u, 2 in ascending order.
u, q, 2
Let z = -0.157 - -0.257. Sort 2/13, -2/11, z, -4.
-4, -2/11, z, 2/13
Let g be -5*(-6)/(-14) + 0. Let z = g + 9/14. Let r = 3.1 - 2.9. Sort r, 1/6, z in decreasing order.
r, 1/6, z
Suppose -x = 2*q - 6 - 4, 0 = 4*q + x - 16. Suppose 5*c - 4*l = -4, -4 = -5*c - l - q. Suppose c = 4*d - 5*d. Sort -5, d, -4 in ascending order.
-5, -4, d
Suppose g = 2*a - 15, 5*a - 33 = 2*g - g. Suppose -2*p + 4*s = -0*s - 20, -5*s = p + 18. Let b be 54/10 - 2/5. Sort p, b, a in increasing order.
p, b, a
Let b = -24.06 + 24. Put 0.1, -3, b in decreasing order.
0.1, b, -3
Let u be 3/15*945/12. Let d be 26/8*166/34. Let b = d - u. Put b, 2/11, -3 in increasing order.
-3, b, 2/11
Let i = 0.2 + -0.2. Let a = -6 + 18. Let b = a + -6. Put 2, i, b in descending order.
b, 2, i
Suppose 3*g - 24 = 4*p, p - 5*p = 12. Suppose 0*q + 2*q = 8, -8 = 4*n - 2*q. Let i = n + g. Sort 0, i, -3 in descending order.
i, 0, -3
Let x = 0.04 + 0.16. Let v = -2.8 - x. Sort 2, -5, v in increasing order.
-5, v, 2
Suppose 6*s = 23*s - 51. Sort -2, 2, s in decreasing order.
s, 2, -2
Let f be 1 + 11/(-9) + 182/117. Sort -3, 1/3, -0.6, f in descending order.
f, 1/3, -0.6, -3
Let j = -3 - -2.5. Let u(y) = -24*y**3 - y**2 + 2*y - 1. Let c be u(1). Let l be (-20)/c - 2/6. Sort l, j, 1 in ascending order.
j, l, 1
Let z = -19 + 173/9. Let k = 61 + -245/4. Sort 3, z, k in ascending order.
k, z, 3
Let s be 4*(0 + (-3)/(-6)). Sort -4, -1, -5, s in increasing order.
-5, -4, -1, s
Let i(a) = -a**3 - 6*a**2 + 6*a - 7. Let q be i(-7). Suppose -2*o + 0 - 15 = -3*x, q = -4*o - 12. Let p = -0.3 + -0.7. Put -5, p, x in ascending order.
-5, p, x
Let x be 8/(-30) + -4*1/(-6). Put x, 0.3, 0.1, -1 in increasing order.
-1, 0.1, 0.3, x
Let r = -4.97 - -5. Put r, -1/7, -0.5 in descending order.
r, -1/7, -0.5
Let p = -11 + 3. Let q = 10 + p. Suppose 3*j + 8 = 2*u - 3, -4*u - 8 = 4*j. Sort q, 4, j.
j, q, 4
Let h = 4 + -5. Let b be 9/(-6)*4/3. Let o be 33/9 + b/(-6). Sort -5, o, h.
-5, h, o
Let d(m) = -m**2 - 3*m. Let a be d(-4). Suppose -8 = -3*j + 4. Let x(l) = l**3 - 3*l**2 - 6*l + 3. Let p be x(j). Sort p, -1, a.
p, a, -1
Suppose -3*a = 7*f - 3*f - 14, f = -a + 4. Suppose 2 = 2*g + 6, 0 = -2*d - 4*g - f. Let n be (-7)/(21/(-6)) - 0. Put d, 0, n in descending order.
d, n, 0
Let a be 2/(-5 - (-92)/20). Let b = -1 + 0. Put b, a, 5 in decreasing order.
5, b, a
Let a = 4 + -3. Suppose 4*w - 2*g - 27 - 11 = 0, 2*g - 10 = -2*w. Sort 5, w, a in decreasing order.
w, 5, a
Let s = 7 - 9. Put s, -1, 5 in decreasing order.
5, -1, s
Let x = 0.6 + -0.5. Let n = 1801/39 + -139/3. Sort n, 3, x.
n, x, 3
Let r = -25.9 - -26. Sort -3, -2, r.
-3, -2, r
Let q = 33 + -26. Sort q, 2, 0.5 in ascending order.
0.5, 2, q
Let y be (-6)/(-2) + -1 - 6. Let z be 3*1/((-6)/y). Let x(d) = 2*d**2 - 3*d + 1. Let h be x(z). Put 1, 4, h in descending order.
4, h, 1
Let c = 32 + -36. Sort 0, 2, c, -4/5 in ascending order.
c, -4/5, 0, 2
Let r(h) = -h**2 - 3*h + 4. Let o be r(-3). Let u = 0 + o. Sort 3, -2, u in increasing order.
-2, 3, u
Let g = -2 + 1.7. Let j = 0.6 - 0.55. Let l = 0.05 + j. Sort g, 3, l.
g, l, 3
Let s be (5/(-5))/(1/10*2). Sort 1, 0.6, s, -0.1.
s, -0.1, 0.6, 1
Suppose 12 = -3*l + 2*t - 2, 3*t - 20 = 4*l. Let v be -1 - (l + 17)/(-3). Suppose -3*x + 3 = 18. Put v, x, 0 in descending order.
v, 0, x
Suppose -12 = -j - 3*j. Let q be 10/3 - (-2)/3. Let w = q - -1. Sort w, j, 0.
0, j, w
Let i = 90.3 - -4.7. Let a = 90.08 - i. Let v = -0.08 + a. Sort -3, 0, v in descending order.
0, -3, v
Let k = -5 + 0. Let m = -8 - -12. Let g = -17/4 + 3. Sort m, k, g.
k, g, m
Let o = 54 + -49. Sort o, -8, -2.
-8, -2, o
Let y(n) = -3*n**3 - n**2 + 4*n + 3. Let z be y(-3). Let i = -377/6 + z. Sort 2/9, i, 2.
i, 2/9, 2
Let s = 0.2 + 0.1. Let c = -0.168 + 0.068. Put 5, c, s in ascending order.
c, s, 5
Let h = -1.3 + 1. Let n = 0.4 + -0.3. Let f = -2.5 - -3. Put f, h, n in decreasing order.
f, n, h
Let m = 0.109 - 0.109. Let j = 0 - -2. Put m, j, -1 in ascending order.
-1, m, j
Suppose 0 = 2*d - 6*d + 4. Put 0, d, -2 in increasing order.
-2, 0, d
Let f(s) = -s**3 + 7*s**2 - 6*s + 1. Let l be f(6). Suppose -l = -4*u + 11. Suppose -4*o + u + 0 = 5*h, 21 = 4*h - 3*o. Put 0.5, h, -5 in ascending order.
-5, 0.5, h
Let x(j) = 3*j**3 + 3*j**2 - j. Let d be x(1). Sort -2, 3, d, 0 in descending order.
d, 3, 0, -2
Suppose 2*x - 10 = -5*l, 4 = -5*l - x + 9. Sort l, -4, 5, 4.
-4, l, 4, 5
Let h = 71.8 + -72. Put 0.5, -0.1, -0.3, h in decreasing order.
0.5, -0.1, h, -0.3
Let g = 0.07 + 0.53. Let l = -0.8 + g. Sort 4/5, l, 1/4 in increasing order.
l, 1/4, 4/5
Let x(o) = 8*o + 7. Let j(p) = 7*p + 7. Let i(c) = 7*j(c) - 6*x(c). Let g be i(-6). Sort g, 5, -2 in decreasing order.
5, g, -2
Let w = -0.409 + 0.009. Put 3, w, 2, 1 in ascending order.
w, 1, 2, 3
Let r = -1 - -2. Let u be (-1)/(r/(-3)) - -2. Suppose -h = -u*h. Put h, 5, -2 in decreasing order.
5, h, -2
Let u = 9 + -10. Suppose -4*l + 32 = 4*v - 0*l, -v + 17 = 4*l. Sort 2, u, v.
u, 2, v
Let x = 50 + -45. Sort -2, x, -6 in descending order.
x, -2, -6
Let i be 0/(0 + 3 - 2). Put -8, 2, i in descending order.
2, i, -8
Let k = -1.2 + 0.2. Let p = -0.35 + 0.37. Sort p, 5, k in descending order.
5, p, k
Let r be 4/(-18) + (-16)/9. Let x(y) = 6*y + 0*y**3 + 5*y**2 - 3*y - y**2 + y**3. Let c be x(-3). Sort r, 3, c in increasing order.
r, c, 3
Let c = -5 - -2. Suppose -4*l = 0, -4*l - 4 = -3*v + 2. Sort c, v, -1 in ascending order.
c, -1, v
Let y be -10 + -2 + 12/2. Put y, 3, -5, 2 in descending order.
3, 2, -5, y
Let l = -6 - -5.7. Let t = 11/5 + -153/65. Let w = 4 + -7. Sort t, w, l.
w, l, t
Let z = 35 + -36. Let l = -1/69 + -65/276. Put l, 0.5, z in decreasing order.
0.5, l, z
Let q(l) = -2*l**2 + 6 + l + l**2 - l**3 + 7*l**2 + 2*l**3. Let w be q(-6). Let z(c) = -c - 1. Let r be z(w). Sort 5, r, 1.
r, 1, 5
Let h = 6.5 + -7. Put 3/2, 2/11, h in descending order.
3/2, 2/11, h
Let h(y) = y + 9. Let w be -9 - (1 - (1 - -1)). Let k be h(w). Suppose 0 = 3*q - 5*g - 24, 0*g + 4*g = 3*q - 21. Sort q, -3, k.
-3, k, q
Suppose 2*x = -2*x + 16. Let j(b) = b - 2. Let q be j(4). Sort q, x, -3.
-3, q, x
Let b be 1856/112 - 6/(-14). Sort b, 0, -5, 4 in descending order.
b, 4, 0, -5
Let z be 0 - 0 - 4/(-1). Let l(k) = -k - 1. Let g be l(z). Let v(m) = -m + 8. Let o be v(4). Put o, g, 1 in increasing order.
g, 1, o
Suppose 9 = -q - 0*p - 2*p, -5*q = 2*p + 13. Sort q, 2, -3 in increasing order.
-3, q, 2
Suppose -3*t = -6*t. Suppose -3*f + 2 = -p - 2*f, 2*f = -4*p - 8. Put t, p, -0.1 in decreasing order.
t, -0.1, p
Let k = 1 + 5. Let t(h) = h**3 - 7*h**2 + 6*h + 2. Let u be t(k). Sort -1, -2, u.
-2, -1, u
Suppose -3*h = 3*f - 27, 4*h = -f - 4*f + 43. Sort f, -3, 0, 4 in descending