pose -k - 8 = -5*k. Suppose 0 = -k*a + 7*a - 110. Suppose a = h - 5*s, 5*h - s = s + 18. Put 8, 4, h, -4 in descending order.
8, 4, h, -4
Let j = 4760 - 4750. Sort 14/15, -2/7, 1, j, -2 in ascending order.
-2, -2/7, 14/15, 1, j
Let m = 19.031 - 19.631. Sort 16/7, 5, m in increasing order.
m, 16/7, 5
Suppose 2 = -2*v + 6. Let a = -7898.88 - -7899. Put v, 0.5, a, 1 in ascending order.
a, 0.5, 1, v
Let y(x) = -x**3 + 5*x**2 - 4*x + 11. Let f be y(4). Sort -3, 4, -8, f.
-8, -3, 4, f
Let b = 9.0676 - 9.08. Let a = -0.0124 - b. Sort -0.2, 5, a, 3 in increasing order.
-0.2, a, 3, 5
Let r(s) = -s**3 + 10*s**2 - 3*s - 47. Let f be r(3). Sort 1, 2, f in increasing order.
1, 2, f
Let d = 20193 - 20197. Let q = -5 - -4. Sort d, q, -2, -5 in descending order.
q, -2, d, -5
Suppose 0 = 5*a + 7 + 33. Let t be ((588/(-441))/(4/6))/(4/10). Sort -9, t, a, 4 in descending order.
4, t, a, -9
Let c = -165 - -233. Let n = -32517 - -32517.3. Sort 3, c, n, -5.
-5, n, 3, c
Let r = 4 - 4. Let w be 8/32*28/1. Suppose 39 = w*g + 46. Sort -4, -3, g, r in descending order.
r, g, -3, -4
Suppose 265*s = 377*s - 336. Put s, 2, -77 in increasing order.
-77, 2, s
Let g be 1168/511 - 411/189. Sort g, -11, -0.06 in decreasing order.
g, -0.06, -11
Let y(x) = x**2 - 1. Let l be y(1). Suppose -i - h + 83 = 0, i - 71 = 2*h + 6. Let p = -78 + i. Put l, p, -2, -7 in decreasing order.
p, l, -2, -7
Suppose 11*r + 16 = 3*r. Sort 7, r, 3, -1.
r, -1, 3, 7
Let b be (-6)/(-3) + 10/(-2). Suppose 0 = 3*p + 7*f - 8*f - 6, 5*p - f - 8 = 0. Suppose 3*t - 18 = -0*t. Sort t, p, b in increasing order.
b, p, t
Suppose -43 = 5*z - 243. Suppose 7*o - 8*o + z = 0. Let l = o - 43. Put -1, l, 3 in decreasing order.
3, -1, l
Let z = -45 - -75. Let q = 32 - z. Suppose -2*g - q*f - f - 2 = 0, 2*g = 5*f + 14. Sort -3, 13, g in descending order.
13, g, -3
Let w = 2/677 - 2045/4739. Let n = 8839.1 - 8837. Put 3, w, n in descending order.
3, n, w
Let w = -3296 + 3292. Sort w, -1.7, -2, 1 in descending order.
1, -1.7, -2, w
Let i = 3547 + -3549. Let w(g) = -g**3 + 6*g**2 + 7*g + 5. Let z be w(7). Let u = -2.6 - -3. Sort z, i, u in decreasing order.
z, u, i
Let c(z) = -z - 9. Let d be (-18 - (6/(-3) - 0)) + 5. Let k be c(d). Let r = -0.2 - -0.2. Sort -3/5, r, k in decreasing order.
k, r, -3/5
Suppose -2*z + 2*f = 3*f - 12, 5*f - 20 = -2*z. Suppose -8 = -2*x, -z*y = -y - x + 24. Let d be (-7 + 6)*(1 - 2). Put d, 4, y, -2 in decreasing order.
4, d, -2, y
Let s = 4 - 3. Let v = 1715.09 - 1626.1. Let i = 89 - v. Put 0.4, s, i, 0.1 in decreasing order.
s, 0.4, 0.1, i
Suppose 0 = 3*u - 34*u - 62. Let j be (12/(-30))/(12/10). Put -1/2, u, j, 0.1 in descending order.
0.1, j, -1/2, u
Let r be (-837)/(-189) + -1 + 4 + -8. Sort 5, -849, r.
-849, r, 5
Let w(f) = -f**3 - 30*f**2 + 25*f - 32. Let j(r) = r**3 + 30*r**2 - 24*r + 33. Let q(t) = 5*j(t) + 6*w(t). Let a be q(-31). Put -5, a, 2, 1 in ascending order.
-5, 1, 2, a
Suppose -4*u - 4*v + 24 = 0, -8*u + 10*u = -3*v + 15. Suppose -5*b + 3*f = 27, -u*b + 0*b + 2*f - 17 = 0. Put b, -3/7, 1, 3 in decreasing order.
3, 1, -3/7, b
Let f = 50 + -48. Let r be 104/234*12/32. Sort f, r, 2/5, 0.23.
r, 0.23, 2/5, f
Let d = 5.95 - 8.95. Sort -28, d, -2/41 in increasing order.
-28, d, -2/41
Suppose -3*c - 20 = 4*k, 3*k - 5*c + 6 = -9. Let p = 3083 + -3079. Put 3, p, 2, k in ascending order.
k, 2, 3, p
Let l be (-35 + 29 - (-90)/14)/(-2). Put l, 2, 5/3, -4, 1 in descending order.
2, 5/3, 1, l, -4
Suppose 0*c + 1 = -c. Let m = -6.9 + 0.9. Let i(u) = -7*u**3 + 37*u**2 - 7*u - 12. Let t be i(5). Put c, m, t in ascending order.
m, c, t
Let t = 383 + -388. Sort -6, t, -71, 0 in ascending order.
-71, -6, t, 0
Let z be 34/221 + 969/39. Suppose -z = -p - 27. Suppose -2*u - 3*u = -m + 2, 3*m + 4 = 5*u. Put p, 8, u, 1 in descending order.
8, 1, u, p
Let o = 68 + -136. Let q = o + 59. Sort 3, q, -5, 5 in decreasing order.
5, 3, -5, q
Let x = -2 - 2. Let c = 115 + -111. Suppose 15 = -5*q - 5*s, -c*q + 0*s + 3*s = -16. Sort q, x, -5 in decreasing order.
q, x, -5
Let x = -5919 + 5920. Sort -0.7, x, -0.2.
-0.7, -0.2, x
Let a be 56/(-102) + (-14)/(-21) - (-595)/(-2601). Put 3, -6/109, a in increasing order.
a, -6/109, 3
Suppose -16*j + 5*j = 14*j. Put -14, 5, j, 8, -3 in descending order.
8, 5, j, -3, -14
Let i be -7 + (0 - 2)*-1. Let s(a) = -4*a**2 - 154*a + 76. Let o be s(-39). Suppose 0 = -3*r - r + 3*n - 8, 5*r + 11 = 4*n. Sort o, 6, i, r.
i, o, r, 6
Suppose 1318 + 590 = 18*d. Put -5, 4, d in descending order.
d, 4, -5
Suppose 3*g = -4*x - 17 + 50, -4*g + x + 6 = 0. Let u = 2 - 7. Sort g, u, 6, 2 in ascending order.
u, 2, g, 6
Let s = 30 - 30.2. Let z = -2.85 + 3.2. Let j = z + -0.45. Sort 5, j, s, 6.
s, j, 5, 6
Let b = -10208 + 10206. Put -7, b, 4, -305 in decreasing order.
4, b, -7, -305
Let d = 0.39 + 73.61. Let i = 73.8 - d. Sort -2/9, 1/6, i, 5 in ascending order.
-2/9, i, 1/6, 5
Let g = -0.2 + 0.4. Suppose 0 = -30*x + 72*x - 168. Let f be (-31)/124*(-1 + x). Sort -0.4, f, g, 0 in descending order.
g, 0, -0.4, f
Let x(s) = -s**2 + 5*s - 10. Let p be x(3). Let b be ((0 - -1)*-2)/(p/2). Let a be (9/6)/((-12)/40)*b. Sort 3, a, 5, -4 in decreasing order.
5, 3, -4, a
Let u be 1*3/(-2)*104/156. Sort 5, 21, u in decreasing order.
21, 5, u
Let l be (-5)/((-225)/(-6)) + 130/(-150) + 3. Sort 227, l, 0, 1.
0, 1, l, 227
Suppose -4*v - 3*o = -23, -15*v + 10*v = -3*o + 5. Suppose 12 = -3*f + 48. Sort f, 3, v, -5 in ascending order.
-5, v, 3, f
Let s = -16395 + 16398. Sort 0, -1, 980, s in decreasing order.
980, s, 0, -1
Suppose 1 = 3*o - 26. Let v(c) = 3*c**2 + 11*c. Let m be v(-5). Suppose 120 = -10*y - m*y. Sort y, o, -2 in descending order.
o, -2, y
Suppose 32 = -153*x + 145*x. Sort -114, -2, x.
-114, x, -2
Let k(j) = -8*j**2 + 21*j - 6. Let q(w) = -w**3 - w**2 - 1. Let t(n) = k(n) + q(n). Let r be t(-11). Put r, 1/3, -3, 4/9 in descending order.
r, 4/9, 1/3, -3
Let o be 2 - ((-38)/(-34) - -1). Let f = 2467 - 2211.1. Let r = f + -256. Put r, 3, o, 2/13 in descending order.
3, 2/13, r, o
Let a = -1086 + 1075. Let s = -1 - -1. Sort a, -16, s in ascending order.
-16, a, s
Let q = 308 + 44. Suppose -3*h - 3*x = 3, 5*h + 4*x - 5*x = 7. Put h, q, 4 in descending order.
q, 4, h
Let s = 0.2 - 0.34. Let u = -155492 + 155495. Sort s, 2/17, u.
s, 2/17, u
Let o = -0.0482 - -2.1782. Let n = -1.87 - o. Put -0.4, 30, n in decreasing order.
30, -0.4, n
Let k = 3419 + -3408. Sort -3, 4, 2, k, 48 in increasing order.
-3, 2, 4, k, 48
Let w be 1/((-148)/24 + -8 + (-49)/(-6)). Let r = -0.023 + 80.023. Sort r, w, -2/7.
-2/7, w, r
Let v = -88.038 + 88. Let t = 36 + -35.932. Let p = t + v. Sort 0.4, 0.01, p in descending order.
0.4, p, 0.01
Let n = -261 - -257. Put -0.62, n, 0 in increasing order.
n, -0.62, 0
Let f(q) = -2*q**2 + 69*q + 93. Let m be f(36). Let v be (m/(-25))/(2/10). Sort v, -2/5, -2 in decreasing order.
v, -2/5, -2
Let m = -55 + 30. Let t = 30 + m. Let s = t - 4.9. Sort -3, s, 0.2.
-3, s, 0.2
Let c = -8216 - -8211. Sort -4, 784, c, -2, 1 in increasing order.
c, -4, -2, 1, 784
Suppose 582 = -10*x - 2238. Let u = -294 - x. Put 5, -2, u, 0 in increasing order.
u, -2, 0, 5
Let d(u) = u + 61. Let k be d(-36). Suppose 0 = -4*s + 2*s + h - k, -4*h = -4. Sort s, -1, 5 in decreasing order.
5, -1, s
Suppose -2*x = 3*c + 2673, -5*x - 4726 = 5*c - 261. Sort 1, c, -3/5 in decreasing order.
1, -3/5, c
Let s = -47 - -46. Let m be (2/(-5))/((-112)/(-70)). Let p = 281 + -278. Put p, s, m in decreasing order.
p, m, s
Let i = 3 + 1. Let s(v) = 2*v - 6. Let c be s(i). Let a(j) = -j**3 - 30*j**2 - 24*j + 143. Let y be a(-29). Put y, -5, c in descending order.
c, y, -5
Let q = -8 + 0. Suppose 0 = -i + 55 + 53. Suppose -i = -9*t - 144. Sort 3, t, q in ascending order.
q, t, 3
Let k = -100 - -90. Let o(p) = 6*p + 60. Let i be o(k). Sort 1/3, -0.1, 4, i in increasing order.
-0.1, i, 1/3, 4
Let m = 118 + -125.3. Let n = 4.3 + m. Sort 3, 0.01, n in decreasing order.
3, 0.01, n
Let x = -94.4 - -94.1. Let h = 31 - 1. Let l = 32 - h. Sort 3/4, l, x in descending order.
l, 3/4, x
Let a = -12256/249567 + 2/6087. Sort a, 1, -1/7, -2/7, 5 in increasing order.
-2/7, -1/7, a, 1, 5
Let u(w) = 9*w - 74. Let h(d) = -4*d - 56. Let l be h(-16). Let z be u(l). Let q(s) = -s**2 - 8*s - 2. Let c be q(-9). Sort c, -5, z, -3.
c, -5, -3, z
Let k(r) = -18*r 