8940 - -8620. Sort -1, 1, l in decreasing order.
1, -1, l
Let h be (14 + -17)*(-1)/(-3)*-1. Suppose 3*u = -15, -3*z - 8*u = -9*u + h. Put -2/15, -0.4, z in descending order.
-2/15, -0.4, z
Let r = -1279.6 + 1279. Suppose -8*k - 70 - 130 = 0. Sort r, 2, k, -0.2 in decreasing order.
2, -0.2, r, k
Let f = 17 - 19. Let o = -13117 - -13121. Sort o, -3, f, -26 in increasing order.
-26, -3, f, o
Let a = -2.944 - 0.056. Let d = -373 + 373. Put a, 2/11, d, -2 in decreasing order.
2/11, d, -2, a
Suppose 46*l + 5480 = -19866. Put 3, l, -5 in descending order.
3, -5, l
Let y = -450 - -446. Let c be ((-4)/(-24))/(4/(-8)). Put 2, c, 0.037, y in ascending order.
y, c, 0.037, 2
Suppose 0 = -4*f - 3*r + 1382, -3*f - 5*r + 1372 = 352. Sort 3, -4, f in descending order.
f, 3, -4
Let d be 5/((-3)/(12/10)). Suppose -5 = 5*z - 25. Let c(g) = g**3 - 5*g**2 + 2*g + 4. Let v be c(4). Sort v, 9, z, d in descending order.
9, z, d, v
Let y be ((-10)/14 - (-2475)/770) + (-7)/2. Let i(r) = 6*r**3 + 2*r - 1. Let a be i(1). Sort -2, a, -3, y.
-3, -2, y, a
Let q = 2928.5 + -2929. Sort -17/6, 3/5, q, 4, -3/4 in ascending order.
-17/6, -3/4, q, 3/5, 4
Let l(b) = -b**3 + 10*b**2 - 17. Let q be (9/(-5))/(7/35). Let s be 15*(-4)/q*12/8. Let h be l(s). Put h, 1, 5 in decreasing order.
5, 1, h
Let g = 1.22 + -1.12. Let h = 0.007 - 0.089. Let j = -0.318 + h. Sort g, -2, -1, j in ascending order.
-2, -1, j, g
Let l = -134 - -133. Put -300, -5, l in decreasing order.
l, -5, -300
Let r = -5 - 2. Suppose 8*z + 77 = -3*z. Let o be (z/2)/(r/14). Sort -2, o, -3 in decreasing order.
o, -2, -3
Let u = -269 - -273. Sort u, 10, 1, -2, 3.
-2, 1, 3, u, 10
Suppose -2 + 20 = 6*s. Put 0, 1, s in descending order.
s, 1, 0
Suppose -t = -4*a + 123, 0 = -3*t + 5*a - 43 - 333. Sort 1, 4, t in decreasing order.
4, 1, t
Suppose 0 = -378*a + 382*a - 20, 20 = -2*p + 2*a. Sort p, 0, 14, 19, -1 in descending order.
19, 14, 0, -1, p
Let v(h) = h**3 + 65*h**2 + 550*h + 8. Let i be v(-10). Let z(m) = m - 7. Let b be z(7). Sort i, 5, b, -4 in decreasing order.
i, 5, b, -4
Suppose -22 = r - 3*n, -3*r = 1383*n - 1388*n + 42. Sort 1, r, -24 in descending order.
1, r, -24
Let g = 0.05256 - -0.04744. Sort 0.5, 0.0404, g, -5 in ascending order.
-5, 0.0404, g, 0.5
Let u = -6/13 + 11/52. Let w be 1*7 - (26 - (-3 - -9) - 13). Sort u, -0.21, w in decreasing order.
w, -0.21, u
Let d = 51 - 48. Let t = -29/430 - -23/86. Sort d, t, -2, -3 in increasing order.
-3, -2, t, d
Let z = 2403.396 - 2399. Let r = -3.44 + z. Let p = 0.044 + r. Put p, 1/7, 1.9 in decreasing order.
1.9, p, 1/7
Let k = -155 + 270. Suppose 0 = -k*r + 109*r - 6. Put r, 6, -4, 3 in descending order.
6, 3, r, -4
Let h = -289 + -8. Let g = h + 1189/4. Let k be 2/(-6) + (-258)/(-18). Sort g, 4/3, k.
g, 4/3, k
Let y be (112/798)/(-4*(-4)/(-24)). Sort -1/3, 5, 4, y, -0.3 in ascending order.
-1/3, -0.3, y, 4, 5
Let h = 0.195 - -4.865. Let y = -5 + h. Let m = -58/3 - -284/15. Sort m, 0.2, y in decreasing order.
0.2, y, m
Suppose -157*h = 632 + 432 - 279. Sort -8, h, 0 in increasing order.
-8, h, 0
Let s be (2156/11)/7 - 8. Sort s, 2, 1, 4.
1, 2, 4, s
Let k = 70352 + -492466/7. Let a be (2/(-8))/(6/44). Let m = -3/2 - a. Put m, k, 1, -4 in descending order.
1, m, k, -4
Let v be 32*87/(-3726)*(-3)/(-10). Let a = v + 2/1035. Let r = -11 + 45/4. Sort r, a, 3/8, 2.
a, r, 3/8, 2
Suppose -130*q - 26 = -128*q - 2. Sort 2, 3, q, 231 in increasing order.
q, 2, 3, 231
Let s be 6/8 + 33/4. Let w(x) = 2*x - 4. Let c be w(2). Suppose -s*r - 1 + 28 = c. Put 0.5, 1/3, 5, r in decreasing order.
5, r, 0.5, 1/3
Suppose 5*n - 3*o - 7 = 0, -5*n + 2*o + 9 = 6. Let w(a) = a**2 - 8*a - 43. Let q be w(12). Sort q, n, 19.
n, q, 19
Suppose 390 = 65*s + 65*s. Sort -1.672, s, 0.
-1.672, 0, s
Suppose 0 = -2*c + 18 - 8. Suppose c*w - 4*u = -24 + 12, -5*u - 14 = w. Put 2, w, 10 in ascending order.
w, 2, 10
Let j = -74 + 79. Suppose j*u = -0*w - 3*w + 32, -u = -4. Put -1, -3, 2, w in descending order.
w, 2, -1, -3
Let r = 478/7 + -68. Let p = -5.2 - 1. Let m = p + 6.7. Put 4/5, m, r in descending order.
4/5, m, r
Let l(s) = 2*s**3 - s. Let k be l(-1). Suppose -t = 4*i - 136 - 149, 0 = -4*t - 5*i + 1195. Let o = t - 308. Sort k, o, -2, 13 in ascending order.
o, -2, k, 13
Let x = -6314 - -6309. Put 63, 4, x, 3, -1 in increasing order.
x, -1, 3, 4, 63
Let b = 44388847/84 - 528447. Let m = 33/4 + b. Sort m, 0, 1.
m, 0, 1
Suppose 0 = 6*u - 107 + 101. Sort u, -4, 292 in increasing order.
-4, u, 292
Suppose 3*z - 5 + 2 = 0, 0 = b + z + 12. Let s = -39 - -39. Suppose m = -f + 3, 2*f - 3*f - 1 = s. Put m, b, -5, -4 in ascending order.
b, -5, -4, m
Let k = 8 + -7. Let o be (6/(-10))/((-2)/90) + k. Suppose -c - o = -3*c. Sort c, 2, -1.
-1, 2, c
Let y = 27157 + -27254. Sort 32, y, 2, -2, 1 in decreasing order.
32, 2, 1, -2, y
Let k(a) = -a + 53. Let d be k(0). Let q = d - 116. Let b = -60 - q. Sort 0, -5, -3, b in ascending order.
-5, -3, 0, b
Let i be 2*(117/195 + 27/30). Suppose -x = -2*j, 4 = x + x - 2*j. Sort x, -2, i, -4 in descending order.
x, i, -2, -4
Suppose -2*m + u - 10 = -1, -14 = 3*m - u. Let w be (-29)/(-5) + (-4 - -12)*25/1000. Sort 2, m, w in decreasing order.
w, 2, m
Suppose 11*z = -0*z - 57 + 13. Sort 126, z, 5, 4 in decreasing order.
126, 5, 4, z
Let p(a) = 6*a - 137. Let d be p(27). Suppose g - d = 2*q, 0 = -0*q - 3*q + 4*g - 35. Put q, 2, 3, -3 in decreasing order.
3, 2, -3, q
Suppose -146 = 145*y + 289. Put 2, y, 9076 in decreasing order.
9076, 2, y
Let b = -1681.5 + 1677.5. Let a(u) = -u**2 - 13*u + 20. Let q be a(-13). Put -2/13, q, b in ascending order.
b, -2/13, q
Let v be (780/150)/(1/(-30)). Suppose -3*n - n = n. Put 5, n, v in descending order.
5, n, v
Let c = 11529 + -11547. Sort 3, -1, c, 0.3 in ascending order.
c, -1, 0.3, 3
Let w = -201.1 - -208.8. Put -6, 1, w in decreasing order.
w, 1, -6
Let j be 26/8*4*1. Let r = j - 9. Let h be (-9)/(-6 - -33) + (-5)/3. Put r, 2, h in descending order.
r, 2, h
Let l be (-2)/((0 - -2) + 0). Suppose -6*g = -2*g - 3*c + 37, -2*c = -4*g - 30. Put -7, l, g, 5 in ascending order.
-7, g, l, 5
Let u be ((-2)/(8/(-3)))/(2/8). Suppose 3 = -3*x + 4*a - u, -5*a + 21 = 3*x. Put 5, -1, 12, x in decreasing order.
12, 5, x, -1
Let i = -6874 - -6870. Sort i, 1, 3, -2, 2.
i, -2, 1, 2, 3
Let v = -24.59 + 23.99. Sort -2/11, -0.4, v.
v, -0.4, -2/11
Let b = -216 - -224. Let r = 2.1 + -2.13. Put b, -5, r in ascending order.
-5, r, b
Let x = 3268.2 + -3267. Sort -3, 5, x in ascending order.
-3, x, 5
Let u = 20 - 39/2. Suppose -4 = 2*i, 3*i + 10 = 3*o - 7*o. Sort u, -1/3, 5, o.
o, -1/3, u, 5
Let z = -0.2502 - 0.1498. Suppose -5*n + 4*s - 25 - 5 = 0, -2*n + 5*s - 29 = 0. Put n, z, -4, 3/7 in descending order.
3/7, z, n, -4
Let d be (-819)/156 + 2/8. Sort -18, -3, 1, d in decreasing order.
1, -3, d, -18
Let v = 89 + -86. Let b = -23.58 - -33.58. Put -17, b, v in decreasing order.
b, v, -17
Suppose -116 = 5*w - 3*q - 130, -5*q + 10 = 0. Put -15, -1, 5, 17, w in descending order.
17, 5, w, -1, -15
Let b be ((-15)/(-12))/((-4)/304). Put 2, -2, b in descending order.
2, -2, b
Let k = -11.6019 + 0.2719. Let y = -11.3 - k. Sort 7, y, -2/5.
-2/5, y, 7
Let n = 8.44 + -10.44. Put 3/2, -0.73, n, 1 in ascending order.
n, -0.73, 1, 3/2
Let h(n) = -5*n**2 - 254*n + 55. Let b be h(-51). Sort -7, b, 1, -4 in ascending order.
-7, -4, 1, b
Let z = 0.92 + 0.08. Suppose 0 = 3*m + 2*m - 210. Let d = -374/9 + m. Put d, 2, z in decreasing order.
2, z, d
Let r be (-4)/((-3)/(90/3)). Suppose 65*t - 76*t = 0. Suppose 2*i - r + 46 = t. Sort -5, i, 5 in decreasing order.
5, i, -5
Let i = 11.4 + -1.4. Let m = -15 + i. Let w = 16359 + -16356. Sort 1, m, w, 0.3.
m, 0.3, 1, w
Suppose 10*q - 117 = -q - 28*q. Suppose 3*a + 2*h + 6 = 0, -h - 6 = 5*a + h. Sort 22, a, q in descending order.
22, q, a
Let x = 282 - 872. Let j = 578 + x. Sort j, -1, -5.
j, -5, -1
Let l = -11039 + 11038. Put -14, -3, -2, -6, l in increasing order.
-14, -6, -3, -2, l
Let m be (22/(-8))/((-29)/232). Suppose 7*b + m = -13. Sort 16, 3, b in increasing order.
b, 3, 16
Let w be (9 - -45)/18 + 3. Put w, -1.5, 7 in increasing order.
-1.5, w, 7
Let k = -0.036 - 0.01. Let f = k - -0.106. Let g be (-35)/30 - 2/(-4). Sort g, f, -0.5 in ascending order.
g, -0.5, f
Let j be 20/(-12) - (-31416)/(-72). Sort 4, j, 0 in increasing ord