 i be (-6)/(-9) + 76/(-6). Let d be 63/(-18)*i/14. Put d, -5, -1 in descending order.
d, -1, -5
Let n = 43 + -29. Let w = -13.5 + n. Put -4, 0, w in decreasing order.
w, 0, -4
Let w = 4 - 4.16. Let m = -0.06 - w. Sort 2/3, m, 0.3.
m, 0.3, 2/3
Let f = 2 + -2. Let y be (-8)/40 - 21*1/(-5). Suppose f*g - g - 4*n + 5 = 0, n + y = 5*g. Sort -2, -4, g.
-4, -2, g
Let t(g) = 6*g**2 + 2*g**3 - 4 - 4*g**3 - 2*g**2 - 4*g + 7. Let m = -3 - -5. Let l be t(m). Sort l, -3, 2 in descending order.
2, -3, l
Let l be 22/12 - (-1 + 2). Let v = -12 + 11. Let g be v/5 + (-240)/50. Sort l, g, 4.
g, l, 4
Let t = 1164/7 - 166. Let i = 22 - 107/5. Put t, -4, i in decreasing order.
i, t, -4
Let z = -0.81 - -0.8. Let n = -0.05 - 0.35. Sort -4, n, z in decreasing order.
z, n, -4
Let k = 1.8 - 4.8. Sort -0.4, 4/3, 1, k in descending order.
4/3, 1, -0.4, k
Let c = -40/189 - 2/27. Sort c, -1/10, 2, 4 in descending order.
4, 2, -1/10, c
Let o be (-1)/(1*-3)*-3. Let v = -0.07 - 0.03. Put v, o, -5 in decreasing order.
v, o, -5
Let k be ((-2)/6)/(4/18). Put k, 0.5, -2/7 in descending order.
0.5, -2/7, k
Suppose 3*c - 4*l = 14 + 32, -5*l + 30 = 5*c. Let u be (8/c)/((-4)/20). Let z = -4 - u. Sort 5, -2, z in descending order.
5, z, -2
Let m be -7 - 2/(-3)*3. Suppose 3*q - 9 = -0*q, 5*g - 5*q + 30 = 0. Sort 3, m, g in increasing order.
m, g, 3
Let n = -1.9 + -3.1. Sort 0.1, -1, n in increasing order.
n, -1, 0.1
Let s(n) = n**3 - 8*n**2 - 8*n + 12. Let d be s(9). Suppose 22 + 3 = 5*c. Suppose 4*w = -c*y - 0*w + d, -5*y = 3*w - 22. Put 1, y, 4 in descending order.
y, 4, 1
Let z = -13 - -16. Suppose -2*k + 0*f = -f - 1, 2 = -2*k - 2*f. Put z, 0.3, k in descending order.
z, 0.3, k
Let y = 11 + -16. Let u be 0 - (7 + -1)/3. Let z be (u/(-20))/(8/10). Sort -2/9, y, z in descending order.
z, -2/9, y
Suppose -19 = 14*q - 187. Put -1, q, 2, 3 in ascending order.
-1, 2, 3, q
Let d = 17.07 - 17. Let r = d + 3.93. Put r, -1, -4 in ascending order.
-4, -1, r
Let m = -21 - -20. Sort m, 2/17, -0.14.
m, -0.14, 2/17
Suppose -11*k + 15 = -7. Put k, 1, -5 in decreasing order.
k, 1, -5
Let m be (-1 + (-1)/(-3))/((-1)/(-3)). Suppose y - 2*x - 11 = -5*x, 4*x - 16 = 0. Sort 1, m, y in ascending order.
m, y, 1
Let b = -7.2 + 7.3. Put b, -1/5, 0.3 in ascending order.
-1/5, b, 0.3
Let s = 18 - 15. Sort -0.05, -1, s in increasing order.
-1, -0.05, s
Suppose -24*q + 19*q - 25 = 0. Put 1, q, 0 in decreasing order.
1, 0, q
Let b = -1/330 - 983/2310. Let u be (4/5)/(22/(-15)). Sort b, u, 4.
u, b, 4
Suppose 2*k + 19 = 3*v - 2*k, 0 = -4*v + k + 34. Suppose -z + 3 = 2*o, o - z + 4*z - v = 0. Sort o, 5, -2 in descending order.
5, o, -2
Let x = -0.258 - -14.958. Let o = x + 0.3. Put 3, -4, o in decreasing order.
o, 3, -4
Let a = 0.06 - -7.94. Let x = a + -11. Let p be (-2)/(5 + 1 + -3). Sort x, p, -0.2.
x, p, -0.2
Suppose -23 + 59 = -18*c. Sort c, 5, -5, 3 in decreasing order.
5, 3, c, -5
Suppose 0 = -3*r + 16 - 1. Put -1/5, r, 9 in ascending order.
-1/5, r, 9
Let y(q) = q**2 + 4*q + 2. Let t be y(-3). Let l be 6/9 + 42/(-9). Put -2, l, t in increasing order.
l, -2, t
Let z = -15 + 5. Let h = z + 7. Put 5, 2/9, h in descending order.
5, 2/9, h
Let t be (-6 - -4)*(-2)/4. Let p = 2 + 2. Let u = p - 7. Put -2, u, t in decreasing order.
t, -2, u
Let j = 1.2 - 2. Let h = j + 0.4. Sort 5, 2, h in ascending order.
h, 2, 5
Let j = 4 - 5. Let o = j - 3. Sort 1, -3, o in ascending order.
o, -3, 1
Let c(z) = -z**3 + 6*z**2 + z - 2. Suppose -2*g + 4*g + 4 = 0. Let w be (3 - (-5 - g))*1. Let q be c(w). Put q, 1, 2 in decreasing order.
q, 2, 1
Let p be 3 - (-1)/(2/4). Suppose -5*t - 6 = d, 0 = 2*t + 4*d - 7 - p. Let k be 1/3*(-3 - -3). Put k, -1, t in decreasing order.
k, -1, t
Let a be ((-8)/(-10))/(12/(-20)). Put a, -4, -2 in decreasing order.
a, -2, -4
Let n = 21 - 16. Put 0.1, n, 3 in descending order.
n, 3, 0.1
Suppose 0 = 2*q - 10, 3*r = 5*q - 7 - 30. Sort r, -23, 4.
-23, r, 4
Suppose -2*r + d + 14 = 0, 4*r + 0*d + 3*d = 8. Let j = 22 + -22.44. Let a = -0.06 + j. Sort 2, a, r in ascending order.
a, 2, r
Let k = -4 - -5. Let s(r) = 5*r**2 - r + 1. Let i be s(k). Let t(w) = -w**2 + 4*w + 8. Let n be t(6). Put i, -3, n in ascending order.
n, -3, i
Suppose 3*t - 9 = 0, -4*t - 83 + 17 = -2*c. Let l be (c/(-9) + 3)*-3. Sort l, -4, 0.4 in ascending order.
-4, 0.4, l
Let i(m) = -m + 5. Let v be i(6). Let x = 113/20 + -25/4. Sort -1/2, v, x in increasing order.
v, x, -1/2
Let c = 43 + -42.66. Let m = -0.04 + c. Let h = 0.2 + m. Sort h, -0.3, 0.4.
-0.3, 0.4, h
Let j = 6.1 - 1.1. Let u = -5.5 + j. Put 0.2, -1/7, u in decreasing order.
0.2, -1/7, u
Let h(v) = v**2 - v + 3. Let y be h(-2). Let f(d) = d**3 - 8*d**2 - 10*d + 12. Let i be f(y). Put -2, i, 1 in ascending order.
-2, 1, i
Let q = -3.7 - -3.3. Sort 0.4, q, 0.2 in descending order.
0.4, 0.2, q
Let g(z) = z**3 - 5*z**2 - 2*z + 7. Let p be g(3). Sort 5, p, 2 in decreasing order.
5, 2, p
Suppose 2*b = 7*b - 35. Let d = b - 7. Suppose -2*s + 1 = -3*s. Sort s, -4, d in decreasing order.
d, s, -4
Let b(x) = x**3 - 19*x**2 + 2*x - 38. Let s be b(19). Sort s, 3, -7 in increasing order.
-7, s, 3
Let a = -10 - -6. Let y = 27 - 25. Sort y, 1, a in decreasing order.
y, 1, a
Let p be ((-21)/(-9) - 2)*-15. Let f be (p/(-10))/((-1)/2). Put 3, f, -5 in decreasing order.
3, f, -5
Suppose 4*v = 24 - 8. Suppose 5*x + 31 = 3*y, 4*y + x = 3*y - 3. Suppose y*w + 16 = -2*w. Sort v, w, -1 in increasing order.
w, -1, v
Let n = 3 + -1. Let m = n + -2.2. Sort m, 4, -3/8 in ascending order.
-3/8, m, 4
Let l = 164 + -163. Let g = -0.07 - 0.23. Sort -0.1, g, l in increasing order.
g, -0.1, l
Let s = 9 - 11. Let m be 50/8 - (-1)/(-4). Let d be ((-9)/6)/(m/(-8)). Put -3, d, s in ascending order.
-3, s, d
Let u = -17/6 + 25/6. Put -1/6, u, -0.6 in descending order.
u, -1/6, -0.6
Let v be (2/(-6))/(2/10). Let a = 0.19 + -0.2. Let x = 0.09 - a. Put 4, x, v in ascending order.
v, x, 4
Let b = 0.59 + 0.41. Put b, 3/8, 0.4 in descending order.
b, 0.4, 3/8
Let l be -2*3/3 - 0. Let o be (8/(-5))/l*5. Sort -5, o, -3.
-5, -3, o
Let i = -55.2 + 55. Put -5/2, -2, i in ascending order.
-5/2, -2, i
Let z = -467/37590 - 1/537. Let q = z - -3/10. Put 15, q, 4 in descending order.
15, 4, q
Let d = 52/9 - 40/9. Suppose -2*q - 4 - 4 = 0. Let z be (1/(-10))/(q/10). Sort z, 5, d in ascending order.
z, d, 5
Suppose 2*m + 8 = 4*k, -4*k + 5*m = m - 8. Suppose -5*u = -u - 64. Suppose -v + u = 3*v. Put -3, v, k in ascending order.
-3, k, v
Let x be ((-20)/25)/(2/(-5)). Let r be x/(-9) - 44/(-36). Sort -2, r, 5.
-2, r, 5
Let u(z) = 2*z + 4. Let a be u(-2). Suppose 0 = 3*f + 3*m, 6 = -3*f + 4*f + 4*m. Let o = 4 - 0. Sort o, a, f.
f, a, o
Suppose 3*l = r - 8, l - 16 = 6*r - r. Suppose -4*i - 2*f = -i - 52, 4*i - 76 = -4*f. Let o = 9 - i. Put o, r, -1 in decreasing order.
-1, r, o
Let s = 2/55 - -96/385. Let v = 2.2 + -0.2. Let y = 3 - v. Put y, -0.3, s in increasing order.
-0.3, s, y
Let y be (-8)/(-4)*(0 - -1). Put -6, y, 3, -3/7 in increasing order.
-6, -3/7, y, 3
Let f(b) = b**3 - 8*b**2 + 8*b - 3. Let j be f(7). Let y = 0.2 - 5.2. Let k = 5/12 - 1/12. Put k, y, j in decreasing order.
j, k, y
Suppose -5*l - 20 = -10*l. Let s be 8/(-3)*6/l. Sort 0, s, 3.
s, 0, 3
Let k = 11 + -7. Let m be (-14 + k)/(2 - 0). Put 2, 5, m in increasing order.
m, 2, 5
Let c = -192 - -191. Sort c, -2, 4, -6 in descending order.
4, c, -2, -6
Let w = 568/2475 + -2/275. Let x(t) = t - 8. Let z be x(8). Sort 1, w, z in descending order.
1, w, z
Let k = -1.4 + -0.6. Let t = -2.5 - k. Put -3, t, 2 in ascending order.
-3, t, 2
Let w = 3.2 - 0.2. Let u = -0.09 - 0.11. Sort 2/5, u, w in decreasing order.
w, 2/5, u
Let a be 2/9 + 94/(-18). Let u = 3 - 1. Suppose u*q - 4 = 4*q. Put -4, a, q in ascending order.
a, -4, q
Let l(y) = 2*y**2 + 11*y - 4. Let j be l(-6). Put -13, j, -3 in decreasing order.
j, -3, -13
Let x = 8 - 8.6. Let j = x - -0.1. Sort 4, j, -4 in decreasing order.
4, j, -4
Suppose 5*c + 9 = -a - 0, 0 = -a + 5*c + 1. Let p(y) = -y - 10. Let f be p(-5). Put a, 2, f in descending order.
2, a, f
Let r = 1.4 - 7.4. Let l = r + 7. Put -1, 1/6, l in decreasing order.
l, 1/6, -1
Let x = 10 + -5. Suppose 8 + 12 = x*n. Suppose -2 = j - n. Put j, 3, 1 in ascending order.
1, j, 3
Suppose -5*d + 0*d = 85. Let n = d + 17. Sort -5, n, -2.
-5, -2, n
Let y(z) = -z**3