Sort -1, 0.4, 2, y in descending order.
y, 2, 0.4, -1
Let v be (10/(-4))/(21/42). Put 4, 3, v, 1 in increasing order.
v, 1, 3, 4
Let u = -10 - -15. Put -3, u, 3 in descending order.
u, 3, -3
Let o = -27/2 + 13. Let c(d) = -15*d - 1. Let v be c(1). Let m = 13 + v. Sort -4, m, o.
-4, m, o
Let a = -80 - -82. Put -13, 0, 4, a in decreasing order.
4, a, 0, -13
Suppose 0*i - 4*i + 6 = h, 0 = -5*i + 5*h + 20. Put 4, i, 11 in increasing order.
i, 4, 11
Let w(q) = -q**2 - 5*q - 1. Let l be w(-4). Suppose -3*c = 5*t - 10, t + 7 = 2*c - 4. Sort 4, c, l in decreasing order.
c, 4, l
Let g(n) = 2*n - 12. Let l be g(6). Put l, -10, -5 in ascending order.
-10, -5, l
Let k(m) = -m**2 + 5*m - 6. Let i be k(4). Suppose 0 = -2*q - q + 9. Suppose -a = -6*a - 4*l + 23, -3*l + q = -a. Sort i, -3, a in decreasing order.
a, i, -3
Suppose 0 = 4*h - 0*h + 20. Let s(o) = -o - 5. Let p be s(-9). Let x = p + 0. Put x, h, 0 in descending order.
x, 0, h
Let r = -269275/28 - -9618. Let f = r - 9/7. Put 1, -4, f in ascending order.
-4, f, 1
Let q(z) = -z**3 - 3*z**2 - 3*z - 3. Let h be q(-2). Let w be 1/(-4) - 57/(-4). Let f = w - 9. Sort h, 1, f in descending order.
f, 1, h
Suppose 7 + 9 = 4*n. Sort 1, n, 5 in increasing order.
1, n, 5
Let d = 3 + -3. Suppose 3*f + d*f = 15. Let m = -9 + f. Sort m, 5, 1.
m, 1, 5
Let t be (15/9)/(-5)*0. Sort -3, 29, t.
-3, t, 29
Let x = -0.17 + -0.13. Let f = -0.6 + 0.1. Sort x, f, -1/11.
f, x, -1/11
Let a = -2090/17 + 123. Let l = 39/85 - a. Sort -1, l, 3.
-1, l, 3
Let n = -11 + 11. Put n, -1, -3 in descending order.
n, -1, -3
Let l = 293 - 4397/15. Let b = 2 - 1.5. Sort b, l, 2/7 in descending order.
b, 2/7, l
Let k(q) = 2*q**3 + q**2 - 2*q + 2. Let j be k(1). Suppose -3*p + j*y + 3 = -0*p, 0 = p + 3*y + 15. Let z = 1 - 1. Put 2, p, z in ascending order.
p, z, 2
Let u(y) = -y**3 + y**2 - y + 3. Let t be u(0). Let n = 9.1 + -8. Let k = -3.9 - n. Put t, k, -2 in descending order.
t, -2, k
Let u(p) = -p**2 - 2*p + 3. Let b = 1 + 1. Let s be u(b). Put -4, -3, s in descending order.
-3, -4, s
Suppose -4*y - 2*u = -y - 10, -5*u = y + 1. Let w = 3 - 8. Let h be 4/10 - (-17)/w. Sort 3, y, h in decreasing order.
y, 3, h
Let t = 126 - 128. Sort t, 0.16, -3/5 in ascending order.
t, -3/5, 0.16
Let p = 58 - 61. Let g = -1 - -2. Put 3/5, p, g in increasing order.
p, 3/5, g
Let z be (-9)/(-15)*(0 - -5). Suppose -20 = 5*s + 3*j, -z*s = -4*j - 6 + 18. Let w = -9 + 14. Sort -5, s, w.
-5, s, w
Let k = -54.3 - -52. Let n = -0.7 + k. Sort 0, n, 5 in descending order.
5, 0, n
Suppose -l - 4*l = 3*w + 37, w - 17 = 2*l. Let y be ((-2)/3)/(l/60). Put y, 4, -1 in increasing order.
-1, 4, y
Let v(h) = h - 5. Let l be v(4). Put -4, l, 6 in decreasing order.
6, l, -4
Let o = 12 - 11. Let r be (o - (3 + -3))*0. Sort r, 5, -4 in decreasing order.
5, r, -4
Let l be -2*18/(-96)*(-2)/3. Put l, 2, -2/5, -0.2 in ascending order.
-2/5, l, -0.2, 2
Suppose 7 = 4*c - 5. Suppose -2*i + 5 = 3*d - 6*i, -5*i - 30 = d. Put 5, c, d in ascending order.
d, c, 5
Let l be (0 + -1)/(1 + 0). Let i = 9 - 5. Sort l, -2, i in decreasing order.
i, l, -2
Let l = -4.2 + 6.5. Let r = l + -0.3. Put -2/3, r, 0 in decreasing order.
r, 0, -2/3
Let r = 0.28 + -0.33. Sort -2/7, 0, r in descending order.
0, r, -2/7
Suppose -2 = 2*v - 3*c - 1, 5*v = -3*c - 34. Put -3, 7, v, 3 in increasing order.
v, -3, 3, 7
Suppose 0 = 3*f + 1 - 7. Let o(h) = h**2 - 2*h + 2. Let k be o(f). Suppose -k*l - l + 3 = 0. Sort l, -4, 3 in ascending order.
-4, l, 3
Let y = 3.249 + 0.051. Let r = y - 0.3. Let z be 22/(-24) - 3/(-12). Put r, z, -1 in descending order.
r, z, -1
Let g = 5/17 + -37/68. Let z = 0.3 + -0.7. Let r = -0.7 - z. Put -1/3, r, g in ascending order.
-1/3, r, g
Let v = -6 - -8. Let k be v + -7*(0 + 1). Suppose 0*h - 3*h - 12 = 0. Sort k, -1, h in increasing order.
k, h, -1
Let s = 1 + -1. Let m = s + 6.5. Let p = 7 - m. Put -3, 2/13, p in decreasing order.
p, 2/13, -3
Suppose 0 = -6*w - 14 - 4. Put w, 0, -2 in ascending order.
w, -2, 0
Suppose -w + 1 = -4. Suppose -m + l = m - 9, 3*m + 19 = -5*l. Suppose -m*c - 8 = -0*c. Sort c, -2, w in ascending order.
c, -2, w
Let i be 2/(-6) - 26/(-6). Let h(n) = -n**3 - 17*n**2 - 29*n + 10. Let l be h(-15). Sort l, i, 1.
l, 1, i
Let v = -16 + 18. Sort 3, -1, v, 1 in decreasing order.
3, v, 1, -1
Suppose -3*w + 3*w = 14*w. Put w, 0.3, -0.16, 3 in decreasing order.
3, 0.3, w, -0.16
Let q(a) = -a**3 + 3*a**2 - 4*a + 3. Let r be q(2). Let v be ((-1)/3)/(r/9). Suppose b + 6 = i, -16 = v*b - 4*i + 2*i. Sort 5, b, 1/4 in descending order.
5, 1/4, b
Let s = 5 - 9. Let u = 4.1 + s. Let o = 0.2 - u. Sort o, 4/7, 3 in decreasing order.
3, 4/7, o
Let n = 16 + -11. Let z be (-1)/((-6)/(-9) + -1). Sort n, z, 0 in descending order.
n, z, 0
Let o(v) = -7*v + 83. Let k be o(12). Put 4, 3, k, 1/2 in ascending order.
k, 1/2, 3, 4
Suppose 3*m - 14 = -m + 3*j, 2*m - 12 = 4*j. Put -5, -4, m in descending order.
m, -4, -5
Let m(l) = l**3 - 6*l**2 + 5*l + 3. Let d be m(5). Suppose -3 = -d*s - 18. Sort -2, 5, s in descending order.
5, -2, s
Let y be 4/(-6)*18/66. Sort -0.1, y, -1/4.
-1/4, y, -0.1
Suppose -x = 3*x - 20. Let c(f) = -f. Let p be c(x). Sort 2, -2, p.
p, -2, 2
Let s = -61.7 + 66. Let z = 4 - s. Sort -5, 1, z.
-5, z, 1
Let v = -0.27 - 2.73. Put 5, v, -0.1 in increasing order.
v, -0.1, 5
Suppose 2*l - 1 = 3. Let b(z) = z**2 + 6*z + 4. Suppose -24 = 2*q + 2*q. Let y be b(q). Put y, -4, l in ascending order.
-4, l, y
Suppose -3*l = -2*b + 7*b - 6, 10 = -b + 5*l. Let r(q) = -1 + 8 - q**2 + 0 - 6*q - 1. Let m be r(-7). Sort b, 5, m in decreasing order.
5, b, m
Let g = 0.06 + 0.34. Let p = g - 0.3. Let o be (-5)/((-15)/2)*3. Sort -0.4, o, p in descending order.
o, p, -0.4
Let x = -0.075 - -0.075. Let p be 9/18*12/7. Put p, x, -1/2 in descending order.
p, x, -1/2
Let y be 16/7 - 2/7. Suppose g = 2*m + 2, 2*g - 6*g - 2*m - y = 0. Suppose -83*a - 10 = -88*a. Put 3, g, a in descending order.
3, a, g
Let c(v) = 3*v + 50. Let h be c(-17). Put h, 0.12, 4 in decreasing order.
4, 0.12, h
Suppose -7 + 2 = -c. Suppose -u = c*r + 55, r - 3*u + 1 - 6 = 0. Let p be 2/5 + 44/r. Put -2, p, 0 in increasing order.
p, -2, 0
Let i = 1.2 - 1.5. Put 2/5, i, -1/2 in decreasing order.
2/5, i, -1/2
Let u = 124 + -120. Put -4, -7, u, -5 in decreasing order.
u, -4, -5, -7
Suppose 2 = -3*w - 4. Sort 3, w, -5.
-5, w, 3
Suppose -g - 6 = -3*g. Let i = g - 8. Put 5, 4, i in increasing order.
i, 4, 5
Let r(x) = x**3 - 4*x**2 + 4*x - 3. Let u be r(3). Let q be (-1)/(-5) - 57/(-15). Let v = q + 1. Put -0.4, v, u in increasing order.
-0.4, u, v
Suppose 5*q + 4 = -26. Let p = -6 - q. Sort p, -4, 6 in increasing order.
-4, p, 6
Let h = -41/20 + 9/4. Let d = 12.8 + -11. Let g = 1.7 - d. Sort 1/3, g, h in descending order.
1/3, h, g
Suppose 9 + 1 = 5*k. Let q be 0 - (3 - -3)/k. Put -5, q, 1 in ascending order.
-5, q, 1
Let h = 0.22 + 4.78. Put h, -3, 0.2 in decreasing order.
h, 0.2, -3
Let n = 86.7 + -87. Put n, 4/3, 3 in descending order.
3, 4/3, n
Let w be 13 + -4 - 1*-3. Suppose -3*a - a - w = 0. Sort 3, a, -11 in decreasing order.
3, a, -11
Let x(f) = 4*f + 6. Let t(u) = 7*u + 11. Let q(o) = -3*t(o) + 5*x(o). Let a be q(-4). Suppose -2*j + 3 = -5. Sort -4, j, a in descending order.
j, a, -4
Let m = 3 + -8. Suppose 13*v = 5*v + 8. Sort v, m, 5 in increasing order.
m, v, 5
Let n = -4 - -3.8. Let l = -0.5 + n. Let j = 0.2 + l. Sort 1, -2/9, j in decreasing order.
1, -2/9, j
Let x = 72 - 73. Put -6, x, 2, 0 in increasing order.
-6, x, 0, 2
Let r = 7/24 - 1/24. Sort r, -6, -4.
-6, -4, r
Let s = -1.8 - -1.6. Put -3, -2, s in decreasing order.
s, -2, -3
Suppose 5*k + 4*p + 9 = 3*p, -5*k - 1 = -p. Sort -7, 0, k in increasing order.
-7, k, 0
Let k(a) = -a**3 - 2*a**2 + 3*a - 3. Let b be k(-3). Put 1/3, b, 0.5 in decreasing order.
0.5, 1/3, b
Let w = 15.7 + -40.1. Let p = -24 - w. Sort -0.3, 3, p in descending order.
3, p, -0.3
Let a = 2104/13 - 162. Suppose -13 = -4*z + 3*l - 4*l, -8 = -4*z + 4*l. Sort -0.5, z, a.
-0.5, a, z
Let f be 0 - 1 - (-1 - -2). Let t = -4 - -7. Sort f, 1, t in ascending order.
f, 1, t
Let f = 21 - 25. Sort f, -6, 4 in ascending order.
-6, f, 4
Let n = -0.5 - -0.2. Let b = -0.2 - n. Let o = -13/10 + 3/2. Put b, o, 1 in descending order.
1, o, b
Suppose 15 = -3*q, -3*d + 5*q + 15 = 2. Put 3, d, 4 in increasing