pose 2*n - h*n - 6 = 0. Let q = 6.8 + -3.8. Sort q, -5, n in descending order.
q, n, -5
Let b = -1 + -19. Let h = b - -25. Put h, -0.4, -1/4 in decreasing order.
h, -1/4, -0.4
Let h = 8.1 - 8. Let y = 0.6 - h. Sort -1/3, y, 3 in decreasing order.
3, y, -1/3
Let v = -119 - -358/3. Sort -0.2, v, 3 in descending order.
3, v, -0.2
Let q = 11.1 + -11. Let f = 0.04 - 3.04. Put f, q, -0.5 in descending order.
q, -0.5, f
Let m = 1.51 - 1.01. Sort -5/9, m, -0.5 in decreasing order.
m, -0.5, -5/9
Let r = 36 + -36.5. Sort 2/29, r, -0.2.
r, -0.2, 2/29
Let p = -620 - -617.945. Let l = p + -0.045. Let j = l - -2. Sort 1/3, j, 3/2.
j, 1/3, 3/2
Let q = -3 - -7. Let w = 1.98 - -0.02. Let z = w - q. Put -5, z, 0 in decreasing order.
0, z, -5
Suppose -2*z + 5*j - 6 = -4*z, -5*j = 5*z. Suppose 6*o + 24 = 3*o. Let u = o - -8. Put -5, u, z in decreasing order.
u, z, -5
Let k be (6 - 1) + 5*-1. Sort -8, 4, k.
-8, k, 4
Suppose -3*x - 5 = 3*b - 2, 3*x = 3*b + 3. Let q be b*1/2*2. Sort -5, q, -3 in increasing order.
-5, -3, q
Suppose 4*k - k = 36. Let b be ((-4)/k)/(1/(-15)). Let v be (-9)/(-6)*2/3. Sort -1, v, b.
-1, v, b
Let q = 18 + -20. Put 1/7, 5, q in ascending order.
q, 1/7, 5
Let u be (2 - 6) + 2 + 4. Sort -4, u, -3 in ascending order.
-4, -3, u
Let h be (4 + -2)*(-3)/(-2). Suppose 7 = 2*u - 5. Let k be -3*u/27*6. Put 1, h, k in increasing order.
k, 1, h
Let j be (4 + -1)/(6/(-128)). Let y be j/(-36) + (-4)/(-18). Let r be (10/24)/(y/6). Put 3, r, 2/7 in ascending order.
2/7, r, 3
Suppose 3*u = 8*u. Sort 2/7, u, -0.5 in decreasing order.
2/7, u, -0.5
Suppose -20 = -f - 4*d, d + 15 = 4*d. Suppose 35 = 3*r - 4*s, -4*r + 35 = -3*s - 0*s. Let w be ((-1)/(-3))/((-4)/(-48)). Sort w, r, f in descending order.
r, w, f
Suppose k + 2*k = -a + 18, 0 = -4*k - 3*a + 29. Sort -3, 1, k in ascending order.
-3, 1, k
Let y(p) = -p**3 - 5*p**2 - 4*p + 13. Let n be y(-5). Sort n, 3, 2/23.
2/23, 3, n
Let u = -11 - -11. Let i = -194.08 - -190. Let h = -0.08 - i. Put u, -0.1, h in ascending order.
-0.1, u, h
Let b be 17/(-5) + 63/21. Sort b, 2/7, 4 in decreasing order.
4, 2/7, b
Suppose 3*r + 8 = r. Let a = 22 - 24.92. Let v = -0.08 + a. Put v, 5, r in descending order.
5, v, r
Let p(q) = -q**2 + q. Let v be p(0). Suppose v = -6*r + r - 20. Sort 2, r, 1 in decreasing order.
2, 1, r
Let v = 0.01 + 0.29. Put -11, v, 3 in descending order.
3, v, -11
Let u = 35 + -33. Sort -3, -1, 1, u in ascending order.
-3, -1, 1, u
Let l(x) = 5*x**2 - x + 1. Let k be l(1). Let t = k + -3. Suppose u - 5 = -t. Put -3, -4, u in increasing order.
-4, -3, u
Let a = 17 + -30. Let y = a + 12.6. Sort 0, y, 2 in decreasing order.
2, 0, y
Let o be 14/(-105) - (-56)/(-30). Let i = 37/20 - 13/5. Sort -5/4, o, i.
o, -5/4, i
Let t(d) = d - 2. Let h be t(3). Let b = 2 + 10. Suppose -4*c + 7*x = 3*x, 2*c = -2*x + b. Put h, c, 2 in ascending order.
h, 2, c
Suppose 0*y - 2*y - 16 = 5*j, 0 = 5*y - 10. Let n(h) = h**3 - 5*h**2 - 2*h + 5. Let w be n(5). Sort w, 0, j in descending order.
0, j, w
Suppose 7 = 2*y + 3. Suppose -y*j - 1 + 7 = 0. Suppose 0*l - 5*l + 20 = 0. Sort 1, l, j in decreasing order.
l, j, 1
Suppose 0 = 2*r + 3*r - 25. Let m = 5 + -1. Let u = m + -2. Put 1, r, u in ascending order.
1, u, r
Suppose 3*r + 3*s - 201 = 0, -2*r - 3*s - 2*s = -131. Put -2, r, 1 in decreasing order.
r, 1, -2
Let l = -14 - -18. Sort 3, 5, l in decreasing order.
5, l, 3
Let b = 6 - 11. Sort b, 13, 3.
b, 3, 13
Let k = 5 - 0. Let u(p) = p**3 - p**2 + 1. Let n be u(-1). Sort n, -0.2, k in increasing order.
n, -0.2, k
Let c be ((2/4)/1)/1. Let h(o) = -o + 5. Let w be h(5). Let n = -0.4 + -0.1. Sort w, c, n in descending order.
c, w, n
Let k(l) = l - 6. Let a be k(7). Let q be 1 + (a + -1 - 4). Let g be (3 + 0)/((-6)/(-4)). Sort g, q, 1 in descending order.
g, 1, q
Suppose 0 = 3*d + 7 + 5. Put -5, -38, d in ascending order.
-38, -5, d
Let d = -3 + 1. Let j = 6 + d. Sort -1/2, j, -2.
-2, -1/2, j
Suppose -4*f - 10 = f. Let p(g) = -g + 9. Let x(l) = -5*l + 45. Let z(a) = 11*p(a) - 2*x(a). Let m be z(5). Sort m, 2, f.
f, 2, m
Let x be ((-32)/80)/((-32)/(-10)). Put x, -1/9, -2 in decreasing order.
-1/9, x, -2
Let m = -7/3 + 3. Put m, -4, 2 in decreasing order.
2, m, -4
Let q(l) = -l**2 + 7*l - 18. Let u be q(5). Put u, -4, 4, 0 in descending order.
4, 0, -4, u
Let g = 59/35 + -7/5. Let u = 17 - 17. Sort 2, u, g in descending order.
2, g, u
Let y = 77.2 + -64. Let m = -13 + y. Sort 2/15, -3, m.
-3, 2/15, m
Suppose 1 + 0 = 3*x - o, x = -3*o + 7. Suppose 2*v = -3*w + 11, -x = w + 2*w - v. Let g = 51/5 + -148/15. Sort 2, g, w.
g, w, 2
Let n(s) = s**3 + 7*s**2 + 5*s - 6. Let u be n(-6). Let t be (u/(-3 - -2))/2. Put -12, t, -2 in decreasing order.
t, -2, -12
Let l(x) = x - 9. Let t be l(11). Sort 3, t, -5 in descending order.
3, t, -5
Let a be 0/(6 - 12) + (-4)/14. Let y = 164/237 + -2/79. Sort 2, y, a in decreasing order.
2, y, a
Let b = -7 - -6.5. Let z = b + 0.7. Sort z, 3, 0 in descending order.
3, z, 0
Let l = 1.6 + 0.4. Let s = 2.4 - l. Let m be (3/2)/(18/(-12)). Sort s, m, 5 in increasing order.
m, s, 5
Suppose 15 = 5*u, 4*i - 1 = 5*u + 4. Suppose 3*n + 6 = 4*f - 5, -f + 2 = 0. Let g = 5 - 3. Put i, n, g in decreasing order.
i, g, n
Let j = 5 + 17. Let c be j/16 + 1 + -2. Let t = c - 5/56. Sort 2/9, t, 2.
2/9, t, 2
Let s be (4/8)/((-1)/(-4)). Suppose -s*y - 2*n - 4 = 16, -14 = -y + 5*n. Let k = y + 3. Sort k, 4, 3 in decreasing order.
4, 3, k
Suppose 12*w = 3*w + 45. Put 3, 0, w in increasing order.
0, 3, w
Let y = -4 + 0. Sort 4, y, -1 in increasing order.
y, -1, 4
Suppose 0*f = -f + 1. Let s be 9/3*f - 5. Put s, -3, 2 in descending order.
2, s, -3
Let r(a) = -5*a + 52. Let o be r(10). Put 0, 1, o in ascending order.
0, 1, o
Let o be (32/40)/(6/10). Sort -1, -2/13, o.
-1, -2/13, o
Let k(h) = -h**2 - h + 4. Let m be k(0). Sort m, 5, 3.
3, m, 5
Let j = 0.5 - 14.5. Let a = 9 + j. Let f = 3 + -2.5. Put f, a, -0.4 in descending order.
f, -0.4, a
Let o = 62 + -67. Sort o, 4, -9.
-9, o, 4
Let l be (-3)/2*(-4)/3. Suppose t + t - 12 = 3*d, 0 = 5*d - 3*t + 20. Put -1, d, l in ascending order.
d, -1, l
Let i = -0.7 + 1.4. Let l = 0.2 - i. Put l, 5/3, 0.5 in increasing order.
l, 0.5, 5/3
Let i = 51.7 - 52. Sort 3, -2, i, 2 in descending order.
3, 2, i, -2
Let u = 157 - 152. Put u, 0.6, -1 in descending order.
u, 0.6, -1
Let r = 314 + -3456/11. Let l = -4 - -3. Sort -8, l, r in increasing order.
-8, l, r
Let z = -2 + 4. Suppose z*s - 4*s = -6. Suppose 3*i - 2*m = i + 6, -s*i - 2*m = 11. Sort 3, 0, i in increasing order.
i, 0, 3
Suppose -5*k - 3*l + 19 = -k, 2*l - 22 = -4*k. Suppose -3*f + k = -8. Suppose -2 = 2*a - 0. Put f, 0, a in decreasing order.
f, 0, a
Let q = -24.4 + 24. Put -4, q, 2 in descending order.
2, q, -4
Let h = 1 - -2. Let k = 0 + h. Suppose -2*y + y - 3*f - 16 = 0, -k*f - 13 = -2*y. Put 3, -4, y in decreasing order.
3, y, -4
Let c = -21 - -16. Put -1, c, 3 in descending order.
3, -1, c
Let w(s) = s**2 - 6*s - 5. Let p be w(6). Sort p, 5, 3.
p, 3, 5
Let b be 3/(-2) - (-1)/(-2). Suppose 9*h - 4*h = 15. Sort b, h, -2/7 in descending order.
h, -2/7, b
Let c = -1 - -1. Let j be (5 - 6)*(-2 - -3). Sort j, -3, c in ascending order.
-3, j, c
Let t = 0 - 0. Sort t, 5, 2.
t, 2, 5
Let m = -0.3 - -0.4. Let z(x) = -x**3 + 3*x**2 + 4*x + 2. Let o be z(4). Put m, o, 0.2 in descending order.
o, 0.2, m
Let r(t) = t**3 + t**2 + t - 4. Let h(w) = 1. Let i(s) = -5*h(s) - r(s). Let p be i(-2). Let f = p + -2. Put -3, 0, f in increasing order.
-3, 0, f
Let q be 2/8 + 2/(-4). Let u be (-3)/9*2/4. Sort q, 5, u in descending order.
5, u, q
Let m = -0.3 - 0.1. Let f be (2/(-24))/((-1)/2). Let o = 1.1 - -3.9. Sort m, f, o in decreasing order.
o, f, m
Suppose -4*g + 26 = 14. Put 5, -2, g, 4 in decreasing order.
5, 4, g, -2
Let s be -1 - (0 - 1 - 0). Let k = 16 + -4. Suppose d + 2*l - 1 = -k, -1 = -4*d + l. Put 5, d, s in ascending order.
d, s, 5
Let r = -0.9 - -0.7. Put r, 0.1, -1 in ascending order.
-1, r, 0.1
Let i(v) = v + 5. Let p(t) = -2*t - 10. Let c(s) = -5*i(s) - 2*p(s). Let h be c(-9). Sort 0, h, 2.
0, 2, h
Suppose -3*l - 2 = -44. Let u be (-10)/l - (-6)/(-21). Put 4, -3, u in descending order.
4, u, -3
Suppose -2*c = -0*c - 4. Suppose -4*i + i = -15. Put c, i, 3 in increasing order.
c, 3, i
Let v = -14 - -14. Put -4, -15, v in ascending order.
