y + 0 = 0. Suppose -7 = 2*d + w. Put d, -0.2, 4 in decreasing order.
4, -0.2, d
Suppose -4*g - 1 + 25 = 4*k, -3*k + 25 = -4*g. Put 0, k, -4 in ascending order.
-4, 0, k
Let q(h) = h**2 + 2*h. Let w(r) = r**3 + 10*r**2 - 12*r - 13. Let x be w(-11). Let y be q(x). Suppose u + 3 - 1 = y. Sort 3, -8, u in descending order.
3, u, -8
Let x = -424.6 + 425. Put x, 0.3, 172 in increasing order.
0.3, x, 172
Let p be 1 - (2 - -29)*-1. Let n = p + -37. Let i(q) = q - 2. Let t be i(0). Put -1, n, t in descending order.
-1, t, n
Suppose 0 = 60*q - 29*q - 31. Put q, 0, -4 in decreasing order.
q, 0, -4
Let r = -0.3 - 0. Let s = 4.3 + r. Let k = -0.67 - -0.47. Sort s, -3, k in ascending order.
-3, k, s
Let j be 228/(-133) + (-46)/14. Suppose -f - f + 2 = 0, -f + 11 = 2*s. Sort s, j, -4.
j, -4, s
Let s be (-46 - -47) + 10*-1*1. Put 5, s, -4 in increasing order.
s, -4, 5
Let o be (((-1)/18)/(-1))/((-34)/(-255)). Sort 2/13, -0.1, o, 4/3 in decreasing order.
4/3, o, 2/13, -0.1
Suppose -g + 21 - 3 = 5*p, -2*p = -g - 10. Put p, 0, -2, 0.4 in decreasing order.
p, 0.4, 0, -2
Suppose 81 - 129 = -12*i. Suppose -3*j - 44 = -5*m + 4, -5*j - m = 52. Let o = j + i. Sort -1, o, 5 in descending order.
5, -1, o
Let y be (0 + 11/44)/((-2)/6). Sort -4/9, y, 4, 0.106 in descending order.
4, 0.106, -4/9, y
Suppose -2*j = -8, 2*r + 10 = -2*j + 6*j. Put 4, r, 5, -11 in decreasing order.
5, 4, r, -11
Suppose 2*z - 5*d - 35 = 0, 0*z - 15 = -2*z + d. Let i be 3/(-7) - z/(-35). Suppose 0 = -3*y - 2*y. Sort i, y, 3/7 in descending order.
3/7, y, i
Let v be ((-6)/(-8))/((15/(-12))/(-5)). Let a(o) = -2*o + o + o**3 - 4 - 2. Let d be a(0). Put v, 0, d in descending order.
v, 0, d
Let d = -6 - -7. Suppose -h - 39 = -3*v - v, v + 3*h = 0. Suppose 3 - v = -2*o. Sort o, -3, d in increasing order.
-3, d, o
Let w be (-3)/12 + (-226)/(-8). Let v = w - 27. Suppose 0 = -c - 2*l + 7, -c = 5*l - 8 - 2. Sort c, -5, v in increasing order.
-5, v, c
Suppose -301*v + 318*v + 34 = 0. Sort -82, -4, 0, v.
-82, -4, v, 0
Let h be 4/5*(0 + 10). Let l be (-32)/24*(-240)/64. Let c be 1/(-8)*-1*3. Sort h, l, c in decreasing order.
h, l, c
Suppose 3*f - 2*f - 29 = 5*q, -4*f = -4*q - 36. Let r = q + 9. Let w(z) = z + 5. Let g be w(-8). Sort -4, r, g in descending order.
r, g, -4
Let t(k) = k**3 + k**2 - 3. Let w be t(0). Let h be 4/(-8)*2*w. Suppose 3*q = 3 + h. Sort -1/2, -1, q.
-1, -1/2, q
Let m(n) = -2 - n**2 - 9*n + 4 + 2*n. Let c be m(-7). Let b be c - 9/3 - -2. Sort -5, b, 8 in decreasing order.
8, b, -5
Let t = 677.5 + -678. Let a = -324/5 + 65. Sort 3/5, 0.4, t, a in decreasing order.
3/5, 0.4, a, t
Let w(y) = y**2 + 4*y - 7. Let g be w(-5). Let t(x) = 2*x**2 - 13*x + 8. Let p be t(7). Suppose -v - 2*v = p. Sort g, v, 1.
v, g, 1
Let j = 2/1027 + 23611/5135. Let s = -77/20 + j. Let w = -4.87 + -0.13. Put w, s, 1/6 in decreasing order.
s, 1/6, w
Let u = 634 - 529. Put -2/7, 0.3, -2/5, u in descending order.
u, 0.3, -2/7, -2/5
Let w(y) = -y**2 + 5*y - 1. Let d be w(4). Let i(q) = -q**2 + 8*q - 3. Let f be i(6). Let c be (-23)/5 + f/15. Put d, -5, c in descending order.
d, c, -5
Suppose -4*x + 3*x + 5*q + 6 = 0, 0 = -2*x + 4*q. Let g be ((-15)/10)/(x/(-8)). Sort g, -3/2, 4 in decreasing order.
4, -3/2, g
Suppose -33*d + 30*d - 21 = 0. Sort 1, -2, d in increasing order.
d, -2, 1
Let r = 475 + -476. Suppose p + 4 = 4*o + 11, 5*p + o - 14 = 0. Sort p, r, 2 in decreasing order.
p, 2, r
Let x be (-3)/(-12) + (-1686)/(-216) + -8. Let d = -2.3 - -0.3. Sort x, d, 4 in ascending order.
d, x, 4
Let c be (4/18)/(4 - 40/12). Let o = -5 - -4. Sort -0.2, c, o in descending order.
c, -0.2, o
Let m = 5.18 + 0.84. Let p = m - 0.02. Let g = 9 - p. Sort -3, -4, g.
-4, -3, g
Let a be 6/(3 + 9)*(-2)/1. Put -3, a, 4, 2 in increasing order.
-3, a, 2, 4
Let g = -55 + 62.2. Let o = g - 8. Let r = 4.2 - o. Put -3, r, -0.4 in decreasing order.
r, -0.4, -3
Suppose -5*l - 2*r = -8*l, 0 = -2*l - r - 7. Sort l, 45, 3 in decreasing order.
45, 3, l
Suppose 14 = 2*s + 3*v, -5*v + 13 = 4*s - 13. Let g be 45/35 + s/(-14). Sort g, -0.3, 4 in descending order.
4, g, -0.3
Suppose -2*f = -2*a + 10, -f = 2*a - a + 11. Let x = 9851 + -9855. Sort 0, f, x in ascending order.
f, x, 0
Let v = -0.004 - -4.204. Let z = v - -18.3. Let d = 22 - z. Sort d, 2, 5 in increasing order.
d, 2, 5
Let u = -6 - -13. Let g be 4/22 - (u + -7). Suppose 4 = h - 0*h. Put h, g, 2 in increasing order.
g, 2, h
Let c be (-3)/1 + 4974/42. Let n = c + -115. Let q = 42 + -42. Sort q, n, 1 in decreasing order.
1, n, q
Let s(g) = g**2 - g - 6. Let v be s(2). Put v, -6, 5, 1 in decreasing order.
5, 1, v, -6
Let w(r) = 5*r**2 + r. Let s(x) = -x**2 - 1. Let z(k) = 4*s(k) + w(k). Let b = 21 + -24. Let l be z(b). Sort l, 4, 0 in descending order.
4, l, 0
Suppose 3*h + h = 0. Suppose 16 = -4*y, 4*d + y = -9 - 7. Let l(u) = u**3 + 25*u**2 + 18*u + 453. Let a be l(-25). Sort h, d, a.
d, h, a
Let k = -27 - -80/3. Let m be (-24)/14 + (-4 - -6). Sort 1, k, m in descending order.
1, m, k
Let q = 740 - 745. Sort 5, 4, q, -3.
q, -3, 4, 5
Let x = -81 + 78. Let l = -221 + 217.11. Let w = l + -0.11. Sort w, -2, x in descending order.
-2, x, w
Let o be (-15)/8*(-84)/(-63) - -2. Let c be (-3606)/182 - (-3 + 2). Let t = 252/13 + c. Sort 2/5, o, t in decreasing order.
t, 2/5, o
Let p = 28.4 + -24.4. Sort p, 40, -2/7, 0.3.
-2/7, 0.3, p, 40
Let g = 0 - -1. Let r(v) = 6*v + 86. Let u be r(-10). Put g, u, 0 in descending order.
u, g, 0
Let f be (-2)/(-12) + 2/6. Let o = 0.41 - -3.49. Let g = o - 3.3. Put -1, f, g in descending order.
g, f, -1
Let w = -10 + 9. Suppose 52*o - 49*o - 21 = 0. Let n(g) = -2*g**3 + 14*g**2. Let d be n(o). Put w, -3, d in ascending order.
-3, w, d
Let d be (-1690)/143 + 4 + 8. Sort 65, 0.2, d.
d, 0.2, 65
Let z be (-1 + 10/14)/(18/72). Let v be 2 + -4 + 30/14. Put v, z, -5/4 in decreasing order.
v, z, -5/4
Let h = 2216.262 - 2211. Let o = h - 0.062. Let d = o + -1.2. Sort 2/7, 0.3, d in decreasing order.
d, 0.3, 2/7
Let w = 8.4 + -45.4. Let g = w + 36.9. Sort g, -5, -3, 8 in increasing order.
-5, -3, g, 8
Let n = -0.879 - 0.121. Put -2, n, 0.3 in decreasing order.
0.3, n, -2
Let r = -0.0241 - -5.0241. Put 0, 0.4, -67, r in increasing order.
-67, 0, 0.4, r
Let y(a) = 56*a - 229. Let j be y(4). Sort 29, -4, j, 3 in descending order.
29, 3, -4, j
Suppose -10*j + 4*s = -5*j, s = 3*j. Sort 13, -2, j, 0.1 in descending order.
13, 0.1, j, -2
Let p(o) = -o**3 - 8*o**2 - o - 10. Let m be p(-8). Put -1, -5, 4, m in descending order.
4, -1, m, -5
Let q be -2 + 1 - 10/(-14). Let d = 717 + -720. Put -0.3, d, q, 1 in ascending order.
d, -0.3, q, 1
Let o = -2645.5 - -2646. Sort -19, 5, -4, o in decreasing order.
5, o, -4, -19
Let t = 628 + -609. Put t, -2, 4, -5 in increasing order.
-5, -2, 4, t
Let i(v) = v**3 + 6*v**2 - 5*v + 9. Let k = -48 - -41. Let u be i(k). Sort -1, -2, u, 3.
u, -2, -1, 3
Let w(l) = -l**2 + 6*l + 10. Let k be w(7). Let q = -231 - -231. Sort q, 8, k in decreasing order.
8, k, q
Let j(m) = -m - 4. Let o = -44 + 38. Let w be j(o). Sort 3, w, -4 in ascending order.
-4, w, 3
Let h be (-1)/(-1) + (1 - -3). Let v = -15 + 13. Let l(g) = -g - 4. Let d be l(v). Sort h, d, 1 in decreasing order.
h, 1, d
Let p = -60 - -47. Let y(o) = o + 10. Let i be y(p). Sort i, 5, -5 in ascending order.
-5, i, 5
Let w be (-11 - -8)*(-1 + 0). Suppose w*s - 9*s - 12 = 0. Let l = 7 + -11. Put 5, l, s in ascending order.
l, s, 5
Let x = 3.7 - 5.7. Let t = 21 + -19.3. Let m = x + t. Sort 0, 6, m in decreasing order.
6, 0, m
Suppose 11*b = 195 - 118. Put 12, 1, b in ascending order.
1, b, 12
Let k = -16 - -56. Let r = k + -40.4. Let d = -2.3 + 2.5. Sort d, r, 0.5 in increasing order.
r, d, 0.5
Let r(z) = 15*z + 65. Let y be r(-5). Put -3, 5, y in descending order.
5, -3, y
Let g = -0.023 - -8.823. Let j = g - 0.8. Let z = j - 13. Sort 4, -4, z in descending order.
4, -4, z
Let z be (2/4)/((-4)/(-32)). Suppose -5*d = -z*d + 1. Let b be 12/(-9)*d/(-3). Sort 1/2, b, 3 in decreasing order.
3, 1/2, b
Let m = 23.7 + -23.5. Let f = 0.14 + 3.86. Put -2/19, m, -9, f in decreasing order.
f, m, -2/19, -9
Suppose -23 = 3*s + 5*f - 47, 0 = -s - f + 6. Put 1, s, -3, -4 in ascending order.
-4, -3, 1, s
Let g = -3.7 - -6.4. Let t = g - 20. Let f = t + 17. Sort -1/3, 5, f in decreasing order.
5, f, -1/3
Let v = -20.7 +