/9. Let v be ((-10)/25)/((-14)/(-10)). Let z be (2 - 0)*3/(-6). Sort z, v, -2/3, r.
z, -2/3, v, r
Let p = -533 - -530. Suppose v + 4*v + 70 = -c, 4*c + 5*v = -205. Put c, p, -1, 1 in increasing order.
c, p, -1, 1
Suppose 5*c + 2*u - 20 = 3*u, 0 = -3*c - 3*u + 12. Let d be (-30)/(-20) - 6/c. Let x = 778 + -781. Sort 0.5, d, x in ascending order.
x, d, 0.5
Let w = -2 - -112. Let l = w + -214. Let h = 314/3 + l. Sort -0.3, 4, h, -4 in descending order.
4, h, -0.3, -4
Let f = 26722/7 - 3818. Put 0.2, f, 0.29, 1 in increasing order.
f, 0.2, 0.29, 1
Suppose 131*h + h = 10824. Sort -3, h, 1, -1.
-3, -1, 1, h
Let p = -28 - -29. Let u(q) = -15*q - 46. Let l be u(-3). Put p, 3, -2, l in decreasing order.
3, p, l, -2
Let n be (-160)/(-140) + (-1860)/84. Put -3, n, -38, 1 in descending order.
1, -3, n, -38
Suppose 3071 = -18*s - 3553. Put s, -14, -5 in decreasing order.
-5, -14, s
Let p be (-1 + (-14)/(-10))*(-415)/(-166). Suppose -3*j - 75 = -3*t, -5*t - 3*j = -43 - 74. Let o be (-2)/(-3) - (-80)/t. Put -2, -4, p, o in ascending order.
-4, -2, p, o
Suppose -193*c + 183*c = -10. Put -3, 10, -35, c in descending order.
10, c, -3, -35
Suppose 0 = -o + 4*g + 20, 10 = -6*o + 3*o - 2*g. Suppose o = 5*r - 3*h + 11, 3*r - 3*h + 3 + 6 = 0. Sort 1, 5, r, 0.
r, 0, 1, 5
Let d = 0.65 - 1.15. Let v = -106 - -62. Sort d, -0.1, v in decreasing order.
-0.1, d, v
Let n be (-7)/(-35) + 2/(-110). Let v be 2 + 2 + -5 + (-42)/(-38). Sort 0.5, n, -44, v in descending order.
0.5, n, v, -44
Let d = 33118 + -33118.8. Sort -10, 7, d, -3 in increasing order.
-10, -3, d, 7
Suppose 0 = -53*z + 969 + 197. Suppose 5*h + 4*r - z = 0, 2*h - 5*r = -3*h - 5. Sort h, -60, 6 in descending order.
6, h, -60
Let l = 285 - 571/2. Sort 0.039, 0.5, 0, l in descending order.
0.5, 0.039, 0, l
Suppose 2*b - 3*l = 1031, -7*l = -12*l + 5. Put b, -5, 2, 1, 3 in ascending order.
-5, 1, 2, 3, b
Suppose 0 = -6*t + 14*t + 136. Put -2, 5, t in increasing order.
t, -2, 5
Suppose 2*m - 4*m = -8. Let y = -153 - -153. Let z be 96/64*(-2 + (0 - y)). Sort m, z, 3, 5 in decreasing order.
5, m, 3, z
Let y = 24214 + -24213. Sort -10/7, 4, -4/7, y, -2/3.
-10/7, -2/3, -4/7, y, 4
Let q be (-18)/99*1*-1. Let m = -1 + 1. Let o = -65397/29 - -2255. Sort 3, o, q, m.
o, m, q, 3
Suppose -3*l + 0 + 15 = 0. Suppose 10*x - l = 5*x. Let j = -332 - -332. Sort -1, j, x, -5 in descending order.
x, j, -1, -5
Let d be 4/(-40)*4 - (-1596)/(-10). Let y = d - -158. Suppose -2*t = t + q - 33, 2*t - 3*q = 22. Sort t, -4, y in descending order.
t, y, -4
Suppose 0 = -4*q + 4*u + 42 - 14, -4*u = 5*q - 26. Let r = 29 - 34. Let y = 24996 - 24991. Put 1/5, y, q, r in descending order.
q, y, 1/5, r
Let l = 1 - -3. Suppose -5*x - 3*t = 2, -5*x + 10*t = -112 - 3. Let d = 1.5 - 1. Sort d, 0.4, x, l.
0.4, d, l, x
Let v = 145/2 - 1881/26. Put v, 0.2, 1/3, 0.03 in ascending order.
0.03, v, 0.2, 1/3
Let s = -149 + 162. Let p be 30/28 - (-2)/(-28). Sort -5, p, s in decreasing order.
s, p, -5
Suppose -2*m - 15 = -3*j, 5*j + 1 = -5*m + 26. Put 87, j, -15 in decreasing order.
87, j, -15
Let z = -791 + 786. Put -75/16, -1/2, z in increasing order.
z, -75/16, -1/2
Let m = -90.86 - -91. Let k = -16.14 + m. Sort 3, -0.2, 5, k in descending order.
5, 3, -0.2, k
Suppose 13*i - 14*i = 0. Suppose 0 = l - 4 - 1, -q + 2*l - 13 = i. Suppose 5*z - 14 - 11 = 0. Put q, z, -4 in descending order.
z, q, -4
Suppose 2 = -k + 4. Let v = -1682 + 1682. Let l = -0.027 + -4.973. Put k, v, l in decreasing order.
k, v, l
Let p = 226 + -169. Suppose -j - 54 = -p. Suppose 6*w - w - 5 = 0. Put w, 2, j in descending order.
j, 2, w
Let l = -1735 - -1744. Sort 31, 1, l.
1, l, 31
Suppose 81*s - 184 = 83*s. Let b be (6/20)/(69/s). Put -4, 4, 5, b in descending order.
5, 4, b, -4
Let u(g) = -g**2 - 5*g - 3. Let n be u(-3). Let i be (-5)/(-20)*-2*10. Suppose -2*c + a + 9 = 0, 5*c - 3*a - 29 = -7*a. Put n, i, c in increasing order.
i, n, c
Suppose 0*o - 2*o - 2 = 0. Let v be 1/1 + (0 - -1). Let f = 631 - 635. Sort 0, f, o, v in ascending order.
f, o, 0, v
Let v be -3 + (21 + -12)/((-3)/(-6)). Put -2, v, 1, 3, -5 in decreasing order.
v, 3, 1, -2, -5
Let o = -72481/88872 + 126/529. Let a = o + 7/24. Sort 3, a, 0 in descending order.
3, 0, a
Let k = -4005 + 76093/19. Put -0.53, k, 9 in increasing order.
-0.53, k, 9
Let k = -0.644 + -3.356. Let p = -22 - -15. Sort k, 0.4, p.
p, k, 0.4
Suppose -3*g - 22 + 64 = 0. Let h(o) = -o**3 + 13*o**2 + 12*o + 27. Let v be h(g). Sort 0, v, 1 in increasing order.
v, 0, 1
Let b be (-1 - (-15)/(-25)) + ((-40)/25)/4. Put b, 103, -3 in increasing order.
-3, b, 103
Suppose 9*r - 49 - 32 = 0. Put r, 2, 0, 3 in descending order.
r, 3, 2, 0
Let j(a) = -44*a**2 + a + 1. Let w be j(1). Let x be (-24)/w + 206/7. Put 4, x, -2 in decreasing order.
x, 4, -2
Suppose 2*f + 2 + 8 = 4*h, 0 = -3*h. Let m = -40 + 39.62. Let g = -0.52 + m. Sort f, -3, g in descending order.
g, -3, f
Suppose 19 = -5*v - 41. Let z(y) = -17*y**2 + 614*y - 66. Let t be z(36). Sort v, -4, t.
v, -4, t
Let k(m) = 4*m**2 - 126*m + 126. Let b be k(1). Put b, -105, 10, -3 in increasing order.
-105, -3, b, 10
Let f(p) = -1 + 2 + p - 2*p. Let x be f(-3). Let r(v) = v**2 + 21*v + 50. Let d be r(-18). Sort -14, d, x, -3.
-14, d, -3, x
Suppose -31*x + 36 = -43*x. Let q be (-8)/x*-3*336/64. Suppose 1 + 2 = t. Put -0.1, t, q, 0.2 in descending order.
t, 0.2, -0.1, q
Suppose -4*y - 1 = 4*k + 27, 0 = -4*k - 3*y - 24. Suppose 0 = 2*r + 2*x + 34, r + 1999 = 3*x + 2026. Sort k, r, 0 in increasing order.
r, k, 0
Suppose -4*p - t - 180 = 4*t, 4*t - 116 = 2*p. Let o = 50 + p. Suppose 3*s + o = 15. Put 6, s, -5 in descending order.
6, s, -5
Let s = 7226 - 7229. Sort -4, -3/5, 2/23, s in ascending order.
-4, s, -3/5, 2/23
Let q be (294/(-92463))/((-8)/296). Let l = 0.1 - -0.1. Put 2, -1/6, l, q in increasing order.
-1/6, q, l, 2
Let x = -17712 - -17711. Suppose 0 = -5*q - 5*c - 35, 0 = q - 2*c - 0*c + 1. Sort x, 1, 0, q in descending order.
1, 0, x, q
Suppose -20*l - 198 = -29*l. Suppose -4*q = 7*r - 10*r - 22, l = -4*r - 2*q. Put -4, -2, r in ascending order.
r, -4, -2
Let n(r) = -4*r - 15. Let w be n(-5). Let m(h) = 7 - w - 2*h - 2*h. Let i be m(1). Sort -1, i, 1 in descending order.
1, -1, i
Let h = -4268 - -4280. Put -27, 4, h, -12 in ascending order.
-27, -12, 4, h
Let j be 2 - ((8/(-90))/2)/((-81)/3402). Put j, 35, -0.3, 2/11 in decreasing order.
35, 2/11, j, -0.3
Suppose 7*y - 4 = 10. Suppose 2*u = -o + 66, -y*u - 3*u - 270 = -5*o. Let b = o + -57. Sort 2, b, 3 in decreasing order.
3, 2, b
Let a(q) = -q**3 + 5*q**2 + 20*q - 39. Let x be a(7). Put x, 0, 5, -4 in decreasing order.
5, x, 0, -4
Let n = -158/33 - -38/11. Let z = 4.1 + -1.1. Let b = -27 - -55/2. Put b, z, -3, n in increasing order.
-3, n, b, z
Let g be (-770)/660 + 5/30. Put g, 5, -9641 in ascending order.
-9641, g, 5
Let y(c) = -2*c - 6. Let x be y(-4). Suppose -p = 0, -p = -10129*n + 10128*n - 5. Put -3, n, x, -33 in ascending order.
-33, n, -3, x
Suppose 3*z = -b - 16, -4*z - 3 = 3*b + 20. Let y = 3290.4 - 3290. Sort 1/7, 1/3, y, z in ascending order.
z, 1/7, 1/3, y
Let i be 27/(-6) + (2 + 0)/(-4). Let h = 466.7 + -467. Put -13, 1/5, i, h in increasing order.
-13, i, h, 1/5
Suppose -3*t + 54*b = 58*b - 13, b = 6*t - 44. Sort t, 0.156, 0.02.
0.02, 0.156, t
Let q = -209577 + 209578. Let t be (-9)/(-15)*1*5. Put q, t, 15, -3 in decreasing order.
15, t, q, -3
Let f = -24 + 26. Suppose 0 = z + f*z. Let j(x) = x**3 - 12*x**2 - 12*x - 19. Let w be j(13). Put z, w, -2 in descending order.
z, -2, w
Let x = -1218 - -1213. Sort x, 1, 2, 13 in decreasing order.
13, 2, 1, x
Suppose 2*k - 3*n + 9 = k, 0 = 4*n - 16. Suppose 5*x - k*m = -22, -x + m = -m + 10. Let i be (-2 - (-4 + -13)) + x. Sort i, 4, 3.
3, 4, i
Suppose -29*u - 20610 + 20668 = 0. Suppose 3*q + 3*z - 20 = z, q - 5*z = 1. Put -5, u, 1, q in decreasing order.
q, u, 1, -5
Let q be (-2)/4*(1 + -5). Let o(u) = u**3 - u**2 - 2*u - 1. Let z be o(q). Let f be -6*(-2)/(-4) - z. Put -4, 2, f in decreasing order.
2, f, -4
Let m(g) = g**3 + 29*g**2 + 144*g + 711. Let l be m(-24). Sort l, 5, 1 in descending order.
l, 5, 1
Let m = 54 + -54. Let r = -1.8 + 2.1. Let d = 2.101 - 0.101. Sort r, 3, m, d in decreasing order.
3, d, r, m
Let z(v) = 367*v - 6233. Let h be z(17). Put 10, h, -1, -8, -3 in increasing order.