. Let o be (9 - 8)*(-2 + -3). Sort d, 4, o.
o, d, 4
Let p = -0.8 + 0.88. Let c = p - 3.08. Sort 5, 1, c.
c, 1, 5
Let j = -15 - -29/2. Let w = 1 + 1.4. Let l = 0.4 - w. Put j, 4, l in increasing order.
l, j, 4
Let o = -0.11 - -2.01. Let d = o + -2. Sort d, 0.6, 2 in increasing order.
d, 0.6, 2
Let j = 0.01 + -0.41. Suppose s + 2 = 3*s - 5*t, s = t + 4. Let d = s + -6. Sort 0.5, d, j in decreasing order.
0.5, d, j
Let x = 0.36 - -0.14. Put 0, -0.2, x in decreasing order.
x, 0, -0.2
Let z = -57/2 + 29. Let r = 29.6 - 29.8. Sort r, z, 12 in decreasing order.
12, z, r
Suppose 3*t = -0*t. Suppose 5*q - 1 = -4*v - 6, -v + q + 1 = 0. Suppose 0 = -v*w + 4*w + 8. Sort 3, w, t in increasing order.
w, t, 3
Let z be -2 - ((-6 - -7) + 14/(-6)). Put 3/5, 1, 4, z in increasing order.
z, 3/5, 1, 4
Let o be (-70)/(-8) + 42/(-56) - 3. Sort 3, o, 1, 39.
1, 3, o, 39
Let s = 3 + -1. Let l = 5 - s. Sort l, 1/2, -0.5.
-0.5, 1/2, l
Let u(v) be the third derivative of -v**6/120 - v**5/10 - v**4/24 - v**3 - 7*v**2. Let c be u(-6). Put -3, 5, c in decreasing order.
5, c, -3
Suppose 5*h - 20 = -2*x - 2*x, 8 = 2*h - 5*x. Suppose -160 + 116 = -4*t. Sort t, -2, h.
-2, h, t
Let m(n) = 2*n**2 - 53*n - 27. Let d be m(27). Put d, -5, 3, 1 in descending order.
3, 1, d, -5
Suppose -k = 3*k + 16. Let i = 39 + -36. Sort k, -6, i in increasing order.
-6, k, i
Let v(m) = -m**2 - 6*m + 6. Let h = 4 + -19. Let i be 115/h - (-4)/6. Let y be v(i). Put 4, y, 2 in ascending order.
y, 2, 4
Let d = -152 + 147. Put 3, -1, d, -4 in ascending order.
d, -4, -1, 3
Let v(j) = -j + 12. Let b be v(8). Sort 2, -2, b.
-2, 2, b
Let u = 1 - 1.1. Let x = 1.6 + -0.6. Let b = -4 - x. Put u, b, 3 in descending order.
3, u, b
Let v = 56 - 52. Suppose -5*b + 8*b = 15. Sort b, 2, v in descending order.
b, v, 2
Suppose 4*y + 10 = k, 4*y - 5*k + 2 = -0*k. Let c = -5 - -10. Suppose 3*v = -4*q - v + 20, -4*q + c*v - 25 = 0. Sort 5, q, y in increasing order.
y, q, 5
Suppose -4*h - 5*b + 9 = -11, -5*b - 15 = -3*h. Suppose 31 = -h*y + 6. Let t be (-1)/(-7*(-3)/63). Put t, -2, y in increasing order.
y, t, -2
Let n be 15/2*3/30. Let b = 5.3 + -4. Let k = b - 0.3. Put n, 0, k in increasing order.
0, n, k
Let s = 0.32 + -4.32. Put -0.04, -0.4, s in descending order.
-0.04, -0.4, s
Let w(x) = 7*x - 4. Let t be w(-3). Let l be (3/(-5))/(5/t). Suppose -1 - l = -2*v. Sort 0.2, -2, v in decreasing order.
v, 0.2, -2
Let k(z) = -z**3 - 5*z**2 + 3*z + 11. Let i be k(-5). Put 0, 1, i in increasing order.
i, 0, 1
Let z = 195 - 195.6. Suppose 2*s = t + 5, -4*s + 6 = s + 4*t. Put 1, z, s in ascending order.
z, 1, s
Let r(p) = p**2 + 3*p - 16. Let c be r(3). Sort 0, c, 28 in increasing order.
0, c, 28
Let h = 1.9 - 1.9. Put h, -3, 1 in ascending order.
-3, h, 1
Let l be (-2 - -3)*1*1. Suppose g - 2*g + l = 0. Sort g, 3, 4 in descending order.
4, 3, g
Let p = 35 - 33. Put 0, -4/43, p in ascending order.
-4/43, 0, p
Let n(h) = h**2 + 18*h + 25. Let z be n(-17). Let d be (-171)/95 - z/(-10). Sort d, -2, 4.
-2, d, 4
Let p = -0.44 - -4.24. Let k = p - -0.2. Sort k, -1/7, 4/3 in decreasing order.
k, 4/3, -1/7
Let t be 26/(-12) + 26/156. Put t, -4, 5 in descending order.
5, t, -4
Let x = -37 + 35. Sort 1, -3, x, 4 in decreasing order.
4, 1, x, -3
Let d be (-54)/12*8/3. Let r be 8/((d/2)/(-3)). Suppose 2 = q + 4, 0 = -5*t - q + 13. Put r, t, -6 in increasing order.
-6, t, r
Suppose 2*b = 5*b - 6. Sort b, 8, 5 in increasing order.
b, 5, 8
Let j = -42 - -40. Sort j, 5, -8 in descending order.
5, j, -8
Let l = -128/4641 + 2/357. Let x = 164/819 - l. Sort 1/9, 1, x in decreasing order.
1, x, 1/9
Suppose 0*a - 4 = -a. Sort 2, a, -1, 0.4 in descending order.
a, 2, 0.4, -1
Let k = 0.1 + 2.9. Sort 2, 5, -3, k in descending order.
5, k, 2, -3
Let v = -2 + 8. Suppose -2*c + v = -0*c. Suppose d - 3*a = -5, d + 1 = -c*a - 4. Sort d, 5, -2.
d, -2, 5
Let b(p) = -p**3 - 7*p**2 + 8*p. Let k be b(-8). Suppose 4*i + 20 = k, 2*m + 2*i + i + 7 = 0. Suppose m - 1 = -3*f. Sort f, -0.1, -2/19 in descending order.
-0.1, -2/19, f
Suppose -4*v = v + 5*b + 10, 5*v = -3*b. Suppose h + v*h = -16. Sort -3, h, 1.
h, -3, 1
Let r = 0 - 0.5. Let l(w) be the first derivative of -w**2/2 - 2. Let i be l(-5). Sort i, r, 0 in decreasing order.
i, 0, r
Let n = -4 + 3. Let z = 179/4 - 45. Sort -4, z, n.
-4, n, z
Let q be 222/(-5) - 9*(-6)/(-90). Sort -2, -1, q in descending order.
-1, -2, q
Suppose 0 = -2*q - 2 - 6. Suppose 0 = -2*w - 2*n, w + 8 = -2*w - n. Let i be (-6)/w*(-4)/2. Sort i, q, -5 in decreasing order.
i, q, -5
Let y = 2 - 7. Let u = 1 - 4. Let b = u - y. Sort 2/9, b, -0.2 in descending order.
b, 2/9, -0.2
Suppose -5*t + 2*k - 5 = -3*k, -k = t + 5. Let f be (-6)/t*(-5)/2. Sort f, 3, 4.
f, 3, 4
Let h = 4.11 + -0.11. Put -2/7, h, -6 in ascending order.
-6, -2/7, h
Let q = -9 + 4. Let d = q + 4.6. Let s = 15 + -133/9. Put d, -0.5, s in increasing order.
-0.5, d, s
Let f = 1 + -4. Let n = 2 - 2.2. Let o = n - 0.1. Put f, 4, o in descending order.
4, o, f
Suppose 2*n - 10 = 0, -5*z - 2*n = 3*n - 50. Suppose -k = 2*j - z*j - 7, 5*k - j + 21 = 0. Let h be ((-4)/6)/((-3)/9). Put -3, h, k in decreasing order.
h, -3, k
Let p = 0 - 0.4. Let j be (0/(-1))/(-7 + 6). Put j, 4, p in ascending order.
p, j, 4
Let l = 13.1 - -0.9. Let h = l + -13. Let k = -5 + 10. Put h, 1/9, k in decreasing order.
k, h, 1/9
Let b be (-9)/27*(-11 - 1). Let n = -12 + 7. Let r = n - 0. Sort r, b, -0.7 in descending order.
b, -0.7, r
Let z = 9.1 - 8. Let y = z - 1.6. Sort 0.4, y, -2/11 in ascending order.
y, -2/11, 0.4
Let m(k) = -k - 4. Suppose t + 11 = -2*q - 6, -4*q = t + 31. Let n be m(q). Sort n, -1/2, -3.
-3, -1/2, n
Let y = 0.95 + 0.05. Put -3, 6, y in decreasing order.
6, y, -3
Suppose -14 = -4*n + 2. Let z = 13 - 13. Let u be (z + -5)*2/(-2). Put u, n, 1 in decreasing order.
u, n, 1
Let u = 4.3 - -0.7. Let q = 123 - 125. Put u, q, -5 in decreasing order.
u, q, -5
Suppose 0 = 5*n, -3*b = b - n + 8. Sort b, 2, -4 in increasing order.
-4, b, 2
Suppose 3*g = -5*x - 1, 4*x = x + 3. Suppose 0 = 3*a + a + 16. Put g, 3, a in ascending order.
a, g, 3
Let h = -11 + 12. Let g be (7 - -2)/3*h. Put g, 1, -1 in descending order.
g, 1, -1
Let i = 2.99 - -0.01. Let v = i - 3. Let c = 4 - v. Put c, 5, 5/4 in descending order.
5, c, 5/4
Let u = -0.35 - -0.05. Sort 0, -1, u.
-1, u, 0
Let r(h) = 12*h + 1. Let i be r(1). Let z = 8 - i. Let v = 5 + -3. Put -0.1, v, z in descending order.
v, -0.1, z
Let j = -0.06 + 6.06. Let h = 5.6 - j. Let i = 0.9 - 0.5. Sort 0.5, h, i.
h, i, 0.5
Let f = -5.11 + 0.11. Let z(m) = -m + 12. Let w be z(9). Let g be w + 0 - (-18)/(-5). Put f, g, 1/7 in increasing order.
f, g, 1/7
Suppose 2*y - 2*b + 10 = 0, 4*b + 5 = 3*y + 23. Sort 0, 1, 0.04, y in descending order.
1, 0.04, 0, y
Suppose -b + 3*d - 5 - 2 = 0, 4*b = 5*d - 21. Sort -1, -0.4, b.
b, -1, -0.4
Let j be (-7 - -3)/(-8)*(-3)/(-4). Sort -0.5, 4, j in increasing order.
-0.5, j, 4
Suppose -b = -0 - 4. Put -3, 3, b in descending order.
b, 3, -3
Let m be (2 + -3)*(-6 - -2). Let o = -3 + -3. Let c = o + m. Put c, -5, 2 in increasing order.
-5, c, 2
Let m = 4 - 1. Suppose 5*w - 21 = -4*h, -h = -2*w + 7 + 4. Suppose a + 4*g - w = m*g, -5*a - 11 = -4*g. Sort a, -5, -3/7.
-5, -3/7, a
Let q = -583/7 - -83. Let h be (4/30)/((-6)/(-27)). Put q, h, -0.4 in ascending order.
-0.4, q, h
Suppose 2*y - 3*y = 0. Let r be -1*2 + -3 - -2. Suppose -d - 14 = -4*z, 5*d + 18 = 4*z + 6*d. Sort z, y, r in ascending order.
r, y, z
Let b = -2 + 6. Suppose -2*j = g + 2*g - 1, -g - b*j = -7. Put g, -3, 4 in ascending order.
-3, g, 4
Let p = -36 + 31. Suppose -4*i + 14 = h - 0*i, -28 = 4*h - 5*i. Let l = 3 - 7. Sort l, h, p in descending order.
h, l, p
Let b = 5.106 - 0.106. Let c = -0.5 - -0.8. Put b, 1/3, c in decreasing order.
b, 1/3, c
Suppose -7*d + 45 - 10 = 0. Sort d, 1, 4.
1, 4, d
Suppose 3*l = -9, -2*k + 2*l = 3*k - 41. Sort -2, 5, k in descending order.
k, 5, -2
Let n = -1 - -12. Let r = n - 9. Let s be (-2)/3 - 17/(-3). Put s, 4, r in decreasing order.
s, 4, r
Let d = -1117/7 - -159. Sort 3, d, -2/5 in descending order.
3, -2/5, d
Let s be (-6)/(-8) - (-495)/(-420). Sort -5, s, -2/19.
-5, s, -2/19
Let p = -0.18 + -0.92. Let a = -4.1 - p. Put a, -1, -2 in descending order.
-1, -2, a
Let d = 5 - 5. Let m be -2 + 3 + d/2. Sort -4, 0, m.
-4, 0, m
Let h 