i, 2/11, -0.1 in decreasing order.
2/11, -0.1, i
Let s(m) = -2*m + 17. Let r be s(11). Sort r, -1, -0.3.
r, -1, -0.3
Let z be -5 + 16/4 + 5. Put -5, 8, z in ascending order.
-5, z, 8
Suppose 4*a = -a + 35. Put -1, a, 5 in descending order.
a, 5, -1
Suppose 5*s + 2*t - 4 = 0, -4*s - 3 = 5*t - 13. Let q be (-4)/(-18) + (-75)/(-27). Suppose 0 = -d - 0 - q. Sort s, 1, d in decreasing order.
1, s, d
Let d = -259 + 2851/11. Let i be (2/3)/2*-2. Let x = 97 + -483/5. Put x, i, d in ascending order.
i, d, x
Let b be 6/9 - 7/(-3). Put -5, b, 0 in ascending order.
-5, 0, b
Suppose -3*f - 5 = -17. Sort -6, -3, f in ascending order.
-6, -3, f
Let i = -2.7 - -2.4. Let n = -0.05 + 3.05. Sort 2/11, i, n.
i, 2/11, n
Suppose 0*l - 2*l + 14 = -4*b, -4*b = 2*l - 6. Put -2, -5, b in descending order.
b, -2, -5
Let r(u) = -u**2 + 7*u. Let k be r(3). Let m(w) = -w**3 + 12*w**2 - w + 14. Let a be m(k). Put -5, a, 4 in ascending order.
-5, a, 4
Suppose -2*z + 3*y = 2, z - 2*y = -5*y - 1. Let c be (12/4 + -2)/z. Sort 4, c, 0 in descending order.
4, 0, c
Suppose 0 = -3*g - g - 12. Sort 4, 1, g in descending order.
4, 1, g
Let n be (-8 + 5)/((-4*1)/4). Let i = 1 - 0.5. Sort n, i, -0.3 in descending order.
n, i, -0.3
Let x = -4 + 8. Let k = -22 + 29. Let p = x - k. Sort p, -1/3, 5 in increasing order.
p, -1/3, 5
Let x = -6 - -6.07. Let t = 0.33 + x. Let b be ((-6)/(-9))/(5/(-3)). Sort t, b, -1/6.
b, -1/6, t
Suppose 0 = -2*h - 3*h - 25. Let v = -57 - -56.8. Sort v, h, 8.
h, v, 8
Let r = 91 - 94. Let l be (1 - 5) + (-2)/(-1). Let m be l/((-1)/1) - 1. Sort r, -2, m.
r, -2, m
Suppose 8 - 32 = 4*m. Let w = m + 12. Put -0.4, w, 4 in increasing order.
-0.4, 4, w
Suppose -2*j + 4*w + 2 = 14, -j + w - 2 = 0. Let f = j + 5. Let r = f + -8. Sort -2, 0, r in ascending order.
-2, r, 0
Suppose -14*u + 16*u + 2*f = 2, 2*f + 4 = -5*u. Put -1, -5, u, 0.1 in ascending order.
-5, u, -1, 0.1
Let o(m) = m - 8. Let p be o(7). Let w(x) = x**2 - 11*x + 11. Let u be w(10). Sort 5, p, u.
p, u, 5
Suppose 3*r = -2*i + 6*i + 6, 0 = -i. Let f be 2/8*(0 - -1). Put f, 0.1, r in decreasing order.
r, f, 0.1
Suppose 2*r - 11 = 3*o, o + 5 = -4*o. Suppose -3*d - 28 = r*c, 4*c - d + 9 = -3. Sort -2, 4, c in ascending order.
c, -2, 4
Let o = 0.02 + -0.42. Sort 2, 1/2, o in decreasing order.
2, 1/2, o
Let h = -3.97 + -0.03. Sort 0.5, h, 0.4, -5 in decreasing order.
0.5, 0.4, h, -5
Let u = 10807/456 - 440/19. Let d = u - 2/3. Let o = 55/2 + -173/6. Put 0.1, o, d in descending order.
0.1, d, o
Let j be (-3)/(-1) + (-57)/(-3). Sort j, 0, 5, -4 in increasing order.
-4, 0, 5, j
Let o = 16 - 12. Put o, 2/7, 3/5, 3 in descending order.
o, 3, 3/5, 2/7
Suppose 2*d = 3*d. Let l = 86 - 89. Sort 2, l, d in decreasing order.
2, d, l
Let b be 279/99 - 4/(-22). Sort 22, -3, b.
-3, b, 22
Let k be (3*(-4)/(-18))/(12/90). Put k, -1, -3 in ascending order.
-3, -1, k
Let y be (-14)/8*(-12)/1. Suppose 5*j = -0*j - 3*b - y, 3*j + b = -11. Sort -4, 3, j.
-4, j, 3
Let m = 8 + -6. Let z = -49/12 + 13/3. Put -1/8, m, z in ascending order.
-1/8, z, m
Let l = 42 - 43. Sort l, 3, -2.
-2, l, 3
Let k(c) = -8*c. Let s be k(-1). Let z(p) = -2*p - 8. Let u be z(s). Let r be 2/(-8) + (-2)/u. Sort r, 0.3, 3/7 in increasing order.
r, 0.3, 3/7
Let h be (-8)/8*2*2. Let f = 6 + h. Sort 0, 1, f in descending order.
f, 1, 0
Let t = 17 - 13. Sort -5, -4, t in ascending order.
-5, -4, t
Let k be 215/(-30) - -4 - 2/(-4). Put -0.5, k, 1/4, 5 in descending order.
5, 1/4, -0.5, k
Suppose -2*b = 2, 0 = -v - 3*b - 6 - 5. Sort 3, v, -4 in decreasing order.
3, -4, v
Let u(p) = -p**3 - 4*p**2 + 2*p - 14. Let m be u(-5). Sort 5, -5, m.
-5, m, 5
Let n = 15 - 14. Put 4, n, -2 in ascending order.
-2, n, 4
Let z = 3 + -2.8. Put z, 0.5, 18 in ascending order.
z, 0.5, 18
Let l = 14 - 11. Put -5, 5, l in decreasing order.
5, l, -5
Suppose -598 + 26 = 4*a + 2*y, -5*a - 2*y = 713. Let z = a + 427/3. Sort 4, z, 0.
0, z, 4
Let t(f) = f**3 + 7*f**2 - 4*f + 10. Let u(b) = 2*b**3 + 14*b**2 - 9*b + 20. Let n(w) = 5*t(w) - 3*u(w). Let v be n(-8). Put -3, -1, v in increasing order.
-3, v, -1
Suppose -4*o + 3 = -1. Let y be (3 - 1)*o/(-10). Put -2, y, 2 in ascending order.
-2, y, 2
Suppose 0 = -0*r - 3*r - 6. Let n be (1 - 3) + -5 + 3. Sort n, -5, r.
-5, n, r
Let o be ((-11)/5 - -1)/((-6)/20). Suppose 4*z + 23 = 3*z - 5*a, -2*a = 4*z + 2. Suppose z*b = 5*b. Put b, 2, o in descending order.
o, 2, b
Let p(n) be the first derivative of n**4/4 + 4*n**3/3 - 3*n**2 + 2*n - 2. Let w be p(-5). Sort w, 5, 1.
1, 5, w
Suppose -2*z + 8 = 2*z. Suppose z*v - 10 = -0. Suppose -4*d - t = -3, 4*t - 7 = -d + v. Put d, 5, -1 in descending order.
5, d, -1
Suppose -3*g = 2*l + 11, 5*g = -2*l - 2 - 3. Let m = -5 - l. Let n(i) = -i**2 + i - 3. Let t be n(0). Sort t, m, 1 in decreasing order.
m, 1, t
Suppose 2*j = -3 - 7. Let g = 10 + -5. Sort j, g, 2 in increasing order.
j, 2, g
Let y = -0.433 - 0.067. Sort y, 0.1, 2 in decreasing order.
2, 0.1, y
Let d be ((-4)/6)/(14/3). Sort 0.3, d, -5 in increasing order.
-5, d, 0.3
Let o be (24/42)/((-5)/(10/(-4))). Let v = 6 - 6.4. Suppose 2*t = -2*d - 2, 5*d + 4*t + 0*t = 0. Sort d, v, o in increasing order.
v, o, d
Let w(o) = 4*o - 3. Let f be w(2). Let x = f + -3. Sort -5, 0, x.
-5, 0, x
Let s(i) = i**2 + 7*i + 2. Let a be s(-7). Let w(k) = a + 2*k - 4*k + 3*k. Let y be w(-5). Sort -1/4, y, -0.5.
y, -0.5, -1/4
Let q be 6/(-10) - 112/5. Let j = q + 20. Put j, -1, 3 in decreasing order.
3, -1, j
Let b = 0.07 - 0.07. Let z = 0 - 0.2. Put z, b, -3 in increasing order.
-3, z, b
Suppose 0*x - x + 3 = 0. Let f = -2 + 2. Suppose -4*s + o = f, 2*s + 7 + 7 = -3*o. Put s, 1, x in decreasing order.
x, 1, s
Let f = 66 + -62. Sort 2/7, 0.1, -1, f in ascending order.
-1, 0.1, 2/7, f
Let s = -0.2 - -1. Let m = 16.2 - 12. Let c = s + m. Sort c, -2, 0.5 in decreasing order.
c, 0.5, -2
Let g = -3 - -4. Let u = -9 + g. Let r = u + 13. Put -2, -1, r in increasing order.
-2, -1, r
Let v be 10/4*(-4)/(-60). Let l = -71/5 - -15. Put -0.2, l, v in descending order.
l, v, -0.2
Let b = -6.15 + 0.55. Let o = -6 - b. Let q be (1/15)/(6/9). Sort -0.2, q, o.
o, -0.2, q
Let s be 13/5 - (-6)/15. Sort 4, s, 1 in descending order.
4, s, 1
Let c = -7 - -12. Suppose 2*d + 10 = c*u - 11, 4*d - 2*u = -2. Put -2, 4, d in descending order.
4, d, -2
Let i(m) = m**3 - 10*m**2 + 10*m - 7. Let v be i(9). Let s = -1 + v. Let x be s + 3/(-6)*-6. Put -5, x, -3 in decreasing order.
x, -3, -5
Suppose -5*g + g = 20. Sort 5, -2, g.
g, -2, 5
Let r be (-10)/45 + 664/3069. Let m = -712/5115 - r. Let v = -10/39 - 1/13. Put 0.2, v, m in ascending order.
v, m, 0.2
Let b(t) = t**2 + 5*t - 4. Let s be b(-6). Sort 0, s, 3 in descending order.
3, s, 0
Let j = -741/10 + 74. Let s = 0.4 - 0. Sort s, 1/4, j in decreasing order.
s, 1/4, j
Let v = -23 + 27. Sort -2/3, -0.01, v in decreasing order.
v, -0.01, -2/3
Let q = -0.2 + 2.2. Put -1/2, q, -3 in ascending order.
-3, -1/2, q
Let q(g) = g**3 + g**2 - 2*g - 3. Let l be q(-2). Let a = -0.36 - -0.06. Put 1, a, l in descending order.
1, a, l
Let l = -8 - -12. Put -2/11, l, -0.4 in decreasing order.
l, -2/11, -0.4
Let b(p) = -p**2 - 4*p - 6. Let x be b(-4). Let f = 6 + x. Put f, -4, 1 in decreasing order.
1, f, -4
Let b be (-3)/(-9) + 10/6. Suppose 2*i = -3*i. Suppose n = -2*z + 12, n - z - 2*z + 8 = 0. Sort i, n, b.
i, b, n
Let g = 3 + -7. Let f = 8 + -9. Put g, f, 4 in increasing order.
g, f, 4
Let m be (-8)/(-6)*3*-1. Let p(w) = 2*w + 11. Let f be p(-8). Let l be 1 - 1/1 - -2. Put l, f, m in ascending order.
f, m, l
Let l be 6*(28/(-8) - -4)/(-5). Sort 0.2, 5, l.
l, 0.2, 5
Let g = 30 - 32. Sort g, 0, 2 in increasing order.
g, 0, 2
Suppose 3*n + 3 - 12 = 0. Suppose 0 = -y + 3*l + 17, -4*y - n*l - 11 = -4. Put -1, -3, y in increasing order.
-3, -1, y
Let q be 0 + 2 + -1 + 2. Suppose -q*j = -11 + 65. Let m be 3 - (-1 + (-69)/j). Put 0.4, m, 5 in ascending order.
m, 0.4, 5
Let r = -107 - -119. Sort -3, r, 2 in descending order.
r, 2, -3
Let w = -3674/17 + 216. Put 3/10, -1, 1, w in ascending order.
-1, w, 3/10, 1
Let f(v) = -3*v**3 - 5*v**2 - 7*v - 1. Let o(c) = c**3 - c**2 + c + 1. Let i(q) = f(q) + 2*o(q). Let k be i(-6). Sort -2, 5, k in descending order.
5, -2, k
Let d(w) = w + 9. Let s(j) = j**2. Let r be s(2). Suppose 4*m = 2*h - 26, 2*m - r*h - 29 = 3*m. Let f be d(m).