x, o in increasing order.
-2, x, o
Suppose m + 5 - 2 = 0. Let b be 32/108*m/(-4). Sort b, -0.4, -0.1 in ascending order.
-0.4, -0.1, b
Suppose 0 = 4*q + t + 3*t + 32, -3*q - 5*t - 28 = 0. Let l(g) = 7 - 2 - 2 + g. Let m be l(q). Sort -1, m, 5 in decreasing order.
5, -1, m
Let r = 1 + -5. Let p = 5 - 5.4. Put p, -2, r in increasing order.
r, -2, p
Let p = 6 - 8. Let s = 8 - 8.7. Let l = s - 4.3. Put l, p, -4/3 in ascending order.
l, p, -4/3
Suppose 0 = 4*z + 3*r + 26, 35 = -5*z - 10*r + 5*r. Put 16, z, 0 in ascending order.
z, 0, 16
Let f = 10 - 10.5. Put f, 2, -2/13 in ascending order.
f, -2/13, 2
Let q be 0 + (0 - -1) - 23. Let y be 3/q*(-12)/9. Sort 1/2, 4, y in increasing order.
y, 1/2, 4
Let r = 0 - -5. Let b = -1 + r. Put 5, -5, b in ascending order.
-5, b, 5
Let i(n) = -4*n - 97. Let z be i(-23). Put 1/7, 2/23, z in ascending order.
z, 2/23, 1/7
Let c = -15 - -24. Suppose 4*d = d - c. Put d, 3, 0 in decreasing order.
3, 0, d
Let f be 1 + (-3)/(-4 - -1). Suppose 5 = -k + f*k. Suppose -k*g + g = 0. Put g, 5, 1 in descending order.
5, 1, g
Let i be (-2)/(-11) - (-380)/209. Put 0, i, 4, -14 in ascending order.
-14, 0, i, 4
Let j = 29 + -15. Let y = 7 - j. Let g = y - -5. Sort g, -0.5, -4 in ascending order.
-4, g, -0.5
Suppose 2 - 11 = -3*l. Let a be (l/(-2))/(3/(-4)). Let i be a/3*(-6)/(-8). Sort 1, -4, i.
-4, i, 1
Let x be (-6)/(-21) - (-26)/7. Suppose i + 3 = x*z, -4*i = z + 2*z + 12. Suppose 19 = -5*c + 14. Sort z, c, -4.
-4, c, z
Let r = -1.82 - -1.42. Put r, 2.7, -0.3 in increasing order.
r, -0.3, 2.7
Let b = 1.6 + -2. Sort -2/7, b, 4.
b, -2/7, 4
Let b be (-2)/(-1) - (-12)/(-8). Let n be (-1)/2*(-78)/(-4). Let s = n - -10. Put s, 1/9, b in decreasing order.
b, s, 1/9
Suppose 0 = -0*c + 5*c + 20. Let s be 1*2/(c/(-6)). Suppose 0*h - 15 = 5*o - 5*h, 5*o - 4*h + 16 = 0. Put o, s, 4 in ascending order.
o, s, 4
Suppose -2*c - 4*q + 5*q + 3 = 0, 18 = 4*c + 2*q. Let m be (4 - 2) + 16/(-6). Sort c, 5, m.
m, c, 5
Let i be (2 - (6 + 7)) + (-4)/2. Put i, -2, -6 in ascending order.
i, -6, -2
Let x = 1.5 + -1.3. Let h(k) = -k**2 - 3*k + 1. Let q(b) = b**2 - 6*b - 10. Let g be q(7). Let s be h(g). Put 0.5, s, x in decreasing order.
s, 0.5, x
Let j = 4.719 - -0.281. Let c = -0.1 + -0.9. Let y = c + 5. Put j, y, -4 in ascending order.
-4, y, j
Suppose -2*o = 3*s - 6, 4*s - 5*o - 7 = 1. Let n = s + -5. Sort n, -1, -4 in decreasing order.
-1, n, -4
Let u = -40 + 3. Put -2, u, 0 in descending order.
0, -2, u
Suppose 4*s + 5 = 5*s. Put s, -3, 4 in descending order.
s, 4, -3
Let p(v) = -2*v - 5. Let f be p(-4). Suppose -10 = -f*g + g. Let q be -4 - (0 + 2/2). Sort g, q, -4 in decreasing order.
g, -4, q
Let g = 0.3 - 0.63. Let c = -0.03 - g. Sort c, -0.1, 0 in decreasing order.
c, 0, -0.1
Let q(x) = x**3 - 10*x**2 + x - 6. Let d be q(10). Let n = 2 + 3. Put 0, d, n in ascending order.
0, d, n
Suppose 9*m - 4*m - 75 = 0. Put 2, m, 0.4 in decreasing order.
m, 2, 0.4
Suppose 3*m + 0 = -36. Let w = m - -13. Let d(b) = b**3 + b**2 + b. Let z be d(0). Sort z, w, -5 in descending order.
w, z, -5
Let z be -2 + 3 - (1 - -1). Let k = 15 + -14. Sort z, -3, k in ascending order.
-3, z, k
Suppose 4*n - 3 = w + 14, 0 = 5*n + 3*w. Let t be (-1)/(-4)*(4 - n). Put 5, t, -5 in ascending order.
-5, t, 5
Let c = -0.09 + -15.91. Let w = c + 15.9. Put w, -5, -14 in ascending order.
-14, -5, w
Let y = 2.01 - 2. Sort y, -0.2, -3 in descending order.
y, -0.2, -3
Let i = 0.8 + -0.5. Sort -1/4, i, 0.04, 2 in decreasing order.
2, i, 0.04, -1/4
Let d(y) = y**3 + 3*y**2 - y - 4. Let s be d(-3). Let b = -47 - -43. Sort b, -3, s in increasing order.
b, -3, s
Let h = 5 - 11.5. Let w = h + 6. Put 1, -2/11, w in ascending order.
w, -2/11, 1
Let p(a) = 1 - 2*a**3 + 4*a**3 + 4*a + 0 + 4*a**2 + 1. Let j be p(-2). Sort 1, j, -4.
j, -4, 1
Let k = 15.96 - 16. Let b = -6.96 + k. Sort 6/5, b, -5 in increasing order.
b, -5, 6/5
Suppose 3*y + 11 + 1 = 0. Let t be (-62)/(-22) - (-22)/121. Put 4, t, y in descending order.
4, t, y
Let t(u) = -u + 2. Let z(g) = g - 3. Let n(d) = 4*t(d) + 3*z(d). Let r be n(1). Let s be (-1 + r)*(-5)/3. Sort 2, -1, s in ascending order.
-1, 2, s
Let p be ((-80)/30)/(2/(-3)). Put -3, -5, 5, p in ascending order.
-5, -3, p, 5
Suppose 2*d + 13 = g, 5*d = -0*d - 25. Put 0.5, -4, -1/2, g in decreasing order.
g, 0.5, -1/2, -4
Suppose 3*h + 15 = -l, 0 = -l - l - 3*h - 15. Let z(i) = -i**3 - 6*i**2 + 2*i + 7. Let f be 52/(-9) + 4/(-18). Let q be z(f). Put 5, l, q in decreasing order.
5, l, q
Suppose 0 = -u - 0 - 3. Suppose 5*r = -0*r + 25. Put 9, r, u in decreasing order.
9, r, u
Let b(s) = 2*s + 1. Let j be b(-2). Let v = 6 - 2. Let l be (2/v)/(1/10). Sort j, l, -4.
-4, j, l
Suppose -5*n + 4*n + 46 = 5*j, 4*n - 31 = -3*j. Put 3, -2, j in decreasing order.
j, 3, -2
Let k(a) = -a**3 + 5*a**2 + 3*a + 6. Let g be k(6). Sort g, 5, -1, -5/2 in decreasing order.
5, -1, -5/2, g
Suppose 0 = -6*h + 7*h + 3. Sort -4, 3, -2, h in decreasing order.
3, -2, h, -4
Let c(p) = -p**2 + 7*p - 9. Let i be c(4). Let u = -4 + 8. Let a be ((-16)/(-20))/(1/(-5)). Put a, i, u in ascending order.
a, i, u
Let o = -0.059 - 0.041. Put -5, -1, o, -4 in descending order.
o, -1, -4, -5
Let i(f) = f**3 + 7*f**2 - 9*f - 2. Let s be i(-8). Let g = s + -7. Sort g, 5, -2.
-2, g, 5
Let h = 0 - 0. Let p = -0.033 + 2.033. Sort -4, h, p in increasing order.
-4, h, p
Let v be (-4)/11*(-2)/4. Let l(k) = k**3 - 7*k**2 + 10*k - 3. Let y be l(5). Put y, 2/5, v in ascending order.
y, v, 2/5
Suppose -4*n - 2*o = 18, -4*n + 7*n - 2*o + 31 = 0. Sort -2, 3, n, 4 in decreasing order.
4, 3, -2, n
Suppose -2*k = -3*k - 2. Sort -3, k, -1 in ascending order.
-3, k, -1
Let o = -2 + 2.1. Suppose -25 + 33 = 4*y. Put y, o, -2/17 in ascending order.
-2/17, o, y
Let x = -0.1 - 0.4. Let q be ((-20)/(-12))/((-4)/6). Put -4/9, x, q in descending order.
-4/9, x, q
Let u = 0.48 - -7.52. Put -4/5, 0.4, u in decreasing order.
u, 0.4, -4/5
Let k = 9 + -11. Let b = -6 + 5. Sort b, -5, k.
-5, k, b
Let p(f) = f**3 - 7*f**2 - 9*f + 8. Let h be p(8). Suppose 5*w - l - 17 = 9, -3*l - 13 = -2*w. Put -12, h, w in increasing order.
-12, h, w
Let f = -3 + 3.1. Let l be ((-8)/(-1042))/((-52)/1016). Let t = l - 2/521. Sort t, -2/17, f.
t, -2/17, f
Suppose 0 = -4*l + l - 15. Let p be 1 - l - (0 - -1). Put -5, p, -0.2 in ascending order.
-5, -0.2, p
Let b(c) = -3*c + 26. Let x be b(11). Put x, -4, 5 in decreasing order.
5, -4, x
Suppose 2*l = -3*c + 5, 5*l = 2*c - 0*c - 35. Put -2, -4, c in ascending order.
-4, -2, c
Let q = 62 + -61. Sort q, -3, 16, -2 in descending order.
16, q, -2, -3
Let w be -6*(1 - (-3)/(-9)). Let l be 1/3*w*-18. Suppose 5*h - 4*f = 16 - 1, -h + 5*f + l = 0. Sort h, 3, -5 in increasing order.
-5, h, 3
Suppose 0 = -4*g + 2*g - r + 1, 0 = g - 4*r + 22. Sort g, -6, -5 in descending order.
g, -5, -6
Suppose -2*n + 5*n = -3. Put 3, 7, 4, n in increasing order.
n, 3, 4, 7
Let m = -56 - -47. Put 0, -0.2, m in increasing order.
m, -0.2, 0
Suppose -2*a - 14 = 8*d - 3*d, 3*d = -4*a - 14. Let i be (-2)/(0 + d) + -1. Sort -4, i, -1 in decreasing order.
i, -1, -4
Let v = 120/1309 - -2/77. Let x(t) = -t**3 + 10*t**2 - 3*t + 25. Let w be x(10). Sort v, w, -2.
w, -2, v
Let o(v) = -v**3 - 6*v**2 - v - 6. Let j be o(-6). Suppose -10 + j = 5*s. Put s, -3, -5 in descending order.
s, -3, -5
Let m(k) = k**2 - 7*k - 10. Let t be m(8). Let v = 231 - 230. Sort v, t, 5.
t, v, 5
Let h be (-5)/(-2) - 9/9. Put 4, -4/3, -3, h in ascending order.
-3, -4/3, h, 4
Let d = 13 + -16.2. Let i = d + 1.2. Put -0.4, i, 3/7 in descending order.
3/7, -0.4, i
Suppose -a - 5 = -2*u, -7*u + 14 = -2*u - a. Suppose l = -u*l. Sort l, -5, 4 in descending order.
4, l, -5
Suppose -3*l - 4 = 4*u, 8*l + 2*u = 5*l + 4. Suppose -t = -2*f + l*f - 15, -5*t + 3*f = -10. Put 2, 4, t in increasing order.
2, 4, t
Suppose 2*g + 26 = 2*a, -1 - 4 = -2*a - 5*g. Put -1, 2, a in increasing order.
-1, 2, a
Let q be ((-2)/(-3))/((-2)/9). Sort 4, q, -1 in descending order.
4, -1, q
Let v(u) be the third derivative of u**6/120 - u**5/20 + u**4/24 + u**2. Let s be v(3). Sort -4, s, 5 in descending order.
5, s, -4
Let h(o) = -o**2 + 9. Let t(g) = g**2 + g - 8. Let d(l) = 3*h(l) + 4*t(l). Let j be d(-5). Suppose 0*z = -5*z + 10. Sort 1, z, j in decreasing order.
z, 1, j
Let g = 14 - 10. Let h = 0 + 0.2. Let 