. Put n, a, 2 in ascending order.
n, a, 2
Suppose -6*b + 27 - 3 = 0. Sort -4, 2, b.
-4, 2, b
Let d(y) = y**3 + 12*y**2 - y - 7. Suppose 5*t - t + 48 = 0. Let k be d(t). Let r be -1 - (-1 + 4)*-1. Put 1, k, r in decreasing order.
k, r, 1
Let v = 1.2 - 1.4. Let l = -0.2 - v. Put l, -0.1, 0.5 in increasing order.
-0.1, l, 0.5
Let b = -143 - -66. Let d be 3*1 - b/(-14). Suppose 4*q + 4*t + 9 = -3, 0 = 3*q - 3*t + 9. Put 4/3, q, d in decreasing order.
4/3, d, q
Suppose 2*h - h - 2*v + 3 = 0, 3 = -h + 4*v. Suppose -5*f + 2*z + 22 + 6 = 0, 0 = -4*f - 5*z - 4. Suppose -f*s = 1 + 15. Sort h, s, 5 in descending order.
5, h, s
Let k be -8*(203/(-58) - (-3 + -1)). Suppose -4 + 1 = 3*b. Sort k, 6, b in increasing order.
k, b, 6
Suppose -3*w = -n - 8, 3*w = 2*n - 2*w + 13. Suppose 0 = -4*u + 2*u + 10. Sort n, u, -4.
-4, n, u
Let u = -0.39 + -6.61. Sort u, 0.2, -2 in decreasing order.
0.2, -2, u
Let h(r) = -4*r**3 - r**2. Let t be h(-1). Let s(x) = t*x - x + 0*x. Let y be s(-2). Sort -2, y, 0 in ascending order.
y, -2, 0
Let h(z) = -z**2 + 6*z + 10. Let n = 7 - 8. Let c be n - (-4)/(-2) - -11. Let a be h(c). Sort -2, -5, a in ascending order.
a, -5, -2
Let h(b) = -b**3 - 3*b**2 - b + 1. Let x be h(-3). Suppose -l - 5*m - 25 = -2*l, -x*l - 3*m = 15. Let z = 168 - 1846/11. Sort 1, z, l in descending order.
1, z, l
Let q = 0.03 - 1.03. Let h = -5 - -8. Suppose 0 = 4*u, 3*x + 1 = h*u - 11. Sort q, -3, x.
x, -3, q
Let d be (-26)/10 - (4 - 6). Suppose 0 = -t - 0*t + 3. Sort d, 0.05, t in decreasing order.
t, 0.05, d
Let j = 3.4 + -3. Let r = 7 + -5. Let x = -7 + r. Sort j, x, 1/3 in ascending order.
x, 1/3, j
Suppose -2*x = -18 + 8. Let y be 14/3 - (-4)/(-6). Put x, y, 1 in descending order.
x, y, 1
Let k = 9 - 2. Suppose w - k*g = -4*g + 11, g + 3 = 0. Sort w, -2, -3.
-3, -2, w
Let t(l) = l**3 + 3*l**2 - 3*l + 1. Let x be t(-3). Suppose -5*a + x = 5. Sort 5, 4, a.
a, 4, 5
Let x be ((-10)/(-8))/(1/(-4)). Let a be x/8*1/(-5). Let m = 55/28 - 12/7. Sort m, 4, a.
a, m, 4
Let j be (1/(-3) + 0)/((-40)/240). Sort 10, -3, j.
-3, j, 10
Let p = -0.38 + 0.48. Sort -2/19, 0, p, 0.04 in ascending order.
-2/19, 0, 0.04, p
Let q be ((-16)/10)/((-20)/50). Sort 2, 3, q.
2, 3, q
Let h = 22 - 18. Put -5, h, -4 in increasing order.
-5, -4, h
Let n = 10 - 6. Put 0, 1/5, n in decreasing order.
n, 1/5, 0
Let q be 2 + -1 + (1 - 1). Sort q, 11, 2, -4 in ascending order.
-4, q, 2, 11
Let p = 14 - 44/3. Sort 2/17, p, -2 in decreasing order.
2/17, p, -2
Let w be 0 + (-2)/(-4)*4. Suppose 0 = -3*n - 4*q, -n + q + 4 + 3 = 0. Sort n, -5, w.
-5, w, n
Suppose 2*n + 0*n - 52 = 0. Suppose -5*u - b + 2*b = -96, -u = 5*b - 40. Suppose -d = 4*v + u, -4*v = 4*d + 6 + n. Sort 1, -2, d in ascending order.
d, -2, 1
Let t = -0.7 - 0.1. Let y = -1.1 - t. Put 4, y, 1/2 in increasing order.
y, 1/2, 4
Let w = -1.4 + -0.6. Let z be -1 + 6 - (2 - 1). Put z, 0.2, w in descending order.
z, 0.2, w
Let p be (-2)/(-7) - (-23)/(-7). Let j = p - -5. Suppose -4*r = 2*c - 26, 4 = 5*r - 16. Sort -2, c, j in descending order.
c, j, -2
Let s = 58 - 292/5. Put 0.1, s, -3 in ascending order.
-3, s, 0.1
Suppose -5*w + u = -1, 0 = -2*u - 4 + 2. Suppose 0 = -5*p + 4*t - 14, -4*p + w*t - 4*t = 4. Let k = 14 + -9. Sort -1, k, p in descending order.
k, -1, p
Let g(k) = -k**2 - 9*k - 3. Let f be g(-8). Let v = 11 - 14. Sort v, -1, f in decreasing order.
f, -1, v
Let v = -3 - -1. Let x = -0.06 + 1.86. Let f = x - -0.2. Sort -1, v, f in decreasing order.
f, -1, v
Let a be (-6)/15 + (-49)/(-35) + -2. Suppose u + 1 = m, 5*u + 5*m - 33 = 2. Sort -2, u, a.
-2, a, u
Suppose -h - 3*y - 9 = 2, -3*h = -y + 3. Suppose 0 = -3*l + 2*s + 6, -s = -4*l + 3. Put h, l, 5 in descending order.
5, l, h
Let c be 6/4 + (-1)/(-2). Suppose 0 = c*z + 2*z + x - 9, -7 = -2*z - x. Sort 2, z, -3 in increasing order.
-3, z, 2
Let m(z) = -1 - 5*z**2 + 4*z + z**3 + z - 3. Let u be (-2)/(-2) + 1*3. Let d be m(u). Sort d, 5, -5 in descending order.
5, d, -5
Suppose -24 = 5*r + 6. Put 3, 5, 0, r in decreasing order.
5, 3, 0, r
Suppose 4*m - 2*j + 1 = m, -4*j = 3*m - 29. Suppose 2*l - 3*l = m. Sort -2, l, -1 in increasing order.
l, -2, -1
Let t(y) = y**2 + 7*y + 13. Let s be t(-4). Put s, -5, -3, 0 in ascending order.
-5, -3, 0, s
Suppose 3*b - 3*m - 3 = 0, 0*b + 4*m = -5*b + 14. Let c be 1/(-1) + 2 - 0. Put b, -3, c in descending order.
b, c, -3
Let q = -0.13 - -0.23. Let i = 3 - 1. Sort -3, i, q in decreasing order.
i, q, -3
Let i = -4 + 0. Sort 3, 5, i in descending order.
5, 3, i
Let w = 4 - 2. Sort 1, w, 5 in descending order.
5, w, 1
Suppose -1 + 5 = 4*a. Sort a, -1, 7.
-1, a, 7
Let i = 4 - 4.1. Let j = 0 + i. Put 5, 0.5, j in increasing order.
j, 0.5, 5
Let q = 1.52 - 1.92. Put -20, q, -3 in increasing order.
-20, -3, q
Let f be (1*-7 - -1)*26/52. Put 2, 5, 1, f in descending order.
5, 2, 1, f
Let x = 9 - 11. Suppose -3*w - 3 = 0, 0 = -n - 2*w + 3 - 2. Sort n, 5, x in descending order.
5, n, x
Let w(h) = h**3 - 8*h**2 + h + 6. Let g be w(8). Suppose 0*y - g = 5*a + y, 2*a = 2*y - 8. Sort a, -1, -5 in ascending order.
-5, a, -1
Let a be (-129)/(-18) + 1/(-2). Let g = 7 - a. Sort -1/2, g, 0.1 in decreasing order.
g, 0.1, -1/2
Suppose 5*v = 7 + 143. Let a be v/8 + (-2)/(-8). Let l = -6 + 3. Put 2, l, a in decreasing order.
a, 2, l
Suppose -3*k + 23 = y, k - 2 = -y + 9. Suppose -4*l + 0 = 5*q - 3, k = q - l. Let a be (5/3)/((-1)/(-3)). Sort q, a, -5 in decreasing order.
a, q, -5
Let k(b) = b**2 + 6*b + 4. Let w be k(-6). Sort 3, 2, w, 0 in increasing order.
0, 2, 3, w
Let g = 0.5 + -0.9. Let i = 9 + -6. Put i, -1, g in decreasing order.
i, g, -1
Suppose -5*q - 960 = -940. Let f(l) = l**2. Let d(v) = v**2 - 2*v + 3. Let w(u) = -d(u) + 2*f(u). Let g be w(-3). Sort q, -3, g in descending order.
g, -3, q
Suppose -5*t - 3 = -4*b, -2*t - 2*b + 0 + 6 = 0. Sort 3, t, 9, -3 in descending order.
9, 3, t, -3
Let k = -543 - -12487/23. Let d = 0.01 - 4.01. Put k, d, 0.2 in decreasing order.
0.2, k, d
Suppose -4*g + 28 = 4*r, g = 3*r + 3*g - 18. Let z = 1 - r. Sort z, 1, -4.
-4, z, 1
Let y = 26 + -22. Let f = -1 - -1.3. Put y, f, -2 in decreasing order.
y, f, -2
Let b = 1 + -0.6. Let y = -2 + 3. Let j be 4*((-2)/4)/y. Sort b, 2, j in descending order.
2, b, j
Let f = 31.9 - 34. Let q = 0.1 + f. Put 0.3, q, -0.2 in descending order.
0.3, -0.2, q
Let k = 14 + -22. Let l be -4*((-30)/k)/(-5). Suppose 27 = 2*i + 5*s, 2*s - 25 = -3*s. Sort -1, i, l in decreasing order.
l, i, -1
Suppose 3 = 5*p - 2*a, 4*a + 1 = -0*p + 5*p. Let v be (-13 + 1)/3*p. Sort -1, v, 2.
v, -1, 2
Suppose 4*b - 4 + 0 = 0. Sort 3, -4, b.
-4, b, 3
Let p be 0 + 0 + (2 - 2). Let n(i) = -2*i + i + p*i + 2. Let k be n(4). Sort 0, k, 5 in increasing order.
k, 0, 5
Let p be 7*1*(-12)/(-21). Put 3, -19, p in increasing order.
-19, 3, p
Let b = -3 - -5. Let s = 0.2 + -0.4. Put s, 1, b in increasing order.
s, 1, b
Suppose -4*g = 3*m - 2*m - 10, -m = g - 4. Put -6, 0, -4, g in descending order.
g, 0, -4, -6
Let z be 4/5*(0 + -2 - -7). Sort z, -5, 1 in increasing order.
-5, 1, z
Let o be 4/3 + 1 + (-8)/(-12). Let f = 6 + -10. Sort f, o, 4 in descending order.
4, o, f
Let f = 16.84 - 17. Let m = -0.46 - f. Put 2, 1/6, m in descending order.
2, 1/6, m
Let p be 2/(-8) + -18*1/(-8). Suppose 5*h - 3*q = -24, 2*q - 5*q = 2*h - 3. Let x be -1*2/6*h. Sort -5, x, p in increasing order.
-5, x, p
Let b(r) = r**3 - 8*r**2 - 9*r - 2. Let q be b(9). Let l = 8 - 5. Suppose -t + l = -0. Put -3, t, q in increasing order.
-3, q, t
Let j = 0 - -1. Sort -5, j, 5 in descending order.
5, j, -5
Let f = -0.44 + 0.04. Let k = -10.6 + f. Let w = k - -7. Sort 0.3, w, -4/5 in ascending order.
w, -4/5, 0.3
Let d = 46/3 - 50/3. Sort -0.5, 1, d in decreasing order.
1, -0.5, d
Let g = 4.215 + 0.085. Let n = -0.3 + g. Let j = -0.32 - -0.02. Sort j, 2/15, n in ascending order.
j, 2/15, n
Suppose 0 = -4*u - 13 + 5. Put -1, -4, u in ascending order.
-4, u, -1
Let a = -12 + 9. Let k = a - -6. Sort -4/7, k, -3 in ascending order.
-3, -4/7, k
Let l(f) = -f**2 + 4*f + 50. Let s be l(9). Let i be 5/(-2) - (-1)/(-2). Put i, 1, s in increasing order.
i, 1, s
Let c be (55 - 57)*(1/(-2) + 1). Put 1/8, -3, c in ascending order.
-3, c, 1/8
Suppose 0 = -6*d + 5*d + 1. Let q = 1 - 2. Put d, -5, q in increasing order.
-5, q, d
Let h = -12 + 17. Sort h, -4, 0.
-4, 0, h
L