 2*j = 2*i - 9. Put s, j, 2 in decreasing order.
2, j, s
Let p = 57 + -63.4. Let m = 14 - 20. Let a = p - m. Put -1, -3, a in descending order.
a, -1, -3
Suppose 2*v - 6*v = -3*k - 7, 4*v - 2*k - 2 = 0. Sort -4, v, 3/2.
-4, v, 3/2
Let q(b) = -b**3 + 8*b**2 - 6*b - 5. Suppose -p = 0, 0 = -2*s + 6*s + 4*p - 28. Let m be q(s). Put -3, m, -4 in descending order.
m, -3, -4
Let s = -0.05 - -3.05. Let t(y) = -y**3 + 5*y**2 - 5*y + 3. Let g be t(4). Put 2, g, s in decreasing order.
s, 2, g
Let x = -1.8 - 0.2. Let s(t) = 4*t**2 + 1. Let n be s(1). Suppose -2*l + 6*l = 2*j + 26, 0 = n*j - 5*l + 40. Put j, x, -2/7 in ascending order.
j, x, -2/7
Let c = 2 - 4. Suppose 2*v - 4 = -10. Sort c, 4, v in decreasing order.
4, c, v
Let y(l) = -2*l**2 + 5*l - 5. Let a be y(2). Sort 5, a, -1, 3 in descending order.
5, 3, -1, a
Suppose -7*k + 8 = -3*k. Let u be 9/(-11) - k/11. Let m(t) = -t**2 + 2*t - 1. Let c be m(3). Sort c, u, 1.
c, u, 1
Let y = 18 - 14. Let j(d) = d**2 - 9*d + 12. Let c be j(8). Suppose i + 3*i + 24 = -4*w, -22 = 2*w + c*i. Put 0, w, y in descending order.
y, 0, w
Suppose -3*z = 5*u - 9, z + 2*u - 10 = -2*u. Let r be (z/(-4))/(15/(-5)). Sort 2/3, -2/3, r in increasing order.
-2/3, r, 2/3
Suppose -2*d + 9 = -3*l + 2*d, -2*l + d - 6 = 0. Let c be l*(-3)/((-9)/(-2)). Suppose 0 = 4*m - 2*z + 24, c*z - 4 = -0*z. Sort 2, 5, m.
m, 2, 5
Let i = -0.2 + -0.3. Let p = -41.5 + 45. Let w = p + i. Sort 0.3, w, -0.4.
-0.4, 0.3, w
Let p be (-4)/14 + (-19)/7. Let h = -1 - p. Let m(g) = g + 7. Let v be m(-4). Put v, 0, h in decreasing order.
v, h, 0
Let n = 10 + -5. Suppose -1 = -r - n. Sort -2, r, 1.
r, -2, 1
Let p = 60 - 53. Let g = 8 + -4. Let z = p - g. Sort 0, z, 4.
0, z, 4
Let r = -4 + 4. Suppose -2*l - 4*l - 18 = 0. Put l, -5, r in descending order.
r, l, -5
Let v = 4.4 - 4. Let o = v + -0.9. Let t = o - -0.3. Put t, 5, -3 in ascending order.
-3, t, 5
Suppose -2*b + 5*q + 1 = 2, -q = 3*b - 7. Suppose -b*w = 2*w + g - 11, 4*g = 5*w - 19. Suppose -w*j - 15 = 2*j. Sort -0.4, -4/7, j in ascending order.
j, -4/7, -0.4
Let j = -2.8 - -3. Let m = -0.6 + 0.9. Sort m, j, -3/5 in descending order.
m, j, -3/5
Let u = 0.3 - 1.3. Let k = -2 - u. Let z = k - -1.3. Sort 0, z, -5.
-5, 0, z
Let r be (-76)/60 + 1 - 8/20. Let i = -0.8 + -0.2. Let s(k) = k**2 + 4*k + 4. Let h be s(-3). Put i, r, h in decreasing order.
h, r, i
Let v(r) = r**3 - 5*r**2 - 5*r - 7. Let g be v(6). Let c be -7 - (g + -3)/4. Put -1, c, 1 in descending order.
1, -1, c
Let d = -0.34 - 0.06. Let u = -4 + 6. Let j = u + -2.5. Put 0.5, d, j in decreasing order.
0.5, d, j
Let m = 1 + 3. Put 0.05, m, -2/11 in decreasing order.
m, 0.05, -2/11
Suppose -5*m - 5*u = -40, -5*u - 5 = m - 5*m. Sort m, -1, -5.
-5, -1, m
Let y = 123 + -130.3. Let g = y + 8. Let v = g - 5.7. Put -0.5, -0.2, v in decreasing order.
-0.2, -0.5, v
Let c = -0.008 + 4.008. Let j = 7/3 + -25/12. Put c, 2, j in descending order.
c, 2, j
Let c(h) = 3*h**3 - 1. Let b be ((-6)/3)/(-1) + -1. Let j be c(b). Let q be (-2 - -2)/(j/1). Sort -4, q, 2.
-4, q, 2
Suppose -n + 4*n = 5*k - 20, -4*n + k - 4 = 0. Let d be n/1 + 2*2. Sort -3, d, -5 in increasing order.
-5, -3, d
Let n be 2/7 - 18/14. Let h = 27 + -11. Let b = h - 21. Sort -3, n, b in decreasing order.
n, -3, b
Let j(h) = -h - 2. Let c be j(-4). Let t be (7 - -1)/(1/1). Suppose -c*x - t = 2. Put x, -2, 1 in descending order.
1, -2, x
Let d = 5 + -9. Sort -2, d, -1.
d, -2, -1
Let t be (-7)/(-7) + 0 + 5. Suppose t = 3*r - 3. Sort 4, r, -4 in descending order.
4, r, -4
Suppose -2 + 0 = j. Sort 0, 5, j, 2 in increasing order.
j, 0, 2, 5
Suppose k - 2 = 3. Sort 2, k, 0.
0, 2, k
Let x be -8*(44/8 - 5). Sort -3, -5, 3, x in ascending order.
-5, x, -3, 3
Let c be (-1 - (1 + 2))*7/(-2). Sort 5, c, -1/4 in decreasing order.
c, 5, -1/4
Let u = 14 - 14. Suppose -2*j + c = j + 20, 5*c - 25 = u. Put j, -4, 6 in increasing order.
j, -4, 6
Let c = -3/14 - 2/7. Sort 0.4, c, -2/7 in descending order.
0.4, -2/7, c
Let h be 6/10*8/(-12). Put -0.3, h, 0.29 in descending order.
0.29, -0.3, h
Suppose l + 10*l - 33 = 0. Sort -3, -1, l, -0.3.
-3, -1, -0.3, l
Let o(y) = -y**2 - 10*y - 5. Let c be o(-9). Suppose -i - q + c = -2*q, -4*i = 2*q - 4. Sort -0.3, i, 3 in increasing order.
-0.3, i, 3
Let p = -20 - -28. Let g = -7.6 + p. Sort g, 0.2, 5 in ascending order.
0.2, g, 5
Let m = -2 + -8. Let c = m + 10.3. Sort -3/8, -4/9, c.
-4/9, -3/8, c
Let a = -231 + 1620/7. Put a, -0.07, 2 in descending order.
2, a, -0.07
Let w = -146.8 + 147. Sort 3, 5, w, 9 in descending order.
9, 5, 3, w
Let u = -0.182 - 0.118. Put 0.1, u, 0, -2/7 in descending order.
0.1, 0, -2/7, u
Suppose 0*t = 2*t - 6. Let r be t/(-6) + (-3)/(-2). Suppose 2 = -s - r. Put s, 1, 3 in decreasing order.
3, 1, s
Let a = -2 - -1.6. Let x = a + 0. Put 0, x, 2 in decreasing order.
2, 0, x
Let h be 4/(-18)*(6 + -9). Let f = 3 - 2.9. Sort 1, h, f in descending order.
1, h, f
Let k be 27/(-54) - (-11)/2. Sort -9, k, 4.
-9, 4, k
Let m be (-6)/(-14) - 310/70. Put -2, 3, m in descending order.
3, -2, m
Suppose -20 = 2*p - 4*n, -4*p - 11 = -5*n + 17. Sort 5, -4, p.
-4, p, 5
Let j = 10 + -9.8. Put -0.4, 4, j in ascending order.
-0.4, j, 4
Let l = 4 + -3.7. Let w = -0.2 + l. Let v be (1 + (-6 - -2))/7. Put -2, v, w in ascending order.
-2, v, w
Let r = 0.6 - 0.3. Let k = 0.11 + -4.11. Sort k, r, 5 in increasing order.
k, r, 5
Suppose 0 = -f - p - 2 - 0, -4*p + 6 = 2*f. Let u be f/((-21)/6)*1. Put 1/2, 0, u in decreasing order.
u, 1/2, 0
Let q = -9 - -11. Sort -1/4, q, 4 in descending order.
4, q, -1/4
Let b be 42/(-147) - 72/(-154). Let k be (-112)/(-12)*6/4. Let z be (-8)/k + 1 + 0. Put z, b, -1/3 in decreasing order.
z, b, -1/3
Let c(s) = -s**3 + 6*s**2 + 9*s - 15. Let z be c(7). Let x(m) = m + 1. Suppose -v - 2 = v. Let y be x(v). Sort y, z, -2 in descending order.
y, z, -2
Let f = -2 - -7. Let d be -2 + (1 - -5 - 2). Let h be (-2)/(d/(-1))*-1. Sort f, h, 2 in increasing order.
h, 2, f
Suppose -4*o + 0*c - 8 = -5*c, 0 = -5*c + 20. Let n = o + 0. Put -3, n, -5 in descending order.
n, -3, -5
Let o = -0.44 - 3.56. Sort o, 4, -0.2, -1.
o, -1, -0.2, 4
Let c(x) = -x**3 + 4*x**2 + 3*x + 12. Let g be c(5). Sort g, -5, 4, 0 in increasing order.
-5, 0, g, 4
Let p(a) = -a + 1. Let d be p(6). Let q be 5 - ((4 - -5) + -4). Put q, d, -2 in increasing order.
d, -2, q
Let c(y) = 2*y + 9. Let q be c(-7). Put 0, q, 5 in descending order.
5, 0, q
Suppose -h - 14 = 5*u + 13, 3*h + 5*u + 31 = 0. Let m be ((-3)/(-2))/((-9)/(-12)). Suppose 11 = 4*q + 5*t, 0*t + m*t - 6 = 0. Put 1, h, q in ascending order.
h, q, 1
Suppose -3*b + 2 = 2*z, 2 = z + 2*b - 0. Let h = -1 - z. Suppose 4 + 21 = 5*d. Sort 2, h, d in descending order.
d, 2, h
Let z = -18 + 18. Put 4, z, -1/3 in decreasing order.
4, z, -1/3
Let m = 114 + -118. Sort -1, m, -3 in ascending order.
m, -3, -1
Let k = 55.3 + -55. Put 0.4, 5, -0.5, k in ascending order.
-0.5, k, 0.4, 5
Let t = 0.1 + 0.9. Let n = -0.4 - -1.2. Let a = n + -1.3. Put t, -1, a in ascending order.
-1, a, t
Let u = 0.089 + 6.911. Put 5, -6/5, u, 1/3 in descending order.
u, 5, 1/3, -6/5
Let l be 2/(-4)*(6 - 1). Let p = -5.13 - -0.13. Let j = 6 + p. Sort l, -0.5, j.
l, -0.5, j
Let x = 3 - 3.8. Let u = -0.2 + x. Sort 2/5, -0.5, u.
u, -0.5, 2/5
Let v be (-101)/(-3) - 8/12. Suppose -3*w - w = -5*u - v, -3*u - 11 = 2*w. Let k = 5/8 - 33/40. Sort k, u, 0 in decreasing order.
0, k, u
Let t = -0.2 - -0.33. Let a = -0.03 + t. Let j = 1 + 2. Put a, j, -1 in ascending order.
-1, a, j
Let u = -10 + 14. Let b be (-2)/(-4) - 9/2. Let z be 4/26 + 0/(-2). Put u, z, b in descending order.
u, z, b
Let n(y) = y**3 + 5*y**2 - 2*y - 6. Let p be n(-5). Suppose -2*a = p*f - 2, -5*a + 5*f + 0 - 10 = 0. Sort 3, a, -1/2 in increasing order.
a, -1/2, 3
Let b = -1.1 - -3.1. Let q be 1*(-1 - 4/(-3)). Put 3, q, b in decreasing order.
3, b, q
Suppose 2*l + 3*r = 20, -3*r - 4 = -3*l - l. Suppose -22*q = -15*q + 28. Sort q, l, -2 in decreasing order.
l, -2, q
Let y be 342/(-66) + 4/22. Let h be -1*(2 - 0)*4/(-6). Sort y, 2, h in increasing order.
y, h, 2
Let p = 1.4 - 16.4. Let z = p - -11. Put -0.2, -3/5, z in decreasing order.
-0.2, -3/5, z
Let i = -21 - -23. Sort -2/9, -0.1, i in decreasing order.
i, -0.1, -2/9
Let m be (-3)/3*(-51)/3. Let r = 12 - m. Sort r, 4, 3.
r, 3, 4
Suppose -5*t + t + 