Put -2, 0, z in decreasing order.
z, 0, -2
Let d(v) = -v**3 + 8*v**2 - 6*v - 6. Let p be d(7). Suppose -22*y + p = -23*y. Sort 1, y, 4, -4.
-4, y, 1, 4
Suppose 23*k = -3*k - 78. Sort -5, 0, k in decreasing order.
0, k, -5
Let m = -5 - -3. Let o = 6 + m. Let y(u) = -u**3 + u**2 + 6*u. Let t be y(3). Sort t, 1, o in decreasing order.
o, 1, t
Let d = 2728 - 2728.01. Let r = 151/455 - 3/65. Sort r, -0.2, d in ascending order.
-0.2, d, r
Let h = -2171 - -23883/11. Sort 2.4, -1/8, h, 0.
-1/8, 0, h, 2.4
Suppose 62*w = -12 + 694. Put -3, w, -2, 3 in decreasing order.
w, 3, -2, -3
Let n be (1/1)/(12/564). Let u = n - 50. Put -1, -5, 4, u in increasing order.
-5, u, -1, 4
Suppose s - 8 = 5*s. Let j be (s - -5 - 1)*-2. Let v be -3 + 4 + (j - -2). Put v, 4, 2 in descending order.
4, 2, v
Let c = -1 - -1.1. Let b = 921.38 - 932. Let x = -0.62 - b. Put x, -2/11, c in increasing order.
-2/11, c, x
Let h = 266 + -261. Put h, 106, -2 in ascending order.
-2, h, 106
Suppose -g + 5*n = 2*g + 51, 5*g + 3*n + 51 = 0. Sort -2, g, 0.
g, -2, 0
Let p = 2210 + -2206. Let h(b) be the first derivative of -b**2 - b - 1. Let y be h(1). Put p, 3, y in descending order.
p, 3, y
Let y(r) = 5*r**2 - 2*r - 1. Let s be y(-1). Suppose 20 + 10 = -s*w. Let v(k) = -k**2 - 5*k - 3. Let o be v(w). Sort o, -5, 5.
-5, o, 5
Let q = 20.341 + 0.259. Put 1, q, -0.1 in increasing order.
-0.1, 1, q
Suppose 4*d = 2*j + 11 + 5, 3*j - 3*d = -24. Sort 4, 16, j.
j, 4, 16
Suppose -s = 4*d, 2*s + 7 = -d - 0*s. Sort d, 4, 2 in decreasing order.
4, 2, d
Let v = -0.982 + -0.018. Let k = -1.2 - v. Put k, -3, -5, -2 in ascending order.
-5, -3, -2, k
Let f = -0.0415 + 0.2415. Sort f, 1/6, 0.1, -29.
-29, 0.1, 1/6, f
Let g = 4 - 2. Let q = 2 + -2. Let a = 344 + -1726/5. Sort a, q, g in descending order.
g, q, a
Let n be 1/(4*2/(-8)). Put n, 4, -11 in increasing order.
-11, n, 4
Let h = 0.7 + -0.3. Let l be ((-21)/4)/((-9)/24). Let g be 38/l - (0 + 3). Put h, -2, g in increasing order.
-2, g, h
Suppose 3*l - 2*l - 4*j + 15 = 0, 5*l + 132 = j. Let v = 29 + l. Suppose -3*q + 4*f - 12 = 0, 3*q - 2*f = -v*q - 20. Put -0.5, q, 0 in ascending order.
q, -0.5, 0
Suppose s = 2*n - 8, -35 + 5 = -4*n - 5*s. Suppose -2*a = -n*a - 6. Let k = 29 + -32. Put k, a, 14 in decreasing order.
14, a, k
Let m = -2 - 1. Let h = -18 + 9. Let d be h/(-45) + (-9)/(-5). Put d, -4, m in decreasing order.
d, m, -4
Suppose t + 6 = -3*f, 9*f - 12*f - 4*t + 3 = 0. Suppose k - 18 = 4*k. Sort f, k, -4.
k, -4, f
Let c be 2 + (1 - -1) + -2. Let v(w) = -4*w - 6. Let n be v(-4). Let s = -6 + n. Sort c, s, -5 in descending order.
s, c, -5
Let o = 427.5 + -428. Sort 0.4, 0.5, o, -2/9 in increasing order.
o, -2/9, 0.4, 0.5
Suppose -8*w - 12 = -4*w. Let z be 1 + 10/(-4) - (-60)/56. Let b = -3 + 5. Put b, w, z in descending order.
b, z, w
Let h = -174 + 1393/8. Let f = -6 + 5.97. Put f, -1, 3, h in decreasing order.
3, h, f, -1
Let z(f) = 2*f**2 + 35*f + 22. Let b(m) = 3*m - 37. Let y be b(7). Let k be z(y). Put 4, k, 2/3 in descending order.
4, 2/3, k
Let j be (231/(-22))/((-6)/16). Let p = -24 + j. Let m(r) = -r**2 - 8*r - 5. Let h be m(-5). Put 5, h, p in descending order.
h, 5, p
Let l = 7 - 13.4. Let c = l + 6. Let x = -0.2 - -0.3. Sort -1/8, c, x.
c, -1/8, x
Let d = -3.803 + -0.197. Sort -8, d, 4 in ascending order.
-8, d, 4
Let h = -33 - -54. Let i be 10/6*h/(-7). Sort i, 4, 8.
i, 4, 8
Let l be 64 - 40 - (1 - 0). Sort l, 19, 4 in decreasing order.
l, 19, 4
Suppose 0 = -2*b - 12 - 10. Let r = -7 - b. Let n = 616 - 616. Sort -3, r, n in ascending order.
-3, n, r
Let g = 1.02 + -0.9. Let l = g + -0.23. Let x = l + -0.19. Sort -4, x, 5/6 in decreasing order.
5/6, x, -4
Let t = 5 + -3. Let o be t/(-9) + (-26)/(-117). Suppose -4*c - 16 = -o*c. Sort 5, c, -3.
c, -3, 5
Suppose -3*t = -t + 2. Suppose 0*r = -16*r. Suppose 3*x + 16 = u, -2*u + 2 = -r*u + 4*x. Put u, -3, t in descending order.
u, t, -3
Suppose -2*a = -3*g + 1, 3*g + 4*a + 22 = -7. Sort 4, 21, g.
g, 4, 21
Let q(d) = -21*d + 1005. Let l be q(48). Sort -1, -4, l, 448.
-4, l, -1, 448
Let d(y) = -y**2 + 16*y - 1. Let n be d(0). Sort n, -21, 9.
-21, n, 9
Let j = -39 - -35. Let v = j - 0. Put v, -5, 3 in descending order.
3, v, -5
Suppose 0*n - 5*n = 3*x - 6, 3*n = 5*x + 24. Let q be (-51)/34*(-8)/(-42). Sort q, -3/2, x.
x, -3/2, q
Let v = 1810 + -1806. Sort -4, -1, 35, v in descending order.
35, v, -1, -4
Suppose 4*u + 2*z + 208 = 0, 2*z = 4*u + 146 + 70. Put -3, u, 3 in increasing order.
u, -3, 3
Suppose -j - 5 = -2*j. Let u be (-48)/(-80) + 72/5. Let r be (6/u)/(2/30*3). Sort j, r, 4 in increasing order.
r, 4, j
Let k = 43 - 32. Let x = k - 11. Put -4, -5, x in decreasing order.
x, -4, -5
Let u be (-210)/(-27) + -8 + 2/6. Sort -0.1, u, -0.33 in descending order.
u, -0.1, -0.33
Let m = 0.579 - -4.421. Let o = 8 - 4. Let n = -22/7 - -73/21. Sort o, n, m.
n, o, m
Let j be 1/(-12) + (-37)/(-36)*3. Put -1, 88, j, 4 in decreasing order.
88, 4, j, -1
Let p be (-1 + -2 - 2)*-1. Suppose -3*a = -p*a + 18. Let j = -13 + a. Sort -1, j, -3 in increasing order.
j, -3, -1
Suppose -1 = 5*z - h - 3*h, 2*z = h - 1. Put -1/3, z, -5 in ascending order.
-5, z, -1/3
Let w = -0.067 + 0.577. Let q = w + 0.49. Sort 1/3, -0.3, q, -1 in decreasing order.
q, 1/3, -0.3, -1
Let p = -5 + 9. Let a be (-25)/(-625)*((-5)/(-2) - 5). Sort a, p, -3, -1/2 in descending order.
p, a, -1/2, -3
Let t = -83.458 - -72.458. Suppose 0 = -2*s - 3 + 9. Suppose m + s = 2. Sort 0.2, t, m in decreasing order.
0.2, m, t
Let z = 1399 + -971. Put -0.3, z, 2/7 in ascending order.
-0.3, 2/7, z
Let p = -820/33 + 74/3. Put -3, -4, p in ascending order.
-4, -3, p
Suppose 3*p + 220 = p. Let h be 3*2/33 - (-350)/p. Put h, 0, -4 in ascending order.
-4, h, 0
Let x = 124 - 122. Suppose -2*o = -3*z + 6, 2*z - x*o = -2*z + 8. Put 2/19, z, -0.3 in descending order.
z, 2/19, -0.3
Let h(f) = -f**2 + 19*f - 10. Let l be h(18). Suppose -l - 2 = -k - 2*b, -3*k = 5*b - 27. Put -1, k, 6, -5 in decreasing order.
6, k, -1, -5
Let b = -43.7 + 42. Let w = b + 11.7. Let i = w + -12. Sort 3, i, -1 in decreasing order.
3, -1, i
Let n = 43/45 + -14/9. Put -1.84, 0.1, n in ascending order.
-1.84, n, 0.1
Let a = 82 + -68. Sort 2/9, -1/2, a, -4 in descending order.
a, 2/9, -1/2, -4
Let k = 659856006/1111 + -593930. Let s = k - -2/101. Suppose 0 = -4*o - 619*c + 617*c + 8, -o - 4*c - 5 = 0. Put o, s, 5 in ascending order.
s, o, 5
Let b = 21728612292410290524427/22874985 + -949885313254207. Let a = 2/72619 - b. Let p = a - 1/63. Sort 2/11, p, -4.
-4, p, 2/11
Suppose 9*f - 7*f = -20. Let b(n) = -n**2 + 7*n + 9. Let t be b(8). Suppose -9 + t = k + 5*g, 0 = 3*k + 3*g. Sort 3, k, f in increasing order.
f, k, 3
Let x be 3*(7 - 56/24). Suppose 3*i = -3 - 3. Sort x, 4, i in decreasing order.
x, 4, i
Let m = -196 + 194. Sort -1/3, m, -5/4.
m, -5/4, -1/3
Let z be 10/(-8)*12/(-9). Let d = -25 - -29. Sort 3, d, -0.2, z in ascending order.
-0.2, z, 3, d
Let o(c) = 2*c**2. Let v be o(1). Suppose 0 = -r - 5*a - 5, 4*r - 26 = 2*a + a. Suppose g + 3*g = r*g. Put -1, v, g in increasing order.
-1, g, v
Let n = -69 + 70. Let g(z) = z + 11. Let l be g(-11). Sort n, 3, l, -3.
-3, l, n, 3
Suppose 3*t + 1 = 3*r + 40, -2*t - 49 = 3*r. Sort r, 0, 2 in descending order.
2, 0, r
Let p = -1126/5 - -226. Sort -12, p, 4, 4/7.
-12, 4/7, p, 4
Let q be 3 + (-6)/3*-11. Suppose 2*n = 7*n - q. Let i = 253 - 3291/13. Put i, -1/4, n in decreasing order.
n, i, -1/4
Let n = -0.2665 - 0.0335. Put 1/11, n, 2/11 in descending order.
2/11, 1/11, n
Let k = 1355/7 - 193. Let d be 2/8 - 0/17. Sort 0.2, k, d in ascending order.
0.2, d, k
Suppose 7*n - 6*n = 4*h + 6, 0 = 2*n - h - 12. Sort 1, n, -9, -3 in descending order.
n, 1, -3, -9
Let i = -184.03 - -184. Sort -5/3, i, -2 in ascending order.
-2, -5/3, i
Let d = 1935/8 - 242. Sort -0.22, d, -2/13 in increasing order.
-0.22, -2/13, d
Suppose -4*y = h - 54, -y + 2 = 4*h - 4. Let d = 5.6 - 1.6. Put d, 1/4, y in increasing order.
1/4, d, y
Let z = 18 - 17.9. Let p = 0.33 - -3.07. Let d = -2.8 + p. Sort -1/3, d, z.
-1/3, z, d
Let l be (-3)/15 - (-172)/10. Let x(y) = y - 12. Let i be x(l). Sort 3, i, 0 in decreasing order.
i, 3, 0
Let g = 19 + -8. Let m be (-140)/84 - (-59)/39. Put m, g, -0.3 in descending order.
g, m, -0.3
Let i(t) = 2*t**2 - 33*t + 67. Let l be i(14). Put l