 - z. Let d = 3 - 0. Sort 4, d, h.
h, d, 4
Let t be (10 - (-212)/(-20))*(-20)/6. Put 2/5, -1/3, t, 48 in increasing order.
-1/3, 2/5, t, 48
Let k be (-20)/18*9/(-12). Let c = -154 + 150. Put c, 3, k in increasing order.
c, k, 3
Let w be (-41 + 35)*2/(-8). Let l = 0.29 - -0.21. Sort -5, w, -2/13, l.
-5, -2/13, l, w
Let k be (9/(-18))/(2/8). Let m be (-1 + k*1)*2/(-2). Let x = 0.5 - 1. Put 0.3, m, x in ascending order.
x, 0.3, m
Let b be 22/(-5) + (1 - (-6)/(-10)). Put 3, 0, -5, b in increasing order.
-5, b, 0, 3
Let j = 256 - 253. Let h(x) = -x**3 + 8*x**2 - 6*x - 4. Let f be h(7). Suppose 1 = c + f. Put j, 2, c in descending order.
j, 2, c
Suppose -3*q + 35 = -4*s - 17, 20 = 3*q + 4*s. Let v = 13 - q. Suppose 4*o - v = -5*d, -5*d - 8 - 7 = 0. Sort -3, o, 2.
-3, 2, o
Let x be 0/((10/5)/2). Put 3, x, 5, -4 in decreasing order.
5, 3, x, -4
Suppose 5*i + 2*p = -10, 0 + 5 = p. Let g = 4 - 13. Let r = -4 - g. Sort 0, r, i.
i, 0, r
Let f = -0.5 + 1. Let g = 0.3 - f. Let o = 369 + -364. Sort -0.06, g, o in decreasing order.
o, -0.06, g
Suppose 3*q + b - 10 = 0, -5*b = -0*b - 5. Suppose -q*y = a + 2 - 1, 4*y + 5 = -5*a. Sort 3, 1, a.
a, 1, 3
Let o = -493 - -490. Put -5/4, 4, o, 5 in descending order.
5, 4, -5/4, o
Let a be (1 + 0)/((-3)/(-588)*-4). Put -2, 4, a in descending order.
4, -2, a
Let x = -276 + 827/3. Put 4, x, 4/5 in descending order.
4, 4/5, x
Let w = 9.6 - 4.6. Let s = 20/141 - 19397/564. Let t = 34 + s. Sort w, 3, t.
t, 3, w
Suppose -t = -6*t + 5. Let r = t + -2. Let s(q) = q**2 + 14*q + 40. Let v be s(-10). Sort v, r, 1 in descending order.
1, v, r
Suppose 2*n = 7 - 1, -3*n = 5*j + 1. Let c = -0.1 - 0.4. Sort c, -0.3, j.
j, c, -0.3
Let s be 2/(-4)*(-2)/1. Let g be 2/(s + 14/(-10)). Suppose 67*z - 15*z - 880 = -124*z. Put z, g, 3 in descending order.
z, 3, g
Let d be (2/(-6)*(-13 + 13))/3. Sort -6, -5, -2, d in ascending order.
-6, -5, -2, d
Suppose 0 = 45*c + 12 + 33. Sort c, -0.08, -2/13, -2/15 in descending order.
-0.08, -2/15, -2/13, c
Let n be (-6)/9*(-14)/(420/9). Sort -2, 1, -3, n in increasing order.
-3, -2, n, 1
Let x be 14/(-3) + (-2)/6. Suppose 13*a - 5*p = 14*a - 13, 5*p - 25 = -5*a. Sort -6, a, x in ascending order.
-6, x, a
Let v(g) = 3*g**2 - 63*g + 96. Let b be v(19). Sort -5, b, -1.
b, -5, -1
Let t = 1161 + -1654. Sort -3, t, -5.
t, -5, -3
Let c(i) = 3*i**3 - 60*i**2 - i + 35. Let d be c(20). Sort -1, 4, d, 5 in increasing order.
-1, 4, 5, d
Let m = -0.2159 - -0.1159. Sort -4, -49, m.
-49, -4, m
Let q = -81 - -75.9. Let b = -5.6 - q. Put -0.2, 0.3, -2, b in ascending order.
-2, b, -0.2, 0.3
Let q = 4.1526 - 0.1526. Let a = -0.8 - -1.5. Put a, 2/11, q in descending order.
q, a, 2/11
Suppose 0 = 2*j + 3*j - 25. Suppose -2*z = -3*r + 87, 0 = 4*r - r - 9. Let i be (-15)/24 - z/(-104). Sort -2, j, i in descending order.
j, i, -2
Let b = -162 + 146. Sort -2, 3, b, 4 in descending order.
4, 3, -2, b
Let o be ((-16)/6)/((-4)/6). Let m be (-1)/(-5)*5 + o. Put -5, m, 2 in decreasing order.
m, 2, -5
Let o be 5*((-2)/4)/(6/(-12)). Let d(k) = -k**3 + k + 6*k**2 - 3 + 7*k + 0*k**3. Let n be d(7). Put n, -0.05, o in decreasing order.
o, n, -0.05
Let q = 535/6 + -89. Let z = 217.96 - 2.96. Let g = 218 - z. Sort q, 0, g in descending order.
g, q, 0
Let s be (-5)/(-20) + 54/8. Suppose -4*k - 10 = -y, 0 = -5*y + 5*k + 13 + s. Sort -3, y, -1.
-3, -1, y
Suppose -4*y + 20 = -3*m + 35, 0 = -m + 2*y + 5. Sort -0.1, m, 1, -5 in ascending order.
-5, -0.1, 1, m
Suppose -44 = 5*z - 4*u, -19*z + 14*z = u + 39. Let q(d) = d**3 + 2*d - 3. Let l be q(0). Sort l, 2, z in descending order.
2, l, z
Suppose 0 = -10*p - 50 - 0. Let o(y) = -y**3 + 1. Let c be (-9)/(-15) + (-4)/(-10). Let q be o(c). Put p, -2, q in decreasing order.
q, -2, p
Let r = 56 - 26. Let y = r - 23. Sort 0, y, -4, 4 in descending order.
y, 4, 0, -4
Let m be (1 - 62/18) + 2. Let r = 0.449 - -0.031. Let c = 0.48 - r. Put 4, m, c in increasing order.
m, c, 4
Let d(y) = -2*y**2 + 16*y + 69. Let w be d(11). Sort 0.5, -5/2, w, 12/13 in increasing order.
-5/2, 0.5, 12/13, w
Let k(z) = z**3 - 6*z**2 + 7*z - 7. Let i be k(5). Suppose -2*j + 4 = -j. Suppose -n = j*n. Sort -3, i, n in descending order.
i, n, -3
Let k(l) = -l**2 - l + 1. Suppose 2*w + 1 = -3*m, 0*m - 3 = 2*w + m. Let y be k(w). Sort y, -22, 5 in ascending order.
-22, y, 5
Suppose -8*b = 11 + 37. Let v(h) = -4*h - 20. Let o be v(b). Put -4, o, 5 in descending order.
5, o, -4
Let f = -234 + 230. Sort -0.24, f, -3/8 in decreasing order.
-0.24, -3/8, f
Suppose 7*b + 2*b + 495 = 0. Let z be (-33)/b - (-46)/(-60)*1. Suppose -3*w + 0*w + 15 = h, 0 = 5*w - h - 17. Sort z, w, -11 in increasing order.
-11, z, w
Let n = -80.3 + 79.5. Sort n, -6.6, 3 in decreasing order.
3, n, -6.6
Let z = 0.8 + 4.2. Let l = -0.024 - 0.276. Let g = 0.1 - l. Put z, 0.5, g in decreasing order.
z, 0.5, g
Let j(w) = -w**3 - 8*w**2 - 2*w - 12. Let v be j(-8). Let h be (-6)/v - 3/(-2). Suppose -2*t + 3*t - 5*m = h, 18 = 4*t - 2*m. Put t, -4, 2 in descending order.
t, 2, -4
Let g be 4 + 20/15*-6. Suppose 0 = 5*c - c - 4. Sort g, 5, -2, c in decreasing order.
5, c, -2, g
Let a be 4*(1/6 - (16 + -16)). Put -2, a, 22, -5/4 in descending order.
22, a, -5/4, -2
Let u = 1.2 + -0.9. Let f = 0.7 - u. Sort f, -1/5, 5 in increasing order.
-1/5, f, 5
Let z = 0.0183 - -0.1817. Put 10, 5, z in increasing order.
z, 5, 10
Let x = -3.16 + 0.16. Let h be -3 + 1 + 2 + 4/18. Put x, 2/7, h in descending order.
2/7, h, x
Let p be -7 - (9 + 4 + -19). Put -5, -4, p, 30 in increasing order.
-5, -4, p, 30
Let j(a) = a**3 + 6*a**2 - 2*a - 8. Let v be (-3)/(1 - 1/2). Let i be j(v). Suppose -44 = 16*b + 20. Sort 2, b, i in decreasing order.
i, 2, b
Let j = 297.6 + -298. Let a(m) be the first derivative of -m**3 + m**2 - 2*m - 2. Let i be a(2). Sort -0.2, j, i.
i, j, -0.2
Let x(s) = s**3 - s**2 - 2*s - 3. Let j(o) = o**3 - 4*o**2 - o + 4. Let m be j(4). Suppose m = 19*i - 22*i. Let b be x(i). Put 1, 4, b in increasing order.
b, 1, 4
Let d(l) = -64*l - 312. Let a be d(-5). Sort -2, 7, a, 0 in increasing order.
-2, 0, 7, a
Let m(b) = -b**2 - 2*b - 3. Let v be m(-1). Sort 5, v, 14, 11 in descending order.
14, 11, 5, v
Suppose 4*y - 114 = 61*y. Sort 18, y, 0, -1 in decreasing order.
18, 0, -1, y
Let l = 142 - 145. Sort -2, -6/11, l in increasing order.
l, -2, -6/11
Suppose 18 - 8 = 5*o. Put 6, 0, o in increasing order.
0, o, 6
Let l(u) = -u**2 + 37*u - 389. Let z be l(37). Put 0.5, z, -2/3 in decreasing order.
0.5, -2/3, z
Suppose 0 = 2*m - 6, -4*t - t + 21 = 2*m. Sort 5, t, 17.
t, 5, 17
Suppose 181 = 12*c - 83. Let r be 9*6/81 + c/(-6). Put 1, -11, r in decreasing order.
1, r, -11
Suppose h - 7 = 3*t - 2, -t = 4*h + 6. Let p = -1017 - -1016. Put 3, p, t in decreasing order.
3, p, t
Let g be (-258)/(-24) + -4 - 6. Sort 2/39, g, -5, 1 in decreasing order.
1, g, 2/39, -5
Let r be 5/(35/(-19)) - (-4)/(-14). Put 0.5, r, 3, 0.1 in increasing order.
r, 0.1, 0.5, 3
Let k be 1/(4/(-112)*-4). Suppose k*q = 5*q + 24. Suppose -q = -8*i + 5*i. Sort i, -4, 8.
-4, i, 8
Suppose 5*m + 16 = 3*x, -14 = 2*x - 7*x + 2*m. Suppose 5 = x*b + 3. Let u = 3 + -7. Sort u, b, -1 in descending order.
b, -1, u
Let f be 252/(-15) + 26/(-130). Sort 5, -11, -2, f.
f, -11, -2, 5
Let f(l) = l**3 + l**2 - l + 7. Let u be f(-3). Let p = -108 + 106. Sort 4, 2, u, p.
u, p, 2, 4
Suppose -14 = 6*r - 2. Suppose 5*n + 24 = 2*n - 5*o, 11 = -2*n - 5*o. Let i = 19 + n. Put i, r, 1 in descending order.
i, 1, r
Let p = -0.04 + -3.46. Let c = p - -3. Let b = -0.04 - 1.96. Sort c, b, 0.
b, c, 0
Let m = 0.67 + 24.33. Let s = 24.7 - m. Sort 3, 2, s in descending order.
3, 2, s
Let f be (-66)/528*(-7 - 1). Sort 5, 9, f in increasing order.
f, 5, 9
Let g be (14/(-21))/(1/3). Let v = 3 - g. Suppose v*i + 0*i - 18 = 2*l, 9 = 2*i + l. Put i, -2, -1 in descending order.
i, -1, -2
Let v be (-1)/(-1) - (-10 + 6). Suppose 8*i - v*i + 18 = 0. Let h(s) = -s**3 + 3*s**2 - 2*s + 1. Let k be h(2). Sort k, i, -3 in descending order.
k, -3, i
Let h = -14.208 - -0.008. Let p = 13 + h. Let t = p + 1.6. Put -3/2, t, -3/11 in descending order.
t, -3/11, -3/2
Let c = -0.71 - -88.71. Let m = 92.7 - c. Let b = 5 - m. Put b, -2/3, 2 in descending order.
2, b, -2/3
Suppose 5*l - 15 = 2*x, 0 = 4*x + 5*l + 31 - 16. Suppose 6*c = 2*c - 60. Put 0, c, x in ascending order.