 = -139 - -134. Put -2, -69, p in descending order.
-2, p, -69
Let r be (-2)/((-3)/(-1 + 4)). Let v be 76/(-66) - r/11. Let b(s) = -s + 5. Let u be b(6). Put u, 4, v in descending order.
4, u, v
Let j = -0.17 - 0.03. Sort -2/5, -1/4, j, 5 in descending order.
5, j, -1/4, -2/5
Let b(a) = -a**2 + 3*a. Let h be b(3). Suppose -23*q + 21*q - 6 = h. Sort q, 1, 5 in descending order.
5, 1, q
Let b be (5/3)/((-9)/(-27)). Sort 4, b, 1 in increasing order.
1, 4, b
Let d be 15*2/((-12)/(-2)). Let j be 12 - 5 - (5 + -1). Sort j, 1, d in ascending order.
1, j, d
Suppose -6*x + 70 - 40 = 0. Put x, -31, -3 in increasing order.
-31, -3, x
Let z(g) = 11*g**3 + g - 2. Let c be z(1). Put 0.3, 3, c in increasing order.
0.3, 3, c
Let o = -0.7 + 0.2. Let l = -8 - -3. Let x = -4.7 - -4.6. Sort x, o, l in ascending order.
l, o, x
Let w = 1.902 + 0.098. Sort -1/8, w, 1/12 in descending order.
w, 1/12, -1/8
Let f(v) = v. Let r be f(0). Suppose r = -2*l + 6*l - 16. Let g be 2*((-2)/14 - 26/14). Sort l, -5, g in increasing order.
-5, g, l
Let t(x) = -x**3 + 5*x**2 + 6*x + 6. Let q be t(6). Let z be 5*3*q/135. Let n be (-4)/(-14) - (-4)/(-14). Put -0.4, z, n in descending order.
z, n, -0.4
Let s be 51 + (-6)/(-3) + 0. Sort -4, 4, s in ascending order.
-4, 4, s
Let o = -4 - -1. Sort 0.3, -2, 2, o in decreasing order.
2, 0.3, -2, o
Let h be 3/2 - (-25)/(-18). Sort -1, h, -0.2 in increasing order.
-1, -0.2, h
Let f be 3*2 - (-1 + 3). Let m = f - 8. Let b = -11 + 10. Put b, 4, m in descending order.
4, b, m
Let b = -5 - -27. Let n = 22.1 - b. Sort -1/5, n, 3.
-1/5, n, 3
Let k(q) = q**2 + 7*q + 6. Let n be k(-4). Let x be 0/4 - (0 + n). Suppose s = -2*s - x. Sort s, 2, -1 in descending order.
2, -1, s
Suppose -2*s + 4*x = 26, -5*s + x = -4*s + 9. Suppose 3*w = -2*w - 5*k, 3*k = w. Suppose -4*f + f = -6. Sort f, w, s in increasing order.
s, w, f
Let b(t) = -t - 4. Let q be b(-7). Suppose -n = q, -3*i = -4*i - 3*n - 13. Sort 1, 4, i in ascending order.
i, 1, 4
Let g be (1/14)/1*(0 - 4). Sort 2, 0.5, 5, g in descending order.
5, 2, 0.5, g
Let n = -89/12 + 49/6. Let w = -0.05 + -0.05. Put 0.5, n, w in ascending order.
w, 0.5, n
Let h = -2 + 4. Put 5, h, 3, -5 in decreasing order.
5, 3, h, -5
Suppose 2*y = -3*i + 5, i + y - 4 = -2*i. Put 0, 9, i, -4 in decreasing order.
9, i, 0, -4
Let i = -0.71 - -0.31. Let j = -2.9 + 3. Put i, j, -0.2 in descending order.
j, -0.2, i
Suppose -t - 11 = -3*m, -3*m - 4*t + t = 9. Put 5, -2, m, -6 in descending order.
5, m, -2, -6
Let k = -32653 - -228945/7. Let l = k + -54. Suppose 3*m + s + 2 = 0, 17 = 5*m - 5*s - 13. Put m, 4, l in decreasing order.
4, m, l
Let h(q) = q - 9. Let k be h(6). Let c be 5*(1 - 0) + k. Suppose 0 = x - 1, -2*g - x + 15 = c*x. Sort 2, 1, g in ascending order.
1, 2, g
Let w = -5 - -8. Let p be 1/3 + 2/w. Sort p, 5, 4 in decreasing order.
5, 4, p
Suppose 3*l + l = -136. Let g = -24 - l. Let j = 6 - g. Sort j, 4, -5 in decreasing order.
4, j, -5
Suppose -i + w - 5 = 0, -25 = -4*i - 7*w + 2*w. Let t(u) = u - 1. Let d be t(i). Put d, 0, -5 in decreasing order.
0, d, -5
Let l(b) = b**3 + 7*b**2 - 8*b + 4. Let c(i) = i**3 + 7*i**2 - 8*i - 8. Let x be c(-8). Let a be l(x). Suppose 0*k + 5*k = -20. Sort 1/6, a, k.
k, 1/6, a
Suppose 7*g - 40 = -5. Let p = 6 - 8. Put g, -1, p in increasing order.
p, -1, g
Suppose -4 = 2*y - 0*y. Let l = 0 - y. Suppose 1 = -2*s - 1. Put s, l, -4 in decreasing order.
l, s, -4
Let i = -21 - -26. Put i, 0, -4 in descending order.
i, 0, -4
Let v be -1 - (-1 - -1) - (-144)/(-36). Put 2, v, 18 in decreasing order.
18, 2, v
Let z = -2 + 6. Let i = -0.44 - -0.4. Let w = 1.96 - i. Sort z, w, 1.
1, w, z
Let j be 2/10 + 208/(-40). Suppose 3*q + 0*q = -g + 11, -g = -2. Sort q, 4, j in decreasing order.
4, q, j
Let d = 0.062 - 0.462. Sort 5, -6, -1/9, d in ascending order.
-6, d, -1/9, 5
Suppose 2*j + 0 = -4. Suppose -4 = 4*s - 0*s. Let w(c) = -2*c - 20. Let g be w(-12). Sort g, s, j in descending order.
g, s, j
Let g = 15721/3 - 1210379/231. Let k = -5/11 + g. Sort 4, k, -4/3 in decreasing order.
4, k, -4/3
Let f be 2/4 + (-21)/6. Put 5, -6, f, 1 in increasing order.
-6, f, 1, 5
Let g = 4 - 4.4. Put -4, -3, g in increasing order.
-4, -3, g
Let c(j) be the third derivative of j**6/60 - j**5/60 + j**3/6 - 4*j**2. Let r be c(-1). Put 4, 5, r in decreasing order.
5, 4, r
Let q(j) = 2*j**2 - j - 6. Let a(r) = -5*r**2 + 3*r + 13. Let l(u) = -3*a(u) - 7*q(u). Let y be l(2). Suppose 2*n - y*n = 2. Sort 3, n, 5 in decreasing order.
5, 3, n
Let t = -0.2 + -7.1. Let n = 7 + t. Let w = -0.1 - 0. Sort n, w, -1 in increasing order.
-1, n, w
Let h = -37 - -42. Put h, 2, -7, -9 in decreasing order.
h, 2, -7, -9
Let g be ((-20)/(-25))/((-6)/15). Let i = 8 + -5. Suppose 0 = i*a + 5*k + 27, 2*a + 2*a - 5*k + 1 = 0. Sort a, g, 4 in ascending order.
a, g, 4
Suppose 3*i - 2*o - 7 = 3, -8 = -4*i + 4*o. Suppose 5*l + i = 3*l. Put l, -0.5, 5 in increasing order.
l, -0.5, 5
Let b = 0.1 - 0.2. Let l = 85 + -84.7. Sort l, b, 5.
b, l, 5
Let r(a) = a - 12. Let b be r(10). Put b, -3, 1/5 in ascending order.
-3, b, 1/5
Let r = 0.2 + -0.1. Suppose 0*i = 2*i + 2. Let l be i/((-2)/16*2). Put l, r, -0.1 in descending order.
l, r, -0.1
Let o be 3/((-18)/3)*0. Suppose 5*j + 4 = c, c + 2*j + o = 4. Suppose 0 = 5*t - 2*t + 15. Sort -4, c, t.
t, -4, c
Let w be (-4)/26 - (-58)/208. Let b = 4.09 + -0.09. Let z = 0.2 - -0.1. Sort z, b, w in increasing order.
w, z, b
Let i = -22 + 19. Put i, 5, 1 in descending order.
5, 1, i
Let p be ((-72)/(-20))/(4/10). Let n be (54/p)/((-6)/(-4)). Sort -0.4, 2/7, n.
-0.4, 2/7, n
Let g = 132 - 136. Put 5, -12, -3, g in descending order.
5, -3, g, -12
Let q = -0.22 - -0.82. Let o = q + -0.3. Let x = -2 - -3. Put o, -1, x in decreasing order.
x, o, -1
Let n = 1 + 2. Let l = -4 + n. Let t be (l/7)/((-1)/2). Sort -0.5, t, 0.1 in descending order.
t, 0.1, -0.5
Let a = 16 + -13. Suppose -2*x = -0*x + 2. Sort a, -4, x in decreasing order.
a, x, -4
Let l = -51 - -50. Let o be 2/1 - (1 + -2). Put o, l, 6 in ascending order.
l, o, 6
Suppose -5*y = -9*y - 16. Sort 2, y, -6 in descending order.
2, y, -6
Let j = 0.1 - -1.9. Let f = -2 + 1. Let c = j + f. Sort c, 2, 5 in decreasing order.
5, 2, c
Suppose p - 3*l = -1 - 1, 4*p = 3*l + 10. Let h(b) = 8 - p*b + 4*b - 2*b. Let g be h(6). Put 3, -1, g in increasing order.
g, -1, 3
Let f(j) be the third derivative of -j**5/60 + j**4/2 - 5*j**3/6 + 2*j**2. Let g be f(12). Sort -7, g, -3 in descending order.
-3, g, -7
Let r = 2 - -2. Let m = -2.1 - -2.1. Sort m, r, -5 in ascending order.
-5, m, r
Let v = -2 - -4. Put 6, v, -2 in descending order.
6, v, -2
Let v = 1.6 - 1.7. Sort v, 5/4, -4 in increasing order.
-4, v, 5/4
Let s = 110 - 105. Sort -2, s, -7.
-7, -2, s
Let o = 12 - 8. Sort 2, 3, o, 32.
2, 3, o, 32
Let f = 12 + -15. Put -0.2, 2, f in ascending order.
f, -0.2, 2
Suppose -a - 3*a = 0. Let r be (-6)/(-4)*((-44)/12 + 1). Sort a, 5, r in descending order.
5, a, r
Suppose -5*p + 5*o = 2*o - 39, -p + 15 = -3*o. Let k(x) = -4*x**2 - 2 + p*x - x**3 + 2. Let d be k(-5). Put -1, -3, d in increasing order.
d, -3, -1
Suppose 0 = -5*b + 7*b - 10. Sort -3, b, 14 in decreasing order.
14, b, -3
Let b = 4.8 - -0.2. Let j be 6/15*(-10)/8. Put b, j, 0.5 in ascending order.
j, 0.5, b
Let i(d) = 3*d. Let h be i(2). Suppose 2*x + 3*r - h*r + 4 = 0, -2*r = x - 12. Suppose -2*c + x*b - 2*b = 2, 0 = 2*c - 3*b. Put -2, 1, c in ascending order.
c, -2, 1
Suppose -2*k - 5*h - 12 = 0, 4*h - 4 = -k - h. Let w = k + 19. Sort 2, 5, w in decreasing order.
5, w, 2
Let q be (21/9 + -2)*-9. Let v = 3 - q. Sort -4, 3, v in ascending order.
-4, 3, v
Let r = 23/30 + -4/15. Let q = 0.08 + 0. Let u = -3.92 - q. Put r, -0.5, u in ascending order.
u, -0.5, r
Let r(l) = -l + 6. Let n be r(4). Let f = -1 + 0. Put f, n, 4 in ascending order.
f, n, 4
Suppose -4 = -5*b + 1. Let r = 2 - b. Sort -5, 5, r in descending order.
5, r, -5
Let g = 2/25 + 36/175. Let j = -1/144 + 4681/144. Let x = j - 33. Sort x, 2/3, g in descending order.
2/3, g, x
Let l(a) = a**2 - 5*a - 2. Let b be l(6). Suppose 7*v - 109 = 73. Suppose b*g = -6 - 6, -4*c - 2*g = v. Put c, -4, 1 in ascending order.
c, -4, 1
Suppose -23 = -3*w - 5. Suppose 4*t - w = -2*g, -g - 4 = -2*t + 1. Sort -5, 1, g.
-5, g, 1
Let q(r) = r**3 - 3*r**2 + r + 2. Let g be q(2). Sup