c(14). Sort a, 3, 0, -1/9 in descending order.
3, a, 0, -1/9
Suppose p - 5 = 6*p. Put -0.2, p, -0.1 in decreasing order.
-0.1, -0.2, p
Let u be (-3)/(-6)*(-2)/4. Suppose -3*k + 39 - 9 = 0. Let o be k/9 + 2/9. Put u, o, -2/3 in increasing order.
-2/3, u, o
Let m = -25 - -30. Suppose -5*z - 12 = -4*l - z, 4*z = -2*l. Put l, 7, m in decreasing order.
7, m, l
Let n(y) = y**2 + 6*y - 12. Let o be n(-7). Let t = -2 - 0. Sort 5, t, o in increasing order.
o, t, 5
Let f(o) = o**2 + o - 1. Let a(b) = -b + 1. Let s(z) = -3*a(z) + f(z). Let h be s(-5). Put -5, h, -2 in descending order.
h, -2, -5
Let n be 6/4 - 1/2. Let a be n*2/1 + 15. Suppose 2*t + 19 = 3*p, 3*t = 4*p - 43 + a. Sort 4, 0, p in increasing order.
0, 4, p
Let b(h) = -2*h + 14. Let q be b(8). Let n = -0.3 - -2.3. Let a = -4 - -9. Put n, a, q in decreasing order.
a, n, q
Suppose -10 + 30 = 4*f. Let c be (-1)/(-2 + f/3). Put -0.5, c, -5 in descending order.
c, -0.5, -5
Let d = -52 - -259/5. Let m be -1*2*15/6. Let q = 14 - 14.5. Put q, m, d in decreasing order.
d, q, m
Let v(h) = -h**2 - 6*h - 2. Let b be v(-5). Sort -3, b, 2.
-3, 2, b
Let f = 14.489 - -0.011. Let p = -18 + f. Let o = 4 + p. Put o, 0.4, 5 in increasing order.
0.4, o, 5
Let i = 0.27 + 0.03. Let j = -1.2 + -3.8. Let v = j + 10. Sort 0.4, v, i.
i, 0.4, v
Let u be ((-8)/14)/((-2)/7). Suppose u = -4*s - 18. Suppose 3*d = -p - 13, 4*p + 3*d - 8*d + 1 = 0. Sort p, s, -1.
s, p, -1
Let z = -103.7 - -104. Sort z, 4, -1/2, 7/2 in descending order.
4, 7/2, z, -1/2
Let m be 4/8 - (-5)/(-6). Suppose 3*p = -4*g + 3, -4*p - 3*g - 2*g + 5 = 0. Suppose -3*f = p*j, -4*j + 0*f = -f. Sort 1, j, m.
m, j, 1
Let i be (-4)/(-6)*(1 - -5). Suppose -56 = 6*d + d. Let o be (d/10)/(8/40). Sort o, i, 3 in increasing order.
o, 3, i
Let g = 164 - 168. Put -2/7, g, -3/2 in descending order.
-2/7, -3/2, g
Suppose 10 = -3*x - 5. Sort x, 6, 2 in increasing order.
x, 2, 6
Let q = -6 + 7. Suppose -i - u + q = 0, -u + 17 = -3*i + u. Suppose -2*b + 3*b - 4 = 0. Sort b, 2, i in ascending order.
i, 2, b
Let u = -157 - -470/3. Let q = 0.5 + -0.3. Put u, q, 1/2 in descending order.
1/2, q, u
Let k = 19 - 19. Sort -5, k, 2 in decreasing order.
2, k, -5
Let x = -50 - -55. Put x, -0.4, 2/15, 25/6 in descending order.
x, 25/6, 2/15, -0.4
Let u = -86 - -517/6. Put -5, 2/7, u in decreasing order.
2/7, u, -5
Suppose 3 = -3*a + 4*w, 2*w - w + 2 = -2*a. Let b = 1 - 1. Suppose 5*r - 15 = 5*j, b*j - 2*r = 2*j - 14. Sort j, a, 5 in descending order.
5, j, a
Let t = -0.3 + 0.5. Let m = -0.3 + t. Sort m, -4, -0.4 in descending order.
m, -0.4, -4
Suppose -4*y - 5 - 6 = l, 24 = 4*l - y. Put -3, 1, l in ascending order.
-3, 1, l
Let k = -79/290 + 5/29. Sort k, 3, -1 in descending order.
3, k, -1
Suppose -3*p = -3 - 6. Let k(s) = -s**2 + s + 2. Let l be k(p). Let i = l - -6. Sort 1, -2, i in increasing order.
-2, 1, i
Let z = -12 + 7. Suppose 9 = -u + i - 0*i, 2*u = 4*i - 28. Let t = 16 + -13. Put z, u, t in increasing order.
z, u, t
Suppose 17 + 13 = -5*d. Sort d, -1, -5.
d, -5, -1
Let s(k) = -k**2 - 8*k. Let i be s(-8). Sort 2, i, -3 in ascending order.
-3, i, 2
Let k = 12 + -13.1. Let i = 1 + k. Put -5, i, 2/5 in increasing order.
-5, i, 2/5
Let h(d) = 0 + 4*d + 1 - d - 6*d. Let g be h(-1). Suppose 2*n - 3 = n. Sort g, n, -5 in descending order.
g, n, -5
Let u be ((-1)/3)/((-5)/(-6)). Let f = -11 - -8. Let v = -93 + 93.2. Sort v, u, f in decreasing order.
v, u, f
Let c = 46/9 - 203/45. Put 1, -1/10, c in ascending order.
-1/10, c, 1
Let i be (-8)/6*(-30)/20. Sort -1.4, i, -2/7 in descending order.
i, -2/7, -1.4
Let u be -5 + 11 + -3 + 4. Suppose 3*r - 11 = -y, 3*r + u = -2*y + 17. Put r, -5, -2 in ascending order.
-5, -2, r
Suppose -4*k = k - 30. Suppose 28 = 2*y - k*y. Put y, 2, -1 in increasing order.
y, -1, 2
Let p be -15 + 11 + -1 + 1. Put 1, p, -5 in decreasing order.
1, p, -5
Suppose -3*c = 3*l + 18, 2*l = c + 6*l + 21. Put c, 3, 2 in descending order.
3, 2, c
Let l = 11 - 6. Suppose -19 = l*v - 4. Sort 0, -1, v in ascending order.
v, -1, 0
Let p be -4 - -1 - (-5)/2. Sort 9, 1, p.
p, 1, 9
Let h be (2 + -2*2)/(-2). Let f be (h/(-2))/(4/(-8)). Sort f, 5, 0.4 in decreasing order.
5, f, 0.4
Let l(f) = -3*f + 5. Let c(x) = -7*x + 9. Let o(j) = -4*c(j) + 9*l(j). Let y be o(-12). Put -5, y, -1 in ascending order.
-5, y, -1
Let q(y) = -y**3 - 4*y**2 + 6*y + 2. Let k be q(-5). Sort 2, 3, k.
k, 2, 3
Let g = 2.27 - -0.73. Let s = 13 + -9. Put g, -0.2, s in increasing order.
-0.2, g, s
Let t = -1 - -1.5. Let n = -4 + 3.95. Let y = n - -2.05. Sort y, -2, t.
-2, t, y
Let x be (-4)/(-14) + 72/42. Sort -4, x, -2 in increasing order.
-4, -2, x
Let m = 1.5 - 1.64. Let r = -0.36 + m. Sort r, -1/8, 3/2 in decreasing order.
3/2, -1/8, r
Suppose -30 = 10*t + 5*t. Put 7, t, -4, -3 in ascending order.
-4, -3, t, 7
Let l = 45 - 85. Let n be (1/2)/(4/l). Sort -1, n, -2 in decreasing order.
-1, -2, n
Let r = -5901/17 + 347. Sort 2, 2/7, r in decreasing order.
2, 2/7, r
Suppose 5*x + 5*t - 35 = 0, -3*x = x + 2*t - 24. Suppose c = 5*c. Sort x, c, -2 in decreasing order.
x, c, -2
Let j = -3.5 + -0.5. Let h = j + 1. Suppose 2*d + 4 = 6*d. Sort h, d, 2 in descending order.
2, d, h
Let l be (-2)/4*-2*4. Let i = 2.73 - 2.73. Put l, -3/5, i in ascending order.
-3/5, i, l
Let m = 37 - 184/5. Let h be 10/12 + (-2)/4. Put 2/17, m, h in descending order.
h, m, 2/17
Let z be (-60)/52 + (-1)/(-1). Put -1/6, 3, z in decreasing order.
3, z, -1/6
Let m = 0.172 + -8.172. Sort m, 3, 0.1 in decreasing order.
3, 0.1, m
Let k = 2 + -1.7. Let b = 0.5 - k. Let m = b - 0.1. Sort m, -1, 3 in increasing order.
-1, m, 3
Suppose 3*i = 5*a + 1 + 16, i + 2*a - 2 = 0. Let n = -0.16 - -0.06. Put n, -3, i in descending order.
i, n, -3
Let v = -13 - -9. Let d = 6 + v. Let o = -7 + d. Put -0.4, o, 2 in descending order.
2, -0.4, o
Suppose -6*o = -5*o - 1. Put o, 0.4, 2 in ascending order.
0.4, o, 2
Let a be (26/325)/(2/(-10)). Put a, 0.4, 10 in decreasing order.
10, 0.4, a
Let y(h) = h**2 + h - 1. Let n be y(-2). Suppose -2 = -3*i + 4. Sort 5, i, n in ascending order.
n, i, 5
Let o = -20.97 - -21. Let h = -0.93 + 0.8. Let f = o + h. Sort 4, f, -1 in ascending order.
-1, f, 4
Let x = -5.2 - -2.2. Sort -2/9, -5, x, 0.5 in decreasing order.
0.5, -2/9, x, -5
Let r = 6 - 4. Let f = -0.05 + -1.95. Sort r, -2/7, f.
f, -2/7, r
Let y = 11 - 7. Sort 0, y, -1 in increasing order.
-1, 0, y
Let n(u) = u**3 - 3*u**2. Let m be n(3). Suppose -15 = 4*q - 4*v + 3*v, 0 = -2*q - v - 15. Put m, q, 5 in decreasing order.
5, m, q
Suppose -5*b = r - 0*b + 2, 0 = -r + b - 2. Let m = 16 - 20. Put 0.2, m, r in increasing order.
m, r, 0.2
Let x(k) = -k**3 + 4*k**2 + 12. Let y be x(5). Sort 2, -4, y in increasing order.
y, -4, 2
Let u = -2 + 4.5. Let j = 2 - u. Let v be 3/(111/6 + -2). Sort j, v, -3.
-3, j, v
Let d(i) = 10*i + 0*i + 8*i. Let l be d(1). Let r be 3/(-1) - (-48)/l. Sort r, 0, -2/5 in decreasing order.
0, r, -2/5
Let q be -3 + (4 - 2 - 9). Let n = q - -15. Sort -3, -4, n in decreasing order.
n, -3, -4
Let v = 215/828 - 2/207. Let m = 0.5 - 0.2. Sort m, v, -3/8.
-3/8, v, m
Let p = 4.2 - 1.2. Put 3/7, -3, p in descending order.
p, 3/7, -3
Let g(c) = -24*c + 2*c**2 + 3 + 33*c - 4*c**2. Let t be g(5). Sort 2, t, 1 in descending order.
2, 1, t
Let f = 8 - 5. Sort 1, f, -1.
-1, 1, f
Let z = -26 + 22. Sort z, -2/5, 0.4 in decreasing order.
0.4, -2/5, z
Let t = -3.2 + 3.5. Sort t, -0.1, -4 in descending order.
t, -0.1, -4
Let g be ((-7)/14)/(2/(-32)). Suppose 4*j = 8 + g. Suppose 0 = 4*n + j. Sort 0.4, 0, n in ascending order.
n, 0, 0.4
Let y be (-160)/88 + 4/(-22). Put -28, -0.4, y in decreasing order.
-0.4, y, -28
Suppose 26 = -2*d - 4*r, 0 = -3*d - r - 29. Let q = d + 10. Suppose 4*i - 3*j + 13 = 0, -7 = i + 3*j - 0*j. Put 4, q, i in increasing order.
i, q, 4
Let q = -445 - -4877/11. Let g = q + 328/187. Put -4, g, 5 in increasing order.
-4, g, 5
Let t = 9 - 6. Suppose t*n - 3*d + 9 = -4*d, -5*n - 3*d - 19 = 0. Put n, 0, -4 in ascending order.
-4, n, 0
Suppose 0*s = -3*s - 15. Put 0, s, -1 in descending order.
0, -1, s
Let h = -2.1 + -1.9. Put 2, 1/2, h in ascending order.
h, 1/2, 2
Let b = -36 - -15. Let g be 6/b - 37/(-7). Let h be 0/(-2 - -1 - 1). Sort g, 2, h in decreasing order.
g, 2, h
Let a = 164/35 + -30/7. Put 5, a, 8 in ascending order.
a, 5, 8
L