 0 - 2. Let s be k + 3 - 2 - -6. Put s, a, 1 in decreasing order.
s, a, 1
Suppose 3*s + 2 = 4*s. Let g be ((-4)/(-16))/(36/(-32)). Sort g, s, 3 in decreasing order.
3, s, g
Let u be 3/(-15) - 52/(-10). Sort u, -4, 3 in decreasing order.
u, 3, -4
Suppose -3*v + 8 = -4. Sort -2, v, -16 in descending order.
v, -2, -16
Suppose 14*s + 40 = 22*s. Sort 1, -5, s, -4.
-5, -4, 1, s
Let a(x) = x + 3. Let z be a(-6). Suppose 0 = 2*i - 3*o - 4, 4*i - o + 4*o + 28 = 0. Put z, i, 4 in decreasing order.
4, z, i
Let h be (-3)/(-9) + 2/48. Let d = -581/30 - -96/5. Sort h, d, 2 in increasing order.
d, h, 2
Let i = -97/12 - -33/4. Sort i, 4/7, 9 in descending order.
9, 4/7, i
Let d(x) be the first derivative of -x**3/3 - x**2/2 + 3*x - 2. Let j be d(-3). Let o be 1/(1 - 2) + 5. Put o, j, 3 in decreasing order.
o, 3, j
Let z be (-6)/12 + (-7)/(-10). Sort z, -2/11, 2.
-2/11, z, 2
Suppose 0*m = -2*m + 8. Suppose 4*o - 5*o = 3*q - 6, -o + m*q = 8. Let n(f) = -f**3 + 7*f**2 - 8*f + 8. Let x be n(6). Sort o, 5, x in ascending order.
x, o, 5
Let f = 181/12 - 95/6. Let z = -1.4 - -7.4. Let b = z + -6.4. Sort b, f, -2/13 in descending order.
-2/13, b, f
Let d(n) = n**2 - n + 5. Let o be d(5). Suppose 7*u - o = 2*u. Suppose 5*z + q = u + 7, -6 = 2*q. Sort -1, z, 5 in descending order.
5, z, -1
Let t(v) = v**3 - 5*v**2 - 1. Let m be t(5). Let g be -5*2/2 - m. Suppose 3*d = 2*o - 11, o - 9 = 5*d - 0*d. Put 1/5, o, g in ascending order.
g, 1/5, o
Let v(d) = -d**2 - 4*d - 3. Let u be v(-3). Suppose -3*j - 3*n - 15 = u, -13 + 1 = 4*n. Let w = 3 + -4. Sort w, -1/4, j in ascending order.
j, w, -1/4
Suppose z + 24 = 29. Put -1, 1, -5, z in increasing order.
-5, -1, 1, z
Let h(o) = 5*o**2 - 3 + 2 - 2*o**2 + 2. Let w be h(-1). Sort 2, 0, w in decreasing order.
w, 2, 0
Suppose 4*w + 9 - 1 = 0. Suppose 2*m = 2*s + 18, 3*m + 3*s = m - 7. Suppose 0 = p + m. Put p, w, 4 in decreasing order.
4, w, p
Let c = 1 - 2. Let t = -0.5 - -1.5. Let n = -0.8 + t. Sort c, n, -5 in decreasing order.
n, c, -5
Let g be (-2 - -1)/(4/(-20)). Suppose 0 = w - 1 - 1. Put w, 0, g in descending order.
g, w, 0
Suppose -3*v + 14 = -13. Suppose 0 = 2*a + a - v. Put a, 4, 5 in ascending order.
a, 4, 5
Let p = -5 - -5.4. Put 2/3, p, 0 in descending order.
2/3, p, 0
Let b = 5 - 19/4. Sort b, 0.2, 0.01.
0.01, 0.2, b
Let r = 0 - 0. Let p = 157/258 + 5/86. Sort r, p, 5 in descending order.
5, p, r
Let p(n) = 2*n + 4. Let d be p(-5). Put 1, d, -5 in increasing order.
d, -5, 1
Let r = 16 - 18. Let i = 2 - 6. Put i, 0, r in decreasing order.
0, r, i
Let w(x) = x**3 + 5*x**2 + x + 6. Let o be w(-5). Let h(p) = -3*p**3 + p**2 - 2*p + 1. Let f be h(o). Put 5, 3, f in descending order.
5, 3, f
Let v = 0.34 + -0.44. Put 2/11, -1, v in increasing order.
-1, v, 2/11
Suppose -u + 10 = 4*m, 5*u + 0 = -m - 7. Suppose 2*w + 2 = 2*t, -m*w = 5*t - w - 19. Suppose 3 = -3*g, 2*o + 10 = -t*g - g. Sort -5, o, 5 in decreasing order.
5, o, -5
Suppose -7 + 8 = i. Put i, -5, -2 in decreasing order.
i, -2, -5
Let z = 643 + -29577/46. Sort -1, -2/15, z in decreasing order.
z, -2/15, -1
Let x = 479/4 + -119. Sort 3, 0, x, -2.
-2, 0, x, 3
Let c = -2 - -1. Let u = c - -1.4. Let n = 8 + -8. Put u, -0.3, n in descending order.
u, n, -0.3
Let c = -37 + 40. Sort -0.7, 5, c.
-0.7, c, 5
Let m = 8 - 7. Sort -1/7, m, 0 in increasing order.
-1/7, 0, m
Let f be (4/10)/(4/60). Let c = 8 - f. Sort c, 4, -5 in descending order.
4, c, -5
Let k = -431 + 431.8. Let u = 7/4 + -2. Sort 5, k, u in ascending order.
u, k, 5
Let s = -1.1 + -3.9. Let r = -9 - s. Let t = r - -3.6. Sort 1/5, t, -0.3 in ascending order.
t, -0.3, 1/5
Let g be ((-8)/(-16))/((-3)/(0 + 6)). Sort 3, 5, g, 1.
g, 1, 3, 5
Let n = -1 + 1.04. Let j = 6.69 - 1.65. Let a = j - n. Sort 1, -1/2, a.
-1/2, 1, a
Let k be -25*(0 + 4/(-10)). Suppose a - 3*a = -k. Put -1, a, 1 in decreasing order.
a, 1, -1
Suppose 5 = -u - 5*s + s, -5*u + 2*s - 3 = 0. Sort 1, 3, u, 5 in increasing order.
u, 1, 3, 5
Suppose -3*n = -2*n. Let p be (n - 2 - -3)/5. Let u = -7363/17 + 433. Sort 2/5, p, u in decreasing order.
2/5, p, u
Let y = 0.14 - 7.14. Let x = 6.6 + y. Sort x, -0.3, 0.3.
x, -0.3, 0.3
Let v = 0.9 + -1.2. Sort 0.3, 3/4, v in increasing order.
v, 0.3, 3/4
Let m(r) = 5 + r**3 - 2*r**2 + 0*r**3 - 3*r - 1. Suppose 1 = 4*k - 11. Let w be m(k). Sort w, 1, 5 in decreasing order.
5, w, 1
Suppose x + 5 = -x + s, -4*s = 2*x. Let q = x + -1. Sort 1, -2, q in ascending order.
q, -2, 1
Let t(n) = n**2 + 3*n - 2. Let u be t(-4). Suppose -5*q - 15 = 10. Let a = -302 + 3324/11. Sort q, u, a in ascending order.
q, a, u
Let i = 17 + -18. Sort -2/7, 0.5, i, -2 in descending order.
0.5, -2/7, i, -2
Let o = -301/202 - 1/101. Let b be (-3 - 0)*3/24. Put b, o, 1/3 in descending order.
1/3, b, o
Let g = -70 + 67. Put 0, g, 1, 16 in descending order.
16, 1, 0, g
Suppose 3 - 13 = -2*b. Let j(x) = 3*x + 18. Let h be j(-6). Sort b, -3, h in increasing order.
-3, h, b
Let i(l) = -6*l**3 - 1. Let q be i(-1). Let n(b) = b**2 + 2*b - 3. Let k be n(-3). Sort q, 6, k in ascending order.
k, q, 6
Suppose -2*m = 4 + 2. Suppose -2*w + d = 4, 4*w - d + 10 = -0*d. Let g be ((-4)/6)/((-1)/w). Sort m, g, -5 in decreasing order.
g, m, -5
Suppose 3*r - 4*t + 17 = 0, -r - 5*t + 7 = -0*r. Put r, 37, -2/3, 0.5 in ascending order.
r, -2/3, 0.5, 37
Suppose 5*d + 302 - 307 = 0. Suppose 2*y + 9 = -3*f, -3*y = -4*f + 2*f - 6. Let l = f + 2. Sort 0, d, l.
l, 0, d
Let g = -132 + 128. Let a = 31/42 - 7/6. Sort -3, a, g in increasing order.
g, -3, a
Let o(c) = -5*c**3 - 3*c**2 - 3*c - 14. Let x(u) = -2*u**3 - u**2 - u - 5. Let j(g) = -3*o(g) + 8*x(g). Let k be j(0). Put -4, k, 4 in descending order.
4, k, -4
Let a = -0.05 - 0.07. Let k = a + -1.88. Sort k, 2/3, 4 in decreasing order.
4, 2/3, k
Suppose 0 = 3*w + w - 4. Put 3, 2, w in descending order.
3, 2, w
Suppose 0*y - 16 = 4*y. Let n = 7 + y. Sort 2, n, 4 in decreasing order.
4, n, 2
Let i = 0.014 + -2.014. Let z = -8.3 - -8. Sort 2/3, i, z.
i, z, 2/3
Let q(y) = -y**2 + 5*y + 2. Let l be q(4). Let r be (l/(-5))/(2/(-10)). Suppose 0 = -k - 2*o + 4, r*k - 3*k + 3*o - 9 = 0. Put -0.5, k, -4 in decreasing order.
k, -0.5, -4
Suppose -2*s - 79 = 5*l, -5*l - 48 = -2*l + s. Let n = l + 12. Sort 0.2, n, 0.
n, 0, 0.2
Let m = 44 + -49. Let j = 12 + -8. Sort 3, m, j in descending order.
j, 3, m
Let b = 86 + -88. Let m = 0.04 + 0.26. Let c = m + 0.2. Sort b, 4/9, c in decreasing order.
c, 4/9, b
Let u = 12 + -9. Sort u, 0.3, -5.
-5, 0.3, u
Let l(t) be the first derivative of t**3/6 + t**2/2 + 2*t + 2. Let w(d) be the first derivative of l(d). Let u be w(-2). Put u, -5/4, 5 in increasing order.
-5/4, u, 5
Suppose -3*t = -4374 - 9204. Let h be t/(-35) - 2/7. Let v = -130 - h. Sort 3, v, 4 in decreasing order.
4, 3, v
Suppose -58 = -5*i - 38. Sort -16, 5, i.
-16, i, 5
Suppose 0 = 5*f - 3*f. Suppose 5*b - 8 = 3*b. Let j be -3*(4/6 - 0). Sort b, f, j in ascending order.
j, f, b
Let d = -3 + -3. Let b(w) be the first derivative of w**4/4 + 5*w**3/3 - 5*w**2/2 + 5*w - 1. Let f be b(d). Put 2/3, 1, f in increasing order.
f, 2/3, 1
Let y be (108/(-5))/(-4) + 4/(-10). Put y, 6, 3 in decreasing order.
6, y, 3
Let p be 2*(-2 - 21/(-6)). Suppose -a - 5 = -v - 1, -p*v + 7 = -2*a. Sort 5, v, -2.
-2, v, 5
Let l(r) = r**3 - 4*r**2 + 3. Let k be l(4). Let m = 12 + -17. Put k, 4, m in descending order.
4, k, m
Let o = -9 + 5. Let i = -1.9 - 0.1. Let c = o - i. Put c, 2, 2/3 in descending order.
2, 2/3, c
Let j = 0.314 - 0.014. Put j, -7, -2 in decreasing order.
j, -2, -7
Let i(h) = h + 3. Let y be i(-7). Let l be 7/2 + (-3)/(-6). Sort 1, l, y in increasing order.
y, 1, l
Suppose 4*s - 9 = 2*o - 3*o, 5*s = 2*o - 5. Suppose o*g + 10 = 5*v, g - v + 2 = 3*v. Sort 4, g, 1 in ascending order.
g, 1, 4
Let a = 2 - 0. Suppose 0*f + 4 = f. Suppose f*s = -4*n, -5*s = 2*n + 3 + 12. Put a, 4, s in ascending order.
s, a, 4
Let o = -0.8 + 0.2. Let s = 1 + o. Sort -2, s, -0.3 in ascending order.
-2, -0.3, s
Let l = -4/23 - 3/115. Suppose -r - 5*c + 24 = 0, r + 0*r - 16 = -3*c. Put -5, r, l in increasing order.
-5, l, r
Suppose 0 = 8*i - 5*i - 3. Put 3, -5, i, 8 in decreasing order.
8, 3, i, -5
Let o = 3.5 + -0.5. Let h = -1 - -0.9. Sort o, -0.5, h in ascending order.
-0.5, h, o
Suppose 0 = 2*s - z - 3, 0*s - 2*z = 4*s - 2. Sort 27, -1, s in decreasing order