easing order.
f, r, c
Let n(s) = -s**2 + 7*s + 7. Let r be n(8). Suppose -z + 7 = -5*y + 4*y, 3*z - 5 = -y. Sort r, 5, z in descending order.
5, z, r
Let r = 27 + -9. Let s = -13.28 + 0.28. Let g = s + r. Sort -0.3, -1/3, g in ascending order.
-1/3, -0.3, g
Let m be (-3 + 7)/(1/2). Let w = 7 - m. Put w, -3, 4 in ascending order.
-3, w, 4
Let x(z) = z. Let b be x(-9). Let s = 9 + b. Sort -5, s, 4.
-5, s, 4
Let i(n) = -n**3 + 6*n**2 - 5*n + 3. Let f be i(5). Suppose -k - 6 - 1 = 2*h, f*h = -4*k - 8. Put h, -2, -3 in decreasing order.
-2, -3, h
Let f(v) = -2*v - 13. Let w be f(-6). Let t = -7 + 11. Sort 3, t, w.
w, 3, t
Let c(x) = 2*x**2 - 14*x - 1. Let q be c(7). Sort q, 1, 7 in decreasing order.
7, 1, q
Let k = 3 - 5. Let u(f) = 4*f - 41. Let p be u(11). Sort p, k, 2 in decreasing order.
p, 2, k
Suppose 3*c - 2*y + 14 = 0, -y + 0*y = -4. Sort 0, -4, -5, c in decreasing order.
0, c, -4, -5
Let c be 3/(-5) - (-6)/10. Suppose 3*k = 5*p - 0 + 13, -3*p = -k + 7. Sort c, k, 2 in descending order.
2, k, c
Let d = -4 + 4. Put -1, -3, d in decreasing order.
d, -1, -3
Let k = 0.41 - 0.11. Sort -2/5, 2, k in decreasing order.
2, k, -2/5
Let a = -15.8 - -15. Let i = 0.9 + a. Sort i, -0.4, 4.
-0.4, i, 4
Let q be (1/(-4))/(8/(-96)). Sort q, -5, -3 in decreasing order.
q, -3, -5
Let o = -10 - -14. Let n = 1 - o. Put 0, 2, n in increasing order.
n, 0, 2
Let c be 1*4/8*-6. Sort 3, c, 0.2 in increasing order.
c, 0.2, 3
Let j = -0.9 + 5.9. Let n be 1/(-3) - 2/(-6). Suppose -8*y + 4*y + 3*h = 8, n = -3*h + 12. Sort y, j, -2/7 in increasing order.
-2/7, y, j
Let k be (-4)/(-18) + 2/18. Let q be (-64)/78 - (-6)/9. Put k, q, 1/2 in increasing order.
q, k, 1/2
Let u = -15.8 + 13. Let z = 3 + u. Sort 5/4, z, 5 in descending order.
5, 5/4, z
Let q = -1.74 + 1.34. Sort -4, q, -0.14 in ascending order.
-4, q, -0.14
Let n = -3.24 + 0.14. Let i = 2 - 2.1. Let v = n - i. Put v, -3/4, -5 in increasing order.
-5, v, -3/4
Suppose 2*z + 2 + 8 = 0, -3*z = -n + 19. Put 5, n, 1, 0 in increasing order.
0, 1, n, 5
Let j(g) = -6*g - 5 - 6 + 5*g. Let s be j(-14). Put -4, 2, s in descending order.
s, 2, -4
Let f = -13.05 + 0.05. Let q = -18 - f. Let o = 9/17 - 61/51. Sort o, 1/2, q in ascending order.
q, o, 1/2
Suppose 0*k + 13 = g - 4*k, 4*k - 65 = -5*g. Suppose 0 = -3*q + n + 3*n - 17, 5*q + g = -n. Sort 3, q, -5.
-5, q, 3
Let s = -0.45 + 0.05. Let z = -627 - -630.01. Let r = 0.01 - z. Sort r, s, 0 in ascending order.
r, s, 0
Let i = -0.03 - -0.07. Let w = i + 0.26. Sort 0, 3, w in increasing order.
0, w, 3
Suppose o + 18 - 7 = 4*j, -3*o - 5 = -5*j. Suppose j = y + 3*y. Let r = -373 + 377. Sort r, -2, y in decreasing order.
r, y, -2
Let z = 87 - 91. Let j be 0 - ((-4)/(-3) - 2). Put j, z, -3 in decreasing order.
j, -3, z
Let y(g) = g. Let w be y(0). Suppose -2*q + 3*q - 2 = -2*z, q + 3*z - 4 = 0. Let p = q - -6. Put p, w, -2 in ascending order.
-2, w, p
Let k = 0.08 + -4.58. Let j = k + 5. Put 3, 0.04, j in decreasing order.
3, j, 0.04
Suppose 21*g - 20*g + 1 = 0. Put -2, g, 2/15 in descending order.
2/15, g, -2
Let x = 1 + -2. Let o(d) = -d - 5. Let a be o(-5). Let k be (a/(-2) - 0)/2. Put -2, k, x in decreasing order.
k, x, -2
Let l = -4613/13 + 355. Sort -5, -4, l in decreasing order.
l, -4, -5
Let d be 19 - (-3)/(-1 - 2). Let s be 1/3 - 96/d. Suppose 3*u = u + 8. Sort -3, u, s in decreasing order.
u, -3, s
Let p = 4 + -9. Let x = -173 - -1213/7. Sort p, 0, x in increasing order.
p, 0, x
Let j be ((-32)/(-3))/(2/36). Let u = j - 2494/13. Let z be 1/4 - 14/24. Sort z, 0, u in decreasing order.
u, 0, z
Let c(i) = -i**2 - 6*i - 5. Let j be c(-4). Sort -3, 0, j in ascending order.
-3, 0, j
Suppose -t - 835 = -2*h - 342, 5*t = 3*h - 722. Let x = 2239/9 - h. Put -0.2, -2/11, x in decreasing order.
-2/11, -0.2, x
Let u = -8 - -8. Sort 5, -2, u in descending order.
5, u, -2
Let g be (-1 - -1)/(2*1). Let a = 4 - 0. Sort -4, a, g in descending order.
a, g, -4
Let a = 23 + -13. Suppose 0 = 3*q - p + 11, -3*q + p + p - a = 0. Let b(w) = -w**2 + 4*w + 3. Let v be b(4). Sort q, -5, v.
-5, q, v
Let l(a) = -a - 17. Let w be l(-12). Put 0, 1, w in decreasing order.
1, 0, w
Let k be (1/(-2))/(2/(-211)). Let s(i) = -27*i + 1. Let q be s(2). Let n = q + k. Put n, -1/2, -4 in increasing order.
-4, -1/2, n
Let b = -0.9 - -0.6. Let q = -0.6 - b. Let j = -0.3 + 0.2. Put j, q, 4 in descending order.
4, j, q
Suppose -3*b - 5 = -2*k, -2*k + 7 = 8*b - 9*b. Sort -5, 1, -4, k in increasing order.
-5, -4, 1, k
Let i be (3 + 7)/(6/(-3)). Let o = -4 - i. Suppose 3*v - y = -10, -5*y + 8 = -2*v - 3*y. Put v, 5, o in decreasing order.
5, o, v
Let j = 33 - 32. Let w = -14 - -10. Put 5, w, j in descending order.
5, j, w
Suppose -t + 2*t - 5*x - 28 = 0, -5*t - 4*x - 5 = 0. Suppose -5*c + 13 = -2*i, i - 5*c = -t*i - 21. Sort -5, i, -1 in descending order.
-1, i, -5
Let t = -6 - -3. Let p = -3/23 + -63/46. Let k be (-10)/25*15/(-4). Sort k, t, p.
t, p, k
Let u(y) = y**2 - 7*y. Let o be u(7). Put 5, o, 9 in decreasing order.
9, 5, o
Let w(r) = r - 2. Let j be w(0). Let l be 0*((-10)/(-4) + -3). Sort j, l, -5.
-5, j, l
Suppose 0 + 6 = 3*w. Let o = w - 0. Sort -1, -2, o in descending order.
o, -1, -2
Let a = 76 + -77. Let u = 8 + -5. Let j = 461/3420 + -1/684. Put a, j, u in increasing order.
a, j, u
Let j = -11 - -16. Put -5, j, 2 in decreasing order.
j, 2, -5
Let f be (-1 + 2)/(2/3). Let d(i) = i + 8. Let p be d(-6). Let q be (p/(-7))/((-1)/7). Put -1, f, q in decreasing order.
q, f, -1
Let i be (-4)/(-3)*69/46. Sort -3, i, 5, 0 in descending order.
5, i, 0, -3
Suppose 4*o + 0*j - 74 = 2*j, -105 = -5*o + 5*j. Suppose 6*c - o = 2*p + 2*c, 0 = -4*p + 3*c - 12. Sort -2, 4, p in decreasing order.
4, p, -2
Suppose -3*t - 4*k = t + 4, 0 = -2*k + 2. Let n = -3 - -2. Put -2/5, t, n in descending order.
-2/5, n, t
Let a = 9 + -2. Suppose 2 + a = -3*r. Let p = 5 - 6. Sort r, p, -4.
-4, r, p
Let d(b) = -b**3 + 11*b**2 + 7*b + 6. Let m be d(10). Suppose -g + 67 = -3*r - 43, 0 = 5*r + 2*g + m. Let y be (-4)/14 + r/70. Sort y, 0.4, 1.
y, 0.4, 1
Let w(u) = 2*u**3 - 5*u**2 - 4. Let s be w(3). Let a be 10/(-8) - (-2)/(-8). Put s, a, -2 in increasing order.
-2, a, s
Suppose 6*y - 3*v + 22 = y, 2*y - 4*v = -20. Put y, 3, 5 in increasing order.
y, 3, 5
Let k be 9/3 - (-1238)/(-154). Let h = -34/7 - k. Sort 3, -0.5, h in ascending order.
-0.5, h, 3
Let y = 38 + -66. Let u be y/8 + (-3)/(-6). Let v(b) = -b**3 + 5*b**2 - 3*b - 1. Let j be v(4). Sort 1, u, j in ascending order.
u, 1, j
Let i = 10 - 5. Let b be i*(-2 - -4)/2. Let c be -3 - b/((-10)/12). Put -3, 2, c in decreasing order.
c, 2, -3
Let p = 1.04 + -1.2. Put 1, p, 0.2 in decreasing order.
1, 0.2, p
Suppose 5*y + 32 = s - 5*s, 4*y = -2*s - 22. Sort s, -4, -2 in descending order.
-2, s, -4
Suppose -5*m + 0*m = 25. Let d be (3/4)/(1/4). Suppose -8 = -x + w, -3*w + 1 = -d*x - 5*w. Put m, x, 4 in increasing order.
m, x, 4
Let y be 7 + 210/(-24) + (-1)/4. Put 5, 1, y, -4 in descending order.
5, 1, y, -4
Let d = -0.1 + 0.2. Let g = 0.056 + 2.844. Let v = d + g. Sort 0.3, v, -1/2 in ascending order.
-1/2, 0.3, v
Suppose 0*n = -2*n + 4. Suppose 0 = 2*z - n - 0. Suppose -24 = 5*v - 4. Sort 3, z, v.
v, z, 3
Let a(u) = -u**2 + 12. Let f be a(4). Put f, -3, 5 in descending order.
5, -3, f
Let w = -75 - -74. Let b = 1 - 1.2. Let u = -2.2 - b. Sort w, -0.2, u.
u, w, -0.2
Suppose 0 = -4*b + 20, 7*o - 2*o = -5*b + 95. Suppose -11 = p - o. Sort -1, p, 2 in increasing order.
-1, 2, p
Suppose 2*a + 15 = -a. Let m(b) = -b**2 + 3*b. Let n be m(2). Sort a, n, -7 in decreasing order.
n, a, -7
Suppose 3*v = -2*v - 10. Let i be 10/(-15) + 2 + v. Sort -1/6, -4, i in increasing order.
-4, i, -1/6
Let h(r) = -r**2 - 9*r - 15. Let a be h(-7). Sort 4, a, 1 in ascending order.
a, 1, 4
Suppose -2*l + 32 = -10*l. Put 2, l, -7, 4 in ascending order.
-7, l, 2, 4
Let i = 0.9 + -4.9. Let y = -3.8 + 4. Put -0.5, y, i in increasing order.
i, -0.5, y
Suppose r - x = -2*r + 30, 0 = 5*x. Let q be 0*(r/4 + -3). Suppose -3*s + 6 + 3 = q. Put s, 1, -1 in ascending order.
-1, 1, s
Let b = -22 - -10. Let d = 8 + b. Let z(f) = -3*f + 3. Let x be z(2). Sort x, 2, d in increasing order.
d, x, 2
Let l = -15 + 21. Let d = -2 + l. Let t be (-27)/(-30) + (-2)/d. Sort t, 2, 4 in decreasing order.
4, 2, t
Suppose p + 16*p + 1768 = 0. So