9. Suppose 0*o + d = -2*o. Sort 3, -2, o in ascending order.
-2, o, 3
Suppose j - 24 = 5*p, j - 4 = -0. Put 2, p, -2 in decreasing order.
2, -2, p
Let d = -8.6 + 8.7. Let s be (-2)/(-8)*(-1 + -1). Sort s, -5, d.
-5, s, d
Let k(x) = 6*x. Let c be k(2). Suppose -3*d - 3*b + 21 = 0, -2*b = 3*d - c - 4. Let a be (-3)/d*(1 + 1). Put 1, 0, a in descending order.
1, 0, a
Let b = 0.04 + 0.16. Sort b, 3, -10, 0 in descending order.
3, b, 0, -10
Let p(m) = m**2 - 11*m + 10. Let k be p(9). Let s be (k/(-12))/(1/(-6)). Sort -2, s, 1.
s, -2, 1
Let q be (1 - 4) + 11/12*3. Put 0, 5, -3, q in decreasing order.
5, 0, q, -3
Suppose 3*c + 0 - 6 = 0. Suppose -10 = q - 3*b + 3, -4*b + 16 = -c*q. Sort -3, q, 5 in descending order.
5, q, -3
Let q(x) = x**3 + 9*x**2 - x - 10. Let b be q(-9). Let d be (0 + -2)/b - 2. Put -5, d, 4 in descending order.
4, d, -5
Let x(m) = -2*m. Let k be x(-2). Let d be k/2 - 16/10. Sort d, 1, -2 in descending order.
1, d, -2
Let i = 3 + -2. Let s = -2/107 + 119/642. Put i, 2/15, s in descending order.
i, s, 2/15
Let k = 11 + -2. Let h be (-1)/(-2) - (-1)/(-2). Suppose -4*u + 3 + k = h. Put 2, -4, u in increasing order.
-4, 2, u
Let k = 37 - -66. Let v = 719/7 - k. Let m(q) = -q - 2. Let d be m(-2). Sort d, 1, v.
v, d, 1
Let l = 0.22 + -0.11. Let x = -16 - -11.11. Let c = l - x. Sort -5, 3, c in descending order.
c, 3, -5
Let i = 4 - 4. Let p = 0.8 + i. Let y = 0.2 + p. Put 3, 0, y in decreasing order.
3, y, 0
Let z(u) be the third derivative of u**5/60 - u**4/8 - 5*u**3/6 + 2*u**2. Let g be z(5). Sort -4, -5, g in descending order.
g, -4, -5
Let t be (-4)/(-10) - (-7)/(-5). Let o = t - 1. Let n(k) = k**2 + 2*k. Let f be n(-3). Put f, o, -4 in decreasing order.
f, o, -4
Let t = -0.1 + -0.1. Let f = 20/13 + -127/91. Sort t, 5/2, f.
t, f, 5/2
Let k be 10/15*(-3)/16. Let p = 0 + 3. Let v = 4 - 9. Put k, p, v in decreasing order.
p, k, v
Let j = -14 - -18. Put -4, j, 0 in decreasing order.
j, 0, -4
Let g = 2 - 6. Let x = 0.05 + 0.35. Sort 5, x, g.
g, x, 5
Let j = 34 - 33.73. Let r = 0.07 - j. Let q = 0.5 + r. Sort q, 2, -1 in descending order.
2, q, -1
Let h = 5 + -34. Let r = -33 - h. Put -2/11, 2/9, r in decreasing order.
2/9, -2/11, r
Suppose t - o = -0*o + 2, -4*t - 2*o = -8. Put 4, t, 5 in descending order.
5, 4, t
Let t be 1/1 + 9/1. Suppose 0*f = 2*f - t. Put f, 0.2, -1 in decreasing order.
f, 0.2, -1
Let b(p) = -2*p - 7. Let s be b(-5). Sort 0, s, 4, 5.
0, s, 4, 5
Let w = -67 - -37. Put 1, w, 0 in increasing order.
w, 0, 1
Let f = -7 - -12. Let h be 0 + (-1 + 2)*0. Let r(m) = m**2 + m + 1. Let k be r(h). Sort f, k, -2.
-2, k, f
Let g = -16 + 12. Let w = -5.7 + 6. Sort 0.5, g, w.
g, w, 0.5
Let x be (-3)/(-6) - 44/8. Sort -3, x, 3 in decreasing order.
3, -3, x
Let h(c) = -4*c + 3. Let b be h(2). Put 1, 6, b in descending order.
6, 1, b
Let i = -5 + 4. Sort -0.2, i, 1 in decreasing order.
1, -0.2, i
Suppose -5*w + 22 = -3. Put -5, 2, w in descending order.
w, 2, -5
Let g = -0.446 - -0.046. Sort -9, g, -1/2, 1/4 in ascending order.
-9, -1/2, g, 1/4
Let l = -4 + 0. Let b = l - -2. Let n = 105.7 - 106. Sort 1/4, b, n in descending order.
1/4, n, b
Suppose 0 = 9*o + 9 + 18. Sort 5, o, 2 in decreasing order.
5, 2, o
Let w(v) = 1 + 7*v + 0*v - 2 - 2*v. Let q be w(1). Let k be (4/(-6))/((-4)/30). Sort k, q, 0.
0, q, k
Let h be ((-30)/7)/((-9)/42). Let s be 2/4 - 15/h. Sort -1, s, -0.2.
-1, s, -0.2
Suppose 26*t + 5 = 27*t. Sort 15, 4, t.
4, t, 15
Let q be (1 + 1)*10/(-50). Sort -5, 4, q in decreasing order.
4, q, -5
Let p = -14 + 35. Let s = 16 - p. Let o = 7.3 - 7. Put 3/4, s, o in decreasing order.
3/4, o, s
Let o = 0.6 + -0.8. Let g = o - 0.8. Put -2/13, g, 0.2 in increasing order.
g, -2/13, 0.2
Let g = -1.6 + -0.4. Let l(o) = -o - 4. Let j be l(10). Let i be 3 - 0 - j/(-5). Put g, i, 0.5 in descending order.
0.5, i, g
Let g(p) = -p**3 + 3*p + 4. Let h be g(2). Let s = -79.3 - -74. Let f = 0.3 + s. Put f, h, 3 in descending order.
3, h, f
Suppose 8*m + 2*h = 7*m + 18, h = 5. Put m, 3, 0 in decreasing order.
m, 3, 0
Suppose -17 = -2*z - 5*n + 1, 4*n - 8 = 0. Sort z, -3, -7/4.
-3, -7/4, z
Let b = 9 - 7. Let c be -1 - (2 + 2 + -13). Let h be (b/4)/((-4)/c). Sort h, 1, -4 in ascending order.
-4, h, 1
Suppose 3*j + 2*f = f - 3, 3*j + 3 = -4*f. Sort -4, 8, j in decreasing order.
8, j, -4
Let l = 2.02 - 2. Let w = l + 5.98. Let b = w - 3. Sort -1, -0.5, b in increasing order.
-1, -0.5, b
Suppose 2*c + 3 = 5*p, -2*c - 5 - 1 = -2*p. Suppose -5*j = -26 + 1. Sort -3, c, j in descending order.
j, -3, c
Let i = -4.9 + 1.1. Let o = i + 4. Let n(t) = t**3 - 4*t**2 - 5*t + 2. Let y be n(5). Put -0.1, o, y in descending order.
y, o, -0.1
Let k = -4355/3 - -1438. Let g = -161/12 - k. Sort g, -5, 2/9.
-5, 2/9, g
Let u = 30 - 29.7. Sort u, -3, 5 in descending order.
5, u, -3
Let h = -0.1 + -0.3. Let g = 9.96 - 10. Let i = g + -0.46. Sort h, -2, i in increasing order.
-2, i, h
Let t be 4/(-11 + 3)*2. Let m = -4.8 - 0.2. Put t, -0.4, m in increasing order.
m, t, -0.4
Let n = -10 + 12. Suppose 2*s = -n*s + 20. Let f be (2/4)/(1/6). Sort 1/3, f, s in increasing order.
1/3, f, s
Let p = 76 - 81. Sort -1/4, p, 0.3 in ascending order.
p, -1/4, 0.3
Let j(t) = t**2 + 6*t + 3. Let l be j(-6). Let d(u) = u - 6. Let f be d(6). Put -12, l, f in descending order.
l, f, -12
Suppose 1 = 6*v - 11. Suppose v*m = 3*s - 8, 0 = -4*m - 0*m - 4. Sort 0, 6, s in descending order.
6, s, 0
Let w be (-15)/(-5) + 1 + 36. Let h be 3/(-5) + 144/w. Sort h, -1, 1 in ascending order.
-1, 1, h
Let c = 106/3 - 35. Let o be (12/10)/((-72)/(-45)). Sort o, c, 0 in decreasing order.
o, c, 0
Suppose 0*t = 4*t, -3*m = 2*t - 12. Sort 2, -3, m in ascending order.
-3, 2, m
Suppose s - 8*s = -21. Sort 2, 4, s in increasing order.
2, s, 4
Let b(m) = -m**3 + 16*m**2 - 15*m - 1. Let j be b(15). Sort -6, j, 0.
-6, j, 0
Let z = 0.15 - 1.95. Let v = z + 5.8. Put -0.4, v, 2 in descending order.
v, 2, -0.4
Let p = 0.8 - 0.4. Let s = -0.5 + p. Sort s, -0.2, 4/9.
-0.2, s, 4/9
Let p = 0 + -2. Let x = 0 - p. Let q be -3 + 2 - (3 - x). Sort q, -4, 3.
-4, q, 3
Let r(i) = -3*i**2 + 2*i - 1. Let d be r(1). Sort -3, 3, d in descending order.
3, d, -3
Let p = -3 - -8. Let l = 169 + -165. Sort 0.1, l, p in decreasing order.
p, l, 0.1
Let y be (-3 - -4) + -1 + 3. Sort y, -5, 9 in decreasing order.
9, y, -5
Let o be 6/(-4) + (-22)/(-4). Suppose 6 = h - t, -o*h - 5*t + 7 = 1. Put h, -5, -4 in descending order.
h, -4, -5
Let m = -643675/7 - -91735. Let x be (-3920)/(-18) - (-6)/27. Let w = x + m. Sort -4, -0.4, w in ascending order.
-4, w, -0.4
Let t be 13/12 + 3/(-4). Let n = 0.4 - 0.8. Sort 4/3, t, n.
n, t, 4/3
Suppose 0 = -2*n - 3 - 17. Sort 3, n, -0.2 in ascending order.
n, -0.2, 3
Let q = -24 + 12. Let v be (q/20)/((-2)/10). Suppose 0 = -z + 2*z - 5. Put v, -3, z in decreasing order.
z, v, -3
Suppose -4 + 6 = i. Let h = 7 - 3. Put 1, h, i in decreasing order.
h, i, 1
Let l(q) = q**3 + q**2 + 2. Let i be l(-2). Suppose -8 = 3*b + 4. Sort i, 5, b in descending order.
5, i, b
Suppose 5*d + 19 - 4 = 0. Let n be (0 + -2)*-2 - 4. Sort 10, n, d.
d, n, 10
Let w = -2 - -4. Let i = w + 1. Let k = 0.2 + -1.2. Sort i, -4, k.
-4, k, i
Let r = -6 + -6. Sort -5, 0.3, r in ascending order.
r, -5, 0.3
Let d = 85.09 + -85. Put 0.3, 0.2, d, -5 in ascending order.
-5, d, 0.2, 0.3
Let w be ((-57)/(-12) - 0) + -4. Sort -0.4, w, 2.
-0.4, w, 2
Suppose 0 = -10*q + 5*q - 5. Suppose 4*f - 14 = h, 0 = 2*f + f - 4*h - 17. Sort -6, q, f.
-6, q, f
Suppose 0 = 10*n - 13*n + 12. Sort n, -6, 0.3 in ascending order.
-6, 0.3, n
Let l(b) = 2*b + 61. Let i be l(-31). Sort -3, -4, i, 0 in descending order.
0, i, -3, -4
Let f = -12 - -8. Let g be ((-102)/94 - 0) + 1. Let p = g + 106/141. Sort f, -3, p in descending order.
p, -3, f
Let b be (-183)/(-7) - (-5)/(-35). Let w = -32 + b. Put 2, 4, w in decreasing order.
4, 2, w
Suppose -4*m = -2*m. Suppose -4 = -g - 2. Suppose 0 = k - 3*k - g. Put -2, m, k in decreasing order.
m, k, -2
Let q = 0.07 + -0.64. Let f = 0.07 + q. Sort 0, 0.4, f in descending order.
0.4, 0, f
Let w = -0.056 - -0.356. Put -0.03, w, 5, -0.4 in decreasing order.
5, w, -0.03, -0.4
Let v(d) = d**2 + 5*d + 3. Let t be v(-5). Suppose 0*z = t*z + 9. Sort z, -5, -1 in increasing order.
-5, z, -1
Let c = -1 + 3. Sort 5, c, 1 in decreasing order.