Let u be i(0). Sort 1, u, 0 in descending order.
1, 0, u
Let x(h) = -h**2 - 14*h + 14. Let s be x(-15). Sort 2, 6, s, -2 in increasing order.
-2, s, 2, 6
Let o = 391/2626 - -1/202. Let w = 4/61 + -142/305. Put o, w, -3 in ascending order.
-3, w, o
Suppose -3*h - 2 = -a + 12, -2*a + 3 = -h. Put -18, a, -0.2 in descending order.
-0.2, a, -18
Let h = -22 + 44. Suppose 3*i = -2*v - i - h, 14 = -4*v + 2*i. Put v, -1/5, 0 in increasing order.
v, -1/5, 0
Let d = -5.07 - -0.07. Let c = 823 + -824. Sort d, 2/7, c in descending order.
2/7, c, d
Suppose -2*x = 2*k - 4, -6*x = -9*x. Let i = 0 + 0. Put k, 1, i in descending order.
k, 1, i
Let u(w) = -w**3 + 8*w**2 - 4*w - 17. Let a be u(7). Sort a, -4, 0 in decreasing order.
a, 0, -4
Let m be (-2)/(-7) - -30*2/(-14). Sort 5, m, 3 in ascending order.
m, 3, 5
Suppose -2*y - 6 = -5*y. Let a(x) = -x**3 + 5*x**2 + 5*x + 4. Suppose 8 = 3*p + 5*g - 0, -5*g - 16 = -p. Let q be a(p). Sort y, 5, q in descending order.
5, y, q
Let r = -68 - -68.3. Sort -4, 2, r in ascending order.
-4, r, 2
Suppose 5*f + l = 14 + 6, 0 = 4*f + l - 16. Let r = 41.8 - 42. Put -0.4, f, r in decreasing order.
f, r, -0.4
Suppose -3*y = -11 - 1. Let u = -1667 + 91681/55. Let b = 26/55 + u. Sort 2, b, y in ascending order.
b, 2, y
Let n = -0.1 - -0.1. Let x(z) = z - 1. Let i be x(5). Suppose 0 = 2*c - 10, 3*j - 4*j - 11 = -2*c. Put n, j, i in descending order.
i, n, j
Suppose -2*p + 8 = 2*p. Suppose v = 1 + p. Put 10, 2, v in decreasing order.
10, v, 2
Let n = 1.4 - 1. Let a = 0 + -0.1. Let b = n - a. Put -3, -4/5, b in descending order.
b, -4/5, -3
Let l be (-3 - 1) + 0/2. Let z be (-24)/l + -2*1. Let d = -13 - -12.9. Sort -0.5, z, d in ascending order.
-0.5, d, z
Suppose 5*a + 0 = -3*c + 11, -a = -4*c - 16. Let v be 162/30 + -6 - (-4)/(-10). Put v, c, 1 in increasing order.
c, v, 1
Let k be (-4)/10 + (-34)/(-10). Let l = -8 + k. Let w = 0.5 - 0.3. Sort w, -3, l in decreasing order.
w, -3, l
Let p(w) = w**2 - 7*w. Let y be p(7). Suppose 0*a + a = 24. Suppose 5*s + a = 2*q, q = 4*q + 3*s + 6. Sort q, 5, y in descending order.
5, q, y
Let n be (-3)/3*(0 + 2). Let y be -2 + (-72)/(-15) + n. Sort -1/2, y, 0.4 in decreasing order.
y, 0.4, -1/2
Let i = -0.17 - 1.23. Let k = i - -2. Let v = k - 0.6. Put 3, v, -2 in descending order.
3, v, -2
Let x = -4 - -3. Suppose l + 5 = 3*s, 5*s + 4*l + 3 = -0. Put s, 3, x in ascending order.
x, s, 3
Let r = 0.23 - -0.07. Let y = 1483/8 + -185. Let l be ((-6)/(-2) - 4)*3. Sort r, y, l.
l, r, y
Let x = 0.19 - -3.81. Sort x, 2, 1.
1, 2, x
Let y(x) = x + 1. Let c(k) = -k**2 - 10*k - 1. Let w(u) = -c(u) - 3*y(u). Let q be w(-8). Let r = -9 + q. Sort r, 0, 1 in increasing order.
r, 0, 1
Let x = -487 + 487.02. Suppose 3*v - 12 + 37 = 5*l, v + 2*l = -1. Sort v, x, 0.1 in decreasing order.
0.1, x, v
Suppose 6 = 3*p - 12. Suppose 5*q = -p + 36. Let u be (3/5)/(q/4). Sort u, -1, 5 in descending order.
5, u, -1
Let z = -135 - -93. Put z, -0.4, 5 in descending order.
5, -0.4, z
Let l = 0.06 + -0.46. Let j = -0.4 - -0.2. Let t(s) = -s + 4. Let q be t(0). Sort j, q, l in ascending order.
l, j, q
Let y be (-4)/6*(-18)/(-4). Let s be (1/(-3))/(y/(-45)). Sort -2/5, 0.5, s in ascending order.
s, -2/5, 0.5
Let x be -3 + 3 - (-14)/(-77). Sort x, 1, -2 in ascending order.
-2, x, 1
Suppose 2*j - 6 = u + u, 2*j - 9 = -u. Suppose 0 = 3*g - 0*g + 3*l - 9, -4 = 2*l. Sort u, g, -2.
-2, u, g
Suppose -12 = -b - b. Let v be (6/(-12))/((-3)/2). Put b, v, 0.5 in descending order.
b, 0.5, v
Let o = 34 + -31. Sort o, -1, 0 in descending order.
o, 0, -1
Suppose 0 = 2*p + p. Sort 1, p, -2.
-2, p, 1
Let g = -3 - -8. Suppose 3*k - 1 = -13. Suppose 4*x - 5 + 1 = 0. Put g, k, x in decreasing order.
g, x, k
Suppose 0 = -23*w + 20*w. Sort w, 3, -4 in descending order.
3, w, -4
Let j = 0.91 + -0.8. Let x = -0.1 + j. Sort x, 1/2, -1/6.
-1/6, x, 1/2
Let w = -2 + 1. Suppose 2*a + 0*a + 14 = 2*l, 0 = 3*l + a - 1. Suppose g = -q - 0 - 1, 3*q - 12 = l*g. Put q, 3, w in descending order.
3, q, w
Let c = 7 - 3. Put c, -4, -3 in increasing order.
-4, -3, c
Let x(o) = o - 2. Let v be x(2). Let s(u) = u**2 + u - 2. Let q be s(v). Let k be 3*((-2)/(-2))/(-1). Put 4, k, q in decreasing order.
4, q, k
Let k be 38/14 + (-174)/(-21) + -8. Let u = 2 + -2. Sort k, u, -5.
-5, u, k
Let y be ((-4)/(-6))/(8/36). Let v = 11 + -11. Sort -2, y, v.
-2, v, y
Suppose b + 9 = 2*c, c + 14 = -3*b - 13. Let s be 6/b + -1 + 0. Let h = 4.9 + -0.9. Sort -1/3, s, h in ascending order.
s, -1/3, h
Let x = -1 + 1. Let g = x + 3. Let r = g + -3. Put r, 2, 0.2 in descending order.
2, 0.2, r
Let f = 0.11 + -0.41. Put -1.6, f, 0.5 in descending order.
0.5, f, -1.6
Let t = 2 + 3. Let z(d) = -1 - 2*d + 2*d + 5*d. Let i be z(1). Put i, t, -5 in decreasing order.
t, i, -5
Let b(g) = g**3 + 4*g**2 - 7*g - 12. Let r be b(-5). Put r, 4, -4 in decreasing order.
4, r, -4
Let u = -228 + 1144/5. Put u, 0.1, 1 in descending order.
1, u, 0.1
Let o = 28/17 - 247/119. Sort 10/7, o, -0.4, -3 in decreasing order.
10/7, -0.4, o, -3
Suppose 10 = -4*f - 10. Sort -2, f, 0 in descending order.
0, -2, f
Let n(v) = -v**2 + 2*v + 1. Let t be n(3). Let l be (-2)/t + (4 - 2). Let c = l - 2. Put -3, 5, c in descending order.
5, c, -3
Let l be 0/(0 - -1) + 3. Suppose -3 = w - 1. Let b(x) = -x**2 + 8*x - 7. Let d be b(6). Put l, w, d in decreasing order.
d, l, w
Let w = -19 - -33. Suppose 0 = -d - b - 0*b - 4, -5*d - 2*b = w. Put 1, 5, d in increasing order.
d, 1, 5
Let y(r) = -11*r - 1. Let z be y(1). Let m = z + 23/2. Suppose -3*v - 4 = -2*v. Put v, 1, m in decreasing order.
1, m, v
Let r(v) = -v**3 + 6*v**2 + 9*v - 9. Let c be r(7). Let h = 2.3 + -0.3. Put c, h, 0 in decreasing order.
c, h, 0
Let l = 33 - 46. Let v = l + 8. Sort v, 5, 3 in descending order.
5, 3, v
Suppose -3*n = 5*b - 24, 4*n - 9 = 3*b - 2*b. Let p be ((-6)/5)/(b/(-10)). Put -3, 1/9, p in increasing order.
-3, 1/9, p
Suppose 5*f = -c, 0 = -5*c - f + 20 + 4. Let s(w) = w**2 - 4*w - 2. Let h be (5 - 1)*(-1 - -2). Let u be s(h). Sort c, 1, u in increasing order.
u, 1, c
Suppose -2*b = 2*z - 42, -91 = -4*z + z + 4*b. Suppose -2*h + 2*a + a = 5, -4*h - a = -z. Let g = 6 + -4. Sort h, g, -5 in ascending order.
-5, g, h
Suppose 2*s = -5*g + 8, 0 = -3*s - g + 5*g + 12. Suppose 0 = -o - s*w, 6*o - 2*o + 3*w - 13 = 0. Put o, -1, 1 in increasing order.
-1, 1, o
Let j = 3.1 - 3. Let c = -41 - -45. Put 0.5, c, j in ascending order.
j, 0.5, c
Let z(x) = -x**3 - 5*x**2 + 3*x - 14. Let t be z(-6). Put -2, t, -4 in descending order.
t, -2, -4
Suppose -3*k - 4*f = -f, 5*k + 2*f = 6. Put k, 4, 0, 1 in decreasing order.
4, k, 1, 0
Let i = 0.6 + -3.6. Let y(o) = 6*o - 1. Let z be y(1). Sort i, -2/7, z in increasing order.
i, -2/7, z
Let o = -131 + 131. Put -0.1, 2/5, o, -5 in increasing order.
-5, -0.1, o, 2/5
Let p = -13 - -8. Let x = -3 + 2. Sort 0, p, x in descending order.
0, x, p
Let g be (-1)/(1 - 38/(-4)). Let f be (2 + 14/(-4))/(-14). Let w = f - -1/7. Sort g, w, 1/5 in decreasing order.
w, 1/5, g
Let s(x) = x**3 + 4*x**2 - 7*x - 4. Let i be s(-5). Sort -2, 0, i.
-2, 0, i
Let i be 1 + -2 + -3*1. Let r(z) be the third derivative of -z**5/60 - z**4/8 + z**3/3 - 2*z**2. Let b be r(-3). Put -3, b, i in descending order.
b, -3, i
Suppose -8 = -2*o - d - 0*d, 0 = -2*o - 5*d. Let n = 6 - 8. Sort n, 0.2, o in descending order.
o, 0.2, n
Let f = -1.2 - -1.5. Sort -1/4, f, 0.1 in descending order.
f, 0.1, -1/4
Let s(z) = z**3 - 11*z**2 + z - 12. Let i be s(11). Sort 1, i, 2, -3 in decreasing order.
2, 1, i, -3
Let s = -20 - -19. Put -3, 6, s in decreasing order.
6, s, -3
Let a = -10.08 + 10. Let v = a + 0.1. Let i = v + 4.98. Sort 3/4, -3, i.
-3, 3/4, i
Let i = 0 + -2. Sort i, 1, 5.
i, 1, 5
Let a = -4/25 - -128/175. Sort a, 0, 6/11 in descending order.
a, 6/11, 0
Suppose -19 = -7*w + 16. Put w, 0, -2 in descending order.
w, 0, -2
Let i = -3 + 0. Suppose -5*l + 68 = 2*n + 1, -5*l + 83 = -2*n. Let z be l*(1 + (-4)/6). Sort 3, z, i.
i, 3, z
Let v(j) = j**2 + 16*j + 5. Let b be v(-16). Put b, -1, 23, 2 in decreasing order.
23, b, 2, -1
Let d be 1/4 - (51/12)/1. Put -5, -3, d, 10 in descending order.
10, -3, d, -5
Let i = 85.5 + -89.79. Let v = -0.67 + i. Let h = v + -0.04. Put -1/4, h, 3 in decreasing order.
3, -1/4, h
Let f = -2.8 - -3. Let b = 0 + -0.2. Let o = 0.1 + b. Sor