t u = -2069/2 - -1061. Let p = u - 267/10. Sort 2, 0.3, p in decreasing order.
2, 0.3, p
Let g = 3 + -2.5. Let k = g + -1. Put k, -1/6, 0.3 in increasing order.
k, -1/6, 0.3
Let a be (-23)/(-5) + 6/15. Suppose l + 1 = 2*l - 3*y, 0 = 3*l + 2*y - 3. Let n = 1 + l. Sort n, a, 0 in ascending order.
0, n, a
Let f be -4 - 15*(-1 + 0). Sort 0, f, 2.
0, 2, f
Let y be (-6)/9 + 16/6. Suppose 0 = -2*h + y. Let a = 0.8 + -1. Sort 2, a, h.
a, h, 2
Let l = 15 - -4. Sort 3, 0, l in descending order.
l, 3, 0
Let f(s) = -s + 10. Let t be f(7). Let c be 49/(-21) + (-2)/t. Put 0.5, c, 4 in descending order.
4, 0.5, c
Let b = 15 - 4. Suppose 3*l - b = -2. Put -4, -1, l in decreasing order.
l, -1, -4
Let h = -127.6 + 128. Sort -1, 1/2, h, -3 in descending order.
1/2, h, -1, -3
Suppose 4*z - 16 = 2*s, 0*s - 2*z + 14 = 2*s. Suppose -2*u + 20 = -3*k, s*k = 2 - 10. Sort 3, 0, u in ascending order.
0, 3, u
Let f = -75 - -75. Sort 1, 4, f, -1 in descending order.
4, 1, f, -1
Let k = 0.2 - 0.3. Let b = k + -0.4. Let x = -0.12 - 0.28. Sort x, 0.2, b in increasing order.
b, x, 0.2
Suppose 3*n + 80 = 8. Let t = n + 14. Let q = 14 + t. Sort 0, 2, q.
0, 2, q
Let h(i) = i**3 - 5*i**2 - 6*i. Let j be h(6). Let p = 129 + -128. Sort p, j, -1 in decreasing order.
p, j, -1
Let u = 0.1 - 0.5. Let p = -0.7 - u. Let v = p + -0.1. Put v, 0.1, 3 in increasing order.
v, 0.1, 3
Suppose -3*z + 0*z - 29 = -5*c, -3*z = -3*c + 21. Put -4, -3, c, 15 in decreasing order.
15, c, -3, -4
Let u = -9 - -4. Suppose 0 = -8*r + 5*r - 12. Let l be r/14 - (-60)/(-35). Put 0, u, l in ascending order.
u, l, 0
Let j = -4.7 - -4. Let f = j + 0.2. Put 2/13, f, -1 in increasing order.
-1, f, 2/13
Let l be 8/(-5) - 3*12/90. Sort l, -10, 1 in decreasing order.
1, l, -10
Let z = 0.2 + 0.3. Let o = -19 - -8. Let p = o + 15. Sort p, z, -4 in descending order.
p, z, -4
Let i = -22.4 + 22. Sort 4, i, -4, 3/7 in decreasing order.
4, 3/7, i, -4
Let i be (-5 - (-108)/15) + -3. Let h = -0.5 + 0.3. Sort -1/2, i, h in descending order.
h, -1/2, i
Let d = -11 - -8. Let l be d*(-2 + 0)/(-2). Put -5, l, 3 in descending order.
3, l, -5
Let v = -12 - -12.2. Let w = -0.33 + 0.03. Let x = w + v. Sort x, -1/2, -5 in increasing order.
-5, -1/2, x
Let x = 51 - 55. Sort -7, 1, x in descending order.
1, x, -7
Let g = 1 + -1.4. Let h = 0.08 - -0.02. Put h, g, -1/6 in ascending order.
g, -1/6, h
Let r = -354 - -350. Let s = 0.03 - -1.97. Let i = 0 + s. Sort 4, r, i in increasing order.
r, i, 4
Let y(x) = -x**2 - 7*x + 2. Let j be y(-7). Let a be j/(-7) + (-5)/7. Sort a, -2, 0.
-2, a, 0
Suppose -4*x + 20 = -2*r, 2*r - 3*x = 6*r - 4. Sort r, 5, 2 in decreasing order.
5, 2, r
Suppose -5*z + 2*v = -12, 3*v + 8 = 5*z - 0*z. Sort -3/4, z, -1.
-1, -3/4, z
Let y = -40 - -35. Put y, -25, -3 in increasing order.
-25, y, -3
Suppose -2*a = -10 - 6. Suppose 0 = -5*k + 4 - 34. Let u = a + k. Sort -3, u, -5 in descending order.
u, -3, -5
Let d = 733/5 - 147. Put -0.8, d, 0.5 in descending order.
0.5, d, -0.8
Suppose 4 = 3*c + c. Let r be 2/(-1*(-2 + c)). Suppose r*x - 5 = -5*v - 0, 0 = 4*x + 4*v + 8. Put 5, -4, x in ascending order.
x, -4, 5
Let s = -9 + 8. Let q(o) = 3*o - 1. Let g be q(s). Put g, -1, -3 in ascending order.
g, -3, -1
Let m(v) be the second derivative of v**4/12 - 2*v**3/3 + 8*v. Let a be m(3). Sort 5, a, -5.
-5, a, 5
Let j(p) = 4*p - 18. Let c be j(4). Sort 3, 6, c, 5 in increasing order.
c, 3, 5, 6
Let n = -8 - -3. Suppose -3*q + 6*q = -4*a + 11, -4*a + 21 = 5*q. Sort a, n, 5 in ascending order.
n, a, 5
Let v = -28 - -31. Let b = -13 + 8. Put v, b, -2 in descending order.
v, -2, b
Suppose 0 = 4*k + 4*p - 28, -4*p = -9 - 11. Sort 0, k, -5 in descending order.
k, 0, -5
Suppose -4*p - 20 = 2*h, 3*h + 1 = -2*p - 9. Let t be (-2)/(-4) + h/1. Sort 5, -0.01, t.
-0.01, t, 5
Let y = 1.4 - 3.6. Let t = y - -1.2. Sort 2, 0.2, t in descending order.
2, 0.2, t
Let w be (6/(-8))/(-2 - -5). Let k = 0.17 + -0.37. Sort -1, w, k.
-1, w, k
Let x = -5 + 6. Suppose 3*k - 4*k + x = 0. Sort k, -2, 5 in increasing order.
-2, k, 5
Let k = -2.2 - -1.9. Sort k, 1, 5 in increasing order.
k, 1, 5
Let h = 4 + -7. Let o be (h + 5)*-1 + 1. Put o, 5, 9 in decreasing order.
9, 5, o
Let k = -2 - -8. Let x = k - 5.6. Let a be (-1 - 0)*6/(-51). Sort -1, x, a.
-1, a, x
Let z = 3 - -1. Suppose 43 = -c + 5*m + 13, -5*c - 40 = -3*m. Let j = -12 - -9. Sort j, c, z.
c, j, z
Let i be (-2)/3 + 8/18. Suppose -3*u + 6*l = 2*l - 22, 5*l + 18 = -u. Let g be -41*u/(-26) + -3. Sort g, i, 0.2 in decreasing order.
0.2, g, i
Let k be -11 + (6 + -1 - 2). Sort -2, 4, k.
k, -2, 4
Suppose 0*j - j - 3 = 4*t, t = -j. Sort j, 4, 2 in descending order.
4, 2, j
Let x = 1.5 - -6.5. Let g = 10 - x. Let y = -97/904 - 2/113. Sort g, y, 0.1 in increasing order.
y, 0.1, g
Suppose -2*y + 0*y + 3*u - 2 = 0, -3*y - 3 = u. Sort -3, y, 4 in increasing order.
-3, y, 4
Let z = -28.0051 - 0.0249. Let b = z - -29. Let t = 0.03 + b. Put t, -4, -0.3 in descending order.
t, -0.3, -4
Let i be 3*1 + 8 + -9. Suppose -4 = 5*x + 21. Put x, i, -3 in descending order.
i, -3, x
Let v be (0/5)/1*-1. Sort 2, v, -2.
-2, v, 2
Let d = 3 - -3. Put 0.5, 4/3, d in ascending order.
0.5, 4/3, d
Let w be (-6 - 0)*6/(-30). Let g = -3 - -2.5. Put w, 1, g in descending order.
w, 1, g
Let z be ((1 + 14)/5)/(12/(-4)). Sort 7, 5, 0, z in descending order.
7, 5, 0, z
Let x = -7 + 3. Let m = -3 - x. Let v(z) = -z**2 + 2*z. Let d be v(2). Sort 0.5, m, d.
d, 0.5, m
Let g be 10 + -14 - (-1 + 6/(-4)). Sort 28, 2/17, g.
g, 2/17, 28
Suppose 0 = c - z - 3*z - 12, 5*z = 5*c. Let m be (-7)/(-20) + (-1)/c. Sort m, -5, 0.5 in decreasing order.
m, 0.5, -5
Suppose -1 - 9 = 5*a. Suppose 9*h - 8 = 7*h. Put h, -1, a in decreasing order.
h, -1, a
Let m(j) = 2*j - 8. Let w be m(4). Put w, -2, 5 in descending order.
5, w, -2
Let z = -14 - -18. Let i be 3/6*-8 + z. Sort -12, i, -5 in decreasing order.
i, -5, -12
Let s(w) = w**3 + 8*w**2 - w - 11. Let z be s(-8). Put 5, 0, z in decreasing order.
5, 0, z
Let z = -2.1 + 2. Let o = -0.18 + -0.12. Put z, o, -3/4 in descending order.
z, o, -3/4
Let p = 71 + -69. Put -1, 4, p in descending order.
4, p, -1
Let r = -4.4 + 4. Let s = r + 0.2. Let n(c) = c**2 + 5*c + 4. Let w be n(-5). Sort -3/4, w, s in increasing order.
-3/4, s, w
Suppose 2*k = -2*t, -4*t + 2*k = -3*t - 15. Let c(l) = l**3 - l - 1. Let o be c(-1). Put 4, t, o in decreasing order.
t, 4, o
Suppose -5*a = -101 + 11. Suppose -3*h = d - 2, -2*h - 3*h + a = -2*d. Let t(v) = -v**3 - 2*v**2 + v - 2. Let j be t(-3). Sort h, 3, j in ascending order.
h, 3, j
Let b = -59.6 - -60. Let x = 22 + -12. Let d = -6 + x. Sort 1, b, d.
b, 1, d
Suppose 2*b = 4*b - 2. Let k be (b + -2)*(-3)/1. Sort -4, k, -1 in descending order.
k, -1, -4
Let z be ((-3)/(-12))/(2/(-4)). Let m = -32 + 30. Let n be (-15)/(-9)*4/30. Put m, n, z in ascending order.
m, z, n
Let b = -0.27 + -13.73. Let j = b - -13. Sort -0.6, -2, j in descending order.
-0.6, j, -2
Let d = -0.37 + 0.07. Put d, 5, 1/3, 2/15 in descending order.
5, 1/3, 2/15, d
Suppose c + 2*x = 7 + 1, -4*x + 4 = -4*c. Let h = 4 - 4. Sort h, c, -4 in descending order.
c, h, -4
Let c = 0.1 - 1.1. Let x = 1.5 + -1. Let y be ((-9)/(-15))/((-10)/(-25)). Put c, x, y in decreasing order.
y, x, c
Let n(z) = -2*z - 13. Let t be n(-4). Sort t, 2, -3, 0 in increasing order.
t, -3, 0, 2
Let r = -32 + 34. Put 1, -5, r, 5 in decreasing order.
5, r, 1, -5
Let d = -21/110 + 1/110. Put d, -2, 2/9 in ascending order.
-2, d, 2/9
Let h = 2 - 0. Suppose -18 = -4*g - o, h*g = 3*g + 3*o + 1. Put g, -2, 1 in decreasing order.
g, 1, -2
Let d(j) = -5*j + j + j + 4*j. Let a be d(-4). Put 3, a, -1 in decreasing order.
3, -1, a
Let c(s) = 2*s - 8. Let d be c(5). Sort 7, d, -1 in increasing order.
-1, d, 7
Let r(k) = k**2 - 4*k + 1. Let n be r(4). Let c = 4 - n. Suppose 4*o = -c + 15. Sort -1, 5, o in descending order.
5, o, -1
Let f be ((-2)/4)/(9/4). Let k = 1 - -2. Let o = k + -3.1. Sort o, -3, f in ascending order.
-3, f, o
Let t(g) = -g**2 + 3*g - 3. Let s be t(2). Let i(h) = 2*h**2 + 9*h + 2. Let f be i(-4). Sort 1, s, f in descending order.
1, s, f
Suppose -4*a + 12 = -0, -5*z + 2*a = -54. Put 1, z, 5 in decreasing order.
z, 5, 1
Suppose 4*x + w = 18, -w - 6 = 2*w. Let y = -4.5 - 0.5. Let u = y + 3. Sort -0.2, x, u in decreasing order.
x, -0.2, u
S