uppose -2*b - o*b + 8 = 0. Suppose 2*c - 4*i = -4, -3*c + 3*i = -0*c + 9. Sort c, 3, b.
c, b, 3
Let n = -70 - -69. Put -8, n, -5 in decreasing order.
n, -5, -8
Let w(g) = g**3 - 6*g**2 + 5*g + 1. Let f be w(5). Suppose 1 = -x + 2*t - 0, 3*x + 3 = 5*t. Sort -5, f, x in increasing order.
-5, x, f
Let b(f) = -f**3 - 10*f**2 + 12*f + 14. Let n be b(-11). Suppose -4*d = -5*d + n. Let y be ((-8)/24)/(1/6). Sort y, d, 0 in ascending order.
y, 0, d
Let z = 92 - 158. Let t = -72.1 - z. Let w = -1.1 - t. Sort -3, w, -2 in decreasing order.
w, -2, -3
Let b(f) = -f. Let z be b(5). Suppose -4*l - 20 = 0, 5*q = 5*l - 218 + 63. Let j be ((-5)/15)/(3/q). Sort j, z, 2.
z, 2, j
Suppose 0 = -3*i - 2*s + 5, 2*i + 5*s = -i - 10. Let u = 3 + -1. Sort u, 1, i in decreasing order.
i, u, 1
Let l = -2 + 1. Let n be l/(6/(-9) + 1). Sort n, -4, 0.1.
-4, n, 0.1
Suppose 2*a = -a. Sort -6, -2, a in increasing order.
-6, -2, a
Let t be (-1)/4 - 27/(-12). Suppose 2*c - 3*c + 12 = 0. Suppose 0 = -3*g - c, -3*r + 3*g = -6*r. Sort t, -1, r in descending order.
r, t, -1
Suppose 4*p + 20 = -0. Let c(s) = -s + 6. Let d be c(7). Let t(o) = -o**3 + 5*o**2 - o + 6. Let k be t(5). Sort k, p, d in descending order.
k, d, p
Let g(z) = -z**2 + 8*z - 7. Suppose 2*j - 3*h = 21, 5*j + 4*h - h - 21 = 0. Let y = j - 0. Let l be g(y). Put l, 0.3, -2 in ascending order.
-2, 0.3, l
Suppose 18 = -4*i + 3*o, -i + 3*o + 2*o - 13 = 0. Suppose -5*t - 22 = -2*p - 5, 0 = 2*t - 3*p - 2. Let a be (4/(-6))/((-4)/6). Put a, i, t in descending order.
a, i, t
Let k(v) = v**2 - v - 7. Let w be k(-3). Let d be 12/10*(-15)/(-6). Sort 4, d, w in increasing order.
d, 4, w
Let s = -73.5 + 74. Sort 0, s, -3, -1 in descending order.
s, 0, -1, -3
Let x be (-72)/(-14) - (-2)/(-14). Sort 4, x, 1 in decreasing order.
x, 4, 1
Let w = 15 - 6. Let h = w - 12. Put h, -4, 0 in increasing order.
-4, h, 0
Let h be (4/(-20))/((-4)/1085). Let a = 54 - h. Let s = 1 - 1/2. Sort a, 3/2, s in decreasing order.
3/2, s, a
Let m be 3*(56/(-6))/(-4). Suppose -4*s = -x + 18, 0 = -x - 2*x - 2*s - 2. Suppose -m*c - 20 = -x*c. Sort 4, c, 3 in increasing order.
c, 3, 4
Let f = -3 + 4. Let t = 2 - f. Sort -0.01, 2/7, t.
-0.01, 2/7, t
Let w = 8 + -8.3. Let k = -85/3 + 28. Let z = -11/24 - k. Put z, 0.4, w in descending order.
0.4, z, w
Let o = -3.8 - -2. Let t = o + 4.8. Sort 4, -0.5, t in decreasing order.
4, t, -0.5
Let s = -46 + 41. Sort -3, s, -2, -1 in decreasing order.
-1, -2, -3, s
Suppose 2*m + 14 - 4 = -d, 2*m - 5*d - 14 = 0. Sort 1/2, -2/7, m in descending order.
1/2, -2/7, m
Suppose 0*c = -2*p + 5*c - 1, 5*c - 5 = 0. Suppose -p*o = o + 3. Put -5/4, -2, o in descending order.
o, -5/4, -2
Let g be (0 - (-4)/4)/(-1). Let y = 2 - 1. Sort y, g, 0.1 in increasing order.
g, 0.1, y
Let k = 3142/21 - 905/6. Let p = -3/2 - k. Sort p, 4, 5.
p, 4, 5
Let l = 30 - 33. Put 5, 1, l in decreasing order.
5, 1, l
Suppose i = 5, 3*j + 7 = 4*j + i. Let r = 2 - j. Put 2, -5, r in descending order.
2, r, -5
Let u = 281 - 264.93. Let x = -16 + u. Put x, 2, -3 in descending order.
2, x, -3
Let q = 3 + -2. Let b be (-9 - -9)/(q - 0). Put b, -3, 3 in descending order.
3, b, -3
Suppose -4 - 8 = 6*c. Let t be (0 - 2)/2 + 0. Let h be 4/2*t/2. Put -4, c, h in decreasing order.
h, c, -4
Suppose 23*z + 2*z - 125 = 0. Let d = 2.4 + -2.29. Sort d, z, 3 in descending order.
z, 3, d
Let h = -5.4 + 2.5. Let v = 1 + -1.1. Let i = h + v. Put 3, 0.2, i in increasing order.
i, 0.2, 3
Let q = 18.9 - 18.95. Sort -2/5, q, -3.
-3, -2/5, q
Suppose -h = -r + 2*r, -5*h = -r - 12. Let p(w) = -w - 7. Let z be p(-5). Let a be (-2)/(1 + z + 3). Sort a, h, 3.
a, h, 3
Suppose 4*s - 6 - 1 = -3*t, -1 = -4*s - 5*t. Let m = -10 + 12. Suppose 0 = 4*a - 6 + m. Put s, -4, a in decreasing order.
s, a, -4
Suppose 3*u + 4 = 19, -3*u + 51 = 4*h. Put 3, h, 4, 5 in increasing order.
3, 4, 5, h
Let m = -9 - -8. Let j = m + 3. Put 0.1, j, -1/2 in increasing order.
-1/2, 0.1, j
Let s = 8 - 12. Let d = -4 - -5. Put s, d, -3 in ascending order.
s, -3, d
Suppose 18*h = 21*h + 12. Sort 3, 2/7, h, -1/7.
h, -1/7, 2/7, 3
Suppose 0 = -2*a + 8, -5*a + 20 = -2*r - 6. Let v be 1 + 1 - r/3. Put -3, v, 4 in decreasing order.
4, v, -3
Suppose o - 7 = -2. Suppose 2*f = f + o. Sort -4, f, 4 in descending order.
f, 4, -4
Let y = 9 - 4. Suppose 4*c + 4 = -4*b, 4*c = 1 - 17. Let m be b*2/(-6)*-3. Put -2, y, m in descending order.
y, m, -2
Let z(o) = 10 - 5 - 3*o + 2*o + 4. Suppose -3*d = -10 - 23. Let i be z(d). Sort 1, -1, i in descending order.
1, -1, i
Let o = 21 - 65/3. Let z = -15 - -12. Suppose 3*x = -x + 16. Put x, o, z in descending order.
x, o, z
Let f(t) = -1 + 0 - 4 + t. Let d be f(8). Let g be (20/(-4))/(-3 - -2). Sort d, g, -3.
-3, d, g
Suppose -2*l - 5 - 5 = 0. Sort -3, l, 1 in decreasing order.
1, -3, l
Let t = 6 + -6. Let v be 1 + 0 + -2 + 4. Put -3, v, t in decreasing order.
v, t, -3
Let y be (-2)/(-12) - 3/(-9). Let c = 4 + -8. Put y, -3, c in decreasing order.
y, -3, c
Let a = -64 + 68. Put a, 1, 2, 3 in descending order.
a, 3, 2, 1
Let d = -13 + 18. Sort -1, -4, d in decreasing order.
d, -1, -4
Suppose 0*o = -2*g - 4*o - 8, 0 = 2*g - 3*o - 20. Suppose -5*w - g*m = m - 20, -4*w = -5*m - 25. Sort -3, w, 1 in increasing order.
-3, 1, w
Let m be -4 + (2 - (-1)/1) + 4. Put 0, m, 1/7 in decreasing order.
m, 1/7, 0
Let k = -1349/813 + -2/271. Let s = -2 + 2. Put k, s, 0.5 in decreasing order.
0.5, s, k
Let a(g) = -g**2 - 10*g - 11. Let m be a(-9). Suppose -5*l = -4*u + 19 - 0, -4*u - 8 = 4*l. Let s = -41 + 44. Sort s, u, m.
m, u, s
Let m(a) = -6*a + 3. Let b be m(1). Sort 4, -1, b.
b, -1, 4
Suppose -4*i - 3 - 1 = -2*h, -i = h + 7. Let f = 1 + -3. Let g be f*(0/(-2) + -2). Sort i, g, -1 in decreasing order.
g, -1, i
Suppose 0 = 4*r - 3*r + 3. Put -5, r, 3 in descending order.
3, r, -5
Let r = 22 + -10. Let o = 10 - r. Sort -0.4, o, -5 in decreasing order.
-0.4, o, -5
Let w = 0.08 - 1.58. Let x = w - -1. Sort 1/5, 0.5, x in ascending order.
x, 1/5, 0.5
Let k = -52 + 209/4. Put k, 0, -4 in descending order.
k, 0, -4
Let g = -16 - -15. Sort g, 1, 4 in ascending order.
g, 1, 4
Let a(m) = m**2 - 2*m - 1. Let f be a(-1). Put -1, f, 3 in descending order.
3, f, -1
Let q = -2 + 5. Let g = 6 - q. Let r = g + -4. Sort -5, r, -2 in decreasing order.
r, -2, -5
Let o(n) = -5*n - 66. Let t be o(-13). Sort -27, t, 3 in increasing order.
-27, t, 3
Suppose 6 = -9*m + 6. Suppose -2*p + 2*u = -1 - 5, 0 = -5*p - u - 15. Put m, 1, p in decreasing order.
1, m, p
Suppose 3*x = -4 - 2. Sort x, 1, -0.3 in decreasing order.
1, -0.3, x
Let j = 1 - 1. Suppose a + j*a - 4 = 0. Sort 10, a, -1 in ascending order.
-1, a, 10
Let l = -3.7 + 4. Let j = -3 + 2. Let u = j - -0.5. Put -0.1, u, l in increasing order.
u, -0.1, l
Let t = 1443 + -8689/6. Let k = t - -11/2. Let i = 14 + -10. Put k, 2/7, i in ascending order.
2/7, k, i
Suppose -r = -1 - 3. Put 3, -2.7, r, 2/5 in decreasing order.
r, 3, 2/5, -2.7
Suppose 2*t - 16 = -116. Sort 2, 3, 0, t in decreasing order.
3, 2, 0, t
Suppose -d = 3*o + 9, 6*d - 2*d - o - 16 = 0. Put 0, d, 22 in ascending order.
0, d, 22
Let r(m) = 2*m + 3. Let a be r(-3). Let o(j) = 4*j + 4. Let p be o(-2). Let n = 0 + -2. Put p, n, a in increasing order.
p, a, n
Let m = 26 + -23. Suppose -2*s - 5*p = 17, -4*p = s + 11 + 2. Let w = -5 + 9. Sort m, s, w in descending order.
w, m, s
Suppose 0 = 4*n - 15 - 13. Suppose -2*q + n*q + 60 = 0. Sort 2, -5, q in increasing order.
q, -5, 2
Let h be (-9)/15*(-10 - -5). Suppose s + h - 4 = 0. Suppose -5*c = -5*y, 0 = 5*y - y - 3*c - 5. Sort 3, s, y.
s, 3, y
Suppose 0 = -z - 0*z + 2, 5*w = -2*z + 29. Let o be 4/3*9/2. Let m = o - 4. Put 3, m, w in ascending order.
m, 3, w
Suppose q - 5*p = 18, -6*q = -q - 3*p - 46. Let u be 6/q - 6/8. Let i be (u - 2)/((-4)/8). Put -4, -2, i in increasing order.
-4, -2, i
Let t(g) = -g - 2. Let c be t(-7). Suppose -6 = -6*b + 3*b. Sort c, -5, b.
-5, b, c
Let n(z) = 2*z + 11. Let y be n(-5). Let w = 0 + y. Sort w, 5, -2 in decreasing order.
5, w, -2
Let x = -0.9 - 3.1. Let n = 5 + x. Let q = 0.7 - n. Put q, 2, 0.3 in descending order.
2, 0.3, q
Let o be (2 - 1) + (-2 - -1). Suppose 3*l = 3*m + 9, -3*l + 16 = -4*m + 2*l. Let a be 5 + m/2*-6. Sort -5, a, o.
-5, o, a
Let z = 13 + -18. Let u be (15/(-25))/(2/(-10)). Put z, u, -2 in increasing order.
