(-4). Put a, 5, 0 in ascending order.
0, a, 5
Let o = 403/35 - 1/70. Sort -1/3, -3, 2, o in decreasing order.
o, 2, -1/3, -3
Let s be 19/76 + 0 + (-18)/8. Suppose 0 = 4*a - 0*a. Suppose a = w - 4*l - 20, -2*w + 2*l + 4 = -3*w. Put s, 5, w in decreasing order.
5, w, s
Let r = -19 - -8. Let g = r + 12. Let q = g - 2. Sort -3/5, q, -0.3 in decreasing order.
-0.3, -3/5, q
Let k be 11*(-10)/(-165) + (-10)/(-12). Sort k, -8, -10.
-10, -8, k
Let o be (4 - 2)*-1 - -9. Let p(j) = j**3 + 8*j**2 + 2*j + 17. Let f be p(-8). Put o, f, 0 in decreasing order.
o, f, 0
Let k = -25 - -76/3. Suppose 0*f = 3*f + 6. Let h = 454 + -455. Sort h, k, f.
f, h, k
Let m(r) = r**2 + 7*r + 1. Let d be m(-6). Let c be d/(-3) + (-392)/192. Put c, 0, 4 in descending order.
4, 0, c
Suppose 7*r + 4 = 9*r. Let o(c) = -c**3 + 3*c**2 - 2*c - 1. Let s be o(2). Put -2, s, r in descending order.
r, s, -2
Let l = 3 + 2. Let b = 3138/8125 - 1/625. Put l, 0.2, -4/5, b in decreasing order.
l, b, 0.2, -4/5
Suppose -5*t - 5*d + 25 = 0, -d - 9 = -3*t + 10. Sort -2, -4, t, 3.
-4, -2, 3, t
Let t be (-5)/(-25)*(-7 + 6). Put 1, t, 0.2 in increasing order.
t, 0.2, 1
Let l be (-2)/(3 - (-2 - -3)). Suppose -6*m = -2*m. Suppose m = 5*u - 0*k + 3*k - 11, -2*u + 2*k = 2. Sort u, -10, l.
-10, l, u
Let v be (1 + -1)/(-1 + -1). Suppose v = 5*u + 5, 5*s - 3*u = -38 + 106. Suppose 15*r - 8 = s*r. Put r, -2, -3 in increasing order.
-3, -2, r
Suppose -5*l - 20 = -0. Let v be 60/18*(-6)/(-4). Suppose 5*g + 0*g = 2*o + 35, -o - 30 = -v*g. Sort -1, l, o in ascending order.
o, l, -1
Let p be 8/5*(2 - -3). Let j be p/10*5/(-2). Sort 2, 10, j in increasing order.
j, 2, 10
Let d(j) = j - j**3 - 14*j**2 - 3 + 21 - 13*j + 0*j**2. Let v be d(-13). Sort v, 1, -5, 0 in decreasing order.
v, 1, 0, -5
Suppose t = -2*o + 1 + 8, 0 = 3*o - 2*t - 31. Suppose 9 = -o*i + 2. Suppose 2*b = 4*b - 6. Sort i, b, 8 in decreasing order.
8, b, i
Let i be 2/12*-1*8. Let k = -0.8 + 1. Suppose 2*t + 2 = -2*r, -6*t + 5 = -11*t - r. Put k, i, t in descending order.
k, t, i
Let g(m) = -2*m**2 + 15*m - 8. Let v be g(6). Let h(p) = p**2 - p - 11. Let s be h(0). Let u = -7 - s. Put u, -4, v in ascending order.
-4, u, v
Suppose 0 = -3*o - 0*o + 30. Let s be 5*(-1)/o*-6. Suppose 10*y - 6 = 13*y. Sort 5, s, y.
y, s, 5
Suppose 198 = 65*r - 127. Put 151, r, 4 in ascending order.
4, r, 151
Let z(u) = -10*u + 89. Let f be z(9). Put 4, 2, -3, f in descending order.
4, 2, f, -3
Suppose -5 = -31*l + 32*l. Sort 3, -0.24, l in ascending order.
l, -0.24, 3
Suppose 0 = 8*j + 431 + 249. Put 4, j, 1 in decreasing order.
4, 1, j
Let n = -216 - -217. Put 0, n, -144 in decreasing order.
n, 0, -144
Suppose -74*a + 79*a - 20 = 0. Sort 0.5, -11, a, -1 in increasing order.
-11, -1, 0.5, a
Suppose -4*f + 91 = 111. Sort -1, -9, f, 2 in ascending order.
-9, f, -1, 2
Suppose -8 - 2 = 5*q. Let g be (-9)/15*(-6)/(-9). Put g, q, 4, 0 in increasing order.
q, g, 0, 4
Let y(f) = -2*f**2 + f + 5. Let x be y(0). Sort -17, x, 3.
-17, 3, x
Suppose 0 = 5*a - 24 + 9. Suppose -1 = -2*b - a*t, 0 = 3*b + 2*t + 3*t - 3. Sort -2, -5, b, 4.
-5, b, -2, 4
Let i(s) = s**2 + 50*s + 566. Let y be i(-17). Sort 6, -23, 0, y in decreasing order.
6, y, 0, -23
Let d = 37484 - 23502458/627. Let n = d + -4/33. Let f = 29/3 - 25/3. Put 3, f, n in descending order.
3, f, n
Let b = -109 + 10. Let w = b - -99.1. Sort -0.1, w, -2/5, 3.
-2/5, -0.1, w, 3
Let o be ((-15)/(-10))/(1/(-4)). Suppose 0 = -2*z + 5*z + 9. Let d be -8 + 1 + 2 + 1. Put z, d, o in increasing order.
o, d, z
Let j = 110 + -109. Suppose k + j = -4. Sort -3, k, 2 in increasing order.
k, -3, 2
Suppose 2*v + 2*k - 2 = 3*k, 2*k - 3 = -3*v. Let u(g) = -4*g + 63. Let l be (20 - 4 - 5) + 4. Let s be u(l). Put v, 5, s in ascending order.
v, s, 5
Let a be (-4)/4*1 - 10. Let x(d) = d**3 + 11*d**2 + 1. Let s be x(a). Let j be (6/3)/(-27 + 2). Sort s, 0.2, j in descending order.
s, 0.2, j
Let n = 35 - 35.03. Let k = -0.04 + 0.31. Let z = n - k. Put 0.5, -1/2, z in decreasing order.
0.5, z, -1/2
Let n = -9.4 + 7.6. Let l = -4.6 - -2.4. Let z = l + n. Put z, 2, -3/7 in descending order.
2, -3/7, z
Let o = -632 + 632. Put -49, 2, 4, o in ascending order.
-49, o, 2, 4
Let z = 206.71 + -211. Let k = 0.29 + z. Put 3, k, 0 in decreasing order.
3, 0, k
Suppose 3*z + 2 - 5 = 0. Let r be z/3*(-3)/8. Let u = 2/1499 + -3012/10493. Put u, r, 1 in decreasing order.
1, r, u
Let a = -56.05 - -1.05. Let v = -51 - a. Sort v, -1, 3, -3 in decreasing order.
v, 3, -1, -3
Let j = 3.92 + -4.22. Sort -6, j, -3/4 in decreasing order.
j, -3/4, -6
Let k be 12/(-84) + (-41)/7. Let a be (-15)/6*(k - -4). Let m = -5 - -6. Put a, -1, m in ascending order.
-1, m, a
Let r be -7 + (-8)/4 + 8. Sort r, -4, 7, 4 in descending order.
7, 4, r, -4
Suppose 0*h = 5*h + 65. Let c = 1739 + -1740. Put -5, c, h, 2 in ascending order.
h, -5, c, 2
Let z(a) = -3*a**2 + a + 2. Let s be z(-2). Let g be 3*(-5)/15 - -2. Suppose 0 = 9*k - 1 + g. Put k, s, -2 in decreasing order.
k, -2, s
Suppose -2 = 4*g - 6. Let w be g*(13/3 - 4). Let i = 2 - 5. Put i, w, 1 in descending order.
1, w, i
Suppose 0 = -5*s + 12 + 8. Suppose 8*t = 5*t + 3*y - 15, 21 = -4*t + 5*y. Sort -8, t, s, -3 in increasing order.
-8, t, -3, s
Let a = -306 - -304. Sort 2, 6, a in ascending order.
a, 2, 6
Let j be 2/(-16)*(7 + -3). Sort j, -3/7, -61, 2/11 in descending order.
2/11, -3/7, j, -61
Let w = -695 + 691. Sort 16, 1, w.
w, 1, 16
Let l = -74 - -366/5. Let t be (-6)/(-14) + (-198)/(-77). Sort -0.1, t, 2/9, l in decreasing order.
t, 2/9, -0.1, l
Let b = -4 - -6. Let p = 2556 + -2555.7. Put p, b, -3, 3 in decreasing order.
3, b, p, -3
Let o be (-20)/3 + (-20)/(-30). Let v be 2 + (-2)/o*3. Suppose -8 = -v*h + 7. Sort 2, -1, h in descending order.
h, 2, -1
Let z = -18 + 23. Suppose -2*s + 4*n - 22 = 0, 3*s = -0*n + 5*n - 28. Sort s, 2, 3, z in ascending order.
s, 2, 3, z
Let a = 0.2266 - 0.2066. Sort 2, -5/13, a in ascending order.
-5/13, a, 2
Let l(q) = 5*q + 36. Let j be l(-6). Suppose j*c = c. Let n = 8 - 4. Sort c, n, -5 in ascending order.
-5, c, n
Suppose 0 = 5*k + 25, -5*x - 14*k = -12*k + 15. Put 5, x, -32, 0 in increasing order.
-32, x, 0, 5
Suppose 20 = p + 4*p. Suppose -38 = p*z + 50. Let u be 4/z + (-20)/(-110). Sort -5, u, 1 in increasing order.
-5, u, 1
Let o(g) = 5*g**2 - 5*g + 1. Let c(j) = 6*j**2 - 5*j + 1. Let y(a) = 4*c(a) - 5*o(a). Let n be y(2). Sort -1, -2/7, n, 0.5 in increasing order.
-1, -2/7, 0.5, n
Suppose 6*b + b = -56. Suppose -3*u = r - 19, -2*r - 7 = -0*r - 3*u. Suppose -5*o + 13 + 2 = 0. Sort o, r, b in decreasing order.
r, o, b
Let v(p) be the first derivative of p**4/4 + 4*p**3/3 + p**2/2 - 5*p + 5. Let q be v(-3). Suppose 6*i = 11 + q. Sort i, 5, -3 in descending order.
5, i, -3
Let m be (8/(-10))/(2/(-10)). Suppose -49*x = -52*x + 231. Let i = x + -70. Put i, 0, m in ascending order.
0, m, i
Suppose 0 = -2*n - 5*g - 28, -6*n - 5*g = -5*n + 24. Sort -5, 0, n, 10 in decreasing order.
10, 0, n, -5
Let k = -650 - -654. Sort k, 5/4, -21, 0.2 in increasing order.
-21, 0.2, 5/4, k
Let g = -89.1 + 84. Let y = g - -1.1. Let q = 63 + -68. Sort q, y, -1/4 in decreasing order.
-1/4, y, q
Let h = -1179197/18456 - -40/2307. Let t = h + 64. Suppose -4 = -2*s - 2*z, -2*z - 1 + 26 = -5*s. Put -4, s, t in increasing order.
-4, s, t
Let u be ((-8)/(-20))/(1/5). Let g(q) = -q**3 + 3*q**2 - 3*q + 3. Let i be g(u). Let x be (i + 0)*(6 + -5). Put x, -0.3, -5 in descending order.
x, -0.3, -5
Suppose -2*y = y + 5*t - 18, y = -4*t + 13. Let j be y*(-3 - 1)*1. Let w = -0.1139 - -0.3139. Sort w, 1, j.
j, w, 1
Let r(p) be the third derivative of -17*p**4/24 - 8*p**2. Let m be r(1). Sort -1, -4, -5, m in descending order.
-1, -4, -5, m
Suppose -1 = -j + 1. Let z be (j/(-3))/((-13)/78). Put 0, -5, z in decreasing order.
z, 0, -5
Let o = 280 + -275. Put -4, -1/7, o in descending order.
o, -1/7, -4
Let g(b) = -3*b**2 - 2*b - 2. Suppose 6 = -4*l - 2*h - 0*h, 2*h = 3*l + 1. Let f be g(l). Sort 2, -7, f in ascending order.
-7, f, 2
Suppose 2*k = -40 + 8. Let q be 4*-10*(-2)/k. Sort q, 18, -3, -4 in descending order.
18, -3, -4, q
Let g = 2.178 - 0.178. Let q = -0.026 - 0.104. Sort g, 2/5, q in decreasing order.
g, 2/5, q
Suppose -9 = 2*p - 1. Let s(i) = i**2 + 5*i + 9. Let z be s(-4). Let v(o) = 4*o - 19. Let k be v(z). Sort 3, 