). Sort i, -4, d in descending order.
d, i, -4
Let v = -3.2 + 3. Let a = 0.1 + v. Sort -1/5, a, 5 in increasing order.
-1/5, a, 5
Let n = -56.1 - -56. Sort -3, 3, -1/2, n in ascending order.
-3, -1/2, n, 3
Let c = 59 + -61. Sort -7, 5, c in increasing order.
-7, c, 5
Suppose 5*g + 7 = -2*c, 0*g - 3 = g. Let m(z) = z + 1. Let d be m(c). Sort d, -1, -3 in descending order.
d, -1, -3
Let y = 10 - 9.5. Let w = -4.05 + 0.05. Sort -0.2, w, y in increasing order.
w, -0.2, y
Let n = -82.6 + 83. Put -5, -1, 3, n in increasing order.
-5, -1, n, 3
Let l = -7 + 2. Let s = -1.5 + 5. Let y = -3 + s. Sort y, 0.2, l in descending order.
y, 0.2, l
Let m = -2.04 - -0.04. Let p = -7 - -7. Let u = p - m. Put -0.4, u, 4 in descending order.
4, u, -0.4
Let u = 40 + -40. Sort u, 1, -0.4, 4 in increasing order.
-0.4, u, 1, 4
Let y = 0.03 + -4.03. Let w = -2.7 - -4. Let g = w + 3.7. Sort 2, y, g in decreasing order.
g, 2, y
Suppose 5*w - 1 = 9. Put 1, -4, w, 5 in ascending order.
-4, 1, w, 5
Suppose -3*l - 7 = -4*l. Let j(k) = k + l - 3 + 0*k. Let y be j(-8). Sort y, -3, 0 in descending order.
0, -3, y
Let y = 0.07 - -0.03. Let l(q) = -q - 1. Let x(t) = -t**2 - 2*t + 2. Let m(o) = -6*l(o) - x(o). Let r be m(-7). Sort -0.5, r, y in increasing order.
r, -0.5, y
Suppose 8 = -11*f + 7*f. Sort 2, f, -3 in decreasing order.
2, f, -3
Let z = -28 - -26. Sort z, -5, 5.
-5, z, 5
Suppose -d = s - 1, -s - 11 = -4*d + 9*d. Suppose -2*w + 1 = 5. Sort 1, s, w in ascending order.
w, 1, s
Let g be (6/(-15))/(-4 + 3). Sort 1/5, -1/4, g, -2 in ascending order.
-2, -1/4, 1/5, g
Let r(o) = -2*o**3 - 6*o**2 - 2*o + 5. Let g(x) = -x**3 - x**2 + x. Let c(b) = 3*g(b) - r(b). Let a be c(4). Sort a, 1, -2.
-2, a, 1
Let b be 15/6*8/5. Suppose 0 = 4*x + b - 20. Let a = 1 + -7/9. Put a, 3, x in ascending order.
a, 3, x
Suppose -4*m = -9*m + 5*f + 15, -5*f = 5*m + 5. Let o = 11 + -11. Sort 5, m, o in decreasing order.
5, m, o
Let p = -29 + 23. Sort p, 2, -1 in decreasing order.
2, -1, p
Suppose -6*i = -7*i + 3. Suppose 0 = -8*x + 3*x - 15. Sort -2, i, x in decreasing order.
i, -2, x
Let x = 6 - 10. Let u(s) = -2*s**2 - 4*s - s**2 + 4 + 2*s**2. Let q be u(-4). Sort x, 2, q in increasing order.
x, 2, q
Let j = -29 - -30. Sort 1/3, j, -1/4.
-1/4, 1/3, j
Suppose 3*a = -2*x + 1 - 4, -3*a + 27 = -3*x. Let y be x/4*(-8)/3. Let r be (-5)/(1/(0 + 1)). Sort -4, r, y in decreasing order.
y, -4, r
Let v be 51/5 - (-11)/(-55). Suppose -2*u - 2*k = -0*k - v, -5*u + k + 1 = 0. Sort 4, -3, u.
-3, u, 4
Let h(w) = w**2 + 7*w. Let g be h(-7). Put g, 55, 4 in increasing order.
g, 4, 55
Let r = 24 + -20. Put 2/9, -1/4, r in descending order.
r, 2/9, -1/4
Let l be (-5 + -17)*1/2. Let b(j) = -j**2 - 10*j + 11. Let d be b(l). Suppose f + 3 = -d. Sort f, -2, -4 in descending order.
-2, f, -4
Let s(l) = l**2 - l + 3. Let v be s(0). Let u = -17/55 - 1/11. Sort 0, v, u in ascending order.
u, 0, v
Let v = 0 - 0.03. Let p = v - -0.03. Let b = p - -4. Sort 0.1, 0, b in increasing order.
0, 0.1, b
Let o = 2 - -1. Suppose -d = -4*q + q + 4, 0 = -4*q - 3*d + 1. Let b = o + q. Sort b, 2, -4 in increasing order.
-4, 2, b
Let h = 6.86 - 7. Let j = -3.14 - h. Sort 0.2, j, -4 in increasing order.
-4, j, 0.2
Let a = -20 - -20.2. Let h = a - -9.8. Sort h, 5, 2 in ascending order.
2, 5, h
Let d = 19 + -19. Let w(z) = z**3 + 3*z**2 - 6*z - 3. Let u be w(-4). Suppose -5*p = 5*q + 35, 0*q + 3*p = q - u. Put 4, q, d in decreasing order.
4, d, q
Suppose 0 = 2*q - 4*s + 8, 2*q - 4*s = 6*q - 32. Suppose 4 = -4*t - q. Let d(l) = l**2 - 6*l - 5. Let a be d(6). Put 3, t, a in ascending order.
a, t, 3
Let w(a) = a**2 - 8*a + 3. Let i be w(7). Sort 4, 3, i in ascending order.
i, 3, 4
Suppose 2 = -z + 3*z. Let s be z + -3 - (-8)/6. Sort 0.1, s, -5 in descending order.
0.1, s, -5
Let a = 5 - 4. Let r = a - 1.1. Sort -4, r, -5 in descending order.
r, -4, -5
Suppose 4*p - 9*p = -5. Let x be 3/p - (-8)/(-3). Put x, 1/4, -2/3 in increasing order.
-2/3, 1/4, x
Let k = 0.23 + 0.01. Let z = k + -0.54. Put z, -4, 6 in increasing order.
-4, z, 6
Let r be (4/(-2) - -1)*1. Let z be ((-4)/7 - -2) + 0. Let p = z + -76/63. Sort 4, p, r.
r, p, 4
Suppose -5*s - 10 = f, 0*s - f = -5*s - 20. Let z = -181.93 + 183. Let n = z - 0.07. Put n, s, 2 in decreasing order.
2, n, s
Suppose 5*i - 5*h + 55 = 0, i = -0*i + 2*h - 13. Let t be (-6)/15*(4 + i). Let f = 5 + -8. Sort -5, t, f in descending order.
t, f, -5
Let o = -3 + 2. Let c = 33/2 + -84/5. Let a = c + -1/30. Put o, 1, a in descending order.
1, a, o
Suppose 2*f - 5*p = -15, 7*f = 4*f - 3*p + 9. Suppose 3*b + 6 + 6 = f. Put 1, -5, b in ascending order.
-5, b, 1
Let o be (4/(-2))/((-25)/50). Put -2, -10, o in descending order.
o, -2, -10
Suppose 5*z + 3*j - 16 - 11 = 0, -2*j + 17 = 3*z. Let i = 28 + -28. Put i, z, 4 in ascending order.
i, z, 4
Let h be (-30)/25*(-5)/(-2). Suppose -3*t = t - 2*i, 5*t + 3*i = 11. Let p be (-9)/(-15)*5/t. Put p, 5, h in descending order.
5, p, h
Let c(m) = -2*m - 6. Let n be c(-5). Sort 0, n, 3.
0, 3, n
Suppose -2 = o - 5. Put o, 5, 2 in descending order.
5, o, 2
Let h = -20 + 16. Let i = h + -1. Put 1, 5, i in descending order.
5, 1, i
Let m be (-22)/12 - (-2)/(-12). Let u be (-6)/(m - -1 - 1). Sort u, 2, 5 in decreasing order.
5, u, 2
Let k be 3 - 1*((-64)/2)/4. Sort 3, -1, k in descending order.
k, 3, -1
Let f = 1 + -5. Let q = 2 - 7. Sort q, f, -3.
q, f, -3
Suppose i + 1 - 5 = 0. Sort i, 0, -4.
-4, 0, i
Suppose 5*q - q + 12 = 0. Let i be (-9)/(-6)*(-4)/q. Put i, -4, -1 in increasing order.
-4, -1, i
Let x = 0.5 - 0. Let j be (35/(-20))/(2/16). Let s be 6/(-4)*j/7. Put s, 0, x in decreasing order.
s, x, 0
Let f be 14/(-4)*(-10)/140. Sort 0.3, f, -1/6 in increasing order.
-1/6, f, 0.3
Let l be (-2)/(3/(63/6)). Let z be ((-2)/(-2))/(l/14). Put z, 3, -3 in descending order.
3, z, -3
Let c be 3 + 0 + (-7216)/2010. Let b = c - 2/201. Put b, -1/3, 0.4 in descending order.
0.4, -1/3, b
Let u = 21 + -23.9. Let b = u - -3. Sort b, 1/3, 0.4 in decreasing order.
0.4, 1/3, b
Let t = 12.8 - 13. Sort 5, t, -2/5 in decreasing order.
5, t, -2/5
Let l be (-6)/(-18) - 11/(-3). Suppose 0*b + 10 = 5*b. Suppose 6*k - 5*k - b = 0. Put -4, k, l in decreasing order.
l, k, -4
Let j be (-18)/(-45)*(-5)/11. Sort -6/7, 3/7, j in increasing order.
-6/7, j, 3/7
Let m = 0 - -6. Suppose -2*r + 18 = m. Let y be ((-10)/r)/((-3)/9). Put 4, y, 3 in increasing order.
3, 4, y
Let a be ((-3)/(-2))/(9 - 18). Sort -1/3, 5, a, -4 in increasing order.
-4, -1/3, a, 5
Let q be 12/(-40)*(-25)/(-30). Sort 5, -3, q in ascending order.
-3, q, 5
Suppose -3*b = -5 - 4. Let q(y) = -y**2 + 10*y. Let u be q(10). Put 5, b, u in ascending order.
u, b, 5
Let i be 2/(-6) + 282/(-18). Let s be i/(-24)*6/(-4). Sort 5, s, -2 in increasing order.
-2, s, 5
Let n(o) = o**2 - 2*o - 1. Let z be n(-1). Let c(s) = s**2 + 2*s - 2. Let g be c(-3). Sort -1, g, z.
-1, g, z
Suppose -3*g - a - 2 + 12 = 0, -2*a = g. Suppose -j - 2*j + n = -3, -g*j - 5*n + 4 = 0. Put -3, j, 0 in ascending order.
-3, 0, j
Let s be (-3)/(-4)*(-2)/(-3). Let x = s + -3/5. Let o = 47/114 + -3/38. Sort x, 1, o in ascending order.
x, o, 1
Let l = -8 + 6. Let y = -2 - l. Let q = 3.4 + -3.2. Sort -1, y, q in decreasing order.
q, y, -1
Let l(j) = -j**3 + 2*j**2 - j - 3. Let y be l(2). Sort 3, y, 1.
y, 1, 3
Let j = -13 + 13.4. Sort -0.5, j, 5 in increasing order.
-0.5, j, 5
Let r(q) = q**3 + q + 1. Let o(s) = -s**3 + 8*s**2 - 6*s - 7. Let n be o(7). Let g be r(n). Sort g, -5, -4 in decreasing order.
g, -4, -5
Let m = 5.3 + -5. Let n = m - 0.5. Put -2/13, 0, n in increasing order.
n, -2/13, 0
Suppose 2*i - 20 = -2*i. Suppose i*y - 15 + 0 = 0. Sort y, 0.5, -0.1 in decreasing order.
y, 0.5, -0.1
Let m(g) = -g**2 - 3*g + 14. Let j be m(-6). Put -1, j, 5 in decreasing order.
5, -1, j
Let n be (-20)/(-70) - 12/(-7). Suppose 0 = -y - n*f - 5, 10 = -0*y + 4*y + 2*f. Put y, -3, 2 in ascending order.
-3, 2, y
Let c(x) = -x + 9. Let h be c(5). Suppose n = 2*n + o + h, 4*o = 3*n + 12. Suppose 2*y = -2*y + 16. Sort n, y, 1.
n, 1, y
Suppose -6*a + 4*a + 10 = 0. Let s be (1 - -1)*(-2)/(-4). Sort -1, a, s in descending order.
a, s, -1
Let p = -304/583 - -18/53. Sort p, 1, -1.
-1, p, 1
Let h = 124 + -127. Sort h, 2, 3, 5 in descending order.
5, 3, 2, h
Let m = 3 + -2. Let v be -1 + (3*2 - m). Suppose -