 = z - 2/211. Let y = 1/54 - 31/216. Put -5, y, h in decreasing order.
h, y, -5
Let b be (159/106)/((-3)/4). Put 1, 5, b in decreasing order.
5, 1, b
Let b be 6/9 - (-2)/6. Suppose -3*n - 2*k = 2*k + 25, -10 = 2*n + k. Suppose 2*u - 8 = 6*u. Put n, b, u in decreasing order.
b, u, n
Let n = -89 - -25. Let a = n - -64.1. Put a, -1, -2, -2/11 in increasing order.
-2, -1, -2/11, a
Let i = 61.48 - 1.48. Let w = i - 61. Let c = 0.4 + 2.6. Put w, -2/5, c in descending order.
c, -2/5, w
Let x = 7 + -2. Suppose -3*j + j = -4. Suppose 4*u + 2*v - 4 = 0, 0 = 6*u - 4*u + j*v - 6. Sort 6, u, x in ascending order.
u, x, 6
Let o = -2.8 + -1.6. Let s = o - 0.6. Let f = 1.4 - 0.4. Sort s, 5, f in ascending order.
s, f, 5
Suppose -h = -4*o + 15, 0 = -5*o - 0*o + 25. Let x be (6 + -1)/(4 - 3). Suppose 8 = -5*n + 4*y, -n + 4*y - x = 3. Put -2, n, h in descending order.
h, n, -2
Let i = 53 - 47. Suppose -i*m + 5*m = -5. Put m, 0, -2, 2 in descending order.
m, 2, 0, -2
Let t = -2.27 + 7.27. Let w = 0.3 - -1.7. Put t, w, 0.5 in decreasing order.
t, w, 0.5
Suppose -5*g = -6*g + 2*g. Suppose 3*p = w - 1, 2*w + g*w + 4*p - 2 = 0. Put 5, 2, 3, w in decreasing order.
5, 3, 2, w
Suppose -22*h + 20 + 24 = 0. Sort h, 9, 1, 3 in increasing order.
1, h, 3, 9
Suppose -2*k = -k, k = -2*f + 42. Let a = f + -26. Sort -1, a, -2.
a, -2, -1
Let b = 93 + -83. Suppose 2*x = -v - 7, -2*x - b = v + x. Let w = -6 + 10. Sort w, 1, v in descending order.
w, 1, v
Let d = 2.3 - 3.6. Sort -4, d, 3.
-4, d, 3
Let w = 0.1446 + 0.0554. Sort 11, 0.3, w.
w, 0.3, 11
Let h(k) = -k - 5. Let s be h(-7). Suppose 5*t - 2*p = 27, -s*t - 4*p = -3 - 3. Let a be -1*(-2)/(-14) + 340/(-70). Put 8, t, a in descending order.
8, t, a
Let k = -164 - -161. Sort -1, -0.4, -0.01, k in descending order.
-0.01, -0.4, -1, k
Suppose 3*s + 0*s - 9 = 0. Let f(p) = 3*p**2 + 1. Let t be f(-1). Let w = -83 - -85. Sort s, w, t in ascending order.
w, s, t
Let m be (-32)/(-55) - 4/10. Let x = -0.951 + -0.149. Sort m, -0.2, x, -4/9 in ascending order.
x, -4/9, -0.2, m
Let g be -7*(8 - 165/21). Sort -42, g, -4.
-42, -4, g
Suppose 0 = 3*s - 7*s + 4. Let r(u) = -2*u**3 + 2*u**2 - 1. Let g be r(s). Let k be (8/(-2))/((-1)/g). Put k, -1, 2 in descending order.
2, -1, k
Let m be (0 + 1)/((-1)/5). Suppose -48*a + 54 = -30*a. Sort m, a, 4 in descending order.
4, a, m
Let g = -0.3 + 0.49. Sort 0.1, g, 1/2, -1 in increasing order.
-1, 0.1, g, 1/2
Let o = -1 - -4. Let r be (-3)/2*1/o. Suppose -4*c - 4*v + 32 = 0, 10*c - 7*c + 4*v - 27 = 0. Put r, c, -2 in decreasing order.
c, r, -2
Let w = -88 - -85.28. Let a = w + -0.28. Put 3, a, 0 in decreasing order.
3, 0, a
Let g be 41352/8340*1/(1 + 131). Let n = g - 1/834. Put n, -1, 3 in ascending order.
-1, n, 3
Let u = -116 - -118. Let z = -0.12 + 0.02. Put u, z, -2/13, -8 in decreasing order.
u, z, -2/13, -8
Let q = 25 + -27. Let s be 3/((-1)/(-6)*2). Let m = -8 + s. Put m, q, 3 in descending order.
3, m, q
Suppose 3*s + z = -16, -4*s + z = -3 + 15. Let a = -0.1855 + 0.4855. Put -0.04, a, s in descending order.
a, -0.04, s
Let k(g) = 70*g + 775. Let m be k(-11). Let f be 24/10 - (-6)/(-15). Let o(l) = 3*l. Let t be o(1). Put t, m, f in increasing order.
f, t, m
Let b be 135/30 + 1/2. Suppose 3*s - 36 = -3*j - 0*j, 0 = -4*j + 3*s + 48. Let o = j + -12. Sort b, o, 1 in decreasing order.
b, 1, o
Suppose 4*v - 5*s = 8, -8 + 0 = -4*v + 2*s. Let p be (3 - -1)*40/(-32). Sort 0, v, p in decreasing order.
v, 0, p
Let b(a) be the second derivative of -4*a**3/3 - 34*a**2 + 41*a. Let z be b(-8). Sort 0, z, -2, -5 in descending order.
0, -2, z, -5
Let k = -2 + 4. Let f = 0.12 + -0.23. Let u = 1.11 + f. Put u, -1, k in descending order.
k, u, -1
Let o = 9 - 2. Let m be ((-4)/o)/((-3)/21). Suppose 0*d - m*d = -4*x - 16, 0 = 2*d. Put 7, -0.4, x in ascending order.
x, -0.4, 7
Let p be ((-72)/42)/6*14. Put -7, -5, p, 3 in decreasing order.
3, p, -5, -7
Let l be ((-1)/(-2))/(2/(-4)). Let b(i) = i**3 - 52*i**2 + 576*i - 3. Let q be b(36). Let s = -3 + 5. Sort q, l, s.
q, l, s
Suppose 0 = 9*p + 13*p - 220. Suppose 0*i = i + 10. Let y = p + i. Sort y, 3, -4 in increasing order.
-4, y, 3
Suppose -2*u + 3 + 3 = 0. Suppose -u*c + 5*t + 7 = 0, 0 = 2*t - 0*t + 4. Let o = -12.5 + 12. Put c, o, -0.4 in increasing order.
c, o, -0.4
Let f = 7 - 4. Suppose 7*a + 0*a + 609 = 0. Let w = -88 - a. Sort -0.5, w, f in decreasing order.
f, -0.5, w
Let c = -11.8 - -12. Put c, -8/17, 4, 1/6 in increasing order.
-8/17, 1/6, c, 4
Let s = 1408 - 1422.74. Let a = s + -0.76. Let q = a - -15. Put -3, q, 0 in ascending order.
-3, q, 0
Let w = -12 + 10. Let g(h) = h**3 + 1. Let c be g(0). Let b be (-1)/(((-2)/8)/c). Put 0, w, b in descending order.
b, 0, w
Let j = 47 + -34. Let b = j + -26. Let h = -15 - b. Sort 0.03, h, -0.2.
h, -0.2, 0.03
Suppose -2*h + 121*r - 117*r = 0, 8 = -4*r. Sort h, -40, 4.
-40, h, 4
Let b = 0.033 - 30.033. Let y = -27 - b. Put y, 0.3, -3, -3/5 in decreasing order.
y, 0.3, -3/5, -3
Suppose 2*o - 5*d = 96, 5*o - 261 = -4*d - 21. Let i be (-4)/(o/4)*0. Let j be (-4)/6 - i/5. Sort -4, -2, j.
-4, -2, j
Let j = 7 - 7.5. Let y = -311 + 307. Let b = 10 + -5. Sort j, b, y in decreasing order.
b, j, y
Suppose -t + 5 = 3*q, 53*q - 54*q = -4*t - 19. Suppose 4*r = 5*r. Sort q, -3, r in descending order.
q, r, -3
Let t = -330 + 216. Let x = 133 + t. Sort x, -5, 3 in decreasing order.
x, 3, -5
Let a = 2 - 1. Suppose 0 = -2*n + 13 - 21. Let k(j) = -j + 4. Let h be k(6). Sort h, n, a.
n, h, a
Let h(y) = -y**2 - 4*y + 5. Let q be h(-5). Suppose -1 = -j - q*j. Put -1, j, 0 in decreasing order.
j, 0, -1
Let s = -0.24 + -0.06. Let p = -3487/42 + 83. Let d = p - 11/42. Put -2/11, d, s in increasing order.
s, d, -2/11
Let a be -2*(2*1)/(-12). Suppose 2*t - 6*t - 25 = -5*n, 5 = n + 4*t. Let g = 5621.6 - 5622. Sort n, a, g in decreasing order.
n, a, g
Suppose 801 = 7*y + 780. Sort 37, -1, y, 0 in decreasing order.
37, y, 0, -1
Let i = -6.92 + 9.92. Sort 2/7, -0.1, i, -4.
-4, -0.1, 2/7, i
Let h(p) = 5*p + 9. Let q be h(-8). Sort -3, 1, q.
q, -3, 1
Suppose -5*u + 6 = -2*z, -6*z = -2*z - 5*u + 12. Let s(f) = -f + 3. Let k be s(3). Let a(m) = 2*m**2 - m + 3. Let i be a(k). Sort z, i, 1 in ascending order.
z, 1, i
Let m(x) = 0 + 15 + 1 - 4*x - 6. Let u be m(2). Let y = 1.4 + 0.4. Sort 0.5, u, y in decreasing order.
u, y, 0.5
Let k = -128 + 127.3. Let x = -1.7 + k. Sort 0.2, x, -5 in decreasing order.
0.2, x, -5
Let h = -1190 - -1194. Put 13, h, -5 in ascending order.
-5, h, 13
Let i = -548046 - -189076106/345. Let p be ((-4)/6)/((-1380)/(-36)). Let m = p + i. Sort -2, m, -4 in ascending order.
-4, -2, m
Suppose -2*m = 4*c - 6, -4*m = -4*c - 0*c + 12. Suppose a = -5*p + 6, 3*p + c*a = 7*p - 2. Let d = 16 + -19. Put p, 3, d in descending order.
3, p, d
Let y = -2.159 + -1.841. Let a = 8 - 2. Put 0.2, y, 1, a in descending order.
a, 1, 0.2, y
Let b = -454 + 450. Put 0, 5, 0.5, b in descending order.
5, 0.5, 0, b
Let v(h) = h**3 - 8*h**2 - 9*h + 24. Let t(c) = -c. Let g(x) = -6*t(x) + v(x). Let n be g(8). Let f = 7 - 4. Put n, 5, f in decreasing order.
5, f, n
Let l(u) = 6*u + 16. Let y be l(-3). Suppose 5*q - 3 = 4*p, 4*q = 3*p - 7*p - 12. Let i be (p - -3)*(2 - -2). Sort 0, i, y in descending order.
i, 0, y
Let u = -2 + 5/3. Let i = 0.414 + -0.114. Sort u, i, -3 in descending order.
i, u, -3
Let u = 6 - 3. Let d be 12/10 + (-22)/110. Put d, -4, u in descending order.
u, d, -4
Suppose -39*a = -35*a - 12. Suppose t - a = 2. Sort 3, t, 2 in descending order.
t, 3, 2
Suppose -7*i - 25 = -2*i. Let d = -3 - i. Suppose -x - 3 = -d*x. Sort -1, x, 0.2 in decreasing order.
x, 0.2, -1
Let u(f) = 6*f + 14. Let v be u(-8). Let s be v/6 - (-5)/(-15). Put 2, -1, s in ascending order.
s, -1, 2
Let q = -1244 + 1243.77. Let g = -0.1 + 0.2. Put g, q, -1/4 in descending order.
g, q, -1/4
Suppose -207 = -4*v - 3*m, 0*v = 5*v - 3*m - 252. Suppose 4*n - v = -4*p + 3*p, p = -5. Suppose -2*s + n - 6 = 0. Sort 2, 9, s in increasing order.
2, s, 9
Suppose -36*u + 3*l - 38 = -35*u, -4*u - 2*l = 110. Put 2, -5, -4, u in decreasing order.
2, -4, -5, u
Suppose -4*q + 12 = -2*k - 20, 5 = -5*k - 5*q. Let d be 1/3 - (-25)/(-3). Let w = k - d. Put -4, w, 3 in ascending order.
-4, w, 3
Let z(l) = -l**3 - 14*l**2 - l - 11. Let a be z(-14). Put -1/6, -3, -2/3, a in increasing order