, n.
x, n, 4, 5
Let k = 11787 - 11787.2. Put -0.03, -693/2, k in decreasing order.
-0.03, k, -693/2
Suppose -5*o = 0, -10*k + 11*k = -2*o - 26. Sort 1/2, -0.2, -5/3, -0.5, k in ascending order.
k, -5/3, -0.5, -0.2, 1/2
Suppose 15*p - 14*p - 2*r = 5, 0 = 5*p - 2*r - 1. Put 0.1, -8/29, p, 0.3, -0.3 in increasing order.
p, -0.3, -8/29, 0.1, 0.3
Let v(a) = -25*a - 68. Let u be v(-4). Let m be 0*(u/(-8) - (-30)/8). Let h be (4/(-6))/(2/(-6)). Sort m, h, 4 in ascending order.
m, h, 4
Let i = 2411/3 - 7253/9. Sort i, -1, 3, 7 in decreasing order.
7, 3, -1, i
Let o be ((-4)/(-14))/(552/(-483)). Sort -5, -1/5, 2/51, o, 1/5 in descending order.
1/5, 2/51, -1/5, o, -5
Suppose 43 + 83 - 32 = 47*v. Put 71, v, -13 in decreasing order.
71, v, -13
Let k = -17160 + 17159. Put -3.1, 5/6, k in decreasing order.
5/6, k, -3.1
Let q = -4496 - -8797. Let v be (-2)/(-21) + q/483. Sort v, 5, -4, -2 in decreasing order.
v, 5, -2, -4
Suppose -3 = -s - 0*s. Suppose 12*j = 14*j + 16. Let v be -6 - (-88)/36*3. Sort v, j, 2, s in descending order.
s, 2, v, j
Let l be (-203)/174 + (-1)/(-6). Sort -15, -6, l, 1, 2.
-15, -6, l, 1, 2
Let w = -5 + 2. Let x be (8/1 - 9*(6/54 + 1)) + 5. Put w, -2/5, x in descending order.
x, -2/5, w
Let m be (-1)/21*27/(57/(-19)). Put 2, -0.01, 4/7, m in decreasing order.
2, 4/7, m, -0.01
Let x(q) = -4*q**2 - 32*q + 33. Let a be x(-9). Sort a, -48, -2 in increasing order.
-48, a, -2
Let y = 243 - 304.5. Let g = 92 + y. Let q = g + -30. Sort -6, -2, q.
-6, -2, q
Let x = -257 - -261. Suppose 3*v + 10 = -v - 2*a, 5*v = x*a - 32. Suppose 0 = -3*t + 1 + 5. Sort v, t, -5 in decreasing order.
t, v, -5
Suppose 152*b = 136*b - 64. Let f be 0*(-3 - (-10)/4) + 0. Put -2, -9, b, f in ascending order.
-9, b, -2, f
Let u(g) = g**2 - 6*g + 23. Let h be u(0). Suppose -2*y + 7*y = -z - 1, z - 6 = 2*y. Let j = 9217 + -9214. Sort h, j, z in decreasing order.
h, z, j
Suppose 6*k - 58 = -4*y, -5*y = -153*k + 158*k - 70. Suppose 0 = 3*t - 2 - 4. Sort -7, t, k, -1 in ascending order.
-7, -1, k, t
Let u(s) = -6*s**2 + 38*s - 8. Suppose g - 3*q + 3 = 0, 7*g = 9*g + 4*q - 24. Let p be u(g). Sort -4, -3, p, -9 in decreasing order.
p, -3, -4, -9
Let b(x) = x**2 + 16*x - 174. Let q be b(-24). Suppose 27*u - q*u - 63 = 0. Sort -2, u, -3 in decreasing order.
u, -2, -3
Let m = -208 + 206. Let n = 56 + -55.9. Put 12, 1/2, m, n in descending order.
12, 1/2, n, m
Let u be 380200/(-308) - (-6)/22. Let d = -1232 - u. Sort 4, -5, d.
-5, d, 4
Let m be 0*(12/9 + -1). Suppose k - 1 = 0, 0 = -2*j - m*j - k - 9. Let a be (-4)/(-18) + 129/27. Put a, 15, j in descending order.
15, a, j
Let h be (-6)/5*(-5)/2. Let o = -38.16 - -42. Let y = 1.84 - o. Put h, y, -6 in increasing order.
-6, y, h
Let z = -10 + 11. Let k = -184 + 195.3. Let t = k + -12. Sort z, -1, t.
-1, t, z
Let g be (-27)/243*6/(-4). Sort g, 0.5, 0.2256 in ascending order.
g, 0.2256, 0.5
Let m be ((-64)/(-24))/(-1 + (-28)/(-12)). Let o(u) = 2*u - 21. Let i be o(9). Let r = i - -1. Put 0.4, r, -1, m in decreasing order.
m, 0.4, -1, r
Let j = 12675 - 38024/3. Sort 2/11, -1.2, 47, 0.3, j in descending order.
47, j, 0.3, 2/11, -1.2
Let h = -32 + 35. Let c be (-136)/96 - (-2)/h. Put 1.4, c, 0, -3/2 in descending order.
1.4, 0, c, -3/2
Let d = -20891 - -20977. Sort -1/5, 3/7, d, -7 in ascending order.
-7, -1/5, 3/7, d
Suppose -1712 + 1013 = -15*h - 849. Sort h, 26, 7 in increasing order.
h, 7, 26
Let t be ((2 + -1)/(39/(-13)))/((-56)/(-21)). Put 9, 0.1, -0.1, -2/15, t in descending order.
9, 0.1, -0.1, t, -2/15
Let j = -714/5 - -143. Let o = -159 + 81. Let b = -77.5 - o. Sort b, j, -2/9, -2/37.
-2/9, -2/37, j, b
Let q = 70.61 - 70. Let a = 0.67 - q. Let o = -6 - -9. Sort a, o, 2/9.
a, 2/9, o
Let x(k) = -4*k**2 + k + 1. Let h be x(-1). Let r = 7819 - 7817. Let o be 4/14 + (-4)/14. Sort o, r, 3, h in decreasing order.
3, r, o, h
Let s = 10791 + -10794. Put 2, 3, -371, s, -4 in decreasing order.
3, 2, s, -4, -371
Let m = -7673 - -9359. Sort -3, -0.2, 0.4, m in ascending order.
-3, -0.2, 0.4, m
Let d be 102/(-36) + 5/6 + -1. Suppose 1 + 29 = 5*y. Let x be (9/y)/(0 + -9). Sort 5, x, d.
d, x, 5
Suppose -2*z - 5*w = -18, 10*z - 12 = 6*z + 2*w. Sort -9, z, 40, -4 in increasing order.
-9, -4, z, 40
Let s(k) = -k**3 - 15*k**2 - 20*k + 75. Suppose -4*d = -1735 + 1787. Let v be s(d). Sort v, 2, -1, 5.
v, -1, 2, 5
Suppose -q + 42 - 27 = 3*j, 0 = -2*q + 5*j - 25. Put 2, -105, 2/5, q in descending order.
2, 2/5, q, -105
Let u = -167 + 171. Suppose u*r = 2*h - 11 + 3, r - 1 = -h. Let w(j) = -2*j - 7. Let b be w(-6). Sort r, 2, b in descending order.
b, 2, r
Let q = -208.913 - 0.087. Let r = q + 208.4. Put r, -3/7, 0.4 in increasing order.
r, -3/7, 0.4
Let q = 268.944 - 269. Let n = -62.156 - -58.1. Let t = n - q. Sort -0.3, -2/13, t, 2/13 in increasing order.
t, -0.3, -2/13, 2/13
Let x = 27.957 - -0.043. Let w = x + -25. Let b = -20.8 + 21.3. Put b, -2, w in decreasing order.
w, b, -2
Let m be (3/(-9))/((-9)/9450). Let s = m - 345. Put 3, 0, s, 6 in decreasing order.
6, s, 3, 0
Suppose 0*i = -4*i + 44. Suppose -8*b - 76 = i*b. Sort -3, -2, b, -7 in decreasing order.
-2, -3, b, -7
Suppose w + 3*w = 0. Suppose -14 = -2*k - 4*v, -v = -k + 16 - 24. Put k, w, 32 in descending order.
32, w, k
Let v = -10.83 - -173.83. Put v, 0.3, 0.1 in descending order.
v, 0.3, 0.1
Let v = -19473 - -19463. Sort 12, v, 2/7.
v, 2/7, 12
Let o = -2299 - -2304. Let m = 170 - 1192/7. Put m, 2, o, 104 in decreasing order.
104, o, 2, m
Let g = 2842 - 2846. Sort 3, 20, g in decreasing order.
20, 3, g
Let h = -1/26052 - -52145/1068132. Sort 1, h, -3/7, -1/6 in increasing order.
-3/7, -1/6, h, 1
Let d = 0.144 - 0.014. Let l = 99.03 + 1.97. Let x = l - 98. Sort -0.5, d, x in descending order.
x, d, -0.5
Let c be (-1)/5 + 40 + (-80066)/245. Put -5, c, 1, 2 in decreasing order.
2, 1, -5, c
Let k = 122 + -118. Suppose h - 4 = 0, k*b = 6*b + h + 4. Let r = 1 - 1. Sort -3, b, r.
b, -3, r
Let b(j) = -j**3 + 21*j**2 - 5*j + 103. Let d be b(21). Suppose 5*a = -0*x - x + 10, 5*a - 4*x - 35 = 0. Sort d, 5, a in increasing order.
d, a, 5
Let f = -971 - -295. Let l = f + 674. Sort 0, l, 5, -1/8.
l, -1/8, 0, 5
Suppose 4*a = 276*k - 278*k - 16, -4*a - 3*k - 10 = 0. Sort 392, a, 5.
a, 5, 392
Let s be 24/(-120)*(-4 - 1). Sort -0.1, -4, s, -49 in decreasing order.
s, -0.1, -4, -49
Let s(a) = -5*a**3 - 26*a**2 + 19*a + 8. Let q be s(1). Put -7, q, -541 in increasing order.
-541, -7, q
Let g be 14 - ((-1813)/(-196) - (-3)/4). Let i(d) = -d**3 + 7*d**2 - 4*d + 5. Let r be i(7). Sort g, r, -4 in decreasing order.
g, -4, r
Suppose d - 3*d = -8. Let f(g) = 2*g**2 + 43*g + 23. Let j be f(-21). Sort j, -1, d, 0.
-1, 0, j, d
Let n(t) be the first derivative of 2*t**3/3 - 3*t**2/2 + 4*t - 14. Let z be n(1). Suppose 0 = -3*v + 4*o - 8 - 3, 0 = z*v - 5*o + 10. Sort 5, v, 13.
v, 5, 13
Let g = -3.41 - -2.768. Let a = -2.358 + g. Sort 3, 0, 29, a in decreasing order.
29, 3, 0, a
Let j = 0.005 + -1.905. Let v = j - 1. Let c = -4 + 6. Sort v, -5, c in decreasing order.
c, v, -5
Let m(q) = -q**2 + 5*q + 2. Let h be m(4). Let y be (-28)/(-16) - (6 - 25/4). Suppose 2*x + 12 = h*x + 5*j, y*j = 0. Sort 5, x, 0 in ascending order.
0, x, 5
Let x = 110 - 107. Put -5, x, 0.1, -2/13 in increasing order.
-5, -2/13, 0.1, x
Let t be 1/((18/(-8))/9). Suppose -3*o + 401 = -3*w + w, 0 = 2*o + 5*w - 299. Let u = o + -957/7. Sort u, t, 16 in decreasing order.
16, u, t
Let k be ((-6)/636)/((-11)/22). Put 4/5, k, -7 in increasing order.
-7, k, 4/5
Let p be (-16)/6*((-405)/(-2700))/(1/(-5)). Sort 4, -6/7, p, 3/2 in ascending order.
-6/7, 3/2, p, 4
Let f = -178 + 179. Let i(v) = -v**2 + 12*v - 24. Let q be i(3). Sort -2/19, q, f, -11 in descending order.
q, f, -2/19, -11
Suppose -5*f + 3*z + 8544 = 0, -5740 = -5*f - 4*z + 2818. Sort 2, -1, f in descending order.
f, 2, -1
Let p(c) = c**3 + 12*c**2 - 28*c + 6. Let f be p(-14). Let u = f + -9. Sort 5, 0, u, -8.
-8, u, 0, 5
Let h = -166004 + 166004.03. Let a = 6.81 - 1.83. Let w = a + 0.02. Sort h, -3, w.
-3, h, w
Let j = 42 - 40.1. Let z = j + -4. Let x = z - -1.8. Sort 3, -2, x in decreasing order.
3, x, -2
Let a = 2287 + -2282. Sort -2/5, -189/2, a.
-189/2, -2/5, a
Let h be 3/2*(-25)/300*2. Let q = -0.2 - -2.2. Sort h, q, 2/7, 0 in ascending order.
h, 0, 2/7, q
Suppose 21*j + 379 - 17