Let u be x(-4). Let m = 3 - u. Sort v, -1/4, m.
v, m, -1/4
Let b = -1469 - -1472. Put -0.2, -74/11, b in decreasing order.
b, -0.2, -74/11
Let x(m) = -m**2 - 20*m + 119. Let p be x(-25). Sort 3, p, 0, 6 in descending order.
6, 3, 0, p
Let x = 585.1 + -634. Let l = -45 - x. Put 1/3, -0.4, l in increasing order.
-0.4, 1/3, l
Let s(y) = y**3 + 7*y**2 - 19*y - 8. Let o be s(-9). Let g be 2/((-12)/(-10))*-3. Let i = 23 + -21. Sort i, 4, g, o in descending order.
4, i, o, g
Suppose -5*s + 4*s = -25*s. Let b be s - (7/(-56))/((-1)/(-2)). Sort b, -1.7, -3 in descending order.
b, -1.7, -3
Let d be (-1575)/(-405) + -1*4. Let q = d + 2/9. Sort 2/9, 4/7, q, 3 in ascending order.
q, 2/9, 4/7, 3
Let v = 1 + 3. Let m = 29 + -12. Suppose 5*w - 3*a - 31 = -0*a, 4*w = a + 22. Sort w, m, v in increasing order.
v, w, m
Let y = -12 - -12.04. Suppose -44 = -3*o - 2*t, 44 = 4*o - 0*t - t. Let i(j) = -j**3 + 12*j**2 + j - 12. Let m be i(o). Sort y, -4, m in descending order.
y, m, -4
Let m = -23 + 25. Let j(d) = d + 4*d**m - 1818 + 1822 - 3*d**2 + d**3. Let k be j(0). Sort -2, k, -5, -3 in decreasing order.
k, -2, -3, -5
Let u be (185/370)/(((-10)/12)/(-1)). Put u, 2/13, -101, 1, 4 in increasing order.
-101, 2/13, u, 1, 4
Suppose 3*o = -6*o. Suppose 2*g = k - 7, 2*k - g + 0 - 11 = o. Put -1, k, 3, 0 in decreasing order.
k, 3, 0, -1
Suppose 6 = -19*c + 44. Let m be -1 - -4 - (2 + c + -2). Sort 3, m, 0 in descending order.
3, m, 0
Let c = -3160 + 3160. Let y = 11.2 + -11. Let a = -4.2 + 4. Sort y, -0.4, a, c.
-0.4, a, c, y
Suppose -6*z - 291 - 285 = 0. Let j = -94 - z. Sort -31, 0, j in increasing order.
-31, 0, j
Let w(b) = b + 30. Let u be w(-25). Suppose 0 = -5*g + 3*z + 20, -g + 5*z - 20 = -6*g. Sort -1, u, g, 1.
-1, 1, g, u
Let y = -1.003 - -3.003. Sort -4/9, -9, 5/2, y.
-9, -4/9, y, 5/2
Let f be 3699/(-324) + 12 + 2/(-12)*5. Sort -200, f, -2 in ascending order.
-200, -2, f
Let x be (-20)/6 + 2/6. Let f(i) = -i**3 + 42*i**2 + 529*i + 53. Let l be f(-10). Sort x, -1, l in descending order.
-1, x, l
Let z = 13.3 + -1.3. Let x be (-120)/(-28) + (-180856)/43771. Put x, z, 5 in descending order.
z, 5, x
Let d = 3 + -2. Let b(w) be the third derivative of -2*w**5/15 - w**4/12 + w**3/3 - 18*w**2 - 6. Let q be b(d). Put 3, 4, q, -1 in ascending order.
q, -1, 3, 4
Let c = -1894.9 + 2118. Let q = c - 223. Suppose 3*z - 1 = 5*m, 0 = -2*m - 2*m + 4. Put q, z, 3 in decreasing order.
3, z, q
Let y(d) = -8*d**2 - 20*d + 44. Let n be y(-4). Sort 1, n, 0, -3, 427 in descending order.
427, 1, 0, -3, n
Let v be 3/(-6) + 25/2. Let l be 4/v*6/(-1). Put 4, 7, l, 5 in increasing order.
l, 4, 5, 7
Let h = -5.48 - -1.364. Let j = 0.116 + h. Sort 6, -2/5, -5, j.
-5, j, -2/5, 6
Suppose -5*l = 4*m - 22 - 20, 0 = 5*m + 3*l - 33. Sort m, -14, 4, 7 in descending order.
7, 4, m, -14
Let s(b) = 2*b - 9. Let o be s(6). Let i = 32 - 32.3. Let j = -0.69 + -0.31. Sort o, i, j in ascending order.
j, i, o
Let q = -55 - -95. Let f = q + -35. Suppose 5*y - 5*h - 10 = 0, y - 2*h = -0*h + f. Sort 4, 2, y in decreasing order.
4, 2, y
Let a(l) = 529*l - 6890. Let m be a(13). Sort 5, -24, m.
-24, m, 5
Let o(c) = 12*c - 24. Let t be o(3). Let p be 7/(84/8)*(-30)/t. Sort -1, p, -0.2, 3 in ascending order.
p, -1, -0.2, 3
Let t(s) = s**2 + 1. Let y be t(0). Suppose y = -3*f + 7. Put 0, 5, f in ascending order.
0, f, 5
Suppose -4*n = -5*n + 4*p - 21, 3*n - 5*p + 35 = 0. Suppose 7*r - 5*r = 4. Put n, -18, r, -3 in decreasing order.
r, -3, n, -18
Let s = -32 - -34. Suppose 0 = 3*g - 6*g + 3*n - 3, 0 = 4*n - 20. Put -35, s, g in decreasing order.
g, s, -35
Suppose -4*p + 0*p + 3*q + 7 = 0, 4*p + q - 19 = 0. Suppose 0 = -2*t + 7*t + 25. Put t, p, 2 in increasing order.
t, 2, p
Let d = 1210.4 - 1210. Let s = -4.4 + 4. Let z = -6 + 2. Put z, d, 2/11, s in descending order.
d, 2/11, s, z
Let z be (10/120)/(2/8 - -1). Let l = 39 + -12. Let g = -27.5 + l. Sort g, 3, 5, z in descending order.
5, 3, z, g
Let y = -1.16 - -1.46. Let p = 1.4 - 0.9. Let f = 66 + -67. Sort y, p, -0.1, f in decreasing order.
p, y, -0.1, f
Let p = 182.9 + -182. Let w = 1.7 + -0.9. Let t = 0.2 + w. Put p, -0.5, t in decreasing order.
t, p, -0.5
Let u be 2678/(-3560) - (-2)/8*3. Let d = 897/3115 + u. Put -0.5, 0, 0.01, d in descending order.
d, 0.01, 0, -0.5
Suppose -419*c - 4 = -415*c, 2*c - 23 = -5*h. Put h, -5, -25, 2 in increasing order.
-25, -5, 2, h
Let z = 0.09 + -0.39. Let v be 63/(-84) - (-668)/848. Put v, -5, z, -3 in decreasing order.
v, z, -3, -5
Let n = -16284 - -16285. Put 4, n, -1762 in increasing order.
-1762, n, 4
Let h be (7*(-12)/112)/((-76)/32 + 2). Let s = 6 - 12. Let v = s - -4. Put -3, -4, v, h in increasing order.
-4, -3, v, h
Suppose 2*r = -3*u - 622 - 207, 0 = -2*u - 4*r - 558. Put 0, -8, u, 4 in descending order.
4, 0, -8, u
Let l be (-3)/9 - 66/(-144). Sort -17, l, -0.06 in descending order.
l, -0.06, -17
Let m(t) = 16*t - 50. Let q be m(19). Let y = q + -259. Sort y, -2, -10, 2.
-10, y, -2, 2
Let z = 612 + -482. Suppose 0 = -j + 2*o - 11, 5*j + 24*o - 19*o = -z. Sort 4, -2, j in increasing order.
j, -2, 4
Let b(t) = t**3 + 7*t**2 + 5*t + 38. Let z be b(-7). Put z, -8, -3 in decreasing order.
z, -3, -8
Let m(z) = -184*z - 554. Let h be m(-3). Sort 4, h, 11, -3.
-3, h, 4, 11
Let a = -10/19 - -99/152. Let q be ((-3)/2)/((-135)/3870). Let h = -6 + 5. Sort a, 1, h, q in ascending order.
h, a, 1, q
Let a(v) = v**3 - v**2 - 13*v - 17. Let w be a(-2). Sort 1, w, 76, -4 in ascending order.
-4, w, 1, 76
Let t = 303 - 302.8. Suppose 3*z + 6*l + 11 = l, -l - 1 = z. Suppose -z*g = 5*v - 10, -3*v + g = 2*v + 10. Sort v, t, 0.4 in ascending order.
v, t, 0.4
Suppose 2*c - 5*g - 65 = 4, 3*c = 3*g + 126. Put c, 0, 4 in increasing order.
0, 4, c
Let w = -76 + 533/7. Let l = 3 - 210. Let k = -206.7 - l. Put -4, k, w in ascending order.
-4, w, k
Suppose h - 25 = -4*b, -5*b = -8*h + 7*h - 20. Let m = 32 - b. Put -5, 5, m in decreasing order.
m, 5, -5
Let b = 20223 - 20222. Put -4, b, 387 in descending order.
387, b, -4
Let p = -6311 - -6312. Let j(c) = c**2 - 2*c + 2. Let s be j(4). Sort s, -5, p, -1 in ascending order.
-5, -1, p, s
Let l = 27 + -24. Suppose 13*a = -l*a. Put 5, -2, -8, a in descending order.
5, a, -2, -8
Suppose -7 = p - 2. Let z be 4/(-8)*(-1 + p). Let u = -30 - -24. Put z, 0.4, u in decreasing order.
z, 0.4, u
Let o = -0.6533 - -0.6133. Put 20, o, 3/2, 5 in increasing order.
o, 3/2, 5, 20
Let z = 642 + -3213/5. Let r = -0.341 + 0.741. Put 5, -9, z, r in ascending order.
-9, z, r, 5
Suppose 5*p + 0*p = x + 74, -5*p = 4*x - 54. Let n be (12/3)/(-4) - p/(-16). Sort n, 4, 17.
n, 4, 17
Let s be (-35)/(-60) + 1/(-4). Let g be (-15)/75 - 16/(-180). Let x = 0 + 0. Sort g, x, s.
g, x, s
Suppose -3*y + 6*r = 7*r - 2, -2*y = -5*r + 27. Let x(k) = -k**2 - 2*k - 1. Let m be x(-3). Let c = -637 + 641. Sort y, m, c, -2 in decreasing order.
c, y, -2, m
Let y = 1218.7 - 1219. Put 5.9, -4, -5, y in decreasing order.
5.9, y, -4, -5
Let p = -1963 + 1962. Sort -68, -3, p, -0.01.
-68, -3, p, -0.01
Suppose 7 = 2*b - r, -4*r = -0*r - 4. Let t be (-7 - -4)/3 - b. Suppose -15*u + 14*u - 20 = 5*c, -8 = -4*c + 4*u. Sort t, -4, 0, c in decreasing order.
0, c, -4, t
Let t = 74.54 + -79.54. Put t, -0.02, -14 in decreasing order.
-0.02, t, -14
Let k = -63/13 + 354/65. Let r = 114 - 114. Put 9/2, k, r in increasing order.
r, k, 9/2
Suppose -18*u - 38 - 52 = 0. Suppose 5*s - 12 = -2. Suppose f - 4*q = s*f + 8, 0 = 4*q + 4. Put u, 4, f, 7 in decreasing order.
7, 4, f, u
Suppose 4*z + 1015 = 3*o, 2*o + 1480 = -5*z + 217. Let r = -260 - z. Sort -2, 0, r.
r, -2, 0
Suppose 0 = -87*h + 135 - 48. Sort -4/5, 2, -3, h, 6 in descending order.
6, 2, h, -4/5, -3
Let q be ((-2)/(-6))/((-1)/(-15)). Suppose 4*f - 6 = -2*h, -4*f = -2*h + 3 + 3. Suppose -5*o + 2*p + 25 = 0, h*o + 4*p = -0*p - 11. Sort 2, q, 1, o.
1, 2, o, q
Let t = 0.4853 + -0.3853. Sort -3, t, -3.9, 2/7 in increasing order.
-3.9, -3, t, 2/7
Suppose 0*f = -36*f + 33 - 141. Put -41, f, -2 in ascending order.
-41, f, -2
Let j = -40919 - -40871. Sort 0, j, -5, 4.
j, -5, 0, 4
Suppose 199 + 38 = 31*s - 104. Sort 1/4, s, -14, -3, -1 in decreasing order.
s, 1/4, -1, -3, -14
Let y(x) = -x**2 + 17*x - 59. Let i be y(5). Sort 186, i, 2.
i, 2, 186
Let a be (37 + -38)*7/7. Sort -2, 32, -4, a.
-4, -2, a, 32
Let v = 