8 + 75. Sort b, m, 0.
b, 0, m
Suppose -64*a - 110 = -53*a. Sort 0, a, -4 in increasing order.
a, -4, 0
Suppose -85 = -2*d + 5*s + 1, 2*s + 140 = 3*d. Suppose 3*q - 8*q - w = -54, -d = -4*q - 2*w. Sort q, 1, 5.
1, 5, q
Let b = 878 + -874. Sort b, 5, 1.4 in increasing order.
1.4, b, 5
Suppose 47*d - 30 = 44*d. Put d, 0, -2/13 in increasing order.
-2/13, 0, d
Let s be (-1)/(-6) + 116/24. Suppose f + s*f = 24. Put f, 5, 1, -2 in descending order.
5, f, 1, -2
Let x = 24.7 - 13. Let m = 251 + -263. Let o = m + x. Put o, -4, -1.1 in descending order.
o, -1.1, -4
Let h be (-6)/(-9)*102/(-34). Sort h, 5, -30 in increasing order.
-30, h, 5
Let q = 37 + -37.3. Put q, -0.5, 17 in increasing order.
-0.5, q, 17
Let v = -1.43 + 1.03. Sort -0.3, 4, 3, v.
v, -0.3, 3, 4
Let u(y) be the first derivative of -y**4/4 + 2*y**3 - 3*y**2/2 + 4*y - 3. Let q be u(4). Let v = -21 + q. Sort -3, 1, v.
-3, 1, v
Let q be (12966/(-8))/(4/32). Let a be q/16510 - (-27)/45. Let v = -4/127 - a. Put v, -5, 1 in increasing order.
-5, v, 1
Let i = -1297/18 - -644/9. Let o = 2.5 + -0.5. Sort 0.4, i, o, -1.
-1, i, 0.4, o
Suppose 0*g + 2*g = z, -5*z + g = -9. Suppose 5*w + 3*u - 20 = 0, 0 = -7*w + 3*w - 3*u + 19. Suppose 0*j - 10 = 5*j. Sort w, z, j in ascending order.
j, w, z
Let o be -6*(-1 - (-9)/6). Let g be 2 - o/(9/(-12)). Suppose 16 = -7*a + 3*a. Put g, a, 4 in descending order.
4, g, a
Suppose 6 = 2*n + u, -4*n - 10 = -6*n - 3*u. Suppose -n*z + 3 = -5*z. Let k be (-57)/(-21) - (-2)/7. Sort k, 0, z.
z, 0, k
Suppose 0 = -4*u + 5*u. Let g = 38.6 + -39. Let j = -3.4 - g. Sort u, 0.2, j in decreasing order.
0.2, u, j
Let i = 14 - 11. Let h = 391 + -394. Put 32, -2, i, h in ascending order.
h, -2, i, 32
Let h = 3.8 - -2.2. Let z = h - 9. Sort z, -1, 5.
z, -1, 5
Let u be ((-102)/153)/((-1)/(-3)). Sort -22, -3, u in descending order.
u, -3, -22
Let m = 157.6105 + 0.1895. Let y = 158 - m. Sort y, -0.4, 2, 1/11 in decreasing order.
2, y, 1/11, -0.4
Suppose -16 = -2*c + 16. Suppose 0 = -2*u + 11 + 11. Let l = c - u. Put -3, l, 0.5 in descending order.
l, 0.5, -3
Suppose -3*c + w = -0*w + 4, -5*c + w - 10 = 0. Let b(i) = i**2 + 3*i + 15. Let t be b(0). Let y be (4/10)/(3/t). Sort -5, y, c.
-5, c, y
Suppose -11 = -5*k - 1. Let t(o) = 3*o - 35. Let j be t(11). Put k, -7, -3, j in decreasing order.
k, j, -3, -7
Suppose -x - 12 = 50. Let k = -67 - x. Sort k, 0, 3, 1 in descending order.
3, 1, 0, k
Let y be 6/(0 + 2) + 3. Suppose -15 = 2*o - 5*c, 6*o + 2*c = 2*o + y. Sort 2, o, -4.
-4, o, 2
Let m = -6 + 4. Let h = 6 + m. Suppose 4*w = h*p - 4, -2*w - 12 = w. Put 0, 4, p in increasing order.
p, 0, 4
Let h = -0.081 + 36.081. Let u = -38 + h. Put 8, 0, 0.5, u in descending order.
8, 0.5, 0, u
Suppose 3*i - 3*z - z = -26, 0 = -3*z + 6. Put i, -5, 0 in descending order.
0, -5, i
Let b = 7 + -7. Suppose -2*q - 5*f + 16 = -b*q, 3*f = -4*q + 18. Suppose -23 + q = -5*w. Sort -1, w, 7.
-1, w, 7
Let v = -10.88 - -11.18. Put 0.23, -4, v, -1/7 in decreasing order.
v, 0.23, -1/7, -4
Let h = -264 - -263. Let u be -2 + -1 - (-2 - -4). Sort 5, u, -4, h in increasing order.
u, -4, h, 5
Let c = 2.06 - 2.06. Put 2/11, c, -3/5, 0.4 in ascending order.
-3/5, c, 2/11, 0.4
Let u be 1/(6 + -7 + 1 - -1). Sort u, 2, -9.
-9, u, 2
Let d = 6 + -6. Let k be (-4)/(-12) + 86/(-6). Let n = -11 - k. Sort -2, d, n in descending order.
n, d, -2
Let s be (22/8)/(-11) - 86/8. Put 3, s, -2 in ascending order.
s, -2, 3
Let b = -1091 - -1095. Let p = -9/14 + 3/70. Let g = 0 - -0.1. Put g, b, p in increasing order.
p, g, b
Let y = -26 - -30. Let n = 3.8 - 2. Let w = n + -2.2. Sort w, 5, y in increasing order.
w, y, 5
Let u be 1 + 2 + 0 - (0 - 3). Suppose -12*v = -18*v + u. Let y = -1 + -4. Sort y, v, -4 in descending order.
v, -4, y
Let z = -308 + 308. Suppose 2*u + 5*l + 15 = 1, -4 = -u + 3*l. Sort 4, z, u, -6 in decreasing order.
4, z, u, -6
Let a = -8 - -13. Let m be (-2)/15 + 39/(-45). Sort 0, m, a in ascending order.
m, 0, a
Suppose -131 = 7*z - 124. Let m = 1 + 0. Sort -4, z, 2, m in increasing order.
-4, z, m, 2
Suppose -5*l + 54 = l. Let y = l + -7. Suppose -2*g + y*b = -2, 8 - 3 = 5*g - 3*b. Put -5, g, 2 in descending order.
2, g, -5
Suppose 14*s = -6*s + 60. Suppose 3*w - 7*w = -4*f - 4, w - 4 = -2*f. Let k(d) = d - 1. Let j be k(f). Put 4, j, s in ascending order.
j, s, 4
Let n be 7/2 - 1/2. Let j(w) = -4 - 6*w + 4*w - w**2 + w**n - w. Let r be j(3). Sort 1, -2, r.
-2, 1, r
Let c be (3/6 + -1)*-20. Suppose 2 = 4*p - c. Let t be (6/(-63))/(p/(-7)). Sort 4, 1/4, t in ascending order.
t, 1/4, 4
Let s(p) = -p + 5. Let n be s(-6). Let g = 7 - n. Let f(v) = -v**3 - 5*v**2 - 4*v + 1. Let c be f(g). Sort c, 2, -5.
-5, c, 2
Suppose 0 = 25*a - 28*a - 3. Let t(b) = -9*b - 4. Let d be t(a). Sort -5, d, -2, 1.
-5, -2, 1, d
Let q(b) = -131*b - 786. Let g be q(-6). Suppose -2*n = 3*h - 14, 2*n - 25 = -3*n - 5*h. Suppose -t + 2 = -n. Sort g, -4, t in ascending order.
-4, g, t
Let u(q) = 10*q - 1207. Let s be u(121). Let v = -1 - -1. Put 1, s, -4, v in ascending order.
-4, v, 1, s
Suppose -a + 26*r - 11 = 24*r, a + r - 1 = 0. Suppose -2*x - 7 = -5*c, -5*c = -4*x - 0*x - 9. Let o be (0/(-1) - 0)/x. Sort -4, o, a in descending order.
o, a, -4
Let h = -592 + 589. Sort h, -4, -1, 0.
-4, h, -1, 0
Let t = -401 + 399. Sort 25, 4, t.
t, 4, 25
Let v(j) = -j**2 - 13*j + 10. Let x be v(-11). Let q = 36 - x. Suppose -11*i - q = -7*i. Put 0, i, -2 in descending order.
0, i, -2
Let w = 2819 - 2848. Sort 1, -4, w in ascending order.
w, -4, 1
Let h(s) = s**3 - 4*s**2 + s - 2. Let x be h(4). Suppose 23*r - 24 = -70. Sort 1, r, x in ascending order.
r, 1, x
Let t = 732 + -1495/2. Let g = 16 + t. Put 1, 2/7, g, 4 in descending order.
4, 1, g, 2/7
Let g be ((-24)/100)/((-6)/(-20)). Let v = 0.084 + 0.416. Put 2, g, 5, v in increasing order.
g, v, 2, 5
Let y = 1010 + -4039/4. Let n = 27 + -6. Let a be 2/7 + (-15)/n. Put 2/11, a, y in increasing order.
a, 2/11, y
Let d = 1345 + -1347. Sort 88, 1, d, -0.3 in increasing order.
d, -0.3, 1, 88
Let z = 69 + -61. Suppose -2*d - d = -z*d. Sort 3, d, 0.6.
d, 0.6, 3
Let c(v) = v**3 + 14*v + 1. Let h be c(0). Let z be (3/1)/6*-6. Put z, h, -0.5, 0 in descending order.
h, 0, -0.5, z
Let l be 130/18 - 2/9. Suppose 69*m - 4 = 67*m. Let h be 2 + -1 - 1/1. Sort l, m, h in decreasing order.
l, m, h
Let y = 27/79 + -2/237. Suppose 125 = -2*k + 7*k. Let a = k + -127/5. Sort a, y, 0.
a, 0, y
Let b = -44.1 + 35. Let q = b - -0.1. Let p = 4 + q. Put -2/11, p, -3 in increasing order.
p, -3, -2/11
Let w = -4.6 + 4. Let o = -4.4 + w. Sort 5, o, -1/9.
o, -1/9, 5
Let r(x) = -3*x**3 - 3*x**2 - 2*x + 5. Let o be r(2). Sort o, -4, -2.
o, -4, -2
Suppose 0 = 7*g - 6*g - 69. Suppose -4 = -67*w + g*w. Sort -0.06, -1, w in descending order.
-0.06, -1, w
Let o be (-3)/((-3)/(-48)*2). Let g be (-11)/2 - o/16. Let u be (g/(-3))/(2/(-6)). Sort u, 1, 2 in decreasing order.
2, 1, u
Let r = -0.4 - -3.4. Let n = r + -3.1. Let h = -9025 - -9022. Put h, n, -5 in ascending order.
-5, h, n
Suppose 4*d - 124 = -24. Let f = -22 + d. Sort 0, f, 4 in decreasing order.
4, f, 0
Let f be 10/(-20)*8/(-2). Suppose 2*x + 2*b = 6, -4*x - f*b + 6*b - 12 = 0. Suppose x = -3*y - 7 - 8. Sort 7, y, -4 in decreasing order.
7, -4, y
Let u = -1070 - -1070. Sort u, 1, -5, 5.
-5, u, 1, 5
Let l(x) = x**2 + 8*x + 9. Let p be l(-7). Let f be -1 + (3 - (3 - p)). Suppose -1 = 3*g - k + 1, 2*k + 1 = g. Put g, f, -7 in increasing order.
-7, g, f
Let n = -1.713 + 0.113. Let o = n + -0.4. Let v = 92/7 + -13. Put v, o, 2 in descending order.
2, v, o
Let j be 2/(-1 + (-6)/(-10)). Let v be -20 + 16 + 18/(-6) + 4. Suppose -11 = -2*l - 3. Put v, j, l in ascending order.
j, v, l
Suppose -g = 4*x - 9, -4*g + 2*x + 13 = -5. Let u be (-16)/(-56) + 215/7. Suppose -3*c + u = -2*c - 4*k, 3*c - 18 = -3*k. Put 4, c, g in increasing order.
4, g, c
Let r(v) = 9*v - 3. Let g be r(-1). Let c be 4 - (-3 + g/(-4)). Put -2, c, -3 in increasing order.
-3, -2, c
Let s = 10 - 7. Let f = 13121 - 13131. Sort s, 2, f in increasing order.
f, 2, s
Let l be (0 - (-2 - -1)) + (-20 - -21). Suppose 0 = q - 0*g - g - 18, 3*q + 5*g - 70 = 0. Suppose 5*j + h = -h + q, l*j - 29 = -5*h. Sort -4, -3, j.
-4, -3, j
Suppose 5*p - 17 = -q, -13 = 4*p - 5*p + 3*q. Suppose -4*d = 4 - 0. Let w be (5 - 6) + (-2)/d. Sort w, 2, p in 