 = -163 - -1139/7. Sort l, a, f in decreasing order.
f, a, l
Let q = -13.1 + 11.9. Sort q, 3, -3.
-3, q, 3
Suppose 6 = s - r, 2*s - 2*r - 2*r - 22 = 0. Put s, -1, -3 in increasing order.
-3, -1, s
Let r = 0.12 + -1.12. Put 2/5, 6, r in descending order.
6, 2/5, r
Let v = -8 - -12. Let t = -2 - -3. Let a = 1 - 4. Sort a, v, t.
a, t, v
Let q = -0.043 + -0.157. Sort 1/4, q, 2 in descending order.
2, 1/4, q
Let p = 0.23 - 0.03. Let m = 0 + 2. Let n = m + -2.4. Sort n, 4/7, p in increasing order.
n, p, 4/7
Suppose 4*y + 10 = -y. Sort y, 4, 5 in descending order.
5, 4, y
Suppose -4*l = -3 + 7. Let s be 2 - 2*2/(-4). Let o = l + s. Put -1, o, -2 in descending order.
o, -1, -2
Let p be ((-3)/(-2))/((-9)/(-24)). Suppose 0 = -3*s + 7*s + 12. Let z be 12/(-45) - 2/5. Sort p, s, z in descending order.
p, z, s
Let v be 2/5 - 24/15*-1. Put 4, -7, v in ascending order.
-7, v, 4
Suppose 2*b = -4*t - 4, -t - 4*t - 6 = 2*b. Sort t, 4, 2, -5 in ascending order.
-5, t, 2, 4
Let i = -2/372917 + -1270901122/2610419. Let c = 486 + i. Let k = 8 + -8. Sort c, 0.3, k in increasing order.
c, k, 0.3
Let l = 8 - 6. Let y(i) = i**2 - 6*i. Let q be -3 - (-5)/((-15)/(-27)). Let m be y(q). Sort l, -4, m in increasing order.
-4, m, l
Let f(d) = d**3 + 3*d**2 - 3*d - 3. Let g be f(-3). Let j = 10 - g. Sort j, 0, 2 in ascending order.
0, 2, j
Let i be 2/2 - (-1 + 0). Let f = 4 + -5. Let k = 4 + f. Put k, -4, i in decreasing order.
k, i, -4
Let q be 0 - -2 - 18/6. Put 5, 1, q in descending order.
5, 1, q
Let w be (-9)/27 + 1/(-3). Sort w, 2, 18/5 in decreasing order.
18/5, 2, w
Suppose 4*l = -9 + 1. Let y be 4/(-6) + (-68)/6. Let u be 3*(1 + 15/y). Put l, u, -0.2 in ascending order.
l, u, -0.2
Let n = 7 - 5. Let c(j) = j + 4. Let i(y) = y - 3. Let h be i(-2). Let r be c(h). Put n, r, -3 in ascending order.
-3, r, n
Let l = -1139/9 - -127. Put 1, l, -7 in ascending order.
-7, l, 1
Let o = 27 - 22. Put -2/3, 28, o in increasing order.
-2/3, o, 28
Suppose -3*v - 2*v = 5. Let h be 13 - (-1 + 2 + -2). Suppose 0 = -3*p + h + 1. Sort v, -5, p.
-5, v, p
Suppose 1 = 2*c - 7. Suppose 0*u - u = c. Let l = 17 - 103/6. Sort 4, l, u in descending order.
4, l, u
Let y = 2 + -3. Suppose -5*u = 6*u. Put u, 0.3, y in descending order.
0.3, u, y
Let x = 0 - 0. Suppose -i = i - 6. Suppose -5*s + s = -8. Sort i, x, s in descending order.
i, s, x
Let q be -2*(-4)/16*0. Suppose 0 = -0*b + 2*b + 4*o - 24, q = 5*b - 5*o + 15. Sort -1/4, b, -8 in decreasing order.
b, -1/4, -8
Let k be -3 - (-14)/(-10)*20/(-8). Sort 2, 3, -1.2, k in decreasing order.
3, 2, k, -1.2
Let w = -0.02 - -0.01. Let n = 3.99 - w. Put n, 0.4, -0.2 in decreasing order.
n, 0.4, -0.2
Let j be 4/2*(1 + 4). Let u = j + -11. Sort 5, 1, u in ascending order.
u, 1, 5
Let m be 0/((-5)/(5/(-3))). Suppose 4 + m = i. Sort i, 5, 2 in decreasing order.
5, i, 2
Suppose b + w = 10, 15 = b - 0*b + 2*w. Let i(v) be the second derivative of -v**5/20 - v**4/4 - v**3/6 - 3*v. Let q be i(-2). Put b, q, 4 in descending order.
b, 4, q
Let k = -2.14 - -0.14. Sort -3, -5/3, k in descending order.
-5/3, k, -3
Let c be 3/(-10)*2/3. Let y = 57 + -227/4. Put c, y, -1 in increasing order.
-1, c, y
Let l be 4/14 + 57/21. Sort l, 4, 2 in increasing order.
2, l, 4
Let m be -3*(16/6 - 2). Suppose 2*h = 3*k - 3*h + 1, -3 = k + h. Let x be k/4 + (-28)/8. Sort x, -1, m.
x, m, -1
Let p(o) = -o**3 + 7*o**2 + o - 4. Let m be p(7). Let l be (2 + -1)*(-6 - -6). Put -0.1, l, m in decreasing order.
m, l, -0.1
Let a be (-2)/((7/(-2))/(-7)). Let v be 4/(-18) + (-11)/(-9). Let j be 51/9 - 10/15. Put a, j, v in ascending order.
a, v, j
Let w be ((-4)/(-6))/((-6)/(-27)). Let n be (-2)/45*(-768)/(-58). Let u = 1/87 - n. Put w, -0.3, u in decreasing order.
w, u, -0.3
Let g = 0.34 + -0.14. Put -2/5, 0.3, g in descending order.
0.3, g, -2/5
Suppose -4*n + 8 = -0. Sort -4, -5, n in decreasing order.
n, -4, -5
Suppose -3*h - h - 20 = 0. Let u be (-5)/2*(2 - 4). Put h, 0, u in descending order.
u, 0, h
Let s(h) = -h**2 - 7*h + 2. Suppose -2 + 9 = -l. Let a be s(l). Suppose 0 = -2*z + 4*f, 3 = -a*z - f + 8. Put -4, z, 3 in descending order.
3, z, -4
Let p = 7 + -12. Let v = -4 - p. Put -2, v, 0 in descending order.
v, 0, -2
Let w be 1 + 7 - (-3)/(-1). Suppose 0 = 4*o - 4*a - 56, 0 = -4*o + 2*a + 33 + 15. Suppose -j + 3*j = -o. Sort w, j, 0.
j, 0, w
Let p be 3/((-9)/(-3))*-4. Let k be 14/77 + (-27)/(-33). Put p, k, -2 in descending order.
k, -2, p
Suppose 0 = d + 4 - 1. Let j = 5 + -9. Suppose -3*z = z. Put j, d, z in ascending order.
j, d, z
Let g = 4 - 7. Let r = g + -1. Let k = -8 - -11. Sort k, r, 1 in decreasing order.
k, 1, r
Suppose 4*s + 4 = -4. Let j = s + -2. Put 4, -1, j in ascending order.
j, -1, 4
Let i be 1/(((-1)/4)/1). Suppose -j + 18 = -5*t, 5*j + 16 = -4*t - 10. Let c = j - -1. Put i, c, -0.1 in decreasing order.
-0.1, c, i
Suppose -2 + 4 = -4*y - 5*p, -y + 4 = -p. Let z = -2/71 + -65/213. Sort z, -5, y in increasing order.
-5, z, y
Suppose -2*t - 3*m + 5 = -17, 3*t + 5*m = 35. Sort -5, t, -4 in descending order.
t, -4, -5
Let r = -14 + 7. Let k = r + 5. Let c = -0.2 + 0.3. Put k, c, 1/4 in increasing order.
k, c, 1/4
Let z(m) = m**2 + 1. Let b be z(-2). Suppose -7 = g - 3. Let n be (-26)/(-7) - (-10)/35. Sort g, n, b.
g, n, b
Let o = -1.73 + 4.93. Sort o, 1/3, -1, -4 in ascending order.
-4, -1, 1/3, o
Let p be (-45)/(-351)*(-4)/10. Let f = p + 127/195. Put 3/8, -0.5, f in ascending order.
-0.5, 3/8, f
Let j = 0.08 - 11.08. Let n = 10 + j. Let u = -4 - n. Put 2, u, 6/5 in descending order.
2, 6/5, u
Suppose -3 = 4*g - 8*a + 3*a, 3*a = g - 1. Let r be ((-2)/(-4))/((-2)/g). Let n = 1.053 - 0.053. Put -5/2, n, r in descending order.
n, r, -5/2
Let o = 0.2 - 4.2. Let q = o + 9. Let g = -1 - 4. Put -0.3, g, q in decreasing order.
q, -0.3, g
Suppose 5*t = 3*l + 3, -4*t - 1 = l + t. Suppose 0 - 4 = -2*f. Suppose 0 = -2*j - f*j + 8. Put l, 3, j in descending order.
3, j, l
Suppose -2*d + 28 = 4. Let c(g) = g - 1. Let l be c(6). Suppose 3 + d = -l*j. Sort j, 5, -2 in increasing order.
j, -2, 5
Suppose -30 = -b - 4*n, b - 6*b = 2*n - 78. Let c = b - 14. Sort 2, 5, c in decreasing order.
5, 2, c
Let w(s) = -s**3 - 3*s**2 - s - 3. Let l be w(-2). Let h be (-3)/(-5) - (-2)/5. Put 0, l, h in descending order.
h, 0, l
Suppose -1 = -4*q - 0*o + 3*o, 0 = 4*q - o + 5. Sort 3, 4, q, 28.
q, 3, 4, 28
Let a = -0.102 - -3.182. Let z = a - 0.08. Let o(k) = -k**3 + 6*k**2 - 8*k - 5. Let d be o(4). Sort d, z, 5.
d, z, 5
Let o(r) = -r**3 - 5*r**2 - 4*r - 2. Let p be o(-4). Let c(l) = -2*l**3 - 2*l**2 + l - 3. Let u be c(-2). Sort 2, u, p in ascending order.
p, 2, u
Let l(b) = 4*b + 6. Let r be l(-3). Sort -2/17, r, 2/7.
r, -2/17, 2/7
Let a(l) = -l**2 + 4*l + 5. Let y be a(7). Sort 0, y, -1.
y, -1, 0
Let o(v) = -v - 1. Suppose 2 = 2*c - 0. Let z be o(c). Suppose 7 = 2*w - 5*u - 10, u - 15 = 5*w. Put z, w, 3 in decreasing order.
3, z, w
Let j be (6/3)/((-1)/(-4)). Suppose -5*t + 30 = 7*q - 2*q, -4*t + j = 0. Sort -4, -5, q in descending order.
q, -4, -5
Suppose 4*h + 11 = -2*w + 27, 5*w = -10. Let a = 1.8 + -4.8. Let l = 2 + -6. Sort l, h, a.
l, a, h
Let j = -22/3 + 107/15. Suppose -s - 12 = 2*s, 6 = 5*v - 4*s. Let p be (15/(-90))/(v/(-8)). Sort p, j, 1 in descending order.
1, j, p
Let a = -0.051 + 2.051. Put a, 0.5, 0, 0.1 in descending order.
a, 0.5, 0.1, 0
Suppose 0 = d + 2*d + 6. Sort 2, d, -5 in decreasing order.
2, d, -5
Let u be 7/4 + -2 + (-15)/20. Put 0.2, 5, 3, u in increasing order.
u, 0.2, 3, 5
Let q(n) = n. Let u be q(-4). Let r be (2/6)/(1/(-3)). Let w(i) = -i - 3. Let l be w(-5). Put l, r, u in increasing order.
u, r, l
Suppose 8*a = 5 + 3. Let k = -0.05 - 1.95. Sort -1, k, a in increasing order.
k, -1, a
Let w = 66 - 83. Sort 0.3, w, 3 in descending order.
3, 0.3, w
Let w = -231.21 + 469.12. Let k = w - 234. Let m = 0.09 + k. Sort 0.4, m, 0.2 in increasing order.
0.2, 0.4, m
Let n = 10 + -5. Sort -3, -11, n in descending order.
n, -3, -11
Suppose -5*q = -3*z - 42, 0*z - 46 = -5*q + 4*z. Suppose -3*s = -q*s + 6. Let x = -5 + s. Put x, -1, -4 in increasing order.
-4, x, -1
Let o = 0.54 - 2.54. Sort -2.7, -0.3, -1, o in increasing order.
-2.7, o, -1, -0.3
Let k(m) = -3*m**3 + m**2 - m - 1. Suppose -q = -5*t + 2 - 4, -3*q - 4 = -5*t. Let l be k(t). Put l, 1, 3 in ascending order.
1, 3