t s = 14376.3 + -14376. Put s, 1, -8.4, 2, 0 in decreasing order.
2, 1, s, 0, -8.4
Let v = -0.1941 - -0.2341. Put 4, -0.22, v, -1, -2/5 in descending order.
4, v, -0.22, -2/5, -1
Suppose -g - 3*g - 4*u + 8 = 0, 5*u = -3*g + 2. Suppose 226 - 61 = 33*k. Put g, 38, k in decreasing order.
38, k, g
Let u be (((-5)/20)/((-27)/(-288)))/((-6)/9). Sort -7/29, u, 0.2 in decreasing order.
u, 0.2, -7/29
Let l = 3717.9 - 3718. Sort 0.5, 77, 1/6, l in descending order.
77, 0.5, 1/6, l
Let u be 6/(-8) + 27/28. Let o(v) = -v**2 + 93*v - 601. Let q be o(7). Sort u, q, 4 in descending order.
4, q, u
Suppose 0 = 19*s + s - 387 + 807. Sort 9, -1, 7, s in increasing order.
s, -1, 7, 9
Let n = -1379 + 1382. Let i be 102/27 + -4 - (-21)/(-27). Sort i, n, 19.
i, n, 19
Suppose 0 = 6*h - h - 4*l - 33, -5*h = 4*l - 17. Let d(x) = -x**3 - 18*x**2 - 40*x + 74. Let c be d(-15). Sort h, 7, c in increasing order.
c, h, 7
Let x be 4 - ((10*(2 + -1))/(-2) - -6). Let o = 4 - 9. Put -0.3, 18, o, x in decreasing order.
18, x, -0.3, o
Let j be -5*((57 - 2) + 0). Let g = 270 + j. Sort 1, g, -1, 4 in decreasing order.
4, 1, -1, g
Let r(n) = -17*n**2 + 426*n - 25. Let f be r(25). Put 41, f, -3 in ascending order.
-3, f, 41
Let z(p) = p**3 - 2*p**2 - p - 5. Let l be z(0). Let a(t) = -t**2 + 12*t - 10. Let x be a(11). Sort -1, l, x in ascending order.
l, -1, x
Let j = -125.019 + 124.619. Let b = 3 + -4. Sort j, -1/20, b in decreasing order.
-1/20, j, b
Let s(i) = -3*i. Let h be s(1). Suppose 4*f = -4*a + 28, -46*f = -41*f + a - 19. Sort 6, f, 4, h in descending order.
6, 4, f, h
Suppose 11 - 15 = 2*p. Suppose -1 = 4*w - 13. Sort -3, w, -7, p in ascending order.
-7, -3, p, w
Let b = -0.58 - -0.67. Let q = -70.072 - -0.072. Let j = q - -75. Sort b, 0.1, j, -1/3.
-1/3, b, 0.1, j
Suppose b - 2*d = 3*d + 20, 10*b + 2*d + 60 = 0. Let s be 10/(-15) + 8/3. Suppose -2*x - 6 = 5*r, -4*x - 1 - 11 = r. Put x, s, b in descending order.
s, x, b
Let o be 5 + (-377)/39 - 64/(-24). Let h = -7 - -11. Put h, o, 14 in increasing order.
o, h, 14
Let v be 18/(-7) + 3 - (-193)/7. Suppose -v = 5*m - 43. Let z(o) = -5*o + 3. Let r be z(-3). Put r, m, 4 in decreasing order.
r, 4, m
Let a = -2 - -2. Suppose 12 = 3*s - 4*u - 4, -2*s + 13 = -5*u. Let b be (-6*8/(-72))/(s/(-6)). Put a, b, -3, -5 in ascending order.
-5, -3, b, a
Let o(f) = 2*f**2 + 60*f + 5. Let m be o(-30). Suppose m*y - 1 = 2*g + 6, -2*g - 4*y + 20 = 0. Put 5, 0, 9, g in descending order.
9, 5, g, 0
Let c be (7/(175/10))/((-1 + 4)/(-75)). Sort 8, 1, 5, 3, c in decreasing order.
8, 5, 3, 1, c
Let y(f) be the first derivative of -f**2 + 1 - 10*f - 1/2*f**4 - 14/3*f**3. Let h be y(-7). Sort h, 5, 0.
0, h, 5
Suppose 0 = 2*n - 4*t - 14, -5*n - 13*t + 16*t = 0. Put 3, 1, n, 326 in decreasing order.
326, 3, 1, n
Suppose 0 = 5*l - m - 10, -4*m = -2*l - 7*m + 4. Sort -3, -4, 10, l, 3 in decreasing order.
10, 3, l, -3, -4
Suppose 0 = -2*z + z. Let q(o) = -5*o**2 - o + 15. Let w be q(-5). Let j = -107 - w. Sort z, j, -5, -3 in descending order.
z, j, -3, -5
Let y = 381.8 - 382. Let n = 4 + -17. Sort 1/8, 1, n, y in ascending order.
n, y, 1/8, 1
Suppose 3 = 5*y - 8*y. Let q be ((-70)/21)/((-70)/(-63)). Sort 2, y, q, 3.
q, y, 2, 3
Suppose 3*n + 1 = 4. Let c = 297 + -279. Let t be (c - 15) + 1 + 0. Put n, 20, t in increasing order.
n, t, 20
Let l(o) = -o**3 + o**2 + 2*o - 4. Let i be l(-2). Suppose 7*k = 4*w + 8*k + 25, -i*w + k = 15. Sort w, 125, 0 in descending order.
125, 0, w
Let g be (0/4 - (-2)/5)*2. Let w(x) = -16*x - 24. Let a be w(5). Let j = -108 - a. Sort -4/3, g, j.
j, -4/3, g
Let h = 1774 - 1723. Put -1, -0.3, 2/7, 1/5, h in decreasing order.
h, 2/7, 1/5, -0.3, -1
Suppose 4*l + 10 = 2*b - 10, 0 = l - 2*b + 8. Let c = 1424 - 17089/12. Sort -1/4, -1/3, l, c in descending order.
c, -1/4, -1/3, l
Let u = -55.11 + 52. Let t = 0.11 + u. Let m = -2437/5 + 487. Sort 2, m, t in increasing order.
t, m, 2
Let k be (-93 - -118)*3/15. Sort 21, k, 0, -4, -1.
-4, -1, 0, k, 21
Let c(m) = 2*m**3 - 7*m**2 - 29*m - 5. Let x be c(6). Let j be (19/4)/x - (-199)/796. Let u = -10 - -6. Put 0, j, u in ascending order.
u, 0, j
Let a = -31 + 52. Let n = 0.0843 + 5.9157. Sort 2, a, n, -4 in increasing order.
-4, 2, n, a
Suppose -2*k - 3 = 23. Let d = -2 + 6. Let n = 1016 - 1011. Sort d, 2, k, n in decreasing order.
n, d, 2, k
Let t = 57625 - 171422/3. Let m = t + -484. Sort m, -4, -2/13 in decreasing order.
m, -2/13, -4
Let d = -8568 + 8571. Put d, -2, -19, -5 in descending order.
d, -2, -5, -19
Let u = 4.2727 - 0.2727. Put -22, 3/2, u, -9 in descending order.
u, 3/2, -9, -22
Let v = -107.5 + 108. Let z = 378 + -377.3. Let b = -3 + 3.2. Put z, 0.1, b, v in decreasing order.
z, v, b, 0.1
Let g = 142 - 141. Suppose -7*k - 3 = -10*k + 2*s, 0 = 2*k + 2*s - 12. Sort -3, -4, k, g in decreasing order.
k, g, -3, -4
Suppose 0 = -36*u - 80 - 244. Put u, -4, 10 in increasing order.
u, -4, 10
Let d = -0.98 - -1. Let h = 12905.1 + -12907.1. Put d, 1/5, -3, h in descending order.
1/5, d, h, -3
Let m = 58 + -5. Let l = m - 53.009. Let o = -0.099 - l. Put 3, o, 2/7 in ascending order.
o, 2/7, 3
Let n(k) = -8*k - 86. Suppose -w - 52 = z - 44, -z + 58 = -5*w. Let p be n(w). Suppose 0*l - 4*l = -2*q - 20, -q = -l + 7. Put -3, -1, p, q in decreasing order.
p, -1, -3, q
Let w = 2653 - 2649. Put 2, w, -3, -8 in descending order.
w, 2, -3, -8
Let z(x) = 2*x + 11. Let t be z(-5). Put -369, 4, 0, t in descending order.
4, t, 0, -369
Let t be (-6)/(-9)*-1*(-6324)/(-248). Let v be 0 + -2 + 2 + -4. Sort t, 3, v in increasing order.
t, v, 3
Suppose 0*m = -4*m + 60. Suppose 0*z + m = 5*z, 19 = -c + 5*z. Let i = 72 - 83. Sort c, 1, i in increasing order.
i, c, 1
Let w = 6881 + -6878. Sort -1856, w, -3.
-1856, -3, w
Let c = -2285 - -2281. Let k = 0.03 - -0.27. Sort c, 2/59, k, 0 in descending order.
k, 2/59, 0, c
Let x = -558 + 382. Let f = -178 - x. Put -0.3, 5, f in increasing order.
f, -0.3, 5
Let h = -0.5 + 0. Let a = 52.899 + -52.599. Sort h, -3/7, a, -3 in descending order.
a, -3/7, h, -3
Let t be ((-30)/(-245))/(114/(-798)) + 183/(-7). Let g be ((-2)/(-4))/((-2)/4). Sort t, g, 1, 0 in descending order.
1, 0, g, t
Let v be 2/(-6) + (82/(-6) - 1). Let p be -2 - v/21 - (2 + -3). Sort -0.5, 12, p, 3 in descending order.
12, 3, p, -0.5
Suppose -203 = 153*c - 662. Sort c, -5, -4, 10, 0 in ascending order.
-5, -4, 0, c, 10
Let q = -5.2 + 151.2. Let c = q - 146.1. Put 4, -1/8, c in descending order.
4, c, -1/8
Suppose 2*z + 17 + 19 = -k, 2*k + 12 = 0. Put z, 4, -1, 1 in increasing order.
z, -1, 1, 4
Let n = -294.5 - -396. Let z = 102 - n. Sort -0.5, -0.6, z in decreasing order.
z, -0.5, -0.6
Suppose -3*b = -4*c - 78, -4*c = 2*b - c - 69. Suppose 5*z + 5 = b. Let m(o) = 11*o + 816. Let q be m(-74). Sort z, 0.2, q, -7 in ascending order.
-7, 0.2, q, z
Suppose 3*d = -5*g + 55, 4*d + 2*g - 34 = 30. Let z = 31270 - 31270.5. Sort d, z, 0 in descending order.
d, 0, z
Let g be -4 - ((-4)/(-14) + ((-8228)/(-119))/(-11)). Sort -4, 3, -60, g in increasing order.
-60, -4, g, 3
Let b be (4 - 2)*(-2)/(-8). Suppose 0 = -7*h + 90 + 15. Let o be -2 + (-42)/h - -5. Put b, o, 0, 4 in ascending order.
0, o, b, 4
Let k = -380 - -380. Sort 4, -196, 5, k in ascending order.
-196, k, 4, 5
Let y = 66924.9591 - 66929. Let l = y - -0.0409. Sort -0.2, 3, l, -0.3 in descending order.
3, -0.2, -0.3, l
Let v(n) = n**2 + 2*n - 3. Let t be v(2). Suppose -10*r = -t*r - 5. Let j be 1*r*(-2)/(-1). Sort 3, j, -21.
-21, j, 3
Let f be ((-94)/141)/((-2)/6). Suppose -5 = -4*c + 19. Sort 0, -5, c, f.
-5, 0, f, c
Let g = 3.9932 - 4.1932. Sort 4, 0.04, -342, g in descending order.
4, 0.04, g, -342
Let s(f) = f**3 + 48*f**2 + 8*f + 398. Let h be s(-48). Put 0, h, -33, -1 in descending order.
h, 0, -1, -33
Suppose 4*u + 12 = -4*r, -7 = -0*r + r + 5*u. Suppose -10*i + 18 = 78. Suppose g + g - 10 = 0. Sort i, -5, g, r.
i, -5, r, g
Let i be -6 - (-11 - 0/(-11)). Sort i, 2, -113, -3 in ascending order.
-113, -3, 2, i
Let x = 45726 - 45715. Let k be ((-22)/10 + 2)*3. Put k, -1, x, 3 in increasing order.
-1, k, 3, x
Suppose -4*k + 6 = 14. Suppose -4*a - 4*g + 16 = 0, -130*g + 128*g = 3*a - 5. Let h = -5 + -2. Put h, a, k in descending order.
k, a, h
Suppose 0*q + 5*q - 10 = 0. Suppose o + 5 = -4*o + q*k, 0 = -3*o + 4*k - 17. Suppose 4*v + 11 = -5. Sort 