9). Sort d, -1/2, -1.
-1, -1/2, d
Let a be (-4)/(-6)*2/(-4). Let y = -0.13 + 0.13. Sort a, y, 1.
a, y, 1
Let p(w) = -8*w - 5. Let l be p(-1). Put -2, l, 2 in decreasing order.
l, 2, -2
Suppose -2*h + 6 = 3*g, -3*h + 8*h = -3*g - 3. Let x = -27 - -27. Let s(f) = f**2 + f - 3. Let v be s(x). Sort v, -2, g in decreasing order.
g, -2, v
Suppose -1 = -3*k + 4*y, 0 = -3*k - y + 3*y - 7. Sort k, 3, 5 in descending order.
5, 3, k
Let l(d) = -2*d + 1. Let v be -3*2/9*-3. Let g = -3 + v. Let r be l(g). Sort 1, r, -5 in decreasing order.
r, 1, -5
Let u be 66/(-4) - (-2)/4. Let l be (-2)/8 - 420/u. Let r be l/(-30) + 6/9. Put r, 0, 4 in decreasing order.
4, 0, r
Suppose -3*t + 75 = 2*t. Let m be (2/45)/((-3)/t). Sort 2, m, -0.4.
-0.4, m, 2
Suppose 0 = -4*p, 3*w - 6*w + 3 = -4*p. Let k(l) = -l**2 - 8*l - 10. Let d be k(-7). Sort 2/3, w, d.
d, 2/3, w
Suppose -5*a - 8 = -3*a. Put a, 4, 1, 2 in decreasing order.
4, 2, 1, a
Let m be (-3 - 10/(-3))/(3/9). Put m, 4, 0 in ascending order.
0, m, 4
Let h(g) = -g**3 - 4*g**2 - 2*g - 5. Let w be h(-4). Suppose w*c - 5 = -5*o, 6*c + 4 = 2*c + 4*o. Let s = 14 + -10. Sort 1, c, s in increasing order.
c, 1, s
Let d be 1/(3/(-60)*4). Let c = 1 - 0. Sort d, c, 3 in increasing order.
d, c, 3
Let j be 14/7 + -1*1. Suppose 0 = -3*u - 0*k - 5*k + 21, 4*k - 18 = -3*u. Suppose 0 = -3*t - d - 8 + 2, 0 = -u*t + d + 1. Sort -3, j, t in descending order.
j, t, -3
Suppose 2*l = -2*l - 16. Put 3, -5, l in ascending order.
-5, l, 3
Let i = -4.2 + 9.2. Sort -4, i, -6/5 in increasing order.
-4, -6/5, i
Let c = -3 - 2. Let y = 8 + -2. Suppose 4*f = y*f. Sort -1, f, c in ascending order.
c, -1, f
Suppose 2*x = -4*v + 222, 3*v - 7*x - 134 = -2*x. Let u = -3460193/64980 - -2/16245. Let f = u + v. Put 1, f, -5 in decreasing order.
1, f, -5
Let i = -12 - -21. Let p = 6 - i. Let r = p + 8. Sort r, 2/21, 1 in decreasing order.
r, 1, 2/21
Let b be 22/(-5) + (-4)/(-10). Let n be (-28)/(-16) + (-2)/(-8). Let c = 1 - n. Sort b, 3, c in ascending order.
b, c, 3
Let v = -0.21 + 0.59. Let f = v - 0.18. Let m = 904/5093 - -2/463. Put -6/11, f, m in decreasing order.
f, m, -6/11
Let y = 3.6 - 3.1. Sort 4/3, y, -2 in ascending order.
-2, y, 4/3
Suppose -3*d + 2 = -k, -k - 2*k + 6 = 3*d. Let r be -2*(k - -1) + 0. Let t(a) = a + 5. Let m be t(-6). Sort m, -5, r.
-5, r, m
Let v = 17 + -15.4. Let z = 1.9 - v. Put -4, z, 5/4 in descending order.
5/4, z, -4
Let n = 2 - 2. Let l be (1/(-3))/(6/18). Put 1, l, n in descending order.
1, n, l
Let m = -0.06 - 11.94. Let t = 7 + m. Suppose 2*d - 10 = -3*d. Sort t, d, -2.
t, -2, d
Let f be (-3)/5 + (-46)/(-110). Put 5, -0.5, f in decreasing order.
5, f, -0.5
Let b = 22 - 45/2. Let v be (-2)/6*(2 - (0 - 1)). Sort b, v, -2/5 in descending order.
-2/5, b, v
Let h(m) = -m**2 + 7*m - 2. Let k be h(6). Sort 0.1, -1/17, k.
-1/17, 0.1, k
Let p(q) = 3*q**2. Let z be p(1). Put z, -0.1, 1 in descending order.
z, 1, -0.1
Let a(x) = -x + 7*x - 10 + 0*x. Let s be a(7). Suppose q = 4*q - 4*b - s, -4*b - 36 = -4*q. Put 0.3, q, -1 in descending order.
q, 0.3, -1
Let z = 25 - 20. Let y = z + -10. Let i = -1.99 - 0.01. Put i, -2/9, y in increasing order.
y, i, -2/9
Suppose -75698 = 4*x + 2*t, -5*x - 94617 = -t - 2*t. Let r be 2/8 + x/112. Let v = r - -169. Put v, 1/2, -5 in increasing order.
-5, v, 1/2
Let s(n) = n**2 - 5. Let w be s(4). Let x = 12 + 3. Let r = x - w. Sort -1, r, -2 in ascending order.
-2, -1, r
Let w(l) = l**3 + 2*l**2 - 3*l + 2. Let y be w(-3). Let m be -3 + 5 - (y - -1). Let o be m/(3 + (-24)/9). Put -1, 1/2, o in ascending order.
o, -1, 1/2
Let q be (-48)/(-16) + (-1 - 4). Sort -4, 2, q.
-4, q, 2
Let h = 107 + -107. Sort -5, -2/17, h in increasing order.
-5, -2/17, h
Let m be (-8 - -5)*2/6. Sort 9, m, -4 in descending order.
9, m, -4
Let q = -17 - -18. Sort 5, -2, q.
-2, q, 5
Let w = -683.8 - -684. Let q be (-3)/(-2)*(-8)/21. Sort 1, q, w in decreasing order.
1, w, q
Let c = -1.93 - -9.83. Let r = c - 8. Sort 3, r, -4 in descending order.
3, r, -4
Let k = -0.06 - -0.16. Let j = 0.4 - 0.8. Put 3, k, j in decreasing order.
3, k, j
Let s = -8 + 2. Let t(a) = a**2 + 5*a - 3. Let y be t(s). Sort y, -5, 2/13 in descending order.
y, 2/13, -5
Suppose -3*d = -8*d - 2*c - 14, 6 = -2*d - c. Sort -5, d, 1, 0 in descending order.
1, 0, d, -5
Let h = 6 - 10. Let v be 14/(-35) - (-14)/10. Put h, 2, v in decreasing order.
2, v, h
Let u(o) = 7*o - 41. Let b be u(5). Sort 3, 4, b in decreasing order.
4, 3, b
Suppose 0*p = -4*p - 4. Sort -5, p, 4, 5 in decreasing order.
5, 4, p, -5
Let t be 9/15 + 2/(4*-5). Sort t, 4, -8.
-8, t, 4
Let a(k) = k**2 - 6*k - 4. Let w be a(7). Suppose -5*v = -w*p + 6, 1 = 2*p + 2*v - 3. Put 5, p, 3 in ascending order.
p, 3, 5
Let r = 43 + -43.3. Sort r, 2, 0.
r, 0, 2
Let f be (-16)/(-90) - (54/(-15) + 4). Sort -0.32, -1, f, 0.3 in descending order.
0.3, f, -0.32, -1
Let g = 1.14 - -0.16. Let o = -3.2 + g. Let z = 0.1 - o. Put z, -2/13, 0 in increasing order.
-2/13, 0, z
Let q(g) = g**3 - 4*g**2 + 2*g + 3. Let t be q(3). Let h(x) = -x**3 - x**2 - 1. Let p be h(-2). Let r = p + -5. Put 4, r, t in decreasing order.
4, t, r
Let a be -3 + ((-1)/1)/(-1). Sort 30, 3, a.
a, 3, 30
Let k = 0 + 0.2. Let d = -7 + 12. Suppose d*p = -4*r + 7 - 2, 0 = -4*r - p + 17. Put 3, r, k in increasing order.
k, 3, r
Suppose t = -0*t + 12. Suppose 7*h - 3*h = t. Let r = 9 - 11. Put r, h, -3 in ascending order.
-3, r, h
Let b = -1 + -2. Let y = b - -5. Suppose 5*p = -y*o + 13, 2*p = 5*p + 4*o - 19. Sort -4, -5, p.
-5, -4, p
Suppose -r = -4*d + 9*d - 26, -4*d + 19 = -r. Put -6, r, 0 in ascending order.
-6, 0, r
Let y = -3.8 + 7.8. Sort y, -2, -1/4 in descending order.
y, -1/4, -2
Let c = -2 + 2. Let v = c - 4. Let j(p) = -2*p - 11. Let f be j(-8). Sort 4, f, v in decreasing order.
f, 4, v
Let r be 4/(-14) - (-344)/28. Suppose 4 = 4*d + r. Let k be (1/(-3))/(1/15). Sort d, k, -1.
k, d, -1
Let h be (-20)/6*42/(-35). Let r be 8 - (h - 3 - 1). Sort r, -5, -1 in increasing order.
-5, -1, r
Suppose 4*j + 0*j + 40 = 5*v, 3*v = -4*j - 8. Suppose -5*d - 3 = -3*r, 5*r - 5*d - 11 = 4*r. Put r, v, -5 in ascending order.
-5, r, v
Let n = -0.32 + 0.12. Suppose -5*q - 12 = 3. Sort 1/4, q, n in decreasing order.
1/4, n, q
Let o = 6 + -6.4. Let n = -12.69 - 0.31. Let k = 13.2 + n. Sort 1/7, k, o.
o, 1/7, k
Suppose 4*i = 5*l - 0*l - 3, 4*l = -4. Suppose -x - 3 - 14 = 0. Let v be -1*(x - -2)/(-3). Sort i, v, 3 in ascending order.
v, i, 3
Let p = -127 + 127. Sort 2/13, p, 5/6, -2 in decreasing order.
5/6, 2/13, p, -2
Let k = -90 + 85. Sort 4, k, -3/2.
k, -3/2, 4
Suppose -5*h + m = 11, -4*m - m = -2*h + 14. Sort h, -5, -2 in decreasing order.
-2, h, -5
Let y be 54/36*4/3. Sort y, -2, -1 in decreasing order.
y, -1, -2
Let y be (-2)/((3 + -1)/1). Let v be (-6)/(-9)*2/(-4). Sort y, v, 2/15.
y, v, 2/15
Let t = -0.01 + -0.09. Let h = 45.1 + -48. Let g = h + t. Sort -0.4, g, -4/5 in increasing order.
g, -4/5, -0.4
Let f = -5 - -7. Let o be (-9)/5 + f + 0. Suppose v + 2*v + 6 = 0. Put o, -1, v in ascending order.
v, -1, o
Let h = -10 - -9.7. Sort h, -4, -7 in decreasing order.
h, -4, -7
Suppose -16 = 7*r - 44. Let a be -1 + -2*1 + -1. Sort a, r, 5 in ascending order.
a, r, 5
Let s = 0 + 0. Let g = -4 - -7. Let z = g - 0. Sort z, 0.5, s.
s, 0.5, z
Let m = -10.99 + -0.01. Let y = 16 + m. Sort y, -0.5, -2.
-2, -0.5, y
Let b(r) = -r + 1. Suppose 3*w + 2*w = -20. Let x be b(w). Sort x, 3, -2 in increasing order.
-2, 3, x
Suppose 4 = 2*k + 68. Let u be (-12)/54 + k/(-63). Let a = 6 - 5.7. Put u, a, 2 in descending order.
2, a, u
Let r = -135341 - -12180551/90. Let y = r - -2/45. Sort 3, -1, y.
y, -1, 3
Let d = 0.09 - 4.09. Put -0.5, d, 1 in increasing order.
d, -0.5, 1
Let b(h) = 3*h**3 + 2*h**2 + 2*h + 1. Let v be b(-1). Sort -4, v, -1.
-4, v, -1
Let d = 2.984 + 0.016. Put -0.3, 1/5, d in descending order.
d, 1/5, -0.3
Let b = -8 + 6. Let y be (-1 - b)/((-1)/(-5)). Sort -3, -4, y in decreasing order.
y, -3, -4
Let s(q) = 2*q + 4. Let n be s(-4). Let t = 26 + -31. Put n, 4, t in descending order.
4, n, t
Let r = -27 - -24.6. Let w = -2 - r. Let x = -0.1 - -1.1. Sort w, -0.2, x in increasing order.
-0.2, w, x
Let w(f) = -f - 7. Let b be w(-11). Suppose 3*q - b*z = -11, 3*q = 3*z - 20 + 8. Put 0.5, q, 3/7 in descending order.
0.5, 3/7, q
Let s be 3/9 + 44/3. Let j 