 - 8 = 0. Let h be 0/(1*(5 - 4)). Put y, 4, h, 0.5 in decreasing order.
4, 0.5, h, y
Let l = 34 + -3. Let u = l - 28. Sort u, 0, -4 in increasing order.
-4, 0, u
Suppose -4*t + 3*s = 24, 2*t = 3*t + 3*s - 9. Sort 44, 5, t in descending order.
44, 5, t
Suppose -6*k = 56 - 20. Suppose -3*p - 3 = 0, 3*n = p - 0 + 10. Sort k, n, 1 in ascending order.
k, 1, n
Let x be 8/60 - (-10347)/1085. Let g = x - 2/651. Let b = -148/15 + g. Put b, 1/3, 5 in increasing order.
b, 1/3, 5
Let o be ((-1127)/(-14))/(-23) - 2/(-4). Sort 32, -5, o, 2 in increasing order.
-5, o, 2, 32
Let o = -64 - -126. Let f = 59 - o. Put 2, -2, 0, f in descending order.
2, 0, -2, f
Let o = 13.4 + 0. Let v = o - 13. Let g = v + -0.6. Sort -2/3, g, 0.1 in descending order.
0.1, g, -2/3
Let b = 628 - 636.14. Let a = b + 0.14. Let r = -13 - a. Put -0.4, r, 1/4 in descending order.
1/4, -0.4, r
Let c = -561/266 - -15/38. Let k = 44 + -37.8. Let t = k - 6.5. Sort t, c, -1/7 in descending order.
-1/7, t, c
Let w = 98 + -97. Let h be (-1)/(3 + (-69)/12). Sort w, h, -1/5 in descending order.
w, h, -1/5
Suppose 0*c = -4*u + 5*c - 5, 2*u = 5*c - 15. Put 4/3, 3/8, u in ascending order.
3/8, 4/3, u
Suppose 3*b = 6 - 3. Let n = -1 - b. Suppose 0 = 7*x - 45 + 17. Put x, n, 1 in increasing order.
n, 1, x
Let k = -3.6404 + -0.3596. Let m = -14 + 9. Sort k, m, -1/7, 3 in decreasing order.
3, -1/7, k, m
Suppose 3*d + s = -0*s - 18, -4*d - 24 = 2*s. Let t be (d/12)/((-1)/(-3)). Sort -21, -0.4, t in increasing order.
-21, t, -0.4
Let d(s) = 4*s**3 + s**2 - s. Let u be d(1). Suppose -5*b = -2*x - 6*b - 6, -x + 4*b = 12. Let m = -1.2 - 0.8. Put m, u, x in descending order.
u, m, x
Let t = -179 + 178. Sort 2, 42, 4, t in ascending order.
t, 2, 4, 42
Let l be ((-234)/(-15))/(6 + 160/(-25)). Sort -4, l, 4 in descending order.
4, -4, l
Let m = 167 + -119. Let w = -44 + m. Put w, 39, -0.4 in increasing order.
-0.4, w, 39
Suppose -q - 12 = -7. Let n(s) = 4*s**2 + 2*s - 3. Let y be n(2). Suppose 0*z = 5*z - 2*v - y, z - 1 = v. Sort z, q, -4 in decreasing order.
z, -4, q
Let h = -681 - -654. Sort -3, h, 1 in decreasing order.
1, -3, h
Let i be ((-152)/28)/(-2) + 2/7. Let m = 3.6 + 0.4. Put i, m, -0.1 in increasing order.
-0.1, i, m
Suppose 4*j + 21 = -5*h, 0 = 4*h + 5*j + 26 - 2. Let n be ((-4)/24)/(1/(-6)). Suppose 0*b + p + 5 = -2*b, -b = -3*p - n. Put h, -5, b in ascending order.
-5, b, h
Let c be (-6)/14 + 118/14. Let b(p) = -p**3 + 10*p**2 - 17*p + 7. Let g be b(c). Put -5, 3, g in decreasing order.
3, g, -5
Let f = 2 - 1. Let c = -32 - -59. Let g = c - 23. Sort -1, g, f in descending order.
g, f, -1
Suppose 3*l = 57 - 15. Suppose 3*s - 24 = 3*q, 4*q + l = s - 3. Suppose 186*m - 183*m + b + 7 = 0, 0 = -m - 2*b - 4. Sort q, -5, m in decreasing order.
m, q, -5
Suppose 0 = -5*p + 5*a - 20, -a + 12 = 3*p - 6*p. Sort -1, p, -8, -2/9.
-8, p, -1, -2/9
Suppose 0 = -c - 4*s + 24, 4*c - 2*s + 0*s - 42 = 0. Suppose -4*k + c = -24. Let l = k + -10. Put 4, l, -4 in descending order.
4, l, -4
Suppose 2*k - 336 = 8*k. Let z = k + 59. Sort z, -4, 0, -1.
-4, -1, 0, z
Let t = 3684 + -3686.957. Let j = -0.043 + t. Put 0, j, 0.2 in descending order.
0.2, 0, j
Suppose 14*q - 26 = 13*q. Suppose 71 - q = 3*t. Let p(l) = -l**3 + 5*l**2 + 5*l + 2. Let i be p(6). Sort t, i, 0 in descending order.
t, 0, i
Let c be -4 - (-4)/((-20)/(-35)). Suppose -23*n = 293 - 86. Sort -1, -2, n, c.
n, -2, -1, c
Let b(z) = z**3 - 13*z**2 - 2*z + 42. Let f be b(13). Sort 8, f, -2, -1 in ascending order.
-2, -1, 8, f
Suppose 0 = 5*g - 10, -4*i - 5*g + 19 = -7. Put 25, i, -3 in decreasing order.
25, i, -3
Let q(t) = -t**3 + 3*t**2 + 7*t. Let c be q(6). Let w = c + 68. Sort -2, w, 5.
-2, w, 5
Let i = 29 - 28.84. Let w = -0.66 + i. Let f = -40 - -122/3. Sort f, -1/4, w in decreasing order.
f, -1/4, w
Let y = 4 + -2. Suppose 2 = -2*p - y. Let r(h) = -2*h - 15. Let s be r(-9). Sort -1, s, p in increasing order.
p, -1, s
Let n(m) = m**3 + 6*m**2 + 11*m + 4. Let p be n(-2). Put 4, p, -48 in decreasing order.
4, p, -48
Let v be 98/(-42) - (-6 - (-1 - 0)). Sort 9, v, 5.
v, 5, 9
Suppose 0*g = -2*g + 10. Let f(t) = 6*t + 1. Let h(b) = b + 1. Let o(k) = f(k) + 3*h(k). Let y be o(-1). Sort y, 2, g in decreasing order.
g, 2, y
Let i(z) = z**3 + 4*z**2 - 4. Let x be i(-3). Let p(t) = -t**3 + 11*t**2 - 9*t - 13. Let b be p(10). Sort 4, x, b in ascending order.
b, 4, x
Let p = -0.529 - -0.129. Suppose -9 + 3 = 2*v. Sort -4, 0.08, v, p in ascending order.
-4, v, p, 0.08
Let h be (6/(-18))/(-1*2/6). Suppose 5*x + 5 = -y, -2*y + h = -4*x - 3. Sort y, 3, 1.
y, 1, 3
Let v be 268/52 + (-2)/13. Suppose 20 = v*l - l. Let b = -8.2 + 8. Put -2, l, b in decreasing order.
l, b, -2
Let b(s) = -s**3 + 7*s**2 - 3*s - 7. Let q be b(6). Suppose 9*g - 73 = -91. Put q, g, 5 in ascending order.
g, 5, q
Let v(n) = n**2 + 33*n + 168. Let l be v(-23). Sort l, 1/4, -3 in increasing order.
l, -3, 1/4
Let w(n) be the second derivative of n**4/6 - 7*n**3/6 + n**2/2 + 4*n - 6. Let y be w(3). Put -1, y, -0.3 in ascending order.
y, -1, -0.3
Let u = 6 + -2. Let f = 833/5235 + -9/349. Let z = 0.6 + -1. Put f, u, z in decreasing order.
u, f, z
Suppose -4*v + i - 2 = 0, -i + 0*i = 2. Put 3, v, -78 in ascending order.
-78, v, 3
Let j = -2.2 - -2. Let w = -508.052 - -507. Let k = -0.052 - w. Sort k, j, 0 in increasing order.
j, 0, k
Let v = 13.27 + 0.13. Let m = 10 - v. Let b = -0.4 - m. Put b, 2, -4 in decreasing order.
b, 2, -4
Let m be (-9 + 13 - 15) + 6. Suppose 2 = 4*j + 18. Sort m, j, 2 in decreasing order.
2, j, m
Let h(v) = -v - 21. Let y be h(-12). Let a be 3 - -1 - (-1 - -2). Let j be a*(3/y + 0). Put 3, j, 0 in ascending order.
j, 0, 3
Let u be (9/(-6))/((-56)/(-16) - 4). Sort -4, u, 2, 68 in descending order.
68, u, 2, -4
Let c = -0.3 + 0.2. Let l = 454 - 452. Put l, 0.1, c in increasing order.
c, 0.1, l
Suppose -5*z - 5*i + 10 = 0, 0*i - 4*i = 8. Let t(y) = 2*y + 0*y + y + 19 - 5*y. Let a be t(10). Sort a, -4, z in increasing order.
-4, a, z
Let q be 2/3*12/2. Suppose -7 = 4*s + 13. Suppose -17*d + 201 = 201. Sort d, q, s in descending order.
q, d, s
Suppose 38*m = 40*m - 22. Suppose m*r = 13*r. Sort r, 8, -5 in increasing order.
-5, r, 8
Let a = 20/31 - 1009/1612. Sort 0.5, -1/7, a in ascending order.
-1/7, a, 0.5
Suppose 731 - 251 = 5*p. Sort p, -4, 0 in decreasing order.
p, 0, -4
Let a = -77 - -181. Let g = -104 + a. Suppose 5*p + 14 = -1. Put g, -4, p in decreasing order.
g, p, -4
Suppose 0*h - 144 = -4*h. Suppose h = 5*i + i. Let q(j) = -j**2 + 4*j + 9. Let o be q(i). Sort 10, 0.3, o in decreasing order.
10, 0.3, o
Let z = 443 + -442. Put -2, 3, z, 5 in descending order.
5, 3, z, -2
Suppose -6*d - 97 = -127. Sort -4, d, 1, 3.
-4, 1, 3, d
Suppose -5*k - 6 = -2*k, -4*q + 8 = 2*k. Let o = -9 + 13. Suppose 2*z - 6 = z + 2*r, 10 = z - 3*r. Sort o, q, z in decreasing order.
o, q, z
Let h(d) = -d**3 + 6*d**2 - d + 5. Let l be h(6). Let n be l/((2 + -4)/10). Let x be (30/18)/((-3)/9). Put -6, n, x in increasing order.
-6, x, n
Let t(z) = 2*z**2 + 6*z + 4. Let s be t(-4). Suppose -9 = u + 5*v, v = 2*u - 4*v - s. Let q be 2 - u/3*8. Put 1, 3, q in descending order.
3, 1, q
Suppose 116 = 2*o + 4*q, -9*o + 5*q = -6*o - 152. Sort 4, o, -4 in increasing order.
-4, 4, o
Let h = -10 + 9.9. Let l be -17*3/108 + (-16)/(-72). Sort h, 3/8, l.
l, h, 3/8
Let i = 24.01 + -0.01. Let m = -26.6 + i. Let l = m - -2.2. Put l, 3, 5 in ascending order.
l, 3, 5
Let s = -6 + 6.15. Let d = 0.06 + -0.11. Let b = s - d. Sort b, -2, -5.
-5, -2, b
Let g(c) = -c**3 - 32*c**2 - 2. Let d be g(-32). Suppose 0 + 10 = 2*n. Suppose 21 = 3*h - 3*u - 0, -2 = h + 2*u. Sort d, n, h in decreasing order.
n, h, d
Let c = 11.73 + -11.53. Sort c, -2, 5 in ascending order.
-2, c, 5
Let s be 4 - -12*(-2 + 1). Put s, 29, -4 in decreasing order.
29, -4, s
Suppose -6*z + 2*h = -z - 38, 2 = 2*h. Sort 1, z, 0, 11.
0, 1, z, 11
Suppose -7 - 11 = -2*w. Let f be (-32)/(-2) + (-4)/1. Let x = f - w. Put x, 1, 0.2 in ascending order.
0.2, 1, x
Let v = 125 + -120. Put v, -24, -1, -4 in increasing order.
-24, -4, -1, v
Suppose 0 = -4*r + 3*i + 14 + 7, 5*r + 5*i = 0. Suppose -d = d, r*d = -3*k - 3. Let m(u) = -u**2 + 5*u + 8. Let p be m(6). Put k, p, 3 in ascending order.
k, p, 3
Suppose -n - 3*h = 4*n + 5, 3*h = -4*n - 4. Suppose -2*w + 6 = 12. Sort 