0 = 0. Suppose 12 = k*v - 20. Let l be -2 - 2*(-7)/v. Put l, 0.2, 5 in increasing order.
l, 0.2, 5
Let j be (3 - (4 + -2))*0. Put -12, -2, j in ascending order.
-12, -2, j
Let j(q) be the third derivative of -q**4/24 + q**3 - 4*q**2. Let p be j(8). Sort p, 4, 5.
p, 4, 5
Let x be (15 - 11) + (-2 - 1). Sort x, 3, -2, -4 in decreasing order.
3, x, -2, -4
Let p = 103/4 + -51/2. Sort -1/3, -1, p in descending order.
p, -1/3, -1
Let b be ((-4)/(-6))/((-6)/45). Sort 5, 0, b.
b, 0, 5
Let v = -0.06 + 0.06. Sort 1, 0.1, v in ascending order.
v, 0.1, 1
Suppose -h - l = 5, -3*h - 15 = -3*l - 0*l. Let n(x) = -x**3 + 5*x**2 - x - 5. Let k be n(4). Let b be 1 + -4 + -8 + k. Sort h, -2, b.
h, b, -2
Suppose -3*c - 2*c = -45. Suppose -c*h = -8*h - 2. Let o be ((-1)/(-2))/(2/(-4)). Put 4, h, o in ascending order.
o, h, 4
Let f be (-3)/(-6)*(-12)/21. Suppose -3*l + 0*l - 6 = 0. Let d be l + 3/(5 + -2). Sort f, -4, d.
-4, d, f
Let z = 1.2 - 0.2. Sort 1/5, z, -3 in descending order.
z, 1/5, -3
Let v = -15 + 33. Let j = v - 39/2. Let k = 0.03 - 5.03. Put k, 1/2, j in descending order.
1/2, j, k
Let q = 0.33 - 0.83. Sort 1, q, 0.11, 2 in descending order.
2, 1, 0.11, q
Let m = -8 - -14. Suppose -3*i + m = -5*i. Let k = -2/33 + 43/165. Put k, 1, i in increasing order.
i, k, 1
Let i be (-6)/(-8)*1/(-3). Let m = -0.1 + 0.1. Let x = m - 0.5. Put -1, i, x in descending order.
i, x, -1
Suppose 7 = 4*h + v, -2*h + 4*h - 11 = -3*v. Suppose h = k, -3*k + 8 = 5*n - 0. Put 2, -4, n in ascending order.
-4, n, 2
Let l = 1.2 - 3.2. Put 0, 2/5, l in decreasing order.
2/5, 0, l
Let w be 6 + (-4 - (-3 + -1) - 3). Put -16, 5, w in decreasing order.
5, w, -16
Let f = -6 - -9. Suppose -i = f, -5*j + 12 = -i - 3*i. Let b = 0 + -3. Sort j, b, 2 in decreasing order.
2, j, b
Suppose -15 = 8*l + 9. Put 2, 3, 5, l in ascending order.
l, 2, 3, 5
Suppose 47 = 5*p + 117. Let y be (2 - -5)*(-4)/p. Put y, 5, -1 in decreasing order.
5, y, -1
Let c(b) = -b**2 - 14*b + 11. Let g be c(-14). Suppose 0 = 3*i - i. Suppose -5*d - 4 - g = i. Sort d, 1/2, 4 in decreasing order.
4, 1/2, d
Let n = -1 + 2. Suppose 2*q - 7*q = -5*t + 25, 7 = -3*q + t. Let z be 2/(-12) + 52/168. Sort n, q, z in decreasing order.
n, z, q
Suppose -2*m - 67 = -z, 0*m = -4*z + 5*m + 268. Suppose 2*l = -3*b - z, 4*b + 128 = 5*l + 8. Let n be 16/72 - b/(-72). Sort -4, -3, n.
-4, -3, n
Let o(w) = -w**2 - 3*w + 5. Let z be o(-5). Suppose 3 = n + 1. Suppose -p + 18 = -4*t, 0 = -t - n*t - 3*p - 6. Sort t, z, -1.
z, t, -1
Suppose -2*o + y + 11 = o, -3*o + 3*y + 9 = 0. Suppose o*m - 11 - 1 = 0. Let a = -1 - 1. Sort a, 2, m in ascending order.
a, 2, m
Suppose 3*a + 1 = 7. Put -1, a, 0 in decreasing order.
a, 0, -1
Let v = -7 - -5. Sort 4, -0.2, v in ascending order.
v, -0.2, 4
Let v(c) = -2*c - 12. Let y be v(-9). Suppose 2*z - 8 = -y. Sort -2, z, -1.
-2, -1, z
Let p = 90 + -87. Let r = 2 + 3. Put 4, p, r in descending order.
r, 4, p
Suppose -3*x - 2*u - 4 = 6, -4*x + u = 6. Let b(l) = l - 5. Let d be b(4). Put 1, d, x in ascending order.
x, d, 1
Let n be 42/(-8)*24/9. Let r be (-30)/70 + 22/n. Sort 3, r, -4 in descending order.
3, r, -4
Let w(v) = -v**3 + v**2 + 3*v - 2. Let c be w(2). Suppose 4*g - 3*g = c. Let r = 8 + -3. Put g, r, -1 in ascending order.
-1, g, r
Let n be (-2)/3*(-15)/10. Put 4, 3, n, -2 in increasing order.
-2, n, 3, 4
Suppose 1 + 4 = h. Suppose 3*p + 11 = -h*z - 11, 0 = -3*z + 2*p - 17. Sort 1, z, 3 in descending order.
3, 1, z
Suppose 2*d = 5*d - 6. Let s(v) = v**2 + 6*v + 3. Let a be s(-6). Suppose -a*b + 7 + 3 = -5*p, -6 = d*b + 3*p. Sort -0.3, b, -4/7 in ascending order.
-4/7, -0.3, b
Suppose -1 = b - 3. Suppose p - b = -4. Let l be 3*p/(-6) + 1. Put 5, l, -4 in decreasing order.
5, l, -4
Let y = -1 - -0.2. Let a = y + -3.2. Let b = -4.1 - a. Put 0, b, 1/6 in increasing order.
b, 0, 1/6
Let b(k) = -k**2 + 15*k + 33. Let c be b(17). Put -2, 4, c, 1 in ascending order.
-2, c, 1, 4
Let o = -21 - -29. Let w be (-2 - -1)/(2/o). Put 4, w, 5 in decreasing order.
5, 4, w
Let m = -16 - -24. Let z = -45 - -39. Let x = z + m. Sort x, -1, -4 in descending order.
x, -1, -4
Let a = -67 + 62. Let k(b) = b**2 + 4*b + 2. Let c be k(-3). Put 2, c, a in ascending order.
a, c, 2
Let y = -113/5 + 23. Sort 2, 1/2, 0.2, y in descending order.
2, 1/2, y, 0.2
Let v = -22 - -27. Let h(r) = r**2 - 3*r + 2. Let t be h(2). Put v, t, 1 in decreasing order.
v, 1, t
Let v = -1.1 + 2.1. Sort 2/9, -2, v in descending order.
v, 2/9, -2
Suppose 3*h - 4*g - 32 = g, 4*g + 16 = 0. Suppose -4*x - 2*z = -8*x + 2, -6 = 2*z. Put -4, h, x in increasing order.
-4, x, h
Let d(v) = -13*v**2 + 11*v - 13. Let c(y) = -3*y**2 + 3*y - 3. Let r(o) = -9*c(o) + 2*d(o). Let t be r(5). Let h = t + -3. Sort h, -1, -5 in decreasing order.
-1, h, -5
Let z(f) = f**2 - 5*f - 5. Let n be z(6). Suppose 3*s + 3*u = 0, 4*u + n = 3*s - 8*s. Let j be (s/(-3))/((-2)/(-12)). Sort -2, j, 0 in ascending order.
-2, 0, j
Suppose a + 3*p - 6*p + 14 = 0, 5*a + 2*p = -19. Sort -0.4, a, -1/7, 1/3 in ascending order.
a, -0.4, -1/7, 1/3
Let y(u) = u - 4. Let o be y(7). Suppose 4 = -o*n + 1. Put n, -3, 5 in descending order.
5, n, -3
Let g be ((-12)/18)/((-2)/(-12)). Let h be (10 + -6)*(-10)/(-8). Sort g, 4, h in descending order.
h, 4, g
Let f = -3.4 + 3. Let b = -2 + 0. Sort -4, b, f.
-4, b, f
Suppose 20 = 4*c + 4*y, -c - 4*c - 5 = -5*y. Put 9, c, -3 in ascending order.
-3, c, 9
Let q = -265/28 - -39/4. Sort 3, 1, q, 0 in descending order.
3, 1, q, 0
Let w = 4.2 + -3.82. Let r = w - -0.02. Let k be (-12)/16*3/9. Put r, 1, k in decreasing order.
1, r, k
Let v be 36/8*(-2)/(-3). Suppose 0 = 3*k - 5*g + 14, k + 8*g - 2 = v*g. Suppose -20 = 2*m - 6*m. Sort m, k, 3.
k, 3, m
Let h = -141 + 703/5. Let x(u) = u**3 + 13*u**2 + 12*u + 3. Let f be x(-12). Sort f, h, 4 in ascending order.
h, f, 4
Let r = 4.6 - -0.4. Let k = -4.6 + r. Sort 4, -1, k in descending order.
4, k, -1
Suppose u = 5*u. Let p(b) = -b**3 + b**2 - 5. Let k be p(u). Suppose -4*y - 4*d + 14 = -5*d, 5*d - 2 = -4*y. Put 2, k, y in increasing order.
k, 2, y
Let l = -3 + 1. Let q = -66.2 - -66. Sort l, -0.5, q.
l, -0.5, q
Let s be -1 - (-2 + 10)/(-2). Suppose 0 = -t + 2*t. Suppose 3*w + 0*w + 12 = t. Sort 2, w, s in descending order.
s, 2, w
Let h be (0 - -1)/((-9)/(-45)). Suppose -2 = -2*v + 2. Let k = -20 - -16. Sort h, k, v.
k, v, h
Let t be 1/2*(-2 + 1). Let p = -24 + 12. Let j = p - -12. Sort j, -1/3, t in descending order.
j, -1/3, t
Let f = 957/7 + -137. Let u = -6 + 11. Let w = -0.25 - -0.55. Put u, w, f in descending order.
u, w, f
Let x = 81.35 - 81. Sort x, 3, -1 in descending order.
3, x, -1
Suppose 0 = -8*v + 7*v + 5. Suppose 3*c - 11 = 3*f - 2, c = 4. Let z = f + -3. Sort z, 0, v in decreasing order.
v, 0, z
Suppose 4*w + 11 = -5. Suppose 9*t + 2 = 4*c + 4*t, 4*t - 14 = -2*c. Put -1, c, w in descending order.
c, -1, w
Suppose 4*u + o - 2 = 0, -4*u + 0*o + 3*o - 6 = 0. Let k = u + 4. Put -1, -3, k in ascending order.
-3, -1, k
Suppose f - 2 = -3*p, -3*p - 5 = 5*f - 15. Suppose 18 = -5*a + 3. Put a, -5, f in descending order.
f, a, -5
Let q(h) = -3*h + 59. Let l be q(20). Sort -0.4, 3.1, -1/6, l in descending order.
3.1, -1/6, -0.4, l
Suppose -x + 15 = 3*j, -j - x = 4*j - 23. Suppose 3*a = 4*a - j. Sort -0.3, -2/11, a in increasing order.
-0.3, -2/11, a
Let y be 3 - (3 + -3) - 2. Put 5, -4, y in descending order.
5, y, -4
Let s = -2.06 - -0.06. Suppose -2*l = 2*l - 8. Put l, 1/8, s in increasing order.
s, 1/8, l
Let o = 0.3 + -0.1. Let j be (-6)/18 + 633/(-207). Let g = 684/161 + j. Sort o, 0.5, g in decreasing order.
g, 0.5, o
Let b be 3/6 + 9/2. Put 2, -3, b in descending order.
b, 2, -3
Let n = 2.106 + -0.066. Let g = n - 0.04. Let j = 5.47 + -1.47. Sort 0.3, g, j in decreasing order.
j, g, 0.3
Suppose h + 92 = 5*h. Suppose 2*f - q + 14 = -3*q, 0 = 5*f + 2*q + h. Sort -5/3, 2, f.
f, -5/3, 2
Let j be (56/49)/(4/14) - 1. Let m = 3 + 0. Suppose -3 = -j*p, 2 = 2*f - 3*p - m. Sort 3, f, 2 in decreasing order.
f, 3, 2
Let j = -0.29 + -18.71. Sort 3/2, 5, j.
j, 3/2, 5
Let v = 4/39 + 3/13. Let b = -2.1 - -7.1. Put b, -5, v in increasing order.
-5, v, b
Let a = 17 - 19. Let k = 0.81 - -0.19. Sort k, 3, a in ascending order.
a, k, 3
Suppose 3*w = -3*b - 2*b + 20, 0 = w - b + 4. Let p be -2 - w*3/6. Sort 2, 3, p in descending orde