 Sort 3, 2, l.
l, 2, 3
Let n be ((-6)/(-4) + -1)/((-2)/(-32)). Suppose 4*s + 2*f + 10 = -0*f, 0 = s + 2*f + 10. Sort 4, s, n in increasing order.
s, 4, n
Let i = 2 + -3. Let o be 1964/(-11044) - (-4)/22. Let v = o - 1013/2259. Sort 0.4, v, i.
i, v, 0.4
Let m = 1 + -5. Let c be (-6)/(-3) - (-1 - -1). Let u be (c/(-3))/(10/15). Sort u, m, -5 in increasing order.
-5, m, u
Suppose 0 = -0*x - 5*x - 15. Let k = -10 + 5.9. Let g = 3.6 + k. Put g, 0, x in descending order.
0, g, x
Suppose 0 = o - 6*o. Suppose o = 3*y + 5*t + 22, -5*y + 2*t + 25 = -2*t. Sort -4/9, 1/6, y in decreasing order.
y, 1/6, -4/9
Let m(t) = 6*t**2 - t + 1. Let k be m(1). Suppose -h + k - 2 = 0. Put h, -5, 1 in descending order.
h, 1, -5
Let v be (-2)/(-4) - (-30)/20. Sort -5, v, -3 in decreasing order.
v, -3, -5
Suppose 3*p - r = p + 8, 3*p + 2*r - 19 = 0. Suppose 5*h - s - 12 = 0, 0*s + p*s = h + 12. Put h, 1, -3 in descending order.
h, 1, -3
Let t = -228 + 233. Suppose 4*l - 10 - 24 = 2*p, -5*p - 13 = -2*l. Put l, -1, t in decreasing order.
l, t, -1
Let l(g) = g**2 - 3*g - 1. Let h be l(4). Let p be 2*((-20)/8 + 2). Suppose -4*b + 12 - 1 = 5*s, -5*b + 4*s + 24 = 0. Sort h, p, b in decreasing order.
b, h, p
Suppose 3*y - 3 = -9. Suppose 2*t - 6 = 3*k - 5*k, t - 13 = -3*k. Let o be k/(-7) + y/7. Sort o, -5, -3.
-5, -3, o
Let c = -51 + 55. Sort 5, c, 6 in ascending order.
c, 5, 6
Let o be 2*(14/(-4) + 1). Suppose -9*p + 4*p + 15 = 0. Put p, -2, o in increasing order.
o, -2, p
Let v = 0.21 + -43.21. Let g = v + 40.1. Let q = g - 0.1. Sort -0.3, q, -4 in increasing order.
-4, q, -0.3
Let c = -0.96 - 3.14. Let m = c + -0.9. Sort 2/7, 2, m.
m, 2/7, 2
Let y = -6 + 8. Suppose -o = -y*o - 4. Put o, 4, -1 in descending order.
4, -1, o
Let v be 30/135 + -2*(-34)/18. Sort 2, 5, v in descending order.
5, v, 2
Let h = -325 + 322.03. Let w = h + -0.03. Let j = -67/12 - -21/4. Sort w, 1/4, j in descending order.
1/4, j, w
Let r be 21982441/124698 - -1 - 1. Let q = 5/17814 + r. Let j = -176 + q. Put j, -0.1, -5 in increasing order.
-5, -0.1, j
Suppose 0 = 4*l - 1 - 7. Let m = 9 - 4. Suppose -2*f - 7 = g, -m*f + 4*g + 15 = -0*g. Sort f, l, -4 in decreasing order.
l, f, -4
Suppose -2*o - 25 = 3*o. Sort -6, o, -2 in descending order.
-2, o, -6
Let l = 4 + -6. Let j be 2 + 14/l + 2. Sort 3, 2, j in decreasing order.
3, 2, j
Suppose 5*w = 2*y - 31, 2*y = -4*w + 4 - 18. Let c be 1/(-3) + (-13)/(-3). Sort c, 5, w in increasing order.
w, c, 5
Let u be 11/2 + 5/10. Sort -1, u, 0 in increasing order.
-1, 0, u
Let s be ((-4)/(-6))/(66/18). Let l = 5 + -1. Put l, -1, s in decreasing order.
l, s, -1
Let w = 220.03 - 220. Sort -5, 3, w, -2/13.
-5, -2/13, w, 3
Let p = -1.1 + 0.6. Let w be -2 - (-463)/8*2. Let s = 113 - w. Put -5, s, p in increasing order.
-5, s, p
Let p(j) = 14*j**3 - 1. Let n be p(1). Suppose 2*v + 3*r + n = 0, 5*r + 12 = -v - 5. Sort -3, v, 3 in descending order.
3, v, -3
Suppose 221 = -7*n + 207. Suppose 0*u = -u - 3. Sort -1, u, n in ascending order.
u, n, -1
Let q = -85.6 - -79. Let k = q + 7. Sort -2/3, 1/7, k in increasing order.
-2/3, 1/7, k
Let y = 137 + -138. Let b = -8 + 11. Suppose -4*a - b*p = 11, 2*p = p + 3. Sort -3, a, y in descending order.
y, -3, a
Let c = -158 - -154. Let p = 627/5 - 126. Put -0.4, p, c in decreasing order.
-0.4, p, c
Let v(f) = -2*f**3 - f**2 + 5*f + 3. Let z be v(-2). Let o = -1 - -5. Sort z, 2, o in decreasing order.
z, o, 2
Suppose 4 = 18*m - 22*m. Sort 1, 4, m in increasing order.
m, 1, 4
Let y = 107 - 107.3. Put 22, 1/3, y in descending order.
22, 1/3, y
Let t = -1.1 + 1. Suppose 0 = -u + 5*u + 4. Let x = 1/3 + u. Sort x, t, -3 in descending order.
t, x, -3
Let g = 32.8 - 33. Sort -1, g, 3 in ascending order.
-1, g, 3
Suppose -57 = -4*x + 7. Suppose -z - 2*a = a + x, -7 = -3*z + 2*a. Let c = -5 - -4.7. Put c, z, 2 in descending order.
2, c, z
Let x = 4 - 5. Sort 6, 0.1, x in increasing order.
x, 0.1, 6
Let k = -7.2 + 7. Sort k, -0.7, -3 in descending order.
k, -0.7, -3
Let p = -6 + 52. Let f = p - 40.6. Let z = -5 + f. Sort -5, 1/5, z.
-5, 1/5, z
Let r(z) = -5*z**2 - 5. Let w(x) = 9*x**2 - x + 9. Let y(f) = 5*r(f) + 3*w(f). Let d be y(2). Sort d, -5, 3 in ascending order.
-5, 3, d
Let x = 31.79 - 32. Sort x, 3, -1/5, -5 in decreasing order.
3, -1/5, x, -5
Let u be 2 + 0/2 - 2. Suppose -3*r - 9 = -39. Let i be 2/(-4) - (-55)/r. Sort i, 3, u in increasing order.
u, 3, i
Let k(z) = z**3 - 7*z**2 - 1. Let h be k(7). Let j(g) = -g**3 + 5*g**2 + 7*g - 6. Let p be j(6). Put 5, p, h in descending order.
5, p, h
Let r = -4 - 1. Suppose 0 = -h - 0 - 3, -2*q + 2*h = -14. Sort 2, r, q in increasing order.
r, 2, q
Let f(q) = q**3 - 9*q**2 + 7*q + 6. Let a be f(8). Let s be a/(-6) - 2/3. Put s, 1/4, 5 in ascending order.
s, 1/4, 5
Let a be (((-7)/(28/8))/1)/(-1). Sort a, -1, -11, -5.
-11, -5, -1, a
Let b = 0.2 + -1.2. Let k = -12.1 + 8.1. Sort b, k, -5 in decreasing order.
b, k, -5
Suppose -7*j + 2 + 5 = 0. Sort -2/13, 2/9, -5, j in decreasing order.
j, 2/9, -2/13, -5
Let t(p) = p - 9. Let v be t(9). Put 29, v, -0.1 in descending order.
29, v, -0.1
Let d = 20 + -42. Let p = 27 + d. Suppose 0*q - 3*q - 6 = 0, -5*q = -u + 10. Sort u, p, -5 in increasing order.
-5, u, p
Let d(j) = -1 + 7 - 2*j**3 + j**3. Let q be d(0). Let m(w) = 2*w - 9. Let y be m(q). Put 0, y, 4 in increasing order.
0, y, 4
Let u = -11 - -8. Sort 0, -1, u in decreasing order.
0, -1, u
Suppose 0*z + 4*z - 4 = 0, -2*z = 2*a - 6. Sort 3, 4, a in ascending order.
a, 3, 4
Let n = -2.8 - -2. Let l = n + 1.2. Sort -4, l, -9 in ascending order.
-9, -4, l
Suppose 13 + 2 = 3*j. Let x(g) = g + 8. Let k be x(7). Let z = k - 11. Put j, z, 2 in decreasing order.
j, z, 2
Let z be (27/(-90))/((-2)/4). Put z, -1/6, -1.1 in increasing order.
-1.1, -1/6, z
Let x = -6 - -9. Let k = x + 2. Put -4, -2, k in ascending order.
-4, -2, k
Suppose -5*k + d - 3*d = 6, -d = 2*k + 2. Let f = 11 + -8. Suppose 2*a = -f*a + 5. Put 4, a, k in ascending order.
k, a, 4
Let y(r) = -r**3 - 3*r**2 + 2*r + 3. Let m be y(-3). Let o(a) = -a**3 - a**2 - a - 4. Let t be o(0). Sort t, m, -2 in decreasing order.
-2, m, t
Let c = 9 - 14. Put c, 4, 5, -3 in decreasing order.
5, 4, -3, c
Let d be 2/(-10) + 6/(-70). Let u = 0.011 - 6.051. Let h = -0.04 - u. Sort d, h, -4/7 in decreasing order.
h, d, -4/7
Suppose g + 12 = 4*g. Suppose -g*m - 2*d = m + 19, 0 = 4*m + 4*d + 20. Suppose 6*o = o - 5. Sort 4, o, m in decreasing order.
4, o, m
Let b = -1 + 2. Let o = 0 + 0. Suppose -l + 2 = -o*l. Sort b, -3, l.
-3, b, l
Suppose -20 = 3*n + 4*a, -4*n - 3*a = -0*a + 29. Let x be (2 - 0)/(n/(-4)). Let y be (x - 0)*1*2. Put 1, 0, y in descending order.
y, 1, 0
Let q be 2*6/4 + 2. Suppose 2 = -2*h + h, 2*h = -a - 5. Sort q, 2, a in descending order.
q, 2, a
Suppose 3 = 3*p + w, 0*p = 4*p + 4*w + 4. Sort 3, 4, -1, p in descending order.
4, 3, p, -1
Let y(i) = i**2 - 10*i + 12. Let g be y(9). Let b be (9/18)/((-2)/(-16)). Put g, -4, b in increasing order.
-4, g, b
Let q = 5.3 + -5. Let p be 9/(-4)*110/(-15). Let n = 17 - p. Put 5, q, n in ascending order.
q, n, 5
Let b = -3 - -3. Let a = -1 + b. Let m = 32/5 - 7. Sort 3, m, a.
a, m, 3
Let y = -161/132 + -5/44. Put -0.2, -1/2, y in increasing order.
y, -1/2, -0.2
Suppose 3*o = -3*a + 30, 5*o - 2*o = 3*a. Put 3, o, -0.07 in decreasing order.
o, 3, -0.07
Suppose -8*n + 3 = -13. Sort -0.11, -2, n, 3 in ascending order.
-2, -0.11, n, 3
Let i(t) = 2 - 4*t - t**2 + 6*t**2 - 4*t**2 - 2*t**2. Let a be i(-4). Suppose -3*m - a = -m. Put m, 0, -3 in descending order.
0, m, -3
Let u = 2.96 + 0.04. Let j = -224 - -1572/7. Put 0.1, j, u in decreasing order.
u, j, 0.1
Let h(a) = a**3 - 7*a**2 - 9*a + 9. Let i be h(8). Let z(b) = -4*b**3 + 3*b**2 + 5*b**3 - 4*b**2. Let f be z(2). Put f, 5, i in decreasing order.
5, f, i
Suppose -g = 2*g. Let h(j) = -3*j - 3. Let x be h(-2). Let p be (-2)/7 + 111/21. Put g, p, x in decreasing order.
p, x, g
Let b(p) = p**3 - 3*p**2 - 3*p + 4. Let o be b(3). Let q(l) = l**3 + 4*l**2 - 4*l + 3. Let s be q(o). Let w = 1 - s. Sort w, 1, -2.
-2, 1, w
Let a be (30/(-9))/(1 - 3/9). Let l(i) = -i**2 - i + 3. Let y be l(0). Sort a, y, 0 in increasing order.
a, 0, y
Let o be (32/(-24))/(4/(-6)). Suppose -o*d + 10 = 3*d. Put 5/4, d, -4 in descending order.
d, 5/4, -4
Let w = 19 + -18. Put 5, 1/5, w in 