 h = 3 + -5. Let k(z) = -z**2 - z. Let v be k(h). Sort 4, v, l.
v, l, 4
Let c be (2/(-20))/(1/(-4)). Let n = 81/10 - 15/2. Sort 5/3, n, c in increasing order.
c, n, 5/3
Let x = -5 + 9. Sort -2, -3, x in increasing order.
-3, -2, x
Let n = 0.176 - 1.176. Sort 3, -3, n, 0 in descending order.
3, 0, n, -3
Let f = -0.4 - -0.1. Let q = -4 + 6.5. Let s = q - 2. Put -0.1, f, s in descending order.
s, -0.1, f
Let y(f) = 4*f**2 - 16*f - 15. Let u be y(5). Suppose 3*p + 0 + 3 = -5*b, -3*p = b + 3. Sort u, b, -5 in ascending order.
-5, b, u
Let u = 0.07 + -0.29. Let n = -0.02 - u. Let i = -0.1 + -0.2. Put -0.1, i, n in ascending order.
i, -0.1, n
Let r be (-1)/5 + 426/5. Let v be r/(-15) + 1/(-3). Let z = 7 + v. Put 4, 5, z in descending order.
5, 4, z
Let l = 0.22 + -0.02. Sort 0.4, l, -2/5 in descending order.
0.4, l, -2/5
Let u(c) = c + 5. Suppose 0 = 3*k + 15 + 6. Let o be u(k). Let z(i) = i + 11. Let r be z(-6). Put o, 2, r in descending order.
r, 2, o
Suppose 5*u + 47 - 37 = 0. Put 3, u, -3, 38 in decreasing order.
38, 3, u, -3
Suppose 0 = -4*l + 13 - 49. Let r = l - -13. Suppose -w + 5*d = -0 + 6, 3*w + 1 = -2*d. Put w, r, 0.1 in decreasing order.
r, 0.1, w
Let i = 2/13 - -7/39. Let j = 53/12 - -5/6. Let v = j + -5. Sort v, 4, i in decreasing order.
4, i, v
Let m be (-4 + 7)/((-354)/4). Put m, -3, 0 in increasing order.
-3, m, 0
Let d(g) = g**3 - 3*g**2 + 4*g - 3. Let s be d(3). Suppose 5*r = s*r - 4. Sort -1, r, 3.
-1, r, 3
Let a = -32 - -17. Let n = a - -15.1. Put 2/3, n, -3 in decreasing order.
2/3, n, -3
Let m(y) = y**2 - y + 3. Let b be m(0). Let i be 5 + 9/(18/(-8)). Suppose 0 = -6*u + u - 2*k, 3*u + 19 = -5*k. Sort u, i, b in decreasing order.
b, u, i
Suppose -5*w + 22 + 3 = 0. Suppose -w*o = -2*z - 4, 3*z + 2 = 2*z - 4*o. Sort z, -1, -6 in descending order.
-1, z, -6
Let z(f) = -2*f + 26. Let x be z(13). Put x, -1, 3 in decreasing order.
3, x, -1
Let m = 562 + -9557/17. Sort -0.5, 2/13, m.
-0.5, m, 2/13
Let p = 59 + -58.6. Sort -1/2, 0.3, p.
-1/2, 0.3, p
Let f = 1013/14 - 72. Let p = 13/7 - f. Sort p, -0.5, 1.
-0.5, 1, p
Let i = 0.1 + 4.9. Let a = -5.17 + 0.17. Sort i, a, 1.
a, 1, i
Let m = 5/24 - 1/24. Sort -1/3, -1/6, -2/13, m.
-1/3, -1/6, -2/13, m
Let i = 18 + -16. Suppose 0 = -q - 10 + i. Put 5, -3/2, q in decreasing order.
5, -3/2, q
Let d = 0.08 + -0.08. Let z = 0.2 + d. Let s = -0.2 - 0.3. Put s, z, -3/2 in ascending order.
-3/2, s, z
Let n be 6/(-14) - ((-36)/35 - -1). Let r = -8 + 13. Put r, 0, n in ascending order.
n, 0, r
Let x = -24 + 18.9. Let l = x - -0.1. Put 1, l, 4 in increasing order.
l, 1, 4
Suppose 3*k - 7 - 8 = 0. Put -4, -2, k in descending order.
k, -2, -4
Let k = -0.1 + 0.12. Sort -3, k, 4/7 in increasing order.
-3, k, 4/7
Let q = -20 + 21. Put 4, q, -2 in decreasing order.
4, q, -2
Suppose 4*u + 4 = -16. Let c be u + 2 + 6 - 3. Sort c, 1/3, 0.2.
c, 0.2, 1/3
Let y = 14.8 - 10.8. Put -2, y, 21 in descending order.
21, y, -2
Let y = -2.7 + -0.3. Let c = -1.6 + -0.4. Let s = y + c. Put 1, s, -2 in ascending order.
s, -2, 1
Let q be (-16)/4*(0 - -1). Sort -3, q, -16, -2 in increasing order.
-16, q, -3, -2
Let r = 0 + 4. Let h = -0.8 - -1. Let f = -0.3 + h. Put r, 1/4, f in increasing order.
f, 1/4, r
Let a = -54.08 + 62. Let l = a - -0.08. Let h = 9 - l. Put h, 0.4, -1 in ascending order.
-1, 0.4, h
Suppose 5 = 5*k - 0. Let l be ((-1)/(-3)*0)/k. Suppose 4*d - 3*d - 2 = l. Put 0, d, 4 in ascending order.
0, d, 4
Let q = 20 - 0. Suppose 0 = -v + 5*v + q. Put v, 2, -4 in ascending order.
v, -4, 2
Let p = -7 - -13. Let u = p + -4. Put u, 0.2, 11 in decreasing order.
11, u, 0.2
Let r = 168 + -169. Let a = -3 + -2. Sort r, a, 0 in increasing order.
a, r, 0
Let c(g) = -g - 5. Let a be c(-9). Sort -4, a, 0 in decreasing order.
a, 0, -4
Let h = 3 + 1. Let u = 55 + -50. Put h, u, -3/4 in increasing order.
-3/4, h, u
Let i = -0.02 - 4.98. Suppose -2*d + 24 = -4*l, 0 = -3*d - 4 - 8. Let c be (-1)/(-2)*l/(-18). Put 0.2, c, i in increasing order.
i, 0.2, c
Suppose -p - 2 = -d - 5, 2*d - 2 = 0. Suppose 0 = o + p. Let h be (1/3)/(o/12). Put -4, 2, h in descending order.
2, h, -4
Let a = 13.1 - 13. Put a, -2, 0 in descending order.
a, 0, -2
Let i be (3 + -1)/((-1)/(-1)). Suppose -i*d - 21 = 3*d - c, 4*d = -5*c - 40. Sort -1, d, -2 in ascending order.
d, -2, -1
Let s = -0.4 + 0.2. Suppose 3*n + 0 = 6. Let t be n/2 - 32/40. Put -1, t, s in decreasing order.
t, s, -1
Suppose 5*n = -1 + 21. Let x = -179 + 1257/7. Put x, n, 0 in descending order.
n, x, 0
Let j = -15 - -10. Let h = -7 - j. Let i(o) = -3*o + 4. Let c be i(3). Put c, -1, h in ascending order.
c, h, -1
Let u = -0.2 - 7.8. Let g = 9 + u. Sort g, 2/15, -1/4 in ascending order.
-1/4, 2/15, g
Let u be (-8)/36 - 7/9. Let o be (-4)/(-12)*(-3)/u. Put 4, o, -5 in descending order.
4, o, -5
Let w = 0 + -1. Let m = -0.6 - w. Let v = 0.03 - 0.53. Sort m, -2/3, v in ascending order.
-2/3, v, m
Let m be (-221)/434 + 4/6. Let k = 1028799/217 + -4741. Let z = k + m. Put 2/7, z, -4 in descending order.
2/7, z, -4
Let c = 0.4 - -0.1. Put 5/3, c, 1 in decreasing order.
5/3, 1, c
Let t(x) = -2*x + 2. Let s be t(-3). Suppose 4*a + 5*h + 2 - 15 = 0, 5*a - 2*h = s. Put 4, -5, a in decreasing order.
4, a, -5
Let i(b) = b**2 - 5*b + 2. Let t be 6/36 - 69/(-18). Let x be i(t). Sort 8, x, -3.
-3, x, 8
Let k(w) = -19*w + 2. Let o be k(-1). Let a be 32/(-14) - (-6)/o. Sort -3/7, 1/4, a in descending order.
1/4, -3/7, a
Let q be -2 - (3 - 5 - -1). Sort q, 3, 5 in ascending order.
q, 3, 5
Let x be 1*((-14)/(-18) - 1). Sort 4, 5, x in ascending order.
x, 4, 5
Let o(d) = -d + 1. Let y be o(3). Let h be -2 - (-5 - (3 + y)). Let m = 10 + -12. Put m, h, 5 in descending order.
5, h, m
Let x(p) = p**3 + 7*p**2 + 6*p - 1. Let a be x(-6). Put 3, a, 4 in descending order.
4, 3, a
Let g = 103 - 107. Put -3, g, -2, -1 in increasing order.
g, -3, -2, -1
Let m = -41 + 28. Let u = -13.3 - m. Sort u, -2, -0.5.
-2, -0.5, u
Let i = 0.06 - 5.06. Put -0.5, 3, i in decreasing order.
3, -0.5, i
Let j = 0.05 + -0.006. Sort -1/4, -0.3, j in decreasing order.
j, -1/4, -0.3
Suppose -w + 7 = -3*q, -2*w + 3*q = 2*q - 24. Put -3, w, 5 in descending order.
w, 5, -3
Let y = -3 + 3. Let q be 0 + -6*(-83)/16. Let i = q - 31. Sort y, -3, i in decreasing order.
i, y, -3
Let k(o) = 4*o - 5. Let f(m) = -7*m + 9. Let h(y) = -3*f(y) - 5*k(y). Let p be h(-3). Let a be 1 + (2 - 1 - 0). Put 4/9, p, a in decreasing order.
a, 4/9, p
Let w = 10.1 + -6.1. Sort 0.2, 3/8, w in ascending order.
0.2, 3/8, w
Let i = -0.017 - -0.017. Put 2/19, 10, i, -2 in increasing order.
-2, i, 2/19, 10
Let u(q) = q**3 - q**2 - 1. Let j be u(2). Suppose 3*t = 6*t - 6, 4 = j*z - 4*t. Let s be 3 + -2 + 0 + -6. Sort 0, z, s in ascending order.
s, 0, z
Let p = -28 + 33. Sort -2, p, 12 in decreasing order.
12, p, -2
Let v be ((-2)/5)/(42/63). Sort 3/4, -0.2, v, -1.
-1, v, -0.2, 3/4
Suppose 0 = -4*j + w - 1, -5 = -j + 2*w. Sort j, 5, 7, 0 in increasing order.
j, 0, 5, 7
Let w = -21.7 + 21.6. Sort -4, w, 0.5, -5 in decreasing order.
0.5, w, -4, -5
Let y = 17 + -22. Put 0, y, 3 in decreasing order.
3, 0, y
Let c(t) = t**2. Let i be c(0). Let x = -8 - -5. Let f = x - -1. Sort -5, i, f in decreasing order.
i, f, -5
Suppose 5*x = -19 - 6. Suppose 3*v - 15 = -6*a + 3*a, 5*v - 1 = a. Let y = a - 6. Sort 2, y, x in increasing order.
x, y, 2
Let w be (-1)/(11 - 2)*-2. Sort 5, w, 2 in ascending order.
w, 2, 5
Let c(i) = -i**3 + 5*i**2 - 6*i + 8. Let r be c(4). Let j = 3 + -2. Sort -1, r, j in decreasing order.
j, r, -1
Let r(a) = -a + 6. Let k be r(4). Suppose -2*q + 8 = 0, -2*q = -5*w - 10 + k. Sort -0.5, w, 0.4.
-0.5, w, 0.4
Let m = -1122/7 - -160. Put 4, m, 3 in decreasing order.
4, 3, m
Let x be (-2)/2 - 6/2. Suppose p - 7 = -0*p + s, s - 8 = -4*p. Suppose p*m + 2 = 2*m. Put -2/11, m, x in increasing order.
x, m, -2/11
Let d(u) = -3*u - 9. Let t be d(-4). Suppose 0 = -w - 2*w + 6. Put -1/8, w, t in increasing order.
-1/8, w, t
Let n be 2/(-3) + (-6)/(-9). Let h be 0 - (1 + 3 - 1). Sort n, h, -4 in descending order.
n, h, -4
Let s be ((-406)/(-12))/7 + (-4)/(-6). Put -1/2, -0.1, s in descending order.
s, -0.1, -1/2
Let w = 7 + -4. Suppose -4*k - 5*o - 21 = 11, -w*k + 3 = -3*o. Sort k, -4, 3.
-4, k, 3
Let k be (-3)/(-4)*4/1. Let w(u) = 2*u + 4*u + 2*u**2 + 0*u**3 - 5*u - u**3 + 3. 