ding order.
k, 2, -2
Let a be (0/3 - 2) + 2. Let w = -60 + a. Let h be 6/21 - w/(-14). Put 5, 0, h in increasing order.
h, 0, 5
Let r(o) = -o**2 - 3*o + 5. Let l be r(-4). Let c be ((-1)/(4/(-16)))/l. Sort 8, 2, c in decreasing order.
8, c, 2
Let i be (-2)/(-4)*(-4)/6. Let t(w) = -2*w - 6. Let r be t(-10). Let p = 17 - r. Sort 3/5, i, p in ascending order.
i, 3/5, p
Let h be (2/(-6))/(2/(-24)). Suppose 5 = 5*d + 5*q, 4*q - h = -0. Let y = -2 + 1.7. Put -0.1, d, y in ascending order.
y, -0.1, d
Let h(b) = b**2 + b - 2. Let i be h(-2). Let a = 266 + -264. Put 1, i, a in ascending order.
i, 1, a
Let l = -9 - -5. Let j be 3*(-1 - l/3). Sort -1, 0, j in increasing order.
-1, 0, j
Suppose -3*y - 4 = p, -4*y - 3 = 4*p + 13. Suppose 3*j = -y*j + 15. Put -4, j, 3 in decreasing order.
j, 3, -4
Let a = 2 - 1. Let u = -2147/13 + 165. Put u, a, 2/11 in decreasing order.
a, 2/11, u
Let l = 2 - 0. Suppose 0 = q + 4*q. Suppose q = -2*g + l. Sort 3, g, 5 in descending order.
5, 3, g
Let p = 13 - 12. Sort 4, 0, 5, p in ascending order.
0, p, 4, 5
Let y = -23 - -39. Suppose 0*f - y = -4*f. Sort f, 5, -5 in ascending order.
-5, f, 5
Suppose 4*y = -2*c + 4, 5*c + 3*y - 6 = 4*c. Sort c, -3, 5 in decreasing order.
5, -3, c
Let o = 45 - 43. Let k = 2.4 + 0. Let u = k - o. Sort 5, u, -1/5.
-1/5, u, 5
Let p be (-2)/5 - (-62)/80. Put 5, p, -1/3 in descending order.
5, p, -1/3
Let f = -2 - -1. Let l = f - 2. Let d = -2 + 0. Put 0.5, d, l in ascending order.
l, d, 0.5
Suppose -14 = 4*i + 3*u, -u + 5 = 5*i + 28. Put -2, 0.5, i, 5 in ascending order.
i, -2, 0.5, 5
Let z(i) be the first derivative of -i**2/2 - i - 2. Let l be z(-5). Let h(w) = -3*w**3 - w**2 + 2*w - 1. Let a be h(1). Sort -2, l, a.
a, -2, l
Let m = 29 + -17. Suppose 5*a + m = -13. Put a, 1, -1 in ascending order.
a, -1, 1
Let q(n) = 4*n - 45. Let y be q(11). Sort y, 5, 2, -12.
-12, y, 2, 5
Let r = -13 + 12. Put r, 5, -5 in decreasing order.
5, r, -5
Suppose 0 = -3*m + 7*m - 8. Let g be 1 - (-2 - -2*2). Put g, 5, m in decreasing order.
5, m, g
Let m(g) = g + 1. Let y be m(-3). Let r = 0 - y. Sort 1, r, 0 in increasing order.
0, 1, r
Let j = 21 - 14. Let m = 6.7 - j. Put m, -3/5, 0.1 in decreasing order.
0.1, m, -3/5
Suppose 15 = -4*a - a. Let h = -79 - -80. Put h, -4, a in descending order.
h, a, -4
Let q(u) = 5*u + 5. Let y be q(-2). Put 0, y, 1 in increasing order.
y, 0, 1
Let u = -4.4 - -4. Sort 5, 0.2, -2, u in ascending order.
-2, u, 0.2, 5
Suppose -3*l = -8*l - 25. Suppose -2*b = -2*q + 3*b + 16, -10 = -2*q + 2*b. Sort q, 0, l in descending order.
q, 0, l
Let z = 22 + -17. Put -8, 1, z in increasing order.
-8, 1, z
Let h(n) = 2*n - 3. Let q be h(3). Suppose q*o = -4*f + f + 24, 4*o - 24 = -2*f. Suppose -f*u = -6*u. Put u, -5, -2 in increasing order.
-5, -2, u
Suppose -3 = -4*v + 5. Let n = 0 + 3. Let p be (0 + 2)*n/2. Sort p, 5, v.
v, p, 5
Let v be 1/2 - 12/8. Let c be (-1 + 2)/((-2)/(-6)). Suppose c*i = -2*m - 13, -3*i = -3*m - i - 13. Sort m, 0, v in decreasing order.
0, v, m
Let a = -0.44 - 3.56. Let p = 15 - 10. Let u = 2.4 - 2. Put a, p, u in descending order.
p, u, a
Let j(s) = -s**3 - 4*s**2 + 3*s + 4. Let r be j(-4). Let n = r + 11. Suppose -n*t = t - 20. Put -2, -5, t in ascending order.
-5, -2, t
Let z be 1/3 + (-40)/30. Let m(h) = h**2 + 4*h + 4. Let o be m(-4). Let y = -5 + 8. Put y, z, o in ascending order.
z, y, o
Suppose -5*m + 1076 = -324. Let g be m/(-637) - (-2)/7. Sort 3, 0, g.
g, 0, 3
Suppose 0 = 5*x - 1 - 4. Suppose -12 = f - 5*f. Suppose -f = 2*n - v, -3*n - 1 = v + 11. Sort 4, x, n in increasing order.
n, x, 4
Let b = -8 + 12. Let o = 21 + -21. Let h = -752/2583 + 2/369. Put h, b, o in descending order.
b, o, h
Let y = -94 - -118.8. Let l = 25 - y. Sort 1/2, 0.4, l in descending order.
1/2, 0.4, l
Let i(c) = -c**2 + 6*c - 6. Let b be i(5). Let g be -2*(2 - b/2). Let a(l) = 4*l**2 - 25*l + 3. Let q be a(6). Put g, -1, q in increasing order.
g, q, -1
Let w = 4 + -3.5. Put 5, -2, w, 6 in decreasing order.
6, 5, w, -2
Let v(f) = -f**3 + 11*f**2 - 19*f + 11. Let h be v(9). Let x(g) = -g**2 - 8. Let d be x(0). Let m = -4 - d. Put -4, m, h in ascending order.
-4, h, m
Let n = 6 - -16. Put -5, -1/6, -1, n in descending order.
n, -1/6, -1, -5
Let o = -166 - -503/3. Let p be (-92)/20 - -6 - (1 - 0). Put p, o, -4 in descending order.
o, p, -4
Let w(q) = q**2 + 5*q + 5. Let f be w(-4). Suppose 5*j - f = r, -r - 4*r = 3*j + 5. Let y = 17.1 + -16.7. Sort j, y, -3.
-3, j, y
Let m(l) = -l**3 - 12*l**2 - 10*l + 10. Let w be m(-11). Sort -5, 4, w in descending order.
4, w, -5
Let b be 1*-5 - (-2)/2. Let a(m) = -m**3 - 3*m**2 + 26*m - 14. Let y be a(-7). Put 1, y, b in decreasing order.
1, y, b
Let j(p) = p**3 - p**2 - p - 1. Suppose -3*b = 2*b - 10. Let c be j(b). Put c, 5, 4 in descending order.
5, 4, c
Let r(f) = f + 6. Let c be r(-6). Put -4, 5, c in descending order.
5, c, -4
Let z = 7.925 - -0.075. Sort 2/3, -1/10, z, -4/9 in decreasing order.
z, 2/3, -1/10, -4/9
Let f = 62 + -62.4. Sort 0, f, 1, 0.1.
f, 0, 0.1, 1
Let v be (1 - -1) + (-81)/18. Let b = -13 + 12.93. Let y = b + -2.93. Sort -6/11, y, v in decreasing order.
-6/11, v, y
Suppose 0 = -2*j + j + 4, 0 = g + 3*j - 22. Sort g, 2, 3 in increasing order.
2, 3, g
Let d = -1.2 - -0.8. Put d, 2/21, 0.05 in decreasing order.
2/21, 0.05, d
Let f be 2 + (1 - 1)*-1. Let k = f - 0. Suppose 3 = -k*p + 5. Put 4, p, 3 in descending order.
4, 3, p
Let a(p) = p**3 + 9*p**2 + 2*p + 13. Let q = -26 - -17. Let b be a(q). Let j be (48/3)/2 - 3. Sort 1, b, j.
b, 1, j
Let n(d) = 3*d - 14. Let r be n(3). Sort 6, r, 1, 5 in decreasing order.
6, 5, 1, r
Let r = -26 - -49/2. Let p = 9.95 + -10. Let s = -0.15 - p. Sort r, -2/9, s in increasing order.
r, -2/9, s
Let l = 1.8 - 2. Let j = -0.2 - l. Let s = 43/5 - 87/10. Put 4, s, j in increasing order.
s, j, 4
Let f = 0.4 + 0.7. Let q = f - 0.8. Put q, -0.1, -0.2 in decreasing order.
q, -0.1, -0.2
Let b = 1 + -0.9. Let l = 0.02 - -0.38. Let z = l - 0.4. Put b, 0.3, z in decreasing order.
0.3, b, z
Let b(p) = p**2 - 6*p + 3. Suppose 4*g - 3 - 14 = -5*q, -g - 7 = -q. Let y be b(q). Let x = 11 + -7. Sort -5, x, y in descending order.
x, y, -5
Suppose 2 = -p - 3, 2*m + 2*p + 24 = 0. Let v = -7 - m. Sort 3, -2, v in ascending order.
-2, v, 3
Suppose 4*l - 13 = -1. Let a = -5 + -1. Let h = a - -5.9. Put h, 4, l in decreasing order.
4, l, h
Let x = -2.2 - -0.2. Let o = x - -3. Let a(q) = q**3 - 11*q**2 - 1. Let m be a(11). Sort -2/5, o, m in decreasing order.
o, -2/5, m
Let l = 8 - 6. Let n = -1 + l. Let u(f) = -f + 2. Let y be u(-2). Put -3, y, n in decreasing order.
y, n, -3
Suppose -2 + 16 = -2*m. Let j = m + 8. Let h = -8 + 8. Sort j, h, 2 in decreasing order.
2, j, h
Let v = -3 - -7. Let x(c) = 2*c - 3. Let u be x(2). Let k = u - 0. Sort -3, v, k in ascending order.
-3, k, v
Suppose 8*y = 5*y. Let j(k) = -k**3 + 5*k**2 - 3*k - 5. Suppose 2*w = 4*w - 8. Let f be j(w). Sort f, 1, y in ascending order.
f, y, 1
Let v(n) = -n**3 + 5*n**2 - 2*n + 7. Let g be v(5). Let y be (-10)/g - 3/1. Sort 3, y, -1/2 in decreasing order.
3, y, -1/2
Let k(t) = t**2 - 10*t + 4. Let p be k(10). Let i(a) = -a**3 - 5*a**2 + a + 5. Let q be i(-5). Sort -1, q, p in decreasing order.
p, q, -1
Let q = -27.4 + 27. Put -0.3, -5, q, 0.04 in descending order.
0.04, -0.3, q, -5
Suppose 6 = 2*w + 2*i, 0*w = -4*w + i + 17. Suppose 5 = 3*j - 5*a, w*a - 2 + 3 = 3*j. Let k = -3 - -1. Sort k, j, -4 in decreasing order.
k, -4, j
Let i = 73 - 69. Let a(h) be the second derivative of h**4/2 + h**3/3 + h**2/2 - h. Let m be a(-1). Sort i, 2, m in decreasing order.
m, i, 2
Let g = -88 + 91. Sort -8/11, -0.4, g in increasing order.
-8/11, -0.4, g
Let r be -2*((-9)/(-10) - 1). Let d = 261/376 - 15/47. Put r, d, -3 in descending order.
d, r, -3
Suppose -3*s + 0*s - 6 = 5*a, 2*s - 2*a = 12. Suppose s*w = -3*d + 27 - 9, -4*d = 2*w - 22. Sort 4, w, 3 in decreasing order.
4, 3, w
Let o = -11 - -25. Let z = -4 + o. Let h = -6 + z. Put h, 1/4, 3 in decreasing order.
h, 3, 1/4
Let r(k) = -k**3 + 8*k**2 + 10*k - 4. Let a be r(9). Let s = 24 + -27. Sort 2, s, a.
s, 2, a
Suppose -a = -0*a. Suppose -2*q + 3*r - 8 = a, -3*q + 5*q = 4*r - 10. Sort q, 3, -3.
-3, q, 3
Let h be ((-1)/3)/(33/44). Put h, -0.2, 0.5 in decreasing order.
0.5, -0.2, h
Let z = 0.04 - -0.36. Let o = 0