 = k - 318. Put a, -3, -31 in decreasing order.
a, -3, -31
Let f(n) = -126*n + 3*n**2 + n**3 + 65*n + 2*n**2 + 66*n. Let z be f(-3). Sort z, -83, -3.
-83, -3, z
Let o = 18843.84 + -18844. Sort o, -108, -3/5 in descending order.
o, -3/5, -108
Let x = -107 + 205. Suppose 14 = -14*f + x. Suppose 0 = -0*v - f*v. Sort v, -2, -3 in descending order.
v, -2, -3
Suppose -5*k + 61 = 7*k + 61. Sort -11, k, 7, 1 in ascending order.
-11, k, 1, 7
Let t = 15417 - 15417. Sort -36, -2, t, -1, -5.
-36, -5, -2, -1, t
Let y = 30.6327 + 0.3673. Sort 0.11, 4, y in decreasing order.
y, 4, 0.11
Let t = 4/3 + -1. Let k = -10747 - -10742. Sort 4, -11, k, t in decreasing order.
4, t, k, -11
Let n = 59.054 + -59.4. Let h = n + 0.346. Put 2/5, -1, 1, h in descending order.
1, 2/5, h, -1
Let d = 10.13 + -0.13. Let q = d - 10.5. Let a(c) = c**3 - 6*c**2 - 9*c + 16. Let n be a(7). Sort 0, 3/5, q, n in decreasing order.
n, 3/5, 0, q
Let c = -463 - -456. Let l(q) = q**3 + 9*q**2 + 9*q - 37. Let j be l(c). Sort 5, 6, j, -5 in ascending order.
-5, j, 5, 6
Suppose -r - 8 = 4*n + 2*r, 0 = -n + 3*r - 2. Let h(o) = -7*o - 16. Let w be h(-7). Sort w, n, 5, 4 in decreasing order.
w, 5, 4, n
Let g(q) = q - 32. Let m be g(14). Let i be 0 + (-4)/m - 5/(-18). Put 43, i, 0 in decreasing order.
43, i, 0
Let r = -53434/737 + 3/1474. Let y = -71 - r. Let k = -21 - -20.7. Sort k, 4, y in decreasing order.
4, y, k
Let s = 3825 - 3829. Put s, 2/19, -0.9 in decreasing order.
2/19, -0.9, s
Let s be ((-85)/(-10) + -6)/((-2)/(-4)). Suppose -41*j = -18*j + 23. Sort s, j, -148 in decreasing order.
s, j, -148
Let t = -169 - -170. Let p = -150.5 + 150. Sort -1, 33, t, p in ascending order.
-1, p, t, 33
Let w = 2.5 + -3. Let z = -18591 - -18594. Let y = 0.3 + -0.1. Put y, -1/6, z, w in ascending order.
w, -1/6, y, z
Let l(j) = 14*j**3 - 9*j**2 - 10*j + 10. Let a be l(5). Let o = 1483 - a. Let h be 2/(-8)*(-8)/(-15). Put h, -1/4, 4, o in ascending order.
o, -1/4, h, 4
Let k = -37/714 + -1/51. Let o be 4/(-14) + 99/630. Let x = k + o. Put x, 2, 0.4 in increasing order.
x, 0.4, 2
Suppose 4*v = -4*b + 72, -69*b + 58 = -68*b + 5*v. Let p(n) = -n**3 - 4*n**2 + 2. Let a be p(-4). Let u be (2/(-4))/((-2)/4). Put a, u, b in increasing order.
u, a, b
Suppose -2*f - 2*p + 14 + 6 = 0, f + 5*p = 26. Suppose -5*k = r, -k + 20 = r - f*k. Let n = r - 12. Sort 3, n, -5, 4 in increasing order.
-5, n, 3, 4
Let w be (-4)/(-8)*7*1/(-14)*-16. Put 1/4, 1/7, 2/159, w, -3/4 in descending order.
w, 1/4, 1/7, 2/159, -3/4
Let j = -57.518 + 57.218. Suppose 4*c = 4*v, v + 2*v - 5*c + 2 = 0. Sort -5, j, v, -4 in descending order.
v, j, -4, -5
Let i be -5 - -7 - 7*19. Let q = 1256595/13 + -96530. Let n = q + i. Sort 2/3, -3, n, 0.3 in decreasing order.
2/3, 0.3, n, -3
Let i(a) = -346*a + 5429. Let t be i(10). Sort 5, -1, 3, t.
-1, 3, 5, t
Let f = 63 + -121. Let y = 18 + f. Let b = y + 40.3. Put b, -4, -2/9, -3 in descending order.
b, -2/9, -3, -4
Let r = 10341/28 + -1475/4. Put -5, 0, r, -6 in ascending order.
-6, -5, 0, r
Let w be ((-27)/54)/(2/4). Let h be 1/w*0/31. Sort 2, 7, h in ascending order.
h, 2, 7
Let f(s) = -s**3 - 2*s**2 + 22*s - 31. Let c be f(2). Put c, -1215, 5 in descending order.
5, c, -1215
Let j be (-406)/(-21) - 17 - (-8)/(-6). Put -15, -4, j in decreasing order.
j, -4, -15
Let s = -17160 + 17157. Put 0.6, -0.064, s, 0.06 in decreasing order.
0.6, 0.06, -0.064, s
Let q = -2.838 + 2.738. Let f = -0.15 + -1.25. Let x = -0.4 - f. Sort q, 0, x in decreasing order.
x, 0, q
Let i = 29.47743 + 0.01257. Let c = -29.5 + i. Let o be 2 + -3 + (-13)/(-11). Put o, c, -3 in increasing order.
-3, c, o
Let x be 88/396 + (-2)/(-12)*12/(-9). Put -2058, 3, x in descending order.
3, x, -2058
Let a = 75.5 - 76. Let n = 1781.5 + -1781. Put n, 68, a in decreasing order.
68, n, a
Let x = 4871 - 5052.8. Put 2/11, x, -3 in increasing order.
x, -3, 2/11
Let h = 15905/19 - 837. Let w = 3.6 + -0.6. Let m be -4 + (-2)/(-8)*18. Sort m, h, w in decreasing order.
w, m, h
Let a(h) = -8*h - 75. Let b be a(-9). Let z(f) = 2*f**3 + 5*f**2 + 3*f + 2. Let u be z(-3). Sort u, b, -4 in ascending order.
u, -4, b
Let b(v) = v**2 - 28*v - 80. Let r(n) = -n - 1. Let i(c) = b(c) - 5*r(c). Let u be i(26). Let l = 0.1 + 0.1. Sort 4, 0, l, u.
0, l, u, 4
Suppose -24 = -18992*i + 18980*i. Sort i, 9, -24 in decreasing order.
9, i, -24
Let c be (5*(-8)/10)/(0 + -1). Let r be (6/(-6))/(5 - 4). Sort 0, c, r, 6 in ascending order.
r, 0, c, 6
Let n = 83 + -127. Let s = n + 45. Let b be (378/420)/((-6)/10). Sort 1/5, b, s, -2 in decreasing order.
s, 1/5, b, -2
Let q(b) be the first derivative of b**4/4 + 4*b**3/3 - 23*b**2/2 - 11*b + 34. Let g be q(-7). Sort g, -3, 0 in descending order.
g, 0, -3
Suppose -3*x + 2*f + 12 = 0, -4*f + 3*f + 5 = 4*x. Suppose -1 = 3*a + 2*l, -2*a - l + 1 = 2. Let i(r) = r**3 - 4*r**2 - 5*r + 1. Let v be i(5). Sort x, a, v.
a, v, x
Let s = -60 + 59. Let y be 5/((0 - s)*175/105). Let a be 9/(-2) + (-1)/(-2). Sort a, y, -2.
a, -2, y
Suppose -381 = -2*d + 5*j - 342, 4*j + 30 = d. Sort -5020, -4, d in decreasing order.
d, -4, -5020
Suppose 7*t = -4*f + 2*t - 9, 2*f - 13 = t. Let g = -3 - -20. Suppose -5*l - 4*j = g, -2*l + j + 1 = -0*j. Sort l, f, -4 in ascending order.
-4, l, f
Let c = -0.19494 - -0.39494. Sort c, -1/4, -2, 19 in descending order.
19, c, -1/4, -2
Let l be (-10)/(-6) + (-6036)/9. Let y = -1337/2 - l. Sort y, -2/11, 2 in ascending order.
-2/11, y, 2
Suppose l - 2*s = 0, -5*l + 0*s + s = 0. Suppose -5*f - 2 = 2*v - l*v, -2*f + 5 = -5*v. Sort -9, 3, v.
-9, v, 3
Suppose -3*t = 4*f + 66 - 38, -2*t + 4*f + 8 = 0. Put -10, 0, t, -93 in increasing order.
-93, -10, t, 0
Let b = 49 - 102. Let v = 69.857 + -21.857. Let g = v + b. Sort 5/2, -1/2, g in ascending order.
g, -1/2, 5/2
Let h = -17830 - -17827. Let q = 0.29 - 0.09. Put h, 184, q in increasing order.
h, q, 184
Let t = 1.262 - 1.762. Let j = 5.92 - 5.1. Let i = -0.08 - j. Sort t, i, 4, 2 in decreasing order.
4, 2, t, i
Let v(b) = b**3 - 8*b**2 - 10*b + 9. Let n be v(9). Let w(z) = 90*z + 455. Let f be w(-5). Put f, -3, n in descending order.
f, n, -3
Let n = -70 + 64. Suppose 17*p - 18*p = -3. Suppose 0 = p*a + 6. Sort -3, a, n in descending order.
a, -3, n
Let q(y) = -y**3 + 7*y**2 - 16*y + 12. Let i be q(4). Let m = -1 + i. Sort 0.2, m, -24, 2/9 in descending order.
2/9, 0.2, m, -24
Let t be (-3 + (-19)/(-2))/(2/60). Suppose t = n + 196. Let k be (4 + 0)*(-6)/(-8). Sort 1, n, k in descending order.
k, 1, n
Let b = 1815 + -1818.4. Put 4, b, -0.4, -13, -1/2 in decreasing order.
4, -0.4, -1/2, b, -13
Let w be 1 + 119/(-8 - -1). Let u = -868 + 866. Sort w, u, 2 in ascending order.
w, u, 2
Suppose -7*q + s = -16*q + 22, 5*s = 5*q + 10. Sort q, 3, -199 in ascending order.
-199, q, 3
Let o = -738.1 + 738.3. Put o, 4, -554 in decreasing order.
4, o, -554
Let h = -2368 + 2377. Put -3/8, -0.3, -0.12, h in increasing order.
-3/8, -0.3, -0.12, h
Let z be 1557/4 + 15/20 - 2. Let c be (-3)/(846/z) - 16/(-12). Put c, -0.4, -0.2 in increasing order.
-0.4, -0.2, c
Let k be 24/(-2)*(-65)/(9620/(-111)). Put -1, -2, k in descending order.
-1, -2, k
Let s be 2/(-1) + (-44)/(-28). Let x = 1346.8 + -1346.4. Put 0.04, x, s, -2/3 in descending order.
x, 0.04, s, -2/3
Let s be 102/119*(-14)/(-4). Sort s, -6, 6, -3.
-6, -3, s, 6
Suppose 2*y = -5*q - 0*q + 44, q = -2*y + 4. Suppose 124 = -7*j + 38*j. Suppose -j*h + q = 3*v, h - 3*h + 4 = 2*v. Put v, -3, 3, -6 in ascending order.
-6, -3, v, 3
Let k = 9 - 11. Let z be (-112)/132 - k/3. Let t = -930 + 934. Sort z, 2, t, -0.2 in increasing order.
-0.2, z, 2, t
Suppose 8*l + 3*j - 670 = 3*l, 252 = 2*l - 2*j. Let t = l - 143. Let y be (-16)/t - 22/3. Sort y, -4, -5, 4.
y, -5, -4, 4
Let x(k) = -3*k**2 + 31*k - 112. Let d be x(16). Let f = 385 + d. Let v = 19.95 - -0.05. Put v, -0.4, f in descending order.
v, f, -0.4
Let m = -42 + 43. Let t = -7299 - -7292. Put -1, t, m in descending order.
m, -1, t
Let t(u) = 7*u**2 + 123*u + 180. Let d be t(-16). Sort -1, -16, d, 0, -3.
-16, -3, -1, 0, d
Suppose 156 = -3*q - 3*q. Let v be 91/q*(-5 - -3). Put 0, -5, 4, v in ascending order.
-5, 0, 4, v
Suppose -3*y = -4*m + 661, -5*y - 1027 = 131*m - 127*m. Put y, 11, 3 in increasing order.
y, 3, 11
Let i = 938 - 1704. Let n = i - -768. Let f be (-2 + 0 - -1)/1. Sort 1, -2, f, n