5, 4, y, 1 in decreasing order.
5, 4, 1, y
Let j(w) = 5*w**3 - 2*w**2 + 3. Let l be j(2). Sort 5, l, 0, 4 in increasing order.
0, 4, 5, l
Suppose 2*w = w + 4*w. Suppose -d - 3*d - 8 = 0. Put w, -4, d in descending order.
w, d, -4
Let u = 15 + -5. Let a = u + -8. Sort a, 0.5, 0.1 in increasing order.
0.1, 0.5, a
Let x = -1.9 + 0.9. Let z = x + 1.5. Sort 4, z, 0.1 in decreasing order.
4, z, 0.1
Let t = 23 + -14. Let w be t/(-2)*12/45. Let z = w + 8/5. Put 3/7, 0.3, z in increasing order.
0.3, z, 3/7
Suppose -g - 55 = -5*i, 5*i + 19 = -3*g + 74. Let o = 8 - i. Let y = 5 + -2. Put o, y, 0 in descending order.
y, 0, o
Let r = 1 + 2. Let v(p) = -p**3 + 3*p**2 + 3*p - 4. Let l be v(r). Sort 2/3, l, 4 in increasing order.
2/3, 4, l
Let c(a) = -2*a - 4. Let m be c(-3). Suppose -n = -f + 4, -6*n + 4*n = 5*f - 34. Suppose m*s - f*s = 0. Sort -1, s, 4 in descending order.
4, s, -1
Suppose 0 = -w - 2 + 1. Put 0, w, -5 in decreasing order.
0, w, -5
Let z(g) = g + 1. Let b be z(-5). Let w(m) = -m**3 + 6*m**2 - 4*m - 6. Let y be w(5). Put y, b, 2 in increasing order.
b, y, 2
Let s(q) = q**2 - 7*q - 9. Let i be ((-4)/(-2))/(2*-1). Let w(f) = 1. Let t(b) = i*s(b) + 4*w(b). Let h be t(9). Sort 5, 3, h in descending order.
5, 3, h
Let j(o) = -4*o**3 + o. Let v be j(-1). Let c be (-3)/((-1)/(-3)*v). Put 0, c, -2 in increasing order.
c, -2, 0
Let s(x) = -x**3 + 11*x**2 + x - 8. Let b be s(11). Let a = 1 - -3. Sort a, b, -3.
-3, b, a
Suppose 3*c = 2*l - 19, 2 = 4*l - 3*l. Sort c, 42, -3 in decreasing order.
42, -3, c
Suppose 0 = -i - 3*i. Let o = -9 - -15. Let k be (-2)/(20/o)*5. Put 1, k, i in ascending order.
k, i, 1
Let p = 13 + -15. Put p, 5, -4 in ascending order.
-4, p, 5
Let x = 10 + -15. Suppose 0 = 5*d - 3*i - 34, 0*d + 1 = 2*d + 3*i. Suppose d*s = -0*s. Sort 1, x, s.
x, s, 1
Let i be -2 + (-42)/(-11) - 26/(-143). Put -4, i, 0, -1 in decreasing order.
i, 0, -1, -4
Let i(s) = -s**3 - 5*s**2 - 5*s - 5. Let x be i(-2). Sort x, 3, 2.
x, 2, 3
Let r be (117/(-70))/(-9) - (-10)/(-35). Sort 4, -1, -5, r in decreasing order.
4, r, -1, -5
Let f(n) = -10*n - 23. Let u be f(-3). Put u, 1/6, -0.2 in descending order.
u, 1/6, -0.2
Suppose 0*i = 2*i - 5*n + 29, -2*i = 3*n - 11. Let v = 1 + -2. Let s = v - -1. Put -0.2, s, i in increasing order.
i, -0.2, s
Let p(w) = w**3 - 5*w**2 - 5. Let t be p(5). Let c = 0 - -1. Let u = -0.5 + c. Put u, t, -2 in decreasing order.
u, -2, t
Let k(a) = a**3 - 4*a**2 - 5*a + 4. Let r be k(5). Suppose 0*y = 5*u + 2*y + 23, r*u + 17 = -3*y. Put u, 5, -1 in descending order.
5, -1, u
Suppose 0*p + 3*p - 4*a + 23 = 0, 4*p + 3*a = -14. Let b be 1/(-60)*-39 - (-3)/(-12). Sort p, 4, b in increasing order.
p, b, 4
Let i = 3.5 + -3. Let t = -0.2 + -0.3. Suppose 4 = -4*f + 2*f. Put t, i, f in descending order.
i, t, f
Let r be (1 - 2)/(-4 + 2). Sort -4/7, r, -2 in descending order.
r, -4/7, -2
Let n(g) = g**3 - 3*g**2 - 6*g + 4. Let r be n(4). Suppose -4*v + 3 = -1, -v + 31 = -3*b. Let w = b + 9. Sort w, r, 4 in ascending order.
r, w, 4
Let h = 14 - 14.06. Let o = 0.46 + h. Let u = -2 + 4. Sort o, u, 1 in increasing order.
o, 1, u
Let o(j) = -j - 7. Let q be o(-5). Let g be 19 + -22 - (-43)/15. Put q, g, 0.5 in ascending order.
q, g, 0.5
Let n = -6 + 9. Let i = -1 - 4. Suppose v + u + 4 = 1, 15 = -5*u. Sort i, n, v.
i, v, n
Suppose 0*u = -u - 1. Let s be ((-10)/15)/(4/30). Suppose 3*k - 12 + 0 = 0. Put s, u, k in descending order.
k, u, s
Let m = 12721/23 - 553. Put -10, m, 0.3 in decreasing order.
0.3, m, -10
Let z = -24 - -24.2. Put -0.3, 5, z, -0.2 in decreasing order.
5, z, -0.2, -0.3
Let x be 2 + (3 - 1)/(-2). Suppose -2*q - v = 4*v - 9, -2 = -3*q + 4*v. Sort q, -5, x in decreasing order.
q, x, -5
Let b = 54.6 - 60. Let o = b - -5. Let f = 6.7 + -7. Sort f, 0.2, o in decreasing order.
0.2, f, o
Let b = 0 - -3. Let a = b + -3. Put 3, 1, a in decreasing order.
3, 1, a
Let g = -9.3 - -9. Let j = -0.2 + 1.2. Let u = -1 + j. Sort 5, g, u.
g, u, 5
Let m be (-8)/(-3) + (-4)/6. Suppose -2*o + 0*j = -j, -j + m = -o. Sort -3/8, o, -2 in increasing order.
-2, -3/8, o
Let d = -0.09 + -0.31. Let a = -0.1 + d. Sort 3, -2/5, a in ascending order.
a, -2/5, 3
Let a = 1.5 - 9.5. Let k = 5 + a. Let q = 2.8 + k. Put 5, q, -1 in ascending order.
-1, q, 5
Suppose 0 = 4*k - 2*k. Suppose k = -3*a - 5*n, -4*a + 5*n + 29 = 2*n. Sort a, 0.2, 2.
0.2, 2, a
Suppose c - 8 = -3*c. Suppose 3*t - w = 4*t - 25, -3*t = -c*w - 50. Suppose n - 5*i - t = 0, 0*n + 4*n = -i + 17. Sort 3, -1, n in decreasing order.
n, 3, -1
Suppose -4*l = 3*b - 12, -5*l - 2*b = -5 - 3. Sort l, 2, 5 in ascending order.
l, 2, 5
Let s be 1*(-2 + -3 + 5). Sort 0.3, s, 0.4 in ascending order.
s, 0.3, 0.4
Let g(l) = -l. Let q be g(-4). Suppose -4 = -3*c + a - 0, -3*c + 2*a + 2 = 0. Sort c, q, -6 in ascending order.
-6, c, q
Let p be (-96)/(-165) + (-2)/5. Put -1, p, -0.2 in decreasing order.
p, -0.2, -1
Let x be -3 + (-2 - (-3 - 1)). Let t(s) = s**3 + s**2 + s + 9. Let a be t(0). Suppose -r + 5*n - a = 0, 2*n + 1 = -r + 6*r. Sort r, x, -4 in descending order.
r, x, -4
Let j be ((-14)/(-10) - 16/40) + 4. Suppose -s = 3*s. Sort 3, j, s in decreasing order.
j, 3, s
Let h = -3.6 + 0.6. Let z = 0.06 + -0.06. Put z, h, 3 in decreasing order.
3, z, h
Suppose -3 = -t + 3. Let g = -2 + t. Sort g, -0.2, -5.
-5, -0.2, g
Suppose 0 = -2*v - 0 - 2. Let k be v/(-4) + (-18)/40. Sort -3, k, 2.
-3, k, 2
Let n = -0.8 + 0.4. Let w = n - -1.4. Sort w, -1, -0.5 in descending order.
w, -0.5, -1
Let k = -11 + 16. Let c(o) = o - 7. Let q be c(8). Sort q, k, 3 in decreasing order.
k, 3, q
Let j(h) = -4*h**2 + 4*h + 4. Let f be j(-1). Sort -2, -8, f in descending order.
-2, f, -8
Let y = 2.1 + -0.1. Let d(t) = -t**3 - 5*t**2 - 2*t + 4. Let q be d(-4). Sort -2, q, y in ascending order.
q, -2, y
Let k = -0.15 + 14.15. Let b = 13 - k. Let u = 1/2 + -3/8. Sort u, b, 2/9 in ascending order.
b, u, 2/9
Let n(a) = 10*a - 2*a**2 + a**3 + a**2 - 9*a**2 - 13. Let v be n(9). Sort v, 0.5, -2 in decreasing order.
0.5, -2, v
Let o be 4/2*(-6)/(-12). Let q(k) = -3 + 4*k**2 + o + 3. Let h be q(1). Sort h, -1, -4 in increasing order.
-4, -1, h
Let k = -0.42 - -0.02. Let j = k + 0.5. Let y = -0.5 + 0.3. Sort -1/3, y, j.
-1/3, y, j
Let q = 3.7 + -4. Let w = q + 0.1. Sort -1, w, -3 in ascending order.
-3, -1, w
Let i = -32 + 33. Put i, 4, 0.5 in increasing order.
0.5, i, 4
Let m = -4.5 - -4. Let z = 4 + -6. Let y = 0 - z. Sort m, y, -3 in ascending order.
-3, m, y
Suppose 3*q = -15, -5*q = -3*j + 1 + 30. Put j, 4, -7 in ascending order.
-7, j, 4
Let z(w) = -4*w**3 + w + 1. Let i = 1 + -2. Let n be z(i). Let k(j) = j**3 + 2*j**2 - 2*j + 1. Let l be k(1). Sort -2, n, l in descending order.
n, l, -2
Let i = -13.3 + 14. Let n = -0.19 - 1.01. Let h = n + i. Sort -3/5, 0, h in decreasing order.
0, h, -3/5
Let a = -0.26 + -2.74. Let d be ((-2)/(-28))/(2/(-4)). Sort d, a, 3.
a, d, 3
Let t = -9 - -4. Put t, 5, 0 in ascending order.
t, 0, 5
Let f(o) = -o. Let b be f(0). Suppose 2*l = z, 4*l + b*z - 24 = -4*z. Let d be -3 - (4/2 + -3). Sort l, 1, d in ascending order.
d, 1, l
Let y = 77 - 305/4. Let v = -0.08 - 4.92. Sort y, v, 0.1 in decreasing order.
y, 0.1, v
Let s = 0.07 - 3.07. Let x = s + 3.4. Sort x, 0.1, -0.3.
-0.3, 0.1, x
Let y be 7 - (-6)/(-1 + -2). Suppose -5*k + w + 92 - 27 = 0, 0 = -w - y. Let l = k + -7. Sort -2, l, -5 in descending order.
l, -2, -5
Let y = 2.3 + -2. Let b = -28.3 + 28. Put y, -3, b in decreasing order.
y, b, -3
Suppose 5*i = -2*g + 17, 8 = 3*i + 2*g - 3*g. Let q be 4 + (-2)/((-6)/(-3)). Suppose -4*l + q*l + 4 = 0, -4*l + 12 = y. Sort i, 4, y in decreasing order.
4, i, y
Let s(w) = -w**2 + 11*w - 13. Let f be s(10). Sort -5, 0, f.
-5, f, 0
Let t(b) = -b**2 - 6*b + 1. Let q be t(-7). Let g be 1/(-1)*(q - -7). Let l be (8/(-20))/(2/10). Sort 2, g, l in increasing order.
l, g, 2
Let y(u) = 5*u**3 - 2*u**2 + 12*u - 4. Let i(w) = -w**3 + w**2 - w + 1. Let m(h) = 6*i(h) + y(h). Let o be m(5). Let c = o + -7. Put 4, c, 3 in ascending order.
c, 3, 4
Suppose 9*d - 5*d - 16 = 0. Suppose 0 = d*c - 2*c + 2. Sort c, 4, -2 in decreasing order.
4, c, -2
Let x(m) = m**2 + 3*m - 5. Let q be x(-4). Sort 10, q, 1, 4.
q, 1, 4, 10
Let c = -17 + 12. Put c, 3, 1/6 in descending order.
3, 1/6, c
Let o = 25 - 178/7. Sort o, -1/4, -2/5, 2/11 in decreasing 