Let g = -48/11 + 218/55. Put 1/6, g, -6, -10/9 in decreasing order.
1/6, g, -10/9, -6
Let c = 9 + -16. Let j = 6 + c. Let d = -0.07 + 0.07. Sort -5, d, j.
-5, j, d
Let h = -129 - -131. Sort 2/3, -0.8, -2, h.
-2, -0.8, 2/3, h
Let i be 4*(0/(-7) + 1). Let s(t) = -2*t - 7. Let k be s(-5). Suppose -k*u = -i*u. Sort 2, 12, u.
u, 2, 12
Let c = 8.4 + -8. Sort c, -12, -5 in increasing order.
-12, -5, c
Let b = 513 - 513. Sort -16, b, -1 in ascending order.
-16, -1, b
Let j(l) = -10*l - 24. Let k(m) = m + 1 - 3 + 1 + 2. Let x(y) = -j(y) - 12*k(y). Let f be x(8). Sort -5, f, 2 in decreasing order.
2, f, -5
Let a(n) = 2*n + 13. Let h be a(-9). Let x(m) = m**2 - 9*m - 2. Let s be x(8). Let r = s - -14. Sort 0, h, r in decreasing order.
r, 0, h
Let a = -4 - -5. Let f = 409 - 402.98. Let d = f + -6. Sort a, 1/5, d.
d, 1/5, a
Let k be 10*(-2)/5 - -9. Sort 2, 8, k, -6 in decreasing order.
8, k, 2, -6
Let j = 1300.3 - 1302. Put j, 2/7, -8/9 in decreasing order.
2/7, -8/9, j
Suppose 0 = -3*c + 5*c. Let o be 2 + (1 - (-2 + 0)). Suppose 0 = -o*k - u - 12, 3*u = 5*u + 4. Put 4, c, k in increasing order.
k, c, 4
Suppose -n = -5*j - 0 + 4, -3*n = -4*j + 12. Let l be (-2)/(-1) + -4 + 3. Sort 6, l, j, 3 in ascending order.
j, l, 3, 6
Let n(p) = p**2 - 5*p + 1. Let w be n(8). Suppose 5*l - 8*a = -3*a + 25, 4*l = -a + w. Let t = -22 + 18. Sort l, -0.3, t.
t, -0.3, l
Suppose 8*h - h - 21 = 0. Suppose -v + 13 = 3*c, 2*v - 6 = 2*c + 4. Sort 0, h, v in decreasing order.
v, h, 0
Suppose -24 = -9*a + 3. Sort -1, a, 110 in descending order.
110, a, -1
Let m = -3.42 + 28.42. Sort -0.3, -4/5, m.
-4/5, -0.3, m
Let g(x) = -x**3 + 12*x**2 - 10*x - 10. Let q be g(11). Let a be -2*q/(-8) + (-6)/24. Put -6, -2/7, 3/4, a in ascending order.
-6, -2/7, a, 3/4
Let z = 3.756 - 0.756. Sort z, 0, -55.
-55, 0, z
Let d be (1 - 5) + (19 - 15). Let r(v) = -v**3 - 10*v**2 + 12*v + 16. Let j be r(-11). Sort d, -3, j in decreasing order.
j, d, -3
Suppose 0 = y - 4*g + 10, -31*y = -30*y + 5*g - 26. Let j = 2 - 1.9. Put 1, y, j in descending order.
y, 1, j
Let c(g) = 20*g + 49. Let u be c(-1). Sort 5, u, 2, -2.
-2, 2, 5, u
Suppose 5*g = -5*j + 35, -11 = 2*j - 5*j - g. Suppose -2*m + 19 = m + 5*h, -j*m + 2*h - 14 = 0. Let p = 19/5 + -17/5. Put 2/3, p, m in decreasing order.
2/3, p, m
Suppose 4*o - 2*j = 74, 5*j = 2*o + 3*o - 85. Let n = 39 + -20. Let d = n - o. Sort 3, d, -20 in decreasing order.
3, d, -20
Let f = -10.8 - -11. Let k = -36 - -31. Put k, -0.1, f, 2/5 in decreasing order.
2/5, f, -0.1, k
Let x = -4.6 + 2. Let o = -107 - -110. Let k = o + x. Put -6/11, k, 0.3 in decreasing order.
k, 0.3, -6/11
Let l = -401/3 + 135. Put 3, l, 1/2 in increasing order.
1/2, l, 3
Let j = -0.023 + -7.977. Let l = 4 - 8. Put 1/4, j, -0.3, l in descending order.
1/4, -0.3, l, j
Suppose -4*p = -3*d - 35 + 6, -2*d = -2*p + 16. Let q be 3/d*(-2)/(-2). Let b be (-6)/(-72)*2/(-1). Sort q, b, 0.2 in descending order.
0.2, b, q
Let x = 35 - 33. Let w be (11 + 1)*14/(-4). Let z be (x/w)/(3/(-18)). Sort -5, z, -4 in descending order.
z, -4, -5
Let c = -824 - -824.5. Put -8, c, -0.02 in ascending order.
-8, -0.02, c
Let d(b) = -4*b**2 + 8*b - 2. Let c(r) = -r**3 + 5*r**2 + 2*r - 8. Let q be c(5). Let u be d(q). Put 0, u, -5 in ascending order.
-5, u, 0
Let k be ((-176)/(-40))/11 + (-54)/10. Put 3, 4, k, 2 in decreasing order.
4, 3, 2, k
Let u = 1 - 1.1. Let z = -641 + 641. Put 5, u, z in increasing order.
u, z, 5
Suppose j - 3 = 2*o, -5*o + 2*j = -6 + 10. Let q(s) = 9*s**2 - 2*s - 1. Let p be q(2). Sort 3, p, o in ascending order.
o, 3, p
Let p = 331 + -331. Let r = 0.1 - 0.3. Let t = -1.4 + 1. Sort t, p, r in ascending order.
t, r, p
Let t be (-7)/(-28) + (-1)/20. Sort -0.2, 2/11, t, 2 in increasing order.
-0.2, 2/11, t, 2
Suppose -44*q = -11*q + 66. Sort -12, q, -1, 1 in decreasing order.
1, -1, q, -12
Let s be (-27)/12*4 - (-1 - 3). Put 3, s, 2, 22 in decreasing order.
22, 3, 2, s
Let m = 5.7 + -4.7. Sort -2/3, m, 42 in ascending order.
-2/3, m, 42
Suppose -19*p - 3*f = -15*p - 21, 0 = -4*p - 5*f + 27. Sort p, 51, 1 in ascending order.
1, p, 51
Suppose 0 = -2*c - o + 2 - 4, 0 = 3*c - 3*o - 6. Let y be 8/20 - (-7)/(-5). Sort c, y, 1.
y, c, 1
Let w = -67 - -4490/67. Let m = 70/201 - w. Sort 2/49, -3, m in descending order.
m, 2/49, -3
Let r = 1.04 + -1.1. Let b = r - 3.94. Let c be 1*(7/2 - 3)*2. Sort 1/3, c, b in decreasing order.
c, 1/3, b
Let p be 0 - (-6*1)/2. Let u(l) = l**3 + 7*l**2 - l - 8. Let a be u(-7). Let c = 5 - 1. Sort p, a, c in increasing order.
a, p, c
Let c = 133 - 130. Suppose -19 = 4*j - 3, -c*t = 3*j + 15. Put 0, t, -8 in ascending order.
-8, t, 0
Let r = 195.7 - 276.6. Let i = r + 81. Sort 5, -0.3, i, 5/4 in descending order.
5, 5/4, i, -0.3
Let o = 407 - 1631/4. Sort -1, o, 1.4 in decreasing order.
1.4, o, -1
Let h be (7 - 1)*(-8)/12. Let q(n) = -n**3 + 19*n**2 - 16*n - 43. Let i be q(18). Let j = h - i. Put 8, -3/4, j in decreasing order.
8, j, -3/4
Let r be (-6)/(-21) + 65/(-7). Let i(p) = -p - 11. Let h be i(r). Put 7, 2, h in increasing order.
h, 2, 7
Let f = 79 + -111. Let q = 34 + f. Let t = 10 + -7. Sort 1/2, t, q.
1/2, q, t
Let i(y) = 4*y**2 + 29*y + 8. Let o be i(-7). Sort -3, o, -4.2.
-4.2, -3, o
Suppose -y - 18 = 4*l, 2*l = -5*y + 33 - 87. Put 2/3, -3, y, 12 in descending order.
12, 2/3, -3, y
Let h be (1*-2 - (-84)/63)*3. Let s be 14/(-4) - (-2)/4. Put -17, h, s, -5 in increasing order.
-17, -5, s, h
Suppose -3*y + 5 = -4*m, -9 - 1 = -4*y + 2*m. Sort -5, 2, -4, y in descending order.
y, 2, -4, -5
Let w(o) = o**3 + 8*o**2 + 4*o + 33. Let b be w(-8). Sort 3, 25, b in descending order.
25, 3, b
Let h be 7 + 3224/(-400) - -1. Sort 0, -3/2, 5, h.
-3/2, h, 0, 5
Let x = -146 + 151. Suppose 0 = 8*k - 4*k + 8. Let c be ((-1)/2)/(k/(-8)). Sort c, -1, x in ascending order.
c, -1, x
Let s = 178 + -173. Put 9, s, -0.4 in decreasing order.
9, s, -0.4
Let u = -9.6 - 0.4. Let h = u + 14. Let p be (6/(-8))/(18/16). Put p, 3, h in decreasing order.
h, 3, p
Let s = 0 - 5. Let j(v) = -3*v - 14. Let q = -47 + 43. Let p be j(q). Put 2, s, p in decreasing order.
2, p, s
Let f(c) = c + 13. Let h be f(-13). Suppose h = 2*b - 8. Let t be 4/(-10)*(-20)/(-14). Put t, b, 1 in increasing order.
t, 1, b
Suppose 3 = t + 6. Let m be (3 + -8 - t)/(-1). Suppose 3*b + 5*p + 13 = 0, b - p + 3*p + 6 = 0. Put b, 7, m in descending order.
7, b, m
Let z be 225/105 - 7/49. Let b(v) = 2*v - 6. Let q be b(5). Put 1, z, q in ascending order.
1, z, q
Suppose -40 = 5*l + 5*x, -10*l - 11 = -9*l - 2*x. Sort 6, 1, l in decreasing order.
6, 1, l
Let o(h) = -2*h**3 + 7*h**2 + 6*h + 9. Let i be o(4). Sort i, -3, 2, -2.
-3, -2, 2, i
Suppose -12 = -5*j - u, -j + 2*u = -16 + 18. Sort -5, j, 0.4, 4 in decreasing order.
4, j, 0.4, -5
Suppose 174 = -0*z - 58*z. Sort 0, -1, z, 10 in descending order.
10, 0, -1, z
Let o(q) = -q**2 - 5*q - 2. Let a be o(-4). Let u(n) = n**2 + 5*n - 27. Let j be u(-8). Sort j, 1, a, 0.
j, 0, 1, a
Let k = 4735 + -4730.046. Let i = k + 0.046. Put i, 0.02, -0.2 in descending order.
i, 0.02, -0.2
Let j = 9/14 - 19/35. Let u = -117.08 + 117. Put u, -1/7, j in ascending order.
-1/7, u, j
Let u(c) = -c**2 - 9*c + 12. Let v be u(-10). Suppose s = 3*s - v. Suppose 4*r + 4 = 4*m, -2*r = -3*r - 4*m - s. Put 4, r, 5 in descending order.
5, 4, r
Let p be (1 - 2) + (3 - (0 - -4)). Sort p, -42, 1 in descending order.
1, p, -42
Let a = 1 - -1.2. Let s = a - -0.8. Sort 4, s, -2, -1/4 in ascending order.
-2, -1/4, s, 4
Let b be -4 + 0 + -120 + (-3 - -2). Let r = b + 130. Sort -2, -3, r in increasing order.
-3, -2, r
Suppose -2*c + 6 = -4*i - 8, c = 3*i + 12. Let b(q) = -q - 12. Let x be b(-12). Put i, x, 1 in increasing order.
i, x, 1
Let g = -3 + 16. Let x(o) = 2*o + 15. Let k be x(-3). Let u = g - k. Sort 1, u, -5 in decreasing order.
u, 1, -5
Suppose 8*j = -3*j - 33. Put -14, 5, j in decreasing order.
5, j, -14
Suppose -4*c + 184 + 144 = 0. Let j = 141 - c. Let s be 3*(1 + j/(-57)). Sort s, 2, 4.
s, 2, 4
Let t(u) = -u**2 + 3*u + 1. Let x be t(4). Let v(g) = -g**3 - 2*g**2 + g + 1. Let m be v(-1). Sort x, -10, m in decreasing order.
m, x, -10
Let t = -3 - -6. Suppose 0 = 4*y - t*y - 1. Sort -14, y, -2 in ascending order.
-14, -2, y
Suppose -5*v = -3*c + 15, -v - 3 = -0*v + 2*c. Let a(l) = -7*l - 16. Let y be a(v). Sort y, 6, 