-4
Let a(x) = -4*x - 13. Let j be a(-13). Let k be (-169)/j + (-2)/3. Sort 4, k, 5 in decreasing order.
5, 4, k
Let s = 3.767 + 0.233. Sort -4.1, 3/2, s, -4 in increasing order.
-4.1, -4, 3/2, s
Let l = 134 - 145.9. Let r = 12 + l. Let n = r - 0.2. Put 0.5, n, -0.2 in decreasing order.
0.5, n, -0.2
Let h = -0.3 + -1.7. Let j = -10.4 + 10.76. Let k = 0.86 - j. Put h, k, -0.6 in descending order.
k, -0.6, h
Let c = 10 - 10.06. Let k = c - -0.13. Let l = 1.07 - k. Put l, -0.5, 0.1 in decreasing order.
l, 0.1, -0.5
Suppose -3*l + 12 = 2*k, -3*l - 13*k = -15*k - 12. Put l, 7, 1 in ascending order.
1, l, 7
Let d be (-48)/(-160) + (-43)/10. Sort d, -2/7, -0.3, 1 in descending order.
1, -2/7, -0.3, d
Suppose -2*f + 16 = -5*d + 5, 9 = -5*d + 3*f. Sort d, 19, 0.3 in descending order.
19, 0.3, d
Suppose 5*c = 4*r + 43, 3*c = 3*r + 10 + 23. Let o = 8 + r. Suppose -p - 5 = 0, 4*k - p - 3*p = 0. Put k, -2, o in decreasing order.
-2, o, k
Suppose 22*d - 12 = -34. Sort -5, -4/5, -14, d.
-14, -5, d, -4/5
Suppose 2*n = 3*y + 2*y - 30, y + 3*n + 11 = 0. Suppose -2*i + 3*w - 4*w = 2, -y*i + 5*w + 24 = 0. Put i, 0.15, -0.1 in increasing order.
-0.1, 0.15, i
Let n = -1536 - -1534. Sort 4, n, -5, -0.013 in increasing order.
-5, n, -0.013, 4
Suppose 0 = -7*j - 2 - 26. Let m = 1 - j. Sort m, 0, -3.
-3, 0, m
Let z be (-1)/6 + (-25)/(-6). Let l = 24 - 29. Put z, 0, l in descending order.
z, 0, l
Let z = 105.95 - 11.75. Let q = 94 - z. Sort q, 4, 0, 3.
q, 0, 3, 4
Let z = 0 - 2. Let x be (-2808)/546 - 2/(-14). Put -1, z, x in decreasing order.
-1, z, x
Let f(q) be the third derivative of -q**6/120 - 4*q**5/15 + q**4/24 + 8*q**3/3 + 3*q**2. Let t be f(-16). Let o = -3 - -7. Sort o, t, 1 in decreasing order.
o, 1, t
Let r = 393 + -388. Sort r, 4, 33, -5.
-5, 4, r, 33
Let i = -15566/7 + 2224. Put i, -27, 2.2 in decreasing order.
2.2, i, -27
Let g be (3 + 15/(-4))/((-63)/56). Let p be (-2)/3 - (-46)/6. Sort g, -0.1, p, -1 in descending order.
p, g, -0.1, -1
Let h = 305 + -310. Let s = -0.02 - -0.42. Let f = s - 0.43. Put f, h, -0.3 in increasing order.
h, -0.3, f
Let a = 38/29 + -579/464. Sort a, -5, 1/4 in descending order.
1/4, a, -5
Let k be (-6)/(-63) + -447*(-7)/(-441). Sort 4, k, 13 in descending order.
13, 4, k
Let f = 333.1 - 333. Sort -3/2, -0.3, f.
-3/2, -0.3, f
Suppose 0 = 63*d - 68*d - 5. Put 2, -2, 5, d in descending order.
5, 2, d, -2
Let v be (-4)/14 + 16/7. Suppose v*q = 3*q + 5*q. Let u = 15 - 10. Sort q, u, 6.
q, u, 6
Let d = 2.45 - 2.4. Let v = d - 0.25. Sort -0.3, v, -5.
-5, -0.3, v
Suppose -61*v + 69*v - 32 = 0. Let q = 8 + -6. Put 6, -4, q, v in decreasing order.
6, v, q, -4
Let b = 12 - -2. Let n = b - 14. Let k = n + 5. Sort -3, -2/5, k.
-3, -2/5, k
Let f = 0.243 - 0.343. Put 0, f, 66 in ascending order.
f, 0, 66
Let h = 16/33 + -79/231. Sort h, 1, 18, 4 in increasing order.
h, 1, 4, 18
Let y be (-6)/(-24) - 46/56. Put y, 1, -4/11, 3 in descending order.
3, 1, -4/11, y
Suppose 10*r - 13*r - 5*f - 1430 = 0, 0 = 5*f - 25. Sort -0.3, r, 5, -2 in descending order.
5, -0.3, -2, r
Let z = -759 + 756. Let p = -0.11 - -0.01. Put -1, z, 1, p in ascending order.
z, -1, p, 1
Suppose t - 20 = -30. Let r(k) = -k**3 - 3*k**2 - k + 1. Let s be r(-2). Put 3, s, t in decreasing order.
3, s, t
Let o(c) = c + 9. Let b be o(-14). Let t(x) = 2*x + 4. Let p be t(b). Let k = 1 - 2. Sort k, p, -3 in descending order.
k, -3, p
Let o be 4/14 + 930/(-1050). Sort o, 0, 10, 4 in ascending order.
o, 0, 4, 10
Let i = 2.5 - 2. Suppose 5*r + 0 - 5 = 0, -2*d - 2 = -4*r. Suppose -4 = 5*z + d. Sort z, i, -3/7 in descending order.
i, -3/7, z
Let y = -464 + 463.98. Sort -2/19, -2, y, -0.09 in descending order.
y, -0.09, -2/19, -2
Let x = 64 + -64. Let f be (2/6)/((-2)/(-12)). Suppose 2*n + 0*n + 5*q + 1 = 0, n - f*q = -5. Sort x, n, -1.
n, -1, x
Let m be (-2)/(5*(-26)/(-10)). Sort m, -0.08, -3, 3/4.
-3, m, -0.08, 3/4
Let r = 5708/8571 - -2/2857. Let w = 0.6 + 1.4. Let u = -1 + w. Sort r, 0, u in decreasing order.
u, r, 0
Let c = -429 + 433. Suppose 8 + 8 = 4*y - 4*j, -3*j - 12 = 2*y. Put -11, c, -3, y in descending order.
c, y, -3, -11
Let r = -41.6 + 41.9. Let v = -2045/2637 + -2/879. Let s = v + 76/63. Sort r, s, 5 in ascending order.
r, s, 5
Let j = 3.04 - 0.04. Suppose -206*a + 193*a - 39 = 0. Let y = 0 - 1. Put y, j, a in decreasing order.
j, y, a
Let i be 0 + 3 - (2 + 2). Let w be 1/i*(-2 - -1). Put 0, -1, w in descending order.
w, 0, -1
Suppose 3*a = 30*a - 54. Sort -0.4, 8, -1/2, a in descending order.
8, a, -0.4, -1/2
Let s = -218 + 220. Suppose 5*z - 19 = 1. Put z, -5, -4, s in descending order.
z, s, -4, -5
Let f = 1021 + -1016. Put -10, -23, f in ascending order.
-23, -10, f
Suppose -621 = -36*c + 495. Sort -1, 0, c in ascending order.
-1, 0, c
Let i = 0.02 - -0.28. Let t = -767.2 + 767. Put i, t, 4 in decreasing order.
4, i, t
Suppose -4 = a - 2*z, -3*a + 4*z - 9 = -z. Suppose -3*p = 3*l - 3, -2*l - 4*p = 1 - 11. Sort -2, a, l, 0 in descending order.
a, 0, -2, l
Suppose 0*w = -2*w. Suppose 0 = -w*o + o - 4*n - 16, n + 17 = -3*o. Suppose 9 = 4*x - 3*x + 3*h, -h = -4. Sort o, 4, x in decreasing order.
4, x, o
Let o = -1695 + 1696. Suppose -u + 7*w - 3*w = -7, 5*u + 4*w = -37. Put u, o, 4 in descending order.
4, o, u
Suppose 0 = p + 2*u - 6, 14*u = 5*p + 9*u + 45. Let o be (-24)/(3/3 - 2). Sort p, 3, o in descending order.
o, 3, p
Let h = -498 + 502. Sort -7, -19, h in decreasing order.
h, -7, -19
Suppose -74*f = -85*f. Suppose -w + 5*u + 28 = 0, 60 = 3*w - 4*u + u. Put f, -2, w, 3 in decreasing order.
w, 3, f, -2
Suppose 5*t = 3*i + 5, 3*i - i + 2 = 3*t. Put -1, t, -233 in descending order.
t, -1, -233
Let v be 12/((-3)/(-1))*2. Suppose -7 - v = -5*z. Put -2, z, -7 in decreasing order.
z, -2, -7
Suppose 4*f - 3*h = 7*f - 6, -2*f - 26 = -4*h. Let r(t) = -4*t - 20. Let i be r(-6). Sort i, 5, f.
f, i, 5
Suppose -14*k - 21*k = 175. Sort k, 4, 12, -1/5.
k, -1/5, 4, 12
Let r be (((-35)/(-45))/(-7))/((-9)/27). Sort 2/19, -8/9, -0.4, r in ascending order.
-8/9, -0.4, 2/19, r
Let n(a) = a**2 - 10*a + 3. Let h be n(9). Let u = h - -43/7. Put -0.1, 3, u in decreasing order.
3, u, -0.1
Let q(y) = -y**3 - 3*y**2 + 4*y + 2. Let o be q(-4). Let s be (-2 + o)*(-1)/(-2). Suppose -n + 2 + s = 0. Put -3, n, -2 in ascending order.
-3, -2, n
Let l = -29/4 - -7. Let j = -0.463308 + -0.036692. Sort 2, l, j in descending order.
2, l, j
Let r = 0.78 + 8.22. Sort -0.3, 1/5, -2, r in ascending order.
-2, -0.3, 1/5, r
Let k be ((-6)/4 + 1)*-68. Suppose 0 = -9*u + k + 11. Let l = 34 + -65/2. Sort -1/2, u, l in descending order.
u, l, -1/2
Let z = -543 - -548. Sort z, -2, 44.
-2, z, 44
Suppose -2*c = 5*f + 18, -3*f + 10 - 17 = 5*c. Sort -1, f, 4, 5 in descending order.
5, 4, -1, f
Let g = -45 + 103. Let y = g + -43. Sort 5, 2, 0, y in increasing order.
0, 2, 5, y
Suppose -3*p - 57 = 3*u, 5*u + 45 = 2*p - 71. Put -3, u, 0 in increasing order.
u, -3, 0
Let f(b) = -3*b**3 - 12*b**2 - 3*b - 8. Let x be f(-4). Suppose -3*l + 11 + 21 = -5*j, -2*l = j - x. Put -1, 3, l, -2 in increasing order.
-2, -1, 3, l
Let y = 51 - 661/13. Let a = -20 + 23.4. Let g = -3.6 + a. Sort g, y, 4.
g, y, 4
Suppose 0 = -3*w + b - 5, 0 = w - 2*b - b - 1. Suppose 25 = -j - 4*j. Sort j, 0, 1, w.
j, w, 0, 1
Suppose 12 = k - 3*q, 5*k + 4*q - 3*q = 12. Put k, 2, -2 in descending order.
k, 2, -2
Let t = -3.2 - -6.3. Let v = -3.1 + t. Sort -0.5, v, -0.1 in descending order.
v, -0.1, -0.5
Let v = -1.14 - -3.14. Let x be 1*(3 - (-21)/(-12)). Put 3, v, x in decreasing order.
3, v, x
Let u = -14 + 24. Suppose 14*i = 9*i + u. Sort i, -12, -2 in ascending order.
-12, -2, i
Let f be 418/(-44) + (-3)/(-6). Sort -1, f, 3, 1.
f, -1, 1, 3
Let h = -12 + 11.89. Let v = 59.01 + -55.9. Let d = h + v. Sort -0.3, 4, d in decreasing order.
4, d, -0.3
Let f = 14.5 + -15. Let v = 1.5 - f. Sort -3, v, 4/9.
-3, 4/9, v
Let b(o) be the first derivative of -o**2 - 13*o - 11. Let u be b(-9). Put 1, u, -2 in descending order.
u, 1, -2
Let k = 214 + -118. Suppose 2*t - 4*g = -t + 281, -g = t - k. Let m = 1233/13 - t. Put 0.5, m, 6 in ascending order.
m, 0.5, 6
Let f(o) = -o - 25. Let h be f(-17). Let a(y) = y**3 + 7*y**2 - 11*y - 20. Let q be a(h). Sort q, -2/15, 0 in ascending order.
-2/15, 0, q
Suppose 4*z + 22 = -2*o, -5*o = 3*z - 7*o + 13. Sort 6, z, 3 in decreas