creasing order.
g, 5, 4, -1
Let h(f) = f**3 - 36*f**2 - 251*f - 46. Let q be h(42). Put -2, 2, 3, q in decreasing order.
3, 2, -2, q
Suppose 0 = h - 57 + 17. Let k = h + -35. Put 17, 0, k in descending order.
17, k, 0
Let b(z) be the third derivative of z**6/60 - z**5/60 - z**4/8 - z**3/6 - 27*z**2. Let v be b(2). Put v, 1, -87 in descending order.
v, 1, -87
Let m(i) = 19*i**2 - 30*i - 11. Let p be m(2). Put p, 8, 6 in decreasing order.
8, 6, p
Let g(t) = 11*t**3 + 2*t**2 + 9*t - 17. Let z(w) = 3*w**3 - w**2. Let f(o) = -g(o) + 4*z(o). Let y be f(7). Sort 2, 64, y in ascending order.
2, y, 64
Suppose 0 = 781*o - 773*o - 9 - 23. Let n = -16 + 15. Put -5, n, o in increasing order.
-5, n, o
Let u(t) = -6*t**2 + 228*t + 476. Let k be u(40). Sort 0, -14, k, -3, 1 in ascending order.
-14, k, -3, 0, 1
Let s be 29/87 + 496/(-3). Let t be ((s/9)/11)/((-2)/(-6)). Put -44, t, -4, 2 in decreasing order.
2, -4, t, -44
Suppose -6*l = 2*l - 528. Let c = l + -71. Let f = 6 + 3. Sort c, f, -1 in decreasing order.
f, -1, c
Suppose 0 = -4*z + 230 + 218. Let f be (5 - z/20) + (-144)/(-165). Let o = 1064/13 - 82. Put -3, f, o in ascending order.
-3, o, f
Suppose -17*u = -g - 20*u - 16, u = 2*g + 4. Let t = 2.91 - -0.09. Let r = -0.4 + -0.1. Sort g, r, t in descending order.
t, r, g
Suppose 18 = 2*a - 4*f - 20, 0 = 4*f + 32. Suppose 0 = 3*l + 27 - 9. Sort a, 1, 0, l in ascending order.
l, 0, 1, a
Let b = 277 + -279. Let j be (b - (-2)/6) + (-13 - -12). Sort j, 5, -3, -0.3.
-3, j, -0.3, 5
Let k = -76.2 + 70.57. Let u = k + 5.63. Let p = -137 - -1093/8. Put u, 28, p in increasing order.
p, u, 28
Let t = 3732 + -3736.666. Let z = t - 0.334. Let b = -0.94 - 0.06. Sort 1/2, b, z, -4 in decreasing order.
1/2, b, -4, z
Suppose 0 = -5*j + 12*j + 7. Let p(a) = -2*a + 7. Let n be p(-6). Suppose -4*w - 7 = -n. Sort w, 23, j in decreasing order.
23, w, j
Suppose 3*s = -2 - 10. Let n be (29 - (-9553)/(-328)) + (-82)/(-16). Sort 3, 8, n, s in descending order.
8, n, 3, s
Let i be ((-44)/(-14) - 2)/(-16*24/(-1344)). Put 72, 10, i, -1, -5 in ascending order.
-5, -1, i, 10, 72
Let g = -25 - -24.596. Let q = 0.104 + g. Put 21.7, -1/9, q in descending order.
21.7, -1/9, q
Let p = 6339 - 6337. Let z be 2*((-1)/1 - -2). Suppose -p*l - 10 = -4*j, 4*l + 0*l + 20 = -z*j. Sort -0.2, -4, j.
-4, -0.2, j
Let i = 1517 - 1517.4. Let r = 2.05 - -103.95. Sort 2, i, r, -1.
-1, i, 2, r
Suppose 130 = 24*h + 2*h. Let t(y) = -2*y - 8. Let w be t(-5). Suppose -4*q + w*q = 0. Sort h, -5, 9, q in increasing order.
-5, q, h, 9
Let d = 90 + -134. Let l = d + 44.74. Let n = -1.14 + l. Sort n, -11, 2.
-11, n, 2
Let q(m) = m**2 + 3*m + 1. Let y be q(0). Let d be 0/1 - 2*-1. Let z be (1/5)/(3/60). Put -5, y, d, z in descending order.
z, d, y, -5
Let i be 3798/(-27)*(-15)/(-10). Let t = i - -206. Put 2, 4, -1, t in decreasing order.
4, 2, -1, t
Let b = 4 - 6. Let c = -106 - -108. Suppose -c*x + 10 = l - 10, -l + 4 = 0. Sort b, x, 2 in decreasing order.
x, 2, b
Suppose 3*w - 2*w - 7 = 0. Let o = -84960 + 84964. Put o, -2, w in increasing order.
-2, o, w
Let u = -29.82 + 30.02. Put 9, 7, 6, u in decreasing order.
9, 7, 6, u
Let x = 5767/43365 + 1/2891. Sort -2, x, -0.8, -1/3, -5.
-5, -2, -0.8, -1/3, x
Suppose 4*l - 12 = -u, -7*l + 6 = u - 6*l. Let q(i) = -2*i**3 + 2*i**2 - 7*i - 9. Let z be q(-1). Sort -7, 7, z, u in descending order.
7, u, z, -7
Let j = 9356 - 9360. Put 1.4, 5, -5, j in decreasing order.
5, 1.4, j, -5
Suppose -r - 1188 + 484 = 4*w, 4 = 2*w. Put 1, r, -1 in increasing order.
r, -1, 1
Suppose 0 = -3*q + 3*g + 18, -4*q = 3*g - 35 + 25. Put 3, -382, q, -2, -4 in decreasing order.
q, 3, -2, -4, -382
Let f = 203 + -141. Let k = f - 63. Put -7, 8, -4, k in increasing order.
-7, -4, k, 8
Let x = 6/14363 - 43101/28726. Let r be (-8)/15 - 6/(-18). Put r, -11, 0, x in increasing order.
-11, x, r, 0
Let r(f) = -f**3 + f**2 - 1. Let k be r(0). Let h(l) = l**3 - 41*l**2 + 178*l + 45. Let b be h(36). Sort 3, k, b.
b, k, 3
Suppose 505*a = -3528 + 10093. Sort -7, -4, a, 0, 9 in ascending order.
-7, -4, 0, 9, a
Let c be 6 - 10 - 14*19/2. Let w = 141 + c. Suppose 5 = -b + 10. Sort w, b, 3.
3, w, b
Let z be 2/(-4) - (-11)/2. Suppose z*r - u + 37 = 0, -r - u + 4 = 9. Suppose -1521*g - 213 = -1431*g + 147. Sort 3, g, r, 2 in descending order.
3, 2, g, r
Let s = 0.23 - -0.07. Let w = -7/170 + 431/2210. Put s, w, -1/4 in decreasing order.
s, w, -1/4
Let u(r) = -155*r - 3095. Let o be u(-20). Let d(t) = -t - 2. Let m be d(-10). Sort 4, m, o in increasing order.
4, o, m
Let m = 645 + -1939/3. Sort 1605, -2, m in increasing order.
-2, m, 1605
Suppose 4*c - 11 = 5. Suppose c*w = -w - 5. Let h = -6432 + 6430. Put -3, w, h, 3 in ascending order.
-3, h, w, 3
Let l(y) = y**3 + 14*y**2 - 22. Let z be l(-14). Let w(r) = 2*r + 29. Let a be w(z). Let n = a + 17. Put -3, 1, n in decreasing order.
n, 1, -3
Let c be -10 + 3 - (-69 + 5). Let h be c/9 - (6 - (-84)/(-18)). Sort 10, 4, h in descending order.
10, h, 4
Let v = -53.338 - -53.07. Put -0.5, -2, -4, v in ascending order.
-4, -2, -0.5, v
Let o = -1.037 + 6.037. Put -4, 0.2, -5, o in decreasing order.
o, 0.2, -4, -5
Let d(t) = 7*t - 777. Let s be d(110). Put s, -3, 1, -36 in descending order.
1, -3, s, -36
Let v be 1/(3/(146 + -2)). Suppose -4*j + 3*j - v = 2*h, -4*h - 3*j = 92. Let t = 25 + h. Sort 0, -2, t in descending order.
0, t, -2
Let k = 15.4 - -3.6. Let j = k + -24. Let b = 162 + -165. Sort 2, j, -0.5, b in descending order.
2, -0.5, b, j
Let v = -3406 + 20435/6. Let f(s) = s**3 + 6*s**2 - 3*s - 14. Let x be f(-6). Sort v, 2/59, 0.1, x in decreasing order.
x, 0.1, 2/59, v
Let j(h) = 2*h**3 - 5*h**2 - 10*h - 9. Let p be j(4). Suppose -3*b = -5*b - 2*g - 8, -b - 3*g = 12. Sort b, 3, p.
p, b, 3
Let j(q) = -q**2 + 48*q - 573. Let h be j(26). Suppose -7 = 2*l - 17. Put l, 4, h, -5 in descending order.
l, 4, h, -5
Let q = 1220 - 821. Let d be (-10)/95 - 1041/q - -3. Sort d, 2/15, -28.
-28, 2/15, d
Let g = -1570 + 1574. Let a be (2/(-21))/(4/(-6)). Sort g, 0.1, 0.4, a in increasing order.
0.1, a, 0.4, g
Suppose 7*o + 101 = -36*o - 71. Let k = -0.3 + 0.2. Put -6, 0, o, k in descending order.
0, k, o, -6
Let k(g) = -g**3 + 80*g**2 - 77*g - 157. Let v be k(79). Sort 3, v, 5, 12, -1.
-1, v, 3, 5, 12
Let z = 893/5 + -178. Let g be (-471)/942*156/(-11). Sort z, 5, -2, g in decreasing order.
g, 5, z, -2
Suppose -3*d = -19*n + 22*n - 39, -2*d - 9 = -3*n. Sort -2, -3, 5, -9, n in decreasing order.
n, 5, -2, -3, -9
Let a(f) = -14*f + 7. Let x be a(-2). Suppose -2*w - 3*d + x = 0, 0 = -w - 2*w + 4*d + 27. Sort 0.4, w, -3 in descending order.
w, 0.4, -3
Let q = -117 + -9. Let u = q - -884/7. Suppose -4*j = 5*i + j + 15, 4*j = 5*i + 15. Sort u, 0.1, i in decreasing order.
u, 0.1, i
Let p = 87449/13 + -6723. Let i be (-66)/30 + 1/5. Put 4, p, i in decreasing order.
4, p, i
Let c be (1/3)/(3/6). Suppose -11*y = 12 - 56. Let u be -17*y/16 - -5. Sort 4, u, c.
c, u, 4
Suppose -220 = -12*c + 56. Suppose -26*p = -c*p. Let a be 38/57*((-5)/2)/(-5). Put -9, a, p, -4 in decreasing order.
a, p, -4, -9
Let y(n) = -16*n - 94. Let x(r) = r**3 + 13*r**2 - 15*r - 20. Let m be x(-14). Let k be y(m). Sort -4, 4, k, -7 in descending order.
4, k, -4, -7
Let q = 0.18 + -0.2. Let a = 6.7 + -1.7. Let o = -1703/2541 + 3/847. Sort q, a, o in increasing order.
o, q, a
Let s = 242.018 - 242. Let j = 67 - 67.482. Let w = j - s. Sort 1/2, -1, w, 4 in increasing order.
-1, w, 1/2, 4
Let v(m) = m**3 + 6*m**2 + 4*m - 6. Let j be v(-5). Suppose -3*h - 5*g = -5, 0*h - 2*h - g = -1. Suppose -2*t + 7 - 1 = h. Sort t, j, 5, -5 in descending order.
5, t, j, -5
Suppose -58*c = 4*c + 4*c - 215358. Put 0, 5, c in ascending order.
0, 5, c
Let c be (-10)/(-4)*(-26)/5. Let d(n) = -n - 7. Let a be d(c). Let h be (18 - 4) + (1 - a). Sort h, -1, 0.
-1, 0, h
Let m = -107 + 149. Let n be (-72)/(-14) + (-6)/m. Sort 6, 0, n in decreasing order.
6, n, 0
Let r be 3/6*(-156)/1014. Put -3, 1/4, -79, r in descending order.
1/4, r, -3, -79
Let n be 970/(-42) + -102 + 125. Sort -12, n, 0, -1 in descending order.
0, n, -1, -12
Let y = 415802/15 + -27720. Put y, 4, -220, 3/7 in decreasing order.
4, 3/7, y, -220
Suppose 13*t = -10*t + 3335. Let s = t - 140. Put s, 33, 1 in descending order.
33, s, 1
Let k = 29.1 - 28.9. Let a = 48.9 + -49. Put 