der.
0, k, n
Suppose 5 = -4*q + 1, -b - 5*q - 9 = 0. Sort b, 115, -1.
b, -1, 115
Suppose -10*u = 4*h - 6*u - 88, 3*h - 4*u = 80. Put -2, 1, h in decreasing order.
h, 1, -2
Suppose -5*c - 12 = 13. Let a = c + 7. Let j = 7 - 7. Put a, -5, j in descending order.
a, j, -5
Let w = -0.71 - -0.21. Put 55, -0.2, w, 3 in descending order.
55, 3, -0.2, w
Let p be 1 - 12 - (-1 + 0). Let n = 144 + -535/4. Let a = n + p. Sort 1/2, a, 2 in descending order.
2, 1/2, a
Let s = 1.5 - 2. Let a = -0.5 + 1.1. Let n = a - 0.5. Put n, 0.3, s in ascending order.
s, n, 0.3
Let z = -1212 - -1221. Sort -15, z, 1 in descending order.
z, 1, -15
Let d = 449/1413 - 15/157. Let n = 0 - 0. Let l = 1 - n. Sort d, l, -0.3 in ascending order.
-0.3, d, l
Let l = 1 - 1. Let t(p) = -3*p + 1. Let y be t(-1). Let r be y/(-7)*(-42)/108. Put l, r, 2/3 in increasing order.
l, r, 2/3
Let i(u) = -u - 38. Let f be i(-23). Let o(g) = 0*g + 3 - g - 13. Let y be o(f). Sort y, 0, 4 in decreasing order.
y, 4, 0
Let b be 1/((-2)/(-6)*2). Let g be (5/(-3))/(10/(-30)). Put -2, b, g in ascending order.
-2, b, g
Let t = -31 - -29.7. Let q = 13.7 - t. Sort -1/3, q, 1 in decreasing order.
q, 1, -1/3
Let l = 501 - 488. Sort 3, 1, l.
1, 3, l
Let m = -675 + 679. Suppose 0 = -2*u + u + 2*c + 3, 0 = 4*u - 4*c - 4. Put m, 0, u in increasing order.
u, 0, m
Let o = 1013 + -1012. Sort -5, o, 8.
-5, o, 8
Let n = -2537/3 - -846. Sort 105, -1, 0.4, n in increasing order.
-1, n, 0.4, 105
Let i be 1 - 2*(-3 + 2). Suppose -m - 57 = -21. Let x be 2/(-8) - 81/m. Put i, x, -3 in descending order.
i, x, -3
Let q = 269 + -267. Put q, 4, -57 in decreasing order.
4, q, -57
Let a = -4/13 - -21/26. Let k = 40.15 + -40. Let f = k + -0.12. Sort -1, f, a in decreasing order.
a, f, -1
Let s = 1/9 - -5/36. Let w be 12*(-9)/(-72)*(-4)/21. Put 2, -0.5, w, s in decreasing order.
2, s, w, -0.5
Let a = 0.55 - -5.45. Put a, -2/7, -4 in increasing order.
-4, -2/7, a
Suppose 6*b - 5*b + 4*u = 13, 5*u = 20. Put -1, 2, -4, b in decreasing order.
2, -1, b, -4
Let b(g) = -2*g + 18. Let o be b(8). Suppose 7*t - 2*t - 3*x = -37, 0 = 2*t - 5*x + 30. Sort -1, t, o.
t, -1, o
Let l = -0.33 + 0.13. Suppose -10*d + 34*d = -72. Let g = 3 - 3.1. Sort l, d, g in decreasing order.
g, l, d
Suppose 0 = -4*c - 2*t + 12, -t = 4*c + 2*t - 14. Let y be (-8)/(-34)*9 - c. Let f = 463 + -468. Sort f, y, -0.3 in decreasing order.
y, -0.3, f
Let x = -19 - -9. Let p(n) = -n**3 - n**2 + 9*n. Let d be p(-4). Let t = x + d. Put t, -3, -4 in descending order.
t, -3, -4
Suppose 579*x - 586*x + 35 = 0. Put -4, -3, 21, x in decreasing order.
21, x, -3, -4
Let d(s) = s + 10. Let z = 10 - 20. Let a be d(z). Suppose -4 + 24 = -4*n. Sort a, -2, n in decreasing order.
a, -2, n
Let w = -8 + 10. Let i be (-2)/1 + 0 + w. Put -3, 5, -1, i in descending order.
5, i, -1, -3
Let l(k) = k**2 + 5*k - 13. Let n be l(2). Put -3, 4, n, 0 in increasing order.
-3, 0, n, 4
Let q = 28.2 + -29.4. Put q, 1/3, -5, 3 in ascending order.
-5, q, 1/3, 3
Let x = -37.6 - -39.6. Sort x, -3/4, -1/5 in descending order.
x, -1/5, -3/4
Suppose 39 = 4*r - 3*f, -r - r + 9 = -5*f. Suppose -3*m - r = 2*p + m, p + 4*m + 8 = 0. Sort 5, 0, p in ascending order.
p, 0, 5
Let d = -1133 - -1132. Sort -16, d, 5 in ascending order.
-16, d, 5
Let g(h) = -2*h - 21. Let p be g(-10). Let t be (-8 - -7)/p*(0 - 0). Sort -4, t, 6 in descending order.
6, t, -4
Let x = -1741.9 - -1742. Put 3/8, x, 0.3 in descending order.
3/8, 0.3, x
Let b = 758 + -757.6. Put -0.3, b, 42/5 in ascending order.
-0.3, b, 42/5
Let b be (-3)/78*-4 + (-240)/(-130). Put -11, 4, b in decreasing order.
4, b, -11
Let a = -0.3 - -0.35. Let j be (9 - 3)*(-1)/(-4)*-2. Let r be 1*(16/(-60))/(-2)*j. Put r, 3, a in ascending order.
r, a, 3
Let h be 6/9*6 - (13 - 4). Sort h, 5, 2, 7.
h, 2, 5, 7
Let f = -470 - -471. Sort f, -5/2, -4, -1/11 in decreasing order.
f, -1/11, -5/2, -4
Let y = -885 - -883. Sort -45, y, -3, 1.
-45, -3, y, 1
Let x(j) = -j + 11. Let r be x(8). Suppose -h - 16 = -3*w - 6*h, r*w + 14 = h. Sort w, -0.4, -0.2 in ascending order.
w, -0.4, -0.2
Let n = 216 + -220. Put 0, n, -2 in descending order.
0, -2, n
Let p(n) = 2*n + 10. Let l be p(-4). Suppose -29 - 14 = 3*f + 4*u, 0 = -2*f - l*u - 28. Sort f, -3, 3, 0 in increasing order.
f, -3, 0, 3
Let p = 241/805 + -18/115. Put p, 4, 38 in decreasing order.
38, 4, p
Let r be ((-4)/4)/(((-56)/(-21))/1). Put 3, r, 76 in ascending order.
r, 3, 76
Let x(i) = -i**2 + 8*i - 2. Suppose 4*j = 38 - 6. Let k be x(j). Let h = -2 + 3. Sort h, 2, k in increasing order.
k, h, 2
Let t = 0.3 - 0.6. Suppose 0 = b - 3*b + j - 31, 4*b = 5*j - 77. Let o = b + 18. Sort t, 0.5, o.
t, 0.5, o
Let o = 1381 - 1384. Suppose -4*d = d + 25. Sort -4, o, -14, d in descending order.
o, -4, d, -14
Let r = 4 + -8. Let i be (0 - -2 - 1)*(-4)/(-1). Put 5, r, 2, i in descending order.
5, i, 2, r
Let x(r) = -r**3 + 9*r**2 + 8*r + 14. Let z be x(10). Let u(w) = w**3 + 8*w**2 + 10*w - 16. Let y be u(z). Sort 13, 0, y in decreasing order.
13, 0, y
Let v = 832.6 + -946. Let j = v - -113. Sort -9/8, j, 1, -1 in decreasing order.
1, j, -1, -9/8
Let x = -4.72 - 0.28. Let n = 2 + x. Put 0.1, 3, n in decreasing order.
3, 0.1, n
Let y = 146/561 + -4/51. Sort 147, -2/7, 4, y in ascending order.
-2/7, y, 4, 147
Let q(y) = -y**2 + 4*y + 1. Let a be q(2). Let m be (7/((-21)/(-24)))/4. Put -2, m, a in increasing order.
-2, m, a
Let w = 0.142 + 0.258. Sort 1/3, w, 1, 1/8 in descending order.
1, w, 1/3, 1/8
Let k = 317 + -315. Let p = -3 - -11. Put 0.3, p, -1/6, k in ascending order.
-1/6, 0.3, k, p
Let d = -103 + 99. Sort 3, d, -1, -3 in decreasing order.
3, -1, -3, d
Let t = -2 + 4.9. Let a = t + -3. Let d = 0.0804 - 1.0804. Sort a, d, 3/2.
d, a, 3/2
Let a = 2 + -1.8. Let d = 3.5 - -0.5. Sort a, d, 0.5 in decreasing order.
d, 0.5, a
Suppose -15*j = -4*j - 44. Put j, -12, -4, 3 in decreasing order.
j, 3, -4, -12
Let x = -11 + 11.1. Let w = -24.94 - -25. Sort w, -0.3, x, -1/3.
-1/3, -0.3, w, x
Let p = 172 + -160. Sort 4, 2, p in descending order.
p, 4, 2
Suppose 3*b = -0*b - 3. Let a be (-2)/(-10) + b/5. Suppose 2*q + 18 = -4*f, 4*q + 5*f + 21 = -a*q. Put -5, q, 2 in increasing order.
-5, q, 2
Let p be (9/(-5 - -8) - 3)/(-2). Suppose 4*v - v + 4*r - 9 = 0, 0 = 5*v + 4*r - 7. Sort 5, -4, v, p in ascending order.
-4, v, p, 5
Let x = -1.84 + -0.16. Let o be 2*((-1)/(-3))/(33/11). Put x, o, 2 in decreasing order.
2, o, x
Let d = -0.6 - -1.6. Let c = -2.33 - -2.33. Suppose -4 = -0*p + 4*p. Sort p, d, c in ascending order.
p, c, d
Let k = -8 - -9.1. Let s = k + -1.6. Let v be 6*-21*1/(-18). Sort 0.1, s, v in increasing order.
s, 0.1, v
Let c = 2.538 - 7.538. Sort 2, -5/26, c.
c, -5/26, 2
Let o = 12.34 - 12.21. Sort o, -2, -0.4, -6.
-6, -2, -0.4, o
Suppose m - 15 = 6*w - 10*w, 4*m = -w. Sort 12, 1, 2/11, w in increasing order.
2/11, 1, w, 12
Let n(d) = -d**3 - 9*d**2 - 8*d - 3. Let w be n(-8). Let f(b) = 4*b. Let o be f(1). Let c be 3/21 - o/126. Sort w, 5, c in descending order.
5, c, w
Suppose b = 3*b. Let s be (14/(-36))/(161/(-69)). Put b, 3, -1, s in descending order.
3, s, b, -1
Let h = 215 + -216. Put -2, h, 1, -13 in descending order.
1, h, -2, -13
Let o(p) = -4*p - 59. Let b(u) = -2*u - 29. Let q(g) = -7*b(g) + 4*o(g). Let k be q(-14). Let c = -0.08 - 3.92. Put k, -1, c in ascending order.
k, c, -1
Let j = -1139 - -1141. Sort 4, 0, j, 1 in descending order.
4, j, 1, 0
Let j = -0.06 + 0.21. Let a = j - -0.75. Let p = -0.7 + a. Sort 0.5, -2, p in decreasing order.
0.5, p, -2
Suppose 0 = -3*p - 0*p - 6. Let x(z) = z**2 + 11*z - 92. Let u be x(-20). Suppose 4*y - u = -68. Put y, 12, p in increasing order.
p, y, 12
Let o = -6 - -4. Let q = -2 + 28. Suppose -4*y + 5*d + q + 9 = 0, -4*y + d + 23 = 0. Put y, o, 3 in decreasing order.
y, 3, o
Let c = -1.95 - -3.95. Put 2/7, -3, c, -7 in decreasing order.
c, 2/7, -3, -7
Let s(q) = -16*q - 34. Let a(j) = 3*j + 7. Let h(w) = 22*a(w) + 4*s(w). Let y be h(-11). Suppose 5*p - 1 + 5 = -4*d, -3*p = 12. Put y, d, 0 in decreasing order.
d, 0, y
Suppose 3*s + 5*r = 34, 4*r - 8 = s + 9. Suppose 40 = -15*o + 10. Sort o, -3, s in descending order.
s, o, -3
Let p = -7.2 + 0.2. Let h = -1 + p. Let m = h - -7.6. Sort m, -3, -1/3.
-3, m, -1/3
Suppose 4*v + t = -126, -2*v - 52 = -0*v - 5*t. Let o = 125 - 96. Let z = o + v. 