 = 2*q, f + 1 = -q + j*f. Suppose 0 = -2*x + 3 - q. Put 2, 0, x in descending order.
2, 0, x
Let h be (8/(-20))/(4/(-30)). Suppose 0 = -2*r - r + 12. Let k be 2/4*r/(-1). Sort -3, h, k.
-3, k, h
Let v be (7 - 8) + (-1)/(-3). Let z = 0.35 + -0.35. Put v, 5, z in descending order.
5, z, v
Suppose -5*h + 6 = 5*y - 2*y, 4*y = -3*h + 8. Put 1, -3, y in decreasing order.
y, 1, -3
Let k be (-5 + 1)/(-2) - -3. Let f be (-46)/10 + (-4)/10. Sort -2, f, k.
f, -2, k
Let l be (-1*(2 + -1))/7. Let p = -934/5 - -188. Sort p, -2/9, l.
-2/9, l, p
Suppose 5*g - 13 = -w, 6*w + 3 = 7*w. Sort 3, 2/5, g.
2/5, g, 3
Let j(z) = -z - 4. Let r be j(0). Suppose 4*k + k = 15. Sort k, r, 4 in decreasing order.
4, k, r
Let x = 13 + -18.2. Let g = x - -5. Sort -2, g, -0.3.
-2, -0.3, g
Let b be (2/(-6))/(0 - (-4)/(-12)). Suppose 0*i + 22 = i - 5*h, -3*i + 5*h = -16. Put b, i, 5 in decreasing order.
5, b, i
Let n(x) = -x + 23. Let q be n(13). Let y = -6 + 14. Let a = y - q. Sort a, -1, 3 in decreasing order.
3, -1, a
Let n = -205812/5 - -41312. Suppose 483 = -3*r + 36. Let h = r + n. Sort h, 0.3, 2.
0.3, h, 2
Let s = 76.3 + -76. Sort s, -1/5, 1/3 in ascending order.
-1/5, s, 1/3
Let h = 1367/7 + -195. Suppose 5*n + 4*b = -8, -4*n + 2*b = -2*b + 28. Sort h, -5, n.
-5, n, h
Suppose 3*o - 3 = -3*s + 3, s = o - 2. Let a = -3 - -3. Put o, 1, a in decreasing order.
o, 1, a
Let m = 570 - 1715/3. Let g = -2.3 + 2. Put g, m, 2/3 in ascending order.
m, g, 2/3
Let h be (-8)/(128/12) - (-21)/(-4). Put 3, -3, h in increasing order.
h, -3, 3
Let o = 0.053 - 0.053. Let z be (0 - -1 - 2)/(-1). Sort z, o, 5 in decreasing order.
5, z, o
Let a = -1 + -5.7. Let n = 7.12 + -0.12. Let w = a + n. Sort w, -0.3, -5.
-5, -0.3, w
Let w(t) = 3*t + 2. Let i be w(-2). Suppose 0 = 3*l - 19 + 25. Put i, -3, l in descending order.
l, -3, i
Let s be 4/2 + 815/(-20). Let y = -39 - s. Sort y, -0.2, -1 in decreasing order.
-0.2, y, -1
Let f(a) = -a**3 + a**2 + a - 2. Let o be f(2). Sort o, 5, -1, -2 in decreasing order.
5, -1, -2, o
Suppose 0*z + 4*g = -4*z, 2*z - 3*g + 15 = 0. Let n = -1 - -2. Sort 0, z, n in decreasing order.
n, 0, z
Let b = 359 + -363. Let i = -2 - -1. Sort i, -3, b in decreasing order.
i, -3, b
Let d = 96 - 98. Sort 4, -5, d in descending order.
4, d, -5
Suppose -3*i + 2 + 1 = 0. Let v be ((2 - i) + 0)/1. Let q be (v/12)/(9/(-12)). Sort q, -2/9, 0.5.
-2/9, q, 0.5
Let g be ((-3)/(-18))/((-22)/(-99)). Let n = -0.9 - 0.1. Let t be (3/(-4))/(3/(-2)). Sort t, n, g in descending order.
g, t, n
Suppose 0 = -3*m + 3*i + i - 26, -4*m - 42 = 2*i. Let l be 4/10 - (-9)/m. Suppose -4 = 2*x - z - z, 0 = x - 3*z. Sort x, l, 4.
x, l, 4
Suppose 2*h - 8 = -2*r - 2, 5*r - 25 = 5*h. Let z be ((1 - 4) + 4)/(-1). Let c = 0 - z. Put r, 5, c in ascending order.
c, r, 5
Suppose -3*a + 0*a + 21 = 3*z, -5*z = -a - 59. Put -5, z, -2 in descending order.
z, -2, -5
Let g = 0.34 + -4.14. Let f = g + 0.8. Put 3/5, f, -5 in increasing order.
-5, f, 3/5
Let a = -537/7 - -77. Sort -2/9, a, -4 in ascending order.
-4, -2/9, a
Let g = 0 - -5. Suppose 0 = 4*l - 16 - 0. Put 1, l, g in ascending order.
1, l, g
Suppose -f + 42 = 4*d, 0 = -2*d + 5*f + 2 + 8. Suppose 2*a + t = -t - d, 4*t + 5 = -a. Put a, -3, 5 in decreasing order.
5, -3, a
Let j(l) = l**3 + 11*l**2 - 14*l - 23. Let p be j(-12). Put p, -0.05, 2 in decreasing order.
2, p, -0.05
Let g be -1*4*-1 + (-17 - -17). Sort g, -4, 9 in decreasing order.
9, g, -4
Let y(k) = k**2 + 9*k + 1. Let z be y(-9). Suppose 0 = -d + 5*q + 21, 5*d + 24 = q + 9. Let a be (2*-1)/(4/d). Put a, -3, z in increasing order.
-3, z, a
Suppose -2*m = 3*m - 20, -2*s - 36 = -4*m. Let y = -11 - s. Sort 0, -4, y in ascending order.
-4, y, 0
Let n = 0.07 + 0.23. Suppose -58 + 490 = 8*f. Let v be (-26)/(-8) + f/72. Sort n, v, 5 in descending order.
5, v, n
Let u = 101/6 - 17. Put u, 3, 3/4, 0.4 in descending order.
3, 3/4, 0.4, u
Let p = 1 - -1. Sort 0.1, 5, 1/4, p.
0.1, 1/4, p, 5
Let p = -0.08 + -1.12. Let z = 4.2 + p. Sort -3, -0.5, z in increasing order.
-3, -0.5, z
Let l = 4 + -7. Let q be (1/(-2))/((-2)/(-4)). Sort q, 5, l in ascending order.
l, q, 5
Let j(q) = 2*q + 4. Let p be j(-2). Let k be -3 - (p + (-39)/9). Sort 5, 0.4, k in ascending order.
0.4, k, 5
Suppose 0 = x + 13 - 5. Let w = x + 11. Suppose -7 = -4*n - 3. Sort w, -5, n in decreasing order.
w, n, -5
Let b = 28 + -25. Put b, 1, 16 in increasing order.
1, b, 16
Let r be (-2)/((-6)/1)*(-6)/(-2). Put 3, -5, r in descending order.
3, r, -5
Suppose t + 2*g + 3 = 0, 0 + 4 = -2*g. Let q = -3 - 1. Sort t, q, -2 in decreasing order.
t, -2, q
Let n = -18 + 20. Put n, -0.1, 4/7 in increasing order.
-0.1, 4/7, n
Let b = 13.4 - 13. Put b, -4/7, 1/5, 1/8 in descending order.
b, 1/5, 1/8, -4/7
Let m = 2.4 + 8.6. Let d = -0.01 - -8.01. Let o = d - m. Sort 5, o, 1/4 in ascending order.
o, 1/4, 5
Let t = 18 - 18.05. Let z = -12.5 - -12. Put -3/2, t, z in increasing order.
-3/2, z, t
Let h be ((-4)/6)/((-1)/(-6)). Put -6, h, 3 in ascending order.
-6, h, 3
Suppose -4*p - 13 = -p + 5*w, 10 = -2*w. Suppose 5*q = -2*v + 4 + 15, 0 = 2*v + p*q - 14. Let m = -37/5 - -106/15. Sort 1/6, m, v in descending order.
1/6, m, v
Let w(t) = t**3 - 8*t**2 + 6*t + 11. Let c be w(6). Put 1, 5, c, -2 in descending order.
5, 1, -2, c
Suppose 0*r - 20 = -4*r. Put -6, r, -4, -1 in decreasing order.
r, -1, -4, -6
Let f(q) = -2*q - 9. Let d be f(-7). Sort d, 8, -3.
-3, d, 8
Suppose 0 = 3*v - 5*n - 1, 0*n - n + 9 = 4*v. Let i = 5 - v. Suppose -w - 2 - i = 0. Sort w, 0, 4 in decreasing order.
4, 0, w
Suppose 4*a + 0*a + 7 = -5*x, 4*a = 4*x + 20. Suppose -2*n - 6 + 6 = 0. Sort n, 5, a in ascending order.
n, a, 5
Let k = -12 - -4. Let z = k + 4. Let a = z - -2. Put 2, 0.2, a in ascending order.
a, 0.2, 2
Let k = 3.6 - -0.4. Let q = 3.9 - k. Let y = 7 + -12. Put y, -2/21, q in ascending order.
y, q, -2/21
Let k = 72 - 70. Let u be 3/6*16/2. Sort 0, u, k in increasing order.
0, k, u
Let l be (1/(-15))/((-3)/(-6)). Put 0, l, -37 in descending order.
0, l, -37
Let u = -19 - -21. Let j = u + -2.4. Suppose -16 = 5*h + 4. Put j, -5, h in ascending order.
-5, h, j
Let s = 3 - -2. Let x = 0.3 + 0.1. Sort s, x, -3/7.
-3/7, x, s
Let p(k) = k**2 + 3. Let i be p(0). Suppose 0 = 2*s - 4*j - 10, -i*s + 6 = -4*j + j. Sort -1/3, s, -1/6.
s, -1/3, -1/6
Let o = 78.2158 - 0.0158. Let u = -71 + o. Let h = u - 7. Put h, -3, 0.4 in decreasing order.
0.4, h, -3
Let t(p) = -p**2 - 6*p - 3. Let z(b) = b**3 + b**2 - 6. Let g be z(0). Let k be t(g). Sort 5, -7, k in decreasing order.
5, k, -7
Let r(i) = i + 6. Let k be r(-6). Put k, 4, -5 in decreasing order.
4, k, -5
Suppose 4*c + 2*n + 5 = -17, -3*n - 24 = 3*c. Put 28, c, -1, -5 in ascending order.
-5, c, -1, 28
Let s = -53 + 40. Put 0, s, -2, 5 in descending order.
5, 0, -2, s
Suppose -2*k + 3*c - 13 = 0, -k + 3*c = -5*k + 1. Let m = k + 2. Let h(g) = -g + 1. Let b be h(m). Put -4, -1, b in ascending order.
-4, -1, b
Let d be 2/(-6) + 2/6. Suppose 5*s - 3*i = -d*i - 12, 4*s - 2*i = -8. Let z = 17 + -14. Put s, -2, z in ascending order.
-2, s, z
Let w = 125 + -129. Sort 15, w, 5, -0.3 in descending order.
15, 5, -0.3, w
Let r = -16 + 22. Suppose 2*t + 3*y = 3 + 1, -5*y - r = -3*t. Sort t, 1, -2 in descending order.
t, 1, -2
Let d = 8 - 13. Let x = 2.09 + -2. Let o = x + 0.11. Put o, d, 5 in descending order.
5, o, d
Let c(k) = k**2 + 5*k - 4. Let d be c(-6). Suppose 4*i - 20 = -4*l, -5*l - 3 - 4 = -3*i. Sort 0, l, d in descending order.
d, l, 0
Let p(m) = m**3 - 15*m**2 + 14*m + 4. Let z be p(14). Suppose 0 = -2*j - 6 + z. Suppose 2*s + 30 = 7*s. Put j, 5, s in descending order.
s, 5, j
Suppose -u - 12 = -3*z, 2*z + 7 - 1 = -4*u. Put z, 5, 0, -1 in increasing order.
-1, 0, z, 5
Let m = -3 + 3.7. Let x = 0.2 - m. Let r = 11 - 15. Sort x, -2/21, r.
r, x, -2/21
Let s = 17 + -18. Put s, 3, -2 in decreasing order.
3, s, -2
Suppose n - 3*i = -11, n + 2*i - 13 = -i. Suppose 3*h = -4*y + 3, 8*h - 3*h + 2*y - 5 = 0. Let z be (h - -7)/(n*2). Sort -5, z, 5 in decreasing order.
5, z, -5
Let o be (-4)/(-18) - (-60)/(-27). Sort -4, -3, 1, o in ascending order.
-4, -3, o, 1
Let d = -6 - -7.2. Let x = -6 - -7. Let c = d - x. Sort 2, c, 3 in increasing order.
c, 2, 3
Suppose 15 = -2*i + 7*i. Let o = 0 + -1. Let s = o - 3. Sort i, s, 1 in decreasing order.
i, 1, s
Let k = 18 -