v be (5/30)/((-1)/s). Put -1/2, v, -0.1 in decreasing order.
v, -0.1, -1/2
Let k = -7 + 2. Put 0.1, 2/5, k in increasing order.
k, 0.1, 2/5
Let g = 35 + -31. Put 0.1, g, 0.08, 1 in increasing order.
0.08, 0.1, 1, g
Suppose -2*n = 5*n - 364. Let m be (-6)/(-4 + n/(-8)). Let y = 1.1 - 1. Sort m, y, 1/7.
y, 1/7, m
Let i(d) = d**2 + 5*d + 2. Let f be i(-4). Suppose -3*b + 4*k = -k - 15, -15 = -3*b + 3*k. Let m(r) = -5*r**2 - 5*r - 3. Let y be m(-1). Sort f, y, b.
y, f, b
Let x = 9 + -5. Suppose 2*g - 4*g - x = 0. Suppose 1 = -i + 3. Sort -5, g, i in ascending order.
-5, g, i
Suppose 9*b + 60 = 5*b. Let c be b/(-5) + (-7)/2. Let k = 0.05 + -0.45. Sort c, k, 5 in decreasing order.
5, k, c
Let r = -205755135/1040669 + 1/148667. Let k = r - -198. Suppose 0 = 3*g - 5*g, -2*u - 8 = -5*g. Put 0, k, u in decreasing order.
k, 0, u
Let k(t) = -4*t + 1. Let u be k(-1). Sort 9/7, u, 1 in descending order.
u, 9/7, 1
Let o(s) = s**3 - 11*s**2 - 5. Let x be o(11). Sort x, -4, 3.
x, -4, 3
Let r = -475/8 - -59. Put -4/7, r, 8 in descending order.
8, r, -4/7
Suppose -5*h + 4*y = -8, h + 2 = -3*y - 4. Suppose -2*k = 3*v - k - 1, -4*v + 12 = 4*k. Sort h, -5, v in ascending order.
-5, v, h
Let o = -7 - -15. Suppose o = -2*a + 4*a. Suppose 6*m - m - 15 = -5*t, -a*m - t = -9. Put m, 1, 0 in decreasing order.
m, 1, 0
Let d be 2 + (-1 - 34) - 4. Put 3, d, 0 in increasing order.
d, 0, 3
Let n = 10 - 6. Let q be 29/14 + (-6)/n. Put q, -0.4, -2 in decreasing order.
q, -0.4, -2
Suppose 9*g + n + 12 = 4*g, 4 = -g - n. Let r(p) = p**3 - 6*p**2 - 1. Let w be r(6). Put 0, g, w in decreasing order.
0, w, g
Suppose 0*i - i = -r + 1, 2*i = 4*r - 8. Let z(k) = 2*k + 8. Let v be z(-6). Put -3, v, i in increasing order.
v, -3, i
Let o(a) = 4*a**3 + a**2 - a + 1. Suppose 0 = k + 5*w + 25 - 6, -2*k + 4*w + 18 = 0. Let v be o(k). Sort -3, v, 2.
-3, 2, v
Let q(g) = g**3 - 8*g**2 - 10*g + 10. Let p be q(9). Let o be -1*p/3*1. Sort -0.1, o, -2 in decreasing order.
-0.1, o, -2
Let i = -329/5 - -66. Sort 5, 3, i.
i, 3, 5
Let y be (-6 - -1)/(0 + -5). Suppose -4*k - 5*i - 10 = 0, i - 8 = 2*k + 2*i. Sort k, y, -1 in decreasing order.
y, -1, k
Let q = -2 - -15. Let t = 17 - q. Suppose 3*y = -2*y + 10. Sort -5, t, y in descending order.
t, y, -5
Let s = 43 - 43. Put s, 2/7, 10, 0.5 in decreasing order.
10, 0.5, 2/7, s
Let g(x) = -x**3 - 2*x**2 + x - 1. Let y be g(-2). Let i(w) = -7*w - 1. Let t be i(1). Let n be (9 + t)*(4 - 1). Sort 4, y, n.
y, n, 4
Let g = 84 - 79. Let t = 13/28 + -1/28. Let x = -2 + -1. Put x, t, g in ascending order.
x, t, g
Let o(n) = 2*n - 1. Let f be o(-1). Suppose -4*m = 26 - 10. Let u be -3*(-3)/36*m. Put u, 3, f in decreasing order.
3, u, f
Let p be (-4 - -1)/(3 + -4). Suppose p*s - 10 = l, 4*s - 2*l - 24 = 2*l. Let u be 5*6*(-1)/10. Put -5, u, s in increasing order.
-5, u, s
Suppose -5*j - 5*s + 33 = -3*j, 26 = 4*j + 2*s. Let i be -9 + 5 - 2/(-2). Suppose -3*u - 2*k = -u + 4, -k - 4 = 0. Sort j, u, i.
i, u, j
Let z be 10/5 + -3 - 2. Sort z, 4, -22.
-22, z, 4
Let q = 7.8 - 8. Let l = -0.3 + q. Let r be (6/8)/(3/(-5)). Sort r, 1, l.
r, l, 1
Let a = -0.053 - -0.783. Let m = a - -0.07. Let z = m + -1. Put z, -2, -0.1 in increasing order.
-2, z, -0.1
Let g be ((-8)/(-14))/(4/14). Suppose -g*y - 3 = -5*u - 7, 3*u = y - 3. Sort -5, 0, u in ascending order.
-5, u, 0
Let r = 79 - 65. Sort 4, r, 2, 3 in decreasing order.
r, 4, 3, 2
Suppose a + 0*a = 0. Let n be (-2 - a)/(13 - -4). Put n, 4, -2/9 in increasing order.
-2/9, n, 4
Let w = -6 + 5.9. Let v = -0.06 + 0.56. Let k = -2.5 + v. Put w, 3/8, k in descending order.
3/8, w, k
Let z = 5 + -16/3. Let w = -3 + 4. Let h = w - 1. Sort z, h, -1/8 in ascending order.
z, -1/8, h
Let u = -34/9 + 220/63. Put 2/5, u, 0.2 in ascending order.
u, 0.2, 2/5
Suppose 0*n - 2 = -n. Suppose 2*l = -2*l - d - 172, -3*l - 136 = -d. Let z be 3/(-9) - l/(-12). Sort z, n, -1/5 in descending order.
n, -1/5, z
Let r(d) = d**2 + 8*d + 11. Let q be r(-7). Sort 1, 0, q, -1 in descending order.
q, 1, 0, -1
Let r be 1*(8/2 - 0). Let q = 2 + 7. Let h = -6 + q. Sort -4, r, h in decreasing order.
r, h, -4
Let p = 0.15 - -0.35. Let x = p + -0.2. Let n be (4/3 + 0)/10. Put n, 2, x in descending order.
2, x, n
Let s = 2.7 - 3. Let w = -10/19 + 119/190. Let o = 0.31 + -0.11. Put w, o, s in decreasing order.
o, w, s
Let c = 6.04 + -0.04. Let r = 40 - 37. Put r, c, -2 in decreasing order.
c, r, -2
Let f(a) = -a + 4. Let x be f(2). Suppose 0 = 2*c - y + 1, 0 = -2*c + x*y - 4*y + 8. Put -1, c, -2 in descending order.
c, -1, -2
Suppose -f + 20 = 3*f. Let t = f + -5. Put 0.7, -3, t in decreasing order.
0.7, t, -3
Suppose 3*o + 3*o - 108 = 0. Sort o, -1, 4 in increasing order.
-1, 4, o
Let n(j) = j**3 - 3*j**2 + 2*j - 3. Let f be n(3). Suppose 7*z = f*z + 4. Suppose -c = 2*c - 6. Put c, z, -1 in increasing order.
-1, z, c
Let y = 22 - 10. Let j = -11.1 + y. Put -1, -5, j in decreasing order.
j, -1, -5
Let g = -6 - -7. Put -1/6, g, -0.1 in ascending order.
-1/6, -0.1, g
Let c = 7 + -10. Let i(m) = -m**2 - 1. Let n(h) = -2*h**2 - h - 2. Let d(l) = -5*i(l) + 2*n(l). Let t be d(2). Put t, 2/11, c in ascending order.
c, 2/11, t
Suppose 16*d + 4 = 17*d. Put d, -2, -6 in descending order.
d, -2, -6
Suppose h = 3*m - 23, 3*h - 5*h = -m + 16. Suppose -u + m*u = 0. Let n be 5/2*2*1. Sort u, n, -3.
-3, u, n
Let g = 15 - 9. Suppose 0 = -g*h + 8*h. Put h, 4, -2 in descending order.
4, h, -2
Suppose 8 = -3*k + 38. Let o = 7 - k. Let f = 5 - 6. Sort -2, o, f.
o, -2, f
Let p = -4.9 + -0.1. Put p, -1/3, 4/7 in decreasing order.
4/7, -1/3, p
Let y(w) = -w**3 - w**2 + w - 1. Let k(r) = 5*r**3 + r**2 - 7*r + 3. Let o(v) = k(v) + 4*y(v). Let s be o(4). Sort 1, -3, s in decreasing order.
s, 1, -3
Suppose -5 = -5*f, -4*f - 8 = 5*u - 2. Put 2, 9, u in descending order.
9, 2, u
Let t be 14/10 + (-1 - 15/(-25)). Sort t, -2, -8.
-8, -2, t
Let g(l) = -78 - 12*l + l**2 + 77 - 2*l**2. Let s be g(-12). Put s, -4, 5 in descending order.
5, s, -4
Let n = 0.01 - 3.01. Let d = -6.5 + 0.5. Let m = d - n. Sort m, 4, 1/2.
m, 1/2, 4
Let h(a) = -2*a + 1. Let x be h(-2). Suppose -5 = 4*q - o, 4*q = q + 4*o - 7. Suppose -8*n = -12*n - 16. Put n, x, q in decreasing order.
x, q, n
Let g = 15 - 5. Suppose -2*p = 3*p + 4*x - g, 3*x - 15 = 0. Sort 1/5, -0.4, p.
p, -0.4, 1/5
Let q = 12 + -9. Suppose -q*p + 27 = -6*p. Let u = 5 + p. Sort u, 3, -5 in decreasing order.
3, u, -5
Suppose -4*y = y. Suppose -5 = -6*z + 5*z. Sort y, -3, z in ascending order.
-3, y, z
Suppose -1 = -37*g + 38*g. Sort -3, 5, g in decreasing order.
5, g, -3
Let b(q) be the second derivative of -q**3/2 - q**2 - 3*q. Let t be b(-2). Sort -2, -1, t in decreasing order.
t, -1, -2
Let v = 0.67 + -0.7. Sort -1/6, -4, v.
-4, -1/6, v
Suppose -36 = 2*p + p. Let g = -7 - p. Put -1, g, -5 in decreasing order.
g, -1, -5
Let v = 5 - 17. Let p be (-8 - v)*(-1)/(-7). Put p, 0.5, -0.01 in descending order.
p, 0.5, -0.01
Suppose -r + 1 = 4. Let a be ((-3)/(-10))/((-34)/4). Let j = -149/595 + a. Sort -1/4, j, r in increasing order.
r, j, -1/4
Suppose -5*v = -0*v + 5. Let z be (3 - 3)/(-2 - -1). Sort z, -4, v in descending order.
z, v, -4
Let p(q) = 11*q - 1. Let t be p(1). Let s be 2/7 + t/14. Let c = 81 - 81.2. Sort c, 0.1, s.
c, 0.1, s
Let h be 5/20 - 31/(-4). Put -3, h, 3 in decreasing order.
h, 3, -3
Let v = -0.03 + 5.03. Let l be ((-32)/(-64))/(2/(-8)). Sort l, v, -3/5 in descending order.
v, -3/5, l
Let q(d) = -2*d + 43. Let r be q(19). Put -3, 4, r, -1 in ascending order.
-3, -1, 4, r
Suppose 1 = -3*j - 8. Let x = 5 + j. Suppose 16 = 7*h - 3*h. Sort h, -5, x in increasing order.
-5, x, h
Suppose 3*k = k - 12. Sort 0, k, -2 in ascending order.
k, -2, 0
Let i = -0.744 - -0.724. Let r = 18/5 - 59/15. Sort r, i, -1 in decreasing order.
i, r, -1
Let u = -85.96 - -83. Let s = -0.04 + u. Put -5, s, 4 in descending order.
4, s, -5
Let w = -1/62 + -113/682. Let d = 22 - 18. Put d, w, -2/9 in decreasing order.
d, w, -2/9
Let l = 2/3 + -2. Let o = -3 - -1. Sort -2/17, o, l in increasing order.
o, l, -2/17
Let u = 0.04 - -0.26. Put 1/5, 0, u in decreasing order.
u, 1/5, 0
Let z = 1/32 - 101/160. Let n = -10.6 + 18. Let a = n + -7. Sort a, z, -1/5 in decreasing order.
a, -1/5, z
Let a = -31/55 - -4/11. Put 4, a, 4/3, 3/5 in decreasing order.
4, 4/3, 3/5, a
Let s = -40 