6/11 in ascending order.
j, 6/11, 2/3
Let r(g) be the second derivative of g**4/12 - 4*g**3/3 + 7*g**2/2 + 2*g. Let q be r(5). Let h be (-1)/(q/10 - -1). Sort 2, h, 0 in ascending order.
h, 0, 2
Suppose -5*o = 5*n - 3*n - 68, -5*n + o + 116 = 0. Suppose 3*g - 111 = 18. Suppose 0 = -4*z + 3*x + g, 3*z - 2*x = z + n. Sort 4, 0, z.
0, 4, z
Let s = -24 + 15. Let a = -10 - s. Put 4, a, -4 in descending order.
4, a, -4
Let h(q) = q**3 - 3*q**2 + 1. Let s be h(2). Let v be (0 + 3)/(s/4). Let u = 7 + v. Put -5, u, 5 in ascending order.
-5, u, 5
Let m be (-12)/(-176)*(3 + 1). Sort -0.4, 1, m in ascending order.
-0.4, m, 1
Suppose 2*x - 27 = 5*u, 6*x - 7 = 4*x + u. Suppose 3*j + 2 = j + 5*h, 0 = -2*j - 2*h - 2. Sort j, x, 3.
j, x, 3
Suppose 5*l + 2 = 3*h, 0 = -5*h - 2*l - 8 + 32. Put 5, 2, h in increasing order.
2, h, 5
Let z = -0.1 - 0.1. Let b be 16/10*(2 + 2/4). Put z, b, 2/9 in increasing order.
z, 2/9, b
Let r = 10 - 6. Suppose r*z - 20 = -z. Suppose 2*g = 6, -4*h + g - 5*g + 16 = 0. Put -1, h, z in descending order.
z, h, -1
Let k = -51 - -54. Put k, -4, 2/11, 2/3 in decreasing order.
k, 2/3, 2/11, -4
Let q = -302 + 6344/21. Put q, 3, -0.3, -2 in decreasing order.
3, q, -0.3, -2
Let s be 3/2 - 46/36. Put s, 0.3, -5, -2/7 in increasing order.
-5, -2/7, s, 0.3
Let i = -2 - -3. Let c = i - 1.2. Let l = 0 - 0. Sort c, -3/5, l in descending order.
l, c, -3/5
Let o = -1.9 - -2. Let s = 9 + -10. Let b = -0.1 - -0.3. Put s, o, b in increasing order.
s, o, b
Let l be 2/(-6) - (-6)/18. Let y = l + -2. Put -5, 2, y in ascending order.
-5, y, 2
Let m = -4.15 - -0.15. Suppose 2*d - 10 = -5*r, 5*d + r + 5 = -4*r. Let u be (2/5)/(11/d). Sort m, u, 3 in decreasing order.
3, u, m
Suppose -4*i + 19 = 3*j, -4*i - 21 = -0*j - 5*j. Let u be (i/2)/(1/(-6)). Let l = 8 + u. Sort l, 4, 3 in increasing order.
3, 4, l
Let r = 22 + -18. Put 2, -10, r, -3 in descending order.
r, 2, -3, -10
Suppose 8*w - 6*w + 4*k = -14, w - 5*k = 7. Sort w, 0, -2, -1 in descending order.
0, -1, -2, w
Let v = -10 - -16. Suppose 4*i - 2*t - 2 = 0, 3*i - v - 13 = -2*t. Let b be (i - 1)*7/(-56). Put b, 0.4, -5 in increasing order.
-5, b, 0.4
Let l = 1/284 + 1133/852. Suppose 3*u = -15, -2*t + 0*t + 29 = -5*u. Let d = t - 2. Sort 1/3, d, l in increasing order.
d, 1/3, l
Let o = 2 + -6. Let p = -10.2 + 8. Let l = p + 2. Sort l, o, -2/7.
o, -2/7, l
Suppose -w + 3 - 7 = 0, 3*d = -3*w - 24. Put 3, 2, 7, d in decreasing order.
7, 3, 2, d
Let o be (-100)/15*6/(-5). Let i = -8 + o. Sort 2, i, 5 in increasing order.
i, 2, 5
Let k = 201401/63 - 27320/9. Let u = k + -161. Sort -4, -0.3, u in increasing order.
-4, -0.3, u
Let q = 97 - 479/5. Put 5, q, 1 in decreasing order.
5, q, 1
Suppose -13*q = -19*q - 24. Let v(j) = -j**3 + 4*j**2 + 5*j + 4. Let t be v(5). Put q, t, 3 in decreasing order.
t, 3, q
Let l = -8 - -11. Sort l, -5, -4 in descending order.
l, -4, -5
Suppose -14 = -3*b + b. Let s = 10 - b. Suppose 5*d - 4*g + 31 = -0*g, -g + 16 = -4*d. Put 2, s, d in decreasing order.
s, 2, d
Let s = -30 + 59/2. Let t = s + 2. Let l = -419/7 - -60. Sort l, 0.3, t in descending order.
t, 0.3, l
Let m(y) = -y - 10. Let r be m(-12). Suppose r*u - 4*u + 10 = 0, z = -2*u + 12. Put z, 0, 1 in decreasing order.
z, 1, 0
Let y = 34.6 - 35. Sort y, 5, 2 in descending order.
5, 2, y
Let g be (-1 - 1 - -2)/4. Suppose 0 = -5*u - n - 5, -n + 6*n = 25. Sort u, g, 3 in ascending order.
u, g, 3
Let a = 13 + -9. Suppose -2*o + 14 = 4*u, -4*u = -a - 8. Sort o, -4, 3.
-4, o, 3
Suppose 0*r + 4*r = 12. Sort r, 5, -2.
-2, r, 5
Let q(p) = -p**3 - p**2 - p + 2. Let w be q(0). Suppose -w*f = -4*f - 8. Sort 2, 0, f in ascending order.
f, 0, 2
Let c(y) = y**2 + 3*y - 6. Let i be c(-6). Let o = -13 + i. Let v(q) = q - 1. Let u be v(-4). Sort -3, u, o.
u, -3, o
Let z = 1 - 1.7. Let t = z - -3.7. Sort 0.1, t, 1/4.
0.1, 1/4, t
Let v = -55 + 57. Sort 4, -0.4, v in descending order.
4, v, -0.4
Let n = 0 + 0.1. Let q = -4 - -3. Sort q, n, 2/7 in decreasing order.
2/7, n, q
Let t = 90 + -89. Sort -6, t, 3, 2/5 in decreasing order.
3, t, 2/5, -6
Let o be (6 - 0)/((-15)/(-10)). Sort o, -3, -2.
-3, -2, o
Let f be (0 + 10)/2 - -2. Suppose -3*t - f = -1. Let o = 5 - 3. Sort t, o, -0.5 in decreasing order.
o, -0.5, t
Suppose -149 - 47 = -4*d. Let l be (0 - 3)*(-4)/3. Let w be d/28 + (-1)/l. Put w, 0.1, -1/2 in increasing order.
-1/2, 0.1, w
Let j = 117 + -117.5. Put 0, j, -2, -0.1 in ascending order.
-2, j, -0.1, 0
Suppose -7 = 4*t + 13. Let k be -3*1*(22 + -21). Sort t, -2, k in increasing order.
t, k, -2
Suppose -4*a + 15 = 3. Let m = a - 6. Put m, -4, 4 in increasing order.
-4, m, 4
Suppose -u = 2*u - 36. Suppose -u = b + 3*b. Sort -5, b, -4 in ascending order.
-5, -4, b
Let n(b) = b + 2. Let j = 2 - 2. Let l be n(j). Let d be 1*-6 - (0 + -2). Put d, -1, l in descending order.
l, -1, d
Let y be (-2)/(-15)*12/(-8). Let r be 16/60 - (-2)/6. Put 3, r, y in decreasing order.
3, r, y
Let f(n) = n**3 - 8*n**2 - 2. Let j be f(8). Let i = 3 - 2. Sort j, i, -0.3 in increasing order.
j, -0.3, i
Let z = -3.982 + -0.018. Sort z, 0.05, 1 in decreasing order.
1, 0.05, z
Let w = 2 - -8. Let p be 38/w + 7/35. Suppose -p*a + a = 12. Sort 3, 2, a.
a, 2, 3
Let o(k) = k + 3. Let t be o(-3). Let y(h) = -h + 4. Let u be y(3). Let f = -2 - u. Sort t, f, -4 in decreasing order.
t, f, -4
Let u(y) = -y**3 - 3*y**2 + 13*y + 20. Let f be u(-5). Put -4, -1, f, 4 in decreasing order.
f, 4, -1, -4
Let f(d) = -8*d - 2. Let p be f(-7). Let l be (24/(-16))/(p/(-8)). Sort -2, -0.4, l in increasing order.
-2, -0.4, l
Suppose 0 = 4*j - 0*j. Let r = -6 + 8. Put j, 4, r in decreasing order.
4, r, j
Suppose 8 = 5*i - 12. Let d = 0.8 - 1.1. Sort i, d, 2 in descending order.
i, 2, d
Let a be (-36)/(-15) + -7 + 4. Put a, -4, 2 in increasing order.
-4, a, 2
Let q = -15/2 + 137/18. Suppose -4*k = -0*k + 20. Sort q, 2/9, k in increasing order.
k, q, 2/9
Let p = -10.7 - -11. Sort p, -1/2, 5 in increasing order.
-1/2, p, 5
Let l = -7 - -8. Sort l, -2, -5 in descending order.
l, -2, -5
Let w = 21 - 18. Sort w, -3, -6 in increasing order.
-6, -3, w
Suppose a = 5*t + 31, -3*t - 26 - 15 = -2*a. Suppose 3*l - 1 = -a. Sort 7, l, -1 in decreasing order.
7, -1, l
Let h(t) = t + 1. Let q be h(0). Put -3/7, q, 3 in increasing order.
-3/7, q, 3
Let z = 4.09 - 0.09. Let a be (-22)/(-8) + 2/8. Sort z, -5, a in ascending order.
-5, a, z
Let y(r) = -5*r - 70. Let x be y(-13). Let k = 6 - 5.6. Put -3/5, x, k in increasing order.
x, -3/5, k
Suppose p - 4*p - 33 = 0. Sort 4, p, 5 in ascending order.
p, 4, 5
Let b = -8 + 13. Suppose 0*y + y + 3 = 0. Put 4, b, y in ascending order.
y, 4, b
Let v be (5*3)/1 - 1. Let i = -10 + v. Let u(w) = w**2 - 2*w - 3. Let d be u(i). Put 4, -4, d in decreasing order.
d, 4, -4
Let l be 33/(-6) - 6/(-4). Put 4, -6, l in increasing order.
-6, l, 4
Let v(q) = -3 + 3*q - 4*q + 0*q + 7. Let w be v(5). Put w, 0, 1 in ascending order.
w, 0, 1
Let s = -103 - -103.4. Let b = 2 + -2.5. Put s, b, 5 in ascending order.
b, s, 5
Let p = 13 - 14. Let f be (-2)/(6*3/(-3)). Sort f, -4, p in descending order.
f, p, -4
Suppose -9*d = -4*d + 15. Put -4, d, 1 in increasing order.
-4, d, 1
Suppose n + j - 5 = 1, -2*n + 2*j + 20 = 0. Let b be 1/(-1 + 6/n). Let g(x) = -x**3 + 8*x**2 + 3. Let d be g(8). Sort b, d, 1 in decreasing order.
d, 1, b
Let b = -101 + 101.2. Let d = 7 + -11. Let l = 2 - 3. Put b, d, l in decreasing order.
b, l, d
Suppose 3*l - 3 = 4*l + p, 0 = -l + 3*p - 3. Let n(o) = -o + 11. Let c be n(8). Put 0, c, l in ascending order.
l, 0, c
Suppose -81 = 6*v - 225. Put v, 2/5, 0.2 in increasing order.
0.2, 2/5, v
Let j(l) = -l**3 + 15*l**2 - 15*l + 20. Let d be j(14). Sort d, 3, 2 in decreasing order.
d, 3, 2
Suppose -2*f = -0*h - 4*h + 16, 5*h + 4*f = 7. Sort -2, h, -4 in decreasing order.
h, -2, -4
Let c be 0 - (-417)/8 - -2. Let l = c - 54. Put 4, -2, l in ascending order.
-2, l, 4
Suppose 10 = -5*t + f, 0 = -5*t - 0*f + 3*f. Put -12, t, 2, 0 in descending order.
2, 0, t, -12
Let s(c) = -c**2 - 7*c + 2. Let m be s(-7). Suppose -4*h + 10 = m. Let l = 4 + -9. Sort h, l, 4 in decreasing order.
4, h, l
Let d = 42 - 47. Put d, 2, -1 in ascending order.
d, -1, 2
Let r = -109 + 107. Let h be ((-2)/(-2))/1 + 7. Sort h, -4, r in descending order.
h, r, -4
Suppose 0 = -3*q - 5 - 4. Let f = 5 + 