= 77171 + -77170.6. Put b, f, -1, -0.3 in decreasing order.
f, b, -0.3, -1
Let f = 0 + -4. Let t = -0.005 + -3.095. Let h = t - f. Put h, 2/3, 2 in decreasing order.
2, h, 2/3
Suppose 3*c + 12 = -4*n, 88 = 4*c + 2*n + 84. Sort 66, 5, c.
c, 5, 66
Let g = -2728 - -2731. Let c = 13 + -18. Put -4, g, -3, c in descending order.
g, -3, -4, c
Let s = -103 - -118. Let l be s/10*6/27. Put 3, 2/25, l in decreasing order.
3, l, 2/25
Let p = -0.173 - 77.827. Let s = -83 - p. Sort -3, s, 0.5, -3/5 in ascending order.
s, -3, -3/5, 0.5
Let q(m) = 4*m**2. Let i be q(-1). Let r(s) = s**3 - 13*s**2 - 3*s + 42. Let d be r(13). Suppose f - 34 = -0*f. Sort f, i, d in decreasing order.
f, i, d
Let h(l) be the second derivative of l**5/20 - l**4/3 + 11*l**3/6 - 10*l**2 - 25*l. Let f be h(3). Sort -8, 7, f in descending order.
7, f, -8
Let u = -0.08 + 0.31. Let q = 7850 - 7850.2. Sort -1/4, q, u in ascending order.
-1/4, q, u
Let g = 0.3 - 0.7. Let p = 127/816 - -3/272. Sort g, 3/2, 0, p in decreasing order.
3/2, p, 0, g
Let r = 0.6 - -3.4. Let f be 129/30 - (-11 - (-377)/26). Let a = 0.3 - 0.1. Sort f, a, r.
a, f, r
Let f be (-165)/(-25) + 21/(-35). Sort f, 63, 0 in ascending order.
0, f, 63
Let g(a) = 8*a - 24. Let m(h) = 21*h - 47. Let p(j) = -7*g(j) + 3*m(j). Let l = -7 + 2. Let r be p(l). Put 0, -2, r in ascending order.
r, -2, 0
Suppose v - 6 = -5*q + 6*q, 0 = v - 3*q - 8. Let b(s) = 1 - 8*s - s**2 + 7*s + 0*s**2. Let d be b(2). Put v, 4, d in descending order.
v, 4, d
Let f = -4842 - -4806. Sort 3, f, 25 in increasing order.
f, 3, 25
Let n be (-2)/5 - (-109175)/125. Let s be (3/((-9)/(-4)))/(388/n). Put s, 637, 0 in increasing order.
0, s, 637
Let r = 160305/13 - 12331. Sort 0.3, -0.2, -9, r, 6 in ascending order.
-9, -0.2, r, 0.3, 6
Suppose -14 = -3*n + 2*k, 0*n - 2*n - k = 0. Suppose 0*r + 3*r - 48 = -3*g, 5*r = n*g - 11. Put g, -2, -3, 4 in descending order.
g, 4, -2, -3
Let d(l) = 852*l - 1699. Let x be d(2). Sort 0, x, -10, 2 in increasing order.
-10, 0, 2, x
Suppose -4*u + v = -24, v = 2*u + 8 - 22. Let a be (5/(-2) - 105/(-30))*41. Put u, -1, a in decreasing order.
a, u, -1
Let n = -4.4 + 4.1. Let c = 43/27 + -25/27. Put n, -1, c, 45 in decreasing order.
45, c, n, -1
Let r be (-2)/6 + (-30)/(-36). Suppose 0 = 6*n - 2*n. Suppose n = 4*g - 16, 2*u - 2*g = 3*g - 30. Sort r, u, 3.
u, r, 3
Let x be (-8)/(-4) - 6 - -1. Suppose 524*b - 501*b = 161. Sort 3, x, b, -5.
-5, x, 3, b
Let w be 90/180 + (2 - (1 - -1))/1. Put w, -0.1, 1, -39 in ascending order.
-39, -0.1, w, 1
Suppose -44*i - 736 = -208. Put 4, -4, i, -2, -136 in increasing order.
-136, i, -4, -2, 4
Suppose -4*p - 40 = 5*l, 0*p + 3*p - 2*l = -7. Let i be 1 - 3/((-3)/4). Sort i, p, -47, 2.
-47, p, 2, i
Let w = 6759 - 20276/3. Put w, 11, 0.5 in descending order.
11, 0.5, w
Suppose 3*r + 17 = -4*c, -18*r + 4*c = -23*r - 15. Let v be (-1 - ((6 - r) + -4)) + 10. Put 2, 0, v in decreasing order.
v, 2, 0
Suppose -46 = -3*g + 5*b - 0, 5*g + 36*b + 278 = 0. Put -2/3, -9, 9/7, g in decreasing order.
g, 9/7, -2/3, -9
Suppose 4*u + 20 = 0, -2*w - u - 3*u = 30. Let q = 3904 + -3936. Sort w, q, 5 in descending order.
5, w, q
Let m(g) = g**2 - 59*g + 57. Let x be m(1). Put 3, x, 5, 1, 18 in descending order.
18, 5, 3, 1, x
Let r = 0.233 + -0.297. Let w = 13.064 + r. Sort -3, -0.7, w, 1/8.
-3, -0.7, 1/8, w
Suppose 61*b - 130 = 35*b. Suppose 0 = 2*z - 4*z - 2*u, -2*u = 3*z - 5. Suppose 3*n - 4*n - z*s - 21 = 0, 3*s + 27 = 3*n. Put n, 3, b in descending order.
b, n, 3
Let j = -307676/1692097 + 2/153827. Suppose z + 2 + 2 = -i, 5*i + 3*z = -18. Sort 0.9, i, j in increasing order.
i, j, 0.9
Let g = -30 - -29. Let d = -462 + 527. Sort d, 0, g.
g, 0, d
Let w = -2 + 4. Let y = -36 - -46. Let x be y/18 - ((-144)/(-12))/36. Put -3/8, 5, w, x in descending order.
5, w, x, -3/8
Let c = 27622 - 27627. Let o be 3/(2 - 34/20). Put -2, c, o in descending order.
o, -2, c
Let p be 728/9 - (-25)/225*1. Sort 2, 4, p, -1 in descending order.
p, 4, 2, -1
Let s = -7441 - -7457. Sort 68, s, -3.
-3, s, 68
Let c be 0/((0 - -1)*1). Let b be (0 - 12)/(12 + -9 + -1). Put c, b, -2, 1 in ascending order.
b, -2, c, 1
Let r(b) = -18*b + 37. Let d be r(8). Let j = 539/5 + d. Sort j, -0.1, 0, -10/7 in decreasing order.
j, 0, -0.1, -10/7
Suppose -30*f - 655 = -1585. Put 1, f, 3, -49 in descending order.
f, 3, 1, -49
Suppose 0 = 38*x - 21*x - 11339. Put 1/8, 1, x in decreasing order.
x, 1, 1/8
Let q be 22/(-176)*28*(-30)/(-21). Put 10, q, -48 in descending order.
10, q, -48
Let l be ((-136)/(-6))/(18/(-81)) - 4. Let j = 107 + l. Suppose -5*a - 6 = -j. Sort -5, 4, a, -3 in ascending order.
-5, -3, a, 4
Suppose 2*g = 5*q - 21, -12*g = 3*q - 14*g - 11. Let o = 165 + -169. Sort 40, o, q in descending order.
40, q, o
Suppose -17*d = -2*d - 135. Suppose d*m + 1768 = -1571. Sort -3, m, 2.
m, -3, 2
Let l = -11 + 5. Let x = 202755 + -202760. Put 1/6, -4/5, x, l in descending order.
1/6, -4/5, x, l
Let m = 930 + -353. Let w = -576 + m. Sort 0.1, -0.4, -3/4, w in decreasing order.
w, 0.1, -0.4, -3/4
Let h = -4/3319 - -9977/16595. Sort -120, h, 8 in increasing order.
-120, h, 8
Let k(j) = j**3 - 11*j**2 + 11*j + 2. Let n be k(10). Suppose -2*a - 3 = -q + 1, 0 = -3*q + 5*a + n. Let b = 3.2 - 0.2. Sort -0.6, 5, b, q in decreasing order.
5, q, b, -0.6
Suppose 0 = -p + 5*v + 26, -850*p + 845*p - v = 26. Sort 7, p, 5, 4, -5 in decreasing order.
7, 5, 4, p, -5
Let o(a) = 3*a - 66. Let b be o(27). Suppose -f - 4 + 6 = 0. Suppose b = f*v + v. Put 1, 3, v in decreasing order.
v, 3, 1
Let n = -19138 - -19138. Sort 69, 5, n, 1, -1 in descending order.
69, 5, 1, n, -1
Let y = 441 + -440.6. Put 5, y, 0.6, 2, 2/81 in descending order.
5, 2, 0.6, y, 2/81
Suppose -36*k + 94*k = 290. Let l(i) = i**2 + 2*i - 1. Let m be l(-2). Let y be (147/49)/(k/2 + m). Sort -2, y, 4 in decreasing order.
4, y, -2
Let u(o) = 19*o + 285. Let v be u(-17). Sort -2/3, -0.2, v in descending order.
-0.2, -2/3, v
Let y be -4 + 12 - (-19 + -6 - -13). Let k be (7 + -11)*(1 - 2). Suppose k*f = -2*n + 12, 4*f + 3*n = 12 - 2. Sort f, -4, y in decreasing order.
y, f, -4
Let y = -10021 - -10021. Put -6, 5, y, 3, 4 in ascending order.
-6, y, 3, 4, 5
Let f = 1.6949 - -0.3051. Sort -1/6, 4, -9.1, f.
-9.1, -1/6, f, 4
Let v be 4/(-38) - 280/228. Let t = -452/9 - -2987/36. Let s = 33 - t. Sort 0, v, s.
v, 0, s
Let p = 3234 + -3387.9. Let i = 154 + p. Let z = -6 - -7. Put i, z, -1 in decreasing order.
z, i, -1
Let q = 578400 - 578399. Let a = -8 + 3. Put -0.1, -0.3, q, a in increasing order.
a, -0.3, -0.1, q
Let a = 1704167/242 + -7042. Let t = a - 461/17666. Let z = 153/511 + t. Sort -0.3, 3, z in decreasing order.
3, z, -0.3
Let o(z) = -5*z**2 + 1. Let b(q) = -q**3 + q. Let l(x) = -b(x) - o(x). Let c be l(-5). Suppose -3 = -p, 0*p - 86 = c*y + 2*p. Sort y, 4, 0 in descending order.
4, 0, y
Let u be 6/4 - (-7 + 4). Let h = u + -14/3. Let j(o) = 11*o**3 - 32*o**2 - o - 3. Let x be j(3). Sort -3/4, x, 2/5, h in decreasing order.
x, 2/5, h, -3/4
Let m = -571 + 273. Let l = -308 - m. Put 0.4, l, -5, -3 in ascending order.
l, -5, -3, 0.4
Let t(g) = -17*g**2 + 38*g + 12. Let y be t(3). Let w = 47 - 42. Sort -2, w, y in descending order.
w, -2, y
Suppose -3*t + 7*t - 40 = 0. Suppose -3*j + t = -8. Let o be (2/j)/((-2)/(-12)). Put -1, 3, o in increasing order.
-1, o, 3
Let k = -53 + 98. Suppose 0 = 5*a + h - 12, -a - 18 = 4*h - 9. Put a, k, -2, -5 in increasing order.
-5, -2, a, k
Let v be 132/33 + 6 + 1. Suppose -v*m = 41 + 3. Let r(w) = w**3 - 2*w**2 + 3*w - 1. Let z be r(2). Sort -1, z, m.
m, -1, z
Suppose 2 = 4*q - 5*o + 6, -4*q + 8 = -2*o. Let u be ((-13)/182)/((-5)/(-40)). Let i = 55/3 - 18. Put i, u, q, -12 in decreasing order.
q, i, u, -12
Let i = 3 + -3.35. Let q = i + 0.05. Let b = 620 - 624. Sort q, b, 3 in decreasing order.
3, q, b
Let i(g) = g**2 - 6*g - 2. Let p be i(6). Let c(r) = -13*r**2 + 26 - 22*r - 30*r**2 + 45*r**2. Let t be c(9). Sort p, -3, t, 5.
t, -3, p, 5
Let r = -35 + 38. Suppose 0 = -23*t + 50*t - 11*t - 32. Put 4, t, -1, r in ascending order.
-1, t, r, 4
Let f(a) = 20*a**2 - 82*a + 11. Let k be f(4). Suppose -3*h = 3*w - 15, 2 = h + 3*w - 5*w. Put -5, 11, k, h in increasing order.
-5, k, h, 11
Suppose -x - 24520 = -24515. Sort 187, x, 1, -3 in ascending order.
x, -3, 1, 187
Let a = -13.92 - -