 13, -3*y - 3*x + 11 = -x. Let j = -25 - -1. Let b be (4/j)/((0 - -3) + -2). Sort b, 0.3, y in increasing order.
b, 0.3, y
Suppose j - 8 = -0*j. Let p = j + -7. Suppose 5 = 3*n + 2*r + 2, 15 = 5*r. Sort 0, p, n in descending order.
p, 0, n
Let f(n) = -n**3 + 15*n + 3. Let c be f(-4). Put -3, c, 1 in decreasing order.
c, 1, -3
Let a(p) = -11*p + 31. Let i be a(3). Sort -0.1, -2.8, i.
-2.8, i, -0.1
Let g be (-2)/11 - ((40/22 - 2) + 2). Let u be 0/(3/3 + -2). Let p be (-22)/(-4) + 2/(-4). Sort g, u, p in decreasing order.
p, u, g
Let o = 0.703 + -1.103. Put -2/7, -31, o in decreasing order.
-2/7, o, -31
Let j(o) = o**3 + 18*o**2 + 31*o - 12. Let n be j(-16). Suppose -2*v + 2*l + n = 3*v, 2 = 5*v - l. Sort v, -0.2, 6 in ascending order.
-0.2, v, 6
Let i = 16 + -13. Let j = 1 - i. Let y = 26.3 + -21.3. Put y, 7, j in decreasing order.
7, y, j
Let k = 744.1 - 744. Sort 2, 0.6, k in descending order.
2, 0.6, k
Suppose 21*n + 8 = 19*n. Put 1, 3, 4, n in ascending order.
n, 1, 3, 4
Let x(y) = y + 8. Let u be 0 + 8/(-2 + 0). Let c be x(u). Sort 2, -4, c in descending order.
c, 2, -4
Suppose 3*c + 5*y - 18 + 15 = 0, 0 = -2*c - 3*y + 2. Let g be (-18)/4 + 2/4. Put 3, c, g in decreasing order.
3, c, g
Suppose -g + 0 = -4. Suppose 3*k + 2*j + 1 = 0, k + 0*j + 5*j = g. Let u = -0.16 - -0.24. Sort k, 2/15, u in decreasing order.
2/15, u, k
Let o be 13 + (120/(-5))/6. Put -4, o, 1 in descending order.
o, 1, -4
Let m = -89 - -44. Let h = m + 42. Suppose -3*c + 14 = -0*c + 5*q, -4*q = -4*c - 24. Sort h, -4, c in decreasing order.
c, h, -4
Let v be (2/(-6))/(1/(-6)). Let a be ((-9)/12)/(v/(-8)). Let m be (-25)/75 - 52/(-12). Sort m, a, 1 in descending order.
m, a, 1
Suppose 5*y = -4*i - 35, -2*i + 6*y = y - 5. Put i, 7, -3 in increasing order.
i, -3, 7
Let n = 0 - -2. Let x = n + -1.5. Let r = 668 + -668. Sort x, 2/15, r in decreasing order.
x, 2/15, r
Let u = -21 + 16. Let p(r) = r**2 + 2 + 0*r**2 + 8*r - 2 - 4. Let m be p(-9). Sort -3, m, u in descending order.
m, -3, u
Let g(i) = i**2 + 10*i + 12. Let f(o) = -7*o**3 - o. Let l = -7 + 8. Let r be f(l). Let h be g(r). Sort 0, h, -5 in decreasing order.
0, h, -5
Let h(u) = u**2 + 7*u - 2. Let v be h(-6). Let w = v + 13. Suppose 5*q = 5*t - 50, 0 = -4*t + w*q - 0*q + 45. Put t, 4, 1 in decreasing order.
t, 4, 1
Let c = -82.234 + 0.234. Sort -0.3, -5, c in descending order.
-0.3, -5, c
Let q be 1/(-3) + 19/3. Suppose -l = q*r - r - 19, -r = -5*l - 9. Let j(u) = -u**2 - 8*u - 8. Let t be j(-6). Sort t, l, -4.
-4, l, t
Suppose 3*i - 13*i = -70. Let c(q) = -q**3 - 25*q**2 - 22*q + 46. Let v be c(-24). Sort i, 1, v, 3.
v, 1, 3, i
Suppose -2*r + 0*b - 2 = -2*b, -4*b = -r - 1. Let k = 7237 + -7233. Sort r, 3, 5, k in increasing order.
r, 3, k, 5
Let c be 13 + (-1677)/65 - -13. Sort c, -5/6, -0.07, 1 in descending order.
1, c, -0.07, -5/6
Let i be (0/6)/(-4*5/10). Sort i, 4, 0.5, 7/12 in decreasing order.
4, 7/12, 0.5, i
Let v(f) = -f**2 + 3*f. Let y be v(2). Let w be 1/y - 18/12. Let l = -1/270 - -61/270. Sort w, l, -2 in descending order.
l, w, -2
Let c be ((-4)/(-6))/((-2)/33). Let j = -5 - c. Suppose 12*n + 5*n + 85 = 0. Put j, -1, n in increasing order.
n, -1, j
Suppose 4*f + 7 + 13 = 0. Suppose -18 = p + 4*a, -p + 2*a = 4*p + 2. Suppose 0 + 4 = -4*m. Sort f, m, p in descending order.
m, p, f
Let f = 1255 - 1255. Sort 4, 18, f, 1 in ascending order.
f, 1, 4, 18
Let b = -68 + 73. Put -4, b, 255 in ascending order.
-4, b, 255
Let z(k) = -3*k**2 - 21*k - 18. Let g be z(-6). Let v = -5 + 9. Sort g, 16, v.
g, v, 16
Let l be (-1*2)/((-8)/4). Suppose 24 = 54*o - 84. Put o, -7, l in ascending order.
-7, l, o
Let a be 1 + 256/8 - 2*1. Suppose 3*w + 16 = a. Let m be (-3)/(-3) + (-6)/2. Put -5, w, m in descending order.
w, m, -5
Suppose -u + 10 = -0*j - 5*j, 0 = -5*j + 4*u - 10. Sort j, -1, 5 in ascending order.
j, -1, 5
Let z = 23 - 21. Let w = z + -15. Sort 0.2, -2, w in ascending order.
w, -2, 0.2
Suppose -188*d + 181*d = 21. Put -4, -22, d in ascending order.
-22, -4, d
Let u = -44 - -6. Let d = 39 + u. Put d, -1/8, 4 in decreasing order.
4, d, -1/8
Suppose 5*a + 11 = -r, 2*a + 3*r = -5 + 11. Let p(w) = 2*w + 4. Let j be p(-3). Put -12, j, a, 0 in descending order.
0, j, a, -12
Let q be -4*5/(40/108). Let v = 377/7 + q. Sort v, -1/3, -0.5 in ascending order.
-0.5, -1/3, v
Let z = 4 + -6. Let m = z + -3. Let y = -6 + 11. Sort m, y, -2/15 in decreasing order.
y, -2/15, m
Let j = -835 - -830. Put -1, 0, j, 3 in increasing order.
j, -1, 0, 3
Let f = -296 + 300. Sort 7, 5, f, -2 in decreasing order.
7, 5, f, -2
Let l = 42 - 2. Let u = -40.5 + l. Sort -3, 25, u in decreasing order.
25, u, -3
Let v = 0.01 + 0.59. Let t = v - -0.4. Let i be 0/3 + (-6)/(-15). Sort -4, i, t in increasing order.
-4, i, t
Let l = 0.04 - -1.96. Put -0.06, 0.5, l in increasing order.
-0.06, 0.5, l
Suppose 0 = 4*a + a. Suppose 2*z - 2*x - 2 = 0, 5*z - 4*x + 2 - 3 = a. Let k(v) = 2*v**3 + v**2 - 1. Let m be k(-1). Sort z, m, -1.
z, m, -1
Suppose -2*z + 2*h - 12 = 0, -h + 22 = -5*z + 2*h. Let v = 20 + -20. Suppose -4*c - 12 = -0*c - j, v = -c - 5*j - 24. Sort c, z, 0 in ascending order.
c, z, 0
Let r(d) = -3*d - 135. Let l be r(-43). Suppose 2*c - 5 = -1. Put -5, l, c in decreasing order.
c, -5, l
Let j = 222 + -224. Put j, 0.5, 1, 3/5 in descending order.
1, 3/5, 0.5, j
Let g = 5 + -8. Let s(x) = x**2 + 5*x - 8. Let c(a) = -a**2 - 3*a + 5. Let n(b) = -8*c(b) - 5*s(b). Let l be n(1). Put l, g, 0 in decreasing order.
l, 0, g
Let p = 1/512 + 2039/4608. Let s = p - 2/9. Sort 0.6, s, 5/3.
s, 0.6, 5/3
Let r = -1148 - -1145. Sort r, -1, 65, 7 in descending order.
65, 7, -1, r
Let y = 2/383 - 864/18767. Sort 2, y, 5 in descending order.
5, 2, y
Suppose -42 = -73*z + 104. Put z, 0.4, 0.1, 7 in increasing order.
0.1, 0.4, z, 7
Let h = -126 - -89. Put -1/2, 2, h in decreasing order.
2, -1/2, h
Let p = -28 - -23. Put p, -64, 2 in increasing order.
-64, p, 2
Let r = 0.4 - 0.8. Suppose 6*v - v - 5 = 0. Let w be v + -4 - 87/(-30). Put r, -1, w in descending order.
w, r, -1
Suppose -5*z = -z - 12. Let x = z + -6. Let s = -8 - x. Sort s, 5, -7.
-7, s, 5
Let y = 4.7 - -29.3. Let p = 30 - y. Put 0.3, p, -2 in descending order.
0.3, -2, p
Let v = -5 - -8. Let l(m) = m**3 + 4*m**2 + 3*m + 4. Let f be l(-3). Suppose -f*j = -2*c + 5*c + 25, j + 4*c = -16. Put -5, v, j in decreasing order.
v, j, -5
Let o = -3 - -2.9. Put 4, 7.6, o, 1/9 in ascending order.
o, 1/9, 4, 7.6
Let z = -8 + 12. Suppose -5*a + s - 1 = -6, -z*a - s = -4. Let p be (0 - (-3)/(-3))*a. Sort -4, p, 5.
-4, p, 5
Suppose 3 = -11*t + 8*t - 4*b, -t - 4*b - 1 = 0. Put t, 4, -4 in decreasing order.
4, t, -4
Let o be ((-16)/(-4))/(9 + -7). Suppose -m + c = -2*c, -4*c = 0. Put o, 7, m in descending order.
7, o, m
Let y = -26 + 42. Let u = -17 + y. Let a = u - 0. Put 4, -3, a in decreasing order.
4, a, -3
Let r = 627 - 631. Put r, 85, 3, 5 in decreasing order.
85, 5, 3, r
Let n = -16 + 20. Let t = -27.046 + 27. Let u = -0.254 + t. Sort u, -0.2, n in descending order.
n, -0.2, u
Let z(v) = 3*v + 3. Let w be z(0). Let d(k) = 2*k - 2. Let i be d(-1). Sort w, i, -3 in decreasing order.
w, -3, i
Let u(k) = -6*k**2 - 51*k + 3. Let p(w) = -3*w**2 - 25*w + 2. Let m(o) = 5*p(o) - 2*u(o). Let l be m(-8). Sort 2, l, -2 in decreasing order.
2, -2, l
Let o = -0.073 - -0.273. Sort o, -5, 14.
-5, o, 14
Let t be (164/28 + -3)*7. Let i = t + -18. Sort 0, i, -5 in increasing order.
-5, 0, i
Let d = -495.9 + 496. Sort 1, d, -0.4, 9 in descending order.
9, 1, d, -0.4
Let a(c) = c**3 - 7*c**2 + 4. Let o be a(7). Suppose -2*f = -3*f + 1. Let v be (2/(-6))/(f/(-15)). Sort v, o, -4 in ascending order.
-4, o, v
Suppose -2*z = 5*y + 23, 2*y = z - 3*z - 14. Let k = 50 - 48. Suppose -6*h + 3*h + 3*a = -3, 0 = -k*h - 5*a + 9. Sort y, h, -1 in decreasing order.
h, -1, y
Let s be (5/(-20))/(16/16064). Sort s, 3, 2 in decreasing order.
3, 2, s
Let w = -1.2 - -0.9. Let f = -1.53 + 0.03. Let h = 2 + f. Put w, h, 1/4 in descending order.
h, 1/4, w
Let h(i) = -i**3 + 5*i**2 + 6*i + 3. Let z be h(6). Suppose 0 = -3*d - q + 7, -z*d - d + 3*q = -18. Put -2, 4, 2, d in decreasing order.
4, d, 2, -2
Let d = -20 - -17. Let l(a) = -2*a - 6. Let q be l(d). Suppose 2*s - 2*n + 4 = q, -5*s + 0*s = -n + 10. Sort -5, s, 3 in decreasing order.
3, s, -5
Let j = 5 +