+ 1393. Let u be k(-35). Put y, u, 2 in descending order.
y, 2, u
Let r = 320 + -315. Suppose 0 = r*w - 143 + 123. Sort 0, w, 5, 12 in decreasing order.
12, 5, w, 0
Let y = 4 - 8. Let z be 3*(16 + (-2037)/126 - (-5)/(-6)). Sort y, -2, 5, z.
y, z, -2, 5
Let p = -7010 - -7022. Sort p, -28, -4.
-28, -4, p
Let g = -7 + -188. Let y = g + 194.5. Sort -1/3, -1/6, y.
y, -1/3, -1/6
Suppose -5*m = -4*o - 813 - 135, -5*m + 934 = 3*o. Suppose 2*x - 4*b = m, 4*b + b = -3*x + 337. Let n = x - 104. Sort 1, 3, 10, n in ascending order.
n, 1, 3, 10
Let g be 3*((-144)/(-30))/((-9)/10). Let x be 4/(-22) + 20/(-11). Sort 1, x, -3, g in decreasing order.
1, x, -3, g
Suppose 380*z + 225*z = -1815. Suppose 5*l - 20 = -0. Sort -21, 1, l, z in ascending order.
-21, z, 1, l
Let g = 8 - 3. Suppose 32*j - 340 + 20 = 0. Put g, j, -0.4 in decreasing order.
j, g, -0.4
Let z = 3396 + -2658. Put -3/2, -5, z in increasing order.
-5, -3/2, z
Let w(q) = -q**3 + 11*q**2 - 11*q + 5. Let h be w(10). Let o = 2/4641 - 1032/1547. Put o, 3/7, -0.2, h in descending order.
3/7, -0.2, o, h
Let b = -1.7879 + 1.8879. Sort -189, 5, b, -3, -2/15 in decreasing order.
5, b, -2/15, -3, -189
Let z = -277.4 + 277.6. Put 3, 49.2, -2, z in descending order.
49.2, 3, z, -2
Let b = 65999 + -66002. Let f be (-19942)/(-1020) - 6/(-15). Let h = -119/6 + f. Put h, 1/2, b, 0.11 in descending order.
1/2, h, 0.11, b
Suppose -5 = -2*h + 7*h. Let b = 385 + -383. Put h, 8, b in descending order.
8, b, h
Let g = -4915 - -4910. Sort g, 53, -3, -4 in ascending order.
g, -4, -3, 53
Suppose -3*l + 231 = 30*l. Sort l, 0.4, 1, -0.2, 3/5.
-0.2, 0.4, 3/5, 1, l
Let m = -8102 + 8100. Put 0.01, 2, m, 23, -0.2 in descending order.
23, 2, 0.01, -0.2, m
Suppose -24*c + 1 + 146 = -21. Sort -2, 1, c in decreasing order.
c, 1, -2
Suppose 96*b - 1304 = 104*b. Let g = b - -164. Put -15, -3, g in ascending order.
-15, -3, g
Suppose -g + 10 = 14. Let h = 58 - 81. Let b = 20 + h. Sort g, -2, b, 27.
g, b, -2, 27
Let d be ((-16)/120)/((-20)/15). Sort -0.11, 3, d, -4/5.
-4/5, -0.11, d, 3
Let u be -22 + (-2130)/(-90) - (-13)/(-9). Put -0.15, -2/7, -4/11, u in decreasing order.
u, -0.15, -2/7, -4/11
Suppose -2*b + 2 = 4. Let z be 1*4/(-8)*-3*2. Let s(u) = -4*u**3 - u**2 - 3*u - 1. Let n be s(-1). Put z, n, b in decreasing order.
n, z, b
Suppose 2 + 4 = 2*z. Let d = -7 + 15. Suppose -d*o - 6*o = 0. Put -1, z, o in increasing order.
-1, o, z
Suppose 2*n - 317 = -i + 69, 0 = 3*i - 2*n - 1110. Put -4, 4, i, 0 in ascending order.
-4, 0, 4, i
Suppose 5*b = 2*i + 14, 5*b + i - 6 = -i. Let y = -83 - -100. Suppose -b*t - c - 3 = 2*c, 4*t + y = 5*c. Sort t, 4, 1 in decreasing order.
4, 1, t
Let u be (43/5 + -4)*(2 + 0). Let w = u + -55/6. Let l = -4/5 - w. Put 2/7, l, -2/9 in descending order.
2/7, -2/9, l
Let x = -160.78 - -161.18. Sort x, 94, 1/2, -1 in decreasing order.
94, 1/2, x, -1
Suppose p - 3*m - 9 = -6*m, -3*p + 5 = -2*m. Sort 118, -1, p.
-1, p, 118
Let x = -6 + 2. Let w = 578 - 573.58. Let m = w + -4.02. Sort m, 3, x in increasing order.
x, m, 3
Let f(a) = -32*a**3 - 2*a**2 + 2*a + 3. Let t be f(-1). Suppose 3*c - 5*b = 11, 14*b - 18*b = 5*c + t. Put c, -5, 1 in decreasing order.
1, c, -5
Suppose 0*j = j. Let s(w) = -w**3 + 3*w**2 - 25*w + 51. Let z be s(2). Put 11, z, j in decreasing order.
11, z, j
Suppose -113*i - 444 = 35*i. Put 4, 1, 0.05, 1/9, i in increasing order.
i, 0.05, 1/9, 1, 4
Let t = 793 - 127. Let q = 666 - t. Sort -17, q, -0.8 in descending order.
q, -0.8, -17
Let p be (-6)/2 + (0 - -2). Suppose 10 + 0 = -2*s. Let b(n) = n**3 + 24*n**2 + 53*n + 694. Let f be b(-23). Sort -3, f, p, s in ascending order.
s, -3, p, f
Suppose -144*c - 146*c + 267*c - 92 = 0. Let d be (-5)/2*(-12)/(-15). Sort -1, c, d, 25 in descending order.
25, -1, d, c
Let q = 162.413 + -9.413. Sort -0.3, q, 1/5, 5.
-0.3, 1/5, 5, q
Let z = -7/9 - 23/9. Sort -0.4, 0.5, z, -0.13 in descending order.
0.5, -0.13, -0.4, z
Let v = -5426 - -5425.6. Let f = -2 + 1.7. Put v, f, -0.03 in increasing order.
v, f, -0.03
Let q be (-8)/16*(-12)/(-9). Let d = -300 + 304. Put -0.6, d, q, 2 in descending order.
d, 2, -0.6, q
Suppose 0 = -55*o - 2179 + 2124. Sort 1, 91, o, 3 in descending order.
91, 3, 1, o
Let r = 49 - 51. Suppose x - x = -2*x - 7*x. Sort x, 3, 6, r in decreasing order.
6, 3, x, r
Let t(k) = 4*k**3 - 12*k**2 + 12*k. Let r be t(1). Sort 13, 0, r, -1, -3 in descending order.
13, r, 0, -1, -3
Let f = -3076 + 3082. Sort f, 11/15, 1 in increasing order.
11/15, 1, f
Suppose -29*f + 597 = -228*f. Sort 117, -0.2, f, -1 in decreasing order.
117, -0.2, -1, f
Let b = -66 + 70. Suppose -2*m = 10, -13 = -b*t - 2*m + 3*m. Let h be (-6)/(-15) + (-23)/(-5). Put h, t, 4 in decreasing order.
h, 4, t
Let x be (-228)/28 + (2 - -4) + 2. Let s = 2.2 + -1.9. Let t = 9 - 6. Sort t, x, -4, s in descending order.
t, s, x, -4
Suppose 2*q = -10, x + 36 = 2*x - 4*q. Suppose -5*j + 2*j + 12 = 0. Suppose -m = -7*v - 29, 6*m - 10 = 4*m + 2*v. Sort j, m, x.
m, j, x
Let r = -80 - -87. Let j be r/3 - (-10)/(-30). Let m(a) = a - 9. Let x be m(8). Sort x, j, -9 in ascending order.
-9, x, j
Let d = -43922 - -43922. Let a = -0.4 - -0.2. Put d, 3, a in ascending order.
a, d, 3
Let i = -41 - -46. Let b = 3.68 - 3.58. Sort b, i, 0.9, -3 in decreasing order.
i, 0.9, b, -3
Let g = 251/2 - 127. Let w = -19/42 - 3/14. Let v = 1.56 + -2.06. Put v, g, w in ascending order.
g, w, v
Let o = 3873 + -3898. Put 6, 5, o in ascending order.
o, 5, 6
Let a = -8.426 - -6.426. Sort -4, a, -7, 2/53.
-7, -4, a, 2/53
Let t = -1.00688 - -0.00688. Sort 193, t, -1/8, -3 in decreasing order.
193, -1/8, t, -3
Let a = -32 - -37. Suppose -13 = 18*c + 5. Sort c, a, -3 in descending order.
a, c, -3
Let p = 0.14 - 2.24. Let v = p - -2.5. Let y = -2/1169 - 2503/1169. Put -2, y, v in decreasing order.
v, -2, y
Let y = -0.79 + 0.95. Let t = -14.24 - -14. Let k = y - t. Sort -0.4, 0, k in increasing order.
-0.4, 0, k
Let u(h) = 16*h - 5. Let y be u(4). Suppose y - 194 = -3*k. Let z be ((-1)/5)/(-2 - (-78)/k). Sort 1/12, 1, z.
1/12, z, 1
Let n = -98 + 253. Let c = n - 155. Put c, 5, -14, -1 in decreasing order.
5, c, -1, -14
Suppose 89*c + 5 = 99*c + 35. Put c, 97, -1, 1, -0.5 in increasing order.
c, -1, -0.5, 1, 97
Suppose 34 = m - 4*v, 5*m + 2*v + 0*v = 82. Suppose m = 6*r - 6. Let k = 4049/19 + -213. Sort r, k, -2, -3 in decreasing order.
r, k, -2, -3
Let q be (-92)/(-368) + 1/(-4). Sort 3, -0.3, 2/93, -3, q in descending order.
3, 2/93, q, -0.3, -3
Suppose 0 = 30*v - 816 - 17634. Suppose 14*a = v - 97. Sort 0, 4, a.
0, 4, a
Let m = 10 - 27. Let w = 41 + m. Suppose 25 - w = z. Sort z, 3, 9 in ascending order.
z, 3, 9
Let x = 17403 + -17401. Sort -1593, 0, x, 3, 4 in descending order.
4, 3, x, 0, -1593
Let w = 3530.08 - 3530. Sort -1/55, w, 1.
-1/55, w, 1
Let u = 0.9 + -23.9. Let c = 23 + u. Sort -1/174, c, -0.2 in increasing order.
-0.2, -1/174, c
Let g = -1/7672 - 1917/7672. Let k be 42/35*(-2)/(-18)*-2. Put k, 4, g in increasing order.
k, g, 4
Let p be 704/168 - 8/6. Let c = p + -540/91. Let m = c + 319/91. Put m, 28, -5 in decreasing order.
28, m, -5
Let r be 15 + 128/8*-1. Suppose -f + 2*d = 1, 4*d - 12 - 11 = -5*f. Suppose 0 = -0*g - f*g. Put 4, g, r, -6 in ascending order.
-6, r, g, 4
Let p = -0.0663 + -128.5337. Let r = -129 - p. Put r, -3, -13 in ascending order.
-13, -3, r
Let f(t) be the third derivative of t**5/60 - t**4/12 - 9*t**3/2 - 11*t**2. Let b be f(7). Sort b, 3, 4 in decreasing order.
b, 4, 3
Suppose -11 = 4*d + o, -14*d + 27 = -17*d + 3*o. Put 19, 0, d, 12, 1 in decreasing order.
19, 12, 1, 0, d
Suppose -19 - 72 = -7*q. Let r be (-126)/26 - 1/q*2. Let z be ((-2)/(5/(-5)))/(-2). Put 18, z, r in ascending order.
r, z, 18
Let i(s) = 2*s**2 + 1841*s - 28065. Let x be i(15). Let v = -21 - -15. Sort 25, v, x.
v, x, 25
Suppose o + 9*k = 8*k + 3, -o + 4*k = 32. Sort 57, -7, -5, o in increasing order.
-7, -5, o, 57
Let s = 14650.7 - 14650. Sort -1, 9, s, 0 in ascending order.
-1, 0, s, 9
Let n = -50.99 + 55.99. Let p = -43302/11 + 3932. Sort p, n, 1/4 in increasing order.
p, 1/4, n
Let v(z) = -3*z**2 + 8*z - 7. Let t be v(2). Let c(m) = m**2 + 16*m + 41. Let r be c(t). Sort -2, -5, r, 7 in decreasing order.
7, r, -2, -5
Let d = -266 - -189. Let u = d + 76.4. Suppose -5*y - 10 = 0, 5*m + 0*y = y - 8. Sort m, 0.3, 