9. Let n = 0.3 + -0.6. Let b = 0.1 + n. Sort b, 0.6, t in ascending order.
t, b, 0.6
Let j(t) = -13*t + 5*t - 49 + 11*t. Let b be j(18). Sort 3, b, 52 in increasing order.
3, b, 52
Suppose 4*i = 7*i - 6. Sort 13, -4, i in increasing order.
-4, i, 13
Let b = 85 + 17. Let y be ((-2)/(-4))/(17/b). Sort y, -8, -3.
-8, -3, y
Let h = -0.87 - -1.48. Let z = h + -0.61. Let s = -1.4 - -0.4. Sort 0.2, s, z in decreasing order.
0.2, z, s
Let h = 5.802 + -0.812. Let k = -5 + h. Let r = -4 + 1. Sort 3/2, k, r in decreasing order.
3/2, k, r
Let z = 9 - 4. Let y = -46 + 48. Suppose 0 = 5*k - y*s + s + 17, -9 = 5*k + 3*s. Sort 0, k, z in increasing order.
k, 0, z
Let h(j) = 20*j + 89. Let f be h(-4). Sort 6, f, -5, -4 in ascending order.
-5, -4, 6, f
Let p be (-28)/6 + (-1)/3. Let c(t) = 9*t**2 - 91*t + 13. Let i be c(10). Put p, 68, i in decreasing order.
68, i, p
Let k(m) = -5*m**3 - 55*m**2 - 5. Let h be k(-11). Let l(j) = j + 17. Let r be l(-12). Put r, h, -4, -14 in ascending order.
-14, h, -4, r
Let q be 83/(-913) - (-10)/(-11). Sort q, -113, -3 in ascending order.
-113, -3, q
Let j be -2 + (168/(-90) - 2/15). Sort j, -7, -1, 3.
-7, j, -1, 3
Let x = -2 + 2.06. Let l be -12 - -16*5/7. Sort l, x, -1/2 in decreasing order.
x, -1/2, l
Let f = 2.476 - 5.476. Sort 3, f, 2/7, 2/19 in decreasing order.
3, 2/7, 2/19, f
Let p = 340 + -338. Sort 4, p, 3, -2 in decreasing order.
4, 3, p, -2
Let b be 24/228 - (1 - 1). Let w = 9 + -9.5. Sort 2/11, b, w, -6 in ascending order.
-6, w, b, 2/11
Let p = 0.27 - -2.73. Let g = 1 + -15. Put -4, g, p in decreasing order.
p, -4, g
Suppose -3*o - a - 6 = 2*a, -a = 4. Suppose -104*m = -105*m - o. Let d = -13 - -18. Put d, 1, m in increasing order.
m, 1, d
Let i = -287 - -290. Sort 4, 2, i, -3.
-3, 2, i, 4
Suppose 5*p = -2*t - 36, 0 = 3*t - 36*p + 35*p + 71. Sort 4, t, 5 in descending order.
5, 4, t
Suppose -21*h = -72 + 198. Put 2, h, 3, 1 in ascending order.
h, 1, 2, 3
Suppose g + 5*a - 13 = 0, -20*g - 5*a + 1 = -23*g. Sort 1, g, 7, -5.
-5, 1, g, 7
Suppose -10*h + 135 = -25*h. Sort 1/9, -6, h in descending order.
1/9, -6, h
Let s = 38 + -37.983. Let n = s + 0.083. Sort 6, 2, n in decreasing order.
6, 2, n
Suppose 85*g - 18 = 88*g. Sort g, 0.4, 1/2 in decreasing order.
1/2, 0.4, g
Let j = -229 - -224. Let g(z) = z**3 - 13*z**2 - 12*z - 27. Let a be g(14). Put 4, a, j, -3 in increasing order.
j, -3, a, 4
Let o(n) = n**2 - 7*n + 3. Suppose -2*z + 13 + 1 = 0. Let d be o(z). Put -5, d, 2, 0 in decreasing order.
d, 2, 0, -5
Let c = 21.073 + -0.073. Let z = 18 - c. Put -5, 0, z in increasing order.
-5, z, 0
Let o = 1115 - 1112. Sort -2, 45, o in ascending order.
-2, o, 45
Suppose 0 = -8*p - 4 - 4. Sort p, -2, 2, 1 in descending order.
2, 1, p, -2
Let w = -35 - -39. Let b be w/(-38) + 888/(-228). Sort 4, 6, b.
b, 4, 6
Let z = 0.165 - -0.335. Put z, 5, -3/7 in descending order.
5, z, -3/7
Suppose 20*f - 7*f = -65. Put 2, 0, f, 61 in decreasing order.
61, 2, 0, f
Let l = -255 - -218. Sort 0.5, -0.1, l in decreasing order.
0.5, -0.1, l
Suppose -25 = -3*n - 2*n. Let l be (-5)/(-10)*1*(1 + -3). Suppose 6 + 9 = -3*q. Sort q, l, n.
q, l, n
Let x = 3.56 - 8.56. Put 0.1, -28, 4, x in increasing order.
-28, x, 0.1, 4
Let y be 4/(-3)*1/2. Suppose -n + 21*l + 17 = 23*l, -5*n - l + 121 = 0. Sort -3/5, n, y.
y, -3/5, n
Let h be 3/1 + (-1 - -4*3). Let k be (-1)/2*h/35. Sort 5, 0.4, k in decreasing order.
5, 0.4, k
Let t be (4/(-6))/(14/147). Let x be (-4)/(-2) - (-19 - t). Let s(l) = l**2 - 15*l + 14. Let m be s(x). Sort m, 2, 1 in decreasing order.
2, 1, m
Let p = -95 + 290/3. Sort 0.3, p, 20 in decreasing order.
20, p, 0.3
Let f = -106 + 109. Sort -3, f, -1/4, -5 in decreasing order.
f, -1/4, -3, -5
Let l(h) = -6*h**2 + 14*h + 36. Let q be l(4). Let n(z) = 1 - 3*z + z + 4*z**2 - 3*z**2. Let v be n(3). Put 3, q, v in descending order.
v, 3, q
Let g(y) = y**2 + 45*y + 159. Let f be g(-41). Sort 0, 6, -2, f in ascending order.
f, -2, 0, 6
Let g = -293 + 294. Sort 0, 6, g in decreasing order.
6, g, 0
Let a be 10*7/(35/2). Suppose -5*x - 2*r = -x + 4, x - 5*r + 1 = 0. Let h = x - 3. Sort 3, h, a.
h, 3, a
Let j = 40 + -40. Suppose -7*t + 2*t = j. Sort 20, -5, t in decreasing order.
20, t, -5
Let f = 3049/9 + -339. Put f, -1.5, -0.4 in descending order.
f, -0.4, -1.5
Let i(q) = q + 13. Let h be i(-10). Let v = 2 - 11. Let u be 190/(-45) + (-2)/v. Sort u, 2, h in increasing order.
u, 2, h
Let n = 1.44 + -1.34. Let a = -23 + 23.09. Sort -1, a, n in ascending order.
-1, a, n
Let k = 205/4 + -47. Let q = k + -31/8. Sort 0, q, 4 in increasing order.
0, q, 4
Let b be (-4)/6 - (-1 - -1). Let d = -0.24 - 8.76. Let u = 6 + d. Sort 2, u, b in descending order.
2, b, u
Suppose 0 = 15*q - 17*q + 12. Suppose g + 5*g = -q. Sort 0, -4, g in decreasing order.
0, g, -4
Let g = 4 - 2. Suppose -g*y + 2*c = 18, 5*y - c + 21 = -2*c. Let b be (-12)/y - 3/(-5). Put 4, 2, b in decreasing order.
4, b, 2
Let i = 1 - 1.3. Let x = -151 - -163.8. Let u = -13 + x. Sort i, 5, u in ascending order.
i, u, 5
Let i = -8 + 12. Let s = 18 - 16. Suppose 1 = b + z, z - 5 = -5*b + 5*z. Put i, b, s in decreasing order.
i, s, b
Let n = -0.205 + 0.305. Sort -2/13, 4/7, n, -0.5 in increasing order.
-0.5, -2/13, n, 4/7
Let r be 34/(-9) - (-6)/(-27). Let p be ((-3)/3)/(r/16). Let d be 3*1/3*p. Sort 1, d, -3 in ascending order.
-3, 1, d
Let t = -0.995 + 1.295. Sort -3.6, -5, -2/3, t in descending order.
t, -2/3, -3.6, -5
Let o be -6*(-6)/(-9)*3. Let v be 5/2*o/15. Let p be -4*((-3 - -3) + 1). Sort v, -3, p.
p, -3, v
Let h = -194.7 - -195. Sort h, 0, -1 in decreasing order.
h, 0, -1
Let x = 5.21 + -1.21. Put x, 1/3, -1/5, -6 in descending order.
x, 1/3, -1/5, -6
Suppose 2*r - 4*r + 2 = 0. Suppose 3*z + 0 = -9. Let u = -6 + 5. Sort r, z, u in increasing order.
z, u, r
Suppose -5*u = -2*u - 12. Suppose 4*j - 20 = 0, 3*w - 13 = u*j - 9*j. Let m be ((-6)/(-15))/(8/5). Put 3/7, m, w in descending order.
3/7, m, w
Let k be 8/76 - (-1142)/(-19). Let l = 64 + k. Let t = 1 - 0. Sort -4, t, l in decreasing order.
l, t, -4
Let i = 6 - -2. Suppose 27 = -40*r - 93. Sort r, i, 2 in descending order.
i, 2, r
Suppose 83*l - 156 - 10 = 0. Sort 3, 0, l, -83 in descending order.
3, l, 0, -83
Let w = 12 + -61/5. Let m = 22 + -16. Let f = -6.1 + m. Put f, w, -0.3 in decreasing order.
f, w, -0.3
Suppose -t - 2553 = -5*p, -5*t - 2034 = 2*p - 6*p. Let n be (1/11)/(2/11230). Let i = n - p. Sort -3/8, -1/2, i in descending order.
-3/8, -1/2, i
Suppose -4*q = 15*a - 11*a + 12, -5*q = 4*a + 12. Let o(u) be the third derivative of u**5/60 - u**4/24 - u**3/6 - 2*u**2. Let m be o(-2). Sort m, -2, q.
-2, q, m
Let x(b) = b + 4. Let v be x(0). Let p be -15*(-6 - 8/(-2)). Suppose 5*n + 3*q = -2*q - p, 3*n + 6 = q. Put v, n, 0 in decreasing order.
v, 0, n
Let k = 67.5 - 67. Sort k, 1/13, -3, 5 in ascending order.
-3, 1/13, k, 5
Suppose 0 = -2*z - 3*h - 14, -15 + 1 = 2*z + 5*h. Let y be (-30)/(-7) - (-2)/z. Sort y, -2/9, -2 in ascending order.
-2, -2/9, y
Let z = -43 + 42.9. Put -5, 4, z, -22 in ascending order.
-22, -5, z, 4
Let g(a) = -a**2 + 6*a + 50. Let h be g(-5). Let p(w) = w**3 - 9*w**2 - w + 9. Let k be p(9). Let x = -1 - -3. Sort k, h, x in descending order.
x, k, h
Suppose -i - 20 = -5*i. Let m(p) = 18*p + 69. Let l be m(-4). Put l, i, 2 in decreasing order.
i, 2, l
Let c = 0.1 + -0.1. Let o = 0 - 1. Let d = -28.7 + 29.1. Sort c, o, d in increasing order.
o, c, d
Let f = -0.36 - 0.04. Let v = f + 0.3. Sort v, 3, -4.
-4, v, 3
Let u = -0.425 + 0.225. Sort -0.9, 0.1, u.
-0.9, u, 0.1
Suppose 4*u = -u + 25. Suppose 11*i - 1162 + 1129 = 0. Put u, -3, i in ascending order.
-3, i, u
Let w(m) = 8*m**3 - 126*m**2 - 29*m - 51. Let v be w(16). Suppose -6*t = -t - 25. Put t, v, 16 in decreasing order.
16, t, v
Let s(f) = f**2 + 7*f - 8. Let h be s(-8). Suppose -5*g + h - 15 = 0. Let m be ((-12)/(-7) - 1) + -1. Put g, 1/7, m in descending order.
1/7, m, g
Let n = 0.9746 - -0.0254. Sort 2, 5/6, n in decreasing order.
2, n, 5/6
Suppose -8*l - 35 = -3*l. Let t be (-3)/l - 128/(-28). Let c be 7/(21/6)*(-2 + 1). Sort 2, t, c.
c, 2, t
Let g be 10585/(-25) + 6/15. Let i be 8/52 + g/(-39). Suppose -i + 5 = 2*x. Sort 5, -1, x in ascending order.
x, -1, 5
Let b = -248/3 - -6206/75. Sort 2/3, b, 3/8 in increasing order.
b, 3/8, 2/3
Suppose 40*n - 