5 in ascending order.
-5, v, 2
Let z = -72 + 73. Sort -9/5, z, 4, -0.5.
-9/5, -0.5, z, 4
Let x = -36 - -38. Suppose -d - 3 = -0*d. Sort d, x, -2 in increasing order.
d, -2, x
Let b = 23.5 - 24. Sort 0.4, 0.3, b in descending order.
0.4, 0.3, b
Let j be 7/3 + (-5)/15. Sort j, -7, 3 in descending order.
3, j, -7
Let y be (-1)/7 + 144/28. Let d(p) = -p**2 + 3*p + 6. Let z be d(y). Sort 0, z, 5.
z, 0, 5
Suppose 12 = 4*s - 0*d + d, 0 = -3*d + 12. Put 3, -1, s in descending order.
3, s, -1
Let x(d) be the third derivative of d**4/24 - 5*d**2. Let n be x(-6). Sort n, -2, 3.
n, -2, 3
Let r = 0.174 + 2.696. Let q = 0.17 - r. Let z = 0.3 - q. Sort z, -4, 0.2 in ascending order.
-4, 0.2, z
Let m be -2*(2 - 2/2). Let j = -6 - -11. Sort m, j, 1 in descending order.
j, 1, m
Let x = -0.36 + 0.76. Let r = -0.1 - -0.2. Sort -3/7, r, x.
-3/7, r, x
Let a(x) = -x**3 + 2*x**2 + 4. Let p be ((-1)/2)/(2/(-92)). Suppose 4*h - p = -y, -3*y + 3*h - 1 - 5 = 0. Let g be a(y). Sort 0, g, 3 in decreasing order.
3, 0, g
Let b = -18 + 17. Sort b, 1, 4 in descending order.
4, 1, b
Suppose 6*m - 36 = 2*m. Let l = m - 10. Sort l, -2, -4 in descending order.
l, -2, -4
Suppose -i + 6 + 2 = 0. Suppose -k = -3*k + i. Let o be 33/(-12) + (-1)/k. Sort o, 4, 2.
o, 2, 4
Let v = -10 - -5. Sort v, 1, 18 in decreasing order.
18, 1, v
Let v = 0.3 - 3.3. Let d = -4.281 - 0.019. Let i = -0.3 - d. Sort v, 2, i in descending order.
i, 2, v
Let a = -4/15 - -3/5. Let j = -28.3 + 28. Sort 2, a, j in descending order.
2, a, j
Suppose -5*c + 28 = -2. Put c, 5, 3 in ascending order.
3, 5, c
Let r = 117 + -153. Sort r, 2, -4 in decreasing order.
2, -4, r
Suppose 4*g + 6 = 2*z - 12, -15 = 4*g - 5*z. Put 2, g, 0.1 in increasing order.
g, 0.1, 2
Let r = -3 - -1. Let u be -1 - (-4)/3*1. Let b be (-10)/(-15) + 1 + -1. Sort b, r, u in increasing order.
r, u, b
Let a = 0.19 - 1.19. Put 1/3, -0.2, 0.4, a in ascending order.
a, -0.2, 1/3, 0.4
Let b be 1/(-6) + (-8)/6. Let x = -3 - -3.6. Let w = 3.6 - x. Put b, w, -5 in descending order.
w, b, -5
Let o be ((-16)/12)/(2/(-6)). Let k be 4/14 + (-4)/14. Sort k, o, 3 in descending order.
o, 3, k
Suppose 8*o - 4*o - 20 = 0. Suppose 2*f - 5 = 3*f + 4*y, f + 5 = 4*y. Put 4, f, o in decreasing order.
o, 4, f
Let v = 5 - 2. Let w = v + -3.4. Sort 4, 1, w in decreasing order.
4, 1, w
Let a = -1.11 - -1.41. Put -0.1, -3, 0, a in ascending order.
-3, -0.1, 0, a
Let y = -12.69 - 0.31. Let q = y - -13.2. Put 2/5, -2, q in ascending order.
-2, q, 2/5
Let u be (-3856)/5766 + 32/48. Let k = -280538311 + 1617583896433/5766. Let b = u + k. Sort -0.1, 2, b in decreasing order.
2, -0.1, b
Let k = 13 + -12. Sort k, 7, -4.
-4, k, 7
Let o = -6 - -12. Let l = -11 + o. Put l, 5, 8 in descending order.
8, 5, l
Let k = -9/76 + -1/152. Let l = 0.1 + -0.1. Sort k, l, 3.
k, l, 3
Suppose 0 = -26*v + 22*v + 8. Suppose -j = v*x + 8, -j - 2*x = -6*j + 20. Put 8, -3, j in ascending order.
-3, j, 8
Let d = -8 - -4. Let o be (4/3)/(1/6). Let v = d + o. Sort 2, v, 3 in decreasing order.
v, 3, 2
Let l(s) = -s - 3. Let d be l(-6). Suppose -6*c + 2*c - 28 = -v, -39 = -3*v + 3*c. Suppose -v*x - 10 = -6*x. Sort x, 5, d in increasing order.
x, d, 5
Let b = -21 - -33. Suppose 5*u = 2*u - b. Let c(r) = -r - 11. Let j be c(-11). Put j, u, -3 in descending order.
j, -3, u
Suppose -u - 3*w + 9 = -0*u, -u - 1 = w. Sort -4, u, 1 in ascending order.
u, -4, 1
Let f = 14 + -14.5. Put f, 0.3, -0.3 in descending order.
0.3, -0.3, f
Suppose 11*o = 16*o - 25. Sort 1, 0, o.
0, 1, o
Let j = -11 + 9. Suppose 5*i = -0*i + 5*c + 45, 0 = 4*i + 3*c - 1. Suppose i*l - 2 = 18. Put 0.05, j, l in ascending order.
j, 0.05, l
Let o = -5/7 + 4/35. Put 0.2, 3, o in decreasing order.
3, 0.2, o
Let x be (-14)/(-28)*(-20)/6*-3. Let f = -6 - -5.7. Let k = -0.4 - f. Sort k, x, 1 in descending order.
x, 1, k
Let c = 8 + -6. Suppose 3*o = -3*z + 6, o - 3*z = 6*o - 2. Sort o, 1/5, c.
o, 1/5, c
Let r be 6/(-195)*(-61)/2. Let y = 7/13 - r. Sort y, -2, -5 in decreasing order.
y, -2, -5
Let t = -1.847 - 0.153. Let r = 2 - 1. Let u = -0.1 + 0. Put r, t, u in descending order.
r, u, t
Suppose -2*g - 307 = 2*j - 73, 5*g = -3*j - 579. Let p be (-4)/6*g/4. Suppose -3*w + 4 + 10 = 4*i, -5*i - 3*w + p = 0. Sort -0.2, i, 0.5 in descending order.
i, 0.5, -0.2
Let x(d) = d**3 - 7*d**2 + d - 22. Let w(o) = -o**2 + 1. Let g(h) = 6*w(h) - x(h). Let v be g(0). Let u be 13/4 - 7/v. Put u, -3, 4 in increasing order.
-3, u, 4
Let x be (4/56*36)/((-2)/14). Sort x, -2, 0.
x, -2, 0
Let r = 124 - 126. Put -3, r, 6 in descending order.
6, r, -3
Let t = -1 + 1.13. Put t, -0.1, 0 in descending order.
t, 0, -0.1
Suppose 5*o - 29 = -2*y, 5*y = 4*o - 14 + 4. Sort y, 0.1, 4/9.
0.1, 4/9, y
Let l = -61 - -58. Put 2, 5, l in descending order.
5, 2, l
Let o = 10 + -7. Let y = -17 - -49/3. Put 0.5, y, o in decreasing order.
o, 0.5, y
Suppose -12*h = -3*h - 18. Put -2, h, -5, -4 in descending order.
h, -2, -4, -5
Let y = 5 - 6. Let i be 0/y - 18/6. Let f = 0.1 - 0.2. Sort i, f, 1/7 in descending order.
1/7, f, i
Let p = -13.07 - -0.07. Let v = p + 12.9. Let o = -0.4 + 0. Sort o, v, 0.2 in descending order.
0.2, v, o
Suppose -4*z + 4 = -2*z. Let d(k) = -5*k + 1. Let y be d(-4). Let n be 4/(-14) + (-57)/y. Sort n, 4, z in descending order.
4, z, n
Let c = 2.9 - 1.7. Let w = c + -4.2. Put -9, w, -3/7 in ascending order.
-9, w, -3/7
Let q = 2.2361 - -0.0339. Let r = -0.27 + q. Sort -0.2, r, -3/7.
-3/7, -0.2, r
Let l(g) = -2*g + 1. Let b be l(0). Put 0, b, 4 in descending order.
4, b, 0
Let s = -0.5 - 1.5. Put -8, -1, s in decreasing order.
-1, s, -8
Suppose -2 = -0*r - r + b, 2*b + 6 = 0. Let d = -4 - -8. Suppose 3*a - 3*n - n = -12, -d*n + 12 = 3*a. Sort -2, r, a in descending order.
a, r, -2
Let s(b) = -b**2 - 4*b + 2. Let y be s(-4). Let v be (1*y)/(16/(-24)). Suppose 0 = 2*i - 1 + 3. Sort v, -5, i in increasing order.
-5, v, i
Let r be (-4 - (-16)/5)*-5. Suppose -r*n - 16 = 4*b, -3*n + 2 = -2*b - 2*b. Sort b, -1, -3 in increasing order.
-3, b, -1
Let p be 49/65 - 2*15/50. Sort -1, 1, p.
-1, p, 1
Let y = 1.74 - 1.84. Put 7, -2/11, -2, y in increasing order.
-2, -2/11, y, 7
Let i(r) = r**2 - 7*r + 7. Let y be i(6). Put -5, -2, y in ascending order.
-5, -2, y
Let s(r) = 2*r**2 + 2*r + 2. Let w be s(-2). Sort w, 3, -5 in increasing order.
-5, 3, w
Suppose 0 = 3*s + 2*o + 2 - 4, 5*s = -5*o + 5. Sort 1/2, s, -3.
-3, s, 1/2
Let i = 9 + 47. Sort i, -1, 3.
-1, 3, i
Let r = 7 + -5. Sort -15, 1, r.
-15, 1, r
Suppose 0 = -2*y + 4*y - 2*u - 10, 0 = 3*u. Suppose -3 = -0*o + 3*o. Sort 3, y, o in ascending order.
o, 3, y
Suppose 0*b + 5*b - 25 = 0. Suppose 3*d = b + 1. Sort 0, d, 4 in decreasing order.
4, d, 0
Let j = -3 + 2. Suppose -u = 4*u. Suppose -3*p - 12 = u, -3*p = 2*n - 5*p - 16. Put j, -0.1, n in increasing order.
j, -0.1, n
Suppose 0 = l + 5*f - 4*f + 8, 2*l + 20 = -3*f. Sort l, -3, 0 in decreasing order.
0, -3, l
Let m = 7 + -3. Let q be 92/(-900) - 4/(-18). Let h = q + 2/25. Sort m, h, -2 in decreasing order.
m, h, -2
Let x = -14 - -10. Let j be (-7 - -4)*8/(-6). Sort x, -3, j in descending order.
j, -3, x
Suppose 2*n + 5*h - 9 = 2, 2*n + 2*h = 8. Suppose -n*o - o = -4. Let l = 3 + 2. Put 0, l, o in descending order.
l, o, 0
Suppose 2*o - 2 - 2 = 0. Let s be ((-2)/10)/(11/(-10)). Put s, 1, o in ascending order.
s, 1, o
Suppose -5*z + 12 = 27. Put 1, -2, 5, z in increasing order.
z, -2, 1, 5
Let a(n) be the first derivative of -n**3/3 - n**2 + 6*n + 2. Let v be a(-4). Sort 4, v, 0 in increasing order.
v, 0, 4
Suppose -3*n = 2*n - 40. Suppose n - 1 = o. Sort 0, o, 4.
0, 4, o
Let w = -1 - -1. Let a be -3*4/(-12) - -3*1. Let c be (0 + -4)*(-2)/(-4). Put w, a, c in decreasing order.
a, w, c
Let z(m) = -7 - 1 + 1 - 5*m**2 + m**3 - 5*m. Let w(o) = o**2 - 13*o + 6. Let r be w(13). Let a be z(r). Put a, -3, -4 in descending order.
a, -3, -4
Let f be 106/(-70) - -2 - 15/75. Put -2/27, f, 2/5 in increasing order.
-2/27, f, 2/5
Let q(r) = -r**2 + 4*r + 7. Let c be q(6). Let z = -2.5 - 1.5. Sort c, z, 0 in descending order.
0, z, c
Let d(z) = z**3 - z + 5. Let k be d(0). Suppose u = -k*m + 4, 3*u = m + 8*u - 20. Let f = -3 - m. Sort f, 2, -1 in decreasing order.
2, -1, f
Let m(u) = -u**3 - 8*u**2 + 8*u - 11. Let f be (-54)/4*10/15. Let p be m(f). Sort -0.3, 2/17, p in descending order.
2/