pose -2*d = -3*q + 3 - 4, -2*d - 5*q + 25 = 0. Let g be 0*(2/(-4) + 1). Put g, 3, d in descending order.
d, 3, g
Let l(f) = -2*f + 28. Let w be l(12). Sort 6, w, -2 in descending order.
6, w, -2
Suppose -3 = -g - 8. Let p = 18 - 15. Suppose 2*a = 3*a + p. Put a, -4, g in decreasing order.
a, -4, g
Let y = -0.02 + -0.14. Let i = y - -0.06. Put -3, i, -2/21 in descending order.
-2/21, i, -3
Suppose -t + 9 = 14. Sort 0, 1, -1, t in decreasing order.
1, 0, -1, t
Let q = -4 + 12. Sort 2, -2, 1, q in increasing order.
-2, 1, 2, q
Let m be (-12)/66 + (-138)/(-33). Put 5, m, 0 in descending order.
5, m, 0
Let v(x) = -x**3 - 5*x**2 - 3*x + 8. Let z be v(-4). Put 3, 0, z in decreasing order.
z, 3, 0
Suppose -l = 4*a + 8, -2*l - a - 4 = a. Suppose 4*t + t + 20 = l, 0 = 3*v + 2*t + 14. Let s be (3/6)/(v/(-2)). Sort s, -5, 3 in ascending order.
-5, s, 3
Let v = -29/84 - -5/28. Put 0.11, -3, v in decreasing order.
0.11, v, -3
Let y be 6 + -1 + (-5 - -1). Put -1, y, 5 in increasing order.
-1, y, 5
Let p = 0.1 - 5.1. Let j = 66.33 + -66. Let r = -0.03 + j. Sort p, -1, r in descending order.
r, -1, p
Let f = -0.1 - 0.2. Let y = 2.4 - 2. Let d = -326/63 + 44/9. Put f, d, y in increasing order.
f, d, y
Let s = 3.5 - 4. Let y = 0.108 - 0.008. Put -1, s, y in descending order.
y, s, -1
Let d = 9 + -13. Let w be ((-2)/(-2))/((-3)/(-9)). Put 4, w, d in ascending order.
d, w, 4
Let b = -63 - -63. Let n(z) = 6*z - 1. Let g be n(1). Sort b, g, 2 in decreasing order.
g, 2, b
Suppose -n - 4*t = -2*n + 8, -5*t - 10 = 3*n. Suppose -6 = -3*s - n. Sort 3, s, 4 in decreasing order.
4, 3, s
Suppose 22 + 11 = -3*i. Let y = i - -16. Sort y, -1, -2 in decreasing order.
y, -1, -2
Suppose 4*y - y + 4*s + 22 = 0, -12 = 2*y + 4*s. Let v = 6 + y. Let f(q) = -q**3 - q**2 - 2*q - 3. Let m be f(-2). Put 1, m, v in decreasing order.
m, 1, v
Let z be -30*(2 - (6 - 3)). Suppose 5*v = d + z, -d - 3 - 9 = -2*v. Let c be (-10)/v - 4/12. Sort 2, c, -4 in ascending order.
-4, c, 2
Let o = -3.4 - 0.6. Let i = o + 0. Let a = i - -2. Put -4, a, -0.3 in increasing order.
-4, a, -0.3
Let o = 2.1 - 4.1. Suppose -3*d + 5*f = -d - 2, -3*d - 2*f = -22. Let z be 0 + -4*(-1)/d. Sort -1, z, o in ascending order.
o, -1, z
Let f = -2 - 6. Let l = -9 - f. Sort 5/3, -0.2, l in decreasing order.
5/3, -0.2, l
Let u = -0.74 + 0.34. Let c(m) = m**2 - m - 4. Let w be c(3). Let i = 1.3 - 6.3. Put u, i, w in decreasing order.
w, u, i
Let f = 0 + 1. Let x = -4 - -3. Let q = 0.02 + 0.18. Put f, q, x in decreasing order.
f, q, x
Let g be (3/(-9))/((-1)/6) - -3. Let m be (-2)/(-3) - 2/(-6). Sort -3, m, g in decreasing order.
g, m, -3
Let y = 0.991 + 0.009. Sort 0, 2/9, y in descending order.
y, 2/9, 0
Let u = 609.01 - 614. Let x = 5 + u. Put -1, 5, x in decreasing order.
5, x, -1
Let l = 2.97 + -0.97. Put 0.05, l, 5, -4 in increasing order.
-4, 0.05, l, 5
Let m = -3/16 - -53/112. Put -0.5, m, -0.17 in descending order.
m, -0.17, -0.5
Let x(f) = 3*f**2 + 1. Suppose -2*r + 4*z + 14 = 0, -z + 16 = 4*r - 6*z. Let m be x(r). Sort m, 0, 3 in descending order.
m, 3, 0
Let q = 0.94 - 1. Let w = -0.36 - q. Let y = 0.6 + -3.6. Sort w, 5, y.
y, w, 5
Let o = -0.1 + -0.1. Let l = -15.2 + 11.2. Sort o, l, -3 in descending order.
o, -3, l
Suppose 9 = p - 0. Suppose j - p = 1. Suppose 0*y + j = 2*y. Put -4, -1, y in descending order.
y, -1, -4
Let l = -0.3 + 0.2. Let k = 2.9 + 11.1. Let h = k - 16. Put l, -1, h in ascending order.
h, -1, l
Let c be ((-50)/((-30)/(-6)))/(-6). Put c, 4, 5 in decreasing order.
5, 4, c
Let a be 2*(-1 + -1) - 442/(-117). Sort -0.35, 0, a in descending order.
0, a, -0.35
Suppose 2*w + 12 = 38. Put w, 0, 3 in ascending order.
0, 3, w
Let w be ((-200)/(-72) - (-4)/18)/(-1). Put w, -5, -1, 3 in decreasing order.
3, -1, w, -5
Let z be (-2)/(48/(-9) + 2). Put 0, 2/5, z in increasing order.
0, 2/5, z
Let f be -3*(-6)/9*1. Suppose -4*a - 10 = -f*j, 0 = -2*j + 3*j - 3*a - 5. Suppose 2 = -j*c + 12. Put 2/7, -4, c in increasing order.
-4, 2/7, c
Suppose -2*s + 3 = 3*w, 5*w + 3*s = 4 - 0. Put 0, 2, w in ascending order.
w, 0, 2
Let h = 4 + -9. Let y = h - -3. Put y, 0, 0.1 in decreasing order.
0.1, 0, y
Let z = 15 - 12. Let k be (-14)/6 - (-1)/z. Sort 1, k, -4 in ascending order.
-4, k, 1
Let f(m) = -m**3 - 10*m**2 - 9*m + 2. Let y be f(-9). Suppose 0 = -z + 7 - 4, -y*z = -4*s + 14. Let i be 1*(-6 + 3)/3. Put -5, s, i in ascending order.
-5, i, s
Let h be ((-2)/3)/(10/(-15)). Put -5, -2, h in ascending order.
-5, -2, h
Suppose 6*p = 15*p + 27. Sort 5, p, 0 in decreasing order.
5, 0, p
Suppose -d - 1 = -6. Suppose 3*c = -2*c + d. Sort 3, -4, c.
-4, c, 3
Let q be (1/(-12))/(9/(-120)) - 1. Sort -3, -4, -3/5, q in descending order.
q, -3/5, -3, -4
Suppose j + 2*j = -15. Let b be 36/15 + (-4)/10. Let l = b - 1. Sort j, 4, l in increasing order.
j, l, 4
Let g = 19 + -17. Let o = -3 - g. Put -0.3, o, 0.3 in increasing order.
o, -0.3, 0.3
Let j = -16 + 15. Sort -7, j, -2.
-7, -2, j
Let s = 313 - 318. Let d = 0 - -0.1. Put s, -3, d in descending order.
d, -3, s
Let t be (-2)/4*(-2)/4. Put t, -5, -1/2 in decreasing order.
t, -1/2, -5
Suppose -w + 4*o - 4 = 9, 3*o = 3*w + 21. Sort 1, 3, w in ascending order.
w, 1, 3
Suppose 0 = 5*s - n + 6, -5*n = -3*s + 13 + 1. Sort -5, s, 2 in ascending order.
-5, s, 2
Suppose 0 = 2*p - 1 + 7. Let u = -7 - -3. Put p, u, -1 in decreasing order.
-1, p, u
Let q = 1881/5 + -375. Put q, -5, 2 in increasing order.
-5, q, 2
Suppose 4*u + 7 = 3. Suppose 0 = -2*b - 0*b. Put 3, b, u in increasing order.
u, b, 3
Let i = -6.5 + 0.5. Let d be ((-12)/9)/4*(-1 - -3). Put -2, i, d in ascending order.
i, -2, d
Let v(c) = 3*c - 3. Let w be v(1). Put 1, 5, w, -3 in decreasing order.
5, 1, w, -3
Let t = 2 + -2.1. Let a = -39.9 + 38. Let i = a - -2. Put i, t, -0.2 in decreasing order.
i, t, -0.2
Let a(n) = -12*n + 5. Let u be a(1). Sort u, 3, -1, -5 in descending order.
3, -1, -5, u
Let j = 190 + -405. Let d = -4083/19 - j. Sort d, -2/5, -1 in descending order.
d, -2/5, -1
Let g = 466/9 + -52. Put 0.06, 2, g in ascending order.
g, 0.06, 2
Let r = -22 + 21. Let d(y) = -3*y + 4. Let v be d(3). Sort r, 5, v in descending order.
5, r, v
Let c = 0.5 - 0.1. Let m = 0.1 + c. Let y be ((-3)/(-2))/((-3)/(-4)). Sort y, -4, m in descending order.
y, m, -4
Suppose 2*h - 4*s + 5 = -3, 0 = 3*h - 4*s + 12. Let n(k) = -2*k**2 + 3*k**2 - 1 + 5*k**2 - k - 5*k**2. Let f be n(2). Put f, -3, h in increasing order.
h, -3, f
Let p = 0.24 - -0.06. Let l = 0.1 + p. Put 1, 0.3, l in increasing order.
0.3, l, 1
Let j be -1*(20/16 + -1). Sort j, 27, -2.
-2, j, 27
Let p = 0.14 + -1.84. Let j = p - 0.3. Let q = -1 - j. Sort 3/4, -4, q in increasing order.
-4, 3/4, q
Let q = 6 + -19/3. Put q, -0.4, -3 in decreasing order.
q, -0.4, -3
Let i be ((-30)/7)/(1/(-7)). Suppose 0 = -7*p + 2*p + i. Suppose 2*z - 4 = b + 3*z, -2*b - z - p = 0. Put -4, b, 0 in descending order.
0, b, -4
Let r = -27 + 26. Sort r, 0.4, 4 in descending order.
4, 0.4, r
Let t = 175 - 177. Let c = 853/1148 - -2/287. Sort c, -1/2, t in descending order.
c, -1/2, t
Let b = -13 - -8. Let h(q) = q**3 - 2*q**2 - 3*q - 2. Let o be h(3). Let p = 1 - o. Put p, -3, b in decreasing order.
p, -3, b
Let a = -9 - 2. Sort 1, a, -4 in ascending order.
a, -4, 1
Let g be 6/(-12)*8*-1. Suppose 5*m - 5*t = -5, 0 = 5*m - 0*t + 3*t - 11. Sort g, 5, m in decreasing order.
5, g, m
Let h = -2 - -6. Let q = -0.04 + -4.36. Let l = h + q. Sort 3/5, -1/2, l.
-1/2, l, 3/5
Let z = -7 - -11. Suppose -c = -6*c - i + 17, -8 = -z*i. Put -2, c, -4 in increasing order.
-4, -2, c
Let k be (-20)/18 + 2 + -1. Put k, -4, -0.3 in increasing order.
-4, -0.3, k
Let g = -118 + 112.1. Let c = g + 0.9. Let z = -5 - -1. Sort z, c, -2/3 in decreasing order.
-2/3, z, c
Let o = 11 + -12. Let l = 4 - 2. Let y = o + l. Put y, 5, -5 in descending order.
5, y, -5
Let d = 21.4 + -21. Put 5, d, 0 in increasing order.
0, d, 5
Let g(l) = l + 11. Let u be g(-7). Suppose j - 2 = 3*z + 5, -3*j - z + 21 = 0. Let q = j - u. Put q, -3/4, 0.3 in increasing order.
-3/4, 0.3, q
Let m be (4 - 6)/((-2)/(-4)). Sort 2, m, -2 in decreasing order.
2, -2, m
Let s be (-2)/(-4) + (-12)/(-8). Let t(m) = 4*m**3 + m**2 - 2*m + 2. Let v be t(1). Suppose -2*c = -v - 3. Put c, -1, s in increasing order.
-1, s, c
Suppose 12 = 2*q + 2*q. Suppose -n + 2*i = 