 w in increasing order.
w, -20, 5
Let p(o) be the first derivative of -5*o**3/3 - o**2 + 4*o + 16. Let a be p(1). Sort a, -24, 0, 4.
-24, a, 0, 4
Let p = 0 + 1. Let c(o) = -41*o - 35. Let w be c(7). Let b = 320 + w. Sort b, p, 4, 2.
b, p, 2, 4
Let y = 7 + -3. Let a = -123 + 51. Let p = a - -69. Put -1/15, p, y in descending order.
y, -1/15, p
Suppose -t = -3 + 4. Let o(x) = x**3 + 2*x**2 - x - 2. Let j be o(-2). Suppose j = 50*h - 47*h + 6. Put h, t, -6, -3 in decreasing order.
t, h, -3, -6
Suppose 966 = -242*g + 380*g. Sort g, 0, 5, -22, -1.
-22, -1, 0, 5, g
Suppose -1 = -34*l + 24 + 9. Put l, -5, -19, 9, 5 in descending order.
9, 5, l, -5, -19
Let l(w) = -28*w**3 + w**2 + 3*w + 2. Suppose -13*n = -5*n + 8. Let o be l(n). Suppose -3*c = -o + 13. Sort 0.05, c, -0.1 in descending order.
c, 0.05, -0.1
Let q = 26.8 - 27. Let k = q - 38.8. Let x = k + 39. Put x, -4, -0.1 in decreasing order.
x, -0.1, -4
Let x be (-7 + (4/(-5))/(102/(-255)))*1. Suppose -4*f = -5*o - 2 - 2, -5*f = -5. Put x, o, 35 in decreasing order.
35, o, x
Let p = 308.7 + -310. Put -1/18, p, 5, -0.4 in increasing order.
p, -0.4, -1/18, 5
Let i be 85/(-165) + 1/3. Let a be 7*-1 - 1479/(-255). Put i, 2, a in descending order.
2, i, a
Let j = 136 - 159.4. Let b = j - -19.4. Put b, 0.18, 4 in increasing order.
b, 0.18, 4
Let c(u) = 7*u + 74. Let r be c(-11). Let x be (-2 - (-4 - 3))*4. Sort x, 0, r in descending order.
x, 0, r
Let i be (21/(-2))/((-27)/(-252)). Let u = -102 - i. Sort -5, u, -1.
-5, u, -1
Let v be (35/(-2))/(7959/(-2274)). Suppose 3*f = -0*f - 12. Suppose -4*x - 10 = -5*x. Sort 0.1, f, v, x in ascending order.
f, 0.1, v, x
Let o = 47 + -44. Let z = -23.024 + 22.1. Let j = 0.076 - z. Sort j, -1/6, 5, o in ascending order.
-1/6, j, o, 5
Suppose -3 = 2*v + 1. Let j be (-36)/3*85/10. Let y = j - -99. Put 2, y, v in decreasing order.
2, v, y
Let y = 6374/35299 - -4/3209. Sort 0.9, 10/3, 0.5, y in decreasing order.
10/3, 0.9, 0.5, y
Let j(u) = -u**3 - 2*u**2 + 4*u. Let b be j(-3). Let n(x) = -27*x - 604. Let l be n(-22). Sort -1/2, b, l, 5/4 in descending order.
5/4, -1/2, b, l
Let s = -46075 - -46078. Let b be (-13 + (-2)/(-2))/1. Sort b, 0, s in decreasing order.
s, 0, b
Suppose 3*w = -4 - 2. Let s be -6 - (1 - (5 + -3)). Let b be ((-490)/294)/((-20)/(-72)). Put b, 0, w, s in ascending order.
b, s, w, 0
Let n be 2/(-4) + 3/(-6). Let t = -2.94927 + 0.94927. Sort t, n, -8 in descending order.
n, t, -8
Let m = 5 + -5. Let a be (-3)/((-360)/1585) + (-18)/(-9). Let x = a + -119/8. Put x, -0.2, m in descending order.
x, m, -0.2
Let i(s) = 29*s - 580. Let v be i(20). Sort -7, 2, 5, -2, v in ascending order.
-7, -2, v, 2, 5
Let p = 37.005 - 0.005. Let n = 36 - p. Let y = n + 6. Sort -0.5, 0.04, y in decreasing order.
y, 0.04, -0.5
Let h = 2275.1 + -2272.0903. Let x = h - 0.0097. Sort 3/4, x, 5, 22/5 in increasing order.
3/4, x, 22/5, 5
Let s = 59 - 62. Let y(m) = -2*m**2 - 12*m - 4. Let h be y(-6). Put -7, h, -1, s in descending order.
-1, s, h, -7
Suppose 5*k = 670 + 1165. Let u = k + -369. Put u, 4, 3, 5 in descending order.
5, 4, 3, u
Let q = -12 + 11. Let d = -0.3 + 1.3. Let a = 419 - 2094/5. Sort q, a, d, -11 in descending order.
d, a, q, -11
Suppose -4*l = -3*n + 36, -5*l = -4*n + 439 - 392. Sort -2, l, -1076 in descending order.
-2, l, -1076
Suppose 4*o + 582 = -5*i + 2661, 4*i - 1696 = 5*o. Let s = i - 424. Suppose c - 3 = -2*r, -7*c - 7 = -r - 2*c. Put s, 5, r in increasing order.
s, r, 5
Suppose 49*i = 47 + 2. Let m be (-2)/(-5) - 6/15. Sort i, m, -9, -4.
-9, -4, m, i
Let p = 44.24 + -46. Let s = p + -0.24. Let w be -2 - -1 - 15*(-8)/(-12). Sort 4, w, s, -5 in ascending order.
w, -5, s, 4
Let z = -2800 - -2800.28. Sort 0.3, -0.3, z in increasing order.
-0.3, z, 0.3
Let z = 376 - 364. Let s be (160/z)/2*(-18)/15. Sort 2, s, 5, 0 in decreasing order.
5, 2, 0, s
Suppose 4*i + 42*i - 874 = 0. Put -1, i, -2 in descending order.
i, -1, -2
Let w = -943/4 - -471/2. Let n(q) = -2*q**2 + q. Let y be n(0). Sort w, y, 0.46 in increasing order.
w, y, 0.46
Let u be (-25)/75 + 49/3. Let m be (-12)/(-3) + u/(-8). Let n(h) = -h**3 - 6*h**2 - 6*h - 4. Let d be n(-4). Sort m, d, -3 in descending order.
m, -3, d
Let h be ((-481)/65 + 7)/(1 + (-57)/45). Let w = 4 + 0. Put 0, h, w in increasing order.
0, h, w
Let v be (-2025)/(-90) + (-4 - 1). Let h = v - 17. Sort h, 2/5, -6/5 in descending order.
h, 2/5, -6/5
Let t(s) = s**3 + 2. Let b be t(0). Let n = -7658 - -7659. Suppose 5*h + 12 = -4*g, 4*h - 5*g - 5 = 10. Sort b, -3, h, n in ascending order.
-3, h, n, b
Let k = 2119 + -14795/7. Let f = 117/28 - k. Put -4, 0.1, f, 5 in decreasing order.
5, 0.1, f, -4
Let y = 12 - 5. Let a(r) = -7*r + 25. Let w be a(3). Suppose w*t - 4 = -0. Sort y, -4, t in descending order.
y, t, -4
Let t be (1/(-2))/((-5643)/(-1254)). Sort -2/3, -5, 3, 163, t.
-5, -2/3, t, 3, 163
Let l be (6 + (5 - 8))*(-4)/6. Let a = 4 + l. Suppose -7*s - 27 = a*s. Sort 2, 1, s in decreasing order.
2, 1, s
Let f(j) = -j**3 + 43*j**2 + 2*j - 90. Let i(o) = 43*o**3 + 2*o**2 - 7*o + 5. Let p be i(1). Let b be f(p). Sort b, -3, 4 in descending order.
4, -3, b
Suppose 19*m = 15*m. Suppose m = 2*o + 14 - 20. Suppose 2*a = 2*p - 10, 0*a - 2*a = -4*p. Sort a, -5, o in decreasing order.
o, -5, a
Let v(x) = -x**2 - 7*x + 18. Let a be v(-8). Let p(c) = -c + 12. Let z be p(5). Let d = a - z. Sort -2, d, -5 in ascending order.
-5, -2, d
Let u = 57 + -32. Let z = -4.448 - -4.97. Let k = -0.122 + z. Sort -3/7, u, k.
-3/7, k, u
Let y be ((-18)/36)/((-4)/(-96)) - -11. Suppose 0 = -7*p + 3*p + 12. Sort p, 28, y in descending order.
28, p, y
Suppose 445 = -65*k - 24*k. Put k, 19, -1, -2 in decreasing order.
19, -1, -2, k
Let t(u) = -u**3 - 11*u**2 - 45*u - 84. Let g be t(-6). Sort 0, g, 19, 4 in decreasing order.
19, g, 4, 0
Let s be ((-112)/4)/(-4)*-6. Let b(x) = -x**2 + 5*x + 7. Let k be b(6). Put k, 3, s in decreasing order.
3, k, s
Let u = 1.337 - 0.037. Let p = -58.8 + 59.3. Sort p, 2/13, 0.4, u in descending order.
u, p, 0.4, 2/13
Let a be ((-9)/6)/(6/(-8)). Let p = 116 + -78. Let z = p + -38.8. Put 0.1, 0.5, z, a in ascending order.
z, 0.1, 0.5, a
Let b(y) = 36*y - 2. Let j be b(6). Suppose -2*i = -j + 224. Suppose 4*s + 5*v = v, 5*v = 4*s - 36. Put i, s, 5, -2 in increasing order.
i, -2, s, 5
Suppose 0 = 160*z + 203*z + 463 + 626. Let s(h) = h**2 - 4*h - 1. Let o be s(5). Sort -19, o, z.
-19, z, o
Let f = 4.64 - 5.68. Put 3, f, 1/2, -3/5 in descending order.
3, 1/2, -3/5, f
Suppose 0 = -5*y + 16*y + 2*r + 52, -3*r - 12 = 0. Sort -119, y, 19 in descending order.
19, y, -119
Let u = 3.13327 - 0.13327. Let w = 3 - 4. Sort -4, u, w, 0.056 in increasing order.
-4, w, 0.056, u
Let n = -4944 + 5351.1. Let l = -407 + n. Put l, 5, -58 in ascending order.
-58, l, 5
Suppose -4*l + 101 = -3*j + 81, 5*l - 25 = j. Sort -2, j, -5, -1, 16 in descending order.
16, j, -1, -2, -5
Let m be (-114)/15 + 4 + 4. Let y(g) = 1 + 8 - 2 + 8 + 2*g. Let c be y(-6). Put m, -4, c in ascending order.
-4, m, c
Let r(v) = -83*v + 1. Let y be r(-1). Suppose -2*j - 3*p = -p + 24, -4*j + 5*p = y. Sort 5, 2, j in descending order.
5, 2, j
Suppose -8 = -4*k - 4*t, -k - 2*t = -4*t + 7. Sort 23, 2, k in decreasing order.
23, 2, k
Let f = 3 + -4. Let y be 1690/4 + (-45)/90. Let u = 416 - y. Sort 0, f, u in ascending order.
u, f, 0
Let k = 24181 - 72542/3. Put 0, -2, k, -46, -0.07 in descending order.
k, 0, -0.07, -2, -46
Let g = 400.7 + 55.3. Let h = 477 - g. Sort h, -5, -3/4 in descending order.
h, -3/4, -5
Let b be ((-6)/4)/((-15)/10 + (0 - -1)). Sort b, 11, -56 in ascending order.
-56, b, 11
Let l = -124 - -65. Let n = 0.0001 - 58.7001. Let v = n - l. Sort v, -2/9, 0 in increasing order.
-2/9, 0, v
Let b = -11/906 - -475/1812. Let t = -57 + 111/2. Put -3, t, -3.2, b in increasing order.
-3.2, -3, t, b
Let l = 234 + -2576/11. Let i = 307.366 + -9.366. Sort l, 1/5, i.
l, 1/5, i
Let d = -2318 + 2446. Sort d, -1, 5, 4 in increasing order.
-1, 4, 5, d
Let b = -264 - -280. Suppose 21 = -b*n + 9*n. Put -5, 5, n, 95 in decreasing order.
95, 5, n, -5
Suppose 160*x - 302 = 158*x - 8*d, -2*x = -2*d - 262. Put x, -23, 3 in ascending order.
-23, 3, x
Let a be (549/234)/(1/(-2)) - -5. Let w = 33/65 - a. Put w, 0.4, 0, 2 in descending order.
2, 0.4, w, 0
Suppose 2*v - 4*q - 24 = 0, 31 = -2*q