n descending order.
k, s, -4
Let l = 0.51 - 0.6. Let b = -1.09 - l. Let w = 0 - b. Put w, -2, -3/8 in decreasing order.
w, -3/8, -2
Let o be 0*(1 + (-3)/2). Let u be -2 - o/(1 + 1). Let w = -24 + 20. Put w, u, 2 in decreasing order.
2, u, w
Let y be (-1 - 0)*(-1 + 2). Let g(c) = c**2 - 7*c - 3. Let h be g(5). Let k = 17 + h. Sort -5, y, k in decreasing order.
k, y, -5
Let h be 3*4/9*3. Suppose 4 = 3*p - 6*b + 4*b, -4*b = -3*p - h. Sort -5, -2, p in ascending order.
-5, -2, p
Suppose -4*x = -5*x. Put -5, -3, x in descending order.
x, -3, -5
Let t(m) = -2*m. Let g be t(-1). Suppose -j + g*j = 2. Sort -4, -2, j in descending order.
j, -2, -4
Let h = -54 - -55. Put 15, 3, h in descending order.
15, 3, h
Let x = -44 - -47. Sort 2, x, -6 in ascending order.
-6, 2, x
Let f = -1 - 4. Let i = f + 4.7. Sort i, -3/2, -5 in decreasing order.
i, -3/2, -5
Let d(l) = l**3 - 4*l**2 - 2*l - 13. Let c be d(5). Sort c, -5, 0.3 in ascending order.
-5, 0.3, c
Let j = -0.052 + -7.348. Let i = 8 + j. Let a = -0.9 + i. Sort 0, 0.4, a in increasing order.
a, 0, 0.4
Let s = 16 + -15.93. Let l = s + -0.07. Put l, -3, 0.5 in ascending order.
-3, l, 0.5
Let o be 50/(-65) - (-1 - -1). Let s = -201/65 + 107/130. Let t = o - s. Sort -0.2, 1/6, t in decreasing order.
t, 1/6, -0.2
Let d be 3/(4/((-88)/(-6))). Suppose 0 = b + v - 3, -3*b - 2 = 4*v - d. Suppose -j + 8 = -3*j. Sort b, j, -1 in descending order.
b, -1, j
Let y be 4/6*(-6)/(-5). Suppose -3*w - w + 64 = 0. Suppose -k + 4*k - 15 = -4*s, 0 = -5*s - k + w. Put y, -0.1, s in decreasing order.
s, y, -0.1
Let s be 0 + (-3)/(-3) + 2. Suppose -s*b - b - 24 = 0. Let c(v) = -2*v - 8. Let a be c(b). Sort a, -2, -3.
-3, -2, a
Let o = 0 - -1. Let q(t) be the first derivative of -5*t**4/4 + t**2 - t + 2. Let b be q(o). Put b, -3, -1 in descending order.
-1, -3, b
Let l = -0.06 - 0.14. Let r = -7/2 + 4. Let u = -3.01 - -0.01. Put l, r, u in descending order.
r, l, u
Let m = -1.8 + 1.6. Sort -1.5, -1, m in decreasing order.
m, -1, -1.5
Let x(h) = h**2 - 7*h - 1. Let w be x(7). Let m(t) = -t**3 + t**2 + t. Let r be m(w). Suppose -r = c - 5. Put 0, -2, c in decreasing order.
c, 0, -2
Let l = -544 - -14686/27. Sort l, 2, -6/7 in descending order.
2, l, -6/7
Let z = 8 - 8. Suppose z = 3*h - 1 + 10. Put h, 0.4, -5 in descending order.
0.4, h, -5
Let v = -7 - -1. Let d = v - -6.3. Sort 1, -3, d in increasing order.
-3, d, 1
Let d = -16 + 26. Sort d, -5, -2 in decreasing order.
d, -2, -5
Let u(n) = n**3 - 4*n**2 + 5*n - 4. Let x = 7 + -4. Let i be u(x). Put -1, 4, i in ascending order.
-1, i, 4
Let n be 8/(-10) - (-7)/35. Sort -5, n, 1/2.
-5, n, 1/2
Let j = 117/145 - 6/29. Sort 0.2, j, -3 in decreasing order.
j, 0.2, -3
Let h = 1 - -3. Let m be (-63)/(-42)*(-4)/6. Sort h, 1, m in increasing order.
m, 1, h
Let w be (2 + -11)/(3 + -2). Sort 1, w, 0 in increasing order.
w, 0, 1
Let p = 4.4 - -1.5. Let y = 6 - p. Put 1, y, 0.3 in decreasing order.
1, 0.3, y
Let f = -0.19 - 0.21. Sort f, 3, -3.
-3, f, 3
Let b = -13.8 - -18.8. Put b, 0.5, -0.3, -3/8 in decreasing order.
b, 0.5, -0.3, -3/8
Let y = 17 - 9. Let u = y - 10. Sort u, -4, -1 in descending order.
-1, u, -4
Suppose 3*w + i + 69 = 0, -5*w - i + 6*i = 95. Let r be w/40 + 2/(-8). Sort 1, -3/2, r in decreasing order.
1, r, -3/2
Suppose 16 = 5*h - 4. Suppose -10 = -x - 4. Sort x, h, 5 in descending order.
x, 5, h
Let u = 24 + 8. Suppose 3*a = -a - u. Let w = a + 5. Sort 0, -4, w in descending order.
0, w, -4
Suppose 5*f + 22 = -2*m, -4*m + f - 5*f - 20 = 0. Sort m, -2, 2 in increasing order.
-2, m, 2
Let l = -0.01 + 0.07. Put l, -5, -1/9 in descending order.
l, -1/9, -5
Let q = 0.2 + -0.4. Suppose -3*z + 5*z = 0. Suppose -5*b + 5*d + 15 = z, b - 13 = -5*d + d. Sort 1/6, q, b in ascending order.
q, 1/6, b
Let x(s) = -s**3 + 9*s**2 - 2*s + 16. Let d be x(9). Put 10, 5, d in ascending order.
d, 5, 10
Let d(o) = -4 + 2*o + 3*o - 2*o - 4*o. Let p be d(-6). Suppose 0 = -p*c + 6*c - 8. Put c, -0.3, 5 in descending order.
5, c, -0.3
Suppose 11*d + 12 = 5*d. Sort -3, d, 0 in descending order.
0, d, -3
Let i = 0 + -0.1. Let h(b) = b - 9. Let o be h(5). Let p be ((-12)/(-42))/(2/o). Put 6, i, p in descending order.
6, i, p
Suppose 6*o - 40 = o. Suppose 5*z + 2 = -o. Let r be 0 + ((-9)/3 - z). Put r, -3, 4 in ascending order.
-3, r, 4
Let i = 136 + -66. Let z be 4/i*(-10 + 5). Sort z, 5, 1/4 in decreasing order.
5, 1/4, z
Let l = 0.06 - -2.94. Let b = -890 + 1741/2. Let k = 77/4 + b. Sort 1/2, k, l in descending order.
l, 1/2, k
Let p = 2.1 + -1.6. Put p, 4, 0.6 in descending order.
4, 0.6, p
Let q = -8 + 9. Let s be (0 - (-6)/8) + 0. Let o = 0.11 + -5.11. Sort s, q, o in descending order.
q, s, o
Let b be (-2)/3*(-3)/1. Let x = 26 - 22. Sort 0, x, b in ascending order.
0, b, x
Let v = 6.7 - -1.3. Let u = -3.6 - -4.1. Let x be 6/(-2) + (-48)/(-12). Sort u, v, x in ascending order.
u, x, v
Let o be 17/68 - (-38)/8. Put -5, 0, o, -4 in increasing order.
-5, -4, 0, o
Let r be -1*2 + 4 + -3. Let y be -1 - r - (-3 - -2). Sort 4, -2, y.
-2, y, 4
Suppose n - 2*d - 5 = 1, 5*n + d + 3 = 0. Sort 6, 0.5, n, 4 in decreasing order.
6, 4, 0.5, n
Suppose 2*z = -2*x, -x = z - 6*x - 30. Let v = z - 6. Sort v, -4, 3 in increasing order.
-4, v, 3
Suppose 5*o = 594 + 306. Let l be (-4)/(-18) - 4/o. Let p = -4.3 + -0.7. Sort -2/5, p, l in increasing order.
p, -2/5, l
Let x = 8/3 - 65/21. Put -1/4, x, 0 in ascending order.
x, -1/4, 0
Let s be 24/16*(-158)/(-138). Let u = 5801/23 + -252. Let x = u - s. Put 3, 0.4, x in increasing order.
x, 0.4, 3
Let l = -2 + 1. Sort 2, 1/6, 0, l in descending order.
2, 1/6, 0, l
Let w = 2.4 - 3. Let p = w - -0.3. Sort p, -2, -0.4 in increasing order.
-2, -0.4, p
Let l(j) = j - 1. Let x be l(13). Let c be 3/(-9) + (-56)/x. Sort -2, c, 0 in decreasing order.
0, -2, c
Let a = -0.7 + -0.3. Let m = 119.2 + -119. Put 3, m, a in decreasing order.
3, m, a
Let a(f) = f + 10. Let l be a(-6). Let g = 2 - l. Let j = -0.6 - 2.4. Sort -4, g, j in ascending order.
-4, j, g
Let y = 145 - 142. Sort 5, y, -1, -3.
-3, -1, y, 5
Let d = 1.6 + -1.9. Sort -5, 0, d.
-5, d, 0
Suppose 8 = 3*q - 5*u, -3*u + 6*u = 3*q. Let o = q - -3. Sort 1, o, 4 in decreasing order.
4, 1, o
Suppose 4*a - 5*g = -a, -5*g = -2*a - 12. Put 1, -5, a in decreasing order.
a, 1, -5
Suppose -7*z - 5 = -2*z. Let p be 1*(z - -2) - 6. Put 3, -4, p in increasing order.
p, -4, 3
Let h = 4 - 7. Let g = h + 13/5. Let m = 0 + 0.2. Put m, 2/7, g in decreasing order.
2/7, m, g
Let z(a) = a - 4. Let u be z(5). Let s be u/((21/(-6))/(-7)). Put -4, s, 3 in decreasing order.
3, s, -4
Suppose -6*l = -5*l - 2. Let m be 7/5 - l/5. Put -5, m, 2 in increasing order.
-5, m, 2
Suppose -o - 4*o - 15 = 0. Let j = o + 1. Put 2, 4, j in descending order.
4, 2, j
Let c = 2 - -2. Let y = c - 4.4. Sort -3/2, y, 0.2 in increasing order.
-3/2, y, 0.2
Suppose -4*f + 9 = -c - 1, 5*f + 10 = -c. Let b be c/(-55) - 62/(-22). Suppose -5*p = -2*q - 0*p + b, -p = q + 2. Put q, -0.1, -0.5 in decreasing order.
-0.1, -0.5, q
Let p be 1/(38/4 + -1). Sort 0.18, p, 3.
p, 0.18, 3
Suppose 0 = 5*v - 2*v + 3*l - 24, 14 = v + 3*l. Let y = -1 - -0.6. Sort y, v, -3 in decreasing order.
v, y, -3
Suppose 8*d - 1 = 7*d. Put -2, -5, d in decreasing order.
d, -2, -5
Suppose 0 = -53*c + 47*c + 18. Sort 2, c, 5 in increasing order.
2, c, 5
Let z = 0.2 - -0.5. Let f = 63.7 - 59. Let k = f - z. Put 0.4, 3, k in decreasing order.
k, 3, 0.4
Let t be (27/(-78))/((-2)/296). Let i = t + -412/39. Let b = i - 41. Put -2, 1, b in decreasing order.
1, b, -2
Let g = 113.49 + -114. Let a = 0.3 - 0.29. Let c = a + g. Put -4/3, c, 5 in descending order.
5, c, -4/3
Let d be 65/20 + (-2)/8. Suppose d*u - u = -3*p + 11, 5*p - u = 27. Sort -3, -2, p in decreasing order.
p, -2, -3
Let y be ((-2)/(-3))/(12/(-90)). Let p = -0.48 + 0.58. Sort y, p, -2 in decreasing order.
p, -2, y
Let w be (-2)/(-2) + 60/(-12). Let n be 3/(-9) + w/(-6). Put n, -4, 0.4 in decreasing order.
0.4, n, -4
Let s be (4/(-6))/((-5)/(-15)). Let w = -0.6 - -2.6. Put -0.3, s, w in descending order.
w, -0.3, s
Suppose -6*i + p = -2*i - 16, -2*i = 5*p - 30. Suppose i = 3*r - 2*r. Sort -5, 1, r.
-5, 1, r
Let c = -1 + 5. Let a = 0 + c. Let n = -25/14 + 9/7. Sort a, 0.5, n in descending order.
a, 0.5, n
Let u = -72 + 70. Let w = -5 - -2. Let y = w - 