-3*s - s**2 + 15 - s - 16. Let i be h(-3). Put i, -1, 5 in decreasing order.
5, i, -1
Suppose 3 = -3*n + 18. Suppose 2*h + 0 = -5*i + 33, -n*h = 2*i - 30. Suppose -5 = -0*t - t. Put 0, t, h in increasing order.
0, h, t
Let m(b) = -4 + 1 + 0 + 3*b. Let y be m(3). Sort 4, -2, y in decreasing order.
y, 4, -2
Let z = 0 + 1. Let g be 2/(-3) + (-22)/(-6). Let r = g + -6. Put -4, r, z in decreasing order.
z, r, -4
Let i(g) = g**2 + 10*g + 6. Let c be i(-9). Put c, 0, 5 in ascending order.
c, 0, 5
Let c = -91 + 89. Put 0.01, 2/3, -0.2, c in ascending order.
c, -0.2, 0.01, 2/3
Let u = -6 - -4. Let g be u*(-3 + (-28)/(-8)). Put 0.08, g, 2 in descending order.
2, 0.08, g
Let w = 42 - 45. Put w, 2, 1/6 in ascending order.
w, 1/6, 2
Let j = 1/189 + 185/756. Put 3, j, 10 in increasing order.
j, 3, 10
Let t be 4/(-6) - (-8)/3. Let y be 1/2*8/6. Let q = -0.6 + 0.2. Sort q, t, y.
q, y, t
Let f = 2.5 - 2. Let t = 1 - 1.1. Let l = 0 + t. Sort 2, l, f.
l, f, 2
Let m = 0.06 + -0.46. Let d = m + 0.1. Let c = -3 - -3.2. Put 2, d, c in ascending order.
d, c, 2
Let c = -0.01 + 0.24. Let a = 0.13 - c. Sort 0.3, 0.1, a.
a, 0.1, 0.3
Let j = -0.1 - -0.1. Let q = -0.1 - j. Let c = 5/4 - 7/4. Sort c, 2/15, q.
c, q, 2/15
Suppose -2*d = -r + 5, -9*d + 35 = -5*r - 11*d. Let z(a) = 7*a**3 + a**2 + 2*a + 1. Let s be z(-1). Sort -4, r, s in decreasing order.
-4, r, s
Let w = -4 + 4. Suppose -y + w = 3. Let k = 0 + 3. Sort 2, k, y in descending order.
k, 2, y
Suppose -3*p - 5 = -4*p. Suppose -5*f = 5*r - 10, -p*r = -f - r + 17. Let u = 9 - f. Sort u, -2, -5 in ascending order.
-5, -2, u
Let b be -4*(8/9 + -1). Let g = -1.9 - -6.9. Sort g, 0.5, b in decreasing order.
g, 0.5, b
Suppose 14*f - 8*f = 0. Let k(z) = -z. Let t be k(-2). Suppose -5*p + 13 = -2*p - t*l, p + 2*l = 7. Put -1/4, p, f in increasing order.
-1/4, f, p
Let s = 2 + 4. Let j = -5.6 + s. Sort 3, 0.2, j in descending order.
3, j, 0.2
Let m = 1.28 - 0.28. Put 0.4, m, 0.2 in decreasing order.
m, 0.4, 0.2
Let m(f) = f**2 - 6*f - 2. Let i be m(6). Sort -4, i, 0 in decreasing order.
0, i, -4
Let l = -10738/285 - -1/95. Let x = -37 - l. Sort -2/17, x, 0.4.
-2/17, 0.4, x
Suppose 16 + 4 = 5*g. Suppose -2*l = z - 5*l + 14, 5*z + 4*l + 13 = 0. Sort 1, g, z.
z, 1, g
Suppose 3*n + 3*j = 18, -n - j = n - 9. Suppose -8 = -7*q + n*q. Sort -5, 0.5, q in decreasing order.
q, 0.5, -5
Let z = -22.1 - -22. Let y = 1.9 - z. Put y, 1/4, -2/9 in descending order.
y, 1/4, -2/9
Let t = -3 - 0. Let y = 3 + t. Let q be (-3)/(6/4) + -6 + 6. Put -3, y, q in decreasing order.
y, q, -3
Let v = -0.11 + 2.11. Let y = v - 7. Sort y, -4, 0 in ascending order.
y, -4, 0
Let i = -0.61 - -0.61. Sort 93, i, 3/7 in increasing order.
i, 3/7, 93
Let i = 10 - 12. Sort i, -0.4, 26.
i, -0.4, 26
Let v = 13/6 - 5/2. Sort -5, 0.1, -1, v.
-5, -1, v, 0.1
Let q(r) = r**3 - r**2 + r - 1. Let g be q(1). Suppose 4*i - 16 = g, -z - 3*i + 5 = -8. Sort z, 3, 5 in decreasing order.
5, 3, z
Suppose 0 = -c - 4 - 1. Let m be (-25)/(-10)*(-6)/c. Let o = 2 - 1. Sort m, -3, o.
-3, o, m
Let c be (4 - 35/15)*3. Put c, -4, 6, 4 in decreasing order.
6, c, 4, -4
Let c(j) = j**2 - 3*j + 2. Let d be c(3). Suppose 2*l = -d*l - 4. Put 4, l, -5 in increasing order.
-5, l, 4
Let g(f) = f + 8. Let p be g(-11). Let a be 0/(p + 0 - -1). Sort a, -5, -1 in descending order.
a, -1, -5
Let o = 3/193 + 1909/1351. Put 2, o, 2/9 in ascending order.
2/9, o, 2
Let t = -9.8 + -2.2. Let b = t - -8. Let n = b + 4. Sort -5, n, 3.
-5, n, 3
Suppose 0 = -3*v - 3*x, x = -5*v + 4*x + 32. Sort 3, -11, v, 5 in decreasing order.
5, v, 3, -11
Suppose -224 = -6*f + 2*f. Put -3, -5, f in decreasing order.
f, -3, -5
Let p(n) = 3*n + 25. Let l be p(-8). Put 2, l, 4 in descending order.
4, 2, l
Let w(y) = y - 1. Let s be w(-3). Let u = 85 - 86. Sort s, 2, u in decreasing order.
2, u, s
Let y = 0.017 - 0.417. Put 3, y, 4/7, 0.3 in increasing order.
y, 0.3, 4/7, 3
Let l = -23 + 22. Put -3, 4, l in descending order.
4, l, -3
Let c = 2.4 - 0.4. Let r be (0 - 0) + 2/(-7). Sort -0.3, c, r in increasing order.
-0.3, r, c
Let u be ((-2)/(-2))/((-7)/2). Let v = -19 - -18. Put u, v, -0.1 in increasing order.
v, u, -0.1
Let q be -1 + 1 + -1 - 2. Let i = 13 - 13.1. Put q, 0.5, i in increasing order.
q, i, 0.5
Let z be 3/((-1 + -3)/4). Sort -6, -4, z in ascending order.
-6, -4, z
Let u be (-2 + 1)*(4 - 13). Put u, 5, -4, -5 in ascending order.
-5, -4, 5, u
Let f be 3/(-1) + 2/(-7 - -5). Sort 1, f, -17, -3.
-17, f, -3, 1
Suppose -4*z + 2*z + 2 = 0. Let p = -4 - z. Put 2, p, -4 in increasing order.
p, -4, 2
Let s(l) = 0 + 2*l - l**3 + 2*l + 1 - 3*l**2. Let y be s(-4). Suppose 4*v = q - 16, v = -2*q - 5 + y. Sort 2, q, -3.
-3, q, 2
Suppose 21 = -4*v - 5*c, -3*v - 4*c = 7 + 10. Let w = 428 + -425. Let l = 0.1 + -0.3. Sort v, l, w in ascending order.
l, v, w
Suppose 6 = -s + 2. Put s, -2, -6, 0 in ascending order.
-6, s, -2, 0
Let l = -12.05 + 13. Let v = l + 0.05. Put -0.5, v, 2/7 in descending order.
v, 2/7, -0.5
Let s be 0/((-7)/(28/(-8))). Put s, -4, -10 in ascending order.
-10, -4, s
Let h = -4.7 + 4. Let v = 0.2 + h. Let i = -2.01 + 0.01. Sort i, v, 5 in decreasing order.
5, v, i
Suppose 70*y + 3 = 71*y. Put y, 2, 9 in decreasing order.
9, y, 2
Let g = -6 - -1. Let n be 159/(-120) + 54/45. Sort n, 0, g in ascending order.
g, n, 0
Let f = 0.67 - 7.67. Put 4, f, -4, 6/11 in decreasing order.
4, 6/11, -4, f
Let t = 4 - 4.1. Let c = t - 0.1. Let n be (-1)/(-20) + (-3)/(-15). Put c, n, -3 in descending order.
n, c, -3
Let u be 5/(-2)*(-24)/20. Suppose 2*s = -3*s + 4*i - 12, u*s + 4 = 4*i. Put 0, s, -2 in decreasing order.
0, -2, s
Suppose 0 = 3*r - 2 - 70. Suppose 3*w - 3*c - r = -0*w, 2*w = -2*c + 4. Suppose 3*a - y - 2*y + 27 = 0, 37 = -3*a + w*y. Put 5, a, 1 in descending order.
5, 1, a
Let j be (6 - 2) + -12 - -1. Sort 1, -1, j.
j, -1, 1
Let u = -26 + 29.2. Let c = -3 + u. Let v = -0.1 + -0.1. Put v, 2, c in increasing order.
v, c, 2
Let g(y) = y - 8. Let a be g(12). Suppose -4 = a*c - 0. Sort -2/15, 0.2, c.
c, -2/15, 0.2
Let y(h) = h + 3. Let w be y(-2). Put w, -3, -5 in increasing order.
-5, -3, w
Let t be (-1)/(-5) - 368/115. Let u be (2*-1 + 6)/(-1). Sort u, t, 2.
u, t, 2
Suppose -6*g + 2*g = 4. Let u be 4/(-14) + (-16)/(-7). Suppose u*b - 2 = b. Sort -5, g, b in increasing order.
-5, g, b
Let j(z) = 2*z - 10. Let p be j(-9). Let f be -4*(p/(-8) - 4). Sort 3, f, 5 in decreasing order.
5, 3, f
Let o be (-15)/(-5) - (0 - -1). Sort 4/11, o, 0.3.
0.3, 4/11, o
Let j = 0.8 - 0.84. Let u = -4.04 - j. Sort u, -0.4, 0 in increasing order.
u, -0.4, 0
Let p = -0.01 - 0.29. Let k = -0.7 + -2.3. Put k, p, -5 in decreasing order.
p, k, -5
Let h = 0.18 + -0.14. Sort -0.4, h, 5 in decreasing order.
5, h, -0.4
Suppose -k - j = -9, 5*j - 4 - 1 = 5*k. Sort k, 5, 7 in ascending order.
k, 5, 7
Let p = 34 + -34.13. Let h = p - -6.13. Let i = 5.9 - h. Put i, 4, 0.4 in increasing order.
i, 0.4, 4
Let g = -2445 - -124691/51. Let r = -133/255 + g. Let d(a) = 2*a**3 - a**2 + 1. Let t be d(-1). Put 5, t, r in ascending order.
t, r, 5
Suppose -q - 2*d = 12, 0*q + 3*q + 56 = -d. Let t be (8/(-5))/((-4)/q). Sort 5, t, -2.
t, -2, 5
Let h = -4 + 6. Let r be (-17)/15 + 11 + -10. Sort r, h, -2 in ascending order.
-2, r, h
Let a be 6/(-10) + 39/15. Put -1, a, -3 in descending order.
a, -1, -3
Let d(q) = 2*q**3 + 2*q**2 + 2*q + 1. Let r be d(-1). Let v = 6 + -11. Sort v, r, 0 in descending order.
0, r, v
Let o = 11 - 12. Let g = -6 - o. Sort 0.06, -2/9, g.
g, -2/9, 0.06
Let p be (-1 + 1)*(-5)/10. Sort 0.1, p, 7 in ascending order.
p, 0.1, 7
Let z = -31 + 33. Let q = -1.3 + -2.7. Sort q, z, -3.
q, -3, z
Suppose -z + 1 = 4, -3*n + 5*z = -15. Sort -7, n, -2, 0.3.
-7, -2, n, 0.3
Let m = -1.7 + 1.7. Sort 72, m, -2.
-2, m, 72
Let u = 3 - 3.1. Sort -2, -1, u in increasing order.
-2, -1, u
Let l be 38/6 - (-2)/(-6). Suppose w - l = -w. Suppose 3*q - 3*t = 5*q - 5, 5 = 4*q + t. Sort w, -1, q in decreasing order.
w, q, -1
Let m be (-6)/51 - (-195)/357. Put m, -5, -1 in ascending order.
-5, -1, m
Let k = 13 + -17. Sort 2, 2/3, k.
k, 2/3, 2
Suppose 4*b + 2 + 6 = 0. Sort -3, b, 2.
-3, b, 2
Suppose -4*q - 9 = a, 0*a = 2*q - 5*a - 1. Let b be (-1 + (-2)/(-4))*q. Suppose -3*c - 4*g + 59 - 94 = 0, 0 = -2*g - 10. Put c, b, 5 in increasing order.
c, b, 5
Let l = 3 - 3. Let y be (