der.
w, 12, 5, -2
Let n = -182877 + 182867. Suppose -1 = -3*i + 2. Sort i, 5, 2, n.
n, i, 2, 5
Let s = -15545/412804 - -1/2564. Let f = 24961 + -24961.5. Sort s, f, -5 in ascending order.
-5, f, s
Let w(p) = 2*p**3 - 94*p**2 - 3*p + 141. Let q be w(47). Sort 2/7, q, 47.6, -0.2 in increasing order.
-0.2, q, 2/7, 47.6
Let d = 1.5893 + -557.5893. Sort -0.1, 2, -5, 1/2, d.
d, -5, -0.1, 1/2, 2
Let f = -9471 - -9476. Sort f, -2, -16, 10, 4 in ascending order.
-16, -2, 4, f, 10
Let k(s) = 328*s - 2953. Let m be k(9). Put -7, -445, m in decreasing order.
m, -7, -445
Suppose 0 = 12*a - 3331 + 3307. Sort 370/9, 1, a in increasing order.
1, a, 370/9
Let d = 0.12 - -1.88. Let a = -2974 - -26770/9. Sort d, 0.1, -3, a.
-3, 0.1, a, d
Let o = 2412 + -2424. Sort o, -10, 2, 5, -2 in decreasing order.
5, 2, -2, -10, o
Let f = 0.05483 - -0.34517. Put 10/11, f, -0.1, -2/7, 0 in increasing order.
-2/7, -0.1, 0, f, 10/11
Suppose t = 5*t. Let x be 20/(-6)*(-1)/12*(28 + -22). Sort -5, t, 1/2, x in increasing order.
-5, t, 1/2, x
Let m be (((-2)/(-12))/(23/(-46)))/((-1)/(-16959)). Sort -4, -1, m in ascending order.
m, -4, -1
Let a be 243/(-36)*(-8)/6 + -10. Let c(j) = j**2 + 5*j. Let p be c(-5). Sort 1, p, a, -2 in decreasing order.
1, p, a, -2
Suppose -92 = 4*g + 4*z, g - z - 68 + 93 = 0. Sort 6, g, 4 in descending order.
6, 4, g
Let c(w) = 62*w + 1493. Let p be c(-24). Sort p, -221, -2, 1.
-221, -2, 1, p
Let i = 0.111 + -15.911. Let q = 15.817 + i. Let b = 11 - 8. Sort -2/5, b, q in descending order.
b, q, -2/5
Suppose 0 = 5*z + 94 + 46. Let j be (-5)/((-20)/z) - -3. Let a(c) = -c. Let s be a(10). Put -3, s, j in ascending order.
s, j, -3
Suppose -722*c - s = -718*c + 9, -c - 11 = -s. Put -3/4, -1/457, c in ascending order.
c, -3/4, -1/457
Suppose -3*a - 12 = f, 4*f - 16 = 2*f + 4*a. Let q(o) = 2*o + 35. Let b be 22/143 + (-747)/39. Let v be q(b). Put 5, v, f, -5 in decreasing order.
5, f, v, -5
Let x(l) = -l**3 + 34*l**2 - 62*l - 24. Let u be x(32). Suppose -13*f + u = 14. Let a(b) = -b + 4. Let s be a(3). Put 0, f, s in descending order.
f, s, 0
Let d be (-1)/(-2) + 19/(-30). Let w = 11.9 - 29.5. Let i = 20 + w. Sort -0.1, -0.2, d, i in descending order.
i, -0.1, d, -0.2
Suppose -4*w + 34 = 46*s - 41*s, -5*w - 4*s = -29. Sort -4, w, -5, 10, -1.
-5, -4, -1, w, 10
Let n = 52 - 49. Suppose 31 = 4*g + 27. Sort 0, -6, n, g in ascending order.
-6, 0, g, n
Let f = -6.3 - -66.3. Let k = -61 + f. Sort 1/5, -53, -4, k in increasing order.
-53, -4, k, 1/5
Suppose 51*n = 11*n. Sort -3, 25, n in ascending order.
-3, n, 25
Let h = -12298 - -12299. Let f be 1 + -1 + 16/(-20). Sort -0.1, h, f.
f, -0.1, h
Let v = -495 - -498. Let f be (-17 + v)/(-56)*2*2. Sort 0.5, 2, 1.2, f.
0.5, f, 1.2, 2
Let d(k) = -2*k - 34. Let f be d(-19). Let m = -6832 - -6831. Sort 0, m, -5, f.
-5, m, 0, f
Let r = -7464.3 + 7464. Suppose 2*q = -0*q + 14. Suppose -4*y = -q + 3. Sort -1/3, y, r in decreasing order.
y, r, -1/3
Suppose -5*z + 4*r + 4 = 0, 5*z + 3*r = -2*r + 40. Suppose -3*p + 1 = -14. Suppose 5 + 17 = -11*g. Put g, p, z in decreasing order.
p, z, g
Let u = 13277 + -13279. Suppose 23 - 3 = -5*b. Put b, u, -6 in ascending order.
-6, b, u
Let q be -4 + -5 + (2 - -9). Put 1, q, -10, 23 in descending order.
23, q, 1, -10
Let y be 1/6 - (-3)/6. Let t = -5/6 - y. Let z = 135 - 1216/9. Sort 2/11, z, t in ascending order.
t, z, 2/11
Let k be 14/(-4)*83/(-1162). Sort -1/4, k, -5/6, 4, -3.
-3, -5/6, -1/4, k, 4
Let g = -308 - -309. Let j(v) = 2*v - 7. Suppose -5*q = -6*q + 7. Let c be j(q). Put 4, c, g in ascending order.
g, 4, c
Suppose -4*q - 2257 = 5*x, -5*q = x + 1372 + 1423. Let w = q - -558. Put w, 3, 10 in decreasing order.
10, 3, w
Let h(v) = -2*v + 7. Let k be (-4 - (-28)/8)/(3/(-48)). Let a be h(k). Let g be 40/18 - 2/9. Sort g, a, -3.
a, -3, g
Suppose 8*m - 13*m = 110. Let u be m/(-110)*(-15)/(-6). Sort u, -0.4, -1/1097.
-0.4, -1/1097, u
Suppose 117*v = 118*v + 7, 4*i - 7 = v. Sort 0.5, i, -0.03, 2, 0.036 in ascending order.
-0.03, i, 0.036, 0.5, 2
Let i be ((-8)/6)/((-13)/(-26) + (-3)/(-18)). Put 0, 135, -4, i in descending order.
135, 0, i, -4
Suppose 142*o = 181*o - 351. Let s(t) = -19*t**3 + 3*t**2 - t. Let p be s(1). Put 1, p, o in decreasing order.
o, 1, p
Suppose 139*g + 116 = -1 - 161. Sort -0.07, g, -1 in decreasing order.
-0.07, -1, g
Let w = 5049 + -5015. Sort w, -0.09, 4/9 in descending order.
w, 4/9, -0.09
Suppose -167*v = -146*v + 105. Sort -2, 2, v, 1, -210.
-210, v, -2, 1, 2
Let x be (-12)/(-40)*(-20)/(-8). Let j = -718 - -717.8. Let q be 1/(-3) + -1 - -1. Put q, x, j in decreasing order.
x, j, q
Suppose 0 = -3*v + 3*p + 162, v - 24 = -4*p + 25. Sort -1, 0, 5, v, 2 in ascending order.
-1, 0, 2, 5, v
Let w(f) = -12*f**3 - 2*f**2 + 1. Let x be w(1). Let u(j) = -j**2 - 17*j - 56. Let p be u(x). Put p, -3, 6 in ascending order.
p, -3, 6
Let h = 2084 + -2080. Let i(r) = -2*r + 3. Let j be i(-1). Put -42, j, h in descending order.
j, h, -42
Let x = 17391 + -17394. Put 18, -4, -1, -0.07, x in ascending order.
-4, x, -1, -0.07, 18
Let m = -212.6 - -212.61. Sort 0, -8, m, 0.5.
-8, 0, m, 0.5
Suppose 9*r - 7*r + 16 = 0. Let y(o) = o**2 + 6*o - 16. Let f be y(r). Suppose h = -27*z + 22*z + 3, -3*h - 4*z - 2 = 0. Sort h, 1, f in increasing order.
h, f, 1
Let v = 166/13 + -1904/143. Let a be (-1 + 39/30)*(-26)/(-78). Sort -4/3, v, -18, a.
-18, -4/3, v, a
Suppose -4*q - 5*y - 2 = 0, -2*q + 12 = -5*y - 2. Let b = -6.6515 + 5.1515. Sort b, q, 0.
b, 0, q
Let k(y) = y**2 - 189*y + 2020. Let q be k(12). Sort -1, q, -10.
q, -10, -1
Let y = -0.59 - 39.41. Let d = 40.24 + y. Let s = -0.1028 + 0.0028. Sort d, s, -2/3.
-2/3, s, d
Let o be (-4)/(-12)*-3*-2. Suppose 1 = 3*i - o. Suppose -10*v - 28 = -8. Put v, 4, i in increasing order.
v, i, 4
Let o = 0 + 0. Let f(r) = -r**3 + 31*r**2 - 31*r + 44. Let b be f(30). Suppose b*x + 15 = 19*x. Sort o, x, -7 in descending order.
x, o, -7
Let u = 78 - 74. Suppose -919*a - 3 = -918*a. Put -1, a, u in increasing order.
a, -1, u
Let i = 1249 + -1176.26. Let s = 73 - i. Let v = 0.16 - s. Sort 3/5, 1, -0.5, v in descending order.
1, 3/5, v, -0.5
Suppose -2*j = -1 - 9. Let g(z) = -z**3 - z + 2 - 3*z**2 + 10*z**2 - 2 + 10. Let u be g(7). Put j, 0, u in ascending order.
0, u, j
Let w = -13 - -37. Let a = -116.8 - -114.8. Sort w, a, -2/5, -0.2 in decreasing order.
w, -0.2, -2/5, a
Let j = 1.95 - 104.45. Let f = j + 103. Let q = 4 + -1. Put -1, f, q in descending order.
q, f, -1
Let j = 6 - 10. Suppose 132 = 7*a + 41. Suppose -4*m + 4*q = -20, -16*m + a = -12*m + 3*q. Sort j, m, 31.
j, m, 31
Let f be (((-41)/(-10) + -4)*12)/(132/(-120)). Sort -2, -31, f in increasing order.
-31, -2, f
Suppose -82 + 66 = -4*p. Suppose 4*k = 4*f + p, 27 - 26 = -3*f + 5*k. Sort 17, -3, -5, f in ascending order.
-5, -3, f, 17
Let d = 771 - 796. Let o = d - -15. Sort -2/5, o, 31 in ascending order.
o, -2/5, 31
Let d(q) = 0*q + 0*q - q - 2. Let u be d(-2). Let p(f) = -20*f - 1402. Let g be p(-70). Sort 4, u, 6, g in increasing order.
g, u, 4, 6
Let r = -97.3 - -97. Put r, 1/6, 0.275, 0.4 in descending order.
0.4, 0.275, 1/6, r
Suppose 996 - 892 = -26*p. Let b be 94/3 + 4/2. Let f = b - 33. Sort f, p, 3/7 in ascending order.
p, f, 3/7
Suppose -8*z - 26 = -4*z - 5*j, -16 = 2*z - 4*j. Sort -36, z, 3, -2 in decreasing order.
3, -2, z, -36
Let u = 3.02 + -3. Let x = u - -2.98. Let p = 2716.3 - 2715.6. Put 0.4, p, x in decreasing order.
x, p, 0.4
Let w = -217832 + 217828. Let f be -2*1/(-2)*-13. Sort f, 1, w.
f, w, 1
Suppose -14*c + 139 - 69 = 0. Suppose 0 = 2*k + k - 9. Let f = k - 1. Put f, 1, c in ascending order.
1, f, c
Let p = -130 - -77. Let h = p - -54. Let m be 4*(3 - (-227)/(-76))*-2. Put -5, -0.5, m, h in increasing order.
-5, -0.5, m, h
Let k be (-352)/66*30/(-80). Suppose -3 = -4*p + l, -4*p + 5*l + 15 + 0 = 0. Let a = 3 - 6. Sort a, k, 4, p in increasing order.
a, p, k, 4
Suppose 0 = -3*x + 322 - 34. Suppose x = -5*w - u, 0*w = -w - 5*u. Let t = 23 + w. Sort -20, t, -1 in increasing order.
-20, -1, t
Let y = 31 - 29. Let t(u) = u + 5*u**y - 6*u**2 - 10 + u**3 - 11*u**2. Let x be t(12). Sort x, 1, -1 in ascending order.
-1, 1, x
Let q = -0.6784 + -103.3216. Put q, 2, -4 in ascending order.
q, -4, 2
Let o = 0.0176 + 4.9824. Let c = -153 + 142. Sort c, 10, o.
c, o, 10
Let b = 48 + 60. L