. Let x be o(6). Let n be (85/34)/((-1)/2). Sort n, 1, x, 0.3 in decreasing order.
x, 1, 0.3, n
Let b be (2/(-2))/((-3)/6). Let w = 1524.2 + -1528. Sort -1/7, b, w, -3 in ascending order.
w, -3, -1/7, b
Let p be (-2)/(-9) - (-439)/9. Suppose -p - 56 = 5*w. Let d = w - -10. Put 2, -1, d in descending order.
2, -1, d
Let q = -7 - -9. Suppose 8*l + 6 = q*l. Put l, -14, 0.3 in increasing order.
-14, l, 0.3
Let j be -8 + 0 + -36 + 43. Sort 8, j, -23 in descending order.
8, j, -23
Let m(l) = -5*l**2 - l + 5. Let n(k) = k**2 - k - 1. Let g(y) = -m(y) - 4*n(y). Let z be g(-5). Let c be (7/3)/(1/(-3)). Sort 5, c, z in increasing order.
c, z, 5
Suppose -2*r + 76 = -w - 0*w, 0 = 5*w - 10. Suppose -r = 2*a + a. Let c = a - -12. Sort 0, -5, c in descending order.
0, c, -5
Let o = -0.1139 - -0.0839. Put o, 0.1, 3 in decreasing order.
3, 0.1, o
Let o = -0.2613 + -0.0387. Put -0.4, o, 0, -0.048 in descending order.
0, -0.048, o, -0.4
Let f = -49 - -72. Let u = 49 + -74. Let w = f + u. Put -1, w, 2 in ascending order.
w, -1, 2
Let d(w) = -w**2 + 6*w + 10. Let s be d(7). Suppose 5*a - 19 = 6. Put a, s, 0 in ascending order.
0, s, a
Suppose 2*i - 6 = -0. Suppose 2*v + 6 = -3*w + 7*v, 5*w - i*v - 6 = 0. Let z(u) = u - 7. Let y be z(w). Put -2, y, -0.3 in descending order.
-0.3, -2, y
Let b = 2 - -2. Suppose 2*c = -5*y + 5 + 11, -4*c = b*y - 20. Let d be -2*(-1 - (-3)/y). Sort -3, -4, d in decreasing order.
d, -3, -4
Let p(z) be the first derivative of -z**2 + 17*z - 25. Let j be p(8). Put -35, -1, j in ascending order.
-35, -1, j
Let l be 5*4/(-20)*2. Let i(u) = -3*u + 3. Let m be i(-7). Let h be (m/390)/(l/(-5)). Sort -0.2, -0.04, h in ascending order.
-0.2, -0.04, h
Let c = -71 - -75. Let p be 14/8*c/28 + 0. Let k(g) = -g - 7. Let y be k(-6). Put y, 3/2, p in descending order.
3/2, p, y
Let d(p) = -p**3 - 33*p**2 + 32*p - 70. Let m be d(-34). Suppose y - 12 = -3*y. Suppose -3*v + k + 2 = -4*k, v + 2*k = -y. Sort m, v, 2 in decreasing order.
2, v, m
Suppose -20 = 2*v - 16. Sort -4, -20, v in ascending order.
-20, -4, v
Let i = 0.0572 + 7.9428. Sort i, 17, -0.1, 3 in descending order.
17, i, 3, -0.1
Let b = 10212 + -10215. Let r = 301/5 + -60. Put -4, b, r in decreasing order.
r, b, -4
Suppose -4*k - 36 = -3*m - m, 3*k - 50 = -4*m. Let y = -19/3 - -37/6. Put m, -1, y in descending order.
m, y, -1
Let t be ((-64)/(-4) + -16)*(-1)/2. Sort -5/4, t, 1/6, -1/10 in decreasing order.
1/6, t, -1/10, -5/4
Let c be 3/1 + 21/(-21). Sort c, -8, -10.
-10, -8, c
Let d be 3/2 - 6951/(-54). Let c = d - 130. Put 2/3, -0.1, c, -4 in increasing order.
-4, -0.1, c, 2/3
Let l = 109/6 + -19. Let u = 13/30 + l. Let g = 4.05 + -0.05. Sort -5, u, g.
-5, u, g
Suppose 0 = -19*h + 16*h + 15. Suppose 10 = h*d + 25. Let f = 3 + -1. Sort d, f, 0.4 in ascending order.
d, 0.4, f
Let u = 10.0959 + -0.0959. Sort -3.1, u, 1/2 in increasing order.
-3.1, 1/2, u
Let t = 345 - 343. Put t, -7, -4 in increasing order.
-7, -4, t
Let t(v) = -2*v**2 - 15*v - 7. Let d be t(-7). Suppose 5*j + 20 = -5*i, -4*i = -d*j - 2*j + 4. Sort 1, j, -1, 5 in ascending order.
j, -1, 1, 5
Let i = 66 - 57. Suppose -h + 4*l = h + 8, h + 3*l = 6. Suppose h*r = -5*r. Sort i, r, 4 in descending order.
i, 4, r
Let j = -495 + 493. Sort 2, 7, -1, j in increasing order.
j, -1, 2, 7
Let g be 13 + (-5 - -2) + 1. Put -0.4, g, 4, -3 in decreasing order.
g, 4, -0.4, -3
Let z(k) = k**2 + 2*k - 4. Let x(n) = n**3 + 8*n**2 + 7*n - 4. Let u(c) = 2*c + 3. Let y be u(-5). Let g be x(y). Let m be z(g). Sort m, -4, 5.
-4, m, 5
Let y(n) = 5*n + 14. Let h be y(-2). Sort 2.7, h, 1, 0 in increasing order.
0, 1, 2.7, h
Let f = 0 + 0. Suppose -3*a + 5 = -7. Let v = -22 - -17. Sort v, f, a.
v, f, a
Suppose 0 = 42*p + 84 - 0. Sort 0, 2, p, -68.
-68, p, 0, 2
Let m = 114 + -55. Let c = m + -62. Put c, -4, 3 in descending order.
3, c, -4
Suppose 8 + 2 = -f. Let m(y) = y**2 - 12*y + 18. Let b be m(5). Let x = 20 + b. Sort 4, x, f in increasing order.
f, x, 4
Let d = 75.9 + -77.4. Sort d, 2, 3.
d, 2, 3
Let y(b) = 3*b - 14. Let z be y(3). Let g be -5 + 3 - 0 - -2. Sort -2, g, z in decreasing order.
g, -2, z
Let j = 351 - 350.97. Sort j, 0, 1, 2 in descending order.
2, 1, j, 0
Let v = -12 + 16. Let s = -1 - v. Let j = -1.32 - -1.02. Sort s, 7, j in decreasing order.
7, j, s
Let u be ((-14)/(-35))/((-2)/(-15)). Sort 2, -1, u, -4.
-4, -1, 2, u
Let n = 51.5 + -52. Let s = -0.06 + 15.06. Let l = s - 10. Sort n, l, 0.5 in descending order.
l, 0.5, n
Let x = 23611/68 + -1395/4. Put -0.4, 0.2, x in descending order.
0.2, -0.4, x
Let c be (-3)/18*-3*12. Let r be 0*((-22)/c + 4). Put 1, -5, r in descending order.
1, r, -5
Suppose -j - 5 = -2*j. Suppose 7*s + 2 = 9*s - s. Sort -15, s, j in increasing order.
-15, s, j
Let v = 1.898 - 7.798. Sort v, -3, 4 in decreasing order.
4, -3, v
Suppose 0 = 13*a + 51 + 66. Put 3, 1, a, 5 in decreasing order.
5, 3, 1, a
Let q = -1.8 - -2.1. Let n = 66.1 - 78. Let t = -0.1 + n. Put q, 0, t in descending order.
q, 0, t
Suppose -43*p + 4 - 133 = 0. Sort 3, p, -16, -4 in descending order.
3, p, -4, -16
Let i be (1/2)/(18/(-108)). Sort -5, -2, i, 9 in ascending order.
-5, i, -2, 9
Let q = 56 + -57. Let i(w) = -27*w + 2. Let z be i(2). Let d = 211/4 + z. Sort q, -2, d.
-2, q, d
Let j = -216 - -219. Sort -4/5, 8, j, -4 in descending order.
8, j, -4/5, -4
Suppose 17 = 3*z + 2. Let k = -17957 + 17959. Sort -1, 3, z, k.
-1, k, 3, z
Let q = -72 + 41. Let n be 6/(-33) - q/(-11). Sort -5, n, 3, 4 in increasing order.
-5, n, 3, 4
Let h be (4/8)/((-4)/8). Let y be (h/2)/((-7)/(-70)). Sort 2, 1, y.
y, 1, 2
Let f(g) = -2*g - 9. Let r be f(-7). Let u = 314 - 310. Sort r, -6, u in increasing order.
-6, u, r
Let a be 4/2 + -2 + 6. Suppose -d - d = -a. Let t(u) = -u - 14. Let p be t(-12). Put d, -4, p in descending order.
d, p, -4
Let i(g) = -8*g**2 - 58*g - 17. Let t be i(-7). Put -1, t, 2, 5 in decreasing order.
5, 2, -1, t
Let k = -359 - -357. Put 2, k, 8 in increasing order.
k, 2, 8
Let d be ((-2542)/38 - 1) + -39 + 37. Let s = -70 - d. Put -1, 1, s in ascending order.
-1, s, 1
Let s = 1464 - 1459. Put s, -11, 10 in decreasing order.
10, s, -11
Let r = 99 + -111.8. Let a = r - -14. Let v = -1.2 + a. Sort -2/3, v, -1 in increasing order.
-1, -2/3, v
Let q = 12 + -10. Let d = 0.16 + -0.36. Let a = 4 + -3.8. Sort a, d, q in decreasing order.
q, a, d
Let u = 112 + -58. Suppose 0 = -15*h - 3*h - u. Put 5, -22, h in ascending order.
-22, h, 5
Let q = -0.05 + 3.05. Let g = -8 + q. Let h = -176/65 + 30/13. Put 5, h, g in descending order.
5, h, g
Let c = -6 - -5.7. Let t = 3587 - 3583. Sort -0.5, t, c, -3 in descending order.
t, c, -0.5, -3
Let g(w) = -w**3 - 6*w**2 - 4*w + 5. Let q be g(-5). Let c = 1131 + -1147. Sort q, 3, c in ascending order.
c, q, 3
Let s(n) = -2*n**2 + n - 54. Let c be s(0). Let y = c + 53. Suppose k = 3*k + 8. Sort 5, k, y in decreasing order.
5, y, k
Suppose d + 35 = 6*d. Let j = 3 + 8. Let i = j - d. Put -4, i, -1 in descending order.
i, -1, -4
Let a = -1 + 5. Let h be 10/(-10) - (-2 + 0). Let w be ((-9)/(-18))/(h/10). Sort a, 0, w.
0, a, w
Let w = 181 - 177. Put w, -3, 0 in ascending order.
-3, 0, w
Suppose 5*s + 10 + 5 = 0. Let h be (2/s)/((-12)/90). Let m = 0.6 + 0.4. Put m, -0.2, h in descending order.
h, m, -0.2
Let a(v) = -9*v - 16. Let w be a(-2). Put w, -4, -2 in decreasing order.
w, -2, -4
Let b be (2/(-6))/(4/(-36)*1). Suppose 0 = m + p - 3*p + 13, 0 = -b*m + 5*p - 35. Put 4, m, -8, 1 in decreasing order.
4, 1, m, -8
Let g = 35 + -217. Put -4, g, 5 in ascending order.
g, -4, 5
Let k(h) = h**3 + 18*h**2 + 159*h + 2864. Let z be k(-18). Let p be 9/(-3) - (-1 - 0). Let c be 1/2 + 5/p. Sort c, z, -1.
c, -1, z
Let l be 1568/812 - (-4)/58. Let u be ((-4)/(-10))/((-1)/(-10)). Sort 5, 1, l, u in increasing order.
1, l, u, 5
Let i = 0.07 - -0.93. Let p = 0.4 - 0.1. Let v = 0.2 - p. Put -1, i, v in decreasing order.
i, v, -1
Suppose 5*h - 48 = -t, -2*t = -h + 4 - 1. Sort h, 4, 0, -2.
-2, 0, 4, h
Let g = 8 + -7. Suppose 3*l + p - g = 0, -3*l + p = 3*p + 4. Sort 2/3, -0.5, l.
-0.5, 2/3, l
Let a(t) = -2*t**2 - 35*t + 23. Let m be a(-18). Put -3, m, 0 in ascending order.
-3, 0, m
Let q = -2114 + 2107. Put 0.05, q, 2, 5 in ascending order.
q, 0.05, 2, 5
Let a = 6 + -6. Let j be (-2)/(-4)*a - 2. Suppose 15 = 79*q - 76*q. Put j, 2, q 