ecreasing order.
w, y, 0
Let o(y) = y**3 - 2*y**2 - y - 1. Let z be o(2). Sort -1, 7, z in descending order.
7, -1, z
Let t be 18/27 - 20/21. Put -13, t, 0.4 in decreasing order.
0.4, t, -13
Let p = -1 + 4. Let b = -10 + 5. Let x(l) = -l - 6. Let f be x(b). Sort p, -0.3, f in descending order.
p, -0.3, f
Suppose 0 = -10*v + 7*v - 3. Sort 5, v, 24, 1 in increasing order.
v, 1, 5, 24
Let x be ((-4)/8)/((-2)/4). Suppose -4*v - 5*g = -0*g - 18, 0 = -3*v + g + 4. Put v, 5, x in decreasing order.
5, v, x
Let d be (-2)/((-5)/((-30)/(-4))). Let z be (0 - 1) + -1 + d. Let i(j) = -j**2 + j + 1. Let h be i(-1). Sort -5, h, z in decreasing order.
z, h, -5
Suppose o + 13 = 5*b, 4*b - 16 = -2*o - 0. Let g be (2 - 3)*(-3)/1. Put o, 0.4, g in increasing order.
0.4, o, g
Let u = -4 - -5.2. Let s = u - 2. Let j = 0.4 + s. Put 0.2, j, 2/7 in decreasing order.
2/7, 0.2, j
Let r(q) = 17 + 12*q**2 + q**3 + 2 - 2 + 12*q - 3. Let m be r(-11). Sort 1, m, 5 in ascending order.
1, m, 5
Let t = -0.3 - -1.8. Let o = 2.5 + -3. Let w = t - o. Put w, 1/6, -4 in increasing order.
-4, 1/6, w
Let f = 6.9 - 7. Let m = f - 0.3. Let n = 0.4 - -0.1. Put n, m, -0.1 in increasing order.
m, -0.1, n
Suppose -3*k = -7*k + 8. Suppose s - 4*s + 19 = k*z, 3*s - 21 = -3*z. Put z, 4, -4 in increasing order.
-4, z, 4
Let u = -15 + 10. Let g = -217/6 + 36. Sort u, g, -2/5 in increasing order.
u, -2/5, g
Let y = -5 - -5.4. Let a = -15 - -17. Let x = 9 + -5. Sort a, y, x in decreasing order.
x, a, y
Let s(l) = -l - 6. Let i be s(-5). Suppose -3*o - 6 = 0, -5*v + 4 = 4*o + 37. Let n(d) = d + 2. Let j be n(-2). Sort v, j, i in descending order.
j, i, v
Let d be (-5)/(6 - 4 - 0). Let h = -60 - -302/5. Put d, h, -3 in decreasing order.
h, d, -3
Suppose 35*h + 6 = 37*h. Put h, -3, -4 in descending order.
h, -3, -4
Suppose 19 = 4*n - n - 5*f, -n = -3*f - 9. Suppose -15*h + n = -16*h. Put -3/7, h, 0.1 in ascending order.
h, -3/7, 0.1
Let c = -57 - -62. Let o(w) = -2*w - 3. Let v be o(-3). Suppose 4*a - 14 = -v*h, 0 = h - 5*a - 14 + 41. Sort h, 2, c in ascending order.
h, 2, c
Let w be 3/(-1 + 5/2). Suppose -w*i + 0 = 2. Sort 4, -5, i in ascending order.
-5, i, 4
Let v = 3.77 + -3.5. Let y = v - -0.03. Let w = 0.79 - -0.21. Put 0.1, y, w in ascending order.
0.1, y, w
Let m = 7 - 3. Let q be 0 + (-3)/(102/m). Let t = 5.4 - 5. Sort q, 2, t.
q, t, 2
Let z(h) = h - 1. Let l be z(-3). Let o = -107 - -110. Sort o, l, 2 in descending order.
o, 2, l
Let q = -3 + -2. Let z = 1.18 - 0.18. Sort q, -1, z in decreasing order.
z, -1, q
Let y = 339/5 - 68. Put 2/9, y, -6 in descending order.
2/9, y, -6
Suppose -5 = -2*g + 3. Let s be g/3 + 24/9. Let h = 5.4 - 5. Put h, s, -2/3 in increasing order.
-2/3, h, s
Let x = 0 + -2. Suppose 0 = 5*g + 2*z, 0*g + 4*z + 18 = -g. Let r = x + g. Sort -2/7, 5, r.
-2/7, r, 5
Let i = 0.41 + -0.01. Sort i, 2, -4/7.
-4/7, i, 2
Let b be (-410)/(-20) + (-2)/4. Let k = 20 - b. Put k, 4, -2 in descending order.
4, k, -2
Let v = -0.5 + 0.8. Let k = -0.2 - -0.4. Put 2/5, v, k in increasing order.
k, v, 2/5
Let z be ((-39)/(-52))/((-9)/(-4)). Sort -3, -1, z in decreasing order.
z, -1, -3
Let g be (0 + 0 + 1)*-3. Let r be (1/1 - 1) + 3. Put r, 0, g in ascending order.
g, 0, r
Let z = 16 - 19. Sort z, 2, -2 in descending order.
2, -2, z
Let a(r) = -r**2 - 9*r - 2. Let b be a(-9). Sort b, 4, 6 in ascending order.
b, 4, 6
Suppose 4 + 7 = -w + 5*l, -4*w - 2*l = 0. Let j(x) = -x - 4. Let r be j(-6). Put 5, w, r in increasing order.
w, r, 5
Let o(q) = -q**2 + 6*q + 10. Let p be (84/(-18))/(2/(-3)). Let t be o(p). Sort -5, t, 5 in ascending order.
-5, t, 5
Let z be -2 - (8/(-12) - 12/9). Sort 1, z, -5, -1 in ascending order.
-5, -1, z, 1
Suppose 0 = t + 2*p - 2, 0 = -t - 5*p + 3 - 1. Let j = -111/2 - -219/4. Let q be 7/2 + -3 + 0. Sort q, t, j.
j, q, t
Suppose 4*t - 2 - 2 = 0. Suppose 5*a - 9 = 2*a. Sort a, t, 5 in descending order.
5, a, t
Suppose -6 = 4*b + 10, 0 = t + b + 4. Suppose -g = -1 - t. Sort 3, 2, g.
g, 2, 3
Suppose -5*g - j = -5, 5*g - 10 = -5*j - 5. Suppose -4*n + 11 = -5*h, -3*h - 5 = -4*n - 0. Put g, -2, n in decreasing order.
g, n, -2
Suppose d + 4 = -6. Let a = d + 5. Let i = 986/13 - 76. Put i, 0.4, a in ascending order.
a, i, 0.4
Let i be -5*6/15*2. Suppose 2*w = 3*l - 4, 0 = 3*w - 3*l - 0*l. Let c = 0 + -1. Put i, c, w in ascending order.
i, c, w
Let t = -194 + 1355/7. Put t, 2, 0.2 in descending order.
2, 0.2, t
Suppose 0 = 2*c - 6*c + v, 4*v = 0. Sort c, -3, 2 in descending order.
2, c, -3
Suppose -3*p + p + k = -8, 0 = -3*p + 5*k + 19. Suppose 13 = -0*n - 2*n + p*v, -5*n - 5*v = -5. Sort -0.05, -2/11, n in increasing order.
n, -2/11, -0.05
Let m = -4.1 + 4. Put 4, m, -0.6 in ascending order.
-0.6, m, 4
Suppose 2*q - 6 = -4*b, q = 11*b - 14*b + 7. Let w(i) = -i - 1. Let g be w(-6). Sort b, -4, g in descending order.
g, b, -4
Suppose -2*j = -6 - 0. Sort 8, j, -2/7 in increasing order.
-2/7, j, 8
Let k = -2.2 - -2.7. Sort -3/5, k, -0.2, 2 in ascending order.
-3/5, -0.2, k, 2
Let j(b) = -b**2 - 6*b + 3. Let z be j(-6). Suppose k - 2*n = 3*k + 6, -2*n = -k - z. Let s = k - -2. Put 4, 0, s in increasing order.
s, 0, 4
Suppose z = 12 - 2. Suppose -z = -k - k. Suppose -8 = -3*i + k*d - 3*d, 2 = -i - 4*d. Put 1, i, 0 in ascending order.
0, 1, i
Let b be 0/((2 - -1) + -5). Sort b, 2, 1, 3 in decreasing order.
3, 2, 1, b
Let y = -50 - -50.4. Sort -3/7, y, -25, 1.
-25, -3/7, y, 1
Let z be 1*(-3)/(0 - 3). Let y be (10/8)/((-2)/(-8)). Let t = -6 - -8. Sort t, y, z.
z, t, y
Let i = -1.8 - -2. Let j = -171 - -176. Sort -5, i, j in decreasing order.
j, i, -5
Suppose 8*l + 2 = 10*l. Sort l, -2/3, 1/5.
-2/3, 1/5, l
Let o be (-5)/(-1) + (-1)/1. Suppose 3*q + o + 5 = 0. Sort q, 2, 5 in ascending order.
q, 2, 5
Let z = 9 + -6. Suppose 3*d = 9 - 51. Let r = -9 - d. Put r, z, -5 in decreasing order.
r, z, -5
Let k(i) = 3*i**2 - 2*i + 4. Suppose 0 = -4*m + 8 + 8. Let l(n) = -4*n**2 + n - 4. Let j(b) = m*l(b) + 5*k(b). Let t be j(-7). Put 0, t, -1 in decreasing order.
0, -1, t
Let u = -4 + 6. Let w = -80.5 + 80. Put 0.4, u, w in descending order.
u, 0.4, w
Let l be (-1 + -3)*(-5)/5. Sort 3, l, 0 in descending order.
l, 3, 0
Suppose -l - 15 = c - 6, -5*c - 2*l = 33. Sort 4, 1, -1/4, c in descending order.
4, 1, -1/4, c
Let n = 2 - -2. Suppose -14 = 4*t - 6*t. Suppose 0 = -3*l + h - t - 8, 0 = h. Put l, 5, n in descending order.
5, n, l
Let q = 7 - 10.6. Let v = -4 - q. Let i = 4 + -8. Put v, 0.2, i in increasing order.
i, v, 0.2
Let l be ((-9)/(-6))/((-3)/(-4)). Let q be (-10)/(-3) - 8/(-12). Suppose l*m - 4*m - q = 0. Sort 5, -4, m in descending order.
5, m, -4
Let a be (-136)/32 + 2/8. Let t(d) = d**2 - 5*d + 2. Let z be t(5). Let r = 15 - 10. Sort a, r, z in decreasing order.
r, z, a
Let h be (0 + 2)*10/4. Let p(j) = -4*j**2 - 10*j + 3. Let b be p(-3). Sort 4, b, h in decreasing order.
h, 4, b
Let c be (-3 - 9/(-5))/(-3). Put -6, -2/17, c, 4 in increasing order.
-6, -2/17, c, 4
Suppose 3*b + 20 = -2*b + 5*u, 3*b + u = 0. Sort -4, 0, b in descending order.
0, b, -4
Suppose 2 = -a - 0. Let l(d) = -d**2 + 5. Let s be l(-3). Put s, a, 3 in descending order.
3, a, s
Let o(m) = m + 3. Let u be o(-7). Let w be (8 - 11)*1/u. Sort w, -2/9, -2 in decreasing order.
w, -2/9, -2
Let z = -10.1 - 5.4. Let k = -15 - z. Let n = -0.7 - -1. Sort n, 5, k in ascending order.
n, k, 5
Let i = -258860319/127486 + -2/63743. Let f = 1957 + i. Let h = f + 72. Sort h, 1/5, -3 in ascending order.
-3, h, 1/5
Let a = -76 - -60.3. Let j = -16 - a. Sort j, -5, 5 in decreasing order.
5, j, -5
Let b = 0.4 + -0.48. Let r = 0.01 + b. Let u = 4.07 + r. Put -4/5, u, 0.1 in decreasing order.
u, 0.1, -4/5
Let p = 0.2 - -5.8. Put p, -4/5, -4 in decreasing order.
p, -4/5, -4
Let u(c) = -c**3 + 11*c**2 + c - 11. Let m be u(11). Sort 1, m, -1 in decreasing order.
1, m, -1
Let l(z) = -z**3 + 2*z**2 - z + 1. Let v be l(1). Suppose -3*b + 2 = -v. Put 2, -5, b in decreasing order.
2, b, -5
Let n = -2 + -1. Sort n, 1, -1 in decreasing order.
1, -1, n
Let x be (0 - -1)/(-1) + 5. Suppose 1 = 2*h - 4*y - 1, 2*y + 16 = 4*h. Suppose -x*d + 15 + h = 0. Sort 0.1, d, -1/2 in increasing order.
-1/2, 0.1, d
Suppose -2*s + 3*u = 7, 4*u = 2*s - 5*s - 19. Put 4, 0.04, s in ascending order.
s, 0.04, 4
Let s = 51 + -51. Sort 5, s, 18.
s, 5, 18
Suppose 3*d + 4 