et t = -0.115 + -0.285. Sort t, -0.5, 0.22.
-0.5, t, 0.22
Let d(u) = -u**3 - 4*u**2 - 3*u - 6. Let s be d(-4). Suppose -h - h + s = 0. Put h, 4, -2 in descending order.
4, h, -2
Let g = 3 - 19. Let l = -18 - g. Sort -1.5, -2/3, l.
l, -1.5, -2/3
Let b be 0/(0 + 2/1). Let z = -1 - -1. Suppose 2*y - 10 = -z*y. Sort b, y, 2 in decreasing order.
y, 2, b
Suppose -19*z + 16*z = -3. Sort -1, z, 4 in decreasing order.
4, z, -1
Let s = -12 + 11.7. Sort -0.4, -2/9, s in decreasing order.
-2/9, s, -0.4
Let o(a) = a**3 + 6*a**2 - 8*a - 5. Let h be o(-7). Let c(s) = -2*s + 7. Let k be c(5). Put k, 4, h in descending order.
4, h, k
Let u = 1456/3 + -523. Let y = 38 + u. Sort 2, y, 0.3.
0.3, y, 2
Let i(j) = -j**2 + 10*j - 13. Let u be i(6). Sort 3, u, -5.
-5, 3, u
Suppose 0*w = -5*w - 25. Put -4, 3, w in decreasing order.
3, -4, w
Let z be 6/(-10) + (-11)/((-220)/(-8)). Sort z, -3, -9 in descending order.
z, -3, -9
Let h(x) = -x**3 + 13*x**2 - 12*x + 3. Let c be h(12). Sort c, 5, 4.
c, 4, 5
Suppose 3*t - 2 - 13 = 0. Suppose -d = t*x - 17, x - 4 = -d + 1. Suppose 20 = -2*s - x*w, -w = -2*s - 5 + 1. Put 0.3, -0.1, s in decreasing order.
0.3, -0.1, s
Let c = -1/128 + 267/1408. Sort c, -0.3, -0.1 in decreasing order.
c, -0.1, -0.3
Let v = 0.1 - 0.1. Let w = -3.9 + 4. Let i = v + w. Sort i, -2/11, -2 in descending order.
i, -2/11, -2
Let o be (-2)/(-7)*22/12. Let d = -6/7 + o. Put d, -3/5, -2/7 in descending order.
-2/7, d, -3/5
Let s(d) = -2 - 2*d + 4 + 2 + 3*d. Let x be s(-7). Sort 2, -5, x.
-5, x, 2
Let n = -0.032 + -0.028. Sort 1, -3, n, -2/9 in descending order.
1, n, -2/9, -3
Let o = -41 + 43. Put o, -1.6, -2/5 in ascending order.
-1.6, -2/5, o
Suppose 3 = -4*v - 1. Put -3, -10, v in decreasing order.
v, -3, -10
Let m = 8 - 7.7. Let t be 22/(-6) + 2/3. Sort m, -0.4, t in ascending order.
t, -0.4, m
Suppose l - 3*m + 14 = 0, l - 4*m + 15 + 4 = 0. Put l, -2, 5 in decreasing order.
5, l, -2
Suppose 3 = -2*b - 3. Let i(k) = -k**3 - 2*k**2 + 5*k + 3. Let z be i(b). Sort z, -5, 5.
-5, z, 5
Suppose 27 = 8*n + n. Put -4, 1, n in ascending order.
-4, 1, n
Let z = 14 + -14. Suppose 4*m + 10 = -2*w, z*w = -2*w - 5*m - 11. Sort -4, 1, w.
-4, w, 1
Let z = -21 - -19. Let v be 9/z - (0 - 4). Sort 2/7, -0.04, v in increasing order.
v, -0.04, 2/7
Let t = 0.07 + -0.13. Let u = -0.94 + t. Put 0.5, 0, u in decreasing order.
0.5, 0, u
Let f(b) = -b**3 - 6*b**2 + 15*b - 10. Let a be f(-8). Put -1, 1, 43, a in ascending order.
a, -1, 1, 43
Let d be (-56)/42*6/(-16). Let x = -2 + 2. Let i = x - -0.2. Put i, d, 4 in descending order.
4, d, i
Let t be 2/(-8) + 3/60. Let j = 1.08 - 0.08. Sort t, j, -2/3.
-2/3, t, j
Let o be (-3 - 30/(-9))*6. Let k be 1/(-2*o/12). Sort -1, k, 2/7 in increasing order.
k, -1, 2/7
Let z = -35 - -30. Sort -1, z, 5, -2 in descending order.
5, -1, -2, z
Let u = -15.5 + -0.3. Let i = 16 + u. Sort 0, i, 1/2 in descending order.
1/2, i, 0
Suppose 5*s = -2*w - 27, 11*w - 7*w = 4*s + 16. Put -15, 3, 1, w in ascending order.
-15, w, 1, 3
Suppose 5 + 0 = 5*d. Let o be -3*(-10)/(d + -2). Let y be -1*(-3)/o*-2. Put y, 3/8, 5/3 in decreasing order.
5/3, 3/8, y
Suppose -1 = 3*l - 7. Put -0.5, l, 2/7 in decreasing order.
l, 2/7, -0.5
Let q = 79 - 86. Sort 5, 1, q, 4.
q, 1, 4, 5
Let f = -6/25 + -4/25. Let w be 20/(-15) - -1 - (-1)/21. Put -2, f, w in ascending order.
-2, f, w
Let l be ((-1)/2)/(9/126). Sort 3, l, 2, -2 in decreasing order.
3, 2, -2, l
Let h = 223 + -2901/13. Let n(a) = -a + 4. Let i be n(3). Sort 3, h, i in decreasing order.
3, i, h
Let o = -3 - -6. Let x be (-2 - -1)/(o/12). Sort -3, 0, x in decreasing order.
0, -3, x
Let b be (-1)/(-3)*-3 + -1 + -3. Put -3, 11, b, 4 in ascending order.
b, -3, 4, 11
Suppose i + 2 + 3 = 0. Put i, 2, 1 in descending order.
2, 1, i
Let n(v) = v**3 - 14*v**2 + 14*v - 17. Let h be n(13). Sort -5, h, 5 in increasing order.
-5, h, 5
Suppose 4*r + 4*q - 45 = -r, 0 = -4*r + q + 15. Suppose 3*v + 3*a - 12 = 0, -v + 0 = 2*a - r. Sort 4, v, -2.
-2, v, 4
Let c = -7 + 2. Let z = 80 + -397/5. Sort c, z, 0.4 in ascending order.
c, 0.4, z
Suppose 3 = -2*c + 9. Let f = 0 - -1. Put c, 0, f in ascending order.
0, f, c
Let i(q) = -q**2 - 6*q - 4. Let f be i(-6). Sort f, 1, -5.
-5, f, 1
Suppose -4*x = 2*s + 2, 5 - 12 = 2*x + 3*s. Let w(b) = -b - 4. Let h be w(-3). Let l = 5 + -2. Sort l, h, x.
h, x, l
Let d(g) = g**3 - 8*g**2 + 8*g - 5. Let h be d(7). Suppose -h*r - 3 = -5*q, q - 2*q = -r. Put q, -1, 2 in descending order.
2, q, -1
Let a = -0.04 + 2.04. Let w be ((-4)/6)/(170/(-51)). Sort a, 1/9, w.
1/9, w, a
Let t(z) = -z + 3. Let r(x) = 2*x - 8. Let j(h) = 4*r(h) + 11*t(h). Let w be j(-1). Put 0, w, 0.2 in decreasing order.
w, 0.2, 0
Let x be 0/((1 - 3)*1). Let z = 21 + -16. Put 3, z, x in decreasing order.
z, 3, x
Let l = 17 - 16.95. Let d = l + 0.05. Put 3, 7, d in descending order.
7, 3, d
Let q be (-6)/3 - (-4394)/1792. Let f = -281213/128 - -2197. Let x = f - q. Sort x, 1, -2/3 in descending order.
1, x, -2/3
Let h = 20 - 19.5. Let c = 0.1 - 0.15. Let k = 2.05 + c. Sort k, 5, h in increasing order.
h, k, 5
Let j be (-5)/(0 - 3/9). Suppose k - 10 = 5*i + 11, -3*i - j = 0. Let c = -3.5 + 3. Put c, -0.1, k in decreasing order.
-0.1, c, k
Let b(g) be the third derivative of -1/6*g**4 + g**2 + 1/6*g**3 + 0*g + 0. Let r be b(1). Put 2, r, 3 in increasing order.
r, 2, 3
Let p(m) = -m**2 - 33*m - 4. Let n be p(-33). Put -8, 4, n in increasing order.
-8, n, 4
Let a = -0.3 - 0.2. Let b = 12 + -12. Let g = b - a. Put 0.3, g, 3/7 in descending order.
g, 3/7, 0.3
Let x(s) = -s + s - s - 6 + 2*s. Let u be x(6). Put 5, -3, u in increasing order.
-3, u, 5
Let i = 0 - 0.2. Suppose -2 = -10*n + 9*n. Let v = 1.5 - 2. Put i, v, n in ascending order.
v, i, n
Suppose 2*v + 2*q - q - 13 = 0, -3*v + 4*q - 8 = 0. Let u = -4 + v. Put u, 2, 3 in ascending order.
u, 2, 3
Let i = 0.753 - 0.013. Let n = i - 0.04. Let u = -0.2 + n. Sort 2/7, 1, u in decreasing order.
1, u, 2/7
Let q(s) = -s + 18. Let f be q(16). Put f, -2, -4 in descending order.
f, -2, -4
Let a(r) be the third derivative of r**6/120 - r**5/60 - r**4/24 - r**3/6 - 3*r**2. Let l be a(-1). Put 5, -3, l in ascending order.
-3, l, 5
Let c = 1 - 0. Put -2, c, 5 in ascending order.
-2, c, 5
Let p(s) = -s**3 - 6*s**2 + 6*s + 7. Let d be p(-7). Suppose -z - 2 = -5. Let m be z/d - 4/8. Put -0.4, 4, m in decreasing order.
4, m, -0.4
Let b = 1 - 0. Suppose -4*f - 10 = -30. Sort b, f, -2 in descending order.
f, b, -2
Let n(t) = t**2 - 6*t + 4. Let r be n(4). Put -3/7, r, -0.1 in decreasing order.
-0.1, -3/7, r
Suppose -8*c = -3*c + 4*i + 162, 4*c + 5*i = -126. Sort -4, c, 3.
c, -4, 3
Let f be (-24)/32 - 14/(-8). Let l = f + 3. Sort l, 2, -3 in ascending order.
-3, 2, l
Let w = 48 - 48. Let j be ((-15)/20)/((-6)/4). Let t = -1 + 2. Sort j, t, w in decreasing order.
t, j, w
Let w be (-8)/(-10)*(7 - 2). Suppose -3*v + 3 = -s, -4*s - 3*v + w = 1. Sort 4, s, -3 in ascending order.
-3, s, 4
Suppose -22*r + 17*r = 0. Sort 2, -12, r in descending order.
2, r, -12
Let a(b) = -b + 3. Let q be a(6). Let u be -1 + 3/(-2 - q). Suppose -4 = -4*x + u*d, -2*x + 7*x + 25 = -5*d. Sort x, 0.5, 3/5 in decreasing order.
3/5, 0.5, x
Let o be (-1 + 6)*3 - 1. Suppose o = 5*m - 1, -2*m = 2*z - 10. Sort 1, 0, z in ascending order.
0, 1, z
Let z = 4 + -2. Suppose 2*t = -z*k - 18, -11 = -2*t + 6*t - k. Sort 0, -3, t in decreasing order.
0, -3, t
Let h(i) = i**3 - 4*i**2 - 1. Let n be h(4). Let c be (1 - 0)/1 - n. Suppose -4*w = -18 + c. Put w, 2, 3 in decreasing order.
w, 3, 2
Suppose 6*j - 36 = 3*j. Suppose -8*m + 16 = -4*m. Suppose -6*q + 2*q = -2*w + 6, -q - m*w = -j. Sort q, 4, -5.
-5, q, 4
Let y be 2/4*28/2. Let m = y + -3. Let w be (-69)/(-21) + 12/(-42). Sort -3, w, m in decreasing order.
m, w, -3
Let v be -5*(2 - (-16)/(-10)). Let d be ((-18)/(3 - 4))/2. Let q be (-11)/d + (-4)/(-18). Sort q, 2, v.
v, q, 2
Let w be 1 + -4 - -1 - -12. Let v = w - 6. Sort 3, -5, v in descending order.
v, 3, -5
Suppose -16*l - 27 = 53. Sort 5, l, 1 in ascending order.
l, 1, 5
Let j be -1 - (9 - 5) - 3/(-1). Suppose -1 = -q + 1. Let f = 1 - 2. Sort f, q, j in descending order.
q, f, j
Let t be (3/10)/(-3*3/18). Sort -1/3, -2/7, t, 0.5 in decreasing order.
0.5, -2/7, -1/3, t
Let k = -0.27 - 0.03. Let u = 1.3 + k. Let y = -1.4 + 0.4. Sort u, y, 5 