4 + 67. Let r be 306/68*(2 + h/9). Sort r, 1, -1, 5 in descending order.
5, 1, r, -1
Suppose -12 = -15*c + 33. Put -25, c, 5, -28, -5 in decreasing order.
5, c, -5, -25, -28
Let g(l) = -l**3 + 42*l**2 - 42*l + 39. Let a be g(41). Sort a, 4, 0, 3, 673 in descending order.
673, 4, 3, 0, a
Let s = 4530 + -4529.7. Put s, -156, -5 in decreasing order.
s, -5, -156
Suppose 0 = 11442*d - 11423*d - 38. Sort 4, 14, -4, 1, d.
-4, 1, d, 4, 14
Let t(g) be the first derivative of -8*g**3/3 + 7*g**2/2 + 14*g + 1. Let x(r) = -87*r - 3. Let z be x(0). Let p be t(z). Put -2, p, 1 in descending order.
1, -2, p
Let j = -536 + 764. Let q = 231 - j. Sort 1, -2, 12, q.
-2, 1, q, 12
Suppose -3*t = -4*h - 27, 3*t + 27 = -7*h + 2*h. Suppose 10*d - 5 = 135. Let q be (-42)/d - (2 + -5). Sort h, -2, q in increasing order.
h, -2, q
Suppose 87*p - 103*p + 32 = 0. Let o be (p - (-4)/(-6))/(16/108). Put -0.3, -0.5, o in ascending order.
-0.5, -0.3, o
Suppose -3*g - 5*h = 9, 3*g + 0*g = -2*h. Let m = 735 + -709. Put g, -4, -2, m in ascending order.
-4, -2, g, m
Let w = 20975 + -20974. Sort -22, -3, w in increasing order.
-22, -3, w
Suppose -6*k + 2*k + 4*w - 92 = 0, -w = -2*k - 46. Suppose 6926 = 457*n + 9211. Sort 5, n, k.
k, n, 5
Suppose 29*h - 16*h - 758 = 48. Sort 0, 1, h.
0, 1, h
Suppose -615 - 25 = -8*o. Let k = -80 + o. Let m be 4/2 + k + 9 + -8. Put -8, m, -5, 5 in increasing order.
-8, -5, m, 5
Let h = -8560 + 8555. Sort 1, 1/5, -2, -3/98, h in ascending order.
h, -2, -3/98, 1/5, 1
Suppose 1 = i + 4*s, 214*i + 12 = 212*i - s. Sort i, 1, 9, -4, 3 in ascending order.
i, -4, 1, 3, 9
Let b = 2177 + -2180. Sort 1/330, -2/11, b in decreasing order.
1/330, -2/11, b
Let t(f) = 50*f - 107. Let v be t(11). Let q = v + -443. Sort -2/5, q, 2/21, 1.1.
-2/5, q, 2/21, 1.1
Let f = 8019 - 8012. Sort f, 1, 31 in decreasing order.
31, f, 1
Suppose a - 6*a - 2*h + 10 = 0, -3*h + 4 = 2*a. Suppose 5*o = -a*z + 3, -2*z + 0 = 4*o - 4. Sort o, 5, -3, -5 in increasing order.
-5, -3, o, 5
Suppose 2*v = 17 - 41. Let c(x) = x**2 + 11*x - 12. Let n be c(v). Suppose 3*g + 12 = -n*g. Put 3, 0, g in descending order.
3, 0, g
Suppose m - 103 = -0*x + 2*x, 4*m = -20. Let k be 0 - (-3)/(x/4). Suppose s + 2 = 0, a + 10 = -16*s + 12*s. Put 4, a, 1/2, k in decreasing order.
4, 1/2, k, a
Suppose 3*d + 18 = 0, 99*d - 100*d - 546 = -4*w. Sort 0.4, -2/9, w in ascending order.
-2/9, 0.4, w
Let d(r) = -r**2 - 11*r - 6. Let n be d(-10). Suppose -2*j = 8, 0 = 4*p + p + n*j - 19. Let f = 14/121 + -177/484. Put -5, p, f in decreasing order.
p, f, -5
Let f be 8/(-2) + (2 - -2). Suppose -3*n + 4 = 4*p - f, -10 = 5*p. Let x = 37/3 + -188/15. Put x, n, 2/3, 5 in descending order.
5, n, 2/3, x
Suppose 87 = -42*h - 81. Let f be (h/(-6))/(16/(-24)). Suppose -5*v - 17 + 2 = 0. Put v, f, 6 in ascending order.
v, f, 6
Let b = 0.8 - 3.8. Let r be 0/(-1) - -3*4/(-48). Let o be (((-105)/(-441))/(5/2))/(20/35). Put o, 15, r, b in decreasing order.
15, o, r, b
Suppose 2*r - 7*r + 180 = -5*q, -3*q = 3*r + 96. Let o = q - -31. Let p(w) = -w**3 + 6*w**2 + 8*w - 2. Let a be p(7). Sort o, 3, 2, a in descending order.
a, 3, 2, o
Let y be 6 - ((393/63 - (-4)/(-12)) + 0). Let l be 3/2 + 1/(-1). Put l, -8, 1, y in ascending order.
-8, y, l, 1
Suppose 168*k = 167*k. Put 4, -1/133, k in decreasing order.
4, k, -1/133
Let u be (4/6)/((-2)/3). Let m be (((-1)/2)/(12/8))/(1 + -2). Sort m, -3/7, 1, u in ascending order.
u, -3/7, m, 1
Let s = -2.61 + 2.6221. Let x = s - 0.4121. Let o be (-1)/1 - 1/(-2). Put x, o, 11, 4 in descending order.
11, 4, x, o
Suppose 212 = 8*n - 4*n. Let w = -49 + n. Suppose w*c = 2*c - 4*c. Put 2, -10, c in decreasing order.
2, c, -10
Let b(j) = -2*j**3 + 3*j**2 + 17*j - 34. Let w be b(2). Suppose -3*a - 4*f - 26 = 0, a = 5*a + 4*f + 28. Let c be (5 + w)*a - (0 + 2). Sort -7, -2, c, -5.
-7, -5, c, -2
Suppose 22*d - 38*d - 5904 = 0. Let b = d + 371. Sort -45, 1, b in decreasing order.
b, 1, -45
Let q = 0.2 + 0. Let j = 0.3 + q. Let z = -201634 - -201637. Sort 2, -0.3, z, j in ascending order.
-0.3, j, 2, z
Let w = -0.397 - 0.003. Suppose 6*d + 17*d - 69 = 0. Sort 4/5, d, -2, w in descending order.
d, 4/5, w, -2
Suppose -i = 3*n, 0 = -3*i - 2*n - n - 6. Let t = 0.3 - 0.2. Let c = 20.794 + -20.794. Sort 2, t, i, c.
i, c, t, 2
Suppose -3*i - 5 = 2*i. Suppose -7*f - 13 = -27. Let n be ((-1)/(-1 + 0))/1 + -5. Sort f, i, n, -2 in ascending order.
n, -2, i, f
Suppose 4*z + 22 = -2*q, -62*z - 4*q + 11 = -65*z. Put 22, z, -3 in ascending order.
z, -3, 22
Let r = 2 - 3. Let c be -4 - r*0/3. Let p be (4/(-5))/(9 + (-658)/70). Sort p, -1, 0, c in descending order.
p, 0, -1, c
Let t = -8590 - -8594. Let o = -4 - -6. Suppose -o*b = 3*b. Put b, -9, t in descending order.
t, b, -9
Let b(a) = -a - 6. Let k be b(-4). Suppose -4*w = -l - 2*l - 55, 5*w + 2*l - 63 = 0. Suppose w = -h + 8. Sort k, 0, h in descending order.
0, k, h
Let l(m) = -1270*m + 7564. Let r be l(6). Sort r, -2, 0, 2/9 in descending order.
2/9, 0, -2, r
Let c(s) = 28*s**2 + s - 1. Let f be c(1). Let z = f + -22. Suppose -2 = 4*v - 2*l, 4*v - z*v + 3*l - 7 = 0. Sort v, -3, 0 in descending order.
v, 0, -3
Let b = 13224/5 + -2645. Sort 1/25, 0.3, -4, b in decreasing order.
0.3, 1/25, b, -4
Suppose 3*t - 7 = 2*f, 2*t + 3*f + 2 = f. Let c be (-8 - (-17 + t)) + -4*1. Put -20, -5, c in increasing order.
-20, -5, c
Let d = -2304 + 2306. Sort 6/5, 37, d in increasing order.
6/5, d, 37
Suppose -j - 9 = -4*j. Suppose 321*q + 720 = 326*q. Let d = 148 - q. Put -2, -1, j, d in decreasing order.
d, j, -1, -2
Let b = -3/730 + -1421/9490. Put -3, 41, 2, b in descending order.
41, 2, b, -3
Let q = -1474/3 - -490. Let m = 191/555 + -2/185. Put m, 53, q in increasing order.
q, m, 53
Suppose -x = -q - 1, 2*x = 7*q - 10*q + 2. Let r(j) = -j**2 + j + 5. Let k be r(3). Sort -1/12, q, k in ascending order.
k, -1/12, q
Suppose -423 = 9*j - 270. Suppose -4*n - 3*p + 3 = 0, n + 6 = -6*p + 3*p. Sort 2, n, j in decreasing order.
n, 2, j
Let p = 3277 - 3275. Sort 9, 0, 5, p in increasing order.
0, p, 5, 9
Let p be 6/(-33)*70/4 + 318/1749. Sort -229, 2, -1, p.
-229, p, -1, 2
Suppose -58*c + 60*c - 4*z = 74, -6 = -2*z. Put c, 1, 9 in decreasing order.
c, 9, 1
Let a be (-6)/4*(3 - 1)*-3. Suppose 4*g - a = -5*k, -3*k = 2*k - 25. Let c be (-50)/21 + 22/(-77). Put g, c, -0.2 in ascending order.
g, c, -0.2
Suppose -4*b + 12 = 2*b. Suppose b*v = -4*o + 4, -15*o - v = -14*o - 3. Put o, 0, -2, 2 in descending order.
2, 0, o, -2
Let o(j) = -j**2 - 6*j + 18. Let a = 27 + -35. Let u be o(a). Suppose -17 = -2*p + 3*q, 3*p = 2*q + u + 11. Sort 4, p, 2.
p, 2, 4
Let j be (39/2 + -18)*(1 + -3). Let s = 4 - 4. Let c = s - 4. Sort -2, j, c, 5.
c, j, -2, 5
Suppose -52*l = -50*l. Let x be (6/12)/(2/(-16)). Put x, l, -7 in decreasing order.
l, x, -7
Suppose -8*n + 5*k = -5*n + 17, -3*n + 2*k = 5. Put 3, n, 11, -7, 2 in descending order.
11, 3, 2, n, -7
Let z = 3826.01 - 3826. Put 1/2, z, -5/2, 1/15, -2/9 in decreasing order.
1/2, 1/15, z, -2/9, -5/2
Let z(w) = w**2 + 63*w - 20769. Let h be z(116). Let v be -3 - (3 - 2 - 0). Put v, 1, h, 33 in increasing order.
h, v, 1, 33
Let h be (-330)/320 + 16/512. Let l = 2 + -1. Let q be l/(-2*2/(-8)). Sort h, q, -2, -5.
-5, -2, h, q
Let x = -0.68 - 87.32. Let g = x + 147. Let o = g - 63. Sort o, 7, 0.4, -3.
o, -3, 0.4, 7
Let o = -16698 - -16693. Put -44/7, -4, -1, 1/5, o in ascending order.
-44/7, o, -4, -1, 1/5
Let w be ((-378 + (-24)/8)/3)/1. Sort w, -2, 2, 3 in descending order.
3, 2, -2, w
Suppose -3*y = -47*i + 49*i + 18, 5*y - 4*i + 8 = 0. Let z be (-5)/(5/(-4)) - 4. Sort y, z, -2, 6 in increasing order.
y, -2, z, 6
Let u = -10 - -12. Let y(o) be the third derivative of o**4/6 + 11*o**3 - 22*o**2 + 2*o. Let t be y(-17). Put -4, t, -5, u in decreasing order.
u, t, -4, -5
Suppose -5*m - 6 = -2*y, -m + 5*m = 0. Let s(k) = -190*k - 16916. Let n be s(-89). Put n, -2, y, -3 in decreasing order.
y, -2, -3, n
Let f(x) = 41*x - 42. Let m(q) = 616*q - 630. Let s(n) = -91*f(n) + 6*m(n). Let t be s(1). Put -4, -9, 5, t in descending order.
t, 5, -4, -9
Suppose 3*z + 118 = -2*z - f, -3*z = -5*f + 82. Let v(a) = a**3 + 20*a**2 + 19*a - 4. Let r be v(-19). Sort z, -2, r, -1 in ascending order.
z, r, -2, -1
Let j = -18.7 - -18. Let q = -107069 + 107071. Sort 12, q, -5, j in ascending order