16, 3, h, -3 in decreasing order.
3, h, -3, -3416
Let o(m) = 3*m**2 - 66*m - 66. Let b be o(23). Sort -66, b, -6 in ascending order.
-66, -6, b
Let i be -15 + 301/28 + 5. Sort -0.3, -3/130, i in increasing order.
-0.3, -3/130, i
Let d(r) = -r**3 + r**2 + 17*r + 3. Let v be d(-4). Suppose 20*j = 23*j - v. Let n = -20 + 13. Put j, -3, n in decreasing order.
j, -3, n
Suppose -4*d = -152 - 140. Let z = 807/11 - d. Sort -0.2, -0.3, z in descending order.
z, -0.2, -0.3
Suppose 2*b = -9 + 25. Let c be 33*(b/12 + -1). Let m = c - -10. Sort -4, m, -5 in decreasing order.
m, -4, -5
Let t = 35 + -32. Let m = -232 + 929/4. Sort -0.4, t, m, -1/32 in descending order.
t, m, -1/32, -0.4
Let m = 2.5 - 3. Let p = -2078.467 + 2078.4. Put p, m, -5 in ascending order.
-5, m, p
Let s = -5 - -3. Let h = -2758.3 - -2759.3. Put s, h, 123 in increasing order.
s, h, 123
Let t = 2.6032 + -0.6032. Put -6, -0.4, 7, -3, t in descending order.
7, t, -0.4, -3, -6
Suppose 4*u - 49 = 4*q - 77, -3*q = 4*u. Sort -28, 4, u, 5, -2 in ascending order.
-28, u, -2, 4, 5
Suppose -31 = 5*r + 259. Suppose -2013*w + 6 = -2004*w - 12. Put 3, 0, w, r in decreasing order.
3, w, 0, r
Let z(s) = -10*s - 255. Let j(n) = -5*n - 129. Let u(w) = -5*j(w) + 2*z(w). Let b be u(-28). Sort 19, b, 4 in descending order.
19, 4, b
Suppose -2*n = 4*j, -334*j - n = -336*j. Sort j, 1, 64 in ascending order.
j, 1, 64
Let h(n) be the second derivative of n**5/20 - 19*n**4/12 - 11*n**3/6 - 181*n**2/2 - 51*n + 3. Let b be h(20). Sort 2, 5, b, 3 in decreasing order.
5, 3, 2, b
Suppose -v + 5*f = -44, -v - 389*f + 52 = -395*f. Sort -5, v, 3, 18, 1 in descending order.
18, v, 3, 1, -5
Let i(h) be the first derivative of -3*h**2 + 17*h + 166. Let k be i(2). Put 2, 35, k in decreasing order.
35, k, 2
Let j = -89.95985 + -0.04015. Put 1/3, 2/5, j, 2 in descending order.
2, 2/5, 1/3, j
Let j = -6 + 6.4. Let f be 13/(-39)*16/2*(5 - -7). Sort f, j, 1/4 in descending order.
j, 1/4, f
Let m be (-20070)/5352 + (-2)/((-16)/6). Suppose -5*y + 25 = 0, 5*b - 4*y + 3*y = 5. Sort m, 4, b in decreasing order.
4, b, m
Let u = 90 + 40. Suppose u*v - 128*v = 0. Suppose v = -8*p + 46 + 26. Put 0, -1, -5, p in decreasing order.
p, 0, -1, -5
Let m = -9 + 10.6. Let g = -0.4 - m. Let k be 3/15 - (-28)/(-35). Sort g, -0.1, k in descending order.
-0.1, k, g
Let p(g) = -1422*g + 27 + 717*g + 709*g. Let u be p(-6). Put -3, u, -2, 4 in decreasing order.
4, u, -2, -3
Let s = -6965 - -6965. Put -1.66, s, 3, -2/3 in decreasing order.
3, s, -2/3, -1.66
Suppose s + 15 = -2*s. Let y = -166 + 305. Let k = y + -134. Sort 2, k, s in decreasing order.
k, 2, s
Suppose -4*j + 39 = -5*a, 4*j - 7 = -5*a + 2. Let m(c) = -20*c**2 - 6*c**3 - j + 16*c - 13 + 4*c**2 + 5*c**3. Let n be m(-17). Put -5, n, 0 in decreasing order.
0, n, -5
Let f = -0.66 - 0.34. Let x = -41.4 + 38.4. Sort -0.08, x, -3/8, f in increasing order.
x, f, -3/8, -0.08
Let d = -19229 - -19110. Sort 1, -4, -5, d in decreasing order.
1, -4, -5, d
Let j(k) = 11*k - 1212. Let l be j(110). Put l, 17, 1, -57 in ascending order.
-57, l, 1, 17
Suppose 4*j + 4 = 0, -3*j + 7*j = 2*m - 10. Suppose 6*n = 5*n + m*s + 23, 2*s = -n - 2. Sort n, 4, -5, 0 in increasing order.
-5, 0, 4, n
Let c be (-62)/(-341) - 620/22. Let n be 0*(-2)/(-6) - c/350. Sort 0.2, n, -2/13 in decreasing order.
0.2, n, -2/13
Let k be ((-7)/(-2) + 0)*(-8 + 10). Put -1, 5, k in descending order.
k, 5, -1
Let o(z) = -5*z + 76. Let x be o(16). Let u be ((-12)/(-4))/((-1)/x*-3). Let t = 0.4 + 2.6. Put -2/9, u, -1, t in increasing order.
u, -1, -2/9, t
Let t = -572 + 353. Let x = t - -224. Sort 0, x, -1.1 in decreasing order.
x, 0, -1.1
Suppose 2*i - 2*o = 52, -38 = -i - 4*o - 47. Put 1, i, 10, -3 in increasing order.
-3, 1, 10, i
Let k be (3 + -1 + -1)/((-9)/(-36)). Let g(b) = b**3 + 4*b**2 + 7*b + 13. Let u be g(-3). Put 0, -4, u, k in descending order.
k, u, 0, -4
Let i be 195/(-78)*12/(-10). Suppose v + o = 5*v - 25, -4*o - 22 = -i*v. Let l(x) = x**3 + 5*x**2 - 4*x + 8. Let u be l(-6). Put u, -5, v in descending order.
v, u, -5
Suppose 0 = -3*u, 4*i + 4 = 32*u - 27*u. Put -5, i, -13, 5 in decreasing order.
5, i, -5, -13
Let o = -2.34 - -0.34. Let d = 0 + 0. Let q be (d - 2) + 39/21. Put q, -2/47, o, -1/2 in ascending order.
o, -1/2, q, -2/47
Suppose -1630*l = -1638*l + 16. Let i be 0 - -1 - (-1)/1. Suppose 3*p - i*b + l = 11, 2*p - 7 = b. Put -5, p, -2 in ascending order.
-5, -2, p
Let q be 8*(156/24 + (-21)/3). Sort q, 2/5, -1/408.
q, -1/408, 2/5
Suppose w = 5*w + 32. Suppose 5*g - 13 - 6 = 3*u, 5 = -5*u - 5*g. Let c = 15116 + -15115. Sort c, w, u in ascending order.
w, u, c
Suppose -17*g - 25 = -12*g. Let v be (2/8)/(21/20 - 1). Suppose h - 4*m = -3 - 3, 0 = 5*h - v*m + 90. Sort 5, h, g in decreasing order.
5, g, h
Let w = -10.08 - -9.98. Let g = -27.23 + 27. Let u = 1.77 - g. Put 1, w, u in decreasing order.
u, 1, w
Let p be 344/32 + -10 + (-14)/8. Sort -8, p, 0, 272 in ascending order.
-8, p, 0, 272
Let g = 0.8 + -1. Let z = -0.10202 + 2.10202. Put -4, z, g, 22 in ascending order.
-4, g, z, 22
Let a be (((-8)/(-6))/(-2))/(12/(-36)). Let p be 22/7 - (-2)/(-14). Let i be -5 - (2 - p)*2. Sort -5, a, i in increasing order.
-5, i, a
Suppose 25*k - 364 = -31 + 117. Sort k, 3, -26 in ascending order.
-26, 3, k
Suppose 28 = b - 5*w, 5*w = b + b - 31. Suppose 0 = -y + 2*u - 6, -126*y + 127*y = 4*u - 8. Put b, y, 5, 7 in decreasing order.
7, 5, b, y
Let c = -6137.971 + 6138. Put 0.1, 2, 5, c in increasing order.
c, 0.1, 2, 5
Let m(o) = -30*o**2 + 240*o - 3. Let a be m(8). Let v = -1 - 0. Sort -1/2, a, v, 1 in ascending order.
a, v, -1/2, 1
Suppose 7*l = 3*l - 4. Let m be (-12)/(-5) + 408/255. Let g be (m/(5 + -9))/((-2)/(-10)). Put g, -4, l in ascending order.
g, -4, l
Suppose 0 = o - 3*o. Suppose -5*f + f = -4*a + 28, -3*f - 12 = 0. Suppose -2*v - a*c = 2, -5*v = 8*c - 3*c. Sort -4, v, o in decreasing order.
v, o, -4
Let i(f) = -3*f**3 - 44*f**2 + 31*f + 42. Let k be i(-14). Put k, 1, -4 in descending order.
1, -4, k
Let i(f) = f**2 - 3*f. Let h be i(4). Suppose h*y + 10 = 2. Suppose 63 - 96 = -11*t. Sort -1, y, t.
y, -1, t
Let b = -1609 + 1607. Sort -0.281, b, 0.1 in increasing order.
b, -0.281, 0.1
Let x = 2.4 + -72.4. Let m = -72 - x. Suppose c = -3 + 7. Sort -2/7, 0, c, m.
m, -2/7, 0, c
Let i(x) = x**2 + 3*x + 1. Let g be i(-4). Let f = -382 + 391. Suppose -49*n = -t - 45*n + 12, 5*t + f = -3*n. Sort g, 1, t, -9 in ascending order.
-9, t, 1, g
Let w be ((-18)/(-8)*-1 + 2)*(-352)/(-528). Let g(s) = s**2 - 6*s. Let o be g(6). Suppose -v + 3*x + o = 2, 0 = 4*v - 4*x. Sort w, v, -0.5, 4.
-0.5, w, v, 4
Suppose 0 = -t - 4*t - 10. Suppose 8 = x + 2*m, 76*x - 3*m = 79*x - 6. Sort -2/13, t, x, -1.
x, t, -1, -2/13
Let n be (-41)/((-205)/(-30)) - -2. Sort -5, 1, n, -6 in increasing order.
-6, -5, n, 1
Let q = -2760 - -2763. Let t be (-6)/(4/8 + 1). Sort -6, 0, q, t.
-6, t, 0, q
Let r = 4405 + -4385. Sort 3, 0, 5, r, 1.
0, 1, 3, 5, r
Suppose -5*c - 5 = -5*k, -2*c - c - 12 = 0. Let t be (-12)/234*-3*26. Suppose 2*d = 3*d - 2*p - 10, -18 = d + 5*p. Sort t, k, d.
k, d, t
Let n be 1*(-8)/10*(-143)/286. Let r = -160/63 + 19/9. Sort r, 22, n.
r, n, 22
Let d = -11896 - -11836. Sort 10, 4, d.
d, 4, 10
Let n = 172.13 + -172. Let a = n + -3.13. Sort a, -0.07, 0.2, -2/9 in descending order.
0.2, -0.07, -2/9, a
Suppose 392*y - 397*y - 5 = -3*x, 4*y - 2*x + 2 = 0. Sort 23, y, 55 in descending order.
55, 23, y
Let x be (8/56)/((-24)/(-14)). Let c = 54 - 54.004. Let n = c - 0.026. Put 0, x, n in descending order.
x, 0, n
Suppose -21 = -15*p + 99. Let a be (-6)/5*(p - 126/27). Sort -3, -5, a, 2.
-5, a, -3, 2
Suppose -p - 13 = 3*u, -2*p + 20 = 3*p - 2*u. Suppose 7 = -p*a + 3. Suppose -38*h + 35*h + 9 = 0. Sort h, a, 0.
a, 0, h
Let g = 82 + -82.66. Let q = g + 1.06. Let u = 51 - 51.4. Put u, q, -10 in descending order.
q, u, -10
Let x = -80.78 + 81.18. Sort x, -0.04, -2, -3, -0.3.
-3, -2, -0.3, -0.04, x
Let g be (94/846 + (-41)/(-36))/((-18)/(-56)). Put -0.2, g, -4 in descending order.
g, -0.2, -4
Suppose -588 = 347*k - 195 + 1342. Put -143, -1.3, k in increasing order.
-143, k, -1.3
Let m = -63 - -65. Suppose m*i + 2*i = -12. Put i, -4, 0, 1 in ascending order.
-4, i, 0, 1
Let d(n) = n**2 + 10*n + 1. Let u be d(-10). Let k be 26/28 + (-3)/6*u. Let r = -54 + 