, -0.1
Let s(n) = -n**2 - 6*n - 5. Let k be s(-5). Let o = k - 1. Sort 2, 3, o.
o, 2, 3
Let x be ((-5)/2)/((-1)/(-2)). Let d = -22 + 89/4. Sort x, -5/4, d in decreasing order.
d, -5/4, x
Let p = -3 - -6. Let z be -2*(18/4 - 2). Let o = -3 - z. Sort 1, o, p in ascending order.
1, o, p
Suppose -5*c = -s + 16, -s + 2*c - c = -4. Let n(w) = 3*w**2 + w. Let j be n(2). Let r be (-19)/7 + (-4)/j. Put 5, r, s in increasing order.
r, s, 5
Suppose -2*s + s + 5*l = -5, -2 = 3*s + 2*l. Suppose s*x + 88 = 4*x. Suppose -4*q = -2 + x. Sort -4, -2, q in decreasing order.
-2, -4, q
Let j = 10 + -13. Put -2, j, 0.1 in decreasing order.
0.1, -2, j
Let s = 1.2 - 1. Let y(c) = -36*c**2 - c - 1. Let o be y(2). Let q = 2207/15 + o. Put s, 1, q in descending order.
1, s, q
Let a = 1 - 4. Let p = a + 4. Let n = -1.2 + p. Put n, -0.1, -3/2 in ascending order.
-3/2, n, -0.1
Let g = -7/3 + 3. Sort 5, -2/9, g in descending order.
5, g, -2/9
Let f = 2 + -3. Let w = f - -3. Sort w, -1/3, -1/10.
-1/3, -1/10, w
Let y = -1.3 - -10.4. Let c = -9 + y. Put c, -0.4, 1 in increasing order.
-0.4, c, 1
Suppose 0 = -4*f + 9*u - 4*u + 33, 3*u + 7 = -4*f. Let c = -4.9 + 5. Sort f, c, -0.3 in descending order.
f, c, -0.3
Let o(p) = p**2 - 3*p + 2. Let n be o(4). Let y be (-2)/((-4)/n - 0). Let i(z) = z**3 - z**2 - 5*z + 2. Let f be i(3). Sort -4, f, y.
-4, y, f
Let x = -0.18 + 0.04. Let t = x - -0.35. Let o = t + -0.01. Put o, -1, -4 in decreasing order.
o, -1, -4
Let a be (3/(-6))/((-2)/(-8)). Suppose 0*f - 4 = 4*f. Put 3, a, f in descending order.
3, f, a
Let p = 1.1 + -1.4. Sort 0.8, p, 1/2 in descending order.
0.8, 1/2, p
Let u = -9 + 4. Let z = 9 - 8.9. Put u, 5, z in descending order.
5, z, u
Let z = -1 + 0.6. Suppose -5*c = -36 + 11. Suppose 4*a + 0*a = t + 11, c*a - 15 = 0. Sort t, -2, z in decreasing order.
t, z, -2
Let z(c) = -c**2 + c**3 + 0*c**2 + 3*c**2 - 1. Let j be z(1). Sort j, -4, 0 in increasing order.
-4, 0, j
Let r be ((-2)/(-4))/((-2)/8). Suppose 0*a - a + 5*u - 11 = 0, -5*u - 5 = -5*a. Put 1, a, r in descending order.
a, 1, r
Suppose -3*q + 3 = -0. Sort -1, -3, q in decreasing order.
q, -1, -3
Let l = -6.92 + -0.08. Let n = l - -12. Sort 2/15, -4, n in decreasing order.
n, 2/15, -4
Let s = 4.2 - 4. Sort -0.1, 1, s in increasing order.
-0.1, s, 1
Let j = 85 - 85. Put j, 8, 3, -2 in descending order.
8, 3, j, -2
Let r = -10 - -13. Let c(n) = 2*n + 4. Let b be c(-3). Let f(m) = -m**3 - 1. Let k be f(0). Sort b, r, k in decreasing order.
r, k, b
Let o(i) = -i**3 - 1. Let r be o(-1). Let n(l) = l**3 + 18*l**2 + 1. Let u be n(-18). Put u, -2, r in descending order.
u, r, -2
Let n be (1 - 9/7)*-7. Suppose -3*p - 3 = n*r, -r - 2 + 8 = -p. Sort -4, p, 3 in increasing order.
-4, p, 3
Let o = 2 + -2.3. Let x be (-3)/65 - 4/(-20). Sort o, -5, x.
-5, o, x
Let p = -23 - -23. Sort -5, p, -4/3 in decreasing order.
p, -4/3, -5
Let m = 0.03 + 0.97. Let z = m + 0. Sort 3, 0.1, z in decreasing order.
3, z, 0.1
Let g(f) = 0*f - 4*f + 6*f. Let b be g(1). Suppose 0*i = -b*i. Put -1, i, -5 in decreasing order.
i, -1, -5
Let c = 9 - 9.3. Let w = -3.4 + 0.4. Put c, -2/9, w in ascending order.
w, c, -2/9
Let t be ((-18)/120*4)/((-9)/2). Sort 4, -5, t, 0 in increasing order.
-5, 0, t, 4
Let p be ((-4)/(-6))/(2/15). Let x be 3*14/63*6/(-4). Sort x, p, -6 in descending order.
p, x, -6
Let a = 50/33 + -4/3. Put -5, a, 3/2 in decreasing order.
3/2, a, -5
Let o = 1 + -1.3. Let g = -0.3 - 0.7. Let j(t) = -2*t**3 - 3*t**2 - t - 1. Let u be j(-2). Sort o, u, g in descending order.
u, o, g
Let a(r) = -r**2 + 2. Let n be a(2). Put 4, 2, n, 3 in descending order.
4, 3, 2, n
Suppose -1 - 5 = -3*y - 2*u, y - 2 = 3*u. Suppose y*c - 3 = 3, 5*i + 5*c = 25. Suppose -3*v = -i*v + 4. Put -1, -2, v in ascending order.
v, -2, -1
Suppose -5 = 2*r - 3*m, -5*m + 35 = 3*r - r. Let l = 1 - 5. Put r, l, -5 in ascending order.
-5, l, r
Let l = -24.5 + 25. Put 3, 4, l in decreasing order.
4, 3, l
Let g = -297/56 + 39/8. Let s = 17 + -24. Let a = 11 + s. Put g, a, 2/13 in ascending order.
g, 2/13, a
Let x = -0.17 - -0.2. Let q = -0.07 - x. Let t = -0.2 - 0. Sort q, t, 5 in descending order.
5, q, t
Let g = 14 + -14. Put 2, 3, g in decreasing order.
3, 2, g
Let d be ((-4)/18)/(15/(-45)). Sort 4, 12, d in ascending order.
d, 4, 12
Suppose 5 = -17*r + 18*r. Put r, -4, -2 in increasing order.
-4, -2, r
Let r = -0.4 - -0.3. Let y = -5.1 + 0.1. Put y, -1, r in descending order.
r, -1, y
Let i be (4/(-5))/(1 - (-42)/(-75)). Put 3, 2, i in decreasing order.
3, 2, i
Let k(y) = -y**2 - 2*y + 22. Let w be k(-6). Put -1, -4, w, 5 in decreasing order.
5, -1, w, -4
Let d be 3/(-2)*(-56)/21. Put -5, d, 1/4 in decreasing order.
d, 1/4, -5
Let m be 1*((-8)/(-40))/(2/10). Put m, 20, -1 in ascending order.
-1, m, 20
Let v = -3 + 7. Let c(b) = -b**2 + 7*b - 8. Let n be c(7). Let i = v + n. Sort i, 7, 1 in descending order.
7, 1, i
Let q = -127/81 + 21161/7452. Let a = 12/23 - q. Let u = 17.4 + -17. Sort 0.5, a, u in increasing order.
a, u, 0.5
Let i = -18.3 + 6.3. Put 2/7, i, 4 in decreasing order.
4, 2/7, i
Let z = 133 - 137. Sort 0.1, 5, -0.05, z in descending order.
5, 0.1, -0.05, z
Let w = 40 - 21. Put w, 1, 3 in descending order.
w, 3, 1
Let h be (-1)/3 + 38/6. Let m = h + -2. Let c be m*(-3 - (-5)/2). Put c, 1, -4 in decreasing order.
1, c, -4
Suppose 0 = j + z, 3*j - 2*j - 2*z + 6 = 0. Sort j, 21, -1 in ascending order.
j, -1, 21
Suppose -4*p = 4*a + 28, 5*p - 2*a = -19 - 51. Sort p, -5, -3.
p, -5, -3
Suppose -14 + 2 = 4*a. Sort a, 5, 3 in descending order.
5, 3, a
Suppose 4*h - s + 3 = -2*s, -2*s = h + 6. Let p(g) = -g**2 + 9*g - 2. Let w be p(8). Suppose -i - 25 = -w*i. Sort h, i, 2.
h, 2, i
Let u(b) = b - 6. Let a be u(11). Sort 0, a, -4 in descending order.
a, 0, -4
Let f be 1*-1 + (2 - 1). Let j be (-34)/(-7) + 17/119. Suppose f = 4*m + 2*q + 2, 0*m - 2*q - j = m. Sort m, -1, -2 in decreasing order.
m, -1, -2
Let q be (36/16)/(-1 + -2 + 0). Put 12, q, -0.3 in increasing order.
q, -0.3, 12
Suppose 0 = t - 0 - 2. Suppose 3*b = -t*b. Sort b, 5, 1.
b, 1, 5
Let y = -22 - -16. Let p = 2 + y. Sort 2/13, -2, p in descending order.
2/13, -2, p
Suppose -2*m = -c - 5*m - 16, 3*m = -3*c - 24. Let t = -0.9 - -1.01. Let j = t - -4.89. Sort c, j, 0.1.
c, 0.1, j
Suppose g = -2*l + 5*g - 12, -g + 3 = 3*l. Let m(t) = t**2 + 1. Let k be m(l). Sort -4, 3, k in decreasing order.
3, k, -4
Suppose 8 = -3*i - 10. Let z be i/10 + 215/25. Put 0, z, 4 in decreasing order.
z, 4, 0
Suppose 7*d = 6*d - 2. Put d, 1, 0.1, 1/4 in ascending order.
d, 0.1, 1/4, 1
Let g = -16 + 14.8. Let d = 0.2 + g. Let t = -29 + 29. Sort d, t, -0.1 in decreasing order.
t, -0.1, d
Let k = 0.32 - 0.82. Sort -3, -16, -2/7, k in descending order.
-2/7, k, -3, -16
Let j = 0.017 + -3.017. Put j, -3/4, -1/2 in increasing order.
j, -3/4, -1/2
Suppose -2*i = -3*i + 3*j + 9, j + 11 = 3*i. Suppose -i*y = -y - 52. Suppose y = -5*l + 1. Sort -3, l, 0.
l, -3, 0
Let i = 4.48 + 0.52. Sort 6, i, 2 in increasing order.
2, i, 6
Let h = 8 - 8. Let b(k) = 2*k**2 - 3*k - 1. Let d(z) = 5*z**2 - 5*z - 2. Let i(p) = -5*b(p) + 3*d(p). Let l be i(1). Sort 1, l, h.
h, 1, l
Suppose s = 4*s. Let o = -2 + 4. Let t be (-5)/6 - 8/12. Put o, t, s in ascending order.
t, s, o
Let v = 4 + -4. Let o = -8 + 6. Put v, o, -3 in increasing order.
-3, o, v
Suppose -7 = n + 7. Let j = n + 10. Sort 3, 4, j in increasing order.
j, 3, 4
Suppose 3*s + 4*z - 18 = 0, -5*s + 5*z - 7 = -s. Sort 3, s, -3 in ascending order.
-3, s, 3
Let s = 139/1155 - -1/77. Let v = -2 - -1.95. Let y = -0.35 + v. Put 4, y, s in increasing order.
y, s, 4
Let a(u) = 2*u + 1. Suppose v = 2*v - 1. Let g be a(v). Sort -1, g, 0 in descending order.
g, 0, -1
Let q = 0.028 + 1.972. Sort -33, -1, q in descending order.
q, -1, -33
Let q be -2 - -4*(-6)/4. Let p = 58/7 + q. Let u = 21 - 20.6. Sort u, p, -5 in decreasing order.
u, p, -5
Suppose -70 - 62 = 4*a. Let k be 17/a - (-8)/44. Suppose -5*o = 4*u - 19, -3*u - 3*o - 2*o + 18 = 0. Sort u, k, -2.
-2, k, u
Let r = 21 + -15. Let v be (-12)/8*8/6. Sort -3, v, r in descending order.
r, v, -3
Let r = 0.017 - 0.617. Sort 5/3, 0, -5, r.
-5, r, 0, 5/3
Let d = -17 + 13. Sort -3, d, 4 in ascending order.
d, -3, 4
Let z(o) be the first derivative of o**4/4 + o**3 - o**2/2 - 2*o - 8. Let w be z(-2). Put 0.4, 3, w 