 = 32*k - k**2 + 23 - 65*k + 31*k. Let o be t(-6). Sort 2, 5, -4, o in increasing order.
-4, o, 2, 5
Let r = 0.4917 + -0.0917. Let z be 49/(-13) + 2 + 1. Let i = 33/26 + z. Put -1, r, i in decreasing order.
i, r, -1
Suppose 0 = -2*j - 2*x + 6, -26 = -5*j - 4*x - 12. Suppose 0 = -4*s + 4*k + 33 - 13, k - 1 = -s. Suppose s*b = -3*m + 7 + 14, 1 = -5*b + 4*m. Sort j, b, -2/11.
-2/11, j, b
Suppose 5*u + 5*d - 3 = 82, -58 = -2*u + 4*d. Put -4, 2, u, -3 in descending order.
u, 2, -3, -4
Let c(y) = -y**3 + 4*y**2 - 4. Let r be c(3). Suppose 0 = 2*f - 3*x + 16, 0*f + r*f + x + 6 = 0. Suppose 0 = 3*z - 18. Sort f, 3, z in ascending order.
f, 3, z
Suppose 4*k + 5*k - 45 = 0. Sort 46, 3/5, k, 4/3 in increasing order.
3/5, 4/3, k, 46
Let h be ((-12)/3)/2 - 2. Let n = -1 - h. Suppose 4*v = -s - 2*s + 16, 2*v - 8 = 0. Sort -1, n, s.
-1, s, n
Let w = -5 - -13. Let v be (4*-1)/(w/(-20)). Let p be 2/5 - 4/v. Put 4/7, 2/7, p in decreasing order.
4/7, 2/7, p
Let b = -0.0297 + 4.0297. Put -3/2, 2/5, b, -3 in decreasing order.
b, 2/5, -3/2, -3
Suppose -5*p + 3*s = s + 2, 2*s - 2 = 0. Suppose p = 4*l - 1 - 15. Suppose -l*j = z + z - 4, 13 = -5*j + 2*z. Sort -3, 0, j in increasing order.
-3, j, 0
Suppose 0 = 5*y + 5*f + 40, 0 = 5*y - 5*f - 7 - 3. Let b(x) = -17*x**2. Let j be b(2). Let k be j/(-12) + y - 2. Sort 4, k, 4/9.
4/9, k, 4
Let z = -155 - -155. Suppose z = -46*x + 41*x. Sort 1/7, x, 1 in descending order.
1, 1/7, x
Let x = -6 - -6. Suppose -19 + 5 = f - 5*z, 0 = 5*z - 10. Put x, 5, 1, f in increasing order.
f, x, 1, 5
Let a = -3.9434 + -0.0566. Let r = 5 - 8. Sort r, a, 4.
a, r, 4
Let n be (-2)/15*3*10. Suppose 0 = -6*q + 13*q - 21. Let p be (1 - (2 + 0)) + 2. Sort n, q, p in increasing order.
n, p, q
Let d = 3.5 - 4. Let w be 0 - ((-2)/(-5) - 0). Suppose 15*s = 13*s. Put d, w, s in ascending order.
d, w, s
Let z = -3.2502 - -0.2502. Sort 3, z, -0.1, -33/5 in decreasing order.
3, -0.1, z, -33/5
Let b = 0.604 - 4.604. Put b, 0.2, 2/21, 4/3 in decreasing order.
4/3, 0.2, 2/21, b
Let p(b) = 7*b**3 + 4*b - 8*b**3 - b**2 - 5*b**2 + 17. Let z be p(-6). Put 4, -4, z, 2 in increasing order.
z, -4, 2, 4
Let i = -1715/176 + 153/16. Sort -0.2, i, 5.6 in decreasing order.
5.6, i, -0.2
Suppose 5*d = o + 43, 0 = -3*d - 2*o + 18. Suppose 8*n - 4*n = 0, 0 = 4*r - 5*n + 12. Sort d, 5, r.
r, 5, d
Let d = -30.13 + 30. Let t = d - -7.13. Let z = t + -5. Put 2/13, z, -0.02 in decreasing order.
z, 2/13, -0.02
Let y be (36/(-6) - -2)/2*1. Sort y, -1, 0.2, 0.5 in descending order.
0.5, 0.2, -1, y
Let b(f) = f**2 - 6*f + 10. Let v be b(4). Suppose 0 = 3*p - v*p - 10. Suppose -x + m + 14 = 5*m, -2*m = x - p. Sort x, -1, 0 in descending order.
x, 0, -1
Suppose -3*y = -2*u - 48, u = 5*y - u - 76. Let m = 1 - 0. Sort y, -4, m.
-4, m, y
Let r(v) = -3*v**2 + 1. Let g be r(0). Sort g, -2/11, 2/7, -0.4 in increasing order.
-0.4, -2/11, 2/7, g
Let k = -2430 - -2404. Put -4, k, 4 in descending order.
4, -4, k
Let j(s) = 6*s - 275. Let v be j(45). Sort -4, 5, 1, v in descending order.
5, 1, -4, v
Let v = -0.03 + -0.47. Let i(t) = 6*t**2 + 2*t + 1. Let o be i(-1). Suppose -o*g - 12 = -4*q, 0 = -2*q + q + 5*g + 18. Put q, v, 1 in decreasing order.
1, v, q
Let k(t) = -t + 11. Let v be k(8). Suppose v*z = z + 10. Suppose 5*l - 3*m = 11, -3 = 3*l - 0*m - 5*m. Sort z, l, 3 in decreasing order.
z, l, 3
Suppose -17 - 67 = -7*d. Suppose 0 = 189*m - 186*m + d. Suppose a = 2*o - 4, -2*a + o + 3 = a. Put m, a, 3 in decreasing order.
3, a, m
Suppose 6*l = -6 + 24. Suppose 0 = c - l*o - 11, -5*o - 8 - 8 = -4*c. Put 18, 1, c in descending order.
18, 1, c
Let f = 1484 + -1486. Let a = 2 + 2. Sort -3, -4, f, a in descending order.
a, f, -3, -4
Suppose 2*a - 5*u + 17 = 4*a, 3*a + 4*u = 15. Let f = 239 - 244. Sort 4, f, 3, a.
f, a, 3, 4
Suppose 7*r = -37*r - 176. Let f = -3 + 4. Sort f, 6, -3, r in ascending order.
r, -3, f, 6
Suppose 0 = -5*t - 11 - 9. Let y = 1027 + -1032. Let q = 13 - 8. Put y, q, t in decreasing order.
q, t, y
Let d = -1114 - -1118. Put d, -15, -6, -3 in decreasing order.
d, -3, -6, -15
Let a = 12 - 17. Let j = -0.2 - -0.2. Sort -2/9, 5, j, a.
a, -2/9, j, 5
Suppose 5*k + 4*t + 104 = -133, t + 183 = -4*k. Let c be (-2)/2 + (-40)/k. Put c, -1, 2/5 in increasing order.
-1, c, 2/5
Suppose -p - 2 = 3*l, -p + 3*l = -l - 5. Let d(u) = u**3 - u**2 + 2*u - 4. Let h be (32/(-56) + 8/14)/1. Let k be d(h). Sort k, p, 23 in descending order.
23, p, k
Suppose o = -1 + 2. Let m = 16 - 10. Let c(j) = -j**3 + 6*j**2 - 6. Let y be c(m). Sort y, 2, o in descending order.
2, o, y
Suppose 0 = -3*d + u - 3*u - 9, -12 = 4*u. Suppose 5*c + 23 = 4*o - 0*c, -2*o - 8 = 4*c. Put d, o, -3 in descending order.
o, d, -3
Let m be -12*3/(-24)*52/6. Suppose m*w - 10*w = 69. Sort 5, 0, w.
0, 5, w
Let w(d) = -d**2 + 4*d. Let a be w(4). Let o be -2 - 1 - -3 - 0/(-2). Suppose -2*b - 2*v - v = -1, b + v - 2 = o. Put -3, a, b in increasing order.
-3, a, b
Suppose 0 = 7*t - 10*t + 135. Let j be 6/t - (-2)/(-6). Sort -5, 2, -4, j in increasing order.
-5, -4, j, 2
Suppose 4*z - z - 3 = 0. Sort z, 2, -52 in descending order.
2, z, -52
Suppose h + 17 - 9 = 0. Let n be h + (-3 + -1)*-1. Let c = n - -8. Sort c, -4, 2 in decreasing order.
c, 2, -4
Let f = -622.3 - -622. Put 2/3, 0.14, f, 2 in descending order.
2, 2/3, 0.14, f
Let q = -0.231 + 0.631. Sort -0.4, -0.14, q in decreasing order.
q, -0.14, -0.4
Suppose -i + 4*b + b - 9 = 0, 3*b + 9 = -3*i. Put i, 6, 15, 5 in increasing order.
i, 5, 6, 15
Let z = -8 - -13. Suppose 3*y - z = -2. Let i(a) = -2*a + 4. Let c be i(3). Sort 0, c, y in ascending order.
c, 0, y
Suppose 0 = -72*x + 3*x. Put -88, -3, x in descending order.
x, -3, -88
Let j be 1/(-2 + 9/5). Let f = 24.058 - 3.058. Sort 1/4, j, f, 3 in decreasing order.
f, 3, 1/4, j
Let f be 4/(-1) - ((-88)/(-8) - 17). Let l(h) = -h**3 + h**2 + 4. Let i be l(3). Let p = 10 + i. Put f, 0, p in descending order.
f, 0, p
Let u = 551/2 - 273. Sort u, 4, 3, -0.3.
-0.3, u, 3, 4
Let y be (-8)/(-12) + 176/(-228). Sort -4, y, 2, 3.
-4, y, 2, 3
Let f = 15594 - 15792.98. Let d = -201 - f. Let v = d + 0.02. Sort -1, v, 0.
v, -1, 0
Let s be (-12)/2 + (0 - 6). Sort 2, -5, -2, s in descending order.
2, -2, -5, s
Let m be (56/(-665))/((-9)/(-155)). Let r = -14/9 - m. Let y = 6 - 5.7. Sort r, 0.22, y in increasing order.
r, 0.22, y
Let t = 57 + -77. Let u = 364 - 1031/3. Let b = t + u. Put -3, b, 5 in descending order.
5, b, -3
Let s = 69/44 - 3/44. Let w = -218.6 + 219. Put -0.4, s, w in decreasing order.
s, w, -0.4
Let y = 153 - 151. Sort y, -11, -5 in descending order.
y, -5, -11
Let x(y) = -y**3 + y**2 + 2*y - 1. Let d be x(2). Let m be (1 + d)/(28/(-14)). Suppose m = 3*f - 0*f. Put -20, 3, f in decreasing order.
3, f, -20
Let g = 336.6 + -336. Sort 5, -2, g.
-2, g, 5
Let h be 31 + -27 - 14/4. Let r = 0.03 + -0.33. Put h, -4, 3, r in descending order.
3, h, r, -4
Let q = -2.7 - -8.7. Put q, -0.5, 0.5 in decreasing order.
q, 0.5, -0.5
Let j = 12 + -7. Let y be 3/(-15*3) + 14/(-42). Sort y, j, 0, -3.
-3, y, 0, j
Let x = -0.3958 - 0.0042. Put x, 0, -4, 3.9 in descending order.
3.9, 0, x, -4
Let g = 286 + -284. Sort -2, g, -3, 4 in decreasing order.
4, g, -2, -3
Let a be 2 + 0 - (3 - -3). Let n be a - (-6 - (-4 - -1)). Put 4, 3, n in decreasing order.
4, 3, n
Let c = -32 - -30.7. Let y = c - -1.1. Sort 2/3, y, 1 in increasing order.
y, 2/3, 1
Suppose 3*z = -2*n - 7, 2*n - z - 11 = 2. Let a(i) = i**2 - 22*i + 121. Let o be a(12). Put n, -2, -1/4, o in increasing order.
-2, -1/4, o, n
Suppose 2*r + 2*n - n + 96 = 0, -5*r - 3*n - 242 = 0. Let v = r - -51. Sort -2, -1, v.
-2, -1, v
Suppose -5*d + 1 = -14. Suppose -d*c = -0*c - 48. Let x = c - 14. Sort x, 4, -5 in increasing order.
-5, x, 4
Let u be 1*(-17)/((-1547)/(-14)). Sort -1, -2/15, u in descending order.
-2/15, u, -1
Suppose 5*n - c = -6 + 25, 2*n - 3*c - 18 = 0. Suppose o + 15 - 12 = -2*w, 4*w + 3*o = -5. Sort n, w, 1, -11.
-11, w, 1, n
Let s(i) = -i**2 + 3*i - 2. Let l be s(3). Let b(m) = 2*m + 2. Let o be b(-5). Put o, l, 5 in increasing order.
o, l, 5
Let j(i) = -i - 9. Suppose 0 = c + 9 - 2. Let a be j(c). Sort a, 40, 0.2.
a, 0.2, 40
Let t(r) = -4*r**2 + r + 1. Let j(m) = -5*m**2 + m + 1. Let c(v) = -3*j(v) + 4*t(v). Let f be c(2). Sort -5, -8, f, 3 in decreasing order.
3, f, -5, -8
Let c = 2 - 