et m = -2256 - -2382. Sort 5, m, 0.
0, 5, m
Let u(l) be the third derivative of -l**6/120 - 7*l**5/60 + 5*l**4/12 + 19*l**3/6 + 12*l**2. Let x be u(-8). Sort -8, 0, x.
-8, 0, x
Let o = 517 - 3621/7. Put 0.1, -1/33, o in descending order.
0.1, -1/33, o
Let y = 0.07 + 9.93. Let o = y + -10.3. Put 5, o, 2/9 in descending order.
5, 2/9, o
Suppose 18*u + s - 6 = 13*u, 0 = 5*u - 3*s - 2. Sort -7.2, u, 3/5 in descending order.
u, 3/5, -7.2
Let r = -9 + 17. Let v be (-1)/4 - ((-58)/r - -5). Let j(c) = c - 9. Let y be j(7). Put -5, y, v in descending order.
v, y, -5
Suppose 5*m = 31 - 6. Let q(u) = -13*u + 65. Let c be q(5). Let b(p) = 2*p**2 - 10*p + 15. Let n be b(2). Sort n, m, c.
c, n, m
Suppose 0 = -3*l - q + 9, -q + 8 = -4*l + 27. Sort -3, 7, l in decreasing order.
7, l, -3
Let l be -3 - (7/(-14))/((-2)/(-4)). Sort 5, -1, -9, l.
-9, l, -1, 5
Let q = 8.1 - 7.8. Sort 0.1, q, 2 in descending order.
2, q, 0.1
Let f be 12/(-8) + 9/((-144)/(-104)). Suppose c + 2 + 2 = 0. Sort c, -1, f.
c, -1, f
Let q be (-6)/2 - (-1)/(-1). Suppose -2*t - 16 + 10 = 0. Put t, q, -10 in decreasing order.
t, q, -10
Let p = 2.6 - 3. Suppose -q + 28 = -5*k, -2*q + 4*k - 2*k = -16. Suppose -q*s - 24 = 3*s. Put -5, s, p in descending order.
p, s, -5
Suppose 3*w - 39 + 21 = 0. Put w, -2, 4 in decreasing order.
w, 4, -2
Let x = -1869 - -1864. Sort -2, x, -16, -4.
-16, x, -4, -2
Let a = 0.02 + -0.42. Suppose -2*h = 3*s + 13, 4*s - 5 - 15 = 0. Let n(w) = w**3 + 13*w**2 - 13*w + 19. Let p be n(h). Put a, p, 4 in decreasing order.
p, 4, a
Let v = -4 + 3.9. Let s = 38.1604 + -0.1604. Sort v, s, 3/2 in ascending order.
v, 3/2, s
Suppose -x - 3*v = 21, 0 = 2*x - 6*x - v - 62. Let h be 12/(-10)*x/(-6). Let a be 14/21 - (-8)/h. Put 0, -5, a in descending order.
0, a, -5
Let q = 13 - 22. Sort q, -0.27, 1/2, 2 in decreasing order.
2, 1/2, -0.27, q
Let j be ((-8)/5)/(-1) + -1. Let x = -9.04 - -9.01. Sort x, 1/3, j, 3 in descending order.
3, j, 1/3, x
Let u = 9.963 + 0.037. Let h = u + -10.8. Let q = -71 - -637/9. Put q, h, -1/5 in descending order.
-1/5, q, h
Let i(x) = -2*x**3 - 4*x**2 - 2*x - 4. Let p be i(-2). Sort -21, p, -4.
-21, -4, p
Let m(v) = -v - 4. Let i be m(-11). Suppose -w = -5*b + i, 4*w - 2 = -2*b + 14. Sort w, -1, 5, 6 in decreasing order.
6, 5, w, -1
Suppose -3*w + 161 = 4*w. Let c = -20 + w. Sort 5, c, 3/7, -0.4 in decreasing order.
5, c, 3/7, -0.4
Let z = -34 + 10. Let o = z - -23. Sort -2, 3, o, 5 in decreasing order.
5, 3, o, -2
Let o be -4 + (3 - 6) - -2. Let z be (o + 5)/(3/3). Put z, 11, -5 in increasing order.
-5, z, 11
Let v = -138 + 138.3. Let h = 16 - 16. Sort h, v, 0.1 in descending order.
v, 0.1, h
Let p(b) = 3*b**2 + 31*b + 70. Let h(i) = -5*i**2 - 47*i - 105. Let x(c) = -5*h(c) - 8*p(c). Let f be x(15). Sort 5, f, -4 in decreasing order.
5, -4, f
Let r = -832 - -830. Put -11, r, -5, -1 in descending order.
-1, r, -5, -11
Suppose -18*x + 1 = -17*x. Let f = x - -5. Sort f, 1, -2.
-2, 1, f
Suppose -4*r - 21 = 5*q, 2*r + 3 = 4*q - 1. Suppose -3*f - 1 = 14. Put 5, -1, f, r in ascending order.
f, r, -1, 5
Let k = 5713 - 5707. Suppose 2*b - 6 = m + 3*m, 2*m + 6 = 0. Sort -5, k, b in increasing order.
-5, b, k
Let r(o) = -2*o**2 + 62*o + 77. Let h be r(32). Sort h, 3, 1/3 in decreasing order.
h, 3, 1/3
Let q be -1*(14 + -6 - 10). Suppose 2 = 2*g, 12 - 4 = -s - g. Let v = 12 - 7. Sort q, s, v in decreasing order.
v, q, s
Let z = 9 - 12. Let a = z - -5. Let r = -1.1 + -2.9. Sort -1/8, r, a in ascending order.
r, -1/8, a
Let f = 31.132 - 31. Let k = f + 13.968. Let i = k - 14. Put 2, i, 9 in decreasing order.
9, 2, i
Let c = -45 - -45.7. Let m = -4.236 + -0.064. Let r = c - m. Sort -5, r, 0.4 in decreasing order.
r, 0.4, -5
Let d = -34/105 + -10/21. Put -1/6, 0, d, 1 in descending order.
1, 0, -1/6, d
Suppose -2*r - a = 2, 5*a + 6 = -4*r - 4. Suppose 3*f - 18 + 3 = r. Sort 1, -9, f in descending order.
f, 1, -9
Let i = 2441/2 + -1221. Put 2, i, -3, -1 in decreasing order.
2, i, -1, -3
Let v = 624 + -642. Sort 2/13, 0.3, -6, v.
v, -6, 2/13, 0.3
Let i(c) = -c**2 - 6*c - 6. Let d be i(-3). Let q = 5 - d. Let g(a) = -a**2 - 4*a + 2. Let w be g(-5). Put 0, w, q in ascending order.
w, 0, q
Let x = -8032/15 - -535. Let s = 1/5 - x. Put -2/9, -2/13, s in increasing order.
-2/9, -2/13, s
Let w = -13.67 + -0.33. Let r = -13.8 - w. Put 0.03, r, -3 in ascending order.
-3, 0.03, r
Let g = 259 + -577. Let a = 5408/17 + g. Put -1/2, a, 2 in descending order.
2, a, -1/2
Let t(m) = -33*m - 26. Let j be t(6). Let u be (j/12)/(-7) - (0 + 3). Sort 1, -0.7, u, 3/4 in decreasing order.
1, 3/4, u, -0.7
Let x(u) = u**2 + 12*u - 150. Let s be x(8). Sort 67, -3, s.
-3, s, 67
Let w = -3.3 + 2.8. Let r = 144 + -138.3. Let x = 6 - r. Put x, 3, w in decreasing order.
3, x, w
Suppose -8 = 4*t - 28. Suppose -t*s = -3*j - 3, s = 2*s - 5*j - 5. Let y be 3/(-54)*3 + 0. Sort y, s, -2 in decreasing order.
s, y, -2
Let a(j) = -3*j - 24. Let c be a(-9). Suppose 2*y - 2 = c*k, 0*y + y - 4 = 3*k. Sort -4, y, 2 in decreasing order.
2, y, -4
Let p = 1.38 + -6.38. Sort -9, -2/15, p, 4.
-9, p, -2/15, 4
Let m = 0 + -9. Let j(g) = 3*g**2 - 66*g - 68. Let i be j(23). Sort m, 3, i in increasing order.
m, i, 3
Let j(t) = -t**2 + 10*t - 16. Let n be (-180)/(-21) + 12/(-21) - 0. Let f be j(n). Sort f, 5, 1, 4 in increasing order.
f, 1, 4, 5
Let r = 0.268 - 0.568. Sort -0.2, -3, r, 3.8.
-3, r, -0.2, 3.8
Suppose 0 = -3*s - 0*s + 9. Let m be s + (0 - (-4)/(-2)). Let f be (-3)/(-2) + (-27)/(-54). Sort 5, f, m in decreasing order.
5, f, m
Let p(v) = -8*v**2 - 14 + 9*v - 2 - 4*v**3 + 7 + 5*v**3. Let u be p(7). Let d be (-4)/18 - (-145)/45. Put 1, u, d in increasing order.
1, d, u
Suppose 16 = -24*y + 16*y. Put 39, y, 4 in ascending order.
y, 4, 39
Let b(f) = -25*f + 499. Let w be b(19). Sort w, 4, -5.
-5, 4, w
Let o = -2.14 + 2.54. Sort 1, o, -3/2, -2/91 in increasing order.
-3/2, -2/91, o, 1
Let u(n) = 54*n - 2. Let b be u(1). Put 4, b, 0.5 in decreasing order.
b, 4, 0.5
Suppose -13 + 17 = f. Suppose 3*t - 3 = f*t. Let g = -6 + 2. Sort g, 5, t in ascending order.
g, t, 5
Let m be (-8)/3*18/(-12). Let y = 372 + -374. Put m, 17, y in ascending order.
y, m, 17
Let d be (-75)/(-9) - (-1)/(-3). Let v be ((-3)/(-6))/(1/d). Suppose 0 = 5*c + 4*r + 5, 4*r + 3 = -7*c + 4*c. Sort v, -2, c in decreasing order.
v, c, -2
Let s(k) = k**2 - 10*k. Let d be s(10). Let p(x) = -3 - 11*x**2 + x**3 + 2*x**2 + x - 11*x. Let a be p(10). Sort a, d, 2.
a, d, 2
Let g = -623/15 - -125/3. Let j = -7/60 - g. Let r be ((-14)/(-10))/(-1) + 1. Put r, j, -1/3 in descending order.
j, -1/3, r
Let l = -0.341 - -1.341. Sort 1/15, -5/2, l, -1.
-5/2, -1, 1/15, l
Let y be 9/(-24) + (483/(-56) - -2). Sort 5, 2, -4, y in decreasing order.
5, 2, -4, y
Let c = 780.2 - 780. Put c, -0.1, 0.14, -0.5 in increasing order.
-0.5, -0.1, 0.14, c
Let w = 1.06 - 0.66. Sort w, -8/9, -2 in ascending order.
-2, -8/9, w
Let y = -333.04 + 345. Let d = y + 0.04. Let z = 9 - d. Sort 0.4, 0.2, z in decreasing order.
0.4, 0.2, z
Let j(w) = 4*w - 3. Let y be j(2). Let q = -18491 + 18492. Put y, 4, q, -3 in descending order.
y, 4, q, -3
Let q(b) = -2*b - 7. Let u be q(-5). Let y be 36/16*(-16)/3. Let h(m) = m**2 + 13*m + 16. Let z be h(y). Sort -2, u, z in ascending order.
-2, u, z
Let v(f) = f**2 - 7*f + 12. Suppose -3*b = -q - 11, -3*b + 5*q + 13 = 3*q. Suppose b*h - 2 - 16 = 0. Let n be v(h). Put 0, n, -1 in decreasing order.
n, 0, -1
Let f = -2 + 2.5. Suppose 36 = z + 8*z. Sort -1, f, z in decreasing order.
z, f, -1
Let j = -3 + 5. Suppose -j*x = 9*x + 55. Sort 2, -4, x in increasing order.
x, -4, 2
Let i = -1.058 - -85.658. Let f = i - 85. Sort -1/2, -6/5, 0.2, f in decreasing order.
0.2, f, -1/2, -6/5
Let x = 28 - 27.8. Let q = -11 - -22. Let l = q + -6. Put x, 8, l in decreasing order.
8, l, x
Let i be (10 + 405/(-40))/(1/(-8)). Sort -15, 2, i, -4.
-15, -4, i, 2
Let y(u) = -u**3 - 9*u**2 - 20*u + 3. Let t(r) = 2*r**3 + 10*r**2 + 21*r - 2. Let w(g) = 2*t(g) + 3*y(g). Let z be w(9). Sort -4, -5, z.
-5, -4, z
Let r = -0.131 + -0.069. Let h = 0.4 + -0.4. Sort r, 3, h in descending order.
3, h, r
Let l = 188 - 191. Let i be (-22)/(-12) - 1/2. Suppose -18 = -3*u - z, z + 0 = 3. Put l, u, i in ascending order.
l, i, u
Suppose 8 = -3*r + 2. Let x(s) = -s**2 + 7*s + 17. Let p be x(-2). 