. Sort -2/9, z, i in descending order.
i, z, -2/9
Let b(c) = c**2 + 10*c - 12. Let z be b(-11). Sort 5, -5, z in descending order.
5, z, -5
Let z = -0.25 + 4.25. Put 1, 0.1, -2/9, z in increasing order.
-2/9, 0.1, 1, z
Suppose 1 = -t + 4*v - 5*v, -2*v = -2. Put t, -6, -4 in decreasing order.
t, -4, -6
Let b be ((-2)/4)/(2/8). Let v = -43 - -38. Put b, 5, v in decreasing order.
5, b, v
Suppose 15*a + 3 = 14*a. Sort 5, -0.1, a in descending order.
5, -0.1, a
Let a = -3 - 1. Let j = -5 - a. Sort j, -2, -4.
-4, -2, j
Suppose -r - 25 = 5*f, -5*f = -2*r - 0*r - 5. Sort -3, -5, r, 1 in descending order.
1, -3, -5, r
Let f be -2 + 4 - (22/10)/1. Put 8, 5, -0.3, f in ascending order.
-0.3, f, 5, 8
Suppose 0 = 4*a + 9 + 35. Put a, -5, 0 in increasing order.
a, -5, 0
Let i(c) = -c - 1. Let v be i(4). Sort -3, v, -2 in descending order.
-2, -3, v
Suppose -2*r - x + 0*x + 17 = 0, 5*r - 39 = x. Suppose m + m = r. Sort -16, -5, m in increasing order.
-16, -5, m
Let t = 73 - 70. Put 1/3, t, -1/8 in decreasing order.
t, 1/3, -1/8
Suppose -4*l - 3 = 101. Sort -2, -1, l, -5 in decreasing order.
-1, -2, -5, l
Let l be -9*(-3 + 2)/1. Let g = l - 6. Let i(b) = b**2 - b + 2. Let h be i(2). Put h, -4, g in increasing order.
-4, g, h
Let i be ((-340)/(-30))/((-2)/3). Let z = -13 - i. Put z, -5, 2 in ascending order.
-5, 2, z
Let f = 1 - -1. Let m = 1.3 - 0.3. Put f, m, -5 in increasing order.
-5, m, f
Let g = 61 + -58. Put -3, g, -1 in increasing order.
-3, -1, g
Let l(c) = 12*c + 4 - 6 - 5 - c**2. Let r be l(11). Let j = 0.1 - 0.1. Put j, 0.1, r in decreasing order.
r, 0.1, j
Let k(g) = -g + 6. Suppose 3*d = 2*d + 4. Let j be k(d). Sort -4, j, -1 in decreasing order.
j, -1, -4
Let x be (-3 - (-3 - 0))/(-2). Suppose -2*m - 5 - 5 = x. Sort m, -2, 5 in decreasing order.
5, -2, m
Suppose 0 = -5*s + 8*s - 24. Let k = 11 - s. Let y(p) = 5*p**3 - p. Let v be y(1). Sort v, k, -3.
-3, k, v
Let o(r) = -r - 2. Suppose 5*n + 0*u + 2*u + 9 = 0, -3 = -3*n - 4*u. Let s be o(n). Suppose -9 = 5*c - 2*c. Sort c, -2, s in descending order.
s, -2, c
Let v(m) = m. Let r be v(-5). Put 1, r, 4 in descending order.
4, 1, r
Let c = 0.7 - -2.3. Let z = c + -3.2. Let k = 8 + -5. Put -5, k, z in increasing order.
-5, z, k
Let y = -0.27 + -0.3. Let g = y + 0.17. Sort -1, 0.4, g in ascending order.
-1, g, 0.4
Let o be 27/5 + 4/(-10). Suppose -o*k - 15 = -10*k. Put -1, 1, k in decreasing order.
k, 1, -1
Let b be (-1)/(4/24) + 3. Let d be (1/(-2))/(3/24). Sort -2, b, d in decreasing order.
-2, b, d
Let d be 2/1*3/(-6)*-3. Suppose 8*r - 4*r = 0. Sort d, 4, r in increasing order.
r, d, 4
Let f(n) be the first derivative of -n**3/3 - n**2/2 + n + 3. Let v be f(2). Let l(h) = h**2 + 3*h - 6. Let r be l(v). Sort -2, 5, r in increasing order.
-2, r, 5
Let n = -12 - 7. Sort 1, n, -1 in ascending order.
n, -1, 1
Let g be ((-3)/(-9))/((-3)/(-36)). Sort -1, g, -4 in descending order.
g, -1, -4
Let c = 9 - 14. Let z = 64 + -68. Sort z, 2, c.
c, z, 2
Let w = 74/63 - 8/9. Let h = 8/19 + -78/95. Sort w, -4/5, h in ascending order.
-4/5, h, w
Suppose 0 = -9*l + 17 + 10. Sort 2, l, -6 in decreasing order.
l, 2, -6
Suppose 5*i - 1 = -5*n + 9, -5*n + 7 = 4*i. Let r(f) = -f**3 - 3*f**2 - f + 2. Let p be r(-3). Let k = p - 7. Sort 2, k, n in decreasing order.
2, n, k
Let v be 2/(4/(-2)) - -3. Suppose 2 = -v*l - 2*q, -3*q = -4*l - 2*q + 16. Let x = 2 - l. Put x, -0.1, -4 in ascending order.
-4, x, -0.1
Let b = -56 - -47.1. Let z = b - -9. Put z, 0, 1 in decreasing order.
1, z, 0
Let o(l) = -4*l - 1. Let p be o(-1). Suppose -p*w + 6*w = -3. Let v(a) = -a**3 - 5*a**2 - 3. Let u be v(-5). Sort 3, u, w in descending order.
3, w, u
Let c(t) = -t**3 - 9*t**2 - t - 4. Let v be c(-9). Let o be (2/v)/(2/(-20)). Put o, 2, 3 in ascending order.
o, 2, 3
Let n = 3 + 11. Let b = -8 + n. Let o = b + -6. Put -4, o, 2 in decreasing order.
2, o, -4
Suppose -2*z + 20 = 7*j - 5*j, 3*z = 3*j. Put -3, 2, z, -4 in descending order.
z, 2, -3, -4
Let q be (0 - -3) + 3/(6/(-2)). Sort 1, -3, q, 4 in descending order.
4, q, 1, -3
Let i = -0.2 + -2.8. Let q = -5 + i. Let v = 7.7 + q. Sort 3, v, -2.
-2, v, 3
Suppose u - 2 = 0, 3*q + 5*u + 2 = -3. Sort -4, q, 2 in ascending order.
q, -4, 2
Suppose 1 = s - 4*n - 10, -2*s + 1 = -n. Let o(k) = -2*k + 2. Let b be o(-5). Suppose 0 = 3*w - 3 + b. Put s, w, -4 in descending order.
s, w, -4
Let s = -34/9 - -127/36. Put s, -4, -1/6, 5 in ascending order.
-4, s, -1/6, 5
Let z = -1/219 + -433/1095. Let b = -8 - -8.3. Sort -3/2, b, z.
-3/2, z, b
Let d = 178 - 180. Sort -3, d, 3, -5 in descending order.
3, d, -3, -5
Let w(f) = -f - 6. Let k be w(-2). Sort 5, 6, k in increasing order.
k, 5, 6
Suppose -56 = -4*r - 2*w, 4*r - 78 + 22 = 3*w. Suppose -6*h + 4*h = -t - r, -6 = -t - 2*h. Put -1, 0, t in descending order.
0, -1, t
Let b(a) = 4*a - 6. Let q be b(6). Let p be (-4)/q + (-96)/54. Let t = 88 + -349/4. Sort t, p, -3/5.
p, -3/5, t
Suppose 0 = -0*m - 5*m, 4*n - 12 = 3*m. Let z = 4 - 9. Sort z, n, 1.
z, 1, n
Let k = -7 + 3. Let z = 25 + -15. Let w be (-6)/z*(-6)/18. Sort 3, w, k in increasing order.
k, w, 3
Let m = -55.5 - -55. Suppose x = -x + 2. Sort x, m, -0.1 in increasing order.
m, -0.1, x
Let v = 73/3 - 23. Put 0.1, -0.1, -2/3, v in ascending order.
-2/3, -0.1, 0.1, v
Let w(k) = -k**2 + 12*k + 11. Let z be w(12). Put z, 0, -4 in increasing order.
-4, 0, z
Let a = -165/4 - -41. Sort 5, 0.1, 0, a in increasing order.
a, 0, 0.1, 5
Let d be (-8)/12*(3 - 0). Sort 3/7, d, -0.4 in ascending order.
d, -0.4, 3/7
Let n = -4.1 - -4. Let x = n - 0. Sort x, 3, -3 in decreasing order.
3, x, -3
Suppose -6 = -33*t + 31*t. Sort -5, t, 4, -2 in descending order.
4, t, -2, -5
Let c be 4*(-2)/(-4) - 2. Sort 4, -2, c in descending order.
4, c, -2
Suppose 10*o = 8*o - 10. Put 5, o, -1 in ascending order.
o, -1, 5
Let k be 2*(-1)/6 + (-55)/15. Sort 4, 3, k, -7 in descending order.
4, 3, k, -7
Let p = 3.3 - 5.3. Sort p, 2/7, -3/5, 2/13 in descending order.
2/7, 2/13, -3/5, p
Let h = 0.19 - 0.09. Let l = -0.5 - 0. Sort l, -1, h.
-1, l, h
Let f = -8.6 + 1.6. Let t = -7 - f. Put t, -5, 0.1 in decreasing order.
0.1, t, -5
Let q be (-1 - (-548)/(-201)) + 3. Let u = 4/67 + q. Put u, 4, -1/3 in increasing order.
u, -1/3, 4
Let j = 12/13 - 14/13. Sort -3/5, j, 0.3, 2/3.
-3/5, j, 0.3, 2/3
Suppose -6*z = u - 2*z, 13 = -4*u - 3*z. Let h(x) = -4*x - 3. Let g be h(-2). Let w(b) = b. Let s be w(g). Put u, s, -1 in ascending order.
u, -1, s
Suppose 0 = -3*m - 2*x - 1, -2*x = -2*m - x + 4. Let y(v) = 0*v + v + 2 + m. Let z be y(-5). Put -4, -1, z in ascending order.
-4, z, -1
Let j = 0.055 + 13.945. Put -2, j, 5/4, -5 in increasing order.
-5, -2, 5/4, j
Suppose 3*j = j + 6. Let s = -2 - j. Put 5, s, -6 in increasing order.
-6, s, 5
Let s be ((-60)/18 + 2)*2/4. Put 1, 2, s in increasing order.
s, 1, 2
Let o = 0 - -0.2. Let y = 0.26 + -0.76. Sort 3, y, o in descending order.
3, o, y
Let x(r) = 5*r**2 + r - 1. Let l be x(1). Suppose 4*y - 1 = -l. Put 4, y, -3 in ascending order.
-3, y, 4
Let v(l) = l**3 + 4*l**2 - 6*l - 2. Let m be v(-5). Let c = m + 0. Put 5, -5, c in decreasing order.
5, c, -5
Let t = -8 - -17. Put -2, -4, t, 1 in decreasing order.
t, 1, -2, -4
Suppose 2*z - 2*n = -3*z - 23, -27 = 5*z - 3*n. Sort 3, z, -5, -1 in ascending order.
-5, z, -1, 3
Let w be 1 + 0 - 10/2. Let g be -1 + ((-1)/3*-9 - 1). Sort w, g, 4 in ascending order.
w, g, 4
Suppose -4 = 2*r - 0*r + 3*j, -r = -3*j - 7. Put -1, 0, r in decreasing order.
r, 0, -1
Suppose -4*p + 12 = z + p, -3*z - 4 = -5*p. Put -2, z, -4 in decreasing order.
z, -2, -4
Let m = 6.7 + -7. Let n = m - -0.4. Sort n, 1, -0.2 in decreasing order.
1, n, -0.2
Suppose 43*p + 5 = 48*p. Let h be (-13 - 1)*(-2)/(-4). Sort h, -5, p in ascending order.
h, -5, p
Let w = -14/33 + -10/11. Let g = 17 + -14. Put 5, w, g in increasing order.
w, g, 5
Let i be 9/(-10) + -1 + 2. Sort i, 0.4, -4/3.
-4/3, i, 0.4
Suppose z = 2 - 3. Put 4, 5, 2, z in ascending order.
z, 2, 4, 5
Let q be -2 - (-2 - -1) - -9. Suppose 0 = -a + 20 - 15. Suppose a*f - q = f. Sort -2, f, 0.
-2, 0, f
Suppose -4*q = -9 + 1. Let v(r) = -10*r + 2. Let t be v(q). Sort t, 2, 0.5 in decreasing order.
2, 0.5, t
Let q be 2/4 - (-85)/(-130). Put 7, -5, q in decreasing order.
7, q, -5
Let k(v) = -v + 1. Let g be 4/(-10) + (-244)/(-10). Let b be 