-5, n in descending order.
x, n, -5
Let z = -2.3 - -2.6. Sort 5, z, 0.2 in decreasing order.
5, z, 0.2
Let a(i) = 3*i - 17. Let f be a(4). Sort -2/11, -0.3, 1/5, f in descending order.
1/5, -2/11, -0.3, f
Suppose -12*s + 10*s + 2*n - 10 = 0, 4*s = -4*n + 4. Let u = -17 - -12. Sort -2/13, s, u.
u, s, -2/13
Suppose 0 = 4*k + 20, -k + 22 = 2*y - 5*k. Put 4, y, -5 in descending order.
4, y, -5
Let f(x) = -x**2 - 4*x - 5. Let z be f(-3). Sort z, 4, 1 in decreasing order.
4, 1, z
Let h = -5 + 7. Let g(p) = -p**3 - 6*p**2 - p + 16. Let l be g(-5). Put l, h, -2 in increasing order.
l, -2, h
Let y = -182 + 28. Let q = y - -59. Let u be ((-2)/5)/(q/(-25)). Sort u, 0, 0.5 in descending order.
0.5, 0, u
Suppose -4*s + 2 - 3 = -3*r, 2*r = -s + 8. Let o = 51 + -36. Let u be 1/(-3 + 42/o). Sort s, u, -1 in decreasing order.
s, -1, u
Let f = -6 - 0. Sort f, 3, 4 in decreasing order.
4, 3, f
Let f = -1.2 - -1. Let g = f + 0.2. Let u = -169.4 + 169. Sort g, u, -0.3 in descending order.
g, -0.3, u
Let i be (-16)/72 + 29/9. Suppose 5*p - 15 = 4*k, -i*p + 6*k - 4*k = -9. Suppose -3*a = -a - 8. Put 5, p, a in decreasing order.
5, a, p
Let k = 0.02 - 0.92. Let a = k - 2.1. Sort 2, a, -0.2 in descending order.
2, -0.2, a
Let m = 1 - 0. Let l be (4 + 2/(-2))*1. Let n = l - m. Sort n, 0, -1.
-1, 0, n
Let c(t) = -t**3 - 3*t**2 - 3*t - 2. Let g be c(-2). Let a = g + -2. Put -0.4, a, -0.1 in descending order.
-0.1, -0.4, a
Let q = -256/3 - -86. Sort 2/13, q, -2 in ascending order.
-2, 2/13, q
Let k = 4.235 - -0.065. Let r = k + 0.7. Sort 2/11, -3, r in increasing order.
-3, 2/11, r
Let i = -1.99 + -0.01. Let w be (3 - 2)/(6/4). Let j = -11 - -8. Sort w, j, i in decreasing order.
w, i, j
Suppose 1 = 2*w - 5*j - 0, -w = -4*j - 8. Put 0, w, -4 in decreasing order.
0, -4, w
Let o be (-2)/6 + (-2)/3. Let t be (-465)/2*o/6. Let n = t + -39. Put -0.3, n, 0.4 in decreasing order.
0.4, n, -0.3
Let u = 6 + -3. Sort 1, u, 5.
1, u, 5
Suppose 3*u + 4 = -w, -6*w + 2*w - 4*u + 8 = 0. Suppose -14 = -w*x + 16. Suppose 37 = 4*v + k - x*k, 0 = v + k + 2. Put v, -5, 4 in descending order.
4, v, -5
Let q be (-2)/6*-3 - -1. Suppose -3 - 41 = -4*k + 4*d, 0 = -3*d - 12. Suppose 0 = -k*y + q*y. Put 1, y, -2 in descending order.
1, y, -2
Let c be (0 - -2)/(-2) - (0 + 1). Put c, -4, 4, -3 in descending order.
4, c, -3, -4
Let z = -15 + 7. Let j = z + 14. Suppose 0 = -5*l + 26 - j. Put -2, -3, l in decreasing order.
l, -2, -3
Let k = 3 - 6. Let x = k + -1. Sort -2, 0.1, x in descending order.
0.1, -2, x
Let s = 4 - 2. Let g = -4.3 + 4. Let d be 0 + (21/(-9) - -2). Sort g, d, s in decreasing order.
s, g, d
Let q = 5.79 - -0.21. Put q, -2/11, 2/11 in increasing order.
-2/11, 2/11, q
Let a be (-8)/12 + (-4)/(-6). Suppose -5 = 2*n + 3. Put n, a, -2 in descending order.
a, -2, n
Let f = 1 - 1.1. Let q = 0.2 - 0.5. Let v = 0.099 - -0.001. Sort q, v, f in increasing order.
q, f, v
Suppose 3*h - 10 = -0*h + 2*d, 2*d + 10 = 4*h. Put -34, h, 4 in descending order.
4, h, -34
Let h = -1.7 + 1.5. Sort -4, h, 3/5 in decreasing order.
3/5, h, -4
Let j = 189 - 189. Let r = 1 + -5. Sort 1, j, r.
r, j, 1
Let k = 1 + -1. Let y = 10 + -8. Suppose -y*t - 3*t - 10 = k. Sort 0.3, 3, t in decreasing order.
3, 0.3, t
Let c be (-3)/(-15) - (-48)/(-5). Let m = -46/5 - c. Sort -2/3, m, 2/7 in increasing order.
-2/3, m, 2/7
Let x = -9.279 - 0.021. Let s = -9 - x. Sort -1/6, s, 0 in decreasing order.
s, 0, -1/6
Suppose 5*s = -20, -f - 2*s + 0*s - 3 = 0. Sort 0, f, 2 in ascending order.
0, 2, f
Let z = -26 - -21. Sort 2, 5, z in descending order.
5, 2, z
Let i = 2 + 1. Suppose 0 = -4*z, -i*j + 15 = -6*j + 4*z. Suppose 8 = 3*v - 5*v. Sort 1, v, j in ascending order.
j, v, 1
Suppose -8 = -5*o + m, -6 = -o + m - 2. Let t(q) be the third derivative of -q**4/12 + q**3/2 - 4*q**2. Let l be t(4). Put o, 0, l in increasing order.
l, 0, o
Suppose -3*q = -2*y + 5*y - 24, 4*q + 2*y = 24. Suppose -q*i = -0 + 16. Let g be ((-6)/(-20))/((-12)/16). Sort g, i, 1/3 in decreasing order.
1/3, g, i
Let d(l) = -l**3 - 5*l**2 + 7*l + 6. Let o be d(-6). Sort o, 2/25, 1/8, -5 in decreasing order.
1/8, 2/25, o, -5
Suppose -3*g + 2*g + 1 = 0. Let d(h) = h**3 + 6*h**2 - 7*h + 5. Let l be d(-7). Sort g, l, 3 in ascending order.
g, 3, l
Suppose 2*a = -0*a + 2. Suppose -3*x - 4*s = -s - 9, 0 = 4*s - 4. Suppose 0 + 4 = 2*q - 3*w, -5*q - 1 = -2*w. Sort x, q, a in increasing order.
q, a, x
Suppose 0 = -3*k + 4 + 2. Suppose 0 = -3*z - j + 3 - 10, j = k. Let p be (z/(-18))/(3/6). Sort 2, 0, p in decreasing order.
2, p, 0
Suppose 37*j = 35*j - 8. Put 1, j, -2 in increasing order.
j, -2, 1
Suppose -12*u = -6*u. Let j be 9/(-12) - 1/4. Let c = -3 - j. Put c, 3, u in descending order.
3, u, c
Let x(u) = -u**2 - 9*u - 5. Let t be x(-8). Let g be (-7)/(-6) - (-1)/(-6). Sort 4, g, t in decreasing order.
4, t, g
Let m be -2*(23/(-11) - -2). Let n = -43/6 + 15/2. Put m, n, 1 in decreasing order.
1, n, m
Suppose -19 = 3*y - 4. Sort 1, -3, y in descending order.
1, -3, y
Let p be ((-4376)/18)/4*1. Let u = 61 + p. Let w be (-320)/(-336) - 4/14. Sort u, 4, w.
u, w, 4
Let t(d) = -d + 17. Let m be t(16). Put -5, -2, m in descending order.
m, -2, -5
Let l be 10/(-6)*(8 - 2). Let m = l - -8. Suppose -3 + 6 = 4*r + q, 4*r - 5*q = -15. Sort m, r, -3 in ascending order.
-3, m, r
Let n = -26 - -53/2. Let x = -102.4 + 102. Sort -0.1, x, n in descending order.
n, -0.1, x
Suppose 4 = v, -4*a - 10 - 14 = 4*v. Let l = -6 - a. Sort l, -1/3, -4 in ascending order.
-4, -1/3, l
Let o = -5.913 - -0.013. Let m = o - -0.9. Put 1, 0.2, m in increasing order.
m, 0.2, 1
Let x = -6 + 6. Suppose -5*u = -x*u - 5. Sort u, -3, 3 in increasing order.
-3, u, 3
Suppose -4*q = 12, -5*f - 4*q - 28 + 1 = 0. Sort 2, f, -2 in increasing order.
f, -2, 2
Suppose -9 = 5*z + 11. Let h(f) = -5*f + f**3 + 6*f**2 + 0*f**3 - 1 - 3*f**2. Let u be h(z). Sort u, -1, 2 in descending order.
u, 2, -1
Let g = -3 + -1. Let s(u) be the third derivative of -u**6/120 - u**5/15 - u**4/12 - 2*u**3/3 + 2*u**2. Let p be s(g). Put 5, p, 3 in decreasing order.
5, p, 3
Suppose 3*t - 3 = 3. Suppose 7*x - 2*x - 35 = 0. Suppose -13 = 2*r - 4*r - 5*o, r = t*o - x. Put 1, 2, r in decreasing order.
2, 1, r
Let k = 6.5 + -10. Let x = 4 + k. Sort -1, 4, x in increasing order.
-1, x, 4
Let f be -5*1/(-4)*-4. Sort 1, f, -4.
f, -4, 1
Suppose -2*t = q - 7, 3*t - 2*t = 3*q. Let y = t + -5. Sort -3, y, 2 in ascending order.
-3, y, 2
Suppose -48 = -r - 3*r. Suppose -4*w + r = -q, -12 = -4*w + 4*q - 0. Suppose -2*h - w*h + 15 = 0. Sort 2, 0, h in increasing order.
0, 2, h
Suppose -2*w - 2*w + 16 = 0. Let n(u) = 0*u - 3*u + w*u - 4. Let s be n(8). Put -3, 1, s in descending order.
s, 1, -3
Suppose l + 9 = 3*l + 3*d, -3*d = -4*l - 9. Put 3, -4, -1, l in descending order.
3, l, -1, -4
Suppose -4 = 4*z - 6*z. Sort -2, 8, z in decreasing order.
8, z, -2
Let r = -333 + 6991/21. Let c = 0.2 + -0.3. Put -1/6, c, r in decreasing order.
r, c, -1/6
Let u = -2.5 - -2. Let l = u + 0.1. Sort l, 3, -4 in descending order.
3, l, -4
Let k(p) = 2*p - 8. Let c be k(7). Suppose 4*g = -l + c, 6 = -2*l - 5*g + 15. Put -3, l, 3 in descending order.
3, l, -3
Suppose 4*y - 1 = 7. Put 7, y, -2 in increasing order.
-2, y, 7
Suppose j + 2*q = -1, -4*j + 4*q - 4 = -0. Let o be j + (-2 - 15/(-3)). Put -3/5, o, -3 in increasing order.
-3, -3/5, o
Let r be 0 - 1*-4*1. Let g = r + -2. Suppose 2*w = -p - 2, 2*p + 6 = 5*w - 7. Put p, g, 3 in ascending order.
p, g, 3
Let c = 67 + -67. Sort c, -4/5, 2.
-4/5, c, 2
Suppose 6 = 4*s - 6*s. Sort s, -4, 17, -2 in descending order.
17, -2, s, -4
Let k = 3.8 + -0.8. Let n be (-4)/10 + (-3)/(-15). Let y = 0 - 5. Put n, k, y in decreasing order.
k, n, y
Let v = 6 - 6.5. Put 0, -10, v in ascending order.
-10, v, 0
Let n = -27 + 26.6. Put n, 2/5, 3 in ascending order.
n, 2/5, 3
Let p = 0.09 + -5.09. Let n = -6.26 + 0.56. Let h = -6 - n. Sort p, h, 5 in descending order.
5, h, p
Let k = -9.2 + 9. Let x = 9 + 7. Let m = x - 31/2. Sort k, m, -0.4 in descending order.
m, k, -0.4
Let t = 376/3 + -126. Let c = 0.36 - 0.06. Put c, -2/7, t in ascending order.
t, -2/7, c
Suppose 2*a - 2*j = 3*j - 10, j - 2 = -3*a. Put 9, a, 5 in descending order.
9, 5, a
Let d(a) = -18*a + 19. Let y be d(2). Put y, -2, 5, 2 in increasing order.
y, -2, 2, 5
Let k = 1.9 - -