 = -253.9833 + -0.0167. Let u = d - -260. Sort 1/9, -0.03, u, 2 in decreasing order.
u, 2, 1/9, -0.03
Let j = -199 + 198.4. Sort -3, 5, j, -0.1.
-3, j, -0.1, 5
Let z(h) = -5*h**2 - 500*h - 1983. Let y be z(-4). Put -11, -5, y in descending order.
-5, -11, y
Let h be 30*(-22)/(-1485) - (-350)/(-18). Let c(v) = -46 + 0 - 12 - 3*v. Let g be c(h). Put 0, g, 1, 5 in increasing order.
g, 0, 1, 5
Let b(n) = n**3 + 4*n**2 + 3*n + 10. Let p be b(-4). Let u be (3/9*0)/p. Suppose 0*v - k + 1 = v, 0 = 2*v - 5*k + 26. Put u, v, -1, -5 in descending order.
u, -1, v, -5
Let x = -18711 + 18711.5. Sort -2, -72, 5, 2/15, x in descending order.
5, x, 2/15, -2, -72
Let y(t) = t. Let p be y(-6). Let l = 85 + -85. Suppose -3*b - 9 = 4*v, -v + 3*v = l. Sort -4, -1, p, b.
p, -4, b, -1
Let z = 14.022 + -14.322. Put -3/5, z, 205, -2/21 in descending order.
205, -2/21, z, -3/5
Let j = 1 - 1. Let v = 760 + -1176. Let q = v + 415. Sort 3, j, 4, q.
q, j, 3, 4
Let u = -670/3 - -1355/6. Sort u, -3/8, 28.4 in descending order.
28.4, u, -3/8
Suppose -4385 = -26*l + 6327. Let s = l - 2062/5. Put 1, -2/7, 26, s in decreasing order.
26, 1, -2/7, s
Suppose 7*m - 12*m + 19 = h, -5*m = 5*h - 15. Suppose -3 = 3*y - 0. Let a(f) = -f**3 - 2*f**2 - 4*f - 2. Let q be a(-2). Sort q, m, y.
y, m, q
Suppose -42*h + 82 = -83*h. Let b(x) = -x**3 - 11*x**2 + 13*x + 11. Let p be b(-12). Sort -11, p, h in decreasing order.
p, h, -11
Suppose 3*q - 41 = 5*p, -2*p - 6 = 123*q - 119*q. Put q, -40, -7, 1 in descending order.
q, 1, -7, -40
Let g(z) = -2*z**3 + 10*z**2 + 4*z - 4. Let k be g(5). Suppose 10 = -5*n - 0. Let s be 25/(-6) - n/12. Sort s, 2, k in increasing order.
s, 2, k
Let i = 0.21 - -0.19. Let n = 41 - 53. Let z = n + 12. Sort i, -1, z, 3 in descending order.
3, i, z, -1
Let k = -101 + 114. Let x(r) = r - 13. Let o be x(k). Let p be 2 + (o - 20/12). Put p, -5, 4/3, -2/7 in decreasing order.
4/3, p, -2/7, -5
Let g = 1158 - 1158. Let v = -44 - -39. Put -1, g, v, 11/4 in increasing order.
v, -1, g, 11/4
Let c = -344/2355 + 2/157. Let p = 13942.9 + -13931.9. Let s = 13/2 - 95/14. Put p, 4, s, c in decreasing order.
p, 4, c, s
Suppose -l - 38 = -4*h, 962*h - 960*h - 3*l - 24 = 0. Put 3, h, -5, 4 in descending order.
h, 4, 3, -5
Let p(f) = -18 + f + 6 - 7 + 3. Let l be p(18). Let i be (-3 + l)*(-4)/12. Put -1/4, 4, i in ascending order.
-1/4, i, 4
Let q be (-1 - -4)/((-6)/(-10)). Suppose -666*c - 2575 = -563*c. Sort q, -2, c.
c, -2, q
Suppose -14 = 2*b + 4*g, 4*b = 77*g - 75*g - 38. Put -2, 3, 4, b, 17 in decreasing order.
17, 4, 3, -2, b
Suppose 2*c = 4*b + 20, 6*c = 3*c + 18. Sort -46, -5, 33, 0, b in ascending order.
-46, -5, b, 0, 33
Let b be ((-2)/(-4))/(1/6). Suppose 8 = -b*c + 2, 8 = -5*x - 4*c. Suppose x = 5*y - 4*i + 7, -2*i + 9 = 4*y - y. Sort 7, -3, y in increasing order.
-3, y, 7
Let i(m) = m**3 + 16*m**2 - 15*m + 70. Let j be i(-17). Let n be ((-3)/18)/((-9)/j*-1). Put -0.2, -0.25, n, 0.3 in descending order.
0.3, -0.2, -0.25, n
Let h(j) = -j**3 + 4*j**2 + 3*j - 20. Let c be h(3). Let w = -18 + 21. Put w, 1, c in decreasing order.
w, 1, c
Let a = -0.1058 - -427.1058. Let n = 426 - a. Sort 3/2, n, 0.086, 1.
n, 0.086, 1, 3/2
Let c = -29 - -7. Let m = c - -17. Let h = -169.9 + 170.4. Sort 0.1, 3, h, m in ascending order.
m, 0.1, h, 3
Let a = -2782 - -2781. Put -3/14, -7, 5, a in decreasing order.
5, -3/14, a, -7
Let y be 282/(-470) - (-4)/(-10). Suppose -5*p + 4*w = -41, w - 40 = -4*p - 3. Sort -5, p, y, 2 in increasing order.
-5, y, 2, p
Let l = -6 - -5.5. Let d(a) = -a**3 + 9*a**2 - 11*a + 5. Let i be d(3). Let b be ((i/8)/(-13))/(6/(-16)). Sort 4, b, l in ascending order.
l, b, 4
Let z be (0 - (-18 - -22))*(-6)/(-8). Sort z, -1, 478 in descending order.
478, -1, z
Let n = -162 - -158. Sort -2, 2, -214, n in descending order.
2, -2, n, -214
Suppose 4*r - g - 1 = 0, 5*g + 1 = 2*r - 4. Let t = -773 - -1147. Let o = t + -379. Sort 4, r, 2, o in decreasing order.
4, 2, r, o
Suppose 3*f - 223 = -184. Suppose f*m - 17*m = 112. Sort 2, m, -2 in ascending order.
m, -2, 2
Let w = 598 - 597.8998. Let i = -3.8638 - w. Let f = i + -0.036. Sort f, 3, -11, -2 in increasing order.
-11, f, -2, 3
Let r = 4.08 + 313.92. Let u = -317.9 + r. Put u, 2/5, 7 in descending order.
7, 2/5, u
Let n = -0.682 + 0.572. Let q = -7/43 + 107/129. Put q, -0.3, -4, n in descending order.
q, n, -0.3, -4
Let w be 2 + (-12)/(-66) + (-838)/11. Let s be 17/(340/(-150)) + 10/4. Sort 0, s, w in increasing order.
w, s, 0
Let f = -2.5 - -2. Let v be (15/(-20))/((-57)/(-152)). Let d be (-195)/(-117)*(v/10 + 0). Put f, -2/7, d in ascending order.
f, d, -2/7
Let k be ((7 - 1) + -12)*(42/(-36))/7. Let o = -0.8 + 2.3. Put k, o, -1, -0.3 in ascending order.
-1, -0.3, k, o
Let b = 16.16 + -11.16. Sort -1, 0.3, 1, -18/7, b in decreasing order.
b, 1, 0.3, -1, -18/7
Let q be 29/(-11 + (-1071)/(-42)). Suppose -5*h - m - 17 = 0, m - 2 = 1. Sort h, -1, q in ascending order.
h, -1, q
Let y = -282/13 - -1397/65. Let r = -30 + 27. Put r, y, -5 in increasing order.
-5, r, y
Let k(v) = 32 + 7 - 6 + 38*v + 6*v**2 - 5*v**2 - 26*v. Let x be k(-4). Let f = -7 - -6.94. Put 0, f, x, 3 in descending order.
3, x, 0, f
Suppose -4*d - 6 = 2*t, 5*d - 4 = -5*t + 1. Let b = 73 - 73.68. Let j = -0.38 - b. Put j, -0.3, t in decreasing order.
t, j, -0.3
Suppose 266*n + 272 = 262*n. Put n, -27, -2, 3 in descending order.
3, -2, -27, n
Let j = -0.267 + -0.05. Let x = j - 5.683. Sort x, -1/2, -4 in decreasing order.
-1/2, -4, x
Let d = 0.4505 + -3.6505. Sort d, 4/7, 5.
d, 4/7, 5
Suppose -n + 1 = -2. Suppose -10*a - 27*a = -75*a + 152. Sort -1, -2, a, n in decreasing order.
a, n, -1, -2
Let m = 2 - -1. Suppose 0 = 6*c - 38 - 28. Suppose 7*j + 8 = c*j. Sort m, j, 9 in descending order.
9, m, j
Let y(p) = p**3 - 4*p**2 + 2*p - 3. Let l be y(4). Suppose 3*q = 12*x - 9*x + 21, 0 = -2*q + 5*x - 16. Put l, q, 9 in decreasing order.
q, 9, l
Suppose -180*o = -171*o + 189. Sort 37, 2, o in ascending order.
o, 2, 37
Let s = -2037 - -2074. Sort -3, 1, s in ascending order.
-3, 1, s
Let r(w) = 137*w + 19176. Let y be r(-140). Let j be (0 + 2)/(2/4). Let o be 4/(-14) - 24/14. Sort j, o, y, 5 in increasing order.
y, o, j, 5
Let c be 4 - (-7 - (-1 - 14)). Let o be 14*(3 - (-5)/(-2)). Let z(y) = 2*y**3 - 13*y**2 - 5*y - 9. Let a be z(o). Sort a, c, 14 in ascending order.
c, a, 14
Let o be (-98)/8*8/(-2). Suppose -31 = 3*h + 2*g, -3*g - 64 + 24 = 2*g. Sort o, -1, h in descending order.
o, -1, h
Suppose -2*s - 1 + 3 = 0, 3*z - 5*s - 19 = 0. Sort -1, z, -37 in decreasing order.
z, -1, -37
Suppose 5*v - 2*b = 889, 4*v = -3*b + 2*b + 719. Put -1/4, 0.4, 2, v in ascending order.
-1/4, 0.4, 2, v
Let x be (((-6)/(-4))/(170/(-20)))/((-9)/(-6)). Suppose -9 = -3*z - 0*z. Put 2.4, x, z in decreasing order.
z, 2.4, x
Let v be (30/(-20))/(1 - 3/12). Sort -1, -369, v, 2 in ascending order.
-369, v, -1, 2
Let f(v) = -v**2 - 10*v - 6. Let l be f(-9). Suppose 78*o - 80*o = -134. Let a = 64 - o. Put l, a, 1 in decreasing order.
l, 1, a
Let z = 14862 - 14865. Sort -2, -8, z, -14.
-14, -8, z, -2
Let y = -5 + 6. Suppose -87 = 7*b - 12*b - 2*q, -46 = -3*b + 5*q. Let n = b + -14. Sort 2, y, n in descending order.
n, 2, y
Let g = -16 + 9. Suppose -7621*a + 7625*a + 3*b = 36, a = 3*b - 6. Sort 3, a, g in decreasing order.
a, 3, g
Let o(t) = t**3 + 37*t**2 + 33*t - 107. Let k be o(-36). Sort 6, 11, -5, k, -1 in decreasing order.
11, 6, k, -1, -5
Let q = 105.42 + -2.42. Let y = q + -99. Sort -1, y, -0.2.
-1, -0.2, y
Let x be (2/4)/((-2)/((-16)/1)). Suppose 0 = x*u + 4*g, 0 = u - 2*g + 6*g + 12. Suppose -4*w = -u*o - 5 - 15, 12 = -4*o. Sort 5, -3, w.
-3, w, 5
Let l = -119 + 829/7. Let m be 5/(2 - 5 - -1). Put l, 0, m, 7 in decreasing order.
7, 0, l, m
Let l = -5454 - -5449. Sort 75, 2, l in decreasing order.
75, 2, l
Suppose 0 = -2*n + 12 - 2. Let p = 1667 + -1673. Sort -3, p, n in descending order.
n, -3, p
Let f = 45.04 - 49.04. Sort 421, f, 3, -5 in decreasing order.
421, 3, f, -5
Suppose -3*n = n - 4. Suppose -3*f = 4*d - 55, 4*f + 2*d - 72 = -2*d. Suppose 0 = -f*t - 29 - 56. Put 2, t, n in increasing order.
t, n, 2
Let h = -1 + 6. Let f be -4 - (126/36)/((-1)/(-2)). Let y be (f/(-22) - (-3)/6)*-19. Put h, y, -1, 3 in descending order.
h, 3, -1, y
Let m = -0.519 - -0.119. Let d = -421 - -420.7. Put