 k = -l + 4*l + 590. Let o = l - -783/4. Sort 1/3, 0.4, o in decreasing order.
0.4, 1/3, o
Let v = 141/4 - 35. Let w(n) = n + 2. Let a be w(0). Put v, a, 1 in decreasing order.
a, 1, v
Let c(o) be the third derivative of o**6/120 + o**5/12 - o**4/24 - 2*o**3/3 + 2*o**2. Let g be c(-5). Suppose -x = 4*x + 5. Sort 3, x, g in descending order.
3, g, x
Suppose -9 = -4*n + 2*z - 3*z, 4*z = -2*n - 6. Suppose f + 14 = 2*f + n*c, 16 = 4*c. Sort f, -1/3, 4 in increasing order.
-1/3, f, 4
Let q = 0.004 - -4.996. Put -0.5, -2/3, q, 1/2 in decreasing order.
q, 1/2, -0.5, -2/3
Let f = -90.4 + 90. Sort -13, f, -5 in ascending order.
-13, -5, f
Let o be -2 - (8/(-2) - 1). Sort 0, o, 4 in decreasing order.
4, o, 0
Let c = -0.141 + -1.859. Sort 0.04, c, -1.
c, -1, 0.04
Let t = 123 + -613/5. Put t, 0, -1/8, -1/2 in descending order.
t, 0, -1/8, -1/2
Let h(y) = -y**2 + 4*y + 10. Let g be h(6). Put -4, 0, 6, g in decreasing order.
6, 0, g, -4
Suppose 0 = -5*n + 4*t + 22 + 7, 0 = 3*t + 3. Suppose v - 6*v = 4*o + 11, -2*o - 4*v - 4 = 0. Put o, -1, n in decreasing order.
n, -1, o
Let y = -0.98 + 0.78. Let z = -1.3 + 1. Put y, 0.2, z in increasing order.
z, y, 0.2
Let q = 1 - -4. Suppose 5*h = 0, a = 6*h - h + 4. Sort a, -1, q in increasing order.
-1, a, q
Suppose -5*a - 4 = -9. Suppose h - 3*t + a - 6 = 0, 2*h - 2 = 2*t. Put -4, h, -5 in decreasing order.
h, -4, -5
Suppose -o = 3*o. Let v = -0.3 + 0.1. Sort v, o, -2/51 in decreasing order.
o, -2/51, v
Let l = -0.012 - 0.188. Let s = 2.5 + -3. Sort s, l, -3/8 in decreasing order.
l, -3/8, s
Let c = -0.9 - 2.1. Let x = 6 + c. Sort x, -4/5, -4 in increasing order.
-4, -4/5, x
Let s = 7 + -5. Suppose -4*x - 4*c - 36 = 0, 0*x + x + 5*c + 1 = 0. Let b = 6 + x. Sort s, 4, b in decreasing order.
4, s, b
Let n be 3/((-4)/(-10) - (-56)/160). Put 2, 3, -3, n in increasing order.
-3, 2, 3, n
Let l(n) = -n - 9. Let w be l(-10). Sort 5, w, 7.
w, 5, 7
Let l = 26 - 13. Suppose t - 6*t + 2*s = -13, 3*t = -4*s - l. Let k(b) = 3*b**2 - 2*b + 1. Let h be k(1). Put t, h, 0 in descending order.
h, t, 0
Suppose 2*c + 2*c = -z - 8, -2*c = -z - 2. Sort 5, z, -3 in decreasing order.
5, -3, z
Suppose 4*d = v - 12, -5*v - 1 = -d - 4. Sort d, 4, -5 in decreasing order.
4, d, -5
Let i = -45 - -40. Put i, 7/2, 1/2 in descending order.
7/2, 1/2, i
Let o be 40/(-30)*(-3)/(-2). Let y = 15 - 11. Sort o, y, 2 in decreasing order.
y, 2, o
Let h be 2/(-4)*-6 - 2. Suppose t = 2*t - h. Sort t, 4, -3.
-3, t, 4
Let p be (-2)/(-2 + (-105)/(-54)). Let d = p - 21. Suppose -3*n = 2*a + 2*a + 13, -4*n - d = 3*a. Sort a, 4, -4.
-4, a, 4
Suppose 1 = 3*c - x, 0 = -c + 5*x + 3 + 2. Sort 1, c, 4, 2 in increasing order.
c, 1, 2, 4
Let z = 3 - 6. Sort 0, -0.4, z in descending order.
0, -0.4, z
Let o = 4 - 4. Suppose -3*z - 2*t - 16 = o, -2*z + 21 = t - 6*t. Sort 1, z, 0 in descending order.
1, 0, z
Let p = 1 + 3. Suppose -p*t + 14 = -6. Sort -3, -2, t in descending order.
t, -2, -3
Let a = 12.7 + -13. Put 4, 2, a in descending order.
4, 2, a
Let k be 1/(-6) - 57/210. Let i = k - -4/7. Let u = 4 - 5. Put -3, u, i in ascending order.
-3, u, i
Let j = 5 - 3. Suppose -3*f - 2*x + 23 = 2*f, f - x = 6. Suppose 6*m + f = r + 4*m, -4*r + 8 = 4*m. Sort 1, j, r in descending order.
r, j, 1
Let k = 12 - -7. Let t = -31 + k. Let i = 7 + t. Sort 5, 0.4, i in descending order.
5, 0.4, i
Let p = 39 - 39.2. Sort 3, p, 4/3.
p, 4/3, 3
Let g = 49 - 48.7. Sort g, 4/3, -1/3, 0.5 in ascending order.
-1/3, g, 0.5, 4/3
Let x be (-8)/44 - 4/(-11). Put 0.4, x, 0 in ascending order.
0, x, 0.4
Let o = 2386 + -7094/3. Let z = o - 59/3. Put -0.4, z, 0.2 in decreasing order.
z, 0.2, -0.4
Let h = 0.24 - -0.16. Sort 1/3, h, 0.5 in descending order.
0.5, h, 1/3
Suppose 15 = 2*r + r. Let f = -3.1 + -0.9. Sort r, f, -0.1.
f, -0.1, r
Suppose -o = -0*o - 3. Put o, -3, 4 in ascending order.
-3, o, 4
Let a be 11/4 - 1/(-4). Let t(p) = -p. Let d be t(a). Sort 5/6, 5, d.
d, 5/6, 5
Let c(o) = -o**3 + 6*o**2 + 6*o + 10. Let g be c(7). Let w = 2 + g. Let r = -1 + 2. Put r, 4, w in increasing order.
r, 4, w
Let k(h) = -10*h - 10. Let a(c) = 7*c + 7. Let b(s) = -7*a(s) - 5*k(s). Let q be b(0). Let m = -1 - 2. Put m, q, 3 in ascending order.
m, q, 3
Let h = 3.5 - 3. Let g = -3 - -2.9. Let n = -189 - -189.4. Sort n, h, g in descending order.
h, n, g
Suppose -6*y = -5*y. Suppose 4*n = -y*n. Put -4, 5, n in decreasing order.
5, n, -4
Let t = -0.168 - 0.232. Sort t, -5, 2/5, -2/7.
-5, t, -2/7, 2/5
Let u = 163 + -137. Sort -2/11, -2, u in decreasing order.
u, -2/11, -2
Let k = -13 - -15. Sort -1, k, 0 in descending order.
k, 0, -1
Suppose 15 = -4*j + 9*j. Suppose j*s = -6 + 21. Let q = -9 + s. Put -3, q, 4 in ascending order.
q, -3, 4
Let q be 148/(-38) - (-11 + 7). Sort q, 0, 0.1 in increasing order.
0, 0.1, q
Let l be ((-120)/(-16) + -6)*(-8)/3. Put l, 4, 11, -2 in ascending order.
l, -2, 4, 11
Suppose 3*k - 12 - 3 = 0. Put -6, k, -3 in descending order.
k, -3, -6
Let h = -0.8 - -0.87. Let k = -0.57 + h. Sort k, 3, 1.
k, 1, 3
Let q = -160 + 109. Let r be (-2)/(-6) + 11/q. Let u = -0.1 + 0.1. Sort r, 4, u.
u, r, 4
Let v(r) = 5 + 0 + 5 - r - 13. Let d be 2/(-6)*-4*-3. Let i be v(d). Put i, -0.5, 4/3 in decreasing order.
4/3, i, -0.5
Let a = -0.1 - -0.5. Let z = -1 + 0. Let y = 0.9 + z. Put y, -2, a in descending order.
a, y, -2
Let t = -5.1 - -5. Let x = -1.5 - -1.7. Sort x, 2, t in increasing order.
t, x, 2
Suppose 3*o = 5*k - 11, 5*o = 9*o + 2*k + 6. Sort 8, -3, o, 2.
-3, o, 2, 8
Let h = 112 + -111.8. Sort -3/4, h, 6, 3/5.
-3/4, h, 3/5, 6
Let g = 17 + -1. Let z be ((-6)/(-4))/(6/g). Suppose -t + s - 14 + 6 = 0, 4*s = 3*t + 28. Put t, z, -1 in decreasing order.
z, -1, t
Let s = -8 + 18. Let r(c) = 5 + 20*c + 4 + 6 - 22*c. Let p be r(s). Put 4, p, -1 in increasing order.
p, -1, 4
Let x = 6 - 2. Let z(a) = a**2 - 3. Let k be z(-5). Let l = k + -70/3. Put l, -0.1, x in decreasing order.
x, -0.1, l
Let t be -8*((-9)/6 + 1). Let l(k) = k**2 - 3*k. Let d be l(t). Sort 3, 0.4, d in increasing order.
0.4, 3, d
Let n be 217/280 - 3/8. Put n, -0.5, -1/8 in descending order.
n, -1/8, -0.5
Suppose 0 = 2*l + 8, 3*g + 5*l + 1 + 16 = 0. Let y be -2 + (g - (1 - 2)). Suppose -11*d + 2*d = -45. Sort d, y, -1.
-1, y, d
Let l = 10 + -5. Let f be -3*5 - (-1)/1. Let m be (-2)/7 + 52/f. Sort m, l, -0.2 in descending order.
l, -0.2, m
Let v = 21 - 20.5. Let f = -0.43 - -0.03. Let o = f - 0. Sort o, v, -1/3 in decreasing order.
v, -1/3, o
Let l = 44.3 - 44. Put 25, 5, l in descending order.
25, 5, l
Let u be 57/38*(0 - 2). Let p(q) = -2*q**3 - q**2 + 3*q. Let l(w) = -w**3 + w**2 + w - 1. Let r(y) = l(y) - p(y). Let f be r(u). Sort 5, f, -5.
-5, f, 5
Let c = -1.6 - -3.9. Let d = c + -3.4. Let z = d - -0.7. Sort z, -1, 0.2 in increasing order.
-1, z, 0.2
Let v = 4 - 2. Let l = v + -1.6. Let j = l - 0. Sort j, 0, -1 in increasing order.
-1, 0, j
Let m = -9 + 14. Suppose -3*l = -m*l - 4. Let w(t) = t**3 + 3*t**2 + 2*t - 1. Let a be w(-2). Put 0, l, a in descending order.
0, a, l
Let o(b) be the first derivative of -2 - 1/3*b**3 - 6*b - 7/2*b**2. Let f be o(-5). Sort 3, f, 2.
2, 3, f
Let v = -71 - -68. Sort -1, -4, v in ascending order.
-4, v, -1
Let u = -1 - 4. Suppose -3*v + 27 = 5*a, -4 = -2*v + 3*a - 5. Let m = 9 - v. Sort -1, m, u.
u, -1, m
Let r(j) = -j**3 - 7*j**2 - 3*j - 5. Let y be r(-7). Suppose -4*m = -0*m - y. Suppose m*c + 25 = -c. Sort -2, c, 1 in descending order.
1, -2, c
Let v(l) = -l + 5. Suppose -4*m = 5*t + 15 - 55, 0 = -2*m + 5*t - 10. Let o be v(m). Suppose 5*g = -1 - 14. Sort g, o, -2 in decreasing order.
o, -2, g
Let h be (15/(-12))/((-1)/4). Let m be 4/10 + 2 - 2. Put m, -2/9, h in descending order.
h, m, -2/9
Let g = -4.99 - 0.01. Let c = -64.9 - -62. Let i = -0.9 - c. Put 1, g, i in increasing order.
g, 1, i
Let r = 0 - 0. Let u be 76/90 - (-8)/(-20). Sort r, -2, u in descending order.
u, r, -2
Let a = 0 + -2. Let k(y) = y + 4. Let q be k(a). Suppose 3*f + 3*o + 1 = 16, -q*f + 5*o + 10 = 0. Sort 2, f, -1 in descending order.
f, 2, -1
Suppose 0 = -n - 4, 7*n - 4 = 4*l + 4*n. Suppose -5*p = -2*p - 6*p. Sort l, -2, p in descending order.
p, -2, l
Let c(t) = -t**3 - 10*t**2 - 8*t + 5. Let u be c(-9). Let x = 9 + u. Sort x, -5, 0.
-5, 0, x
Suppose 1 = b - 2*m - 4, -4*m - 5 = -b. Sort b, 0, -1, 2/5 in ascending order.
-1, 0