 4
Suppose -204 = 4*x - 2*w, 0 = -w + 178 - 180. Put x, -9, 1, -5 in descending order.
1, -5, -9, x
Let f = 0.03774 - -0.01226. Put -1, f, -0.3, 5, 3/2 in decreasing order.
5, 3/2, f, -0.3, -1
Let b be -8 + 120/252*(216/15 + 3). Sort b, 4, -10, -0.06 in descending order.
4, b, -0.06, -10
Let k = -5346 - -5348. Sort k, 20, -6, 3, -2 in decreasing order.
20, 3, k, -2, -6
Let k = 21 + -9. Let o be ((-3)/(-27))/(k/36). Let j = -1 + 0. Sort 1/8, o, 1/4, j.
j, 1/8, 1/4, o
Let q = -2.94 - -3. Let h = -0.24 - q. Let x = -31.06 + 31. Put 1, h, x in increasing order.
h, x, 1
Suppose w - 40 = -7*w. Suppose 4*a - 2*y - 18 = 0, a + 3*y - w*y - 6 = 0. Sort 3, a, 15, -3 in ascending order.
-3, 3, a, 15
Suppose -2*o = -12*r + 17*r - 20, r - 4 = 3*o. Put 5, 3, -1, r, 15 in decreasing order.
15, 5, r, 3, -1
Let y = 2240 - 2237. Put y, 6/5, 0.031, -7 in increasing order.
-7, 0.031, 6/5, y
Let o(u) = 8*u + 25. Let n(f) = -9*f + 77. Let b be n(9). Let a be o(b). Sort 1, a, -4, 4 in ascending order.
a, -4, 1, 4
Suppose 0 = v - 2*v + 1. Let d(s) = -10*s - 60. Let u be d(-11). Let l = u - 151/3. Put l, 2/9, v in ascending order.
l, 2/9, v
Let o be (-56 - -1) + (6 - -4 - 8). Let c = 110 - 162. Let n = c - o. Put -4, -8, n, -2 in ascending order.
-8, -4, -2, n
Let v = -0.13424 + -0.16576. Sort 2/17, 5/4, -2, v, 120.
-2, v, 2/17, 5/4, 120
Suppose -3*j + q + 38 = j, -3*j + 33 = -3*q. Let f be 6/9 - 6/j. Put 2/13, 1.7, f in decreasing order.
1.7, 2/13, f
Let c(n) = -n - 10. Let r be c(-8). Let w be (-6)/(-42)*r - (-148)/28. Suppose 0 = 4*p + 22 - 2. Put p, w, 0 in descending order.
w, 0, p
Let j = -10620 + 10622. Put -4, 2/101, j in ascending order.
-4, 2/101, j
Let g = -55.46 + -143.68. Let a = g + 201. Let w = 0.14 + a. Sort 3, 1/4, w, -3.
-3, 1/4, w, 3
Let f = -92 + 91.49. Let r = f - -1.51. Let a = -10 + 5. Put 0, r, a, 5 in descending order.
5, r, 0, a
Let i(n) = -n + 4. Let u be i(2). Let h be -3*(-5)/(-45)*3 - (4 - -2). Sort 0, h, u, -1.
h, -1, 0, u
Suppose 0 = -9*c + 61 + 83. Suppose 73*b - 33*b - 61*b = 63. Suppose 0 = -3*y + l + 11, -4*y - 2 = 2*l - 30. Put c, y, b, -1 in ascending order.
b, -1, y, c
Let d = 125 + -117. Suppose -8 = -2*p + d. Suppose -6*k + p = -2*k. Put k, -1, 4 in ascending order.
-1, k, 4
Let l = 17 - 12. Let z be 14 + 2/(-18) + (-494)/(-234). Suppose -6*k + 2*k = -n - 17, l*k - z = -4*n. Put n, 0, 4 in decreasing order.
4, 0, n
Suppose -212*t - 14 = -198*t. Let c = -27 - -31. Sort c, 5, -1/4, t in ascending order.
t, -1/4, c, 5
Let q = 3077 + -3072. Put -3, q, 4/7, -1/34 in descending order.
q, 4/7, -1/34, -3
Let k = -8825.6 + 8826. Put k, 0.2, -1/72 in decreasing order.
k, 0.2, -1/72
Suppose -4*l + n + 7 = 0, -2*l = -2*n - 3 + 1. Let f be (l + 3/(-6))/(15/10). Put -5, f, -84 in decreasing order.
f, -5, -84
Let t(v) be the second derivative of v**3/3 + 10*v**2 - 40*v. Let n be t(-12). Suppose -3*z + 4 - 13 = 0. Put -2, n, z in descending order.
-2, z, n
Let a be (-177840)/(-6120) - (-1)/(-17). Sort a, -21, 1, -0.2 in decreasing order.
a, 1, -0.2, -21
Let t = 1.3 + -0.3. Suppose 3*b + 3*s = 6, 2*s - 265 = -3*b - 270. Sort b, t, 0.4, -0.02 in ascending order.
b, -0.02, 0.4, t
Let h = 2 - -3. Let m = -6350.5 - -6350. Let x = 13 - 11. Put x, m, h in increasing order.
m, x, h
Suppose 0 = -n + 5*j - 69, -3*j = 5*n - 2*j + 215. Sort n, -4, -5, 8 in ascending order.
n, -5, -4, 8
Let r(k) = -k**2 - 73*k - 147. Let s be r(-71). Sort -4, -115, 0, s, -1 in increasing order.
-115, s, -4, -1, 0
Suppose -5*s + 8975 = -2*g, 8950 = 5*s - 7*g + 10*g. Suppose s*l - 1790*l - 12 = 0. Let a = 23 - 8. Sort l, 1, a.
1, l, a
Let d(z) = -z**2 + 9*z - 3. Let t = 213 + -205. Let h be d(t). Sort -2, h, 1, 3 in increasing order.
-2, 1, 3, h
Let p be -8*5*(-75)/(-700) + (-4)/(-14). Sort -1, -3, p, -5 in decreasing order.
-1, -3, p, -5
Let r = -1.68 + 1.749. Let l = 46.669 - r. Let v = l + -47. Sort v, -0.2, -3, 0 in ascending order.
-3, v, -0.2, 0
Suppose 3*j + 3*c + 36 = 0, 4*j - 5*c + 10 + 11 = 0. Suppose 5*a + 3*t - 4 = 0, -3*t + t = 2*a. Let x be 5/(-6) + 2/(-12). Put 5, a, j, x in descending order.
5, a, x, j
Suppose -25 = -5*d + i, 38 = 3*d + 2*i + 23. Put d, 4, -8, -2/11 in increasing order.
-8, -2/11, 4, d
Let q be 3 + (-4)/102 + -3. Let v = 125.145 - 125. Let k = v - 1.145. Sort k, -0.1, q in decreasing order.
q, -0.1, k
Suppose -146 = 22*i - 124. Put -2, -24, i in decreasing order.
i, -2, -24
Let r be ((-4)/6)/(1/(-2))*630/1050. Let o = -209/12 - -56/3. Sort r, o, 2/17 in ascending order.
2/17, r, o
Let k be -2*((-5)/2 + -1). Let f be (1/1)/((-1)/k). Let b = -25125 - -25125.4. Sort f, b, 3/5 in descending order.
3/5, b, f
Let b = 0.01 + 0.29. Let w = 18.7 + b. Let s = w + -18. Put 5, s, 0.2 in decreasing order.
5, s, 0.2
Let r(t) = -2*t - 11. Let x be r(-5). Let a = 545.7 - 575. Let o = a + 29. Put -0.5, x, o, 3/2 in increasing order.
x, -0.5, o, 3/2
Let x = 9 - 4. Suppose -5*r - 4*n - 192 + 187 = 0, -4*r - 5*n - 13 = 0. Sort x, -13, 4, r in descending order.
x, 4, r, -13
Let l = -3677 + 3676. Sort 0, l, -12, 2 in increasing order.
-12, l, 0, 2
Let l = -1 + -25. Let z be ((-4)/(120/45))/((-24)/64). Put -1, z, l in ascending order.
l, -1, z
Let g(y) = -4*y**2 - 3*y + 23. Let r be g(-6). Let s = r - -107. Let t = -11 - -6. Put -2, s, t, -34 in increasing order.
-34, t, -2, s
Let b(w) = -w - 2. Let q be b(3). Let l = -116 - -549. Let y = l + -431. Sort q, y, 4, -4 in descending order.
4, y, -4, q
Let h = -1127 + 1127.5. Put h, 2, -5, -1870 in decreasing order.
2, h, -5, -1870
Let r = -10244 + 71710/7. Sort -3/4, 0.18, 2, 3/2, r in increasing order.
-3/4, 0.18, r, 3/2, 2
Let a be (-1)/(-2)*17*(-37)/1887. Put 2/13, -21/4, 4, a in ascending order.
-21/4, a, 2/13, 4
Let t = 177.6702 + -0.0702. Let d = 178 - t. Sort d, 1, 0.2, -20 in descending order.
1, d, 0.2, -20
Let a = 0.23 + -1.23. Let c = 15.5 + 1.5. Let z = 145.4 + -145.9. Sort a, c, z.
a, z, c
Let n = 165.855 + -166. Let s = n - -36.145. Put s, 2, 1 in descending order.
s, 2, 1
Let q = -88 - -129. Let d = 44 - q. Sort 5, -4/7, -2, d in ascending order.
-2, -4/7, d, 5
Suppose 0 = 4*f + t + 8 + 8, f + 3*t + 15 = 0. Sort -2, -54, f in ascending order.
-54, f, -2
Let c(q) = -282*q - 6771. Let o be c(-24). Sort o, -3140, 2 in increasing order.
-3140, o, 2
Let i = -5.6 + 5.6. Let x(v) = -14*v - 1114. Let k be x(-64). Put 4, k, i in ascending order.
k, i, 4
Let f be (-2*9/2)/((-25)/(-11 - 14)). Put -3, -26, f in increasing order.
-26, f, -3
Let q = 159 + -163.3. Let i = q + -0.7. Sort 1/50, i, -4/7, 0.1 in decreasing order.
0.1, 1/50, -4/7, i
Let s = 12680.4 + -12680. Sort s, 0, -4/61 in increasing order.
-4/61, 0, s
Let b be 1 - (-12 - -6) - (7 + -3). Put -33, b, 25 in decreasing order.
25, b, -33
Let f = 279 - 279.9. Let b be (-2)/4*(-9 - -7). Sort b, f, -1.
-1, f, b
Let d = 214 - 218. Let j(b) = b**3 - 8*b**2 + 8*b - 8. Let r be j(7). Let i be -1 + 4*(10/(-2))/(-5). Sort -2, d, r, i.
d, -2, r, i
Suppose 3*z - 7*h = -23, 2*z - 88*h + 87*h = 3. Let k = -1 - -2. Let l = k + -4. Sort l, 0, z in ascending order.
l, 0, z
Suppose -2 = m + 1. Let i = -67018 - -67029. Sort -2, i, m, 1 in decreasing order.
i, 1, -2, m
Suppose 4*r - 5*k = 4, -5*r - 129*k + 132*k + 5 = 0. Put r, 0, 15, 2 in ascending order.
0, r, 2, 15
Let l = -8612 - -8611.7. Let t = -9 - -9.09. Let s = t + -5.09. Put 0.2, s, 1/2, l in descending order.
1/2, 0.2, l, s
Let h = 0.66 + 93.34. Let g = 101 + -508/5. Put -0.4, g, h in descending order.
h, -0.4, g
Let t = -276 + 281. Suppose 5*n + z = 30, -5*n = 3*z - 5*z - 30. Sort t, n, -4 in increasing order.
-4, t, n
Let s(q) = 3*q + 1. Let o be s(1). Let g(f) be the second derivative of -f**3/6 + 5*f**2/2 + f. Let k be g(0). Sort -4, o, k in increasing order.
-4, o, k
Let r = -7491 + 7491.2. Sort r, 1, -0.53.
-0.53, r, 1
Let v(z) = -z**3 + 101*z - 6. Let f be v(10). Put 1, -3, 20, f, -2 in decreasing order.
20, f, 1, -2, -3
Suppose 0 = 2*u + l + 579 - 571, 4*u = 5*l + 68. Let v(s) = s - 2. Let n be v(3). Put n, 54, u in descending order.
54, u, n
Suppose 18*z = 16*z + 6. Let l = -1684 + 1681. Sort -35, l, z in decreasing order.
z, l, -35
Let m = 4221 - 4217. Put -5, -6, m in decreasing order.
m, -5, -6
Let d be (-2)/(-63)*-3 + 85/357. Sort -3/2, 0.1, -4, -24, d in ascending order.
-24, -4, -3/2, 0.1, d
Let