3)*(x/4 - -6). Let o = 0 + 0. Put 6, t, o, 1 in decreasing order.
6, t, 1, o
Suppose -u - 2*u - 243 = 0. Let c = u + 84. Let b(d) = 5*d + 2. Let r be b(-1). Put -1, c, r in decreasing order.
c, -1, r
Let p = -45.291 - 0.009. Let f = p - -49.3. Sort 10, f, -0.4.
-0.4, f, 10
Suppose 0 = -12433*m + 12442*m + 45. Let a = 18 - 11. Sort a, m, 2, -3.
m, -3, 2, a
Suppose 55*o - 67*o = -72. Put -0.4, 46, o in decreasing order.
46, o, -0.4
Let y be (-406)/(-116)*8/(-28). Put -4, y, 4, 71 in decreasing order.
71, 4, y, -4
Let q = -0.3 + -0.1. Let n be (-1 + 26/30)/(48 + (-25344)/495). Put q, 2/15, n, -0.2 in descending order.
2/15, n, -0.2, q
Let a be -1*(-2 - -7 - 2). Let o = -28800.7 + 28801. Sort -6/7, a, o, -2 in descending order.
o, -6/7, -2, a
Let z = -2 + -2. Suppose 27*t + 149*t + 164 + 716 = 0. Sort -7, t, z in descending order.
z, t, -7
Suppose 10*k - 7719 + 7794 = -15*k. Let j be 264/42 + (-2)/7. Sort 1, j, k, -5 in decreasing order.
j, 1, k, -5
Let u be (4/55)/((-2)/(-5)). Let w = 11820 + -11821. Let q = -0.01 + 0.11. Put w, q, u, -1/6 in ascending order.
w, -1/6, q, u
Let x = 2890 - 2890.8. Sort x, -3, -2.2 in descending order.
x, -2.2, -3
Let r(v) = -4*v**3 + 46*v**2 + 78*v - 10. Let w be r(13). Sort 0.1, -0.4, 1/8, w, 0.4 in ascending order.
w, -0.4, 0.1, 1/8, 0.4
Let j = 7 + -12. Suppose 497*g = 457*g - 58 - 102. Sort -1, j, g, 3.
j, g, -1, 3
Let q = 4176 + -4175. Put -0.04, 0.4, q, -0.35 in decreasing order.
q, 0.4, -0.04, -0.35
Let y(s) = s**2 - 5*s + 4. Let h be y(7). Let b(u) = u + 17. Let g be b(-13). Suppose -2*v + 4 = -3*x, 3*x - 3 = g*v + 1. Sort 2, h, x, -3 in ascending order.
x, -3, 2, h
Suppose 0 = -4*u, -3*r - u + 8 = 23. Sort r, -13, 2, -12.
-13, -12, r, 2
Let g be ((-3516)/(-60))/((-9)/(-15)). Let y = g + -292/3. Put 10/13, 1/5, -0.4, y in descending order.
10/13, y, 1/5, -0.4
Suppose -4*j - 61 - 40 = -o, 0 = -j - 25*o. Sort -2, 2, 19, j, 4 in descending order.
19, 4, 2, -2, j
Let t be (-2)/(-11) - (-128)/22. Suppose 2*u = 5*w - 15, 0*w - 25 = -3*u - 2*w. Sort -4, t, u, 4 in increasing order.
-4, 4, u, t
Let j = 267 - 269.09. Let z = 2.19 + j. Let w = 3.6 + -0.6. Sort z, -4, w, 2/15.
-4, z, 2/15, w
Let u = -3228 + 3226. Sort u, -5, -189.
-189, -5, u
Suppose 1488 - 528 = -15*q. Let m = q + 77. Suppose p = -2*p + 5*j + m, 0 = 5*p + 5*j + 45. Put 3, -5, p, 0 in ascending order.
-5, p, 0, 3
Let o = -71 + 70.485. Let x = o - -0.015. Let r be (5 + -4)/(-3 - 2). Sort r, x, 4.
x, r, 4
Let y be (58 + -55)/((-6)/10 + (-12)/30). Sort y, -4, 0.0211.
-4, y, 0.0211
Let b(r) be the second derivative of 4*r**3/3 - 29*r**2/2 - 10*r. Let t be b(7). Let h = -24 + t. Sort h, 1, -3 in descending order.
h, 1, -3
Suppose -41*v + 57 = 21*v - 43*v. Sort v, -9, 22, -1 in ascending order.
-9, -1, v, 22
Let f = -2 + -36. Let m = f - -37. Let y be (-21)/(-6) - 2/(-4). Put y, m, -5 in ascending order.
-5, m, y
Suppose 14*j - 17*j = 2*b - 9, 4*j - 12 = -4*b. Suppose l = -4*n + 13, j*l - 30 = 3*n - 36. Put 26, -3, n in ascending order.
-3, n, 26
Let w be -19 + (22 - 12) - -7. Put 82, w, 4, -4, -5 in ascending order.
-5, -4, w, 4, 82
Suppose t = 17*t - 48. Suppose 2*u - 5*j = 16, 3*u = -0*u - t*j - 18. Sort 13, -3, u.
-3, u, 13
Let m be ((-1)/(-2))/(10/(-8)). Let r be 6/(-12)*(-10)/35 + (-75)/(-63). Sort r, m, 19.
m, r, 19
Suppose 0 = 5*w - 15 - 25. Let b be (((-27)/216)/(2/(-16)))/((-3)/6). Sort 0, w, b.
b, 0, w
Let v = -29837 - -29841. Let o be -2 + 2 - 1/(-3). Sort -7/5, v, -2, o.
-2, -7/5, o, v
Let f = 0.9076 - 0.4076. Put f, -97, 2/21, -5 in decreasing order.
f, 2/21, -5, -97
Let j = 0.029 - -0.94. Let t = 53 - 53.031. Let c = j - t. Sort 0.2, c, 2/9 in decreasing order.
c, 2/9, 0.2
Let i = 23 - 35. Let h(x) = x**3 - 5*x**2 - 13*x + 35. Let r be h(2). Sort i, 4, r.
i, r, 4
Suppose -2*s - 8 = 2*x, -1928 = -5*s + 3*x - 1900. Put 1258, s, -4, 4 in descending order.
1258, 4, s, -4
Let p be (-4 + 6)*-3 - -13. Suppose 2*x + 5*x + p = 0. Sort x, -11, -0.9.
-11, x, -0.9
Let q be (0 - (-6)/8)*(154 - 153). Sort 7/5, q, 5, -5/2 in decreasing order.
5, 7/5, q, -5/2
Let i be (-7 + -4)/(2 + 1 - 4). Let h be (276/792 - 2/i)*2. Let c = -3 - -2. Sort h, -0.1, c, -2/5 in decreasing order.
h, -0.1, -2/5, c
Let n(d) = 0 + 36*d**2 + 2*d + 2 - 37*d**2 - 5. Let x be n(0). Sort 4, 16, 3, x in descending order.
16, 4, 3, x
Let i = 384 - 442. Let l be 2/3 - (0 + i/(-6)). Sort -4, l, 2 in decreasing order.
2, -4, l
Let v = 37.6 + -37.417. Let m = -2.817 - v. Sort m, 4, 0.3 in ascending order.
m, 0.3, 4
Let u be 75/40 + ((-5)/2 - -1). Put u, 2/7, -0.06, 1, 2 in decreasing order.
2, 1, u, 2/7, -0.06
Let l(w) = -w**2 + 3999*w + 16011. Let f be l(-4). Let u = -41 + 121/3. Sort u, f, -12.
-12, f, u
Suppose -2*n + 9 = l, 3*l + 8 = -3*n + 29. Suppose 3*b - 3 = 5*u, 5*b - 3*b + u - n = 0. Put 8, -1, b in ascending order.
-1, b, 8
Let o(l) be the first derivative of l**4/4 + 10*l**3/3 + 5*l**2 + 10*l + 1. Let d be o(-9). Sort 8, d, 0 in ascending order.
0, d, 8
Let v = 0.02237 + 16.97763. Sort 5, 0.3, 0.1, v in ascending order.
0.1, 0.3, 5, v
Suppose -24*x + 6*x = -12600. Let n be (x/(-210))/(2/(-6) - -1). Let r(a) = 2*a**2 - a. Let f be r(-1). Put f, 4, -2, n in ascending order.
n, -2, f, 4
Let r(s) = s**2 - 7*s - 145. Let i be r(16). Sort 4, i, 3, 2, 493 in ascending order.
i, 2, 3, 4, 493
Let h be 3/(-2)*236/2. Let n be 4/14 + h/7. Let i = -74996 + 75001. Sort i, 1, n.
n, 1, i
Suppose -258 = 490*i + 2192. Sort i, 324, 5, -3 in ascending order.
i, -3, 5, 324
Let l = -1878 + 1858. Sort l, -23, 3.
-23, l, 3
Suppose 5*a + 24 = 3*a + 3*l, 38 = -5*a + 2*l. Suppose 0 = -379*o + 384*o - 10. Put a, o, 27 in descending order.
27, o, a
Let q = 2.65 - 2.75. Let m be ((-45)/50)/(12/5). Put q, 0.03, m in decreasing order.
0.03, q, m
Suppose -3*p - 4 = -2*p. Let w(l) = -31*l + 281. Let c be w(9). Suppose -2*n = 4*h + c, 0 = 4*h + 4*n - 0*n - 8. Sort h, -1, p in descending order.
-1, h, p
Let r = 2309 + -2307. Sort 7, -2, r, -3.
-3, -2, r, 7
Suppose 0 = -371*m + 358*m + 182. Suppose m = x - 2*x. Put -5, x, -4 in descending order.
-4, -5, x
Let h = 23097 - 161788/7. Sort 0.3, 0.4, h in decreasing order.
0.4, 0.3, h
Let j = 0.09 - 0.09. Let y = -0.64 - -0.44. Put -15/2, j, y in decreasing order.
j, y, -15/2
Let y = -75 + 55. Let a = y - -20.4. Put 0.06, -2, a in descending order.
a, 0.06, -2
Let q = -0.13 - -0.225. Let s = q + -0.065. Put 2/13, s, 8 in descending order.
8, 2/13, s
Let g(q) = 184*q**3 - 183*q**3 - 10*q**2 - 8 - 13*q + 32. Let k be g(11). Suppose -k*u = -4 - 2. Sort u, -36, -2 in ascending order.
-36, -2, u
Let d = -149/3 - -49. Let b = -8.9728 + -3.0272. Put d, b, 0.04 in increasing order.
b, d, 0.04
Suppose -k + 2*v = -46, 5*k + 3*v - 165 = 130. Put k, 0, -5 in decreasing order.
k, 0, -5
Let s = 11 - 24. Let u(j) = -j**3 - 28*j**2 - 162*j - 45. Let v be u(-20). Sort v, -2, s in descending order.
-2, v, s
Let c = 2236 + -3153. Let d = 1003 + c. Put d, 4, -4 in ascending order.
-4, 4, d
Let m be (-15)/25 + (-77)/5. Let x be (-3)/(0 - (-12)/m). Let b be 90/(-40)*x/(-3). Sort 0, 5, b, -6 in descending order.
5, b, 0, -6
Suppose 3*b + 11*t = -24, 2*b + 5*t + 0*t + 16 = 0. Sort -5, 5, 3, b, 6 in descending order.
6, 5, 3, -5, b
Suppose 5*f - 5 = -x + 1, 2*f = -2*x - 4. Let v = -154 - -154. Sort v, f, 7 in ascending order.
v, f, 7
Let z be 54/(-162) + (-32)/30 + 2. Let t = 91 + -62. Put 1/6, t, z, -0.4 in descending order.
t, z, 1/6, -0.4
Let g = -1326.92 + 1328.1. Put -1, g, 2, 5 in descending order.
5, 2, g, -1
Let i be (-4)/(-38) + 4716/684. Sort -4, -26, 1, i.
-26, -4, 1, i
Let g be 81/(-9)*(-1)/9. Put -4, g, -5, 16 in increasing order.
-5, -4, g, 16
Let z be 2/8*-2*(70 - (-4650)/(-62)). Let b = 3/170 + 569/6290. Put b, 2, z in descending order.
z, 2, b
Let k = 3.1 + -3. Let c = 15875 + -15875. Sort c, k, -70 in descending order.
k, c, -70
Let i be 340/30 + (-56)/42. Sort 2, -9, i.
-9, 2, i
Let o be (62/(-14))/(36/(-252)). Suppose 62 = -0*c + o*c. Let k = 3 - 8. Put 3, 0, c, k in decreasing order.
3, c, 0, k
Let t = -3649 + 3653. Put t, 0, -120 in increasing order.
-120, 0, t
Let s be 36/(-2)*((-588)/(-54))/(-7) + 5. Sort s, -4, 3, 4/7, -3/7 in decreasing order.
s, 3, 4/7, -3/7, -4
Let i(d) = -33 + 67 - 34 + d. Let s be i(4). Sort -3, s, -5, -1 in increasing order.
-5, -3, -1, s
Let 