= -n - 0*n. Suppose 4*r - 11 = -4*o + 9, n*r = 3*o - 9. Put r, l, -2, 2 in decreasing order.
2, r, -2, l
Let t be 210/(-30) + ((-31)/(-7) - -2). Let i = 937.67 + -922. Let o = i - 16. Sort 0.2, t, o, -0.3 in decreasing order.
0.2, -0.3, o, t
Let g(b) = 13*b - 19. Let j be g(6). Let m = j + -54. Sort 9, -3, m, 3 in decreasing order.
9, m, 3, -3
Let r = 107 + -125. Let i(v) = -v - 4. Let w be i(-9). Suppose 2*m - 5*d + 5 = -w, d + 25 = -5*m. Sort m, r, 1 in ascending order.
r, m, 1
Let r(t) = 51*t - 1279. Let i be r(25). Put i, 3, -5, -11 in decreasing order.
3, i, -5, -11
Let z be 1*-9*(-2)/(-3). Suppose 23*k + 1847 - 1801 = 0. Put 1, k, z, 3 in decreasing order.
3, 1, k, z
Suppose -6272*j = -6277*j - 25. Sort j, 1/2, 0, 3/10 in decreasing order.
1/2, 3/10, 0, j
Let c = -7872.3 - -7874. Sort -0.5, 4, -0.1, 0, c in descending order.
4, c, 0, -0.1, -0.5
Let w be (-10 - -9)/(-1)*(-1 - -6). Let h be (-26)/(-5) + (-1)/5. Suppose 0 = 4*a - 5*d + 20, -h*a + 3*a = w*d + 10. Sort -3, 0, a, 3 in ascending order.
a, -3, 0, 3
Let q(a) = a**2 + a**3 - a**3 - a**3 - 13. Let n be q(0). Suppose 520*o + 115 + 32 = 569*o. Sort n, o, -2 in descending order.
o, -2, n
Let q be 28/5 - (-24)/(-40). Suppose 2*m = -2*c - 30, -6*c - q = -3*c - 5*m. Sort c, -2, -12.
-12, c, -2
Suppose 111*l - 170*l = 0. Put l, 58, -4, 4 in descending order.
58, 4, l, -4
Suppose -3*k + 3 = -6. Let p(f) = 4*f**2 + 7*f - 8. Let c be p(1). Suppose -l - 4*b = -14, -c*l - l - 4*b = -32. Put k, 2, l in descending order.
l, k, 2
Suppose 4*k - 16 = 0, -7*c + 8 = -8*c + k. Let x be (-66)/8 + 5/20. Let g = -9 - x. Sort c, 2, g, 5 in decreasing order.
5, 2, g, c
Let m = -36307/2 - -72611/4. Let x = 0.2 + 0.3. Let y = x - -0.1. Put -0.4, m, y in decreasing order.
y, -0.4, m
Suppose 11 = 3*c + x + 3*x, -x + 11 = -2*c. Let d = -19.964 - -34.964. Sort c, d, 4/9 in descending order.
d, 4/9, c
Let f = -3 - 0. Let j = -35855 - -35857. Sort -0.2, f, -5, j in ascending order.
-5, f, -0.2, j
Let b be 30/8 - (-25)/20. Suppose -b*q + 244 = 234. Sort -38, -1, 0, q.
-38, -1, 0, q
Let a be (1 - 81/72) + -4*9/(-32). Put a, -52, 4 in descending order.
4, a, -52
Let y = 90 - 86. Suppose p - 13 = y*a - 0*a, 5*a - 3*p = -25. Let l = -2 - -4. Sort -4, a, l in ascending order.
-4, a, l
Suppose 26 = 8*d - 6. Suppose -21 = -x - 3*f, 2*f = -x + 21 - 5. Let t = x + -6. Sort -2/7, d, t in ascending order.
-2/7, t, d
Let v(d) = 6*d**3 + 5*d**2 - 26*d + 40. Let y be v(2). Put y, 3, -10 in descending order.
y, 3, -10
Let a be (-450 + (1 - 0))*(65 - 64). Let f = 445 + a. Suppose 2 = -3*k + 5. Put k, f, 0, -3 in decreasing order.
k, 0, -3, f
Let i = -23639 + 47277/2. Put -4/9, -420, i in decreasing order.
-4/9, i, -420
Let m(t) = -t**3 + 4*t**2 - 2*t - 4. Let u be m(2). Suppose v + u = 2. Suppose -2*k - 17 = 5*l, 5*l + 19 = -3*k + 1. Put v, -17, l in descending order.
v, l, -17
Suppose -3*b + 4 = f, 7*f = -4*b + 3*b + 8. Let d(j) = 4*j**2 + j - 1. Let q(z) = -z - 6. Let t be q(-7). Let m be d(t). Sort -2, b, m in ascending order.
-2, b, m
Let f = -61 + 123. Let v = 52 - f. Let u = v - -10.3. Sort u, 1/3, 0.4.
u, 1/3, 0.4
Let l = 77/52 + -643/364. Put 67, 0.3, -0.5, l in increasing order.
-0.5, l, 0.3, 67
Let c = 23.1 + -23. Let y be (0 - 0) + (-8)/1. Let i be (4/y)/(1*(-2)/(-96)). Sort c, i, 2 in descending order.
2, c, i
Let z = 20497/3 + -6833. Put -1.2, -1/16, -3, z in decreasing order.
-1/16, z, -1.2, -3
Let b = 6 + -9. Let x = 2.5 + b. Suppose 80*i + 296 = -264. Sort x, i, -1.
i, -1, x
Suppose -9 - 7 = -0*o - 8*o. Sort -9, 121, o.
-9, o, 121
Suppose -12*v - 33 = -v. Let b = -27 - -23. Let w be -5*(6/(-10) + 1) + 5. Sort w, b, v.
b, v, w
Let x be (-56)/(-11) - (-43)/(-473). Let f = -413 + 415.17. Put -1/2, f, x in descending order.
x, f, -1/2
Suppose n = -1, 3*l + n + 330 = 65. Let b = 88 + l. Let o be (-1 + (-30)/(-5))*(-1 - b). Put 4, -6, o in increasing order.
-6, o, 4
Let s = -9222 + 9221.5. Sort 2, 6/13, s, -5.
-5, s, 6/13, 2
Let r = 13.3525 + -16.3525. Suppose 0 = -2*j - 5 - 3. Put -16, -2/5, j, r in decreasing order.
-2/5, r, j, -16
Let y = 13451 + -13454. Put -1/5, -0.11, 2.6, y, 4 in descending order.
4, 2.6, -0.11, -1/5, y
Let z = -84 + 80. Let m = 25 + -20. Suppose -12 = 7*c - m. Sort 6, z, 2, c in increasing order.
z, c, 2, 6
Let q = 3153 + -3111.99. Let m = 107 - 66. Let u = m - q. Sort 4, 2/3, u in decreasing order.
4, 2/3, u
Let p = 5543/342 + -290/19. Let y = p + -1/2. Let i = -6 + 2. Put 1, y, -1, i in increasing order.
i, -1, y, 1
Let a = 7 - 9. Let w = 1637.7 - 1638. Sort a, 0.006, w in decreasing order.
0.006, w, a
Let d = 138 - 140. Let b be -1 + -37 + (10 - 15). Let f = -41 - b. Sort d, f, -1, 1.
d, -1, 1, f
Suppose -49 = -11*o - 16. Suppose 4 + 2 = o*u. Suppose 4*a = c - 4, -7*a + 10 = -u*a - 5*c. Put -4, a, 0, 1 in decreasing order.
1, 0, a, -4
Let v be ((-2)/(-5))/((-4)/(-10)). Let d = -205 + 215. Suppose 4*z = 6*z + d. Put z, 39, v in descending order.
39, v, z
Suppose 4*k - 4 = 0, 2*z + 235*k = 230*k - 11. Put z, -3, -30, -2, 1 in ascending order.
-30, z, -3, -2, 1
Let d = 266.8 + -2.8. Let v = -11 + 10. Put d, v, 1/6, -1/3 in decreasing order.
d, 1/6, -1/3, v
Let u = 40543 + -40547. Sort u, 1, -150.
-150, u, 1
Let z = 10506 + -10511. Let i(t) = t - 3. Let c be 1/(-4) - 25/(-4). Let k be i(c). Sort k, 1/3, z in descending order.
k, 1/3, z
Let k be 16/36 + (3 - 2776/9). Let o = 305 + k. Sort 31, o, -3, 1 in decreasing order.
31, 1, o, -3
Let r = -102.8 - -97.8. Let d = -3 - -2.5. Put d, -9, r in increasing order.
-9, r, d
Let t = -43511 - -43593. Sort 5, -0.3, t, 2/3, -1/4 in descending order.
t, 5, 2/3, -1/4, -0.3
Let u(j) = -j - 5. Let d be u(-11). Let p = -475 + 473. Sort 3, d, -1, p in descending order.
d, 3, -1, p
Let w = -25185 - -25160. Put 5, w, 11 in increasing order.
w, 5, 11
Let u = 0.47 - 0.87. Let q be 10/42*(10 + 7). Let n = q + -33/7. Sort n, u, 38, -1/5 in increasing order.
n, u, -1/5, 38
Let j = -0.2 - -0.15. Let k = 2.1444 + -1.7444. Sort k, -0.4, j, -0.5 in decreasing order.
k, j, -0.4, -0.5
Let z = -0.6 + 0.2. Let k = 3.2462 + 3.7538. Sort -5, z, k in decreasing order.
k, z, -5
Suppose 15 = 3*j + 3*u, -3*u + 4 = -3*j + 13. Suppose j*d + 12 = -3*s, -d + 6*d + 46 = 4*s. Put -3/2, 0.3, 0, d in ascending order.
d, -3/2, 0, 0.3
Suppose o - 1 = 2*l, 25 = 10*o - 15*o - 5*l. Sort 0, -4, 4.39, o in decreasing order.
4.39, 0, o, -4
Let b(q) = q**2 - 20*q - 225. Let c be b(28). Put c, 5, 3 in descending order.
5, 3, c
Suppose 0 = -2*h - 7*a + 3 - 145, -2*h = 4*a + 130. Sort h, 0.085, -1 in decreasing order.
0.085, -1, h
Let p be (22/(-11) - -3)/((-2)/(-8)). Suppose s = -3*w - 26 + 18, -s = -p*w + 1. Let g(b) = b**2 + 6*b + 6. Let y be g(-4). Sort s, -1, 5, y.
s, y, -1, 5
Suppose 30 = -2*z - 3*z. Let i = z - -10. Suppose 0 = 2*j + 3*k + 22, -j + 7 = k + 16. Put j, 0, i in decreasing order.
i, 0, j
Let t(z) = -z + 9. Let w be t(8). Let b(v) = -2*v**2 + 94*v - 1033. Let q be b(29). Put 13, q, w in increasing order.
w, q, 13
Suppose 15*o + 230 = 200. Put 2, -4, -139, o in ascending order.
-139, -4, o, 2
Suppose 8 + 212 = -5*o. Let h = 44 + o. Let r be 0 + h - (36/(-15))/(-4). Put 1, r, 0 in ascending order.
r, 0, 1
Let u be ((-8)/10)/((-14)/(-105)) - -4. Put 5, 0, 108, u, -4 in increasing order.
-4, u, 0, 5, 108
Let i = 5277 - 5272. Let y(q) = -5*q**3 - q**2 + 1. Let t be y(2). Sort -1, i, t, -5 in increasing order.
t, -5, -1, i
Let z = 29599/4 + -7357. Let t = -1189/28 + z. Suppose -x - x + 10 = 0. Sort x, 10, t.
t, x, 10
Let z = 31434 + -31433.9. Sort z, 1/12, -1/4, 2/11, 2/17 in ascending order.
-1/4, 1/12, z, 2/17, 2/11
Suppose 15 = 5*k + 5*c, 0 = -6*c + 4*c. Suppose k*s - 30 = -3*s. Sort 1, s, -18 in increasing order.
-18, 1, s
Let v = 248 - 244. Let x = 21/2 + -10. Sort x, v, -0.5 in increasing order.
-0.5, x, v
Let n(u) = -5*u**3 + 2*u - 1. Let z be n(1). Let x(f) = -f**3 + 38. Let c be x(0). Let j be 3/4*(c/6 - 5). Sort j, z, 2 in increasing order.
z, j, 2
Let g = 4712 + -4712. Sort -0.167, -2, g in decreasing order.
g, -0.167, -2
Let b be -7 - (-2)/(-2) - 726/(-121). Sort 1, 0, b, 4, 3 in decreasing order.
4, 3, 1, 0, b
Let j be -8*(-14)/(-336) - (-2122)/3. Let m = j - 707. Sort -6/43, 5, m.
-6/43, m, 5
Let o = -4/253507659 - 1759652995397/47997450104. Let k = 3/568 - o. Let t = 37 