 0, -3*s + 1 + 3 = 4*m. Suppose s*d = -12 - 8. Let r = -0.1 - -0.6. Put 5, r, d in decreasing order.
5, r, d
Let i = 0.5 + -0.48. Let r = -0.22 + i. Let d = -2.2 - r. Put 2/5, d, -2/15 in decreasing order.
2/5, -2/15, d
Suppose -3*a + 3 = -0*a. Let k be 3/(-12) - 21/(-4). Let q be 3/(9/6) + 1. Sort q, a, k.
a, q, k
Let f = -131 + 391/3. Let x be (1/(-6))/((-1)/5). Let v = x + -7/6. Put -4, v, f in ascending order.
-4, f, v
Let s be (8/6)/((-4)/(-6)). Let c be (s/(-1))/(3 + -1). Let l(h) = 3*h**2 + 2*h + 1. Let g be l(-1). Sort -5, g, c.
-5, c, g
Let a be -2 + -1 + (-1 - 63/(-12)). Put -2, a, -3, 0.3 in ascending order.
-3, -2, 0.3, a
Let c = 22 - 22. Put 3, 5, c in decreasing order.
5, 3, c
Let x = 554/15 - 112/3. Let u(k) = 2*k - 9. Let z be u(7). Put 3/4, x, z in decreasing order.
z, 3/4, x
Let s = 16 - 17. Put -4, 0, s in ascending order.
-4, s, 0
Let d be (0/1)/3 + 0. Suppose 9 = m + 5*z, -3*m + 4*z = 2*m - 16. Put m, d, -5 in ascending order.
-5, d, m
Let v = 28 - 0. Let w be ((-1)/(-7))/((-24)/v). Sort w, -1/4, -3 in increasing order.
-3, -1/4, w
Let s = -104 - -102. Let i = 6 + -4. Sort i, 0, s in decreasing order.
i, 0, s
Let b = -13.9 - -14.1. Sort -1, 32, b in decreasing order.
32, b, -1
Let t(o) = -2*o + 1. Suppose 0 = 5*i - p - 10, 2*p + p = -5*i + 30. Let u be t(i). Put 0, 1, u in increasing order.
u, 0, 1
Let x(q) = -24*q + 2. Let u be x(0). Let s(k) = -k - 1. Let j be s(-6). Put j, u, 4 in descending order.
j, 4, u
Suppose -8*r - 4 - 12 = 0. Suppose 2*l + 6 - 14 = 0. Let g be 26/10 + l/10. Sort g, r, 4.
r, g, 4
Suppose 2*r = -k + 3*k - 4, 22 = -5*k - 3*r. Suppose u + 1 - 3 = x, x = 5*u - 14. Let y be (-1 - 4)*(0 + 1). Sort k, y, x in ascending order.
y, k, x
Let c = -2/319 - -656/2871. Let g = 0.4 - 0.2. Let z = 0.5 - -1.5. Sort g, c, z in decreasing order.
z, c, g
Let u(l) = -l**2 - 3*l - 2. Let n be u(-2). Suppose -18 = 4*r - 2*v, v - 2*v + 18 = -5*r. Sort 2, n, r.
r, n, 2
Let p = 0 + 1. Put -5, p, -3 in ascending order.
-5, -3, p
Let h(i) = i**3 + 5*i**2 + i + 4. Let t be h(-5). Sort 3, t, -4 in increasing order.
-4, t, 3
Let r = 52 - 51. Let m = -5 - -5.03. Let k = -0.43 + m. Put k, -3, r in increasing order.
-3, k, r
Let k = -0.4 + 0.2. Let m = 0.07 - -0.63. Let h = k + m. Sort -4, -0.4, h in decreasing order.
h, -0.4, -4
Let q = -11 + 16. Let u(o) = 3*o + 31. Let j be u(-9). Let b be (-15)/3*(0 + 1). Sort b, q, j in descending order.
q, j, b
Let h = -15 - -9. Let v = -5 - h. Sort -0.2, v, 5 in decreasing order.
5, v, -0.2
Let s be -3 - (2 - (-11)/(-2)). Let v = 21 + -19. Put v, -1, s in decreasing order.
v, s, -1
Let v(a) = -a**2 - 5*a + 7. Let u = 9 + -15. Let k be v(u). Sort -4, -2, k in descending order.
k, -2, -4
Let v = -5 + 1. Put v, 0, 4 in descending order.
4, 0, v
Let q(o) = -o**2 - 3*o + 8. Let f be q(-7). Let j = -16 - f. Put j, -1, -0.2 in ascending order.
-1, -0.2, j
Let x = -1.81 - -1.71. Sort 2, x, -1.2, 1 in descending order.
2, 1, x, -1.2
Suppose -3*g - 3 = 2*p, 4*p + 0*g - g - 1 = 0. Suppose m + m + 6 = p. Put 2/3, m, 5 in ascending order.
m, 2/3, 5
Let x = -2 - 1. Let s = -2 + x. Let d = -1 - s. Sort 3/8, d, -0.5 in ascending order.
-0.5, 3/8, d
Suppose -b + 12 = 3*l, 5*b + 4 = 2*l - 21. Let d be 5*-1*(-104)/(-130). Sort l, d, 3 in decreasing order.
l, 3, d
Let f be (-25)/(-10)*4/10. Let t(m) = 4*m**3 - m**2. Let x be t(-1). Put x, f, 5 in increasing order.
x, f, 5
Let p = -22 + 27. Put p, -5, -2 in ascending order.
-5, -2, p
Suppose 0 = 5*j + p - 21, 3*j - 35 = 9*p - 4*p. Let t be (4/(-6))/(12/90). Sort j, 1, t in increasing order.
t, 1, j
Let h = 4697 + -28031/6. Let f = 25 - h. Put -6, 2/5, f in decreasing order.
2/5, f, -6
Let x(h) = h - 6. Let r be x(10). Let q = -2 + r. Let g(u) = -u**3 + 4*u**2 - u + 3. Let z be g(4). Sort q, -2, z.
-2, z, q
Let r(k) = 4*k**3 - 3 + 3*k + 2*k**2 + 2*k**2 - 3*k**3. Let l be r(-3). Let q(p) = p + 9. Let s be q(-7). Sort l, 0, s.
l, 0, s
Let t = -3.5 + 1.2. Let b = t + 1.9. Sort 1, b, 0.4 in descending order.
1, 0.4, b
Let x = 0.03 + 0.07. Let f be 15/28 - (-2)/(-7). Let b = 6.4 - 6.5. Sort f, x, b in descending order.
f, x, b
Suppose -9 = -5*i - 4*i. Sort 3, i, -3.
-3, i, 3
Let z be ((-1)/12)/((-6)/(-8)). Let s = 500355764/1178815113 + -2/6237117. Let b = -1/243 - s. Sort z, b, -0.4.
b, -0.4, z
Let o(p) = -p**3 + 9*p**2 - 3*p + 3. Let h(q) = -q - 1. Let j(i) = -2*h(i) + o(i). Let y be j(9). Put -0.2, -0.1, y in increasing order.
y, -0.2, -0.1
Let g(z) = 2*z - 1. Let p = -2 - -5. Let k be g(p). Put -2, k, 4 in decreasing order.
k, 4, -2
Let z be 13 + -11 + (-1 - -1). Put 3, z, 0 in decreasing order.
3, z, 0
Let f = -3 - -5. Let i = f - 4. Sort -4, 2, i in ascending order.
-4, i, 2
Let f = 4.08 - 0.08. Let x = -19.5 + 19.6. Sort x, -0.3, f in decreasing order.
f, x, -0.3
Let m be 1 + 2 + 4/2. Suppose 5*a = 38 - 13. Suppose -a*c - 12 + 32 = 0. Sort c, -1/6, m in increasing order.
-1/6, c, m
Let z = -4 - 9. Let v = z + 18. Sort 1, -5, v in decreasing order.
v, 1, -5
Let b = -41672/753 - -166/3. Let k = b - -524/2761. Put k, -4, 4 in increasing order.
-4, k, 4
Let k be 5/(-30) - 4/(-6). Let j = -2/169 - -352/1183. Sort k, j, -2 in ascending order.
-2, j, k
Suppose -8 = -2*k + 2*q, 2*k - 4*k - 2 = 3*q. Suppose 3*c - 6 = -2*o, -3*c + 6 = -0*c. Let x = 9 + -4. Sort x, k, o in increasing order.
o, k, x
Let c be -1 + (-72)/33 + 3. Put -3/2, -5/7, c in descending order.
c, -5/7, -3/2
Let i = 599/804 + 1/201. Sort 2/9, i, 19, -4 in increasing order.
-4, 2/9, i, 19
Let k = 0.6 + -0.2. Let v = 404 - 403.7. Let z be (4/(-3))/((-2)/(-6)). Sort z, v, k in ascending order.
z, v, k
Suppose 4*g = 5*g - 5. Sort g, 1, 4.
1, 4, g
Let b = 0.4 - -0.7. Let c = b - 0.1. Let r = -0.6 - -5.6. Put r, c, 0.3 in descending order.
r, c, 0.3
Let m = 0.8 - 0.6. Put -4, 4/7, m in descending order.
4/7, m, -4
Let b = 2/149 - 308/745. Put b, 0.1, -4 in increasing order.
-4, b, 0.1
Let p = 557/6 - 93. Let v = -1 - -0.7. Let b = -14 - -10. Put p, b, v in increasing order.
b, v, p
Let z(i) = i**3 - 6*i**2 - 2*i - 2. Let k be z(8). Let a be 2/(-5) + k/25. Let w(o) = -o - 1. Let b be w(-6). Put -4, b, a in decreasing order.
b, a, -4
Suppose 3*o + 2*o = 25. Sort -3, 4, o in decreasing order.
o, 4, -3
Let y = -3.2 + 3. Let w = y - -4.2. Sort 0, -4, w in decreasing order.
w, 0, -4
Suppose 0 = -3*h - h. Suppose h = 3*d - d. Sort d, -8, -3 in descending order.
d, -3, -8
Let i = 1.9 - 1.9. Let k = -2 - -2.2. Put 2, k, i in descending order.
2, k, i
Let t(v) = -v + 2. Let s be t(5). Let c = 2 + s. Suppose 4*r - 12 = -0. Sort c, 0, r in decreasing order.
r, 0, c
Let o = -12.7 - -13. Sort -1/5, o, 0.5 in decreasing order.
0.5, o, -1/5
Let x be (-16)/9 - (-20)/(-90). Sort x, 3, -4, -15.
-15, -4, x, 3
Let x = 12 - 9. Suppose 0 = -x*m + 5*m + 8. Put 8, m, 4 in decreasing order.
8, 4, m
Suppose -8*t = -3*t + 15. Sort t, -5, -1 in descending order.
-1, t, -5
Let m = -69 - -64. Sort m, 1/9, -6 in ascending order.
-6, m, 1/9
Let a = 7 + -9. Suppose -3 + 23 = -5*h. Sort 3, a, h.
h, a, 3
Suppose -4*u = 4*l - 12, -8*l + 3*l - 4*u + 15 = 0. Sort -3, l, 28, -1.
-3, -1, l, 28
Let b(f) = -f + 9. Let x be b(8). Let p be (0 + -1 + 1)/(-1). Put 5, p, x in decreasing order.
5, x, p
Let h(j) = -j**3 + 7*j**2 + 9*j - 1. Let u be h(8). Let d be 3/(-3)*u/5. Let o = d + 26/15. Sort -2, 0.1, o in ascending order.
-2, 0.1, o
Let y be ((-9)/27)/((-2)/6). Let n be (-3)/(-2)*(y + 1). Suppose 3*o - l - 7 = -0*o, 5*o - 3*l = 17. Put 4, n, o in descending order.
4, n, o
Let u(v) = -v**3 + 8*v**2 - v + 6. Let t be u(8). Put -6, -1, t in increasing order.
-6, t, -1
Suppose 5*o + 0*o = 25. Suppose 0 = -o*p, -11 = 4*m + 5*p + 5. Let i be (-21)/(-15) + m/10. Put i, 0, 2 in ascending order.
0, i, 2
Suppose -5 - 7 = -4*m. Let q be 1/(1*3/m). Let h(x) = -6*x**3 + 2*x**2 - 2*x + 1. Let z be h(q). Sort -1, z, 3 in descending order.
3, -1, z
Let h = 0.57 + -0.27. Sort h, -26, -2 in ascending order.
-26, -2, h
Let b = -7 + 5. Let w(i) = 3*i - 21. Let q be w(11). Suppose -q = 2*c + c. Put c, b, 4 in increasing order.
c, b, 4
Let n(s) = -s**2 + 6*s - 1. Let y be n(5). Suppose 2*c + 4*g = -2*c - 24, -2*c = 4*g + 16. Sort c, 3, y.
c, 3, y
Let x be 6*(4 - (-21)/(-6)). Suppose -x*p = -5*w + 16, -5*p + 28 = 5*w - 4*p. Let q(a) = -a**2 - a - 1. Let y be q(-2). So