 2*d + 8 = 6*d. Sort d, w, -4 in decreasing order.
d, w, -4
Let w(c) = -c**3 - 4*c**2 - 5*c - 3. Let s be w(-3). Suppose -5*q - 3*t = 10, 0 = -5*q - t + 3*t + 15. Suppose d = 2*d + 3. Put s, q, d in descending order.
s, q, d
Let i be (-26)/39 + (-8)/6. Let m = 1 - 2. Sort m, 5, i in ascending order.
i, m, 5
Suppose -11*x - 3 = -10*x. Let g = 2 - -2. Sort x, g, -2 in decreasing order.
g, -2, x
Let i(l) = l**3 + 5*l**2 + 5*l - 3. Let m be i(-3). Sort 14, -4, m in increasing order.
-4, m, 14
Let j = -5 - -9. Let s = 34.4 + -34. Let d = -1.4 + s. Put j, d, -0.4 in decreasing order.
j, -0.4, d
Let h = 565/7 - 81. Suppose 14 = 5*x - 1. Put x, 0, h in descending order.
x, 0, h
Let d be -1 + -2 + (6 - -2). Suppose -3*y + 4*s = -10 - 3, 5*s + 8 = y. Suppose 0*b - 2*b = -2. Sort d, b, y in descending order.
d, y, b
Let a = -174 + 341/2. Let l = 186 + -928/5. Sort a, 5, l in ascending order.
a, l, 5
Let k = 155 + -159. Sort -2.3, 5/4, k, -2/5.
k, -2.3, -2/5, 5/4
Let t = -0.34 + -2.66. Let y = 17 - 12. Sort -2/3, t, y in ascending order.
t, -2/3, y
Suppose 4*d + 12 = -4*y, 0 = -4*y + 3*d - 12 + 7. Let x = -1 + -2. Sort x, -0.5, y.
x, y, -0.5
Let w be 1*2/(-2) - -3. Suppose -2*c = w*h - h - 6, -h = 3*c - 9. Suppose 2*b - 4 = -h*b. Put 3, b, 1 in decreasing order.
3, b, 1
Let n(b) = -b**3 + 3*b**2 + 4*b - 4. Let t be n(4). Suppose -3*w + 4*q = 1, -q + 2 = 1. Sort w, 0, t.
t, 0, w
Let o = -1.21 + 0.01. Let y = o - -0.9. Put 10, 5, y in ascending order.
y, 5, 10
Let q be ((-12)/24)/((-7)/8). Sort q, -4/11, -0.3 in decreasing order.
q, -0.3, -4/11
Let w = -0.52 - -0.12. Let c = -2 + 2.5. Put -4, c, w in increasing order.
-4, w, c
Let c be 6*(15/(-6) + 3). Let l = -2 - c. Sort 2/7, l, -0.4 in decreasing order.
2/7, -0.4, l
Let n = -55 - -34. Sort 1/3, n, 5 in increasing order.
n, 1/3, 5
Let h be ((-24)/30)/(4/(-10)). Let g = h + -2. Suppose 3*c + 4*m = 2*c - 18, -5*c + 5 = m. Put g, c, -1 in increasing order.
-1, g, c
Let l be 4/(-22) - (-220)/(-121). Sort -5, 0, l in decreasing order.
0, l, -5
Let v be 92/20 + (-2)/(-5). Suppose -2*b = -b + v, -2*i - b = 7. Sort 5, 0, i in decreasing order.
5, 0, i
Let q = -3 - -5. Suppose 3*b = 4*g - 0*g - 28, -b = q*g - 4. Suppose 0 = 4*s - k + 9, -g*s = k + 15. Sort s, 5, 2 in ascending order.
s, 2, 5
Let i = 292/3 - 97. Sort 2/9, i, 3/4.
2/9, i, 3/4
Let a(k) = -k**2 + 11*k - 29. Let s be a(8). Put 6, 2, s, -2 in decreasing order.
6, 2, -2, s
Let b = 3.2 + -0.2. Let f be 2/(-4) - 3338/36. Let m = f - -93. Sort 1/10, m, b in decreasing order.
b, 1/10, m
Let h be 2/4 + 13/2. Sort h, -1, 0 in decreasing order.
h, 0, -1
Let c be 1/5 + (-152)/(-40). Put -4, 2, c, -3 in descending order.
c, 2, -3, -4
Suppose 242*r = 237*r. Sort -7, -1, 2, r in descending order.
2, r, -1, -7
Let w be (5 - 2 - 4)*-6. Suppose 2*p + w = 4. Put -4, p, -5 in descending order.
p, -4, -5
Let w(s) = -s**3 - 3*s**2 - 4. Let a be w(-3). Let z be (24/(-2))/a*-1. Let x(d) = d**2 + 4*d + 5. Let b be x(-4). Sort b, z, -4 in decreasing order.
b, z, -4
Let g be 1 - 2 - 16/(-2). Put 1, 3, g in descending order.
g, 3, 1
Let k = 1 - 2.1. Let j = 7 + -8. Let g = j - k. Sort 1/3, 5, g in descending order.
5, 1/3, g
Suppose 5*k + d = -1, 0*k - 5*d - 5 = 5*k. Let h(w) = w**2 - 2*w - 3. Let r be h(-2). Let p be 6/10*r/(-8). Put k, p, 2/9 in descending order.
2/9, k, p
Let o = 3.8 + 1.2. Sort -0.1, -3, o, -2/7 in descending order.
o, -0.1, -2/7, -3
Let y = 0.03 + -0.33. Let j = 27 + -26. Sort j, 4, y in descending order.
4, j, y
Let m = -19 - -19.3. Put 5, m, -4 in descending order.
5, m, -4
Suppose -t - 2*l - 6 = 0, -5*t - 4*l + 5*l = -14. Suppose -9*q = 15 - 24. Sort -1, q, t.
-1, q, t
Let l be 4/(-10) + (-28)/(-45). Let r = 2 + 0. Sort l, 0.2, r in descending order.
r, l, 0.2
Let p(h) = h**2 + 6*h - 4. Let i be p(-6). Put i, -3, 2 in descending order.
2, -3, i
Let o be -5*(2 - (2 + -1)). Sort 1, o, -1 in ascending order.
o, -1, 1
Suppose -6*v = -v + 15, -19 = -o + 5*v. Let d be 10/75 - o/30. Sort 4, 2, d in decreasing order.
4, 2, d
Suppose 2*k - 14 = -2. Sort 2, 1, k in decreasing order.
k, 2, 1
Let s = -0.1 + -0.3. Let r(u) = 2*u - 6. Let y be r(4). Let c be (-1 + -2)/(y - 0). Sort 1/3, s, c in increasing order.
c, s, 1/3
Let b = -2 - 3. Let p = 109 - 112. Put p, 5, b in descending order.
5, p, b
Suppose 16 = 2*o - 6*o. Sort o, 0.4, 4.
o, 0.4, 4
Suppose 4*r = 2*r + 4. Suppose -r = -3*m + 7. Let i be 0 + (-2)/10*4. Sort i, 0.3, m in increasing order.
i, 0.3, m
Suppose 0*a + 3*a = -4*d - 11, 0 = 3*a - d + 16. Suppose 0 = b - 2*l + 11, -3*b + 9 = -2*b + 2*l. Sort a, -9, b in descending order.
b, a, -9
Let n(f) = 79*f + 2. Let m be n(2). Let k be m/396 - 4/18. Sort 1, k, 1/3 in increasing order.
k, 1/3, 1
Let h = 0 + -5. Let o = 3 - 1. Put 3, o, h in descending order.
3, o, h
Let u be 1 - 6/(-10)*-2. Let o = 499 + -499. Sort o, 3, u in decreasing order.
3, o, u
Let j = -75 + 73. Let b = -7 - -6. Put b, j, -4 in descending order.
b, j, -4
Let c(p) = p**2 - 9*p + 9. Let g be c(6). Let y be (4/6)/((-3)/g). Sort y, -2, -1 in increasing order.
-2, -1, y
Let t be (3 - 3 - -4) + -4. Let y be (-8)/16*2/7. Sort t, y, -1/11 in ascending order.
y, -1/11, t
Let d = 21 - 16. Sort d, -2/15, -0.04.
-2/15, -0.04, d
Let l = 30 + -146/5. Let d = -4 + 3.6. Put -4, d, l in ascending order.
-4, d, l
Let v = -30 + 29. Put 13, v, 1/2 in decreasing order.
13, 1/2, v
Let u(i) = i**3 - 7*i**2 - 7*i - 11. Let t be u(8). Put t, -1, 4 in decreasing order.
4, -1, t
Suppose -12 = -2*n - 2*n. Let w = 8 + -11. Put n, 0.3, w in ascending order.
w, 0.3, n
Let k = -1 + 1. Sort k, -0.3, 0.3.
-0.3, k, 0.3
Suppose 0 = 4*z + 4. Let j be z/(3/(-9) + 0). Let m = -1 - 0. Sort -5, m, j in descending order.
j, m, -5
Let c = -3 + 3.25. Let h = c + 0.05. Let x = -39.2 - -39. Sort -1, h, x in decreasing order.
h, x, -1
Let a(b) = -3*b + 4. Let h be a(4). Let p = h - -4. Let z be (-68)/16 + (-1)/p. Put z, 5, 4 in ascending order.
z, 4, 5
Let f be (-1)/(3/21) - -2. Let w = 6 + -1. Put 1, f, w in descending order.
w, 1, f
Let d be 6/(-4)*(-104)/(-39). Let q = 2 - -2. Sort 1, d, q in decreasing order.
q, 1, d
Let w = -10 - -17. Let r = 12 - w. Put 1, -1, r in ascending order.
-1, 1, r
Let w = -14/9 + 304/207. Put -4, w, -0.1 in descending order.
w, -0.1, -4
Let z be (-4)/18 - 374/99. Let s = -0.9 - 0.1. Let m(u) = -2*u - 1. Let a be m(2). Sort s, z, a in decreasing order.
s, z, a
Let w be 2/4*4 + -4. Put 3, w, -3 in descending order.
3, w, -3
Let l be 0 + ((-3)/1)/(-3). Let i = l - 0. Suppose 1 = 2*p - i. Sort p, 3, -4 in increasing order.
-4, p, 3
Let q = 0.36 - -0.04. Let h = -35 - -33. Put h, -3/5, q in decreasing order.
q, -3/5, h
Let n = 173 - 152. Put n, 1, -1/2, 5/4 in ascending order.
-1/2, 1, 5/4, n
Let v = -0.58 + 0.6. Let t = 0.02 - v. Sort -2/9, t, 1/2 in descending order.
1/2, t, -2/9
Let p = -2006/63 + 226/7. Put 2/3, -3, p, 2 in descending order.
2, 2/3, p, -3
Let f(j) = -13*j**2 - 1. Let m be f(1). Let i = -29/2 - m. Let g = 150.8 + -151. Put -0.4, i, g in descending order.
g, -0.4, i
Suppose 0 = -d + 2*s, 0 = -d + 5*d - 3*s. Sort 5, -4, 3, d in descending order.
5, 3, d, -4
Let b = 0 - 2. Let o be -1*((-4)/3 - -2). Sort o, 3, b in descending order.
3, o, b
Let n(s) = -s + 8. Let o be n(6). Suppose 2*k - 4*k = o. Suppose -3*c + 6*i + 3 = 2*i, -3*i = -9. Put c, 3, k in decreasing order.
c, 3, k
Let f be (-8614)/12 + 9/27. Let r = -687 - f. Let g = -31 + r. Put g, 1/7, 4 in ascending order.
g, 1/7, 4
Let u = -10 + 28/3. Suppose 0 = -5*z - 51 - 29. Let p be 2 - (-3)/(27/z). Put u, p, -2 in descending order.
p, u, -2
Suppose i - 5*h = -19, -2*h + 4*h = -5*i - 14. Sort 0, i, -1 in decreasing order.
0, -1, i
Let m(a) = a**2 - 2*a + 2. Let s be m(1). Sort 3, s, 4 in increasing order.
s, 3, 4
Let a be ((-2)/4)/((-1)/6). Let z be 3 + -1 - 15/3. Let g = -8 + 12. Put a, g, z in increasing order.
z, a, g
Let t(w) = 2*w**3 - 2*w**2 - 3*w + 3. Let p be t(2). Suppose 4*o + 3*d + 2*d = -31, -2*o = 2*d + 14. Sort 4, p, o.
o, 4, p
Suppose -f - 12 = 2*f. Suppose -2*n + 4 = -2*w, -2*w = -2*n + w + 6. Suppose -3*h + n = -6. Put -3, f, h in descending order.
h, -3, f
Let q be (-6)/(-8) + 0 + -1. Let n = 8 + -7.7. Put q, 0.1, n in ascending order.
q, 0.1, n
Suppose -8*w - x - 7 = -4*w, -4*x = 2*w + 14. Let q be (1 + -2 - -6