ing order.
-4, c, -3/8
Let z = 0.06 + -3.06. Put 0.4, z, -0.4 in descending order.
0.4, -0.4, z
Let n = -111 + 110. Sort n, -2, 0 in decreasing order.
0, n, -2
Let b = -303/4 + 75. Put b, 0.5, -4/5 in increasing order.
-4/5, b, 0.5
Let q = 6 - 0. Let z = q - 3. Put z, 5, 4 in decreasing order.
5, 4, z
Let x(t) = t**3 + 4*t**2 - 4*t + 1. Let j be x(-5). Suppose 0 = -3*q + 4*q - 7. Suppose -3*p - 4 = 5*c, 5*c - 4*p = q + 10. Sort c, 2, j.
j, c, 2
Let u = 0.65 - 0.25. Put 1/12, 0.03, u, -0.3 in decreasing order.
u, 1/12, 0.03, -0.3
Let q be ((-81)/(-9))/(-1 + 0). Let m(a) = a**2 + 9*a + 5. Let r be m(q). Sort -2/11, r, -5/4 in decreasing order.
r, -2/11, -5/4
Let j be (2/4)/(5/(-10)). Sort 3, j, -5 in decreasing order.
3, j, -5
Let d = 2.01 - -0.29. Let o = 2.5 - d. Sort o, 0.5, 2 in increasing order.
o, 0.5, 2
Let h(y) = -y**3 + 8*y**2 - 10*y + 17. Let k be h(7). Sort 12, -3, k, 1.
k, -3, 1, 12
Suppose -2*l + 9 = -l. Let c be (l/(-15))/((-6)/8). Suppose -5*q - f = 16, -2*f - 2*f - 4 = 0. Put c, 5, q in ascending order.
q, c, 5
Let h = -82 - -73. Sort 1, -2, h in ascending order.
h, -2, 1
Let r = 0.69 + 4.01. Let a = 1.8 + r. Let d = 6 - a. Sort d, -5, 1/9 in decreasing order.
1/9, d, -5
Let q(g) = 2*g - 5. Let w be q(6). Let z(c) = -2*c + 9. Let m be z(w). Suppose -2*n + 4 = 3*u - 17, -2*u + 19 = 3*n. Sort m, u, 3.
m, 3, u
Suppose -8 + 0 = 2*y. Put y, 5, 2/13 in descending order.
5, 2/13, y
Let f = 0.04 - 3.04. Suppose -4*k + 55 = 5*c + 16, 5*k - 5*c = 15. Let a be 15/k*(-1 - -3). Sort -2/7, f, a in descending order.
a, -2/7, f
Let s be 810/22 - (-8)/44. Let v = s + -260/7. Sort 4/5, v, -4 in descending order.
4/5, v, -4
Let g = 3.33 - -0.07. Let z = g + 0.6. Sort 1, 3, z in decreasing order.
z, 3, 1
Let a be (-2 - -2)/2 - -6. Let z be (a/8)/((-2)/(-16)). Suppose 4*h - 5*o = z, -5 = -4*h + 4*o + 3. Sort 2, -1, h.
-1, 2, h
Suppose -5*x + 23 - 3 = p, -5*p - 2*x + 31 = 0. Suppose 6 = -a + p. Put a, -2, 1 in increasing order.
-2, a, 1
Let n(f) = -3*f**3 + 2*f**2 + 2*f + 1. Suppose 4 + 1 = -5*q. Let g be n(q). Let s(y) = -4*y**2 + y. Let r be s(1). Put g, r, -2 in increasing order.
r, -2, g
Let m be (-34 + 33)*(-1 - (-6 + 1)). Sort m, -5, -1, -8 in decreasing order.
-1, m, -5, -8
Let d = 54 + -56. Let x = 0 - 0. Sort 3, x, d in increasing order.
d, x, 3
Suppose 3*c + 1 - 16 = 0. Let n = -3 - -5. Suppose -n*q - 4 = -0*q. Put q, -4, c in decreasing order.
c, q, -4
Let d = 0 + 3. Let b(n) = n**3 - 6*n**2 + 5*n - 3. Let o be b(5). Sort o, d, -2 in descending order.
d, -2, o
Suppose -8 = l - 4*o - 3, -4*o = -8. Suppose -6 = 2*r - 2, -l*f = r - 16. Let p be (4/f)/(6/9). Sort p, -5, -2.
-5, -2, p
Suppose -t + 4*t - 6 = 0. Suppose 3*b + 7*f - t*f - 16 = 0, -f = -2*b - 11. Put b, -10, 0.4 in decreasing order.
0.4, b, -10
Let u = 8 - 10. Let m be -5 + 0 + (-2)/u. Sort m, -3, -1 in decreasing order.
-1, -3, m
Let t be 21/5 - 3/15. Suppose t*n + 4 = 6*n. Suppose -6*m + n*m - 5*j = 16, -m + 5*j + 21 = 0. Sort m, -5, -2 in decreasing order.
m, -2, -5
Let n = -9 + 20. Let p be (-4)/16 + n/(-4). Let r = -135 - -943/7. Sort p, r, 1/4 in descending order.
1/4, r, p
Let t = 73 + -94. Put t, -5, 2, -0.2 in descending order.
2, -0.2, -5, t
Let o = 43 - 18. Suppose -4*y = -5*m - o, 0*y - m - 5 = -2*y. Suppose r - 31 = -36. Sort r, y, 1.
r, y, 1
Let l = -0.02 - 0.38. Put l, -2, -1/4 in increasing order.
-2, l, -1/4
Let t be (-74)/62 + (6 - 5). Let r = t - -55/124. Put r, -5, 0.4 in descending order.
0.4, r, -5
Suppose -4 = 6*b - 4*b. Suppose s = -3*a + 11, 5*s = 3*a + s - 31. Let h be (2/3)/(2/12). Sort b, a, h in descending order.
a, h, b
Suppose y + 3*y = -5*a + 27, 18 = 2*a + 4*y. Sort -0.5, a, 0.1 in decreasing order.
a, 0.1, -0.5
Suppose 0 = -5*k + 2 + 18. Let u = k + -7. Let h be ((-6)/12)/((-2)/(-8)). Put u, h, -5 in decreasing order.
h, u, -5
Let w = 0.3 + -0.1. Let a = 14 - 3. Let v = 10.6 - a. Sort w, v, 5.
v, w, 5
Let b = 1/62 + 181/310. Sort -0.5, b, 0.5.
-0.5, 0.5, b
Suppose -j + 32 = 3*j + 5*w, -4*j + w = -8. Suppose 0 = -111*i + 113*i - 2. Put j, i, 5 in decreasing order.
5, j, i
Suppose -2*l = 121 - 113. Sort l, -1/9, 2/17 in increasing order.
l, -1/9, 2/17
Let q = 9 - 9. Put -1, 4, q in descending order.
4, q, -1
Let d = -17.02 + 17. Put 1, d, -1 in decreasing order.
1, d, -1
Let s be ((-4)/(-6))/(1/(9/(-6))). Let y be (1 + -6)*(0 - 1). Put y, -5, s in descending order.
y, s, -5
Let u = -0.36 - 0.04. Let z = 0.8 + u. Let d = -0.1 - -0.6. Sort z, -2/17, d.
-2/17, z, d
Let u be (-14)/63 + (-4)/(-18). Let h be 5/(-2)*(u + -2). Let m = 5 - 10. Sort m, 0, h in descending order.
h, 0, m
Let k = -42 + 45. Put 0.1, -5/13, -1, k in increasing order.
-1, -5/13, 0.1, k
Let x(z) = -z**3 - z - 5. Let j be x(0). Put j, 2/7, -0.12 in decreasing order.
2/7, -0.12, j
Let k(d) = -d**2 - 2*d - 1. Let z be k(-1). Let g = 0.3 - -0.2. Put g, -4, z in ascending order.
-4, z, g
Let h = 2984/11 - 271. Let p = 53/33 - h. Let v = -19 - -18.6. Put -0.5, v, p in decreasing order.
p, v, -0.5
Let k = 6 + -4. Suppose -6*f + k*f - 12 = 0. Let d = -0.1 - 0. Sort -3/4, d, f in decreasing order.
d, -3/4, f
Let y(c) = -c**3 - 6*c**2 - 4*c. Let r be y(-5). Sort r, 1, 3 in decreasing order.
3, 1, r
Suppose -5*u + 4*d = -17, d = 3*u - 4*d - 18. Suppose -5*l - 5 + 0 = 0. Suppose t - 2 = 3*b + 8, 8 = 3*t + 2*b. Sort t, u, l in descending order.
t, u, l
Let s be (-14)/49 - 3/((-21)/2). Put s, -10, 5 in increasing order.
-10, s, 5
Let y(i) = -i**2 - 3*i - 1. Let k be y(-4). Suppose -5*o + 3*s = s + 1, -9 = -o + 5*s. Sort k, o, -3.
k, -3, o
Let f be -25*1*6/(-30). Put 4, 7, -5, f in decreasing order.
7, f, 4, -5
Suppose -g + 16 = 4*y + 1, 30 = -5*g + y. Put 4/5, g, 0.3 in ascending order.
g, 0.3, 4/5
Let v = 30 + -21. Let s = -10 + v. Let z be -3 - (0 - s - 2). Sort -4, 4, z in ascending order.
-4, z, 4
Let t be (4 - 2) + 1 + 1. Suppose -s + t = 3*s. Put -2/11, 0, s in descending order.
s, 0, -2/11
Let y(n) = -2*n**3 + n**2 - 2*n - 2. Let r be y(-1). Let j = -1.1 + 0.8. Let i = 7 + -3. Sort i, j, r in decreasing order.
i, r, j
Let m = -37 - -52. Sort -3, 5, m in decreasing order.
m, 5, -3
Let k = -10125 - -1417559/140. Let d = -3/20 - k. Put 2, -0.5, d in increasing order.
d, -0.5, 2
Let y = -6 + 12. Let x be ((-16)/70)/(y/15). Sort x, -3, -2/11 in decreasing order.
-2/11, x, -3
Let k = 0.04 - 0.18. Let j = k + 8.14. Let u = 7.7 - j. Sort -2/21, 0.4, u in ascending order.
u, -2/21, 0.4
Let t = 24 + -13. Let s(c) = c - 12. Let i be s(t). Let h be -2 - 2*(i + 2). Put h, 2, 0 in descending order.
2, 0, h
Suppose -o + t - 2 = 0, -4*o = 3*t + 12 - 32. Suppose -6 + o = -d. Let w be (-46)/(-14) - (-2)/(-7). Put 5, d, w in decreasing order.
5, d, w
Suppose 3*g = 5*g. Suppose -1 = -3*a + 6*a + 2*d, -2 = d. Sort -3, a, g.
-3, g, a
Let p(a) = 2*a + 4. Let j be p(0). Suppose -5*d = -2*i + 2, -2*i - 5*d = -4*d + 10. Put 0.05, i, j in descending order.
j, 0.05, i
Let n = 2.1 - 2. Sort 8, 2/9, n in descending order.
8, 2/9, n
Let o = 102 - 105. Sort -2, -0.4, -0.2, o in decreasing order.
-0.2, -0.4, -2, o
Let w be (-5)/(20/6) - 5/10. Put -4, -0.2, w, -3 in ascending order.
-4, -3, w, -0.2
Let y = -24 + 23. Sort 0.06, 2/5, y.
y, 0.06, 2/5
Let d = -29 - -33. Sort 1, d, -4, -13 in descending order.
d, 1, -4, -13
Let k be 144/66 + (-4)/22. Let p be -10*(-2 - 1 - -4). Put p, k, 4 in descending order.
4, k, p
Let q(z) be the third derivative of -5/24*z**4 + 0 - 1/6*z**3 - 2*z**2 + 0*z - 1/60*z**5. Let g be q(-5). Sort 3, 2, g.
g, 2, 3
Let m = 54.7 - 55. Sort m, 0.4, -2/3, 5.
-2/3, m, 0.4, 5
Suppose -3*p - 144 = p. Let l be (-3)/p*16/(-6). Suppose -m - 3*i = -2*i + 2, m + 4 = -2*i. Sort m, l, -1 in decreasing order.
m, l, -1
Let f = -234 + 231. Let c = -6.4 + 6. Sort c, 2, f in decreasing order.
2, c, f
Let f(q) = q**2 - 3. Let a be f(0). Suppose -2*i + 0*i = 0. Suppose -3*g + 0*g + 6 = 0. Sort i, g, a.
a, i, g
Let o be -5*4/8*2. Let s be 12/18 + (-20)/3. Put -2/9, s, o in decreasing order.
-2/9, o, s
Suppose -3*g + 12 = -0*g. Sort -4, g, 3 in increasing order.
-4, 3, g
Let m = 38 + -21. Suppose -5*o - 7 + m = 0. Let g be (-1 - 1) + -2 + o. Sort 4, -1, g in descending order.
4, -1, g
Suppose -3*i - 3*b + 24 = -0*b, 3*b = 5*i. Sort 1, i, 0 in ascending order.
0, 1, i
Suppose -5*o - 15 = 2*q, -5*q - 29 = -0*q + 4*o. Le