der.
223, 4, 3, 2, x
Let d = 1625 + -883. Let x = d - 736. Let v = -1171/7 - -167. Put 3, x, v in ascending order.
v, 3, x
Let c be ((-4)/24)/((-1)/6). Sort 10, c, 4, -4, -1 in decreasing order.
10, 4, c, -1, -4
Suppose 5*b = -t + 5, -116 = -t + 3*b - 127. Sort -3, t, -0.23, 5, -4/5 in increasing order.
t, -3, -4/5, -0.23, 5
Suppose -2*m - 9 = c + 4, 20 = -m - 5*c. Let g(q) = q - 3*q + 3*q - 1 - 33. Let v be g(35). Sort m, -1, v.
m, -1, v
Let d = 9.849 + -0.989. Let t = 0.86 - d. Sort -0.3, -2/9, -0.4, t in increasing order.
t, -0.4, -0.3, -2/9
Let o = 10741 - 10740. Sort 4, o, 5, 2, -15 in decreasing order.
5, 4, 2, o, -15
Let k be (-2)/2 + 0 + -2. Let r(p) = -20*p + 201. Let h be r(10). Let f be (-3 + h)/((-12)/4 + 1). Sort f, k, 6, 3.
k, f, 3, 6
Let i = 602 - 607. Suppose -5*j - t + 703 = 0, 2*j + 2*t = 3*t + 284. Put 5, i, j in descending order.
j, 5, i
Suppose -6*r = -7*r + 1. Let q = 606 - 607. Suppose 0 = -2*o + 13 - 37. Put q, o, r in decreasing order.
r, q, o
Let n = -91.82 - -91.92. Put -3/5, n, -5, 0.3, -12/5 in ascending order.
-5, -12/5, -3/5, n, 0.3
Let o = -104 - -105. Let h be (-16 + 15)/(-1*o/2). Sort -0.2, h, -3, -2/9 in increasing order.
-3, -2/9, -0.2, h
Let r be (-39)/(-11) + 1464/(-2684). Put 0, -30, 4, r in decreasing order.
4, r, 0, -30
Let g = 493 - 498. Put 1, g, 3.5 in decreasing order.
3.5, 1, g
Let k = 342 - 341.98. Suppose 0 = -4*f + 16, -4*y + 5*f = -2*y + 26. Sort -5, 0.03, y, k.
-5, y, k, 0.03
Let n be (-2)/((-9)/5 + 2). Suppose -w + 4*w - 11630 = -11627. Put 5, w, n in descending order.
5, w, n
Let f be 221/85 + (-40)/25. Sort -3, f, 3, -9.
-9, -3, f, 3
Let p(m) = -18*m - 758. Let d be p(-42). Sort 0, -22, -4, d in descending order.
0, d, -4, -22
Suppose 49 = -3*d - 47. Suppose 5*r - 165 = 5*l, 4*r = 5*l + 167 - 0. Let t = d - l. Put t, -2/23, 2 in descending order.
t, 2, -2/23
Let p(n) = n + 86. Let c be p(0). Let g = 88 - c. Suppose -g*u + 2*q = -10, -4*q + 5 = 3*u - 3. Sort 1, u, -5, -1.
-5, -1, 1, u
Let h(l) = -l**2 + 55*l + 235. Let t be h(59). Let j be (-1)/(-5) + (-21)/105. Put j, -8, t in ascending order.
-8, t, j
Let g = 7234 + -7233. Put 5, 3, g, -3 in descending order.
5, 3, g, -3
Let h = -7873 + 7873. Put -1/5, 0.5, 7, -151, h in ascending order.
-151, -1/5, h, 0.5, 7
Let o(s) = 3*s**2 + 33*s - 4. Suppose -3*p = -p + 22. Let z be o(p). Let k = 0.058 + 0.942. Sort k, 28, z in descending order.
28, k, z
Let g = -205/13 + 44882/2847. Put -2, 2, g in decreasing order.
2, g, -2
Let s be 8/2 + 14*(-18)/(-12). Put 1, s, -13, -1 in descending order.
s, 1, -1, -13
Let a(w) = -3*w**3 + 46*w**2 - 14*w - 2. Let i(n) = -n + 1. Let m(q) = -a(q) - i(q). Let o be m(15). Sort -14/5, o, -4/7 in decreasing order.
o, -4/7, -14/5
Suppose -8*w + 0*w = -376. Suppose -3*i + 4*o = -w, i - 2*o = 17 - 2. Sort -1, i, 0 in decreasing order.
i, 0, -1
Let m(z) = -z**2 + 9*z - 15. Suppose 4*k - 15 = k + 3*u, 0 = -4*k - 4*u + 28. Let f be m(k). Suppose f + 0 = -q. Sort q, 5, -8 in descending order.
5, q, -8
Let z = -685151 - -685149. Let r(y) = -y**3 - 5*y**2. Let h be r(-5). Put h, 2, z in decreasing order.
2, h, z
Let n = -7411 - -7399. Put -0.1, -2, n, 9 in decreasing order.
9, -0.1, -2, n
Suppose 123*s - 126*s + 78 = 0. Sort -3, -33, 0, s.
-33, -3, 0, s
Let u = 1761 + -1703. Put 0, 2/9, u, -4 in ascending order.
-4, 0, 2/9, u
Let b = 87 - 75. Suppose 12*s + 7388 = 7436. Sort s, 5, 6, b in ascending order.
s, 5, 6, b
Let m = -286.1 - -289.1. Let u = 3/8 - 5/24. Sort 3/2, u, m in decreasing order.
m, 3/2, u
Suppose -15 = 11*s - 14*s. Let p be (-22)/s - (-5)/((-100)/(-8)). Suppose -5*w = -10*w - 5. Put p, 3, w, 2 in descending order.
3, 2, w, p
Let w(c) = -c**3 - 31*c**2 - 149*c + 30. Let i be w(-25). Put 2, -14, i, -3, 42 in decreasing order.
42, i, 2, -3, -14
Let m = -2.13645 + -146.80055. Let h = m + 149. Let k = -5.937 - h. Sort 0.2, k, 0, -5 in ascending order.
k, -5, 0, 0.2
Let j = -3/4 - -1. Let t = -209/130 + 21/26. Sort j, 0.1, -0.2, t in ascending order.
t, -0.2, 0.1, j
Let a = -5858 - -5854. Sort a, 1/4, -1, 1/5, 37 in decreasing order.
37, 1/4, 1/5, -1, a
Let y be (((-72)/6)/12)/((-1)/2). Let t be (-3)/(-28) - 3*3/(-63). Put -1, t, y in increasing order.
-1, t, y
Let a = -242.5 + 242.3. Let p = -84 - -54. Put p, -3, a, 4 in decreasing order.
4, a, -3, p
Let f = 0.0011 + 116.4989. Let z = 116 - f. Sort z, -2/9, 4, -1 in descending order.
4, -2/9, z, -1
Let l be -10*(-6)/9*(-15)/(-10). Suppose 0 = 3*x + n + 228, 0*n - 3*n = -3*x - 228. Let z = 455/6 + x. Sort z, 2/13, l in increasing order.
z, 2/13, l
Let n = 33339 + -33336. Put 4, n, -2/3, 0.2, -4 in descending order.
4, n, 0.2, -2/3, -4
Let a be (-3)/((45/(-66))/5). Let i = -0.29 - 2.71. Let u = -0.43 - -0.03. Sort a, i, u in decreasing order.
a, u, i
Suppose 10*r - 441 + 91 = 0. Let y be 1 + -4 - (336/r)/(-4). Let x = 2.5 + -2. Sort y, 3/7, -4, x.
-4, y, 3/7, x
Let n be (-113)/((-6 + 5)/(-1)). Let z = 121 + n. Sort 7, -3, z in descending order.
z, 7, -3
Let b(c) = c**3 + 2*c**2 - 3*c - 3. Let z be b(-2). Suppose 8 = -3*w + 47. Let t(g) = 14*g + 30. Let m be t(-2). Sort w, m, z in descending order.
w, z, m
Suppose -2*r + 3 = -p, p - 4*p + 5*r - 10 = 0. Suppose 9 + 0 = -3*k, -5*z - 109 = 3*k. Let m = z - -21. Put p, -3, m in decreasing order.
m, -3, p
Let w = 0.0247 + 222.9753. Let z = w - 228. Put 0.02, -1/4, z, 3/8 in increasing order.
z, -1/4, 0.02, 3/8
Let d = -294.93 + 3.93. Let k = -294 - d. Put -0.3, k, -4/9, -0.28 in increasing order.
k, -4/9, -0.3, -0.28
Suppose 4*v + j = -2*j - 3, 5*v + 10 = -5*j. Suppose 3*b = -b + g + 8, -2*b - v*g + 4 = 0. Sort 15, -2, -4, b in ascending order.
-4, -2, b, 15
Let n be (8 + 1)/(1 + 2/4). Suppose t = 8 - n. Suppose 2*c + 4 = i, 4*i - 10 = t*c - 0*c. Sort c, 32, -3.
-3, c, 32
Let f(o) = -o**2 + 65*o - 297. Let u be f(5). Let c be (u - 9/(-3))*(-11)/(-22). Put 0, -0.4, c, -1 in ascending order.
-1, -0.4, 0, c
Let r be -4*42/112*(-28)/(-6). Put 7, -11, -4, r in descending order.
7, -4, r, -11
Let m = 2.7899 + 125.3981. Let r = m + -0.188. Let y = r + -128. Put y, -0.3, -3/13 in ascending order.
-0.3, -3/13, y
Let g = -1.147 + 1.12. Let h = g - 62.973. Let s = -58 - h. Sort 16/5, -0.5, s in descending order.
s, 16/5, -0.5
Let t(f) = 56*f**2 - 56*f. Let z be t(1). Put z, 45, 2 in descending order.
45, 2, z
Let q = 27 + -23. Suppose o = 24*g - 27*g - 9, -2*o = -4*g - 22. Sort -3, q, 11, g in ascending order.
g, -3, q, 11
Let n(d) = 3*d**2 + 19*d - 165. Let a be n(5). Put -45, a, 2, -4, -2 in descending order.
a, 2, -2, -4, -45
Let b = -6943 + 6943. Sort -9, -22, b in descending order.
b, -9, -22
Let w = -22560 - -22552. Sort 4, 1, w, -17 in increasing order.
-17, w, 1, 4
Let f = 0.4 - 0.2. Let s be (-3)/1 - (-3 - (-249)/1270). Let m = s - 1/254. Sort -0.3, m, 2, f in decreasing order.
2, f, m, -0.3
Let o(p) = -3*p**2 - 17*p + 2. Let h be o(-6). Let t = 3.1 - 5.1. Suppose 1 = 5*y - 4. Sort y, t, h in descending order.
y, t, h
Let f = -0.4 - -0.2. Let t = -2662 + 2663. Let m be (-1 + -1)/((-4)/6). Put t, f, m in ascending order.
f, t, m
Let w = 33 + -42. Let d be 47/w - (560/(-90) + 6). Sort 6, d, 5, 2 in increasing order.
d, 2, 5, 6
Let l = 0.573 - 0.673. Let r = 2609/11 - 237. Sort 0.11, l, r in increasing order.
l, 0.11, r
Let h be 4/(-26)*(-1443)/148. Let u(w) = w**3 + 5*w**2 - 6*w + 4. Let t be u(-6). Sort 2/13, h, t in descending order.
t, h, 2/13
Suppose -63 = -2*c + 195. Let m = -130 + c. Put 1, -3, 4, m in descending order.
4, 1, m, -3
Suppose 4 + 0 = b. Suppose -5*p + 342 - 317 = 0. Sort p, b, 34 in descending order.
34, p, b
Let g = -1.909 + -0.091. Let p = -2/1167 - -2360/15171. Put 5, 10, g, p in increasing order.
g, p, 5, 10
Let o = -8 + 12. Let w = -0.149 + 134.149. Let g = -134.5 + w. Sort -8/3, g, o.
-8/3, g, o
Let g = 229/92 + 1/92. Let h = 2390 - 2390. Put h, -1/4, -5, g in descending order.
g, h, -1/4, -5
Let v = 0.3 - 0. Let f(g) = -g**2 + 49*g - 218. Let q be f(44). Let b(r) = -r**3 + 5*r**2 - 4*r - 2. Let w be b(q). Put w, v, -1 in increasing order.
-1, v, w
Suppose -2*z = -3 - 1. Suppose 26*d - 14*d = 12. Put 29, -5, z, d in descending order.
29, z, d, -5
Suppose 165*g + 209*g = -281*g - 1310. Sort 8, g, 0, 5, 16 in increasing order.
g, 0, 5, 8, 16
Let p(t) = 37*t - 30. Let f be p(15). Let i be (-280)/f*3