. Let d be x(2). Let j be (d - 2 - -2)/(-1). Sort -2, z, j in descending order.
j, -2, z
Suppose 0 = 3*u - 0*u - 3. Let k be (4 + -3)/((-4)/3 + u). Sort k, 4, -2, 2 in descending order.
4, 2, -2, k
Let z be -5 + 32/12 + 8/(-12). Let a(y) = y**3 + 8*y**2 + 7*y - 1. Let w be a(-7). Let x be w/(-3)*3*-2. Put z, -5, x in ascending order.
-5, z, x
Let f(k) = -k**2 + 8*k - 3. Let a be f(7). Let y be a/16 - (-1)/(-12). Put -2, 0.07, -2/7, y in descending order.
y, 0.07, -2/7, -2
Let o(r) = 2*r**2 + 39*r + 24. Let j be o(-19). Put j, 2, -10 in descending order.
j, 2, -10
Let z(p) = p**2 - 34*p + 31. Let a be z(33). Let q(u) = u**3 - 4*u**2 + 3*u - 6. Let r be q(4). Let h be 14/r + 4/6. Put -4, a, h in descending order.
h, a, -4
Let o = -92 + 90. Let j = o - -5/3. Sort 1/3, 4, j.
j, 1/3, 4
Let q(s) = -3*s**2 - s - 2. Let o be (-48)/15 - 4/(-20). Let l be q(o). Put 4, -3, l in increasing order.
l, -3, 4
Let g = 15 - 16.1. Let p = -0.26 - -11.26. Let u = 12 - p. Sort g, 5, u in descending order.
5, u, g
Let g be (-22)/99 - 52/9. Let a(q) = q**2 + 6*q + 3. Let t be a(g). Sort t, -0.2, 5.
-0.2, t, 5
Let f = 2 + 1. Suppose 0 = -f*v + 4*v - 2. Suppose s + a + 14 = 4*a, 2*s + 13 = a. Put 5, s, v in increasing order.
s, v, 5
Let y(g) = -g**3 + 2*g**2 - 9*g - 1. Let r be y(0). Sort r, -7, -9.
-9, -7, r
Let d(g) = -6*g**2 + 3*g - 1. Let m be (-5)/25*-5*1. Let u be d(m). Let j = -1 + -4. Put j, u, 6 in descending order.
6, u, j
Suppose -a = -5*h - 82, -7*a + 2*a = -5*h - 90. Let g = -11 - h. Put g, -1, 1, -2 in ascending order.
-2, -1, 1, g
Let k = 1.6 - -4.3. Let q = k + -10.8. Let u = q - 0.1. Sort 0.2, -1, u.
u, -1, 0.2
Let d be 1/2 + -9 + 130/20. Put -1, -6, d, 21 in descending order.
21, -1, d, -6
Let d = 1.3 + 3.7. Let l = 9.09 - 8.79. Sort -0.1, d, l, 0.
-0.1, 0, l, d
Suppose 5*x = -4*f + 291, -2*x - 2*f + 175 = x. Let b = 61 - x. Let w(u) = -u**3 + 3*u**2 + u - 4. Let n be w(3). Sort 0.2, b, n in descending order.
b, 0.2, n
Let h = 94.61 - 95. Let k = -24.11 + h. Let n = 24 + k. Sort 1, n, 4/5 in descending order.
1, 4/5, n
Suppose 2*v + 5 = 5*l - 0*l, 0 = v - 3*l + 4. Suppose -o = -v*o - 16. Let y be (o + 3 + 0)/(-1). Put y, 2, -5 in decreasing order.
2, y, -5
Suppose -4*o + 0*r + 3*r + 31 = 0, -5*r - 21 = o. Let g be 10/o*(5 - 3). Let q(d) = -5*d + 1. Let s be q(1). Put g, s, 4 in increasing order.
s, 4, g
Let v be 2/(12/15)*(-8)/(-70). Let f = -0.56 + 0.06. Put 0, 3/4, f, v in decreasing order.
3/4, v, 0, f
Let f = 12 - 9. Suppose -5*l + l = 3*p, 0 = -3*l. Suppose p = y + y + 2. Put y, f, -3 in descending order.
f, y, -3
Suppose -2*w - 8 = 3*o, -5*w + 4 = -6. Suppose -35*l + 6*l = -29. Sort o, 4, l in ascending order.
o, l, 4
Let b(d) = 2*d**3 - 9*d**2 + 7*d - 3. Let i be b(4). Let r be 1*5*i/15. Put r, -9, 2 in decreasing order.
r, 2, -9
Suppose -c + i + 93 = 0, -3*i + 449 = 3*c + 2*c. Let l = c + -91. Sort l, -9, 1 in decreasing order.
1, l, -9
Let b = 8 + -4. Let x = -59.93 + 0.43. Let y = x + 59. Put -0.4, y, b in increasing order.
y, -0.4, b
Suppose 4*f = -2*b - 69 + 103, -5*f + 65 = -5*b. Put -7, -5, -3, f in descending order.
f, -3, -5, -7
Let k = 385258471756759/25254 - 15255344567. Let f = k - 1/2806. Let w = 19/9 - f. Sort w, 1/5, 0 in ascending order.
w, 0, 1/5
Let w = 4.6 + 8.4. Put 2, 0, w in ascending order.
0, 2, w
Let m = 3436 + -3437. Suppose -11 = -2*p - 1. Sort 3, m, p in increasing order.
m, 3, p
Let i = -5 - -1. Let p(t) = -2*t - 2. Let f(u) = -5*u - 6. Let c(v) = 4*f(v) - 11*p(v). Let o be c(2). Sort 0, i, o in decreasing order.
o, 0, i
Let q = 533 + -532. Sort 23, -1/6, q in ascending order.
-1/6, q, 23
Let w be ((-18)/16)/(9/(-12)). Let o = -858 - -857.6. Put w, 2, -3, o in increasing order.
-3, o, w, 2
Let s be (-8)/40 - (-22)/10. Let g = s - -1. Suppose -38 + 13 = 5*c. Put g, c, -1 in ascending order.
c, -1, g
Let s = -2.09 + -3.91. Sort s, -1/8, 1, 3/4 in decreasing order.
1, 3/4, -1/8, s
Suppose 3*n = -12*n + 120. Sort 0.5, n, 0.1 in ascending order.
0.1, 0.5, n
Let g be ((-3)/(-6))/((-15)/6). Let m = -129/140 + 146/35. Put g, -0.1, m in descending order.
m, -0.1, g
Let p = 3065 - 3069. Sort 2, -1, -64, p.
-64, p, -1, 2
Suppose 3*i + 4*q - 191 = 0, 126 = 4*i + 2*q - 122. Put 3, -1, i in decreasing order.
i, 3, -1
Let v(h) = -10*h**2 + 99*h - 15. Let p be v(9). Put p, 5, 1 in descending order.
p, 5, 1
Let h(u) = -5*u - 9. Let s(n) = 6*n + 9. Let p(l) = -3*h(l) - 2*s(l). Let m be p(-7). Sort m, -3, -2 in decreasing order.
-2, -3, m
Let g = 348 - 348.2. Sort g, 4, 0, 7.
g, 0, 4, 7
Let q(n) = n**3 - 3*n**2 + 1. Let o be q(2). Let s(k) = -k**3 - 4*k**2 - 2*k + 6. Let x be s(o). Sort 2, -2, 5, x in decreasing order.
5, x, 2, -2
Let h be (-2)/2*1/7. Let c = -797 + 792. Sort 4, h, c in decreasing order.
4, h, c
Let q be (-5 + 222/42)*(-8 + 12 - 5). Let m = -0.01 + 0.31. Let d = -0.2 + m. Put q, d, -4 in increasing order.
-4, q, d
Let q = 3226 - 3233. Sort -6, q, -3 in increasing order.
q, -6, -3
Let i = -91.1 - -90.7. Sort 5, -0.093, -1, i.
-1, i, -0.093, 5
Suppose -15 = -0*h + 3*h. Suppose 5*j = p - 5, -p = 2*p. Let d = -74 + 77. Put h, d, j in descending order.
d, j, h
Let w(k) = 2*k + 22. Let p be w(-6). Put p, -4, 16, 4 in decreasing order.
16, p, 4, -4
Let m = -129 - -124. Let n = -0.051 - -2.151. Let f = n + -2. Sort f, 1/5, m.
m, f, 1/5
Let z = 0 + -0.5. Let y = -0.1948 - -0.1348. Sort 0, y, 4, z.
z, y, 0, 4
Let a(g) = -g**3 - 5*g**2 - 1. Suppose 4*o + 2*m + 32 = -2*m, 3*o = 5*m. Let w be a(o). Put -2, -5, w in ascending order.
-5, -2, w
Let z = -148 - -121. Sort -5, -1, z, -4 in decreasing order.
-1, -4, -5, z
Let j = 442 + -433. Put j, -25, 0 in decreasing order.
j, 0, -25
Let c = -1152 - -1157. Sort -4, 3, c, 2 in increasing order.
-4, 2, 3, c
Let g be (-14)/(-40) - (-8 - 217/(-28)). Sort 3, g, -2/7, 8 in decreasing order.
8, 3, g, -2/7
Let r be ((-12)/(-10))/(-5*8/(-100)). Let d be (6/(-5))/((-156)/50 + r). Sort d, 4, -2 in descending order.
d, 4, -2
Suppose 14*m - 5*m + 153 = 0. Sort -3, 2, 5, m in increasing order.
m, -3, 2, 5
Let z(u) = -u**3 + 8*u**2 + 28*u - 80. Let t be z(10). Put -5, 10, t, -4 in ascending order.
-5, -4, t, 10
Suppose -105 = -15*f + 90. Sort 27, f, 3 in decreasing order.
27, f, 3
Let j = 0.4594 + -0.0594. Put -0.5, 0, j, 1 in descending order.
1, j, 0, -0.5
Let f be (-3)/(-1) - 9/(-9). Let s be 2/(2/(-12)*f). Let u = -0.2 - 0.1. Put s, u, 0.5 in decreasing order.
0.5, u, s
Suppose -2 = 2*p, 8*p + 4 = 5*x + 4*p. Suppose -4 = -v - 0*v - 4*s, 2*v + 4*s - 8 = 0. Sort x, -9, -5, v in descending order.
v, x, -5, -9
Suppose -62 = 3*y - 17. Let v = y + 11. Suppose 6 = -33*k - 60. Sort -1, v, k in ascending order.
v, k, -1
Let h = -130 - -49. Let x = h - -329/4. Sort 4/9, x, -0.4 in increasing order.
-0.4, 4/9, x
Let i = 67 - 20. Put -5, i, 1 in increasing order.
-5, 1, i
Let i(k) = -k - 22. Let j be i(-19). Let p(u) = 6*u**2 - 3 + 5*u + 0*u**2 - 4*u**2. Let l be p(j). Put 1, l, 4 in decreasing order.
4, 1, l
Let h = -0.1 + 0.5. Let d = -977 - -972. Sort d, -0.3, h in ascending order.
d, -0.3, h
Let u = 0 - -1. Let n = -1 + u. Suppose -8*v = -g - 12*v + 3, -3 = -3*v. Sort g, n, 5 in ascending order.
g, n, 5
Let l = -1.2 - -0.7. Suppose 5*g - 32 = g. Let x = 2.8 - 3. Sort l, g, x in descending order.
g, x, l
Let h = -420.7 + 419. Sort -0.5, -1, h.
h, -1, -0.5
Let g be 3*(1 + 10/(-6)). Let k(z) = z**3 - 4*z**2 - 3*z - 8. Let d be k(5). Suppose -2*b - d = -4*b. Put g, 5, b in ascending order.
g, b, 5
Let i be 8/14 + 1057/(-49). Put -5, i, 1, -3 in ascending order.
i, -5, -3, 1
Let b = 9.6 + -13.6. Sort 3/4, b, 3, 4/3 in decreasing order.
3, 4/3, 3/4, b
Let u = 16 + -11. Suppose -2*j - j = 30. Let i = j - -11. Put u, i, 4 in ascending order.
i, 4, u
Let w = 348 + -343. Sort -6, -7, w, 3 in decreasing order.
w, 3, -6, -7
Let a = -5915 - -5919. Let t(i) = -i**2 - 3*i + 5. Let y be t(-4). Let q be -2 + y - 0 - -6. Sort q, a, -5 in increasing order.
-5, a, q
Let o = 96 - 209. Let n = -111 - o. Put 0, n, -1, -11 in increasing order.
-11, -1, 0, n
Let m = 1 + 1. Let p = -17 - -8. Put m, p, -1 in decreasing order.
m, -1, p
Suppose 0*y + 3 = -3*z + 4*y, -z = -y. Suppose 2*h = -z - 5. Let f = -4121 - -4120.9. Sort f, h, 0.01 in increasing order.
h, f, 0.01
Suppose 0 = 4*s + 4*l - 8, s - l = -6*l - 2. Suppose 5 + s 