 Let x be b(k). Sort x, -1, 3, j in ascending order.
-1, x, j, 3
Suppose 0 = 9*w - 9 + 63. Let r(k) = k**3 + 7*k**2 - 32. Let v be r(w). Sort -3, v, -1, 5 in decreasing order.
5, v, -1, -3
Let c = 7270.1 - 7269. Put 12, 1/3, c, 3, 4 in descending order.
12, 4, 3, c, 1/3
Let d(c) = -5*c + 5. Let u be d(0). Let k be (-7 + u)/((-3)/48). Sort k, 1, -5 in decreasing order.
k, 1, -5
Let t = -296 - -368. Sort 0, t, 1 in decreasing order.
t, 1, 0
Let w(n) = 2*n + 22. Let v be w(0). Suppose 0 = -v*x + 20*x. Suppose 8*k - 4*k = c + 10, 0 = -5*c - 5*k + 25. Put x, c, 4 in descending order.
4, c, x
Suppose 12*c - 8*c = -16, 2*d + 2*c = -12. Put 1, 0, d, 2, -9 in increasing order.
-9, d, 0, 1, 2
Suppose 0*t + 12*t = 36. Let b be (60/45)/((t + -1)/6). Let l be (-14)/(-35) - 23/(-5). Put -2, 0, b, l in decreasing order.
l, b, 0, -2
Let o(v) = v**2 - 8. Let q be o(-4). Let u = 33686 - 33682. Sort 5, u, q, 0 in increasing order.
0, u, 5, q
Suppose 2*i = -0*i. Let o = -111 + 131. Suppose a - 7 = 2*f, 5*a + o = -f - 0*f. Put i, -5, 3, a in increasing order.
-5, a, i, 3
Let y = -496 + 946. Let r = y - 447. Sort 6, 0.1, r in decreasing order.
6, r, 0.1
Suppose -r = 0, 4*r = -4*h + 3661 + 6723. Let s be h/55 - (0 - (-4)/20). Sort 2, 2/7, s in increasing order.
2/7, 2, s
Let t = -4 - 1. Let r(z) = z**3 + 4*z**2 - 3*z - 14. Let v be r(-3). Suppose 3*w + v*b = 9, -4*w + 17 = b + 5. Put 5, -2, t, w in descending order.
5, w, -2, t
Let r be ((-194)/485)/(1*(-20)/(-25)). Sort r, -0.15, 2, -0.4 in increasing order.
r, -0.4, -0.15, 2
Let p be (-150)/(-35) + 90/(-315). Put 588, 0, p in increasing order.
0, p, 588
Let j be (3 - 2)/((-5)/(-315)). Suppose 0*h - 4*b - j = -5*h, 5*h - 72 = b. Suppose h = -6*k + k. Sort 4, -2, k, -1.
k, -2, -1, 4
Let t = -32520 - -32519. Sort 2, -0.014, t in decreasing order.
2, -0.014, t
Let v = -0.02695 + -0.37305. Sort 5, 3, -4, v, -2/3 in increasing order.
-4, -2/3, v, 3, 5
Let u(s) = s**3 + 38*s**2 - 43*s - 153. Let g be u(-39). Sort g, -4, -30, -5 in decreasing order.
g, -4, -5, -30
Let f = 526/2065 - -60/413. Sort 2/9, f, -0.2, -0.18 in decreasing order.
f, 2/9, -0.18, -0.2
Suppose 1168 = 5*y - 4*r - 37, 4*r = -20. Let z = -240 + y. Sort 0, 5, z in ascending order.
z, 0, 5
Suppose 8*i - 12 = 20. Suppose -4*r - 4*s - 32 = 12, 0 = -i*r - s - 35. Let c(u) = -u**2 - 9*u - 27. Let y be c(r). Sort -5, 4, y in decreasing order.
4, -5, y
Let h(t) = -t**3 + 6*t**2 + 10*t + 2. Let y = -36 - -34. Let w(m) = -m**3 - m**2 + m - 1. Let a(v) = y*w(v) + h(v). Let d be a(-7). Sort d, 5, -2.
d, -2, 5
Suppose -21*d + 291 = 228. Sort -1/3, d, -6 in decreasing order.
d, -1/3, -6
Let m(a) = 9*a**2 + 153*a + 597. Let h be m(-6). Sort h, 26, -5, 2 in ascending order.
-5, 2, h, 26
Let i = -17.33 - -10.64. Let p = -6.79 - i. Put 2, -1/9, p, 3 in decreasing order.
3, 2, p, -1/9
Suppose -129*l - 56*l = -925. Let p = -8.06 - -0.06. Put p, -2/3, l in decreasing order.
l, -2/3, p
Let a(k) = 28*k + 229. Let q be a(-8). Let i = -6 + 5.8. Put 3, i, -5/6, q in increasing order.
-5/6, i, 3, q
Let s(j) = -9*j**2 - 394*j + 789*j - j**3 - 395*j - 103 + 0*j**3. Let g be s(-10). Sort -5, 18, 1, g in decreasing order.
18, 1, g, -5
Let m = 0.11871 + 0.08129. Sort 1, 2/5, m, 1/3, -3/7 in decreasing order.
1, 2/5, 1/3, m, -3/7
Let r = -1.16 + 2.16. Let w = 1/89 + -269/178. Sort w, -1, 2/19, r.
w, -1, 2/19, r
Suppose 2*q - 4 = 2. Suppose -133 = 3*v + 2*x, -x + 103 = -q*v + 3*x. Let z = v - -41. Sort 1, 0.5, z in decreasing order.
1, 0.5, z
Let x = -92.455 - -88.455. Let d(i) = 2*i**2 + 2*i. Let t be d(-2). Let b = -0.37 + -0.03. Sort -0.1, t, x, b in descending order.
t, -0.1, b, x
Let o = -125 - -123. Let d be (-1)/(o/(-3)*17/(-34)). Sort 12, d, 1 in decreasing order.
12, d, 1
Let f be -1 + 45/6*2. Let u = 25 - f. Let s = -0.13 + 5.13. Sort s, -1/3, u in descending order.
u, s, -1/3
Let i = 71 - 69. Let w(t) = t**2 - 3*t + 1. Let y be w(i). Suppose h - 1 = r, -3*h = r - 3 + 20. Sort y, r, 2, 3 in decreasing order.
3, 2, y, r
Let w(y) = -35*y + 358. Let f be w(11). Put f, -0.5, 7, -1/3 in decreasing order.
7, -1/3, -0.5, f
Suppose -22837*g + 22826*g = 53 + 35. Sort -2, -4, g, 11 in decreasing order.
11, -2, -4, g
Let m be 147/42*4/14. Let o be (-658)/(-126) + 2/(-9). Sort m, -4, -1, o in descending order.
o, m, -1, -4
Let r = -73.5 - -3.5. Let n = 70.5 + r. Let v = -9 + 4. Sort n, v, -3.
v, -3, n
Let y be (-2691)/(-52) - ((-3)/(-4))/(-3). Let r = y - 50. Suppose 0 = -r*q + 3 - 9. Put -5, q, 0 in increasing order.
-5, q, 0
Let s = 25.8 + -24.8. Put -480, -3, s in descending order.
s, -3, -480
Suppose -125*n = -109*n + 144. Suppose -4*s + 3*a - 8 = 0, 5*a = -s - 1 - 1. Suppose -5*w + 2*x + 11 = -2, -2*w = 5*x - 11. Sort s, w, n in increasing order.
n, s, w
Let y = -3275 - -3274. Put y, 35, -0.4, 0.01 in descending order.
35, 0.01, -0.4, y
Let y = -17.68 - -42.68. Put -0.06, -2/9, y in increasing order.
-2/9, -0.06, y
Let k be ((-1695)/(-30) + 0/1)/(51/1122). Sort -1, 2, k in decreasing order.
k, 2, -1
Suppose -3*n - 4*g = -7*g - 321, -4*n + 422 = -g. Let v be (5 - n/20) + 11/(-4). Put 3, v, -1/9 in ascending order.
v, -1/9, 3
Let w = -13615 - -13617. Put w, 22.8, -0.1, -1 in ascending order.
-1, -0.1, w, 22.8
Let o = -0.9817 + 0.9914. Put -3/2, -3/5, 2, o in descending order.
2, o, -3/5, -3/2
Suppose 5*a + 3*q - 23 - 1 = 0, -6*q = -3*a - 9. Put a, -142, 4, 24 in increasing order.
-142, a, 4, 24
Suppose -3*v = 3*k + 111, -4*v = 6*k - 11*k + 202. Sort 2/13, 4, 1/4, v, -0.05 in ascending order.
v, -0.05, 2/13, 1/4, 4
Suppose z = -4*m + 3*z - 4, z = 5*m + 5. Let b = 18029 + -18028. Let n = -0.3 - -0.21. Sort -0.5, m, n, b in decreasing order.
b, n, -0.5, m
Let b = -32 - -27. Let y = 11 + 1. Suppose 4*x - y = -4. Sort x, 0, b, 3.
b, 0, x, 3
Let j be (-6)/168*(-316)/(-237). Put 3, -4, j in descending order.
3, j, -4
Let l = -113 - -111.1. Let n = 0.064 - -3.036. Let i = l - n. Sort 0.5, i, 0.4 in descending order.
0.5, 0.4, i
Let s = 1 + -2. Let a be (-6*26/39 - -3)*2*-1. Sort 4, a, s, -2.
-2, s, a, 4
Let l be (6/(-39) - 10689/(-273))*(-3 - -2). Put -11, 1, l in decreasing order.
1, -11, l
Suppose -4*g = 14 - 22. Let f be 2/g + 1 - -47. Let b = -49 + f. Put b, -4, 4 in descending order.
4, b, -4
Let h be (27 + -2)*(-20)/(-180) - (-14)/63. Put 71, h, -5, -1, 0.5 in decreasing order.
71, h, 0.5, -1, -5
Suppose 0 - 20 = 4*c. Let x = -3 + 7. Suppose -3*m + 8 = -5*m. Sort m, c, x in ascending order.
c, m, x
Suppose 85 = 3*w + 25. Let n be (5/((-375)/w))/((-2)/(-5)). Sort -0.044, -0.3, n in descending order.
-0.044, -0.3, n
Let t = -0.0032 - 213.2968. Let u = 213 + t. Let j = -37/4 - -9. Put -1/2, u, j, -4/3 in decreasing order.
j, u, -1/2, -4/3
Let o = 92.787 - 0.587. Let l = 92 - o. Sort l, 0.6, -7 in increasing order.
-7, l, 0.6
Let x(n) be the third derivative of n**6/120 + n**5/60 - n**4/24 - 16*n**2. Let k be x(0). Suppose -v = -k + 4. Sort v, 2, 12 in increasing order.
v, 2, 12
Let o = -68260/7 + 9752. Sort 5, -13, o, -0.05.
-13, -0.05, o, 5
Let z = 103 + -103.4. Let c = -3.11 + 3.1. Sort c, z, -2/7 in descending order.
c, -2/7, z
Let i = -40265 + 40268. Put i, 14, -23 in descending order.
14, i, -23
Suppose 62 = 7*q + 41. Let l = -27.406 - -0.106. Let j = -26 - l. Sort q, 0, j in decreasing order.
q, j, 0
Let m = 10.099 + -9.099. Let p = -2.06 + 0.06. Let l = -1.7 - p. Put 0.2, l, 1/10, m in decreasing order.
m, l, 0.2, 1/10
Let f be -1 + -6 - (-18 + -7 + (-12 - -24)). Sort -49, 0, f, 4, -2.
-49, -2, 0, 4, f
Let f = 30.93 + -32.93. Sort -0.1, -62, f.
-62, f, -0.1
Suppose -33*k = -76*k - 129. Put 19, -5, 0, 2, k in increasing order.
-5, k, 0, 2, 19
Suppose 22*i + 876 = 19*i. Let h = i - -289. Sort 114, -5, h in increasing order.
-5, h, 114
Suppose 5*r - 4*r - 38 = t, 3*t = 5*r - 178. Sort r, 1, -0.3, 4, -1/7 in ascending order.
-0.3, -1/7, 1, 4, r
Let q(s) = s**3 - s**2 - 5*s - 2. Suppose -2*v = 2*c - 12, 2*c + 8 - 4 = 2*v. Suppose -v*g = 12 - 4. Let w be q(g). Put 6, w, 0 in descending order.
6, 0, w
Let m = -202 - -202.9. Let w(l) = -2*l**2 + 11*l + 3. Suppose -2*r + 6 = -r. Let p be w(r). Put 0.5, m, 2/5, p in decreasing order.
m, 0.5, 2/5, p
Let t(l) be the first derivative of l**4/4 - l**3/3 - 7*l**2/2 + 2*l + 62. Let r be t(3). Put r, 0, -6 in increasing order.
-6, r, 0
Let x = 78