t n = -393 + 377. Put 3, n, 5 in decreasing order.
5, 3, n
Let k(o) be the second derivative of -o**4/6 - 3*o**3/2 + o**2/2 + 10*o. Let z be k(-4). Sort z, 1, 3.
1, 3, z
Let z = 220 + -219.1. Sort -5, 3/7, z in descending order.
z, 3/7, -5
Let i = 24 + -20. Let s = 12 + -2. Suppose -2*r + 2 - s = 0. Put i, r, 1 in descending order.
i, 1, r
Let o = 0 - -0.09. Let h = 0.91 + o. Let a be (4 - 2)*2/5. Sort h, 4/3, a in decreasing order.
4/3, h, a
Let c = 505 + -501. Let v(r) = r**3 + 8*r**2 + 2*r + 12. Let u be v(-8). Let m be (-8)/(-10)*(-10)/u. Put -5, m, c in increasing order.
-5, m, c
Let i = 1.9443 - -0.0557. Put 3, -5, -3, i in ascending order.
-5, -3, i, 3
Let j = 404 - 391. Put -0.5, j, -0.1, -3 in decreasing order.
j, -0.1, -0.5, -3
Let n(h) = 2*h**2 - 35*h - 44. Let o be n(18). Put -3, 6, o in increasing order.
o, -3, 6
Let i = -378 + 380.07. Let c = i - 2.1. Sort 3/7, c, -3 in decreasing order.
3/7, c, -3
Suppose -35 = -5*r - 20. Put -1, r, 17 in decreasing order.
17, r, -1
Let i(s) = -3*s - 14. Let u be (-8)/(-10)*(-30)/4. Let n be i(u). Sort -1, n, 12, 0.
-1, 0, n, 12
Let u = 5.8 + -11.1. Let z = 5 + u. Let i be (-3)/(-9)*(-4 - -3). Sort i, z, 5 in descending order.
5, z, i
Let s = -365/3 - -122. Sort 1, 2/9, s in ascending order.
2/9, s, 1
Let c = -41 - -28. Let m = -12 - c. Put m, 1/18, 3 in decreasing order.
3, m, 1/18
Suppose -3*p + 19 = 3*s + 4, 4*s + 4 = 2*p. Let q be 1*3 - (0 - -1). Sort 5, q, p, -2/11.
-2/11, q, p, 5
Let m = 18 - 27. Put -5, m, -2, 3 in descending order.
3, -2, -5, m
Let h = 96 - 88. Let u = 7.5 - h. Sort 0.2, u, 2 in decreasing order.
2, 0.2, u
Let y = 152.1 - 181. Let x = y - -29. Put 4, -5, x, -4 in increasing order.
-5, -4, x, 4
Let r = -46.69 - -47. Let d = 13.31 - r. Let b = -6 + d. Put b, -2/9, -1 in decreasing order.
b, -2/9, -1
Suppose -3*f - 5*r = 21, 2*r - 48 + 13 = 5*f. Let n be (-4)/14 + (-177)/f. Let a = 12 - n. Sort 3, a, 5 in ascending order.
a, 3, 5
Let t be (5 + (-7 - -8))*1. Put -2, 5, -5, t in increasing order.
-5, -2, 5, t
Let q = 20 + -37. Let x = -20 - q. Sort -1/7, x, 0.18.
x, -1/7, 0.18
Let u = 700 - 698. Put 40, u, 3, -1 in decreasing order.
40, 3, u, -1
Let r(o) = 2*o**3 + 2*o**2 + 2*o - 3. Let v be r(1). Let j = 1 + v. Let t(n) = n**2 + 7*n. Let d be t(-7). Put -4, d, j in ascending order.
-4, d, j
Let b = -0.45 - -0.45. Sort -1.7, 5, 0.3, b.
-1.7, b, 0.3, 5
Let d(b) = 22*b - 27. Let j be d(1). Put j, -3, 88 in increasing order.
j, -3, 88
Let b = -401/6 - -67. Let o = -7.9 + -0.1. Let u = o - -5. Put u, -2, b in increasing order.
u, -2, b
Suppose 5*s - 19 = 3*m, 5*s - 23 = -2*m + 3*m. Suppose 0 = -m*y - 3 + 9. Suppose 4*t + y*v + 5 = -0, -v = 2*t + 3. Sort 1, 5, t in descending order.
5, 1, t
Let q = 216 - 220. Put q, -2, 1, -3 in increasing order.
q, -3, -2, 1
Let w = -924/5 + 185. Put -0.05, w, -5 in ascending order.
-5, -0.05, w
Let b = 176/1005 - -5/201. Sort b, -0.2, -3/2, 6.
-3/2, -0.2, b, 6
Let q(j) = j**2 + 3*j - 7. Let u be q(-5). Let w(y) be the first derivative of -y**3/3 + 4*y**2 - 12*y - 5. Let s be w(7). Sort u, s, 0 in decreasing order.
u, 0, s
Let k(g) be the second derivative of g**3 + 7*g**2/2 - 18*g. Let b be k(-2). Sort b, -0.2, 3/2, -1/3.
b, -1/3, -0.2, 3/2
Suppose 2 = a - 1. Suppose 5*f + f - 180 = 0. Suppose -3*b + 6*b - n = 10, -a*b = 3*n - f. Sort -5, b, 4.
-5, 4, b
Suppose 0 = -3*f + 3*o + 12, -o - 7 = -4*f + 3. Let b be 14/f*(-6 + 7). Suppose -4*s - 7 = 1. Sort b, s, 2.
s, 2, b
Let k(w) = -w + 12. Suppose -5*t - z + 46 = 0, 0 = -4*t + 4*z + z + 31. Let i be k(t). Let v = -14 + 11. Sort 2, v, i in increasing order.
v, 2, i
Let n(j) = j**2 - 9*j - 533. Let r be n(28). Sort 0, r, -6, 0.1 in decreasing order.
0.1, 0, r, -6
Let l = 266 + -263. Sort l, -4, 11 in increasing order.
-4, l, 11
Let b be 2 + 1090/14 - 258/301. Put b, -4, 1 in ascending order.
-4, 1, b
Let q(f) = -f**3 - 13*f**2 - 21*f + 9. Let j be q(-11). Let y be j/(-3)*(-7)/(56/(-36)). Sort -5, 5, y in decreasing order.
5, y, -5
Suppose -o = o - 4. Let j be 4/(-28) - (-5)/(-63). Put 4, -2, j, o in decreasing order.
4, o, j, -2
Let a = -129 + 900/7. Let p = 379 - 381. Put p, 0.1, a in ascending order.
p, a, 0.1
Let r be 0 - (2/5)/((-4)/20). Put r, -4, -87 in ascending order.
-87, -4, r
Let y be 9633/513 + (-4)/(-18). Sort y, -5, -2.
-5, -2, y
Let n be ((-66)/12)/((-4)/(-8)). Put 0, n, -4, -2 in descending order.
0, -2, -4, n
Suppose -2*m = 4*f - 16, -2*m + f + 24 = 33. Sort m, 36, -5 in decreasing order.
36, m, -5
Let h = -14 - -84. Let i be ((-4)/h)/(2/10). Sort -3, i, -1/6 in decreasing order.
-1/6, i, -3
Let r be 3*1*(-32)/48. Let i be (r/(-36))/(14/42). Sort i, -1/5, 0.1 in decreasing order.
i, 0.1, -1/5
Let p be 2/5 + (-8)/(-30) + -1. Sort -1, p, -5, -3 in descending order.
p, -1, -3, -5
Let u = -22 - -64. Let s = u - 24.5. Let w = -17 + s. Put w, -2/13, -13 in increasing order.
-13, -2/13, w
Let v(i) = i**3 + 39*i**2 + 7*i + 274. Let r be v(-39). Put 6, 10, r in descending order.
10, 6, r
Let m = 349.803 + -350. Let l = -3.743 + m. Let t = -4 - l. Sort -1/2, t, 0.4 in decreasing order.
0.4, t, -1/2
Suppose -28*w - 14 = 4*k - 23*w, -4 = 2*k + w. Put 3, k, -1559 in decreasing order.
3, k, -1559
Let x = 234 - 239. Sort x, 0.3, 0.7, -3 in descending order.
0.7, 0.3, -3, x
Suppose 0 = -3*v + 4*v - 5*m + 12, 0 = 5*v - 4*m + 18. Let c = 11 + -8. Let a = c - 1. Sort a, v, 0.
v, 0, a
Let v be 3/3 + (24/6 - 1). Put 0, -2, 115, v in descending order.
115, v, 0, -2
Suppose -3 = 5*d + 4*o + 33, 5*d + 8 = 3*o. Let l be (2/3)/(d/(-18)). Suppose -q + 1 = q - l*r, -5*r - 7 = 2*q. Sort 3, 0, q.
q, 0, 3
Let f = 6.2 + -7. Let q = -0.22 + 0.42. Put f, -5, q in descending order.
q, f, -5
Let p = -684.94 - -685. Put -3, p, 3/19 in increasing order.
-3, p, 3/19
Let d(v) = -v**3 + 52*v**2 - 48*v - 151. Let h be d(51). Sort h, -10, 1, 5 in increasing order.
-10, 1, h, 5
Let y = 1 - -1. Let m = 4150 - 4153. Put m, 3, y, 7 in descending order.
7, 3, y, m
Let n = 294 - 295. Put 4/5, 0.2, 0, n in ascending order.
n, 0, 0.2, 4/5
Suppose 8*t - 7*t - 10 = 0. Let m be t/4 - 5/(-30)*-3. Sort 3, 5, 1, m in descending order.
5, 3, m, 1
Let f = -0.04 + 13.04. Let y = f - 11. Sort 0.5, -1, y in descending order.
y, 0.5, -1
Suppose -20*n + 66 = -9*n. Let h(q) = q**3 + 7*q**2 + 6*q - 3. Let b be h(-6). Sort 2, n, b, -5 in descending order.
n, 2, b, -5
Let y = 7 - 19. Let o be 7 - y/(-4) - 4. Sort 3, o, -2.
-2, o, 3
Suppose 0 = -0*z + 4*z - 16. Suppose 2*a + 14 = 9*a. Suppose 2*t + 2*c - 7 = 5*t, -t = -4*c + 9. Sort z, t, a in decreasing order.
z, a, t
Let z = 65 - 68. Let y(l) = 2*l**2 - 2*l - 2. Let k be y(2). Let n be (-18)/21 - (1 - k). Put n, 5, z in decreasing order.
5, n, z
Let c = 922 + -918. Put 5, -1/4, 2/3, c in increasing order.
-1/4, 2/3, c, 5
Suppose -o - 2 = -4. Let i = 49149/23 + -2137. Put -1/4, i, o in increasing order.
-1/4, i, o
Suppose -3*d = 3*g + 3, -2*g - 5 = -d + 4*d. Let j be (18/21)/((-2)/28). Put d, j, 3 in decreasing order.
3, d, j
Let v = 0.09 - 5.09. Let j be 2*-3*(-10)/15. Suppose 4*k - 3*p - 7 = 0, -5*p = 4*k - j - 27. Sort k, v, 0.4 in decreasing order.
k, 0.4, v
Let p = 0.029 - 0.129. Put 0.2, 4, p, 0.4 in descending order.
4, 0.4, 0.2, p
Let d = -32 - -10. Let m = d - -21.5. Sort 10, m, -1/7.
m, -1/7, 10
Let r = 11 + -6. Suppose -t = 2*m - 6, 10 = -5*m - 3*t + 25. Suppose m*z + 8 = z. Put z, r, -0.3 in descending order.
r, -0.3, z
Let d(c) = c**3 + 22*c**2 - 25*c - 45. Let j be d(-23). Sort j, 2, 99, -1 in descending order.
99, 2, j, -1
Let g = 25 + -25.17. Let k = -0.13 + g. Let t = 86 - 81. Sort t, k, -9 in descending order.
t, k, -9
Let c = 40/3 - 13. Let q = -7 - -10. Suppose -5*t - q - 2 = 0. Sort -0.4, t, c in descending order.
c, -0.4, t
Suppose 29*w = 52 - 226. Sort 3, 1, w, -5.
w, -5, 1, 3
Suppose -5*i + 12*f - 11*f = -3183, 0 = -i - 3*f + 643. Sort 1, -1, i.
-1, 1, i
Let b = -0.006 + -82.894. Let r = b - -82. Sort -1/3, r, 0.5, 2/15.
r, -1/3, 2/15, 0.5
Let s = -10 - -42. Let p = s - 56. Let g be ((-1)/3)/(2/p). Sort 1, 2/7, g in descending order.
g, 1, 2/7
Suppose -2*a + 4*a - 3 = -i, 3*a = -3*i + 9. Suppose -3*k - 4 = 2*r, 16*k - 15*k - 5*r - 27 = 0. Sort a, k, -5, -2 in increasing order.
-5, -2, a, k
Let w be 1/1*-6*3/9. Sort -11, w, -3, 3 in decreasing order.
3, w, -3, -11
Suppose 