. Let h be -1 - -1 - (-4)/a. Sort 5, -5, h in ascending order.
-5, h, 5
Let t be 6/(-4)*4/6. Put 3, -4, t, -2 in ascending order.
-4, -2, t, 3
Suppose -b + 3*b = 0. Suppose b + 1 = 5*p - q, 5*q = 2*p + 18. Let l = 1 + -2. Put p, l, 5 in increasing order.
l, p, 5
Suppose 4*o = 3*h - 7, 0 = -2*h - 5*o - 1 - 2. Put -4, 2/7, h, 7 in descending order.
7, h, 2/7, -4
Let d = -15 - -7. Let x be 1/(-2)*d/(-2). Let u be (-2 + 1)*(15 - 5)/(-2). Sort x, u, -4 in decreasing order.
u, x, -4
Let d = -46/3 + 16. Sort -5, d, -0.4 in increasing order.
-5, -0.4, d
Let v = 702/5 - 141. Sort 0, -3/7, v in ascending order.
v, -3/7, 0
Let m(q) = 1 - 2 + q**2 - q - 2*q**2 + 3*q + 8*q**3. Let p be m(1). Sort p, -4, -1 in ascending order.
-4, -1, p
Suppose 6 = 2*n + 20. Let x(l) = 2*l + 14. Let o be x(n). Sort o, -2, 3 in ascending order.
-2, o, 3
Let x(t) = -2*t**2 - 9*t - 24. Let y(s) = -5*s**2 - 27*s - 72. Let k(a) = 8*x(a) - 3*y(a). Let o be k(11). Sort 3, o, -2.
-2, o, 3
Let z = 14.6 - 15. Let c = 6 - 6.2. Put c, 1/5, z in descending order.
1/5, c, z
Let r = 0 + 2. Let q = 6 - r. Sort -5, 2, q in decreasing order.
q, 2, -5
Let j = -5.7 + 6. Let b be (-66)/(-18) - (-1)/3. Put b, -0.4, j in increasing order.
-0.4, j, b
Suppose -2*o + 16 = -5*i, -2*o - i = -0*o - 4. Suppose 2*p = 3*f + 19, -p = 4*f + 3 + 4. Sort -2, f, o in increasing order.
f, -2, o
Let w = -2.6 + 2.2. Sort -2, w, 1/10 in increasing order.
-2, w, 1/10
Suppose -4*u + 2*b - 5 = -1, -2*b = 0. Sort -3, 3, u in descending order.
3, u, -3
Let r = 24 + -12. Let j(m) = m - 15. Let g be j(r). Sort g, -5, -2 in increasing order.
-5, g, -2
Suppose 0 = 2*t + 2*x + 12, -5*t + x - 6 = -0. Put 4, t, 3 in decreasing order.
4, 3, t
Let g be -1*6/((-9)/3). Let y be g/(-3)*(-3 - 3). Suppose j - y = -0*d - 2*d, -28 = -4*d + 3*j. Sort d, 0, 3 in descending order.
d, 3, 0
Let x = 3 - 2. Let i = 1.4 - x. Let u = -0.0091 + -1.9909. Sort i, u, -5 in increasing order.
-5, u, i
Let m be 8/(-2) - (1 + (-5 - -3)). Sort m, -1/3, 1, -0.07 in ascending order.
m, -1/3, -0.07, 1
Suppose 4*r + 2*s + s - 31 = 0, -r = 4*s - 24. Sort 0, -0.4, 0.2, r in ascending order.
-0.4, 0, 0.2, r
Let j(r) = r**2 - 13*r + 22. Let q be j(9). Let i = q + 10. Sort 3, 0, i in decreasing order.
3, 0, i
Let z(l) = l**2 + 15*l - 18. Let x be z(-16). Sort -5, x, -1/7 in decreasing order.
-1/7, x, -5
Let f = -3 - -1. Let l = f - 0. Sort 3, -0.1, l in ascending order.
l, -0.1, 3
Let u be -2 + (-79)/(-11) - 4/22. Sort u, -2, -4, -5 in ascending order.
-5, -4, -2, u
Let z = 35 + -31. Put -1, -0.4, z in decreasing order.
z, -0.4, -1
Let g = -7 + 4. Let l = 13/20 - 2/5. Sort l, g, 1/3.
g, l, 1/3
Let a be (-78)/(-12) + (-6)/(-4). Let d be (60/a)/(4 - -2). Let g = 5 - 4.7. Put -4, d, g in decreasing order.
d, g, -4
Let s(v) be the first derivative of v**3/3 - 4*v**2 + 2*v + 3. Let l be s(7). Suppose 3 = -3*f + 12. Put l, 4, f in decreasing order.
4, f, l
Suppose h + 4 = -o - 1, 5*o - 2*h - 10 = 0. Suppose -4*c + 8 = o, 2*n = c + 3 - 5. Sort n, 5, -3 in decreasing order.
5, n, -3
Let u = 11 - 10. Suppose -d + u = -3. Put -3, d, 8 in descending order.
8, d, -3
Let s = 0.06 - 3.06. Let c = 0 - s. Sort 4/5, c, -5 in ascending order.
-5, 4/5, c
Suppose 0 = -4*b - b - 15. Put 2, b, 0.2 in decreasing order.
2, 0.2, b
Let g = -16 + 16. Suppose g*m - 2 = -2*m, -9 = 3*z - 3*m. Put 0.4, 2, z in descending order.
2, 0.4, z
Let u be 1*-1 - (-35)/21. Let s = -8.3 - -8. Sort u, s, -2/15.
s, -2/15, u
Suppose g = -0*g. Suppose 2*n - n = -4*f + 11, -3*f + 3*n + 12 = g. Sort 2, -3, f in decreasing order.
f, 2, -3
Let v = -6 - -5. Let u = 11 - 8. Let m be 1/u*(-10)/(-15). Sort -3/4, v, m in increasing order.
v, -3/4, m
Let z = 252 - 247. Suppose 3*o - 21 = 4*t, 4*o - 29 = -4*t + 27. Suppose -o = 3*p - 2. Put z, p, -2 in descending order.
z, -2, p
Let p = -53/21 + 13/7. Let h = -0.5 - -2.5. Sort 0.2, h, p.
p, 0.2, h
Let x = -16/51 - 6/17. Sort x, -0.3, 1/6 in ascending order.
x, -0.3, 1/6
Let c be -3 + (0 + 2)/2. Let d be 1/(-1) - -2 - -2. Put d, 2, c in descending order.
d, 2, c
Let y = 3.9 - 3.4. Let g = 11 + -8. Let c = g - 2. Put y, -0.3, c in increasing order.
-0.3, y, c
Let k = 21 + -18. Suppose 0 = -2*b + 4*w - 6, -k*b + 0*w - 1 = 2*w. Sort b, -2, 2 in ascending order.
-2, b, 2
Let h = 2/75 + 59/600. Let z = 18 - 17. Sort h, z, 0.
0, h, z
Let p = 12.7 - -2.3. Let a = -14.6 + p. Put 1, -2, a in increasing order.
-2, a, 1
Let c = -3.86 + -0.14. Let w = 0.7 - -2.3. Put 0.1, c, w in descending order.
w, 0.1, c
Let t = -211 - -210. Sort 0.2, t, -4/7, 4/5 in descending order.
4/5, 0.2, -4/7, t
Let n = -46 - -41. Let c be (1 - -3)/((-1)/(-1)). Put -3, c, n in ascending order.
n, -3, c
Let w be 26/(-14) - -2*1. Let v = -149/88 - -20/11. Sort v, -2, w in increasing order.
-2, v, w
Let p = 0.88 - 0.38. Let s = -1 - -0.8. Sort s, 0.4, p in decreasing order.
p, 0.4, s
Suppose 2*n - 4*n + 8 = 0. Let k be ((-1)/2)/(6/n). Sort -3/8, k, -0.1 in decreasing order.
-0.1, k, -3/8
Let x = 12 + -7. Let u = -20 + 23. Suppose u = -z - a, -3*z + 5*a + 26 + 5 = 0. Put z, x, -5 in decreasing order.
x, z, -5
Let j = 1.7 - -0.3. Let y = -7 + j. Let w be ((-4)/6)/(6/9). Sort y, w, 5.
y, w, 5
Let n = -8 + 11. Suppose 4*u - 8 = -c, -5*u - 5*c = -n*u + 14. Let b(k) = -k**2 - k + 1. Let y be b(-3). Sort 4, u, y in descending order.
4, u, y
Let y(n) = -2*n**2 + 9*n - 12. Let t be y(4). Put 4, -1, t in decreasing order.
4, -1, t
Let h = 508 + -10670/21. Let k = 52 + -313/6. Put 2/5, k, h in ascending order.
k, h, 2/5
Let l = 7 + -5. Suppose 0 = -3*w - 1 - l. Let m = -29 + 30. Sort w, m, -2 in descending order.
m, w, -2
Let m = -6.6 + 6.7. Sort 0.2, 4, m in ascending order.
m, 0.2, 4
Let s be (-20)/(-6)*6/(-4). Sort 2, s, 5 in decreasing order.
5, 2, s
Let i = -127541 + 890782/7. Let a = i - -286. Sort 7, 1, a in increasing order.
a, 1, 7
Let b(c) = 2*c - 4. Let l be b(4). Suppose -4*t + 16 = -0*t. Suppose 0 = o - 0 + t. Put o, -3, l in increasing order.
o, -3, l
Let x = -32 + 37. Sort 3, 14, x in descending order.
14, x, 3
Let d = -0.4 - -0.2. Let l = -1.2 - d. Let r = -0.07 - 3.93. Put -0.3, r, l in decreasing order.
-0.3, l, r
Let t be 3 + -34*3/30. Put 4, 0.04, t in ascending order.
t, 0.04, 4
Let y be (-28)/(-21)*6/316. Let x = 148/395 + y. Let l(i) = i**3 + 5*i**2 - 7*i - 6. Let k be l(-6). Sort k, -1/6, x in increasing order.
-1/6, k, x
Suppose -3*g + 9 = -f, -g + 2*f - 2 = -0*f. Let t be (4/4 - -1)/(-1). Let p be t - (-3)/g*1. Put -0.2, p, 2 in ascending order.
p, -0.2, 2
Let s = -9 - -15. Let b be s/(-8) - (1 + -2). Sort b, -5, -3/4 in increasing order.
-5, -3/4, b
Let p = 11 + -9. Let y = 1.9 - p. Sort 6, y, 1.
y, 1, 6
Let k = 8 + -4.5. Let u = 3 - k. Let g = -1.2 - 3.8. Put u, g, 2 in increasing order.
g, u, 2
Let z = 9 + -5. Suppose 0 = z*b - b - 9. Suppose -7*a = -b*a - 4. Put a, -1, 0 in decreasing order.
a, 0, -1
Suppose w = 2*y, 0*y + 2*y = 4*w. Put -1, w, 3 in ascending order.
-1, w, 3
Let h = 2.5 - 3. Let b = 53 - 49. Let n = 0.06 - -0.14. Sort h, b, n in descending order.
b, n, h
Suppose 15 = 5*d - 5*q - 25, 3*q + 3 = -4*d. Let m(x) = 3*x**2 - 2. Let y be m(1). Sort d, -3, y in decreasing order.
d, y, -3
Suppose -4*o + 39 = 111. Sort -4, 5, -2, o in decreasing order.
5, -2, -4, o
Let h = 24 + -22. Suppose -4*g - 18 = h. Put -8, g, 3 in decreasing order.
3, g, -8
Let w = -11 - -13. Let x be (w/10)/((-3)/(-15)). Let u = 2 + -2.4. Put x, -0.3, u in increasing order.
u, -0.3, x
Let d = -111 - -109. Put d, 0, -4 in descending order.
0, d, -4
Let d = 8.59 + -9.1. Let f = -0.01 - d. Put -1/5, f, -2 in descending order.
f, -1/5, -2
Suppose 5*r = -s + 6, -4*r = -2*s - s - 1. Sort r, 2, 7, -2 in decreasing order.
7, 2, r, -2
Suppose -3*s = -5*c + 69, 29 = 5*c + 2*s - 25. Let m be (7 - 1)/(c/(-6)). Put m, -2, -7 in decreasing order.
-2, m, -7
Let n = 1 - 6. Let a be (-2)/(-12) + 232/48. Put n, a, 0 in decreasing order.
a, 0, n
Suppose 0 = -12*s - 1 - 23. Suppose 11 = 2*i + 3. Put s, i, 0 in ascending order.
s, 0, i
Let g = 2 + -6. Let r = 0.69 + 2.31. Put r, -1/2, g in descending order.
r, -1/2, g
Let i = -0.5 - -3.5. Let z = i + -3.2. Let o = 228 - 229. Sort 0.2, o, z in descending order.
0.2, z, o
Suppose u + u = -v - 10, -5*v - 14 = u. Sort -5, v, 0.
-5, v, 0
Let x be ((-8)/(-12) + 1/3)*1. Sort -1, 