(-8). Put -4, -2/11, k in decreasing order.
-2/11, k, -4
Let c(b) = -b + 19. Let t be c(22). Let u(q) = 2*q**3 - q**2 + 2*q. Let s be u(0). Sort t, 1, s, 16 in increasing order.
t, s, 1, 16
Suppose -5*j - 2*m - 14 = -48, 3*m = 6. Let g(n) = 3*n - 13. Let s be g(j). Sort s, 0, -5.
-5, 0, s
Suppose 4*p + 0 - 4 = 0. Let d = -73 + 69. Let n be d - 196/(-21) - (-2)/(-6). Sort 3, p, n in decreasing order.
n, 3, p
Let q = 36 - 0. Suppose 12*w - 7*w - 35 = -4*v, v = -w + 8. Put q, -4, w in increasing order.
-4, w, q
Suppose -2*d + 5*g = -14, 6*d - 2*g = 3*d + 10. Put 0, d, -1, -3/2 in descending order.
d, 0, -1, -3/2
Let r = -447/2135 + 4/427. Sort r, -0.4, -345, 2/17 in increasing order.
-345, -0.4, r, 2/17
Let n = 0.12 - 73.12. Let p = -76 - n. Sort 5, p, 0 in descending order.
5, 0, p
Let f be -4 + -4 + 4 + 7. Let u = f + -2. Let n = 5 + -3. Sort -6, n, u.
-6, u, n
Suppose 5*n + 3*w + 103 = 97, -3*n - 6 = w. Sort 4, -26, 2, n in decreasing order.
4, 2, n, -26
Let k(l) = 2*l - 5. Let g be k(9). Suppose -g*w = 14 + 25. Sort w, 13, 5, 1.
w, 1, 5, 13
Suppose -5 - 5 = -2*o. Suppose o*f = 2 + 8. Suppose 0 = -f*v + 4 - 10. Sort -1, 1, v in descending order.
1, -1, v
Let k(z) = z**3 + 16*z**2 + 29*z + 17. Let f be k(-14). Suppose a - f = -1. Sort 1, a, -9, -3 in ascending order.
-9, -3, 1, a
Suppose 0 = -3*w + 8*w + 30. Let y = w + 10. Let m(a) = -8*a + 8. Let i be m(3). Put i, -4, y in increasing order.
i, -4, y
Suppose 3*j - 2*u + 22 = 0, 0*j - 2*j = -4*u + 28. Let v be (6/j)/((-513)/(-36)). Sort 0.2, v, -1/5, 1/3 in ascending order.
-1/5, v, 0.2, 1/3
Let f be 3/((-14)/(-4) - 2). Suppose -2 = -q - f. Put q, -3, 4, -1 in decreasing order.
4, q, -1, -3
Let i = 500 - 497. Put -11, i, 1 in decreasing order.
i, 1, -11
Suppose -18 + 45 = 9*l. Sort 1, l, -4, -5.
-5, -4, 1, l
Let b = 1774 - 7101/4. Put b, 1/2, -42, -0.1 in descending order.
1/2, -0.1, b, -42
Let s(w) = w**3 - 6*w**2 + 2*w + 12. Let y be s(5). Let x(t) = t**3 + 2*t**2 - 4*t - 3. Let f be x(y). Sort f, -1/7, 3.
-1/7, f, 3
Let t(c) = 2 + 0*c**2 - 4 + 9*c + c**2 - 2. Let b be t(-9). Let s(p) = -p**2 + 8*p - 7. Let q be s(7). Put b, -5, q in descending order.
q, b, -5
Let i(k) = -10*k**2 + 70*k - 130. Let t be i(3). Let p = -7 + 5. Sort p, 1, t, -1 in descending order.
1, -1, p, t
Let s = 6697/9 + -745. Let c = -13/18 - s. Sort -9, -1, c in increasing order.
-9, -1, c
Suppose -252 = 54*f - 26*f. Put 0.01, -1/2, f in descending order.
0.01, -1/2, f
Let c = 314 + -316. Let k(s) = -s**2 + 6. Let j be k(0). Sort 2, c, 0, j in descending order.
j, 2, 0, c
Suppose -6*d - 691 = -79. Put d, -5, -2 in decreasing order.
-2, -5, d
Suppose -42 = 3*c + 12. Let r be (-5)/(-20) - c/(-8). Let i be (-4)/(-60) + 2/(-3). Sort r, -0.4, i in increasing order.
r, i, -0.4
Let x = 22.7 - 22.6. Put 3, x, 2/47 in decreasing order.
3, x, 2/47
Let g = -1515 - -1516. Sort 0.5, 348, g.
0.5, g, 348
Let i be (-2 + -4)*(-8)/(-6). Let p(g) = 2*g**2 + 6*g - 83. Let o be p(7). Let v be i/(-12) - o/18. Sort v, -2, 0 in ascending order.
v, -2, 0
Suppose h - 2*v = 21, 0 = -h - 2*v + 1. Suppose 5 = -m, -2*b + 0*b + m - 5 = 0. Sort b, h, 0.
b, 0, h
Let v be (-5)/(-10)*32/56. Let l(h) = -h**2 - 7*h - 2. Let y be l(-6). Suppose y = 5*a - g - 2*g, -a - 4*g = -10. Put a, v, 1 in increasing order.
v, 1, a
Let j = 299 + -299.3. Put 3, -2, j, 0.1 in decreasing order.
3, 0.1, j, -2
Suppose 4*t - h - 28 = -5*h, 3*h = -5*t + 31. Let r = -39 - -46. Suppose -3*l = r + t. Sort -1, -3, l in increasing order.
l, -3, -1
Let u = -100 - -103. Let o(q) = 5*q + 12. Let k be o(-3). Put k, 1, -2, u in ascending order.
k, -2, 1, u
Let u = 0.02 + 0. Suppose 5*r - 2*m = 1, 3*m + 1 = 2*r + 5. Sort u, r, -0.5 in descending order.
r, u, -0.5
Let i = -2.02 - -1.52. Suppose 4*c + 15 = -3*p, -3*p + 5*c = -8*p - 25. Put 5/6, i, p in ascending order.
p, i, 5/6
Let p = 0 + 10. Suppose -2 = 5*g - 7. Suppose -g + p = 2*x - 3*z, 0 = 5*x + 2*z - 13. Sort -1, -2/3, x.
-1, -2/3, x
Let u = -4 - -6. Let b be 4*6/(-12)*(-5)/u. Put b, 2, 3, 1 in increasing order.
1, 2, 3, b
Let g be 6/(-1) - (-7 - -1). Let i = -1 - 1. Let k be (-3)/(i/(-2 + 0)). Sort -2, k, g in ascending order.
k, -2, g
Suppose 0 = w + 3*b - 93, -2*w + 5*w - 5*b = 349. Let l be 9/(w/(-8)) - 0. Sort -0.3, l, -3 in descending order.
-0.3, l, -3
Let d = 156537979/424 + -369193. Let p = d + 3/106. Sort 1/4, -6/5, p in ascending order.
-6/5, 1/4, p
Let n(g) = g**2 - 19*g + 35. Let a be n(14). Let m be (-48)/(-70) - (-14)/a. Sort 0.4, -3, 8, m in ascending order.
-3, m, 0.4, 8
Let n = 16 + -29. Let b = 1 + n. Let j = b - -14. Sort -5, j, 5 in increasing order.
-5, j, 5
Let n = -12 - -16. Suppose -6 = -n*q - d + 15, d - 17 = -3*q. Suppose 12 = -4*j + 4*g, -5*g + 4 + 11 = -q*j. Put -5, -2, j in ascending order.
-5, -2, j
Suppose -5*x = 4*t - 2*t, 0 = -5*t - 4*x + 17. Suppose 0 = -2*j - 0*q + 4*q - 28, -3*q + 35 = -t*j. Sort -8, j, -3, -1.
-8, j, -3, -1
Let f = 8 - 4. Let l be (4 + (-4 - -5))/1. Sort f, -4, 7, l in descending order.
7, l, f, -4
Let b(c) = 5*c + 5. Let o be b(-2). Let q be 0/((-1)/1) + 4. Let l be -2 - 18/(-3) - -1. Sort o, l, q in descending order.
l, q, o
Let v(o) = -o**3 + 4*o**2 + 14*o - 15. Let q be v(6). Sort q, 17, -1, 5 in increasing order.
q, -1, 5, 17
Let k be (-50)/375 + (-85)/(-75). Sort k, -1, -4, -2.
-4, -2, -1, k
Let p = -634.4 + 634. Put -0.5, p, -0.2 in descending order.
-0.2, p, -0.5
Let o(i) = -2*i**3 - 4*i**2 - i + 2. Let q be o(-2). Let m be 372 - -2*(q - 3). Let n = m - 3362/9. Sort -0.5, 0, n.
-0.5, 0, n
Suppose 0 = 3*z + 5*o - 50 - 7, -8 = -z + 2*o. Let b(h) = -2*h**2 + 1. Let p be b(1). Let w be p + -3 + 17/(-17). Sort 3, w, z in ascending order.
w, 3, z
Let l = -230.8 - -230.6. Sort -46, 0.2, l.
-46, l, 0.2
Let c = 0 - -1.2. Let r = 571.8 - 582. Let n = c + r. Sort 3, n, 2.
n, 2, 3
Suppose 991*a = 1005*a + 70. Sort 4, -29, a in decreasing order.
4, a, -29
Let h be 8 + -14 - (-122)/20. Sort h, -11, -1/4, -0.1 in decreasing order.
h, -0.1, -1/4, -11
Let l = 196.07 - 197. Let d = l - -0.23. Sort d, -5, 4.
-5, d, 4
Let b = 625 - 617. Put -6, 4, -1, b in increasing order.
-6, -1, 4, b
Let l = 0.079 + 93.521. Let p = l - 94. Put p, 4, 1, 3/4 in ascending order.
p, 3/4, 1, 4
Let g = -1.2 - -1.1. Let b be 2/4 - (-22)/(-28). Let s = 109 - 983/9. Put s, b, g in descending order.
g, s, b
Suppose 14*g + 198 = -8*g. Sort -2, g, 2 in ascending order.
g, -2, 2
Suppose 0*v = -4*v + 36. Let t(d) = -5*d + 4*d - d**2 + d + v + 5*d. Let p be t(7). Sort 0.2, 4/5, p in descending order.
4/5, 0.2, p
Let p be 6 + 3/6*-4. Suppose -4 = -p*m + 4. Let r = m - 6. Sort -3, -9, r in decreasing order.
-3, r, -9
Let n = -14.17 + 14.37. Sort 0.4, n, -8.3 in increasing order.
-8.3, n, 0.4
Let u = 116 + -117. Let p(v) = -5*v**2 - 3*v - 3. Let n be p(u). Sort 0.09, n, 0.1.
n, 0.09, 0.1
Let m be (-1340)/3300 + (-6)/(-22). Let g(l) = l - 2. Let a be g(4). Sort m, -5, a in descending order.
a, m, -5
Let f be 15/(-4) - 93/(-124). Sort f, -4, 0, -87 in ascending order.
-87, -4, f, 0
Let v(d) = d**3 + 6*d**2 - 5*d + 9. Let o be v(-7). Let g = 6 + o. Let h = -12 - -12. Put -4, h, g in decreasing order.
g, h, -4
Let p = -6101 + 6097. Let v be 7/3 + 1/(-3). Put -11, p, v in ascending order.
-11, p, v
Suppose 0 = 2*h + 2*h. Suppose 5*i + 1631 - 1611 = 0. Sort -5, h, -2, i in ascending order.
-5, i, -2, h
Let d(s) = 2*s**3 + 7*s**2 - 7*s - 10. Let q be d(-4). Put 1, 8, q in descending order.
8, q, 1
Let i = 3.1 + -3. Suppose -66*r + 62*r = 12. Sort 5, r, i in descending order.
5, i, r
Suppose 2 = 4*c - 2. Let h = -33 + 39. Let n be (8/(-12))/(1/h). Put n, -20, c in decreasing order.
c, n, -20
Let m(b) = b**3 - 8*b**2 + 18*b - 36. Let j be m(6). Put 10, 3, j, 4 in increasing order.
j, 3, 4, 10
Suppose -w = 3*p - 2, 2*p - 24 = 5*w - 0*w. Suppose k - 3*k - z + 1 = 0, 0 = p*k - 4*z - 26. Sort 2, k, 8.
2, k, 8
Let a = -1441 - -1442. Sort 14, a, -3 in decreasing order.
14, a, -3
Let i = -0.44 + 0.44. Sort -4, -1, i, -2/5.
-4, -1, -2/5, i
Let r = 1148 - 1146. Let l = -0.3 + 0.7. Sort r, -3, l, -1.
-3, -1, l, r
Suppose 0*y + 4*y = -8. Suppose 0*c + 3 = c. Suppose -4 = -c*g - g. Sort y, g, -5 in ascending order.
-5, y, g
Suppose p = -5*o - 7, 3*p + 2*p = -o - 11. Let x = -63 + 58. Sort p, x, 5 in increasing order.
x, p, 5
Let q = -187