. Let o be z(6). Put o, -5, s in decreasing order.
s, o, -5
Let r = -6 - -8. Let m(y) = -y**2 + 4*y + 2. Let l be m(3). Put 4, l, r in decreasing order.
l, 4, r
Let f = -14.5 - -13. Let j = f - -1.2. Put j, 0.4, -4 in decreasing order.
0.4, j, -4
Suppose 85 = m + 4*m. Suppose -2 = -5*i - m. Sort i, -2, 1 in increasing order.
i, -2, 1
Suppose -13*f - 9 = -16*f. Sort -5, -15, f.
-15, -5, f
Let q(v) = -v + 2. Let x be 8/4 + -2 + -1. Let l be q(x). Let u = 2 + 0. Sort u, -5, l in ascending order.
-5, u, l
Suppose 4*m - 2 = -y, y - 8 = -5*m - 5. Let h(w) = w**2 - 5*w - 1. Let o be h(6). Let g be 2*o*(-1)/2. Put 3, g, m in descending order.
3, m, g
Let o = 4.8 + -4. Let h = 0.5 - o. Let n = 0.3 - 4.3. Put n, h, 1 in decreasing order.
1, h, n
Let k = 18 + -12. Let o be 1/2*4/k. Let v = 60 + -359/6. Put o, v, -0.5 in descending order.
o, v, -0.5
Let k(o) = o**3 - 5*o**2 + 4*o + 2. Let z be k(4). Let j be z/((-2)/(-4)*4). Let m = 2 - 0. Put m, 3, j in decreasing order.
3, m, j
Let f = 235/42 + -38/7. Sort -0.2, -2.8, f, -1/8.
-2.8, -0.2, -1/8, f
Let v be (-2)/9 + 16/36. Sort v, -1/3, 4.
-1/3, v, 4
Let r = -4.334 - -0.184. Let a = -0.15 - r. Sort 1, a, 3 in increasing order.
1, 3, a
Let x = 148 - 149. Suppose -4*j + 18 = -2. Put 1, j, x in decreasing order.
j, 1, x
Let l be (-1 + 0)*2 - -1. Let a be (-217)/(-21) + 4/6. Let b(m) = -m**3 + 11*m**2 + 2. Let n be b(a). Put n, l, 1 in ascending order.
l, 1, n
Let f be 0 + (-60)/14 + (0 - -4). Sort 2/15, f, -1/9 in increasing order.
f, -1/9, 2/15
Let c be (-30)/(-4)*(-4)/(-3). Let n = -4 + c. Let r be 3/2*(-4)/n. Put -5, r, -3 in decreasing order.
r, -3, -5
Let a(x) = -3*x + 11. Let o be a(5). Put -3, o, -2 in increasing order.
o, -3, -2
Let y = -50 + -4. Let q be (2/(-6))/(9/y). Let j = 1 - 0. Sort j, 5, q.
j, q, 5
Suppose 3*q - 3*s + 9 = 0, 0 = q - 0*q + 2*s. Let p = q - 2. Let l be (2/p)/((-3)/6). Sort 1/3, l, 1/6.
1/6, 1/3, l
Let f = 1 - -3. Let w(j) = -j**2 + 3*j + 2. Let h be w(f). Let o be (h + 3 + 0)*3. Put 2, 5, o in descending order.
5, o, 2
Let u(r) = r - 1. Let y be u(6). Let b be 2 - (1 + -2 + (-2 - -2)). Sort b, y, 1 in increasing order.
1, b, y
Let t = -8/273 + -1/21. Put 2, t, -2, 4 in descending order.
4, 2, t, -2
Let q be (-1)/6 - (-4)/(-24). Let t be (-3)/(-6) + 7/(-10). Sort q, -0.3, t in ascending order.
q, -0.3, t
Let o(g) = 0 - g**2 - 2 + 8*g - 2. Let m be o(8). Sort 3, 2, m.
m, 2, 3
Suppose -3*l + 7 + 5 = 0. Suppose 0 = l*d + 5*y + 21 + 101, -2*d + 4*y = 48. Let m be -2*1*2/d. Sort 2, -3, m in descending order.
2, m, -3
Suppose 0 = -4*s + 6 + 6. Suppose -y - s + 5 = 0. Let v(r) = -r**2 - 7*r - 1. Let p be v(-7). Sort y, p, 1 in increasing order.
p, 1, y
Let n be (-2)/(1/(-4)*-2). Let f = -7 + 4. Sort n, 4, f.
n, f, 4
Let o be -2 - (-3 - 1)/1. Put -4, 0, 4, o in descending order.
4, o, 0, -4
Suppose -5*t + 16 = -t. Sort -5, t, -1.
-5, -1, t
Suppose 0 = -x - 4, 14 = -2*b + 4*b - x. Sort -3, -5, 2, b in increasing order.
-5, -3, 2, b
Let o(j) = j**3 - 11*j**2 - 3. Let h be o(11). Put 3, 5, h in increasing order.
h, 3, 5
Suppose 208 = -5*w + 3. Sort w, 4, -1/6, -1/4 in decreasing order.
4, -1/6, -1/4, w
Suppose -2*t + 3 = -3. Put t, -8, -1, 0 in ascending order.
-8, -1, 0, t
Let f = -0.02 - -2.02. Sort -0.5, 0.2, f, 0.02 in descending order.
f, 0.2, 0.02, -0.5
Let s = 15 - 11. Suppose -3*v = -0 + 3, 0 = -s*r - 4*v + 4. Let j = -8 + 6. Sort j, r, -4 in decreasing order.
r, j, -4
Let o = -17 - -19. Put o, 12, 0.5 in descending order.
12, o, 0.5
Let m = -31 + 37. Put m, -5, -3, 3 in increasing order.
-5, -3, 3, m
Let o = -101/372 + 2/93. Put -18/5, o, 1 in ascending order.
-18/5, o, 1
Let w(t) = -t**2 - 11*t - 6. Let l be w(-10). Put 7, -4, 3, l in descending order.
7, l, 3, -4
Let w = 37 + -35. Put -2, w, -3 in increasing order.
-3, -2, w
Let g = 0.37 - 0.11. Let q = 27 + -27.06. Let m = q + g. Put m, -2/9, -2 in ascending order.
-2, -2/9, m
Let x = -12 + 13. Sort 4, 5, x in decreasing order.
5, 4, x
Let h = -5.3 - -5.4. Let n = -1 - -1.5. Put h, -0.5, n in descending order.
n, h, -0.5
Suppose 5*n + 25 = -q, -3*q = 4*n - 5*q + 20. Sort 2, -11, n, -4.
-11, n, -4, 2
Suppose 2*b = -3*b + 30. Suppose -b*m + 15 = -m. Let g be (m + -2)*-1*0. Put -4, 1, g in increasing order.
-4, g, 1
Let g = 18 + -13. Let r = -655.93 - -656. Sort -1, g, r in increasing order.
-1, r, g
Let j = 0.2 + 0.3. Suppose 8 = 7*s - 6*s. Sort j, s, 0.
0, j, s
Let k = 1 - 1.5. Let r be (6 + 4)*14/4. Let w be (-6)/10 + 7/r. Put w, k, 1 in ascending order.
k, w, 1
Suppose 3*p + 17 = 4*t, -4*t - p = t - 45. Let s = t + -7. Sort 0.2, -5, s.
-5, 0.2, s
Let x be (10/15)/((-2)/(-9)). Suppose 0*q = x*q + 12. Sort 5, q, 4 in decreasing order.
5, 4, q
Let l be (-2)/(-6) + 87/9. Let j = l + -12. Sort -2/7, 0, j in ascending order.
j, -2/7, 0
Let m = -8 + 11. Let v = 3 - m. Sort v, -5, 4 in descending order.
4, v, -5
Let z be -9 + 1 + (1 - 3). Let m be (1/2)/((-2)/16). Let f be m/(-12) + z/3. Sort 3, -5, f in decreasing order.
3, f, -5
Let v(f) = f + 1. Let o be v(1). Suppose -o*s - 2*u = u - 19, -3*u + 29 = 4*s. Sort s, 2, 0 in descending order.
s, 2, 0
Let p be 0 + (3500/(-18) - 1). Let d = -195 - p. Let y = -0.8 - -1.3. Put d, -0.1, y in ascending order.
-0.1, d, y
Let p = 0.49 - 0.59. Let a be (2/(-32))/((-4)/(-24)). Put 2, p, a in decreasing order.
2, p, a
Suppose -2*x = x - 9. Suppose 0 = -n - 0*n + x. Sort 0, n, -1.
-1, 0, n
Let u = 20 - 17. Let b = 2.5 - u. Sort b, 0.3, 0.4 in descending order.
0.4, 0.3, b
Let n(b) = b**3 - 9*b**2 + 9*b + 2. Let p be n(8). Put 2, p, 0 in increasing order.
0, 2, p
Let p = -34.7 - -35. Put -2, p, -2/9, -0.1 in increasing order.
-2, -2/9, -0.1, p
Let j = 1727/28 - 245/4. Let a = -36669/37 - -991. Let n = -80/111 - a. Put n, 0.1, j in increasing order.
n, 0.1, j
Let s(y) = 1. Let o(c) = -c + 14. Let w(v) = -o(v) + 4*s(v). Let l be w(8). Let a be (1 - 2) + 16/14. Sort a, l, 2/3.
l, a, 2/3
Let g = -6/7 + 11/21. Sort g, 20/9, 2 in decreasing order.
20/9, 2, g
Let d be (-4)/(-10) - (-12)/20. Let j be (-1)/(d + 4/(-3)). Let o be (-1)/j + (-16)/(-3). Sort 4, -2/11, o in descending order.
o, 4, -2/11
Suppose 0 = -0*w + w - 49. Let k be 2/7 - (-84)/w. Sort -4, 0, k in descending order.
k, 0, -4
Suppose 2*u + 3*m + 20 = 0, -3*m + 0*m = -5*u - 8. Put u, 4, 2 in descending order.
4, 2, u
Let d be 6/(-9) + (-25)/3. Let w = d + 4. Let y = 33 + -30. Put 0, y, w in increasing order.
w, 0, y
Let f = 49 + -52. Put 5, f, -2, -4 in decreasing order.
5, -2, f, -4
Let m(v) = v**3 + 5*v**2 + v + 6. Let z be m(-5). Sort 5, -1, z in ascending order.
-1, z, 5
Let g = -0.18 + 0.18. Sort -5/4, g, 0.1 in descending order.
0.1, g, -5/4
Suppose 3*z = -v + 4, -1 = -4*v + 3. Let i = -3 - -5. Put z, i, -3 in descending order.
i, z, -3
Suppose 14*a - 5*a - 18 = 0. Sort 0, a, -4, 1 in decreasing order.
a, 1, 0, -4
Let d(b) = 6*b**3 + 1. Suppose 0 = -i - 4*v + 19, 4*i - 2*v = 1 - 15. Let m be d(i). Let u = -3.92 - 0.08. Sort m, u, 0.3 in ascending order.
m, u, 0.3
Let d = 18.8 + -19. Put -2, d, 7 in increasing order.
-2, d, 7
Suppose -2 = -2*t + 8. Put t, -0.1, 4/3 in descending order.
t, 4/3, -0.1
Suppose 1 + 23 = 4*v. Let j be (-3 + v)/(-1) - 1. Let y = 40 - 196/5. Put y, j, 0.2 in increasing order.
j, 0.2, y
Let s = 0.008 - 9.608. Let b = -1.4 + s. Let v = b + 12. Put 0, v, 1/9 in ascending order.
0, 1/9, v
Let k(o) = -o**3 + 5*o**2 + 7*o - 11. Let i be k(6). Put -0.4, -2, -2/7, i in descending order.
-2/7, -0.4, -2, i
Let s = -0.202 - -0.342. Sort s, 1, 4.
s, 1, 4
Let x = -0.0976 + 5.0976. Let d be 2/9*(-1)/2. Put x, 2, d in decreasing order.
x, 2, d
Let p be 7/(-14) + (-11)/(-18). Sort -19, p, 2/11.
-19, p, 2/11
Suppose -5*t - 38 = -3*t. Let m = -17 - t. Let r = 7 + -4. Sort -1/10, m, r.
-1/10, m, r
Let s = -0.5 + -4.5. Let c = -10 - s. Let z = 6 + -10. Put 2/7, c, z in descending order.
2/7, z, c
Suppose -5*k = -k + 12. Let s(o) = -o**3 + 7*o**2 - 4*o - 8. Let q be s(6). Sort q, -1, k in increasing order.
k, -1, q
Let n = -1 - -0.5. Sort -4, -3, n in increasing order.
-4, -3, n
Suppose 0 = 2*a - 2*k + 2 + 36, -a + 5*k = 7. Let f = a + 18. Put 5, f, -5 in ascending order.
-5, f, 5
Suppose 2*f = 3*m - 13, 4*m = 2*f + 6*m - 12. Let q be 272/56 + 2/14. Put 12, q, f in decreasing order.
12, q, f
Let k = 3 - -1. Sort k, -1, -2 in d