+ 4*s - 20 = -5*r. Suppose 3*n - 12 = 3*g - 2*n, 3*g = -s*n - 12. Put g, 0, 4, 2 in decreasing order.
4, 2, 0, g
Let y be 1/(0 - 6/(-144)). Sort -4, 2, y.
-4, 2, y
Let b(n) = 3*n + 19. Let z be b(-5). Let v(f) = -f + 9. Let c be v(z). Sort c, -2, 0, -4.
-4, -2, 0, c
Suppose 57*y - 41*y = -32. Sort -30, y, -4, 3 in decreasing order.
3, y, -4, -30
Suppose 2 = -l, -2*n + 3*l - 6 = -6*n. Suppose n*k = -4 - 5. Sort -2, 5, k, 0.
k, -2, 0, 5
Let i = 274/9 - 31. Let v = 29/36 + i. Put 0, v, 5, -2/9 in ascending order.
-2/9, 0, v, 5
Suppose 0 = 19*b + 34 - 129. Sort b, 2, -1, 6/11 in increasing order.
-1, 6/11, 2, b
Let b be 4/(-6)*(-9)/(-6). Suppose 8*v + 2 = 9*v. Sort v, b, 3 in decreasing order.
3, v, b
Let q(s) = -s**2 + 25*s + 2. Let p be q(24). Suppose -4*l = -2*b + p, 1 = -3*b + 3*l - 5*l. Sort b, -13, -3, 0.
-13, -3, 0, b
Let k = -385 + 381. Put -6.8, k, 0.5 in descending order.
0.5, k, -6.8
Let i = -6.7 + 7. Let g be 28/49*(-14)/4. Let o be g + 9/11 - -1. Sort o, i, -0.3 in decreasing order.
i, o, -0.3
Let y be -22*3*(-2)/(-12). Let l = y + 11. Put 2, 5, l in increasing order.
l, 2, 5
Let c = 1259 - 1262. Put c, -33, 3 in increasing order.
-33, c, 3
Let o = -799.2 - -799. Put -8, o, 5, 0.3 in increasing order.
-8, o, 0.3, 5
Let x be -5*(-1 - (0/4 + 0)). Sort -0.1, x, -3/7 in ascending order.
-3/7, -0.1, x
Let r = 2.4 - -0.6. Let k = 586 - 7617/13. Sort 3/5, k, r.
k, 3/5, r
Let p(k) = -k**3 - 2*k**2 + 3*k - 5. Let g be p(0). Suppose -5*q = 5, -2*b + 4*q - 1 = -5. Sort b, -9, g, 4 in decreasing order.
4, b, g, -9
Let p = -28 + 28.3. Sort 0, p, -0.3, 4 in increasing order.
-0.3, 0, p, 4
Let p = -672.98 - -97.68. Let a = -547 - p. Let c = -28 + a. Sort c, -5, -1/4 in decreasing order.
c, -1/4, -5
Let h be (-9)/24 + 3/8. Put h, -4, -11, 2 in ascending order.
-11, -4, h, 2
Let m = 49 + -51. Let h(t) = 1 + 0 + 10*t - 2 - 4*t. Let w be h(1). Sort 4, w, m.
m, 4, w
Let a be (-19)/(-2)*(1 + (-1 - -2)). Let g(h) = h**3 - 18*h**2 - 19*h + 5. Let k be g(a). Sort -1/8, k, -30 in ascending order.
-30, -1/8, k
Let a(r) = -r**3 + 2*r**2 - 12*r - 4. Let k be a(0). Put 35, k, 5, 4 in descending order.
35, 5, 4, k
Let r be (6 + -6)/(-4*(-1)/2). Sort -3, -21, -1/2, r in increasing order.
-21, -3, -1/2, r
Let m = 759 - 812. Sort m, 1, 3 in ascending order.
m, 1, 3
Let z = 52 + -52. Suppose z = 3*s + 2*f, -5*f = -4*s - 3*f. Sort s, -3, -5, 6 in decreasing order.
6, s, -3, -5
Let o = -4588 + 4590. Let q = 0.23 - -0.07. Sort -0.03, -2/11, q, o in descending order.
o, q, -0.03, -2/11
Let l(k) = -3*k + 137. Let c be l(40). Sort c, -1, 3 in increasing order.
-1, 3, c
Suppose 0 = 3138*b - 3136*b + 8. Let h = 9 - 4. Sort -5, b, -1, h in descending order.
h, -1, b, -5
Let r = 1082.1 + -1083. Sort 0.16, r, -4/5 in descending order.
0.16, -4/5, r
Let t be (10/3)/(4/6). Suppose 4*z = -z - 15, -z = -5*b + 73. Suppose 5*h - 5 - 11 = 3*w, 3*h - b = 4*w. Put h, -5, t in descending order.
t, h, -5
Let l = -9.7 - -63.7. Let k = -54.3 + l. Sort k, 5/3, -1.
-1, k, 5/3
Suppose 13*i - 10*i = -9. Suppose -21 = 2*q - 37. Sort q, 1, i, -1.
i, -1, 1, q
Let b = -3.76 + -0.94. Let h = 8.7 + b. Let r = 1.1 + -1. Sort h, -4, r in decreasing order.
h, r, -4
Let v = 455/3 + -150. Put v, 1/10, 1/3 in descending order.
v, 1/3, 1/10
Suppose -4*p + z - 36 = 0, 5*p + 14 = -5*z - 31. Let c be -7 - (-6)/p*-6. Put 3, c, -5 in increasing order.
-5, c, 3
Let m(n) = -n**2 - 6*n + 90. Let k be m(-13). Sort 0, -7, k, -2.
-7, -2, k, 0
Suppose 27*y - 9*y = -36. Sort -1, y, 21 in ascending order.
y, -1, 21
Suppose -27 + 7 = -4*t. Suppose q + o + t = 0, q - 6*o - 1 = -5*o. Let j be (-74)/(-14) + 2/(-7). Put q, 2, j in descending order.
j, 2, q
Let b(g) = g**2 + 1. Let m be b(2). Let s = 8 - 26. Let u be 6/(-27) + 32/s. Sort m, 2, u in descending order.
m, 2, u
Let q(m) = m**3 + 11*m**2 + 9*m - 7. Let w be q(-10). Suppose 0 = 2*u + 2*p + 18, u = 4*u - 3*p + w. Let g = -1 + 3. Sort -2, g, u in decreasing order.
g, -2, u
Let d = -5 + 14. Suppose d*l - 1 = 10*l. Let a be 1/((-4)/(-20)*l). Put -4, a, 0 in increasing order.
a, -4, 0
Let c = -10.098 - -0.098. Let r = c - -9. Sort 3, r, -4 in decreasing order.
3, r, -4
Let v = 1611 + -1606. Sort 2, v, 39 in decreasing order.
39, v, 2
Let h = 0.3 - 0.4. Let l = -116 + 111. Put -2/5, l, h, -1/3 in ascending order.
l, -2/5, -1/3, h
Let h = 777 + -776.9. Put -29/8, h, 2 in ascending order.
-29/8, h, 2
Let k = -44 - -44.056. Let p = -0.056 + k. Put 2, -8, p, 4 in descending order.
4, 2, p, -8
Let s = 1.055 + -1.025. Sort s, -4, 0.016.
-4, 0.016, s
Let y = -0.2 + 0. Let d = -4.7475 - -4.2475. Sort y, d, 0.5 in decreasing order.
0.5, y, d
Let j = 0.03 + 0.67. Let i = j - -0.9. Let b = -0.0994 + 0.0994. Sort b, i, 2.
b, i, 2
Let a be (-16)/(-140) + (-2)/14*-2. Let v = 2 + -2. Put -5, -1, v, a in decreasing order.
a, v, -1, -5
Let u = -0.099 + 0.279. Sort 0, u, 4, 0.04 in ascending order.
0, 0.04, u, 4
Let u = 39 - 31. Suppose -15*d = -11*d - u. Let a = -3 - -3. Put d, a, 5 in decreasing order.
5, d, a
Let u = -0.037 - 4.963. Let z = -44 - -46. Put -0.4, u, z in decreasing order.
z, -0.4, u
Let k = 7865 + -7863. Suppose 8 = -5*d - 2. Put d, 0, -1, k in decreasing order.
k, 0, -1, d
Suppose 2*r + 194 = -o, -2*r + 5*o - 402 = 2*r. Let h = r - -90. Put 4, 1, 5, h in decreasing order.
5, 4, 1, h
Suppose -2*x = -5*x - 3. Let s be -2 + 2 - (3 + x). Let r be (4/14)/((-35)/(-14) + 1513/(-714)). Put r, -0.2, s in ascending order.
s, -0.2, r
Suppose 20 = -2*i + 4*d, 18 = -3*i + d - 7. Let t be (-20)/i*(1 + 1/5). Suppose 0 = 2*a - y + 7, 0 = -3*a + y - 8. Sort 2, t, a in decreasing order.
t, 2, a
Let b = 10230799/801 - 38318/3. Let w = 15690/1157 + -176/13. Let v = w + b. Sort 0, v, -3 in descending order.
0, v, -3
Suppose -39*b = -42*b + 45. Suppose 37*x + b = 40*x. Sort -1, 16, x in descending order.
16, x, -1
Let y be 5/((-5)/(-2)) + 2. Suppose f = -s + 1, -4*f + 12 = y*s - 2*s. Suppose -10*q = -6*q + 12. Sort s, 1, q in ascending order.
s, q, 1
Let y = -0.06 + -4.94. Let c = 45 + -45.1. Put c, y, -0.13 in increasing order.
y, -0.13, c
Let p = 421 - 443. Sort p, 3, -2, 3/5 in decreasing order.
3, 3/5, -2, p
Let v = 392.5 - 393. Sort v, -13, -0.2, -2 in increasing order.
-13, -2, v, -0.2
Let u(c) = 131*c**2 - 3*c - 3. Let s be u(-2). Suppose -7*f + s + 110 = 0. Let o be (2/7)/(208/f). Sort 0.4, o, -0.2 in increasing order.
-0.2, o, 0.4
Let h = 1 + -4. Suppose -i = -2 - 2. Put i, h, 5 in increasing order.
h, i, 5
Let z(l) = -l**3 - 3*l**2 + 1. Let s be z(-1). Let t(a) = -a**2 - 4*a + 6. Let m be t(3). Let p = m - -19. Sort -3, p, s in increasing order.
-3, s, p
Let u be -1 + (-6)/(-4) - 72/144. Sort 5/12, 1/9, u in descending order.
5/12, 1/9, u
Let k = 352 + -351.5. Sort k, 1, -32.
-32, k, 1
Let m = -307 + 306.6. Put m, -6/61, 1 in descending order.
1, -6/61, m
Let m = 0.52 - 0.02. Let x(l) = -l + 11. Let d be x(9). Let t be 4/(-15) + d/(-5). Sort 1, t, m in descending order.
1, m, t
Let x = 1.1 + 0.9. Let n(d) = -5*d - 29. Let q be n(-5). Sort x, -9, q.
-9, q, x
Let t = -54.7 - -52. Let d = t + 1.7. Sort 6, 1/4, d.
d, 1/4, 6
Let o be (2/12)/(-4 - (-20)/8). Sort o, -0.4, -0.2, 4 in ascending order.
-0.4, -0.2, o, 4
Suppose 2*y - 15 = -y. Let d = y + -1. Put 3, 6, d in decreasing order.
6, d, 3
Let j = 525 - 529.61. Let p = 0.39 - j. Put -7, 1, p in decreasing order.
p, 1, -7
Let k = -0.0115 - -5.0115. Put 3, 1, k, 0.2 in decreasing order.
k, 3, 1, 0.2
Let k(u) = -2*u**2 + u**2 + 4*u + 3*u - 5. Let g be 6 - ((-7)/(-21)*-3)/(-1). Let m be k(g). Sort m, 0, -2.
-2, 0, m
Let n be (28/3 + -6)/(2/3). Let z = 0.071 - 0.101. Sort z, n, 0.1.
z, 0.1, n
Let z = 656 - 585. Put 0, -3, z in decreasing order.
z, 0, -3
Let l = -72 + 71. Sort l, 0.3, 4 in descending order.
4, 0.3, l
Let y = -1 + 3. Let g be (-3)/9*-15 - 2. Suppose -c = 3, 4*n - 5*n - c - g = 0. Put -1, y, n in increasing order.
-1, n, y
Suppose 3*v = -5 + 14. Suppose 3*x + 7 - 1 = 0. Put 21, -5, x, v in decreasing order.
21, v, x, -5
Let w(c) = -9*c - 316. Let a be w(-39). Put -0.2, a, -9 in increasing order.
-9, -0.2, a
Let v = 0.2077 - -4.7923. Sort -61, v, 4, -3/2.
-61, -3/2, 4, v
Let m be 12/(-15) - 11/(-20). Sort 0.1, m, 83, -0.5 in ascending order.
-0.5, m, 0.1, 83
Let i = -1 - -1.5. Let p = 51 - 52. Let q be p - (3 + (-2)/2). Pu