 Put y, 0, -4 in increasing order.
y, -4, 0
Let t(w) = w**2 - 5*w - 1. Let b be (-3)/4 - 27/(-4). Let r be t(b). Suppose -5 = r*i, 0 = -2*k + k - 3*i - 6. Put -5, k, 0 in increasing order.
-5, k, 0
Let y = 5 - 2. Let s(d) = -d + 2. Let b be (2 + (-7)/3)*-21. Let m be s(b). Put -4, y, m in descending order.
y, -4, m
Let p(g) = g**3 - 11*g**2 + 8*g + 13. Let t be p(10). Sort -1, t, -4 in increasing order.
t, -4, -1
Let x = -0.8 - -1.6. Let r = x + -0.6. Put -1/2, 2/3, r in decreasing order.
2/3, r, -1/2
Let k be (-1)/(14/12 - 1). Let u be (k/(-4) + -1)/1. Sort -2/9, u, 1/3 in descending order.
u, 1/3, -2/9
Let n be (-178)/(-70) + (-20)/50 - 2. Let a be (-3)/2*(-2)/(-24). Sort n, 0, a in descending order.
n, 0, a
Suppose -x + 3*k = 7, k + 6 = 4*x + 1. Let y = -1 + x. Put 0, y, -4 in decreasing order.
y, 0, -4
Suppose -u + 0 = -1. Sort u, 0, 5 in descending order.
5, u, 0
Let y(t) = t - 8. Let j be y(4). Sort 3, 1, j in decreasing order.
3, 1, j
Let p = -22 + 14. Let m be (4/(-8))/((-1)/p). Sort -2, m, 5 in increasing order.
m, -2, 5
Let x(y) = -y**2 + 8*y + 8. Let h = -1 + 5. Suppose 5*g + 18 = 2*i, i = -2*i + h*g + 27. Let d be x(i). Sort d, 1, -5 in increasing order.
-5, d, 1
Let u = 8 + -5. Suppose 2*r + u = 1. Sort -4, r, 4 in decreasing order.
4, r, -4
Let b = 3 + -3. Let d(x) = -x**2 + x - 5. Let h be d(b). Let p be (h + 2)/(1 - 0). Put -4, p, 1 in descending order.
1, p, -4
Let q(v) = -2*v**3 + 9*v**2 + 5*v - 4. Let o be q(5). Put -2, 4, 5, o in descending order.
5, 4, -2, o
Let h be 2 + 0 + (5 - 195/27). Sort 0.3, 0.1, h, -2/5 in descending order.
0.3, 0.1, h, -2/5
Let s = 0.2 + -0.4. Let q = 2 - 1.92. Let g = -4.08 + q. Sort g, s, -3.
g, -3, s
Let k = -1.5 + 1.5. Sort -2/15, -4, 2, k in descending order.
2, k, -2/15, -4
Let s be (-26)/65 + (-57)/(-210)*2. Let x = 0 - 0.2. Put s, -3/4, x in decreasing order.
s, x, -3/4
Suppose -19 + 6 = -c. Let i = 12 - c. Sort -3, 0, i.
-3, i, 0
Suppose -f = -4*f. Let j(g) = g. Let x be j(-3). Let w = 14 + -19. Put w, x, f in increasing order.
w, x, f
Suppose 0 = -2*z + 2*g - 2, z - 3*g = 3*z - 8. Sort 3, 4, z in decreasing order.
4, 3, z
Let m = 0.11 - 1.21. Let p = -0.1 - m. Sort p, 1/5, -4 in descending order.
p, 1/5, -4
Let i = 5 - 1. Let m be (-8)/(-3)*(-6)/i. Sort 0.5, 2, m in descending order.
2, 0.5, m
Suppose -3*p = -2*x + 10 + 3, -1 = -2*x - p. Let l = -7 + x. Put -1, l, 4 in descending order.
4, -1, l
Let s(o) = -o**3 - 4*o**2 + 4. Let g be s(-3). Let b(z) = 2*z + 5. Let x be b(g). Sort 2, 1, x in increasing order.
x, 1, 2
Let d(k) = -k**2 - 7*k - 9. Let q be d(-6). Let r = q + 1. Let t(l) = -2*l**3 - 3*l**2 - l - 2. Let w be t(r). Put 0, w, -4 in descending order.
w, 0, -4
Let f = 6.7 - 3.7. Sort -2/5, -4, -3, f in increasing order.
-4, -3, -2/5, f
Let a = -132 + 128. Sort 19, a, 2, 0 in ascending order.
a, 0, 2, 19
Let s = 2165/8 + -271. Let u = 4.593 - -0.007. Let c = u - 5. Sort c, -2, s in increasing order.
-2, c, s
Let t = 8 + -8. Put 3, t, 9 in descending order.
9, 3, t
Let k be -16*((-7)/2 + 3). Let t(j) = -j + 8. Let g be t(k). Suppose -2*x + 8 = g, 3*x = -s - 2*x + 23. Put -1, s, -3 in ascending order.
-3, -1, s
Let z = -7 + 7.1. Let c = -0.2 - 0.3. Sort c, -1, z in increasing order.
-1, c, z
Let h = 10 - 9.86. Let v = h + 0.06. Put 0.5, v, 2 in descending order.
2, 0.5, v
Suppose 3*k = -0*k. Sort k, -2, -1/3 in ascending order.
-2, -1/3, k
Let n = -13633/9 - -1515. Let s be (3/(-4))/(2/(-8)). Suppose -3*u - 32 = -4*t, -s*u + t + 13 = 6*t. Put n, u, 3 in descending order.
3, n, u
Let j be ((-4)/(-6))/(5/45). Let t = j + -4. Sort -4, t, -2.
-4, -2, t
Suppose -6*u = -5*u - 1. Let g(j) = -4*j**3 - j**2 + j. Let t be g(u). Sort -1, t, 1 in increasing order.
t, -1, 1
Suppose 3*a = -2*a + 20. Let j(q) = -q + 2. Let c be j(a). Suppose 6 - 18 = 3*d. Put 1, d, c in increasing order.
d, c, 1
Let i = 0.01 - 4.01. Sort i, -2/39, 1.
i, -2/39, 1
Let b = -35 + 36. Put -1/6, -4, b in decreasing order.
b, -1/6, -4
Let a = 2 - 0. Suppose a*h = k - 0*k + 1, -h = 2*k - 3. Let q = -11 + 6. Sort 5, k, q in descending order.
5, k, q
Let d = 201 - 2213/11. Let c = 6.97 + -7. Let s = c + -4.97. Put 0.1, s, d in ascending order.
s, d, 0.1
Let d be 1 - 1 - (-2)/(-3). Let x = -30470 + 212069/7. Let k = 175 + x. Sort k, d, 0 in decreasing order.
k, 0, d
Let w = -0.04 + -0.01. Let t = w + 5.05. Let m = 5 + -5.4. Put t, 4, m in decreasing order.
t, 4, m
Let f(d) = 18*d**3 - d**2 - 5*d**2 - 3*d - 17*d**3. Let g be f(-6). Let w = g - -7040/17. Sort w, 5, 2 in decreasing order.
5, 2, w
Let k = -0.08 - -3.08. Let b = k + -2.9. Put 4, 0, b in decreasing order.
4, b, 0
Let u = -12 + 11.9. Let l = 12 - 14. Put 1, u, l in ascending order.
l, u, 1
Let l = 6.5 - -1.5. Let m = l + -4. Let p = 4 - m. Put -4, p, 2 in ascending order.
-4, p, 2
Suppose -g - 2*v - 27 = 4*g, 2*v + 7 = -g. Suppose 0 = -2*l + 10, -k + l = -3*l + 29. Let b = k + 7. Put g, b, 2 in decreasing order.
2, b, g
Let t = -42 + 42.3. Sort t, -4, 0.5 in increasing order.
-4, t, 0.5
Let i = -31.4 + 31. Sort i, -5, 1/5 in decreasing order.
1/5, i, -5
Suppose -2*w = 4*o + 10, w + 4 = 5*o - 1. Let l be (-4)/6*(-15)/2. Suppose l*u - 5 = -g, u + 4*g + 2 = 3. Sort -4, u, o in decreasing order.
u, o, -4
Let b be 0/((-2)/(-3)*3). Suppose 2*z = 5*t - 18 + 2, b = 5*z - 5*t + 10. Let j be -1*(-2)/(-1) + 6. Sort j, 5, z.
z, j, 5
Suppose 5*j + 3 = 4*j. Suppose -4*b + 3*b + 2 = 0. Sort j, b, 1.
j, 1, b
Let f be 30/7 - (-4)/(-14). Let n = 3 - -10. Let y = n - 8. Sort -5, y, f in ascending order.
-5, f, y
Let y = 0.04 - 2.04. Let o = y + 2.2. Sort -3, -0.4, o in ascending order.
-3, -0.4, o
Let i = 71 + -72. Let w be 1 - 3 - (2 - -5). Sort i, w, -2.
w, -2, i
Let w = 3.8 + 1.2. Let z be 1/(45/170) - 4. Sort 2, w, z.
z, 2, w
Let c be (4/10)/((-4)/40). Let h = -11 + 6. Put 0, h, c in decreasing order.
0, c, h
Let n = 166 + -1165/7. Let p = -7/25 - -139/50. Put p, -5, n in increasing order.
-5, n, p
Let r(b) = 2*b**2 + 8*b + 4. Let m be r(-4). Sort 31, m, -4, 5 in increasing order.
-4, m, 5, 31
Let b(g) = g**2 - 1. Let w be b(-1). Suppose w = -3*j - 5*p - 6 - 10, j - p = 8. Put 1, j, 2 in increasing order.
1, 2, j
Let a be (-12687)/(-7410) + (-3)/6. Let h = a + -3/247. Let n = h + -4/5. Sort 2/9, -4, n.
-4, 2/9, n
Let c be 3 - (-13)/5 - 6. Sort -1/17, -2, c.
-2, c, -1/17
Suppose 0 = 2*z - 5*w + 19, z + 2*w - 1 = 3. Put -1, z, 5, 0 in ascending order.
z, -1, 0, 5
Let l = -5 + 0. Put 0, -2, l, -4 in descending order.
0, -2, -4, l
Let w(t) = -t**3 + 4*t**2 + 5*t + 2. Let m be (-1 + -1)/((-6)/15). Let k be w(m). Suppose -k*q - 3 = q. Sort q, 3, 4 in descending order.
4, 3, q
Let n = 9.5 + -7. Let c = n - 0.5. Put c, -1/7, 3 in increasing order.
-1/7, c, 3
Let b = -28.1 - -27. Let n = -0.1 - b. Let l = -1.5 + n. Put l, -2, 0.3 in increasing order.
-2, l, 0.3
Let y = -1 - -1. Suppose y = -3*i + 4*i - 4. Sort i, 2, 0 in decreasing order.
i, 2, 0
Suppose 3*d = -13 - 17. Let u be (12/(-15))/((-278)/d). Let p = u + 370/3197. Sort p, -1, 5/2 in increasing order.
-1, p, 5/2
Let x = -20 - -21. Let n be ((-3)/(-4))/(7/(-28)). Sort n, x, 0 in decreasing order.
x, 0, n
Let u = -1 - -1. Let j = 21 - 23. Sort 2, j, u in increasing order.
j, u, 2
Suppose -4*p = 14 + 2. Let a = 15.7 + -16. Put a, p, -2/7 in increasing order.
p, a, -2/7
Let g = 0.2 + 5.8. Let m = g - 11. Let c = -12 + 15. Put 0.3, m, c in descending order.
c, 0.3, m
Let p(i) = i**3 - 4*i**2 + 3*i - 9. Let s be p(4). Sort 4, s, -3 in decreasing order.
4, s, -3
Let r = 2 + -2. Let z(d) = d**2 + 10*d + 12. Let t be z(-2). Put r, t, -0.5 in descending order.
r, -0.5, t
Let l = 7 + -5. Suppose 3*h = 2*d, -d - d = l*h. Put d, -4, -3 in descending order.
d, -3, -4
Let r = 73 + -78. Sort 1, -2/29, r in descending order.
1, -2/29, r
Let w = -11 + 342/31. Sort 0.2, -1, 3, w in ascending order.
-1, w, 0.2, 3
Let x = 31.7 + -32. Let a = -2.5 - -0.5. Put a, 5, x in decreasing order.
5, x, a
Suppose 2*l = 3*l. Suppose l = -3*i + 6*i - 6. Let r be 1 - -4*4/8. Sort r, -4, i in decreasing order.
r, i, -4
Let p be 4/(-10) - 1498/(-2470). Let b = p + -1/19. Put 0.2, 0, b in decreasing order.
0.2, b, 0
Let x = -1 - 1. Let b = 0 - -3. Put b, x, 0 in increasing order.
x, 0, b
Let i = -0.1 + -1.9. Let x = -2.3 - i. Let h = 19/14 + -6/7. Sort x, -2/3, h