5*c = -3*n + u. Sort -2, 5, c in ascending order.
-2, c, 5
Let a = -37394/15 - -2494. Let x = 2/5 - a. Sort -3/4, -3/2, x.
-3/2, -3/4, x
Let m = -12 - -4. Let d = -95.7 - -104. Let u = m + d. Put 5, 0.4, u in ascending order.
u, 0.4, 5
Let r be (-4)/(-2) + -1 - 0. Let i = -0.1 - -4.1. Let g = 3.8 - i. Sort r, -0.4, g.
-0.4, g, r
Let r = -3 - 4. Let b = -10 - r. Sort b, 5, -5 in decreasing order.
5, b, -5
Let r = -9 - -73. Let d = 194/3 - r. Sort 0.3, d, -6.
-6, 0.3, d
Let i = -3375/11 + 307. Put i, 1, -0.5 in decreasing order.
1, i, -0.5
Suppose -5*k = 10 - 30. Suppose k*q - 6*q + 8 = 0. Suppose 8 = 4*o, -7*o = q*w - 3*o - 12. Sort 2/13, -3/4, w in decreasing order.
w, 2/13, -3/4
Suppose 3*d + 0 = 6. Sort 1, -3, d in increasing order.
-3, 1, d
Suppose 0 = -10*h + 3*h - 21. Let r = -10 - -14. Put -1/2, r, h in decreasing order.
r, -1/2, h
Let u(y) = -3*y + 17. Let b be u(7). Suppose 0 = -n - 0 - 2. Put n, -1, b in ascending order.
b, n, -1
Suppose 8*i = 4*i. Suppose i = -0*s + s - 1. Suppose j + 0*j = 0. Put -1, j, s in decreasing order.
s, j, -1
Let n(b) = b**2 - 7*b - 1. Let d be n(7). Put d, -3, 2, 0 in descending order.
2, 0, d, -3
Let y = 40/13 - 278/65. Sort 0, y, -2, 0.1 in descending order.
0.1, 0, y, -2
Suppose -8 = -x + 2*o + 2*o, 2*x = -o + 25. Suppose 0 = 4*s + 4 - x. Sort s, 4, 5 in ascending order.
s, 4, 5
Let o(k) be the first derivative of k**2 - 5*k - 2. Let i be o(4). Put 1, i, -5 in descending order.
i, 1, -5
Let a(y) = -4*y + 3. Let c be a(2). Suppose -4*j + 2*j + 5*g = 25, j + 2*g = 10. Suppose 2*v = 2, 3*v = 2*h + 2*v - 3. Sort j, h, c in increasing order.
c, j, h
Let j be 16/(-6) - 8/24. Let f be (-2)/4*2/j. Let b = 0.4 + -0.3. Sort 2, b, f.
b, f, 2
Suppose 0 = -4*f - 3*j - 47, -2*f = f + 4*j + 44. Let b = f + 12. Let t be (-3)/9 + 1/3. Put b, t, -1 in decreasing order.
b, t, -1
Let z = 0 + 0. Suppose -4 = 24*n - 28*n. Sort z, n, 4 in decreasing order.
4, n, z
Suppose -5*v - p = 6, 2*v + v + 4*p = -7. Let l be 2/4 - (-25)/(-30). Let r = l + 0. Sort r, -2/9, v in descending order.
-2/9, r, v
Let g be 4/(-6) - (-16)/6. Let c(w) = w - w**g - w - w. Let u be c(-2). Sort 3, u, -3.
-3, u, 3
Suppose 5*b - 3 = j + b, 1 = 2*j - b. Suppose 0 = -4*l + 5*g - 8, -2*l = 2*g - 8 - 6. Let m = 1 + -2. Sort m, l, j in ascending order.
m, j, l
Let f be (10/(-6))/(2/6). Suppose 2*k - k = 12. Let a be (-1)/6 + 26/k. Put f, a, 3 in descending order.
3, a, f
Let l = 0.01 + 3.99. Let b = l + 1. Sort b, 2/11, 2 in decreasing order.
b, 2, 2/11
Let i = 186 + -2044/11. Sort 1, 26, i.
i, 1, 26
Let o be 176/(-70) + 3 + 10/(-35). Sort -4, o, -1, 1 in ascending order.
-4, -1, o, 1
Suppose -3*t - 2*t = 0. Suppose 2*j - l + t*l = -5, 5*l = 5*j + 5. Sort -5, j, 0.01 in increasing order.
-5, j, 0.01
Suppose -4*v = -6*v - 6. Put -11, -1, v in increasing order.
-11, v, -1
Suppose 0 = -3*v - 0 + 3. Let j be 3 + 0/(1 - 3). Sort v, 5, j in descending order.
5, j, v
Let d be (55/(-50))/11*(-15)/(-6). Sort -1, 4, d, 5/3 in ascending order.
-1, d, 5/3, 4
Suppose 4*x + 0*x = -20, 0 = -5*y - 3*x + 5. Let g be -1*5*(-2)/(-5). Suppose 0 = -3*l - l + 12. Sort g, l, y.
g, l, y
Suppose -m = h - 5*m + 5, -4*h + 10 = -m. Suppose 0*c + 2*c - 5*b + 20 = 0, 0 = -4*c - b - 18. Sort c, h, 2 in descending order.
h, 2, c
Suppose i - 7 = 5*d + 8, 0 = i + 5. Suppose -3*r = -4*a - 27 + 7, r + 3*a + 2 = 0. Put d, r, 1 in increasing order.
d, 1, r
Let g = -13 - -12. Suppose -v - 1 = -5. Put g, v, -4 in descending order.
v, g, -4
Let b be (1 - 2)/((-2)/(-6)). Let o be (b + -3)/(2/(-1)). Sort 4, o, 2 in descending order.
4, o, 2
Let m(w) = -4*w + 1. Let k be m(-1). Let y be (-16 + 21)/(-1 + 0) - 0. Sort k, 0, y in increasing order.
y, 0, k
Let q be 0 - 3*(-4)/(-30). Let d = -14.1 + 14. Let v = d + 1.1. Put 1/3, v, q in decreasing order.
v, 1/3, q
Let x = -5 + 6. Sort 5, -4, x.
-4, x, 5
Let l = -15 + 19. Let m be ((-1)/(-2) + 0)*0. Sort m, 3, l in decreasing order.
l, 3, m
Let u(r) = 1. Let f(y) = 7*y + 2. Let c(a) = -f(a) + 2*u(a). Let q be c(-1). Suppose -3*k - 1 + q = -4*d, -3*d = -5*k + 10. Sort 2, 3, d in ascending order.
d, 2, 3
Suppose 0 = 3*o - 2*o + 2*o. Put 4, 11, o, -3 in decreasing order.
11, 4, o, -3
Let x = 18 + -13. Let t = 10 - 14. Let z = -6 - -6.4. Sort z, x, t.
t, z, x
Let n = -4 + 4. Let t(w) = -w**3 + 2*w**2 + 9*w + 1. Let h be t(4). Sort -2, n, h in increasing order.
-2, n, h
Suppose 2 = -x + 3. Suppose r + x = -2. Sort r, 0.2, -0.1.
r, -0.1, 0.2
Suppose 2*z - 2 = -b, -4*b + 8 = 5*z - 2*z. Suppose -2*f - 5*h = 8, f - 2*h = 3*h + 11. Put f, 3, z in increasing order.
z, f, 3
Suppose 0 = 4*n + 2*i - 102, -4*n + i + 84 = -3*i. Suppose -5*d = -n - 36. Suppose 6*q + d = 2*q. Sort 4, -4, q in decreasing order.
4, q, -4
Let w(c) = c**3 - 10*c**2 - 2*c - 1. Let z be w(10). Let o be 130/(-238) - z/49. Sort 0, 3, o in decreasing order.
3, 0, o
Let a(h) = -h**2 + 13*h - 6. Let l be a(12). Let v be (6/52)/(l/(-16)). Sort v, 1/2, 0.3 in descending order.
1/2, 0.3, v
Let b = 4 - 1. Suppose -2*y - b + 7 = 0. Let s(d) = -4*d**3 + d + 1. Let z be s(-1). Put z, 5, y in descending order.
5, z, y
Let z be (-16)/10 + 3*(-2)/(-10). Put 5, z, 8 in descending order.
8, 5, z
Let j = 13 + -9. Put j, 2, -4 in decreasing order.
j, 2, -4
Let d = -1.95 - -2. Let m = -21 + 20.95. Let u = m - d. Sort 0, u, 3 in ascending order.
u, 0, 3
Suppose 0 = -5*a - 2*i + 58, 3*i + 8 = -a + 30. Suppose 5*u = -t - 2*t + a, 5*u = 5*t + 50. Suppose 0 = o + o + b - 1, -b + u = 0. Sort o, -4, -3.
-4, -3, o
Let i(y) = -y - 1. Let c be i(-8). Let a be c/2 - 2/4. Let h = -11 - -7. Sort 1, a, h in increasing order.
h, 1, a
Suppose 0*f = 3*f. Suppose 0 = -2*s - 2*s - 4*c - 12, -3*s - 25 = -5*c. Let m be s/((-15)/12) - f. Sort m, -3, -1 in ascending order.
-3, -1, m
Let a(q) = 2*q**3 + 10*q**2 + q + 3. Let k be a(-5). Let s be (1 - 2)/((-2)/(-6)). Sort 5, k, s in descending order.
5, k, s
Let k = -239/424 + 10/53. Sort 0.4, 10, k, 5 in descending order.
10, 5, 0.4, k
Let a = -11/7 + 29/14. Let i = 2 + -5/3. Suppose 2*p + 4 + 0 = 0. Sort p, a, i.
p, i, a
Let f(c) = -c**3 + 4*c**2 - 4*c + 3. Let g be f(3). Sort g, -3, 3 in descending order.
3, g, -3
Let u(h) = h**3 + 6*h**2 - 8*h - 5. Let y be u(-7). Let j be 6*(15/6)/(-5). Let p(i) = -i**2 + 5*i - 4. Let w be p(5). Sort w, j, y in decreasing order.
y, j, w
Let l be 2/9 + 88/(-720). Sort 1/3, l, 0.5 in descending order.
0.5, 1/3, l
Suppose -y + 5*h = -7, 2*h + h - 21 = -3*y. Let n be -2*(y/2 + -2). Sort n, -2, -1 in decreasing order.
-1, -2, n
Let v = -12 - -5. Let q = -7 - v. Let u be 0 + q + (1 - 3). Put 0, 2, u in increasing order.
u, 0, 2
Let m be 0/2 - 10/(-3) - 3. Put 2, m, -0.1 in decreasing order.
2, m, -0.1
Let s = 3.7 + -0.7. Put -0.4, 0.2, s in increasing order.
-0.4, 0.2, s
Let h = -8.5 + 7. Let t = h - 0.5. Sort 0, -3/5, t in decreasing order.
0, -3/5, t
Let s be (-40)/(-7) + 2/7. Suppose -s*g + g - 10 = 0. Put -4, g, 5 in decreasing order.
5, g, -4
Let u = -226/9 + 25. Suppose 3*k - 24 - 24 = 0. Suppose 0 = -3*v - 4*n + 29, 6*v + 2*n - k = 4*v. Sort v, u, -3.
-3, u, v
Let c = -9 - -5. Let g = 2.97 - -0.03. Let p = g - 2.6. Put p, c, 0 in ascending order.
c, 0, p
Let x = 1 + -2. Let u be -1*(-2 - (-1 + x)). Put u, 5, 0.01 in decreasing order.
5, 0.01, u
Let v = 204.93 - 207. Let y = v - -0.07. Sort 0.3, y, -3.
-3, y, 0.3
Suppose 4*l - 4*b + 16 = 0, 5*b - 12 + 2 = 0. Sort l, -1, 4.
l, -1, 4
Suppose 6*h = 3*h - 2*f + 5, 2*h + 5*f = -4. Suppose 3*z + 3*n = -h, 4*z + 7 = 4*n + 27. Sort z, 0, 1.
0, 1, z
Let p = 0.3 + -1.3. Sort p, 0.1, -1/4 in decreasing order.
0.1, -1/4, p
Let t be (-2)/3 - (-5)/(-15). Put -3, t, 6 in increasing order.
-3, t, 6
Suppose -p + 20 = 4*p. Suppose -4*k = -4*n, k - p*n + 5 = -1. Suppose -j + 5 = -k*j. Sort 4, j, 0 in decreasing order.
4, 0, j
Let l be 5/(30/(-4))*-225. Suppose p - l = 3*p. Let o = 372/5 + p. Put 3, -0.5, o in ascending order.
o, -0.5, 3
Let n = 2.765 + -0.065. Let y = n - 3. Sort y, 5, 3 in increasing order.
y, 3, 5
Let v(g) = 3 - 1 + g + 0. Let x be v(-5). Suppose -7 = -2*l - 7*j + 4*j, -j = -2*l + 11. Put x, -1, l in ascending order.
x, -1, l
Let f(z) = -z**3 + 4*z**2 + 2*z - 4. Let c be f(4). Suppose 12 = 2*b - c*b. Put b, -1, 3 in decreasing order.
3, -1, b
Let d be -1 + 7/(42/30). Sort d, -1, -3, 2.
-3, -1, 2, d