*a, -j + a = -2*j + 6. Put f, j, -5, -1 in decreasing order.
j, -1, f, -5
Let d = 2638 - 2635. Sort -3, -1071, d.
-1071, -3, d
Let d = 979 - 962. Sort -2, -5, d, 4.
-5, -2, 4, d
Let k = 0.03 + -0.23. Let o = 0.15 - 0.22. Let m = o + -1.13. Sort -1/2, m, k in descending order.
k, -1/2, m
Suppose 0 = z - 0*n - 2*n - 19, -z + n + 17 = 0. Suppose -5*a + 29 = -4*s + 112, -2*a - 24 = 3*s. Let o be (-1)/((3/a)/1). Sort o, z, -4 in ascending order.
-4, o, z
Let b = -576 + 576. Put -1, b, -0.1, -0.2 in increasing order.
-1, -0.2, -0.1, b
Suppose 21 = 10*z - 13*z. Let o be z*1 + (-23 - -26). Sort -5, -3, o, -26.
-26, -5, o, -3
Let t = 140 - 162. Let q be (-23 - -1) + 4/(-8). Let d = q - t. Sort d, -2, -3/2 in decreasing order.
d, -3/2, -2
Let g = 0.25 + -5.25. Let n = 20 - 30. Let k = 8 + n. Put g, k, -4 in ascending order.
g, -4, k
Let c(b) = -b + 12. Let i be c(18). Put -1, 1, -3, i in increasing order.
i, -3, -1, 1
Suppose 2 + 4 = -2*q - 5*l, 0 = -3*q + 5*l + 16. Suppose 0 = 4*t - q*o + 6, 4*t + 3 + 8 = 3*o. Let n be t - (-2)/10*-6. Sort -2/3, 3, n in decreasing order.
3, n, -2/3
Suppose -3*d - t = -6*t - 5, -2*d - 4*t + 18 = 0. Let j be 5*2/(-1 - 1). Put 4, d, 1, j in increasing order.
j, 1, 4, d
Suppose 6*z = 2*z - 4, -v + 23 = -5*z. Suppose -2*d = 4*k - 14, -2*k - 3*d + v = k. Let r be 2/8 - (-20)/(-16). Put k, r, 4 in descending order.
4, k, r
Let u = -458.3 + 459. Put u, -7, 3/2 in ascending order.
-7, u, 3/2
Let u = -0.5 - -1. Let o(a) = a**3 - 5*a**2 - 26*a + 17. Let k be o(8). Put k, 3/2, u in descending order.
3/2, k, u
Let c(l) = 4*l - 35. Let b be c(9). Let r be (14/8 - b)/((-10)/40). Put -2, r, 0 in descending order.
0, -2, r
Let i = 1.421 - -0.579. Let h = -0.35 + 0.05. Sort h, -4/3, i in increasing order.
-4/3, h, i
Let w be (-12)/40*(-20)/30. Put w, -41, -1/3 in increasing order.
-41, -1/3, w
Let q = 6768 - 6772. Suppose -3 = i - 0. Let b = i - 0. Sort q, b, 3.
q, b, 3
Let r = -1670/3 + 555. Let l = 0.3 + 0.2. Sort l, 5, r in ascending order.
r, l, 5
Let x be ((-28)/190)/((-80)/(-800)). Sort x, -5, 2 in descending order.
2, x, -5
Let k = -86 - -90. Suppose -4*v = -3*v + k. Sort 0.4, v, 4 in descending order.
4, 0.4, v
Let c be (-15)/(-4) + (-6 - (-21)/4). Let z(f) = f**2 - 2*f - 4. Let v be z(c). Suppose -6*x + 2*x + 4 = 0. Sort v, 0, x in descending order.
x, 0, v
Let o = 124 + -128. Sort 4, 3, o, -5.
-5, o, 3, 4
Let v = 74 + -72. Put -85, v, -1, 0.5 in decreasing order.
v, 0.5, -1, -85
Suppose -2*g - 12 = 4*n, 5*g + 7 + 3 = 0. Let q be (-1 - n)*77/22. Put q, -1/6, -5 in decreasing order.
q, -1/6, -5
Let f(j) = 5*j - 4. Let s be f(1). Let u be ((6 - 2) + -1)/s. Let p = -1.9 + -0.1. Put p, -2/3, u in ascending order.
p, -2/3, u
Let w(x) be the third derivative of -x**5/30 - 5*x**4/24 - 3*x**3/2 + 4*x**2 + 6*x. Let i be w(-2). Sort -0.6, i, -0.1 in increasing order.
i, -0.6, -0.1
Let y be 10 + (8 - 18) + 4. Suppose -2 = -3*k - 5. Put -16, k, 2, y in ascending order.
-16, k, 2, y
Let y be 24/10*-7*(-45)/126. Suppose -17 = -4*q + t - 1, 0 = -q - 4*t - 13. Suppose 7*n - 12 = q*n. Put -1, n, y in ascending order.
-1, n, y
Suppose -3*b + 14*p = 11*p + 3, -4 = 4*b + 3*p. Put b, 0, -42 in decreasing order.
0, b, -42
Let h(t) = -t**3 - t**2 - 2. Let p be h(0). Suppose -27*i + 29*i - 20 = 0. Suppose -15 = -5*w + i. Sort p, w, -4.
-4, p, w
Let z be (2 - 1)/(135/(-54)). Sort -4, 3/10, z, 4 in ascending order.
-4, z, 3/10, 4
Let k be 32/56*(27 - -1). Suppose 0 = 5*g + 5*q - 35, -q + 3 = 2*g - k. Sort -2, g, 5, 3 in decreasing order.
g, 5, 3, -2
Let v = -49.6 - -29. Let i = v + 8.6. Put -0.4, 4, i, 2/9 in decreasing order.
4, 2/9, -0.4, i
Let u = 20.8 - 21. Let v be ((-9)/12)/((-45)/24). Put u, v, 5, -0.1 in ascending order.
u, -0.1, v, 5
Let i = 485 - 487. Put 5, 0, -17, i in increasing order.
-17, i, 0, 5
Let f = -887.05 - -887. Put 1/2, 3/5, -2, f in ascending order.
-2, f, 1/2, 3/5
Let w = 23 - 68/3. Let j = 21/50 + -1/50. Let t be ((-5)/((-15)/(-9)))/3*4. Sort j, t, w in decreasing order.
j, w, t
Let p(o) = -o**3 - 5*o**2 + 6*o. Let x be p(-6). Let s = 3 + x. Let l be (-2)/6 + (-26)/(-6). Sort -1, s, l in increasing order.
-1, s, l
Let p be ((-8)/12)/((-4)/30). Let q(g) = -g**3 + g - 2. Let n be q(-2). Let u be 6/n*64/24. Put -5, p, u in decreasing order.
p, u, -5
Suppose -3*s = 21*s + 120. Sort 2, s, -0.2, 10 in decreasing order.
10, 2, -0.2, s
Let t = 1.1 + -5. Let f = 1.1 - t. Let z = 7 - f. Put z, -0.1, -1/5 in ascending order.
-1/5, -0.1, z
Let t = -63 - -57. Suppose -5*w - 25 = 4*b, -5*w + 8*w + 4*b = -23. Sort w, 0.1, t, 0 in descending order.
0.1, 0, w, t
Let p(g) = -g**3 - 8*g**2 + 8*g - 4. Let f be p(-9). Sort 0, 2, f, -7 in descending order.
f, 2, 0, -7
Let n = 15 + -11. Let y = -5.4 - -5.4. Put n, 1/12, y in decreasing order.
n, 1/12, y
Suppose -8*w + 13*w + 50 = 0. Sort -1, 0, w.
w, -1, 0
Suppose 24 + 4 = 4*x. Suppose 0 = -8*l + x*l. Let i be ((-45)/10 + 3)*-2. Sort i, l, -2 in ascending order.
-2, l, i
Let a(k) = -25*k - 7. Let m be a(1). Put -1, m, -9 in decreasing order.
-1, -9, m
Let r = 145/1113 - -2/159. Let n = 0.2 + 0.2. Put n, 2/7, r in descending order.
n, 2/7, r
Let q = 12 - 6. Suppose 0 = 2*c + 2*a - 4, -24*c = -19*c + 4*a - 5. Put 4, c, q in increasing order.
c, 4, q
Let o be 64/(-1904)*(-21)/6. Let q = 0.5 + -0.5. Let h = -0.2 - q. Sort -2, h, o in ascending order.
-2, h, o
Let s be (-2)/18*(-6165)/137. Let i = -8 + 3. Put s, i, -2 in ascending order.
i, -2, s
Let c = 106 + -109. Put c, 0, 22 in ascending order.
c, 0, 22
Let r = -2618 - -2615. Let k = -0.2 + -0.2. Sort r, k, 1/4 in decreasing order.
1/4, k, r
Let t be (-2)/(-7) - 45/84. Let x = 0.057 + 0.911. Let j = x - -0.032. Sort -1/2, j, t in descending order.
j, t, -1/2
Let b be (-165)/45 + (-2)/6. Sort 1, -6, -0.5, b in ascending order.
-6, b, -0.5, 1
Let o = -33.95 - -34. Sort -1/3, -0.4, o, -0.1 in descending order.
o, -0.1, -1/3, -0.4
Let a = -72 - -67. Suppose -4*n - 17 = -33. Put a, 5, 0, n in ascending order.
a, 0, n, 5
Suppose 5*w = -5*n - 60, 5*w - 4*n + 8 = -88. Let z be 2/(-9) + 544/(-144). Put z, -3, -1, w in decreasing order.
-1, -3, z, w
Let p be 70/18 - 16/4. Let b be -1 + (5 + -3)/2. Sort b, 5, p in ascending order.
p, b, 5
Let o = -0.9652 - 0.0348. Put o, -1/5, -0.1, 23/8 in decreasing order.
23/8, -0.1, -1/5, o
Let i = 0.17 - 38.17. Let h = -35 - i. Put h, 3/7, 5 in descending order.
5, h, 3/7
Let z(i) = 13 - 8*i + 9*i**2 - 2*i**2 - 6*i**2. Let g be z(6). Suppose -4*m + m + 1 = -d, 0 = -m. Sort d, g, -4 in descending order.
g, d, -4
Let k(m) = -59*m + 594. Let d be k(10). Sort -5, d, 3, 10/7.
-5, 10/7, 3, d
Let u = 0.0396 - -19.9604. Put 0.2, 4, 5, u in increasing order.
0.2, 4, 5, u
Suppose 0 = -39*g - 41 + 899. Sort 1, -7, g in increasing order.
-7, 1, g
Let r = 360.5 + -361. Sort 18, -1/15, r.
r, -1/15, 18
Let j(k) = -k**2 - 36*k - 171. Let h be j(-29). Sort h, 3, 1, -3 in descending order.
h, 3, 1, -3
Let l = 143 - 147. Sort 2, l, -0.4, -11/8 in descending order.
2, -0.4, -11/8, l
Let j = -397 - -399. Put -2, -9, -4, j in decreasing order.
j, -2, -4, -9
Let r(c) = c**2 - 6*c - 2. Let s be r(6). Suppose 3*h - 40 = -2*h - 5*i, 28 = 4*h + 2*i. Suppose h*u - 3*u = -3. Sort u, 1, s in increasing order.
s, u, 1
Let p = 107 - 61. Let n = 45.97 - p. Let r = -0.8 + 1. Put r, n, -3 in increasing order.
-3, n, r
Let o(v) = v**2 + 17*v - 140. Let d be o(-23). Let z = 89 - 443/5. Put -0.18, z, d in decreasing order.
z, -0.18, d
Let j(n) = 3*n + 2. Let a = -18 - -14. Let b be j(a). Put 5, b, 3 in decreasing order.
5, 3, b
Let r = 0.2 - 0.4. Let c = 0.4 + r. Let v = -0.205 + 0.705. Put v, c, 1/3 in increasing order.
c, 1/3, v
Suppose -9*o + 5*o + 3*x = 3, 4 = -5*o + 4*x. Put -1, o, 6, 1 in decreasing order.
6, 1, o, -1
Let v = 469 - 466. Put -0.3, v, -4, -1/58 in increasing order.
-4, -0.3, -1/58, v
Let j(x) = -2*x**3 - 7*x**2 + 3*x + 4. Let p be j(-4). Let r be (-1 - 1)*(p - 9). Let w = -38.06 + 38. Sort w, -0.4, r in descending order.
r, w, -0.4
Let o = 73.1 + -73.2. Put 1, o, 3, 0.23 in increasing order.
o, 0.23, 1, 3
Let a be 60/(-52) - 3/(-3). Let k be 14/18*9/(-39). Let g = a + k. Put -0.1, g, -0.3 in ascending order.
g, -0.3, -0.1
Let b be 156/(-168) + (-6)/(-14). Let o = -0.6 - -3.6. Sort -0.1, b, o in increasing order.
b, -0.1, o
Suppose 0*s