/(3/(-93)). Let y = x + k. Sort 3, 4, y in decreasing order.
4, 3, y
Let j = 12 - 12. Suppose -2*x + 1 - 5 = j. Sort x, 4, 1 in descending order.
4, 1, x
Let z = 0.1 - 12.1. Let s = z - -15.2. Let k = s - -1.8. Sort -3, 2/7, k in decreasing order.
k, 2/7, -3
Let y(w) be the first derivative of w**2/2 - 9*w - 12. Let f be y(13). Sort -1, -3, f in decreasing order.
f, -1, -3
Suppose -2*t - 2 = 2*g, -4*t = 5*g + 4 + 2. Let b = 116 - 122. Sort g, 0, b in increasing order.
b, g, 0
Let w = 12 + -8. Suppose 60 = -60*f + 72*f. Sort f, 2, w, 1 in descending order.
f, w, 2, 1
Let j = -28.8 + 27.8. Let q = -3.5 + -0.5. Sort j, 1, q.
q, j, 1
Suppose -3*f = 2*f - 20. Suppose -5 + 35 = -5*p. Let m be (-1)/p + (-638)/(-132). Sort m, -1, f in descending order.
m, f, -1
Suppose -5*m - 4*h - 46 = 0, -4*h - 28 = 5*m - 3*m. Put -27, -2, m in increasing order.
-27, m, -2
Suppose -4 + 5 = b. Suppose -7 = w - 3*p, 0 = w + p - b - 4. Suppose -3*v + n = 4, 3*n + 12 = 3*v - 6*v. Put w, 3, v in ascending order.
v, w, 3
Suppose 0 = -3*d + 2*m + 9, 0*d - 2*m = -4*d + 14. Sort 1, -11, d.
-11, 1, d
Suppose z - 228 = -2*t + t, 4*t - 16 = 0. Let q = -2910/13 + z. Let f = 21 + -30. Sort q, -5, f.
f, -5, q
Let y be ((-45)/(-6))/((-6)/8). Let c = 2609 - 2614. Sort 5, -4, c, y in decreasing order.
5, -4, c, y
Let s be (9/144 - -8) + -8. Put 1/7, s, -0.3 in increasing order.
-0.3, s, 1/7
Suppose 0 = -5*n - r - 2, 4*r = 3*n - 0*r + 15. Sort -3, -2/7, 7/2, n in increasing order.
-3, n, -2/7, 7/2
Let l(x) = -x**2 + 12*x - 5. Let b(t) = -5*t + 10. Let d be b(7). Let v = d - -37. Let n be l(v). Sort 0, 1, n in decreasing order.
1, 0, n
Let p = 20 - 20.18. Let c = p - -0.28. Let b = 41 - 121/3. Put c, b, -0.3 in increasing order.
-0.3, c, b
Let d = 38 - 40. Put 0, 9, d, 16 in ascending order.
d, 0, 9, 16
Let a(z) = -z**2 + 9*z + 3. Let r(f) = -f**2 + 9*f + 3. Let s(n) = -4*a(n) + 5*r(n). Let c be s(9). Sort -5, -1, c in ascending order.
-5, -1, c
Suppose 0 = 2*j + 4 + 2. Let i = -714 - -714. Sort 4, i, j in decreasing order.
4, i, j
Let z = -3735.087 - -3728. Let m = -0.087 - z. Put m, -0.5, -0.1 in ascending order.
-0.5, -0.1, m
Suppose 0*t = 2*h + 3*t + 6, -h + 2*t = -11. Suppose 0 = -h*m - 12, -i - 4 = 3*i - 2*m. Put i, 5, 2 in descending order.
5, 2, i
Let n = 52 + -26. Let b = -25 + n. Sort 0.1, -3, b in ascending order.
-3, 0.1, b
Suppose 7*j - 38 = -3. Let r = -7 + 12. Let p be (-4)/(-10) + 58/r. Put 4, j, p in decreasing order.
p, j, 4
Let l be (-44)/(-198) - (-8)/(-36). Let y be -12*(0 + 9/12). Sort l, y, 4, -4 in descending order.
4, l, -4, y
Let x = -10 - -14. Let t be (5/(-2) - -1)/(10/(-20)). Let a(l) = l**3 - 2*l**2 - 4*l + 3. Let n be a(t). Sort x, n, 5 in descending order.
5, x, n
Suppose -9 = 5*c + 1. Suppose 4*q + 119 = 5*t + 34, -3*q = 5*t + 55. Let a = q + 59/3. Sort a, c, 1 in descending order.
1, a, c
Let j = -121 + 109. Let b = -0.1 - -0.2. Let r be (6/(-8))/(9/3). Sort r, j, b in decreasing order.
b, r, j
Let q = -54 + 97. Suppose -3*p + 19 = u, -q = -4*p - 5*u - 3. Let f(d) = -d + 19. Let b be f(5). Sort p, b, -3.
-3, p, b
Let c = 1 + 4. Suppose 3*y - 3*f = -4*f - 16, -2*f = 4*y + 24. Let b be (2/y)/(154/56). Sort c, b, 1 in ascending order.
b, 1, c
Let y(g) = -g**3 + g - 1. Let c be 28/13 + (-2)/13 - 2. Let d be y(c). Suppose 4*r + 25 = -r. Sort d, -2, r in descending order.
d, -2, r
Suppose 4*r + 24 = -2*q, 5*r - 40*q = -41*q - 30. Put 5, -9, r in increasing order.
-9, r, 5
Let k be 18/((3 - 5) + 1). Let z be (-8)/16 + k/(-20). Let i be (1/(-6) + 0)/((-2)/3). Put z, 0, i in descending order.
z, i, 0
Let t be -3 + 36/30*5. Put -4, 2, 5, t in decreasing order.
5, t, 2, -4
Let h = -3/37 - -95/259. Put h, 3, -5 in descending order.
3, h, -5
Let r = 0.158 + 4.842. Sort -17, -0.4, r.
-17, -0.4, r
Let y = 59 - 27. Suppose 4*a = y - 12. Sort a, 1/6, -2, -5/7.
-2, -5/7, 1/6, a
Let z = -109 - -103. Sort -5, z, -11 in increasing order.
-11, z, -5
Let s = 9 + -9.1. Let o = 0.06 + 0.09. Let q = o - 5.15. Sort -3, q, s in ascending order.
q, -3, s
Let d = -0.533 + 4.533. Put 4/5, 9, d, -2/11 in increasing order.
-2/11, 4/5, d, 9
Suppose 2*v = -8*v. Suppose -3*t = 4*m - 194, v = -2*m + t - 4*t + 100. Put m, 3, -4 in descending order.
m, 3, -4
Suppose 3*g - 21 = 24. Let z be (0 + 0)*(-6)/18. Sort g, z, -0.2 in increasing order.
-0.2, z, g
Suppose -85 = -5*k - 2*b, 7*k = 2*k + 4*b + 55. Suppose 5*l + 15 = -n, 3*n - k = -0*n + 5*l. Suppose 0 = -w + 1 - 0. Sort n, w, -1.
-1, n, w
Suppose 50 = -27*t - 58. Put 7, 50, -1, t in descending order.
50, 7, -1, t
Let i = -343 + 639. Let r = -2080/7 + i. Let k = -23/14 - r. Sort -4, -1/10, k in decreasing order.
-1/10, k, -4
Let d be (-4)/8 + (-175)/(-10). Suppose k + d = 4*k - 5*m, -3 = 3*m. Suppose -2*j - a + k = 0, -2*j + 6 = j + 4*a. Sort j, 3, -1 in increasing order.
-1, j, 3
Let j be 1*(-2)/(-15)*(-36 - -33). Put -3/10, 5, j in descending order.
5, -3/10, j
Let c(y) = -27*y + 81. Let t be c(3). Sort 1/2, -4, t, -3 in descending order.
1/2, t, -3, -4
Suppose 23 = 4*i + 3. Let c(x) be the second derivative of -x**5/20 - 7*x**4/12 - 2*x. Let m be c(-7). Sort i, m, -3 in decreasing order.
i, m, -3
Let j = -220 + 219.8. Sort j, 7, 0.5 in decreasing order.
7, 0.5, j
Let m = 75 + -61. Suppose -86 + m = 8*b. Sort -4, b, -1 in descending order.
-1, -4, b
Let y = -6.85 + 6.8. Let b = 0.07 - 5.07. Sort -2/11, b, y, -0.2 in descending order.
y, -2/11, -0.2, b
Let a be (2 - (3 - 6)) + -5. Put a, 2, 4 in ascending order.
a, 2, 4
Let s(k) = -k**2 + 6*k - 3. Let d be s(5). Suppose -3*g - 5*o + 15 = 0, -10*g + 8*g - 5*o = -15. Sort 4, g, d.
g, d, 4
Suppose 2*b + 4*m + 5 + 1 = 0, 3*b = 3*m + 18. Put -101, -4, b in decreasing order.
b, -4, -101
Suppose 5*d = 9*d - 24. Suppose -d*y = -a - 2*y - 6, 4*y = 4*a + 12. Sort a, -4, 5 in decreasing order.
5, a, -4
Let w = -1/2221 + -4433/19989. Sort 2, w, -4/5, -0.23 in increasing order.
-4/5, -0.23, w, 2
Let l = 1887 + -1884. Put 0.2, l, -0.11, 0.3 in increasing order.
-0.11, 0.2, 0.3, l
Let s be (-6 + 156/21)*7. Let g(p) = -p**3 + 4*p**2 - 2*p - 3. Let a be g(3). Put a, s, 2 in ascending order.
a, 2, s
Let f be ((-8)/(-6))/(10/(-15)). Let h(g) = -g**3 - 6*g**2 + 6*g - 5. Let q be h(-7). Let w = 1 - q. Sort w, -3, f.
-3, f, w
Let z = -2.2 - 0.8. Let k = 1 + 2. Let l = k + -2.9. Put -1/9, l, z in increasing order.
z, -1/9, l
Let s be ((-245)/(-85) + -3)*2. Let p = s + -1/68. Let g = 1 - 4. Sort g, 0.2, p in descending order.
0.2, p, g
Let z = 56.006 - 0.006. Let h = -55.8 + z. Sort -0.8, 2/7, h.
-0.8, h, 2/7
Let x = -273 - -278. Suppose -7 = -2*m - 3. Sort x, -2, m.
-2, m, x
Let w(l) = -2*l**3 + 22*l**2 - 7*l - 9. Let h be w(4). Sort h, 1, 3 in descending order.
h, 3, 1
Let b = -197/5 + 39. Let r = 0.15 - 1.35. Let x = -2.8 + r. Sort b, x, -4/9 in ascending order.
x, -4/9, b
Let t = -2099 + 2116. Put 5, 0, t, -5 in decreasing order.
t, 5, 0, -5
Let s be (-11 + 5)*12/36. Sort -14, s, 1, 4.
-14, s, 1, 4
Let j = -488 - -548. Sort j, 5, 0 in descending order.
j, 5, 0
Let p(u) = -u + 11. Let s be p(8). Let f be (-64)/s + (-16)/(-12). Let l = 22 + f. Sort 0, -7, l in decreasing order.
l, 0, -7
Let a(g) = -g**3 + 4*g**2 + g + 1. Let d be a(4). Sort 1, -3, -2, d.
-3, -2, 1, d
Let p = 12 + -10. Let c = 6 - p. Let u be -7 - 17/(-5) - 6/(-10). Put u, -1, c in ascending order.
u, -1, c
Let v = -4.9422 - 0.0578. Sort 3/7, v, 20/9 in decreasing order.
20/9, 3/7, v
Suppose -3*q + 27*q = -6*q. Sort -4, 12, q in descending order.
12, q, -4
Let u be ((-17)/25)/(6 - (-56)/(-10)). Sort -0.3, u, 2.
u, -0.3, 2
Let s = -20.94 + 20.94. Put 5, 19, -6, s in increasing order.
-6, s, 5, 19
Let t(k) = -k**2 + 7*k - 4. Let l be t(5). Suppose -21 = 22*x - 19*x. Sort 4, l, x.
x, 4, l
Let p = -17.5 + 15.5. Put -16, p, -1 in decreasing order.
-1, p, -16
Suppose -174 + 174 = 4*v. Put 7, 1, v, -2 in ascending order.
-2, v, 1, 7
Suppose -7*x - 8 = -11*x. Suppose 0 = x*f - s + 13, f + 4*s = -0*s + 16. Sort f, -5, -12 in ascending order.
-12, -5, f
Let m = -196 + 195.19. Let x = -9.79 + m. Let f = x - -11. Sort 2, f, -2.
-2, f, 2
Let u(k) = -154*k + 611. Let t be u(4). Sort 30, -2, 2, t in decreasing order.
30, 2, -2, t
Let n(j) = -j + 5. Let a be n(7). Let w be (-1)/(-3) - (-24)/9. Sort a, 10, w in decreasing order.
10, w, a
Let q be (5/(-2))