ng order.
4, k, i
Let l(o) = -o**3 + o**2. Let p be l(1). Put p, 2, 13 in decreasing order.
13, 2, p
Suppose 0 = -5*n, 0*p - 5*p - 3*n = 15. Put 6, p, -5 in descending order.
6, p, -5
Let q = 33 + -36. Let n = -13 - -8. Sort q, 4, n in decreasing order.
4, q, n
Let i be -2 - -7 - (-1 - -3). Sort -1, 1, i in increasing order.
-1, 1, i
Let y = 0.05 + -4.05. Put -2/21, y, -3 in descending order.
-2/21, -3, y
Let n(q) = q**2 - 5*q - 3. Let j be n(5). Put j, 0, 1 in increasing order.
j, 0, 1
Let q = -20 - -20.5. Sort -0.1, q, 0.
-0.1, 0, q
Suppose 0 = -3*y + h - 9, 0 = 5*h - 8*h - 9. Let t(q) = q + 3. Let r be t(-4). Let x be (r - (-6)/2) + 2. Sort y, -5, x in decreasing order.
x, y, -5
Let i = -42639 + 767191/18. Let z = i - -35/2. Sort 1, 0.4, z in ascending order.
z, 0.4, 1
Let k = 4 + -4. Let g be ((-15)/(-10))/((-9)/30). Put g, k, 5 in ascending order.
g, k, 5
Let b = -16 + 14. Let m be -2 + -3 + 2 + b. Put 2, 1/4, m in descending order.
2, 1/4, m
Let k = -0.8 + -0.2. Let p = -1.51 + 0.11. Let f = p - -1. Sort k, f, -0.3.
k, f, -0.3
Suppose -4*u - 2 - 1 = 5*o, 0 = -3*o - 9. Suppose 0 = -4*a + 3*q + 17, -u*a = 4*q - 11 - 8. Suppose -8*y = -13*y - 15. Put y, a, -2 in increasing order.
y, -2, a
Let z = -5/48 - 1/16. Sort 1, z, -3 in decreasing order.
1, z, -3
Suppose 5*z = -y + 23, y = 6*y - z - 11. Suppose 1 = -4*b - 3*s - 11, -4 = s. Put 5, y, b in ascending order.
b, y, 5
Let o(f) = -f**3 - 7*f**2 - f - 6. Let v be o(-7). Put 4, 0, v in decreasing order.
4, v, 0
Suppose 4*d = 2*v - 22, 4*d + 7 + 0 = v. Suppose 0 = h + 4*h - v. Let s be (3/(-27))/((-1)/h). Sort 0, 4, s.
0, s, 4
Let w be (-2 + 6 - 0) + 1 + -9. Sort 2, w, 3.
w, 2, 3
Let s = 0.41 - 0.4. Let t = s - -0.99. Sort 0.1, -1/2, t in increasing order.
-1/2, 0.1, t
Let u = -1/28 + 65/252. Sort -1/3, 0, u, 4 in ascending order.
-1/3, 0, u, 4
Let t = 0.24 - 0.04. Let k = 5.3 - 1.3. Sort k, t, 2 in increasing order.
t, 2, k
Let k(r) = -r**2 + r + 3. Let b be k(3). Sort b, 1, -1.
b, -1, 1
Suppose -2*j - 15 = -5*j. Suppose y - 4 = 5*y. Let x be (-8)/(-6) + 4/6. Put y, x, j in increasing order.
y, x, j
Let h = -1 - -1. Let c = h + -4. Sort 2/9, c, -0.5.
c, -0.5, 2/9
Let m = -0.006 - 0.094. Let z = 51/5 - 54/5. Sort z, m, -5 in increasing order.
-5, z, m
Let c be 3*((-5)/15 + 1). Sort 1/5, c, 0.5, -0.4 in decreasing order.
c, 0.5, 1/5, -0.4
Suppose 2*a - 3*s + 2 = 3, -4 = 4*s. Put 5, 0, -4, a in descending order.
5, 0, a, -4
Let h(k) = k**2 + 8*k + 6. Let o be h(-7). Let r(t) = -t**2 + 6*t - 5. Let m be r(5). Put o, m, 5 in increasing order.
o, m, 5
Let x be (-6)/10 + (-126)/(-35). Suppose 8 + 7 = x*v. Sort 4, 2, v in increasing order.
2, 4, v
Let c be 4*(2 - -2)/8. Put -1, c, 4 in decreasing order.
4, c, -1
Let d be (-2 - -2) + (-9 - -5). Sort d, 1, 0 in increasing order.
d, 0, 1
Let l be (-3)/((-21)/(-375566)) - 1. Let d = l + 53456. Let v = 197 + d. Put v, 4, -2 in increasing order.
-2, v, 4
Let g(d) = -d**2 - 7*d - 4. Let v be g(-7). Suppose 2*k - 82 - 15 = -5*u, 2*k = u - 29. Let p be 2/7 + (-111)/u. Put v, p, 1 in increasing order.
p, v, 1
Let g = 0.16 - 0.25. Let z = g - 4.91. Sort z, -0.4, -4.
z, -4, -0.4
Let u be -2*(2 - 14/4). Suppose -a = -2 - 2. Suppose j = -3*i - 10, 2*i + 12 + a = -3*j. Sort 2, j, u.
j, 2, u
Let m = -32 + 27. Let k be (-4)/(-10) - 84/135. Put k, m, 0.4 in increasing order.
m, k, 0.4
Let o = -1 - -1.1. Let g = -6 - -10. Put 3, g, o in decreasing order.
g, 3, o
Let d = -46 - -41. Sort -1, d, 0 in ascending order.
d, -1, 0
Let u = 0 - -1. Let w = -7 + 11. Suppose 6 = -5*b - 2*g - g, 0 = 5*b + 2*g + w. Put u, -3, b in increasing order.
-3, b, u
Let d = 0.2 + -0.1. Let w = -0.1 + -4.9. Let y be -2*(-3)/((-18)/(-15)). Sort d, y, w in ascending order.
w, d, y
Let b = -0.006 - -3.006. Put -7, b, -2 in increasing order.
-7, -2, b
Let u(b) = b + 12. Let g be u(-10). Suppose 6 = d + g. Suppose -11 - 11 = -4*f - 2*k, 0 = -3*k + 15. Sort d, f, -4 in decreasing order.
d, f, -4
Let k = 11 + -10.99. Put 0.5, 2, k in increasing order.
k, 0.5, 2
Let q be (-2)/(-33)*-1*3. Sort q, 0, -1, -1/2 in increasing order.
-1, -1/2, q, 0
Let i(r) be the first derivative of -r**4/4 - r**3 + r**2/2 - 2*r + 1. Let q be i(-4). Let j = -7 + q. Sort 0, -5, j in decreasing order.
j, 0, -5
Suppose 0*o + 10 = 4*d - 2*o, -5*o - 20 = -5*d. Let n = d - -2. Let t = -3 + 0. Put n, t, 0 in ascending order.
t, 0, n
Let p = -18 + 15.4. Let s = 2.1 + p. Sort 5, -3, s in ascending order.
-3, s, 5
Suppose 0*i + 12 = 4*b - 2*i, b - 3 = 5*i. Put 2, b, -6 in decreasing order.
b, 2, -6
Suppose 26 = -5*i + u - 3*u, -3*u = -i + 5. Let t = 160 - 1439/9. Sort i, 2/11, t.
i, t, 2/11
Let g = -263 - -261.87. Let k = 0.13 + g. Let w = 0.4 + 0. Put k, w, -5 in ascending order.
-5, k, w
Let g = 13.7 + -14. Sort g, -15, -1/2 in descending order.
g, -1/2, -15
Let z = -240/739 - -1023199/8129. Suppose -205 = -2*q + 45. Let y = q - z. Sort y, -2, -0.4 in increasing order.
-2, y, -0.4
Let v be (-8)/(-12) + 14/6. Suppose -2*o + v*o = 3. Let q be (0*(-2)/(-4))/(-2). Sort o, -1, q in decreasing order.
o, q, -1
Let c = 1 + -2. Suppose 0 = -3*i - 0 + 6. Put -5, c, i in ascending order.
-5, c, i
Let b = -151 + 154. Put 1, b, 0, -3 in ascending order.
-3, 0, 1, b
Suppose 4*z - 17 = 2*f - z, -3*z = -2*f - 15. Let k be 35/(-75) + (-2)/f. Put 5, 3, k in ascending order.
k, 3, 5
Let f(j) = j. Let k be f(-3). Suppose 2*c = 3*l - 0*l + 1, -3*c - l + 18 = 0. Sort c, k, -5.
-5, k, c
Let b = -33.3 + 33. Sort 4, 3/5, b in increasing order.
b, 3/5, 4
Let u = -76/69 - -10/23. Let a be 0 - (2 + 1/1). Sort u, a, -2/9 in increasing order.
a, u, -2/9
Let u = 6 - 4. Let p = -45 + 49.7. Let q = p + -5. Sort u, -0.1, q.
q, -0.1, u
Suppose -j - 33 + 33 = 0. Put -2, 0.07, j in descending order.
0.07, j, -2
Suppose 0 = -4*t - 5*j + 41, -j = 2*t - 5*j + 12. Let q be 0 + -1 + (0 - -1). Put q, -2, t in descending order.
t, q, -2
Let a = 0.19 + -0.2. Let u = -0.21 - a. Sort -5, 2/23, u in descending order.
2/23, u, -5
Suppose 3*p + 3*h = -27, -p + 5*h = -5 - 10. Sort -0.2, -3/7, p.
p, -3/7, -0.2
Suppose -3*y - 7 = -7*y + t, -2*y + 5*t = 19. Suppose y - 4 = -2*b + 5*a, 3*a = -2*b - 7. Let c = 16 - 12. Sort c, 5, b in descending order.
5, c, b
Let g = -2.96 + -0.04. Let v be -3*(4 - 2 - (-93)/(-45)). Sort 1, v, g.
g, v, 1
Suppose 2*m + 8 = -0*m + 4*i, 3*i - 6 = 5*m. Sort -9, 5, m in ascending order.
-9, m, 5
Let q be 24*(28/(-6) - -4). Sort -5, -3, -2, q.
q, -5, -3, -2
Let q be -4*77/44 + 3*1. Put 2, q, 3, 0 in ascending order.
q, 0, 2, 3
Suppose f = 2*t - 0*f - 3, -5*f = 25. Sort -4, t, 5, 2.
-4, t, 2, 5
Let f = 0.1 - -3.9. Suppose 2*z - w = -5*w + 42, -78 = -3*z - w. Let d be 0/2 + 6/z. Put -1/4, f, d in descending order.
f, d, -1/4
Let l(o) = o**2 - 9*o + 15. Let r be l(6). Suppose -2*m - m = 0. Suppose m = 2*g - 3 - 1. Put r, g, -4 in ascending order.
-4, r, g
Let q = 3.6 - 0.6. Sort 0, q, 0.3.
0, 0.3, q
Let w = 17 + -17. Let p be (-24)/(-60)*(5 + w). Put p, 4, -3 in descending order.
4, p, -3
Let p be -6 - 0 - (-2)/1. Put 0, p, 3 in decreasing order.
3, 0, p
Let p(v) = -3*v**2 - 2 + 1 - 2*v + v**2. Let z be p(-1). Let m = 17 + -22. Sort 5, z, m in ascending order.
m, z, 5
Let j = -3/56 - -83/504. Sort -4, j, 3 in ascending order.
-4, j, 3
Suppose 3*w - w = 3*i + 2, -2 = w - 3*i. Let u(a) = -a**2 - 4*a - 3. Let v be u(-2). Suppose 3*z = p + 4*z, 5*z = 5*p + 40. Sort w, p, v in increasing order.
p, v, w
Let a = 7 + -4. Let i be (0 - -6) + -4 + 2. Sort 0, a, i.
0, a, i
Let q = -0.24 - -0.14. Sort q, -4, -2/15 in descending order.
q, -2/15, -4
Let a = -2 - -6. Suppose 4*f - a*d + 9*d - 1 = 0, 2 = -5*f - 3*d. Suppose -3*v - 6 = 0, -i + 4*v + 1 + 3 = 0. Sort i, -5, f in descending order.
f, i, -5
Let f = 8 - 5. Let w = 10 - 12. Let r = 6 + w. Put 1, f, r in decreasing order.
r, f, 1
Let v = -3.81 - -6.5. Let t = 0.09 - v. Let a = -3 - t. Sort 2, a, -1/3 in descending order.
2, -1/3, a
Suppose 0 = -5*o - 0*o - 15. Sort -5, 3, o in ascending order.
-5, o, 3
Let q = 135 + -136. Sort -3, q, 5, 2/9 in decreasing order.
5, 2/9, q, -3
Let a be -6*3/(-3) - 1. Put 2, a, -4 in descending order.
a, 2, -4
Let v = -0.05 - 0.95. Let n = -74 - -75. Put -3, n, v in decreasing order.
n, v, -3
Let r = 532/5 + -106. Let f = -3.05 - -0.05. Let v = f - -2.9. Put -1/6, r, v in descendi