(-10)*(-8)/6. Let i be 4/z*(12 - 5). Sort 5, 0, i.
0, i, 5
Let b = 4.39 + -0.39. Let t = 0 + -0.2. Put 0.05, t, b in descending order.
b, 0.05, t
Let c = -12 + 17. Let z = 14.4 - 14. Put c, -2, z in increasing order.
-2, z, c
Suppose n - 2*r = -4*r - 5, -3*n + 1 = -2*r. Let h be 3/3 + n - -1. Put h, 0, -3 in descending order.
h, 0, -3
Let u(l) = -l**3 - 5*l**2 - 7*l - 3. Let o be u(-3). Let c(w) = -w**2 + 9*w + 1. Let y be c(9). Sort y, -2, o in decreasing order.
y, o, -2
Let z be ((-36)/16)/(-3)*-1. Put -0.3, z, -0.1 in ascending order.
z, -0.3, -0.1
Let g be 4 + (-4 - -5 - 8). Put -1/11, 4, g in ascending order.
g, -1/11, 4
Suppose g + 5*j = 24, 3*g - 3*j = -g + 96. Let n be g/(-13) + 10/(-65). Let b be n/24*(-1 - 1). Sort b, 5, -1 in descending order.
5, b, -1
Suppose -3*b - 2*b = -20. Suppose -7*i + b = -3*i - 3*s, 5*s + 1 = i. Let l = -2 - -5. Sort 5, l, i in decreasing order.
5, l, i
Let c = 45 - 51. Put 5, -1, 4, c in decreasing order.
5, 4, -1, c
Suppose -f - 4 + 13 = 3*t, -2*f = 0. Let i = 8 - 3. Let d(q) = -q**2 + 6*q - 3. Let j be d(i). Put 5, t, j in descending order.
5, t, j
Let h(g) = -4*g - 1. Let r be h(-1). Put 1, r, 0 in increasing order.
0, 1, r
Let m = -0.2 + -0.8. Sort -2, -3, m in decreasing order.
m, -2, -3
Let z be 2/(1/((-4)/(-2))). Sort z, 1, 5.
1, z, 5
Let r = -8.1 + 8. Sort r, 5, -5.
-5, r, 5
Let w = 10 - 11. Let a be w - 0*1/2. Let c be (-3)/(-30)*a*-2. Sort 1, 2/3, c in ascending order.
c, 2/3, 1
Let a be 4 - 20/((-15)/(-3)). Put a, 4, -9, -3 in decreasing order.
4, a, -3, -9
Let z = -0.03 - -2.03. Let n = -12 - -5. Let b = z + n. Put -1/6, b, 4 in decreasing order.
4, -1/6, b
Let f = 2 + -2. Let p = -2 + 3. Let y be 1 - (p + 1/4). Sort -1/9, y, f.
y, -1/9, f
Let r = 0.2 + -0.1. Let h = 6 - -9. Let o = -11 + h. Put o, 1, r in ascending order.
r, 1, o
Let o = 9 - 4. Put o, -3, -1 in descending order.
o, -1, -3
Let x be -1 + (-4)/2 - 0. Put 5, x, 0.4, 0.3 in decreasing order.
5, 0.4, 0.3, x
Let u = -355 + 350. Let f(t) = -t**3 + 2*t**2 + 2*t + 1. Let k be f(-1). Suppose -k*m + 9 = m. Put m, u, 5 in ascending order.
u, m, 5
Let n = 41.5 + -42. Sort n, 1, 0.5 in descending order.
1, 0.5, n
Let y = -6 + 5. Let g = y - 3. Let p = 0.93 - -0.07. Sort g, -2, p in descending order.
p, -2, g
Let x = 6.7 + -7. Let g = -8 + 12. Let j = -3 + g. Sort 2/13, j, x in decreasing order.
j, 2/13, x
Let j(v) = -v**3 + 9*v**2 - v + 11. Let l be j(9). Let a = 0 + 0. Let o be (a + (-3)/(-2))*2. Sort -2, l, o in decreasing order.
o, l, -2
Let m = 3 - 6. Let h = m - -3.4. Let p = 1.4 - h. Sort 4/5, -3, p in decreasing order.
p, 4/5, -3
Let p(q) = q**2 + q + 14. Let g be p(0). Suppose -g = 5*l + 1. Sort l, 5, 0.1 in decreasing order.
5, 0.1, l
Let l = 13 - 17. Sort l, 11, 4.
l, 4, 11
Let c = -4.04 - -4. Sort 2, c, -2 in ascending order.
-2, c, 2
Let i = -1.4 - -1. Sort -4, 1, i in decreasing order.
1, i, -4
Let i = 1.7 - 0.8. Let s = 1.4 - i. Sort -2, -0.5, s in decreasing order.
s, -0.5, -2
Suppose -5*f = 2*u + 4, -3*u + f + 12 + 16 = 0. Let i be ((-21)/(-14))/((-6)/u). Sort 3, i, 2 in increasing order.
i, 2, 3
Let k be (-12)/(-9)*(-6)/(-2). Suppose -k*b + 4*s + 8 = 0, 4*s + 5 = -b + 4*b. Put 1, b, -1 in decreasing order.
b, 1, -1
Let c(w) = w**3 - 2*w**2 - 2*w. Let r be c(3). Let g be 0/1 - r/(-9). Sort 0.4, 0, g.
0, g, 0.4
Suppose -3*m + 4*w = 0, -6 = -5*w + 3*w. Suppose -2*s - 3 = 3*g, 3*g - 4*g + m = -s. Put g, -3/4, -1/8 in descending order.
g, -1/8, -3/4
Suppose 4 = -4*b + 8. Put -4, b, 3 in decreasing order.
3, b, -4
Let p(d) = d + 2. Let t be p(3). Let x(b) = b**2 + 5*b + 6. Let y be x(-5). Let v be ((-12)/9)/(2/y). Put t, -5, v in increasing order.
-5, v, t
Let j = 0 - -2. Let m = 12 + -8. Suppose m*g - 18 = j. Sort 4, g, 2 in decreasing order.
g, 4, 2
Let d be 1/((-1)/24*2). Let i be 15*((-4)/d + -1). Sort -0.1, i, 3/4 in decreasing order.
3/4, -0.1, i
Suppose -4*v + 6 = -v + p, -4*v - 5*p = -8. Let z(n) = 2*n + 1. Let u be z(v). Put -5, 4, u in ascending order.
-5, 4, u
Let s = -43 + 43. Put -1/10, s, 12 in decreasing order.
12, s, -1/10
Suppose 0 = -3*h + 2*i + 8, 2*h + 0 - 6 = 2*i. Let z be 1 + -1 + h + 9. Suppose 0 = 6*g - z*g + 15. Sort -3, g, 5 in decreasing order.
5, g, -3
Let o(w) = -w**2 - 4*w + 1. Let r be o(-3). Suppose -3*x + r = 3*i + 1, 10 = -5*x. Put 4, i, 0.4 in decreasing order.
4, i, 0.4
Suppose -5*c + 1 + 9 = 0. Sort -0.1, c, 0.2, 2/15.
-0.1, 2/15, 0.2, c
Let j = 4 - 7. Let y = j - -4. Suppose 4*n = 9 - y. Sort 5, -4, n in descending order.
5, n, -4
Let h = -0.61 + 0.11. Put 5, 5/4, h in increasing order.
h, 5/4, 5
Suppose 5*r - 11 = -i, 0 = -2*i + r - 2*r - 5. Suppose 0 = -11*o + 6*o - z + 24, z + 21 = 4*o. Put o, i, 2 in increasing order.
i, 2, o
Let d = 3 - 1. Suppose -d*h - 4*l + 6*l - 2 = 0, 5*l + 20 = 0. Sort 5, -4, h in increasing order.
h, -4, 5
Let b be 1 - (0 - -6*3/(-6)). Sort 0, 0.4, b, -3/11 in increasing order.
-3/11, 0, 0.4, b
Suppose 0 = 4*k + 3*p - 52, 0 = 3*k + 2*p + 2*p - 46. Suppose 4 = -2*c + 2*n, 2*c + k = -n - 0*n. Let s = -1.1 - -0.8. Sort s, 5, c in descending order.
5, s, c
Let l = 1.24 + 0.8. Let b = 0.04 - l. Sort b, -0.5, 0.3 in decreasing order.
0.3, -0.5, b
Suppose 4*d = -2*b - 4 + 22, 5*b + d = 0. Sort 2, b, 5.
b, 2, 5
Suppose -a - 2*d - 4 = 0, d = -0*a - 3*a + 8. Suppose -z = 2*t + 2, -8 = a*z - 4*t + 12. Put 0, z, 1 in descending order.
1, 0, z
Let a = 4.6 + -0.6. Let w = 54.7 + -47. Let t = 8 - w. Put t, a, 3 in decreasing order.
a, 3, t
Let z = 101 + -106. Put 3, z, -2 in descending order.
3, -2, z
Suppose -5*s = -4*n - n - 45, -4*s + 3*n = -32. Suppose 4 = -s*u + 29. Suppose 2*w = t + u, w + 0*w = 2*t + 1. Sort t, 4, -2 in decreasing order.
4, t, -2
Let s = 6 - 6. Suppose -5*b + 15 = -3*f, 2*b - 6 + s = 5*f. Put -2/7, b, 4 in decreasing order.
4, b, -2/7
Suppose -5*a - 18 = -3*s, -5*a = -10 + 25. Let x(d) = -d + 2. Let q be x(6). Sort q, s, 4 in decreasing order.
4, s, q
Let m = 10.1 - 10. Sort 0.4, m, -1/4.
-1/4, m, 0.4
Let v = 0 + -0.2. Let n = 496109/66 - 7517. Let x = -3/22 + n. Put -3, x, v in increasing order.
-3, x, v
Let s = -0.34 - -0.44. Put -0.06, -2, s, 1 in ascending order.
-2, -0.06, s, 1
Let d be -1 + 4*1/1. Let f = 153 - 154. Sort d, 1, f.
f, 1, d
Let o(q) = q**3 - q - 5. Let g be (-4)/8*(4 + -4). Let v be o(g). Sort v, 4, 6.
v, 4, 6
Let y = -65 - -70. Sort 2/3, 1/5, 1, y in increasing order.
1/5, 2/3, 1, y
Let m(f) = f**3 + f**2 - 2*f - 5. Let g be m(0). Put g, -2, -3 in increasing order.
g, -3, -2
Let z(b) = -4*b**3 + 2*b**2 - 1. Let u be z(1). Let i = -3 - u. Suppose -4*j = -0*j + 12. Sort -2, j, i in increasing order.
j, -2, i
Let n be (3 + -5)/((-34)/(-2)). Let u = 3.42 + -0.42. Sort n, u, -1/7 in decreasing order.
u, n, -1/7
Let y = 18 - 17. Sort y, 3, -1 in ascending order.
-1, y, 3
Let a = -12 + 6. Let m = -2 - a. Suppose -2*t = 4 + 4. Sort -5, t, m in decreasing order.
m, t, -5
Let j(r) = -2*r - 9. Let h be j(-3). Let b = -1 - h. Suppose 3*t + 2*u - 1 - 2 = 0, 3*t + 5*u - 12 = 0. Sort b, t, 5 in decreasing order.
5, b, t
Suppose -4*m + 2 = 6. Suppose -6*w + w = 4*r + 3, -21 = -4*r + 3*w. Suppose 4*b + 2*v = 2 - 8, 0 = -3*b - r*v. Put b, m, -2 in ascending order.
b, -2, m
Let g = 13 + -9. Let p be -2 + 4 + 0 + (2 - 2). Sort g, p, -3.
-3, p, g
Let g be (5/((-10)/6))/(-3). Let s be g/(3*4/12). Sort -3, s, -7 in ascending order.
-7, -3, s
Suppose 0 = -4*x + 35 + 81. Suppose 5*f = 3*g + 19, 2*g + 5*f - x = -0. Suppose g*u - 1 = -3. Sort 1, 2, u.
u, 1, 2
Let g be (-1 - -1)/(8 + -12). Put -4, 4, g in descending order.
4, g, -4
Let u = 6 + -6.3. Let m = u + 0.6. Put 0.4, 3, m in descending order.
3, 0.4, m
Let l = 78 + -389/5. Let r = -23 - -34. Let z = r + -6. Sort z, 0, l.
0, l, z
Let m(w) = 2*w - 2. Let q be m(3). Let k = -86 - -260/3. Put k, -0.4, q in decreasing order.
q, k, -0.4
Suppose 6 = -6*d - 0. Suppose -5*y = -s + 23, y + 0*y = -s - 7. Put s, 2, d in decreasing order.
2, d, s
Suppose 5*t = 8 + 17. Sort -5, 4, t, -3 in increasing order.
-5, -3, 4, t
Suppose -r = 13*r - 56. Let g be 2/(-2)*0 + -2. Put g, -3, r in increasing order.
-3, g, r
Let u(v) = 6*v**2 - v**2 - 2 + 8*v**3 - 9*v**3 + 7*v. Let g be u(6). Put -1, g, 2 in ascending order.
-1, 2, g
Let x be 4/(-18) - 14/18. Let l(f) = f**2 + 4*f + 2. Let u be l(-4). Put u, x, -2 in descending o