9. Let v = i + -6/85. Let f = -0.25 - 0.05. Put v, -3, f in decreasing order.
v, f, -3
Let a be ((-35)/15)/(1 + (-262)/7). Let b = a - -4/85. Put b, 6/5, 3, 1/8 in decreasing order.
3, 6/5, 1/8, b
Suppose -4*o = 4*k - 2*o + 4, 4*k - 2*o - 12 = 0. Let n = k - 1. Suppose 3*t + 6 = -3*m, -t + 5*m = -2*t - 18. Put t, 1, n in decreasing order.
t, 1, n
Let a = 1190 + -1189. Put 7, a, 10 in decreasing order.
10, 7, a
Let d = -13 - -8. Sort 0, 2/15, -3/7, d.
d, -3/7, 0, 2/15
Let h = 114 + -569/5. Sort 3, -0.4, h, -0.3 in increasing order.
-0.4, -0.3, h, 3
Let j be (-4)/((-4)/(-5)) - (-13 + 11). Let d(p) = -5*p - 1. Let t be d(1). Put t, 0, j in ascending order.
t, j, 0
Let p = 4 - 1. Suppose z + 12 = -p*z. Let m(d) = -2*d**2 - 2*d + 62. Let r be m(-6). Sort 5, z, r in decreasing order.
5, r, z
Suppose 8*w = 4*w, -12 = -4*a + w. Suppose -h - 3 = 2*h, -a*b - 10 = -5*h. Sort b, -3, -16 in ascending order.
-16, b, -3
Let z = -1 + 1. Suppose 5*s + 2 = 27. Suppose -s*c - 4 = 1. Sort c, z, 1 in decreasing order.
1, z, c
Let y be (-5343)/(-3836) - 16/14. Let l = -0.04 - -0.44. Put y, l, 3, 2 in descending order.
3, 2, l, y
Let v = 26.862 - -0.238. Let h = -1.3 + v. Let a = -26 + h. Put -3, a, -0.1 in decreasing order.
-0.1, a, -3
Let m be 4/6*((-44)/8 + 1). Sort m, 6, 2.
m, 2, 6
Let v = 7 + -13. Let s = 0.299 - 0.099. Sort s, -2/17, v in descending order.
s, -2/17, v
Suppose 2*i + 4*l + 8 = 0, 2*l + 1 = -5*i + 5. Sort i, -5, -27 in increasing order.
-27, -5, i
Let u be 1/(69/18 + -4). Let a be u/(-9)*(0 + -3). Put a, 4, 5, -1 in ascending order.
a, -1, 4, 5
Let v(c) = -c**2 - 5*c + 9. Let x be v(-7). Let f = -110 - -100.4. Let g = f + 10. Put x, -3, g in decreasing order.
g, -3, x
Let r = -33 - -46. Let l = 4 - r. Let x = -9 - l. Sort x, -0.05, 1/4.
-0.05, x, 1/4
Suppose -3*x = -g - 5, -6 = -3*g - 2*x + 4*x. Let z = 425 + -426. Let a = 5 + -3. Sort g, z, a.
z, a, g
Suppose 6*t = 2*t - 60. Let a be (-1 + 0)/1 - 15. Let q = t - a. Sort q, -4, -1.
-4, -1, q
Let t = 12413 - 12380.3208. Let v = 0.0208 + t. Let b = v - 32. Sort -3/4, b, 0.3 in ascending order.
-3/4, 0.3, b
Let g be (12/(-30) - 0)/(8/10). Put 30, 1/4, g in decreasing order.
30, 1/4, g
Let x = 37 + -31. Suppose 2*f - x = -2*b - 2, 8 = 3*f + 2*b. Sort 1, -1, f in increasing order.
-1, 1, f
Let h = 19.359 - -1.931. Let w = h + -22.4. Let c = 0.11 + w. Sort c, 0.4, 3 in decreasing order.
3, 0.4, c
Suppose -3 = -3*x, -10 = -3*t - x - 0*x. Let u(s) be the third derivative of s**4/24 + 2*s**3/3 - 6*s**2. Let q be u(-7). Put 6, t, q in descending order.
6, t, q
Let o = -47 - -37. Let v = o + 6. Sort v, -0.04, -0.1.
v, -0.1, -0.04
Let t be (((-20)/(-4))/(-5))/(2/10). Sort -3, t, 2, -2 in increasing order.
t, -3, -2, 2
Let p(f) = f**2 + 4*f + 4. Let d be p(-3). Suppose 140 = 28*k + 7*k. Put d, k, 3 in decreasing order.
k, 3, d
Let q(t) = -t**2 - 11*t - 13. Let d be q(-7). Suppose -3*c - 24 = -d*c. Sort c, 3, 0 in descending order.
3, c, 0
Let v = -7 - -12. Let k = 10 - 10.3. Sort k, 0, v in descending order.
v, 0, k
Let w(f) = -f**3 + f**2 + 5*f + 4. Let u be w(3). Let q be (-18)/54 - (14/(-6) + u). Sort q, 4, -12 in decreasing order.
4, q, -12
Suppose 3*z + 2*w = z, 5*w = -4*z - 2. Put -2, z, 0, 4 in decreasing order.
4, z, 0, -2
Let k = -78 + 113. Suppose -6*q = q - k. Let o be (-3)/6 - (-18)/4. Sort 0, q, o in ascending order.
0, o, q
Let v be -1 - (-4)/(8/10). Let g(j) = -2*j + 25. Let a be g(15). Let f be 2 + a/(-10)*-8. Sort 3, f, v.
f, 3, v
Let v = 6.06 + -10.1. Let o = v - -0.04. Sort 0.4, o, -1/6 in decreasing order.
0.4, -1/6, o
Let v = 1.13 + -1.63. Put 167, v, -4 in descending order.
167, v, -4
Let f be (-3 + 28/8)*-2. Let k(g) = -g - 1. Let a(h) = h + 1. Let b be a(-2). Let d be k(b). Sort 4, d, f in descending order.
4, d, f
Suppose 422 = 11*y + 389. Suppose -5*j = -2*f - 11, -j + 31 = -4*f - 0*j. Sort 2, f, y, -2 in decreasing order.
y, 2, -2, f
Let t = 16 - 15.8. Let r = -13 + 16. Sort t, -2/21, r, -1 in ascending order.
-1, -2/21, t, r
Let f = 5 - -3. Let q(c) = -c**3 - 12*c**2 - 9*c + 31. Let b be q(-10). Let t = -76 - b. Sort t, f, 2/13 in ascending order.
2/13, t, f
Suppose -13 = 3*w - 19. Sort 1, w, 0, 72.
0, 1, w, 72
Let c be (-5)/3 + 24/36. Let t = 7.5 + -10.5. Sort t, c, 4/7 in ascending order.
t, c, 4/7
Let b = -1832 + 1834. Sort b, 4/7, -40 in descending order.
b, 4/7, -40
Suppose -2*n + 29 + 105 = 0. Let y = n - 62. Put -3, 2/19, 0.08, y in decreasing order.
y, 2/19, 0.08, -3
Let n be 3 + -1 + (-44)/18. Let w = 0.095 + -0.035. Let b = w + 0.34. Put n, b, -1 in ascending order.
-1, n, b
Let y = 13.27 - 0.27. Let q = -3.86 - -0.86. Let o = -8 + 10. Put q, y, o in increasing order.
q, o, y
Suppose -j - 3*j - 16 = 0. Let v = -3 - -5. Suppose 9 - 1 = 4*m - 2*b, -5*b = -v*m + 20. Sort j, m, 1 in ascending order.
j, m, 1
Let a(u) = 5*u + 17. Let m be a(-5). Let j be 0 + (-16)/(m/(-2)). Sort 1, 5, -3, j in descending order.
5, 1, -3, j
Let s be (6/2)/((-6)/16). Let v be (-4)/(s*(-4)/(-8)). Let r = -36 - -53. Put r, 2, v in ascending order.
v, 2, r
Let c = 3 + -2.98. Let w = c - -4.98. Let v = -0.077 + 0.077. Sort w, v, 4/13 in ascending order.
v, 4/13, w
Suppose 0 = 6*o + 26 - 44. Sort -3, -15, -2, o in decreasing order.
o, -2, -3, -15
Let y(w) = -7*w - 44. Let u be y(-10). Sort u, 2, -3.
-3, 2, u
Let m(r) = r**3 - 14*r**2 + 12*r + 9. Let n be m(13). Let q be (-10 + 11)/(1/n). Put q, 2, -5 in increasing order.
-5, q, 2
Let s = -210/17 + 1033/85. Sort -2, -4, -4/7, s in descending order.
s, -4/7, -2, -4
Suppose -3*p - 2*b - 10 = -3*b, -12 = -3*b. Let a be p/(-16)*(-14 - -15). Put 0.1, a, 5 in descending order.
5, a, 0.1
Suppose 5*p + 5*l - 5 = 0, -9 = p + 4*l - 4. Let m be (4 - 3)/1 + -8. Let u = p + m. Put u, 0, -3 in increasing order.
u, -3, 0
Let i = 158 + -791/5. Sort -8.9, -3, i in decreasing order.
i, -3, -8.9
Let r(m) = m**3 - 2*m**2 - 2*m - 3. Let k be r(3). Suppose 0 = -5*t - 4*q - 9, 4*t - 4*q + q + 32 = k. Put t, 5, -20 in descending order.
5, t, -20
Let q = 264 + -266. Sort -1, q, 5 in increasing order.
q, -1, 5
Suppose -3*s = -15, 2*t - 28 = 2*s - 6*s. Suppose -4*z - 3 + 1 = -3*d, -z + 4*d = 7. Let j = -41 + 36. Put z, j, t in ascending order.
j, z, t
Let j = 819 + -819.2. Let m(v) = v + 2. Let i be m(4). Put -2, i, j in decreasing order.
i, j, -2
Let m(s) = s**3 + 6*s**2 - 9*s + 6. Let z be m(-7). Suppose h - n - 3*n = -z, 0 = h - 5*n + 24. Let w = h - -7. Sort 5, 0, w.
0, w, 5
Let y = 188 + -189. Put -2, -5, 1, y in decreasing order.
1, y, -2, -5
Let v = -0.4 + 0.46. Let g = v + -3.06. Let u = 3.1 + g. Sort 1, -3, u.
-3, u, 1
Let l = -205 + 55. Let n be (l/5)/(-5) + -1. Sort -2, 0, -5, n.
-5, -2, 0, n
Let a = 968 - 964. Put 3/7, 0.39, a in decreasing order.
a, 3/7, 0.39
Let c be 2/(-3)*6/(-8). Let m = -3120.8 - -3121. Sort c, -0.08, -1/8, m.
-1/8, -0.08, m, c
Suppose 0*i = 2*i + 2. Let m(x) = -9*x**2 + x + 1. Let v be m(i). Let h = v + 4. Put -4, 2, h in descending order.
2, -4, h
Let p(k) = -3*k - 1. Let b be p(-1). Suppose 4*n = s + 23, s - 3 - 4 = -b*n. Put s, 2, 3 in descending order.
3, 2, s
Let d = -74 + 76. Let c be d/(-2 - (-32)/14). Sort c, -5, -4, 3.
-5, -4, 3, c
Let c = 260 - 2338/9. Put c, -26, 3 in descending order.
3, c, -26
Let k be ((-2)/(-42))/(-3*(-9)/(-54)). Let o = 5 + -4. Put k, o, -1/6 in descending order.
o, k, -1/6
Let t be (1 + 1*4)*280/(-175). Put -5, t, 2 in decreasing order.
2, -5, t
Suppose 88 = 4*w - 2*g, -5*w - g + 112 = -3*g. Let f = -22 + w. Sort 0, -3, f in increasing order.
-3, 0, f
Let s = 18700/9 - 2078. Sort 3, -31, -0.2, s.
-31, s, -0.2, 3
Let i(u) = -u + 6. Let k be i(-11). Let a(g) = -g**3 + 17*g**2 - g + 22. Let t be a(k). Let x be 3 - (-1)/t*-5. Sort x, 6, -3 in decreasing order.
6, x, -3
Suppose -3*o = 5*j + 6, 2*o + 5*j + 12 = 13. Sort -4, -71, o in descending order.
-4, o, -71
Let r = 47 - 36. Suppose 0 = 4*x - 5*x - r. Sort -2, x, -4 in descending order.
-2, -4, x
Let r(q) = q**3 + q**2 - 2*q + 2. Let i be r(-3). Let t = i + 13. Put t, 15, 5 in decreasing order.
15, 5, t
Suppose 46*t = 32*t - 28. Sort -7, t, 7 in increasing order.
-7, t, 7
Let y = -5 + 8. Suppose 2*g + 3*r + 16 = 0, -5*g + 2*r = -6*g - 9. Put g, y, 5 in decreasing order.
5, y, g
Let p = -0.042 + 27.042. Let w = p - 29. Sort 2/3, w, 1 in descending order.
1, 2