 order.
g, t, 2
Let i be 1/(1*-1)*-3. Let x be 24/11 - 2/11. Suppose -s + 4*l + x = i*l, -12 = 3*l. Sort s, 0, 5 in decreasing order.
5, 0, s
Let b = -5 + 11. Let n = 106 + -109. Put -1, b, n in descending order.
b, -1, n
Let i(l) = -l**3 + 2*l**2 + 3*l - 3. Let f be i(3). Put f, 3, 0 in descending order.
3, 0, f
Let c = 38/5 + -299/40. Put -2, 0.5, c in decreasing order.
0.5, c, -2
Let n(i) = -i**2 - 5*i + 7. Let t be n(-6). Suppose -5*v + 33 = 8. Let o be v/(-3) - 4/(-6). Put -2, t, o in descending order.
t, o, -2
Suppose 0 = -3*s - s - 60. Sort s, -1, 5, 4 in increasing order.
s, -1, 4, 5
Let g(u) be the first derivative of u**3/3 - 15*u**2/2 + 12*u - 1. Let c be g(14). Sort c, 3, 5 in increasing order.
c, 3, 5
Suppose 4*v - 36 = -5*n + n, -5*n = -3*v - 13. Let x = 6 - 8. Sort x, -4, n in ascending order.
-4, x, n
Let n = 283 - 129. Let h be 72/n + (-20)/110. Sort 0.4, -2, h in increasing order.
-2, h, 0.4
Let x = 3.02 - 3. Let q = x - 0.42. Let b = 0.1 + q. Put b, 0, 4 in ascending order.
b, 0, 4
Suppose 2*u = -4 - 2, 2*o - 5*u - 19 = 0. Suppose 2*f - o = -0*f. Put f, -4, 3 in decreasing order.
3, f, -4
Let r(v) = v**2 + v. Let m(c) = -6*c**2 - 4*c - 2. Let k(n) = -m(n) - 5*r(n). Let i be k(0). Let o be -1 + 2 - (i + 0). Put o, 2, -4 in decreasing order.
2, o, -4
Let d(j) = j**2 - 7*j - 8. Let t be d(9). Let r be 2*3/12*t. Sort 3, r, -4 in decreasing order.
r, 3, -4
Suppose -4*i + 6*i - 7 = v, 5*i - 1 = -3*v. Let j be i + 0/(-4 - 0). Put -2, j, 3 in decreasing order.
3, j, -2
Let o be 3/(-6)*-30*6/(-15). Put o, -1/2, -5 in descending order.
-1/2, -5, o
Let c = 6 - 4. Let g(m) = -m**2 + 3. Let n be g(0). Suppose -7 + 26 = -4*d + z, -26 = 5*d - 2*z. Sort n, d, c in increasing order.
d, c, n
Suppose -3*t = -c + 7, -2*c - t = -c + 9. Let m = 3 - 3.1. Sort c, -2, m.
c, -2, m
Let d = 4 + -8. Let s = 818/13 - 9987/130. Let t = s - -14. Sort 2/5, t, d in increasing order.
d, t, 2/5
Let s = 0 - -2. Let j = 1.5 - s. Sort -1/4, 4, j in decreasing order.
4, -1/4, j
Let x = 0.28 + 0.02. Let q = -0.45 + 0.03. Let h = -0.02 - q. Put 3, x, h in decreasing order.
3, h, x
Suppose y - 3*j = -6*j, -y - 8 = -5*j. Suppose -5*i - h = 22, -4*h - 18 = 3*i - h. Let n be (5/3)/((-1)/(-3)). Sort i, y, n in increasing order.
i, y, n
Suppose -3 = b - 0. Suppose -6*z + 8*z - 8 = 0. Sort b, z, -1.
b, -1, z
Let c = -1.8 + -0.6. Let j = c + 1.4. Sort -0.4, j, -3 in ascending order.
-3, j, -0.4
Let h = -4 - 1. Let s = h + 4.8. Sort -5, 1/6, s.
-5, s, 1/6
Let v = 0.43 - 0.03. Let b = -0.1 - -2.1. Put b, v, -1 in ascending order.
-1, v, b
Let q = -0.05 + -0.15. Sort 1/11, q, -2, 2/15 in decreasing order.
2/15, 1/11, q, -2
Suppose -5 = -2*o - g, o + 2*o + g - 6 = 0. Let m be ((-36)/8)/((-3)/(-4)). Let t = 5 + m. Sort t, -3, o.
-3, t, o
Let y = -35.1 - -41. Let s = y - 0.9. Suppose -25 = -5*x, 2*w = -2*w + 4*x - 4. Put 3, s, w in decreasing order.
s, w, 3
Suppose -4*t - 3*r = 8, -r = -4*t - 4 - 4. Let c be (-1)/4 + t/(-8). Let i = c + 1. Put 5, 0.4, i in descending order.
5, i, 0.4
Let u = 1 - 4. Suppose -22 = -5*x - 3*i, -2*i + 16 = 2*x + i. Sort x, u, -4 in increasing order.
-4, u, x
Let m = 18 + -27. Sort 3, 1, m, -0.3 in decreasing order.
3, 1, -0.3, m
Suppose 0*g - g = 1. Sort g, 0, -0.5 in ascending order.
g, -0.5, 0
Suppose 2*g - 3*q = 23, -5*g - 2*q = 2*q. Sort 0.3, g, -2/3 in ascending order.
-2/3, 0.3, g
Let r = 3 - 3. Let l = r + -0.1. Sort 3, -0.5, l in increasing order.
-0.5, l, 3
Let s be 2/(-3*2/3). Suppose 0 = 4*u - 5 - 11. Suppose 8 = 3*k - 2*i, 0 = -0*k + k + i + u. Sort -3, k, s in descending order.
k, s, -3
Let c be (-84)/315*(-5)/6. Put -12, -2/11, 2, c in decreasing order.
2, c, -2/11, -12
Let g be 9 + -13 + 4/2. Sort 1, 3, g, -1.
g, -1, 1, 3
Let p = 6 - 2. Suppose -3*k - 4*r = 4, p*r - 19 - 1 = 3*k. Put 3, -3, k in descending order.
3, -3, k
Suppose -4*l + 4*q = -8, 6 = -0*l + 4*l - 2*q. Put 4, 2, l in ascending order.
l, 2, 4
Let a = -0.031 - -24.031. Let m = a + -23.6. Put 2, m, 0.1 in ascending order.
0.1, m, 2
Let w = 94 - 89. Put w, 3, 0, 1 in descending order.
w, 3, 1, 0
Let r(u) = u**2 + 8*u - 2. Let o be (-34)/(-8) - 1/4. Let n be (-30)/o - (-4)/(-8). Let w be r(n). Sort -5, w, -4 in ascending order.
-5, -4, w
Let i = 18 + 0. Let b be i/(-24) + 2/(-8). Sort 4, b, 2 in descending order.
4, 2, b
Suppose -45 = -2*f - 5. Let s be (f/(-15))/(1/3). Put -8, s, 3 in descending order.
3, s, -8
Let u be 4/6*3 + 2. Let c = 581 + -4076/7. Let k = 31/35 + c. Put u, -2/7, k in decreasing order.
u, -2/7, k
Let b be (-5)/6 + (-3)/(-9). Let w = -5/6 - b. Let h = -6 - -10. Put h, 1/8, w in decreasing order.
h, 1/8, w
Let n = -2.85 - 0.15. Put 0.1, 0.2, n in descending order.
0.2, 0.1, n
Let t(o) = o**3 - 4*o**2 - 3*o - 1. Let d be t(5). Let l = -6 + 6. Suppose -w - 2*w - d = l. Sort -5, -4, w in decreasing order.
w, -4, -5
Suppose -2*b + 3*b = -5*v + 6, 2*v = 5*b - 3. Let y = -0.7 + 0.7. Let s = -1 - y. Sort s, v, -2 in descending order.
v, s, -2
Let j(q) = q**3 - 6*q**2 - 8*q + 6. Let m be j(7). Let g(s) = 2*s - 4. Let f be 3*(-1 + 0)*-1. Let a be g(f). Put m, -5, a in descending order.
a, m, -5
Let n be 1/(-9)*(4 + -1). Let b(x) = 2*x - 3. Let s be b(3). Suppose -4 - 2 = -s*r. Sort r, -5, n in increasing order.
-5, n, r
Let n = -0.31 + -0.09. Let b be (-34)/(-28) + (-2)/(-7). Let v be (15/(-12))/(3/12). Sort n, v, b in decreasing order.
b, n, v
Let y(a) be the second derivative of -a**5/20 - 7*a**4/12 + a**3/6 + 5*a**2 + 4*a. Let p be y(-7). Put -2, p, -4 in increasing order.
-4, -2, p
Let u(g) = -g - 3. Let l be u(-9). Let n be ((-20)/l)/((-4)/6). Put 2, -5, n in decreasing order.
n, 2, -5
Suppose -5*q = -2*k + 19, 3 = 3*k - 4*q - 8. Put k, -2, 7 in increasing order.
k, -2, 7
Let w = 17/7 + -15/7. Let z = -12 - -2. Let f = 15 + z. Sort f, w, 0.4 in increasing order.
w, 0.4, f
Suppose 3*m + m + 3*s - 1 = 0, 0 = m + 4*s - 10. Let j be 272/(-72) + m/9. Put j, -0.2, 4 in increasing order.
j, -0.2, 4
Let m = 99 - 94. Sort 2, 4, m, -21 in ascending order.
-21, 2, 4, m
Suppose 0 = 5*k + 5*y - 5, k - y = y - 2. Let q(p) = 4*p**3 - 5*p**3 - 4*p**2 + 2 + 9*p - 3*p. Let g be q(-5). Sort k, g, -5 in decreasing order.
k, g, -5
Let d(k) = -k**2 - 6*k + 7. Let i be d(-7). Suppose 2*j + i = -4. Suppose 0 = 2*m - 4*z - 10, 0 = 2*z + 3*z. Sort j, m, 0 in ascending order.
j, 0, m
Let k = -293 + 288. Let y be (-8)/42*9/(-6). Sort 4, y, k in decreasing order.
4, y, k
Let n = 160 + -160.1. Sort -0.4, 2, 0.3, n in descending order.
2, 0.3, n, -0.4
Let s(m) = -m**2 + 2*m - 9. Let g be s(3). Sort -2, g, -5, 2.
g, -5, -2, 2
Let p = 3 + -2.9. Let t = 14 - 9. Put t, p, -0.1 in decreasing order.
t, p, -0.1
Let y be (-4)/(-2)*1/(-2). Let c be 1/(-2) + 5/2. Suppose x = c*s - 4, s + 2*s + 12 = -3*x. Sort y, x, 4.
x, y, 4
Let i = -132 - -134. Let v = 35591/40794 + 60/523. Let d = v - 5/6. Put d, i, -0.5 in decreasing order.
i, d, -0.5
Suppose 2*s + 0*s - r - 5 = 0, 3*r = 3. Put 4, -5, s in decreasing order.
4, s, -5
Let i = -1 + 4. Let d = -3.7 + 5.7. Sort d, 0, i in decreasing order.
i, d, 0
Let r be ((-76)/10)/(16/(-40)). Suppose -4*b - r = -3. Let z be (-6 - -3)*(-4)/(-6). Sort 2, b, z in descending order.
2, z, b
Let t = -0.72 + 0.38. Let j = t - -0.04. Let p = 2.7 - j. Put -5, -2/7, p in descending order.
p, -2/7, -5
Let t = -10 + 14. Let p be 2 - t/(1 + -3). Suppose p*h + 2*d = -3*d, 3*h = 3*d + 27. Put h, 0, -3 in decreasing order.
h, 0, -3
Let g = 0.4 - -1.6. Let s = -7.1 - -7. Sort s, g, -3 in ascending order.
-3, s, g
Suppose -l = 2*j - 33, -4*j + 5*l + 81 = 2*l. Let c be j/(-4) + (-2)/(-4). Put 1, c, 4 in decreasing order.
4, 1, c
Suppose 0 = 3*t + 15, 4*s + 0*t + 4*t + 36 = 0. Put s, 5, -3 in decreasing order.
5, -3, s
Suppose 6*d = 3*d. Suppose -4*g + 3*c = g - 5, -2*g - c - 9 = d. Let u be (-30)/21 + g + 3. Sort -0.2, -2/7, u.
u, -2/7, -0.2
Let j be 26/42 - 2/6. Let t = 32 + -36. Sort -1, t, j.
t, -1, j
Suppose 5*w - 2*n = 16, 0 = -0*w - w + 2*n + 8. Put 0, w, -9 in decreasing order.
w, 0, -9
Let b(g) = 14*g + 3. Let l be b(-4). Sort 4, l, 0.
l, 0, 4
Suppose 4*a + 26 = 6*a. Suppose -k = 2*r - 8, 2*r = 3*k - a + 5. Sort r, 3, -0.5.
-0.5, r, 3
Suppose 5*u + 6*s - 22 = 2*s, 25 = 5*u + 5*s. Let k = 3 + -5. Sort u, -4, k in increasing order.
-4, k, u
Let s(k) = 0 + 6*k**2 + 5*k - 