*2. Let x be m(5). Put 2, x, -2/7 in decreasing order.
2, -2/7, x
Let f = -1239 + 1244. Put -4, 237, f in descending order.
237, f, -4
Let g be ((-5360)/(-2814))/(5/18). Put 2/7, g, -2/19 in descending order.
g, 2/7, -2/19
Let j(c) be the first derivative of c**2/2 - 5*c - 30. Let l be j(5). Suppose 5*a - 4*o - 12 = l, -8*a + 14 = -4*a - o. Sort 3, -12, a.
-12, 3, a
Let k(d) = -d**3 - 6*d**2 - 6*d - 10. Let c be k(-7). Let l = 83 - c. Let n(a) = -a**3 + 4*a - 3. Let p be n(2). Sort l, -5, -1, p in decreasing order.
l, -1, p, -5
Let s = 0.15 - 0.45. Let r = 21237 - 21237.5. Put s, -1/3, 2, r in descending order.
2, s, -1/3, r
Let c be (-905)/(-50) + (4/(-40))/1. Let z be (-2)/6*(c + (-8 - 1)). Suppose 3*o = -3*d + 12, 0 = -2*d + 5*d + 5*o - 16. Put z, -2, 1, d in decreasing order.
d, 1, -2, z
Let m = 3 + -4. Let w = -0.3627 + 0.0627. Sort 0.5, -4, m, w.
-4, m, w, 0.5
Let n(x) = -6*x**2 - 17*x + 7. Let r(t) = -3*t**2 - 8*t + 3. Let a(m) = 6*n(m) - 13*r(m). Let j = -12 - -11. Let z be a(j). Sort 3, z, 5 in ascending order.
3, z, 5
Let d = -1234 - -1233.4. Let o be 2/4*2*-5. Sort -1/4, d, o.
o, d, -1/4
Let f = -1638 - -1575. Sort f, 3, -3, 5 in ascending order.
f, -3, 3, 5
Let s(p) = p**2 - 8*p - 38. Suppose -3*i + 110 = 7*i. Let n be s(i). Sort 2, 38, 5, n in ascending order.
n, 2, 5, 38
Let u(b) = b**2 + 102*b - 106. Let y be u(-103). Sort 2, -570, y in descending order.
2, y, -570
Let q = -2895 - -2894.6. Sort q, -3/106, 2 in increasing order.
q, -3/106, 2
Let f(h) = h**3 + 96*h**2 + 539*h. Let b be f(-6). Put 1, 5, b, -19 in descending order.
b, 5, 1, -19
Let q(j) = -124*j - 1112. Let k be q(-9). Put -4, k, 1/4, -2/13, -1/6 in decreasing order.
k, 1/4, -2/13, -1/6, -4
Suppose -1016*i - 16 = -1015*i - 3. Sort 18, i, 5.
i, 5, 18
Let o = -5474 - -5472. Sort -5, -4, 2, o.
-5, -4, o, 2
Let v = -4479 - -4492. Sort 4, -44, v in decreasing order.
v, 4, -44
Suppose -6*v + 595 = -227. Suppose -6 = 135*y - v*y. Put -2/3, -0.5, 5, y in increasing order.
-2/3, -0.5, y, 5
Suppose 0 = f - 4 + 9. Suppose -5*w - 19 = i, -5*w - 29 = 3*i - 12. Let d = -1 + 0. Sort f, -11, w, d in decreasing order.
d, w, f, -11
Let f be 644/784 - 5*(-1)/(-4). Put 0.5, -33.01, f, -1 in decreasing order.
0.5, f, -1, -33.01
Suppose -195*i + 6 = -198*i. Let z(f) = f**3 - 8*f**2 - 11*f + 6. Let u be z(9). Sort -4, -5, i, u.
u, -5, -4, i
Let t = -78 + 118. Let o = 27 - t. Suppose -10*v + 12*v = 5*k + 23, 0 = -4*k + 4*v - 28. Sort k, 1, o, 4 in descending order.
4, 1, k, o
Suppose 3*n + 5*x = 10, 0 = -6*n + n - 4*x - 5. Let h be (2*-2)/2 + 34 + -32. Sort 4, h, n, -133.
-133, n, h, 4
Let v = -4.99101 + -0.00899. Put -210, 5, v, 1 in increasing order.
-210, v, 1, 5
Suppose q - 161*y + 166*y + 22 = 0, 4*y = -2*q - 14. Let c be (-37)/(-7) - 4/14. Let z = -25 + 24. Sort c, z, q.
z, q, c
Let k = 160785 - 160784. Suppose 0 = 3*c - 2 + 8. Let f be (-1 - 2) + 2 + c. Sort f, 5, 3, k in ascending order.
f, k, 3, 5
Let y = -237 + 293. Sort -3, y, 6/5 in ascending order.
-3, 6/5, y
Suppose 3*n + 23 = -4*q, -n - q + 4 = -2*q. Let w(b) = -b**3 + 9*b**2 - b + 12. Let k be w(9). Let a be -2 + (-3)/k - 14/7. Sort 3, a, n in ascending order.
a, n, 3
Suppose -11*q + 48*q + 51*q = 189112. Put -2, -3, q in ascending order.
-3, -2, q
Suppose 2*z - 18 = z - 5*i, 3*z - 15 = -2*i. Let o(b) = b**3 + 27*b**2 - 157*b + 87. Let q be o(-32). Put q, 1, z in ascending order.
q, 1, z
Let t be 6*21/(-28) - (-2)/(-4). Put t, 0, 49, 1 in descending order.
49, 1, 0, t
Let f = -46306/6061 + 2/551. Sort 0.3, f, 2, -3 in ascending order.
f, -3, 0.3, 2
Suppose 4*g - 3*s = g + 123, -4*s + 58 = 2*g. Suppose 10*u = 143 + g. Let z = 2 - 7. Put u, z, -0.2 in descending order.
u, -0.2, z
Suppose 45*a - 6*a + 330 = 9*a. Sort 64, 2, a, 5 in decreasing order.
64, 5, 2, a
Let b = -0.2457 - 9.7543. Put b, -4/9, 1/3 in descending order.
1/3, -4/9, b
Suppose 0 = 3*a - 5*a + 6. Suppose 0*w + 4*b - 18 = -2*w, -a*w - 13 = -4*b. Suppose -8*n = 16 - 11 - 21. Sort 4, n, 37, w.
w, n, 4, 37
Let p = -1217 - -679. Let o = 538.2 + p. Let n = 649/8 + -81. Sort 5, o, n in descending order.
5, o, n
Let z = 118 + -112. Let j be 21/(2520/64)*(-3)/20. Sort z, 5, j, -1/5 in descending order.
z, 5, j, -1/5
Let l(p) = -27*p - 2011. Let h be l(-74). Put 3, 2, 7, h, -1 in decreasing order.
7, 3, 2, -1, h
Let m be (-1 + 0)/1 - 4. Suppose 3*r + 26 = 32, -4*h + r + 18 = 0. Put 3, -2, m, h in decreasing order.
h, 3, -2, m
Let h = -204 - -89. Let q = -115.4 - h. Let y be (-1)/((-10)/5)*1. Sort -0.06, y, 4/3, q in descending order.
4/3, y, -0.06, q
Let a = -7.98 - -8. Let v = -0.18 - a. Let y be 6 + (1020/25)/(-6). Put 3, y, v, 2/3 in decreasing order.
3, 2/3, v, y
Let s be (-200)/(-12) + (-4)/(-12). Suppose -11*t - 12 = -s*t. Suppose 2*r = 3 - 13. Put t, 1, r in descending order.
t, 1, r
Let j(o) = -o**2 - 6*o + 2. Let n be j(-5). Let y be (-2 - 5)/(-7) + 1. Let p(a) = 22*a - 593. Let v be p(27). Sort v, n, y in decreasing order.
n, y, v
Let g = 19282 + -19010. Sort g, 4, -5, 2 in increasing order.
-5, 2, 4, g
Let l(q) = -q**3 - 17*q**2 + 16*q - 33. Let r be l(-18). Suppose -4*f = r*a - 7, 4 = 4*f + f - a. Sort f, -67, 4 in increasing order.
-67, f, 4
Let d = 107353/15 + -7157. Sort -1/4, -1/64, d, 1/4 in descending order.
1/4, -1/64, d, -1/4
Let d be (1 - 10/(-4))*(-26 - 5270/(-217)). Sort -2, d, 4, -8 in ascending order.
-8, d, -2, 4
Let a = -57.6739 + -0.2461. Let q = a - -58. Let d = 0.28 - q. Sort d, -1.4, -0.1 in increasing order.
-1.4, -0.1, d
Let x = 1035 + -1034.99. Suppose -3*t = 6 - 0. Let v be 1/t*(3 + 1). Put v, x, -0.5 in decreasing order.
x, -0.5, v
Let h be (0 + (-2)/8)*(-4 - 0). Let l be (-6 - -6)/(h/(2/4)). Sort l, -1, 3, 7 in decreasing order.
7, 3, l, -1
Let n = 325.59 - 3.59. Let b = n + -315. Put 1, b, -0.5, -0.2 in increasing order.
-0.5, -0.2, 1, b
Let w = 8116 + -8119. Put -34, 0, w in decreasing order.
0, w, -34
Let c = 71 - 71.43. Let g = 0.03 + c. Suppose -63*m = 38*m - 197 - 5. Sort m, -4/3, g, -0.1.
-4/3, g, -0.1, m
Let x(t) = -7*t**3 - 63*t + 378. Let v be x(6). Put -1, v, -4 in decreasing order.
-1, -4, v
Let z(c) = -33*c + 75. Let x(k) = -2*k + 1. Let h(s) = -4*x(s) + z(s). Let y be h(3). Let p = 3 + -2.98. Sort p, -2/23, y in ascending order.
y, -2/23, p
Let d = -916.8676 + -0.1324. Put 0.5, -5, d in ascending order.
d, -5, 0.5
Let f = -1043.2 - -1043.2. Let j = -5.3 + 0.3. Put j, 0.27, f in decreasing order.
0.27, f, j
Let o = 2401.7 - 2401. Put 0.04, 5, o, 4 in descending order.
5, 4, o, 0.04
Suppose -4*o = 5*g - 13, g - 3*g - 8 = -5*o. Suppose p - 2*p - 4 = 0, 0 = -o*t + p - 14. Sort 2, -5, 4, t.
t, -5, 2, 4
Let t = 0.6 + -0.1. Let k = 65055 - 65213. Put k, 4, t in descending order.
4, t, k
Let y(i) = -2*i**2 - 222*i - 648. Let g be y(-3). Sort -2, -14, g, -4 in increasing order.
-14, -4, -2, g
Suppose -9 = 3*p + 3*y, -y - 15 = p - 6*p. Let t be 3/(-1) + -1 + 3. Let a be (-2)/3 + 168/36. Sort t, p, a in decreasing order.
a, p, t
Suppose 1273 + 239 = -3*c. Let a = 508 + c. Sort a, -4, -11, 5 in decreasing order.
5, a, -4, -11
Suppose -2*c - 21 = 5*v, c + 5*v + 29 = 6. Let r = 5.6039 + 0.3961. Sort c, 2/21, r.
2/21, c, r
Suppose 2*q - 5*r - 17 = 0, -q - 6*r - 19 = -3*r. Suppose 361 = -208*k - 55. Sort 57, q, k in decreasing order.
57, k, q
Let n = 401.6 + -402. Sort -5, -6.7, n.
-6.7, -5, n
Suppose -16 = -k - 16, 0 = 5*a - 6*k + 5. Sort 8, -8, 3, a.
-8, a, 3, 8
Let a = 9.895 + -9.9. Let m = a + -0.195. Let b = -0.1 - -0.06. Sort b, m, 5/4 in ascending order.
m, b, 5/4
Let x be 265/(-4) - 1/(-4). Suppose -591*o + 420 - 1935 - 1440 = 0. Sort x, -4, o in increasing order.
x, o, -4
Let d be ((-2)/(-21))/((-42)/147). Sort -3, d, -1/1175 in ascending order.
-3, d, -1/1175
Let w = 6184 + -68022/11. Sort -183, w, -5 in descending order.
w, -5, -183
Let j be 2/(12/653) + 14/84. Let q = 546/5 - j. Let i be ((-7)/(-84))/((-2)/6). Put q, -0.1, i in descending order.
q, -0.1, i
Let z = -15340 - -15340.5. Sort z, -1/3, 3, -13.
-13, -1/3, z, 3
Let s be (-28)/(-8)*(-4)/(-7). Let c be 2*s/8*-6. Let d be (-11662)/(-476)*(36/(-14) - -2). Put d, 2, c in ascending order.
d, c, 2
Let p = 6195 + -6272. Sort 0, p, 4, 1, -30 in decreasing order.
4, 1, 0, -30, p
Let x be 42596/(-10720) + (2 - -2). Let i = 7/201 - x. Sort i, -2, 3, 0.1.
-2, i, 0.1, 3
Sup