2 in descending order.
k, r, -1/2
Suppose -n - 8*n + 9 = 0. Let s(y) = y - 1. Let u be s(-4). Put 2, n, u in increasing order.
u, n, 2
Let u = 0.26 - 0.28. Let d = 5.02 + u. Sort 1/5, d, 3/5.
1/5, 3/5, d
Suppose -2*i + 160 = 3*i. Suppose 3*x - i = 2*v, 2*v - 2 = -3*x + 14. Let s = x - 7. Put -2/15, 0.5, s in decreasing order.
s, 0.5, -2/15
Let l = 2 - 0. Suppose -q - y = -2, -5*y + 20 = l*q + 4. Sort q, 5, -1 in decreasing order.
5, -1, q
Let h = 42 + -39. Let i = -55 - -80. Suppose -i = 7*n - 2*n. Sort n, h, 4 in ascending order.
n, h, 4
Suppose -2*k + 6 = s, -s + 3*k - 6 = 3. Suppose 3*r = 5 + 22. Let g = -6 + r. Put g, s, -1 in ascending order.
-1, s, g
Suppose -9 + 0 = 3*u. Let q be (-2)/(-2)*(1 - 0). Let t be q/4 + 9/(-4). Put u, 0, t in descending order.
0, t, u
Let a = 257/420 - 1/84. Let n(j) = j - 9. Let i be n(4). Sort i, a, 1 in descending order.
1, a, i
Let r be 35/20 + 2/8. Sort 4, -0.4, r in ascending order.
-0.4, r, 4
Suppose 2*b = -2*y - 6, 0*y = -y - 2*b - 7. Suppose y = -n - 4. Let s = n - -6. Sort 0.4, s, 2/9 in decreasing order.
s, 0.4, 2/9
Suppose -5*t = -0*t - 2*f - 22, 0 = 4*t - 5*f - 21. Put t, -5, 2 in decreasing order.
t, 2, -5
Let b = 5 + -5. Suppose 0*o = -o + 3*a + 1, -4*o - a + 17 = 0. Suppose b - o = -2*j. Sort j, 1, 5 in descending order.
5, j, 1
Suppose 3*r + 0*r = 2*j, 0 = -2*j + 5*r + 4. Sort j, -5, 0.1 in decreasing order.
0.1, j, -5
Let w be 4 + (18/(-5))/1. Sort -3, w, -4 in descending order.
w, -3, -4
Let b be ((-4)/6)/(8/36). Let o = 2 - b. Suppose -5*g - 3*p - o = 0, 0 = -2*g + g - p - 3. Put -5, 4, g in increasing order.
-5, g, 4
Let x = 0.4 + 3.6. Sort 0, 3/5, x.
0, 3/5, x
Let q = 0.22 + -2.22. Let u = -18 + 13. Let k = q - u. Put -3, 1, k in descending order.
k, 1, -3
Let o = -12.69 - 0.31. Let m = -8 - o. Let i be 10/(-15) + (-4)/30. Put m, i, -1 in decreasing order.
m, i, -1
Let y(l) = -l. Let i be y(3). Let s be (56/(-21))/((-4)/6). Sort s, -1, i.
i, -1, s
Let q = -17.1 + 17. Put 0.5, 3, q in descending order.
3, 0.5, q
Let t be 2 + -1 + (2 - -13). Let o be -4*(t/(-4))/40. Sort -0.5, 0.5, o.
-0.5, o, 0.5
Let w = 14 - 13. Let s = 0 - 6. Let p = s + 11. Put 4, w, p in ascending order.
w, 4, p
Let m(a) be the second derivative of -a**3/3 + 5*a**2/2 + 10*a. Let c be m(3). Suppose -2 = b + 4*q, -4*b = b + q + 10. Sort b, -3, c.
-3, b, c
Let v be 1*(-5)/(1 - 2). Suppose 3*q + v*g = -10, -1 = 5*q - 3*g - 7. Sort -3, -9, q in increasing order.
-9, -3, q
Let p = 0.02 - 4.02. Let w = -2.7 + -0.3. Let m = 3.1 + w. Put p, m, -2 in descending order.
m, -2, p
Let g = -27.8 - -28. Sort -1, 3, g.
-1, g, 3
Let m be -2 - (2 - (-2217)/(-576)). Let i = -1/64 + m. Sort i, 2/9, -0.3.
-0.3, i, 2/9
Let g = 30 - 31. Sort 1, 1/2, g, 5 in descending order.
5, 1, 1/2, g
Let i = -0.1 + 0.4. Let k(f) = -f**3 - 8*f**2 - 7*f - 2. Let h be k(-7). Sort h, i, 1/2 in decreasing order.
1/2, i, h
Let c = -2.04 - -0.04. Let k = c + 1.9. Sort k, 0, 1/6 in descending order.
1/6, 0, k
Let b = -1.95 + 2. Let t = b + 0.15. Put t, 2/7, 1/3 in increasing order.
t, 2/7, 1/3
Suppose -4*v + 10 = -2. Suppose -4*c + 21 = 5*l, 4*c - v*c = -4*l + 19. Let a be (6 + -5)*(1 + c). Sort a, -4, 0.4.
-4, a, 0.4
Let r = 5 - -1. Let d = 5 + -5.1. Put r, 3/7, d in descending order.
r, 3/7, d
Let x = -1.6 - -2. Let l be 5/(-2)*16/(-60). Put l, x, 0.5 in increasing order.
x, 0.5, l
Suppose -5*p - 3*h = -5, 2 = -5*p - h - 3. Sort p, -4, 4 in descending order.
4, p, -4
Let w(x) = -38*x**2 - 2*x + 3. Let t be w(2). Let k be -1 - 2 - t/54. Sort -5, k, -3.
-5, -3, k
Suppose 2*x = 2*o + 8, 0 = o - 0*o - 4*x + 19. Put o, -1, 7, -4 in increasing order.
-4, -1, o, 7
Let i = -150 - -148. Sort 19, -4, i in decreasing order.
19, i, -4
Suppose -13*k + 8*k = 10. Sort 6, k, 5, 1 in descending order.
6, 5, 1, k
Suppose 5*n - n + 14 = -2*c, 0 = -5*n + 3*c - 34. Suppose 4*i = -12, 0 = 2*g - 5*g + i + 3. Put 4, g, n in increasing order.
n, g, 4
Suppose -5*r + 4*r = 0. Let o(z) = z**3 - 4*z**2 + z + 1. Let b be o(4). Suppose -h - 16 = -b*h. Put r, h, 1 in decreasing order.
h, 1, r
Let o(m) = 2*m**2 - m - 11. Let z be o(-2). Suppose -5*d = -24 - 21. Suppose -4*b = -d*b - 10. Sort b, z, -3 in increasing order.
-3, b, z
Let i = -141/4 - -2969/84. Sort i, 4, 3, -2.
-2, i, 3, 4
Suppose -3*j - 1 = 2. Put -16, 5, j in decreasing order.
5, j, -16
Suppose 6*z - 12 = -r + z, -4*z = -3*r - 2. Put -5, -7, r in decreasing order.
r, -5, -7
Let n be 2*((-9)/(-6) - 1). Sort 0, 9, n in decreasing order.
9, n, 0
Let f be ((-2)/(-2))/((-10)/(-20)). Sort 0, -1, f in increasing order.
-1, 0, f
Let i = 108 + -112. Put i, -10, 2 in descending order.
2, i, -10
Let w = -8.7 + 13. Let h = w + -0.3. Let s = 8 - h. Put 2, -5, s in ascending order.
-5, 2, s
Suppose 1 = -s + 2. Let j(a) = a**2 + 7*a + 3. Let x be j(-7). Let p be (-12)/8*(-8)/x. Sort -2, s, p in decreasing order.
p, s, -2
Suppose -75 = 5*a - 10*a. Let u be (a/5)/(3/(-3)). Sort u, -2, 2.
u, -2, 2
Let d be 2/(-4)*10/1. Put d, 0, 4 in decreasing order.
4, 0, d
Let k = 5 + 0. Let f = k + -4.7. Put 0.5, f, 4 in decreasing order.
4, 0.5, f
Let i be 1*-2 + 2 + 36. Let a = -5 + i. Suppose j - 7 = -x - 0, 4*x = -5*j + a. Sort -2/5, -0.2, x in descending order.
x, -0.2, -2/5
Let s = 14 + -5. Let c be (-6)/s + 17/3. Let m = -2 - -6. Sort c, m, 0.
0, m, c
Let d be (-7)/((-14)/(-18)) + 4. Sort d, 5, -4 in increasing order.
d, -4, 5
Let b = 4184/3 - 1436. Suppose -36*k = -37*k - 41. Let j = k - b. Put -4, j, -2 in increasing order.
-4, -2, j
Let a = 259 - 169. Let i = a + -357/4. Sort 2/7, i, 2/9 in decreasing order.
i, 2/7, 2/9
Let p = 2.99 + 0.01. Let t be 1/(-2)*(-4)/18. Put t, -0.5, p in descending order.
p, t, -0.5
Let b = -2 + 9. Let m = 7.3 - b. Let n = -1.3 + m. Sort 2, n, 0.3.
n, 0.3, 2
Let x(j) = 2*j**3 - 4*j**2 + 2*j + 1. Let k be x(2). Let b = -7.3 - -2.3. Put b, k, -2/9 in increasing order.
b, -2/9, k
Let m = -0.06 + 0.46. Let k(v) = -v**3 - 2*v**2 + 5*v + 3. Let u be k(-3). Put m, -4, u in descending order.
m, u, -4
Suppose 0 = -3*t + 14 + 1. Let q = t + -3. Suppose -12 = -l - q*l. Sort l, -0.4, 0 in increasing order.
-0.4, 0, l
Let q = 82 + -575/7. Let h = -3/28 - -1/14. Let w = -9/28 - h. Sort q, w, 3 in ascending order.
w, q, 3
Let a = -2/457 - 24095/28791. Let b = 5/9 + a. Let p = -81 + 165/2. Sort p, 3, b.
b, p, 3
Suppose 6*i = i. Let w be 3 + 3 + -4 + i. Put -5, w, -3 in decreasing order.
w, -3, -5
Let p be (-2)/(-7) - (-255)/(-35). Let h = p + 8. Suppose -2 + 6 = -2*y. Sort -3, h, y in decreasing order.
h, y, -3
Let u = -1 + 0.8. Let n = -13.64 + -0.36. Let v = n - -19. Sort v, -0.4, u in ascending order.
-0.4, u, v
Let j be (-2)/6 - (-97)/3. Suppose -6 = -2*f + 3*t + 4, -3*f = 4*t - j. Let n be (-21)/(-28) - (-34)/f. Sort -1, n, -4 in increasing order.
-4, -1, n
Let y(j) = j**3 - 6*j**2 + 3*j + 8. Let m be y(5). Sort 1, m, 2.
m, 1, 2
Let t(s) = s**2 - 4*s + 2. Let q be t(4). Suppose b + 2*b - 9 = 0. Let x = b + -8. Sort x, q, 4.
x, q, 4
Suppose 8*w = 2*w. Put 0.5, w, -5, -2/5 in ascending order.
-5, -2/5, w, 0.5
Let j(u) = -u - 5*u**2 + 5*u**2 - 7*u**2 + 2 + 3*u**2. Let i be j(1). Suppose -6 + 2 = -2*r. Sort 1, r, i.
i, 1, r
Let x = -111 + 106. Put x, -13, 4, -3 in descending order.
4, -3, x, -13
Suppose 0*l + 2*l - 42 = 0. Suppose 5*a = 2*z - l, 3*a = -2*z - 4 - 15. Let y = z - 0. Put y, 2, 4 in ascending order.
y, 2, 4
Let r = -1.91 - -0.91. Sort r, -2, 0.3, 0.2 in ascending order.
-2, r, 0.2, 0.3
Let v = -2 - 3. Let q(o) = o + 7. Let f be q(-3). Sort v, f, 2 in ascending order.
v, 2, f
Let x(n) = n**3 + 6*n**2 + 6*n + 7. Let t be x(-5). Put -4, 1, t in increasing order.
-4, 1, t
Suppose 0 = 8*s - 5*s - 2*c - 8, -5*c - 9 = -2*s. Put s, 4, 0 in descending order.
4, s, 0
Let w(z) = -z**2 - 5*z + 1. Let y = 0 - 5. Let i be w(y). Let s = 26 - 25.6. Put i, s, -2 in decreasing order.
i, s, -2
Let x = 7 + -5. Let m = x + 3. Let h = -0.05 + -0.15. Sort m, 0.4, h.
h, 0.4, m
Let v(y) = 3*y**2 + 2*y + 3. Let d be v(-2). Let k = -7 + d. Sort k, 3, 1.
1, 3, k
Let q = -7 + 7. Sort 4, q, -5 in ascending order.
-5, q, 4
Let q(x) = -x - 5. Let d be q(-5). Suppose d*s = 2*s - 10. Sort -5, -3, s.
-5, -3, s
Let o be 32/18 - 8/(-36). Suppose -4*y = u + o + 5, -2*u = y. Suppose -3*c + u = -5*c + d, 2*d = 3*c + 2. Sort 1/3, c, -1/2 in descending order.