1)/(8/(-8)). Put x, 7, 3 in decreasing order.
7, 3, x
Let t be (-2)/18*(-4 + 1). Let b = -0.13 + 0.13. Let p = 0.4 - b. Sort t, p, -2.
-2, t, p
Let x be (-19)/(-4) + (15/5)/12. Let p be (-4)/12 - 11/3. Put x, p, -3 in increasing order.
p, -3, x
Suppose 0*b = -2*b - 5*k - 13, 0 = 2*b - 3*k - 11. Let z = 3.8 + -0.8. Put z, -2, b in increasing order.
-2, b, z
Let y = 23 + -18. Let u be ((-69)/24 - -2) + 1. Sort 0.5, y, u in decreasing order.
y, 0.5, u
Let u = -8 + 7. Put 5, u, 11 in ascending order.
u, 5, 11
Suppose -6*l + 19 = -l - o, 0 = -2*l + 5*o + 3. Put -2, -16, l in descending order.
l, -2, -16
Let j = 63 + -66. Sort -1, 0, j in ascending order.
j, -1, 0
Let i = -15 + 15.1. Sort 3, 0, -4, i in increasing order.
-4, 0, i, 3
Suppose 4*m + 8 = 2*q, 4*q - 2*m = -5*m - 17. Let d = q + 5/2. Sort -5, -2, d in increasing order.
-5, -2, d
Let y(f) = f**2 - 12*f + 1. Let g be y(12). Put -5, 0, g in increasing order.
-5, 0, g
Let c(p) = -p**3 + 6*p**2 - 5*p - 3. Let r be c(4). Suppose -11 - r = -5*q. Let k = -5.11 - -0.11. Put 1/5, k, q in ascending order.
k, 1/5, q
Let r = 0.09 - 0.59. Put r, 2/13, 2/11 in increasing order.
r, 2/13, 2/11
Let y = 0.01 - -1.99. Sort 0.5, y, -2 in ascending order.
-2, 0.5, y
Let i(a) = 2*a**2 - a - 15. Let l be i(3). Put 5, -2, 2, l in descending order.
5, 2, l, -2
Let y(x) = x - 3. Let a be y(5). Let t = -0.02 - -0.52. Let w = -3 + 3. Put t, w, a in descending order.
a, t, w
Let k(d) = -d**3 - 10*d**2 - 8*d + 4. Let t be k(-9). Sort t, -2, -3.
t, -3, -2
Let f = -0.15 - -0.13. Let g = -115 - -116.02. Let j = g + f. Sort -3/5, -0.3, j in increasing order.
-3/5, -0.3, j
Let r(m) = m**3 - 2*m**2 - 4*m + 1. Let z be r(3). Put -3, 4, z in ascending order.
-3, z, 4
Let j(q) = -2*q. Let g be j(-2). Suppose -g*n - 13 - 3 = 0. Let u be n/4*(1 - 1). Put -1, u, 1 in ascending order.
-1, u, 1
Let w(d) = -d - 2. Let r be w(-5). Let a = 2 + 0. Suppose -2*y = 4*m + 8, 3*m + 4*y = 8*y - 28. Sort r, a, m in ascending order.
m, a, r
Let a = -6 + 8. Let z = 4 - a. Suppose -2*r - 3*r - 5 = 0. Sort r, -1/5, z.
r, -1/5, z
Suppose 6 = -k + 2*g, 4*k - 4*g + 5 = 1. Let t be (-2 + (-18)/(-8))*k. Sort t, -5, -7 in descending order.
t, -5, -7
Let a = 1 + 0. Let w be (-4 - -5)/(2/38). Let l = 21 - w. Put l, 4, a in ascending order.
a, l, 4
Suppose 4*i + o = -13, -2*i + o - 11 = 2*i. Let s be (2 - 2)/(-3)*1. Suppose s*d - 5*d = 0. Sort i, d, 5 in descending order.
5, d, i
Let m = -3.02 + -0.38. Let k = m + 3.57. Let r = -0.07 + k. Sort -2, 2/7, r in descending order.
2/7, r, -2
Let k(f) = f**2 - 2*f - 4. Let o be k(4). Suppose 2*n + 10 = -d - 4*d, 4*d = 2*n + 10. Let u = -3 + -1. Sort o, u, n in descending order.
o, u, n
Let n = -60/7 + 57/7. Put 2/5, n, 5 in descending order.
5, 2/5, n
Let r = -3 + -2. Let b = 379/5 - 77. Sort 2, b, r in decreasing order.
2, b, r
Let r be ((-2)/3)/((-4)/(-6)). Suppose n + 12 = -2*w - n, -3*w - 14 = -n. Put w, r, 1 in decreasing order.
1, r, w
Let w(d) = -d**2 + 7*d - 6. Let i be w(4). Suppose 4*b = 2*b - i. Sort 0, -0.4, b.
b, -0.4, 0
Let u be 361/165 + (-3)/9. Let r = -16/11 + u. Sort 5, r, -3 in ascending order.
-3, r, 5
Let f = -19 - -16. Sort -5, -2/7, f.
-5, f, -2/7
Let j be -4*-2*2/8. Put 5, 0, j in ascending order.
0, j, 5
Let k = -2 + 2.08. Let l = -3.92 - k. Put l, -2/13, 0 in decreasing order.
0, -2/13, l
Let a = -3.3 - -3. Let z be (-5)/(140/(-16)) + 0. Put 1, a, z in ascending order.
a, z, 1
Let s be 1/((9/15)/(-3)). Put s, -1, -4 in increasing order.
s, -4, -1
Let i(w) = w**2 - 5*w - 6. Let l be i(6). Sort l, 5, -1 in decreasing order.
5, l, -1
Let z = 45 + -42. Put 4, z, -4 in increasing order.
-4, z, 4
Let h = -1.3 + 1.21. Let y = h - 2.11. Let x = y - -0.2. Sort x, -1, 1/5 in ascending order.
x, -1, 1/5
Suppose 2*g + 2*n = -2*g + 14, -6 = -3*g + 3*n. Suppose -17 = -2*v - 5*i, -1 - 6 = 2*v - 3*i. Sort g, v, -4 in increasing order.
-4, v, g
Let k = 6 + -2. Suppose 2*q - 13 = -s, -k*s - 2*q + 4 = -24. Put s, -6, -5 in increasing order.
-6, -5, s
Suppose 0*g - 5*g = 5. Let r be -3*(3*g)/3. Let a(z) = -z**3 + 7*z**2 - 4*z - 10. Let d be a(6). Sort -5, r, d in decreasing order.
r, d, -5
Let k = -144/5 + 29. Let d = 4 - 6. Let t be 11/20 + d/(-8). Sort 5, t, k in ascending order.
k, t, 5
Suppose -5*p - 49 = 6. Put 4, p, -4 in descending order.
4, -4, p
Let m = 6 + -3. Let n = 3 - 2.9. Sort m, -3, n.
-3, n, m
Let y = 11 - 5. Sort 2, y, 5 in descending order.
y, 5, 2
Suppose 4*p = -3 - 17. Suppose -b = -4*b. Let o be b/(-3*(-3)/9). Put o, p, -2 in descending order.
o, -2, p
Let u = 18 - 23. Put 2, u, -4, -3 in increasing order.
u, -4, -3, 2
Let v(z) = z**2 - 3*z - 2. Let u be v(4). Suppose 3*n + 3*w = -u*n - 32, 4 = -4*n + 3*w. Sort -3, n, 1 in ascending order.
n, -3, 1
Let z be 55/(-35) - 6/14. Let p = -0.2 + 0.3. Put z, -0.4, p in decreasing order.
p, -0.4, z
Let t be -1 + 3/(6/4). Sort -5, -1/2, t in increasing order.
-5, -1/2, t
Let x = -80 - -37. Let n = 130/3 + x. Sort 1/2, n, 0.2 in ascending order.
0.2, n, 1/2
Let w(m) = 2*m**2 - 7*m - 1. Let z be w(5). Let y(g) = g - 18. Let u be y(z). Put 0, u, -1 in descending order.
0, -1, u
Let j be 165/(-5) - (-5 + 1). Let l = j - -26. Sort -2, -7, l in increasing order.
-7, l, -2
Suppose z = -2*z + 9. Suppose -2*m - 3*w + 4 = -0*m, -2*m + 3*w = -16. Sort 1, z, m in descending order.
m, z, 1
Let c = 0.03 + -0.13. Let g = 4 + -5. Sort c, g, -1/7 in ascending order.
g, -1/7, c
Let v = 6 - 8. Let q(o) = o**3 + 7*o**2 + 5*o - 1. Let y be q(-6). Suppose 0 = i + 3*i + 12. Sort v, i, y.
i, v, y
Let v = 0.02 + -5.02. Let b = -8 - v. Let r = 0.3 + -0.1. Sort b, 4, r.
b, r, 4
Let n = 3 + -8/3. Sort n, 4, -3/2 in ascending order.
-3/2, n, 4
Let r = -0.6 + -0.4. Sort 0.02, 0.4, r in decreasing order.
0.4, 0.02, r
Let f = -11 + 12. Let a = 0 - f. Put -1/6, a, -4 in ascending order.
-4, a, -1/6
Let q = 49 - 53. Sort -2, 0, q.
q, -2, 0
Suppose 4*t = -4*n + 20, 4*t - 2 - 12 = -n. Sort -4, 4, 0, n in descending order.
4, n, 0, -4
Suppose -2*q - 9 = q. Sort -1, 5, 0, q in decreasing order.
5, 0, -1, q
Let j(q) = q**3 + q**2 - q. Let g be j(-1). Sort -4, 5, g.
-4, g, 5
Let f = 5 - 8. Put -0.5, f, 0.2 in decreasing order.
0.2, -0.5, f
Let u be 4*-5 + 2/(-2). Let x be u/20*-2 - 2. Sort x, -5, 2/3 in increasing order.
-5, x, 2/3
Let n = 5 + -2. Suppose -2*f = n*f. Suppose 5*g = -f*g. Sort 3, -4, g in decreasing order.
3, g, -4
Let v be ((-87)/330)/((-4)/(-10)). Let x = v + 10/11. Let w = -0.3 + 2.3. Put w, -3, x in descending order.
w, x, -3
Let i = -2 - -7. Sort i, -2, -5 in decreasing order.
i, -2, -5
Let q = 9.8 + -9. Let x = q + -0.4. Suppose 3*m + 5 = -4. Put m, x, 5 in decreasing order.
5, x, m
Let m(j) be the third derivative of j**6/120 - j**5/10 + j**4/24 - 2*j**3/3 + j**2. Let v be m(6). Let o be -1 - 0 - (-6 + 0). Sort o, v, -1 in ascending order.
-1, v, o
Let y = -12/35 - -1/7. Put -1, y, 3/4, -0.1 in ascending order.
-1, y, -0.1, 3/4
Let u be 1*-4 + 3 + -4. Suppose 4 = q + 5*d - 3*d, -4*q = 5*d - 1. Let n be 10/q*(-4)/(-30). Put 1/5, n, u in descending order.
1/5, n, u
Suppose 0 = 3*u + 8 + 1. Sort 3, u, -5 in decreasing order.
3, u, -5
Let n be (-8)/(-14) + 8/(-14). Suppose -4*z + 3*a - 6 = 0, -3*a - 18 = -n*z + 4*z. Put -2, 5, z in increasing order.
z, -2, 5
Let d(y) = y**2 + 4*y - 5. Let g be d(-5). Suppose 0 = 3*s - g*s. Let c(l) = -l**2 + 6*l - 5. Let q be c(6). Sort 4, s, q in decreasing order.
4, s, q
Let x = -0.01 - 9.99. Let j = -5 - x. Let y be (0*(-3)/(-6))/2. Sort j, 2, y.
y, 2, j
Let q = 1 - 1. Suppose -5*b + 11 = -4. Suppose 5*a = -2*p - 33, -9 = -4*p + 3*a + 2*a. Put q, p, b in descending order.
b, q, p
Let b = -0.04 + 5.04. Sort 0.02, b, -4, -1/5.
-4, -1/5, 0.02, b
Let o be 2/28*1234/3. Let p = o + -89/3. Put -0.4, p, -4 in descending order.
p, -0.4, -4
Let f = -15 + 19. Sort 0, -4, f.
-4, 0, f
Let g be (-20)/175*(-7)/2. Put -3/2, g, 5 in descending order.
5, g, -3/2
Let f(w) = -w**2 + 5*w + 3. Let h be f(4). Let k = 3 - h. Let x be (1 - (0 - -2))*-1. Sort k, x, 3.
k, x, 3
Suppose 2*f = 4*w + 26, w + 4*w = -4*f - 13. Suppose b + 0 = -3, -4*b = 5*z + 2. Suppose -z*g - 4 = -0*t + 3*t, 5*t = -2*g. Sort t, w, -3.
w, -3, t
Let t(b) = -b + 3. Let w be t(2). Put -4, -2, w in descending order.
w, -2, -4
Suppose 4*j - 23 = 1. Let p be (j/5)/((-1)/5). Let q 