3 in descending order.
0.2, n, -3/8, -3
Let l = 8016387/10 + -4040210693/5040. Let u = -153/16 + l. Sort u, -4, -5 in descending order.
u, -4, -5
Let b = -5 - -4.7. Let d = -203.04 - -203. Suppose -19 = -3*c - 4*p, -10*p + 17 = c - 6*p. Put b, d, c in descending order.
c, d, b
Let g(s) = -s**3 + 15*s**2 + 251*s + 6. Let z be g(-10). Sort 9, z, -27, 5.
-27, z, 5, 9
Let q = 229.8 - 244.8. Sort q, 5, 1/3, 0 in decreasing order.
5, 1/3, 0, q
Let l(m) = -4*m**2 - 52*m - 145. Let y be l(-4). Let o = -0.02 + 0.32. Sort -1/5, y, 4, o in ascending order.
y, -1/5, o, 4
Let x(b) = -3*b + 52. Let t be x(16). Sort -4, 2, -3, t.
-4, -3, 2, t
Suppose -7*h + 25 = -2*h. Let v be 2/36*(h + -3). Suppose -3*y = 3 + 3. Sort v, -5, y in increasing order.
-5, y, v
Let n be 6/4 + 13/2. Let m = n - 3. Suppose 0 = -35*d + 37*d - 6. Sort m, -3, d in increasing order.
-3, d, m
Let i(f) = -2*f**3 - 62*f**2 + 131*f - 33. Let m be i(-33). Put -6/5, 0.8, -2/9, m in ascending order.
-6/5, -2/9, m, 0.8
Let g(o) = o**3 - 41*o**2 - 2*o + 79. Let h be g(41). Sort 0, h, -84 in ascending order.
-84, h, 0
Let s be (1720/105)/(-4) - 14/(-147). Put -1, s, 0, 2 in descending order.
2, 0, -1, s
Let o = 1122 + -1120. Sort 5, -131, 0, o in increasing order.
-131, 0, o, 5
Let m = -2.1 - -1.7. Let d = m - -0.8. Let r be (-8)/10 + -1 - -2. Put r, d, 3 in increasing order.
r, d, 3
Let p = 1 + 1. Let q be (-5)/(-10) - (-6)/4. Suppose -4*u - 5*n = -q*u - 2, 0 = n - 2. Put u, 0.4, p in decreasing order.
p, 0.4, u
Let i(y) = -8*y - 13. Let f be i(-2). Suppose f*c = -13*c - 48. Sort c, -2, -5 in decreasing order.
-2, c, -5
Suppose 0 = 12*p - 14*p - 36. Let z be ((-2)/(-3))/(p/(-27)). Sort -7, -3, z in ascending order.
-7, -3, z
Suppose v + 3*q = -1, 5*v = 6*v + 4*q. Let m(n) = -4*n - 108. Let c be m(-27). Put c, -2, v in decreasing order.
c, -2, v
Let j = -468 + 463. Put j, 4, -42 in increasing order.
-42, j, 4
Let k = -0.7 - -1.1. Let u(i) = -65*i**3 - 11 + 28*i**3 - 14*i**2 + 36*i**3. Let d be u(-14). Sort k, d, 0 in increasing order.
d, 0, k
Let x be 55/(-35) + 80/(-56). Put x, 2, 3, 73 in descending order.
73, 3, 2, x
Let a = 136 + -1226/9. Put 3/5, -5, a in ascending order.
-5, a, 3/5
Let b = -39 + 22. Let p = b + 19. Sort -3, p, -6.
-6, -3, p
Suppose -259 + 283 = 24*x. Suppose 0*o + 4*o = -16. Sort o, x, 0, 2 in ascending order.
o, 0, x, 2
Let d be -5 + (0 - (-6)/(-8)*-4). Sort 2, -1, d, -3 in decreasing order.
2, -1, d, -3
Let z(o) = o**3 - 10*o**2 + 2. Let w be z(10). Let m be ((-108)/(-21))/(3/21). Suppose -4*s + 28 = 3*j, -2*s = 5*j + 2*s - m. Sort w, 11, j in ascending order.
w, j, 11
Let h = 625 - 622. Put -50, 0, h in descending order.
h, 0, -50
Let y = -94 - -54. Let l = -45 - y. Sort -2, 5, -0.4, l in decreasing order.
5, -0.4, -2, l
Suppose -l - 4*d = -6, 7*d = 2*l + 3*l - 30. Put -1, l, -3, 0 in decreasing order.
l, 0, -1, -3
Let v(a) = -2*a**2 + 3*a**3 + 8*a**3 + 2 - a - 12*a**3. Let w be 4/2 + 12/(-3). Let n be v(w). Put n, -5, 0 in decreasing order.
n, 0, -5
Let y = -1.009 + 0.509. Put y, -2/7, -2/9, -2.3 in decreasing order.
-2/9, -2/7, y, -2.3
Suppose 28 = 10*p + 8. Sort p, 4, 10.
p, 4, 10
Let r be (-12 - -15)/(2/(-2)). Let d be r/(-15) - 252/(-15). Suppose -n + d = 3*h, 2*h - 2*n = -2*h + 6. Sort 0.5, 2/7, h in decreasing order.
h, 0.5, 2/7
Let o = 14 - 23. Let h = -14 - o. Let k = 212/327 + 2/109. Sort k, h, 2 in descending order.
2, k, h
Let q = -0.9 - 3.1. Let r = -29 - -43. Let z = -14.3 + r. Sort q, 7, z.
q, z, 7
Suppose 0 = -2*j - 4 - 0. Let x be -1*((-11 - -6) + -5). Let v be 6/x*(-15)/3. Sort j, v, 5 in descending order.
5, j, v
Let r be 3*(-57)/(-252) + (-15)/60. Put 3/41, r, 0.3 in descending order.
r, 0.3, 3/41
Let y = 477358/135 - 3536. Let n = -127/540 + y. Sort 0.4, -3/7, n.
-3/7, n, 0.4
Let l = 0.8 + -0.5. Let t(x) = -x + 29. Let a be t(13). Suppose 0 = d + 4*s + s + a, 5*s + 13 = 2*d. Sort 3, l, d in descending order.
3, l, d
Let m = -0.4611 + -0.0389. Put -53, m, 0.1 in descending order.
0.1, m, -53
Let y(l) = -2*l - 16. Let h be y(-9). Let n be (-6)/(-2 - h/(-4)). Let a(s) = s**3 - 3*s**2 + 2*s - 2. Let r be a(2). Put n, r, -5 in increasing order.
-5, r, n
Suppose -37*t = -10*t - 1458. Put t, -4, 7 in descending order.
t, 7, -4
Let n(u) be the first derivative of -5 + 1/3*u**3 - 5*u**2 + 12*u. Let r be n(6). Put r, 1/8, 2 in descending order.
2, 1/8, r
Let n = -38 + 25. Let m be (-16 - n) + (12 - 1)*-1. Put 2, m, 0, -5 in decreasing order.
2, 0, -5, m
Suppose -14 - 26 = 4*q - 4*k, -18 = 3*q + 3*k. Let y be 5*(-6)/4*q/(-12). Sort y, 4, 2/17, -0.1 in descending order.
4, 2/17, -0.1, y
Suppose -2*p + 2*n = -1 + 3, -4*p = 5*n - 23. Suppose 3*o = 5*l - 27, 4*l - 4*o - 25 = l. Suppose d = p*d - l. Put -5, 0, d in descending order.
d, 0, -5
Let r = 2.59 - 1.59. Put r, -1/5, 2/9, -29 in descending order.
r, 2/9, -1/5, -29
Let w(f) = -36*f - 1. Let c be w(1). Let q = -38 - c. Let m be 4/(-8)*-2 - 0. Sort q, 4, m in decreasing order.
4, m, q
Let k(r) = 2*r**2 + 4*r + 2. Suppose -4 = 10*q - 8*q. Let u be k(q). Sort -14, 4, u, 1.
-14, 1, u, 4
Let l(u) = -u**3 - 3*u**2 - 4*u - 32. Let y be l(-4). Sort 4, y, -43 in descending order.
4, y, -43
Let w(q) = 5*q**2 + 5*q + 1. Let k(l) = 14*l**2 + 15*l + 3. Let f(o) = 6*k(o) - 17*w(o). Let x be f(4). Put -1, x, -3 in ascending order.
-3, -1, x
Let n = -35 + 21. Let l be 8/(-28) - 46/n - 13. Sort -4, l, 1 in descending order.
1, -4, l
Let o(r) = -2*r**2 - 13*r. Let u be o(-6). Let j be (0*(-2)/u)/2. Put -2, j, -4 in decreasing order.
j, -2, -4
Let a = -332 - -330.11. Let f = a + -0.11. Let p = f - -1.7. Sort p, 5, -1/8 in decreasing order.
5, -1/8, p
Suppose 0*s + s = 1. Let a be s + 1 + 5 + -14. Sort 5, a, 1 in increasing order.
a, 1, 5
Let m = -212 - -237. Sort -3/2, 5, 0, m.
-3/2, 0, 5, m
Suppose -50 = -4*j - j. Let k be ((-2)/(-10))/(6/j). Let f = -3/245 + -137/245. Sort f, 5, k in decreasing order.
5, k, f
Suppose 6 = -2*h - 0. Put 95, -4, 2, h in decreasing order.
95, 2, h, -4
Let p = -1083 - -1082. Let z = -78 - -56. Let k be (-2 - z/7) + -1. Put p, 1/5, k in decreasing order.
1/5, k, p
Suppose 12 = 16*z - 17*z. Put -6, 4, z, 0 in increasing order.
z, -6, 0, 4
Suppose 0 = -4*f + 2*f - 4. Let g = -208 + 1870/9. Put g, -4, 1, f in increasing order.
-4, f, g, 1
Let t = -4.27 - -3.87. Put 19, -7, t in ascending order.
-7, t, 19
Let i be (-5)/2*78/13. Let t be 6/15 + (-69)/i. Let b(u) = -u**3 - 1. Let a be b(1). Put t, a, 2 in decreasing order.
t, 2, a
Let p(a) = -a**3 - 8*a**2 - 13*a - 2. Let s be p(-6). Suppose 1 = -s*w - 15. Sort -1, w, 2 in increasing order.
w, -1, 2
Let w(c) = c**3 + 5*c**2 + 3*c + 1. Let r be w(-4). Put 4, r, -5 in increasing order.
-5, 4, r
Suppose 0 = 5*l - 4*t - 25, 11*l - 5 = 10*l + 3*t. Sort -3, l, -34, 0 in increasing order.
-34, -3, 0, l
Suppose -17*s = -38*s + 63. Put -1, -5, -2, s in ascending order.
-5, -2, -1, s
Let d = 941 + -936. Suppose -1 = -3*p - w - 0, 1 = w. Sort p, d, -5, -1 in ascending order.
-5, -1, p, d
Let u = 1.11 + -1.21. Sort -5, u, 1/14, 3 in increasing order.
-5, u, 1/14, 3
Let t = -0.2628 + -0.0372. Put -0.4, t, -1, 10 in descending order.
10, t, -0.4, -1
Let s(f) = -f - 2*f + 5*f + 2 + 0. Let p be s(-2). Let z be 2*p/(-5)*5. Sort 0, z, -5 in descending order.
z, 0, -5
Let j = -27.006 - -0.006. Let f = -26.6 - j. Let z = 0.9 + 0.1. Sort f, -2, z in descending order.
z, f, -2
Let f(l) = -2*l**2 + 42*l - 80. Let w be f(19). Sort w, 4, 1 in ascending order.
w, 1, 4
Let z be 1 - (-2 + (-1 - -2)). Let i = z + -1. Let m = -1334 + 1332. Sort m, i, -3.
-3, m, i
Let m = 38.1 + -15.1. Put m, 4, -1/5 in ascending order.
-1/5, 4, m
Suppose -b - z + 38 = 43, -4*z - 4 = 0. Sort 5, 8, -5, b in descending order.
8, 5, b, -5
Let j = -501 + 455.8. Let t = 45 + j. Sort 1/2, t, 0.4, -4/7 in descending order.
1/2, 0.4, t, -4/7
Let k(a) = a**2 + a - 5. Let x be k(0). Let j be ((-1)/(-2))/(17/306). Suppose j = -6*b + 3. Sort b, x, -3 in descending order.
b, -3, x
Let y be 9/6*(-3 - -1). Let o be ((-2)/10)/(y/(-5))*9. Let i be (6/(-9))/(4/6). Put 5, o, i in increasing order.
o, i, 5
Let m = -17587/4 - -4371. Let p = m + 25. Put -6/11, p, 0.4 in descending order.
0.4, -6/11, p
Let r = 5 - 4. Let c be 26/(-10) + 3/(135/(-18)). Put r, -5, -4, c in descending order.
r, c, -4, -5
Suppose 2*m = -0*