) + (3 - 1). Let r = 72 + -502/7. Let z = 13/28 + r. Put 1/5, m, z in descending order.
z, 1/5, m
Let r = 3 - 3.4. Let w = -67/6 - -11. Let k = -28 + 29. Sort r, k, w in decreasing order.
k, w, r
Let b be (-1 + -1 + -1)*(-4)/4. Put 2, b, -5, -4 in descending order.
b, 2, -4, -5
Let m be (12/(-9))/(2/(-3)). Let l be -2 + -3 + m + 5. Suppose 4*c - 2*c + l*y - 14 = 0, -18 = -4*c + y. Put -2/19, c, 3 in decreasing order.
c, 3, -2/19
Let i(p) = -p**2 - p**3 - 8*p + 2*p**2 - 6 - 7*p**2 + p. Let f be i(-5). Suppose f*w + 4 = -0*w. Put 4, w, 1 in decreasing order.
4, 1, w
Let c(q) = q**3 + 13*q**2 + 12*q + 5. Let x be c(-12). Sort -1, -5, x in decreasing order.
x, -1, -5
Let o = 2/121 + 113/484. Let c be (-4 - 21/(-6)) + (-26)/(-20). Put -1/2, o, c in ascending order.
-1/2, o, c
Let q = 0.1 + -0.1. Suppose 0 = -4*w + 6*n - 2*n + 4, 25 = 5*n. Suppose -4*x - 2 = -w. Sort x, 2/3, q in ascending order.
q, 2/3, x
Let w = 7/6 + -2/3. Let g = -87 - -86. Sort g, 4, w.
g, w, 4
Suppose 0 = -18*f + 7*f. Put 1, -3, f in increasing order.
-3, f, 1
Let d(z) = 4*z**2 - 2*z + 2. Let n(b) = 7*b**2 - 3*b + 3. Let i(s) = -5*d(s) + 3*n(s). Let p be i(-2). Let l = 4 + -1. Sort p, 0, l in increasing order.
0, p, l
Let x = -7 + 3. Let y be -2*-1*(-2)/x. Suppose q = -1 - y. Sort 4, 2, q in descending order.
4, 2, q
Let z be (-1)/(-2)*2 - 3. Let o = -1 - z. Let j = 1 + -0.5. Sort j, -2/3, o in descending order.
o, j, -2/3
Let b = -20 - -9. Let f = 1.3 - -6.7. Let h = b + f. Sort h, 0.3, -0.5 in decreasing order.
0.3, -0.5, h
Let i = 2.3 - 2. Let s = -262/3 + 88. Let y be -3 + 3 + 3/(-4). Sort y, s, i.
y, i, s
Suppose -w - 3 = -0*w. Let t be (w - -1)/(2/1). Sort 5, 0, t in increasing order.
t, 0, 5
Let u = 7 + -12. Put 0, u, 3 in decreasing order.
3, 0, u
Let c be 1/4*(-20)/(-5). Put c, 2, 3 in descending order.
3, 2, c
Let x = 0.2 - -0.3. Let z = 6 - 3. Let t = z + 1. Put 1/3, x, t in increasing order.
1/3, x, t
Suppose 23 - 11 = 3*w. Put w, -4, -3 in descending order.
w, -3, -4
Let b = -4 + 5. Sort 3, b, -4 in descending order.
3, b, -4
Let y(q) = 8*q**2 + 1. Let c be y(-1). Let i be (9/(-27))/((-1)/c). Sort i, 2, -2.
-2, 2, i
Let s(c) = c + 7. Let h be s(-4). Suppose -n = -h*m - 13, 5*n + m = n. Suppose 3*x + n - 4 = 0. Sort 0, -4, x in descending order.
x, 0, -4
Suppose 5*k - 4*k = -4. Let q = -142 - -143. Sort q, -3, k in decreasing order.
q, -3, k
Let p = -7.7 - -8. Let a = p - -0.1. Let o = a + 0.1. Sort o, -2, 1.
-2, o, 1
Let q = 151 + -147. Put -0.1, 3, q in descending order.
q, 3, -0.1
Suppose -3*l + 28 = -5*i, -l - 3*l + 3*i + 19 = 0. Let w = 0 + 3. Let u be (2 + -4)/(1/(-2)). Sort l, w, u in decreasing order.
u, w, l
Suppose -5*w + v + 17 = 0, -4*w + 2*v = 1 - 11. Suppose -16 = -w*o - 0*o. Let h be (-8)/(-16) - 18/o. Sort h, 5, -2 in descending order.
5, -2, h
Let q = 209 - 205. Sort -3, q, -4, 1 in increasing order.
-4, -3, 1, q
Suppose -4*w - 4*l + 13 + 11 = 0, -12 = -5*w + l. Suppose 5*h + 19 = w*h + 3*s, 0 = -h + 3*s - 17. Let v be 3/(1*3/h). Sort 2, 3, v.
v, 2, 3
Let c = -0.21 - -2.41. Let h = c - 2. Suppose b + 4*s + 11 = 0, 0 = -b + 4*s + 13. Put 3, b, h in descending order.
3, b, h
Suppose 0 = -0*d + 4*d + 20. Let u be 0 - (-20)/((-2)/(-1)). Suppose -5*p + 5 = -u*p. Put -4, d, p in decreasing order.
p, -4, d
Let j(m) = m**3 + 10*m**2 + 12*m + 30. Let n be j(-9). Sort 0, -1, n, 5.
-1, 0, n, 5
Let u(t) = t**3 - 7*t**2 + 4. Let x be u(7). Let s be (1 - (-9)/(-5))*5. Put x, 3, s in increasing order.
s, 3, x
Let m be (-2 + 2)/(-3 - -2). Sort 7, m, 3 in descending order.
7, 3, m
Let p be (-3)/(((-99)/12)/(-11)). Put -3, 0, p, -5 in increasing order.
-5, p, -3, 0
Let o = 937/8 - 117. Let p be -24*-1*(-2)/(-92). Let y = p - 200/207. Put y, o, 0.1 in descending order.
o, 0.1, y
Let u = 0.11 + -9.11. Let t = u - -8. Sort -3, -8, t in decreasing order.
t, -3, -8
Suppose -6*w = -3*w - 3*p + 12, 4*w = -2*p + 8. Let d be (-4 + 3)/(w - -1). Let q be (0/d)/(3/(-3)). Sort q, -4, -5 in decreasing order.
q, -4, -5
Let q = -0.172 - 0.028. Sort -0.3, -0.1, q, -0.4 in increasing order.
-0.4, -0.3, q, -0.1
Let w = 7 + -3. Suppose -20 = -5*l + 5*g, 2*l = -l - g + w. Put 0, l, -3 in increasing order.
-3, 0, l
Let b = -16/21 + 22/21. Let s = -9 + 8.92. Let l = s + 0.18. Sort -1/7, b, l in ascending order.
-1/7, l, b
Let o be 2/5 - 1*90/(-25). Sort -4, 2, o, 5 in descending order.
5, o, 2, -4
Suppose 9 = -124*i + 115*i. Let a(s) = s. Let m be a(1). Sort m, i, 3 in decreasing order.
3, m, i
Let u be 5 - (-4)/(-2) - -2. Let s be 1 - (-1 - (-3 + 3)) - 1. Sort 0, s, u.
0, s, u
Let z be 0*(2 + 15/(-6)). Let x be (-7)/(2 + 1/(-1)). Let h = x - -3. Put z, 4, h in increasing order.
h, z, 4
Suppose -r - 5 = 4*p, -r - 3*p + 0 - 4 = 0. Suppose -u = -3*b + 3*u + 25, -4*b - u + 8 = 0. Suppose 5*s + 21 + 4 = 0. Put b, r, s in descending order.
b, r, s
Let l = -25 + 23. Let t be (2/5)/((-2)/90). Let h be t/(-8) + (-2)/8. Sort 4, h, l in decreasing order.
4, h, l
Let o be -1 + (-4)/(-2) - 13. Let a = -9 - o. Let k be (1 - 3)/(1/2). Put 4, a, k in decreasing order.
4, a, k
Let w be (10 + -7)*(-1)/(-3). Suppose -5*p + w = 21. Let s be -2 + 1 - p/10. Put s, 1/2, 4/5 in descending order.
4/5, 1/2, s
Let q = -3.2 - 1.8. Put -4/3, q, -4 in ascending order.
q, -4, -4/3
Let k(t) = -t. Let j be k(-2). Let y be j/10 - (-156)/(-30). Put 5, -2, y in decreasing order.
5, -2, y
Let y = -3 + 5. Let v(p) = -2*p - 7. Let d be v(-6). Sort 1/2, d, y.
1/2, y, d
Let x(j) = j - 13. Let f be x(8). Let n = 7 + -2. Let c = n + -8. Sort 0.2, f, c.
f, c, 0.2
Suppose 4*d - 2*d = 8. Let t be (12/(-10))/((-12)/(-40)). Let o be (t - 28/(-8))/(-1). Put d, o, 1 in ascending order.
o, 1, d
Let x = 74 + -71. Sort 1, x, -1.
-1, 1, x
Let x(y) = 0*y + 3 + 0*y - y. Let c be x(4). Sort c, -2, 4 in ascending order.
-2, c, 4
Let n = 1 + 0. Let v(r) = -r**2 - 11*r - 10. Let h be v(-10). Suppose h = i - 2*i. Sort i, -1, n.
-1, i, n
Let l = 0.88 + -0.48. Suppose 2*g - 9 = -1. Let f be -10*-1*(-2)/g. Put -3/4, l, f in increasing order.
f, -3/4, l
Suppose -5*f = -31 + 6. Let q be f/((-9)/(-3) - 2). Suppose -b - 4*b + 5*s = 5, -5*b - 2*s + 16 = 0. Sort 0, b, q in decreasing order.
q, b, 0
Suppose 5*d + 339 = -2271. Let r be 5/(5/d) + -2. Let x = 11006/21 + r. Put x, 2/5, 0.5 in ascending order.
x, 2/5, 0.5
Let b(v) = -v**3 + 4*v**2 + 2*v - 6. Let k be b(4). Suppose -c = k*c - 12. Let q be -2 + 3 + 3 + 1. Sort -4, c, q.
-4, c, q
Let x = 6 + -2. Put x, -2, 0 in ascending order.
-2, 0, x
Let f be 6 + (1 + 0)*-2. Sort -0.4, -3, f in decreasing order.
f, -0.4, -3
Let z be ((-1)/(-2))/((-3)/18). Put z, -1, 4 in descending order.
4, -1, z
Let a be -3 - -2 - (0 + 4). Put -3, 4, a in decreasing order.
4, -3, a
Let u = -6 - -4. Sort 3, u, 1.
u, 1, 3
Let p = 233 - 1627/7. Put p, 0.5, -2/3, 0 in ascending order.
-2/3, 0, 0.5, p
Let n(t) = t - 4. Let i be n(4). Suppose 2*a = -3*a - 5. Let j be a + (-5)/(10/8). Sort i, 4, j in ascending order.
j, i, 4
Suppose -20 = -3*y + 7*y. Let n(j) = j**3 - 7*j**2 - 7*j - 6. Let d be n(7). Let a be ((-2)/d)/(3/(-15)). Sort a, -0.5, y in increasing order.
y, -0.5, a
Let a be 28/35*5/(-2). Let c be ((-2)/16)/((-4)/(-12)). Sort 2, a, c in ascending order.
a, c, 2
Let m = -2 + 3. Let g = -3/8 - -7/8. Sort m, 0.2, g in descending order.
m, g, 0.2
Let v = -55 - -60. Sort v, 3, 1, 2/7.
2/7, 1, 3, v
Let j = 0.093 - 3.093. Put j, 0.1, -23 in increasing order.
-23, j, 0.1
Suppose m + m = -8. Suppose -2*n - 2 = -2*i, 2*i + 5 = -5*n - 3*i. Suppose 2*p + 2 = -2. Sort m, p, n.
m, p, n
Let g be (2 - 2)/((-2)/2). Let m = -1 - -3. Suppose m*n - 4*n = 6. Put 4, g, n in decreasing order.
4, g, n
Suppose 4*z - 2*z - 12 = -i, -3*z + 19 = 2*i. Put 0.3, 6, i, 1/10 in decreasing order.
6, i, 0.3, 1/10
Let t(a) = -a + 2. Let u be t(2). Put -13, u, 4 in descending order.
4, u, -13
Suppose 4*n + 4 = -0. Put n, -5, -0.5 in descending order.
-0.5, n, -5
Let c = -67/34 + 8/17. Sort c, 4, 5 in descending order.
5, 4, c
Let f = 1.9 - -0.1. Let h = -3 + f. Let n = h + -2. Sort -1, 5, n in descending order.
5, -1, n
Let k be (2/(8/14))/((-2)/(-4)). Suppose -2*q = -7*q. Put -5, q, k in descending order.
k, q, -5
Let y = -9 - -5. Let b = 33/2 + -17. Put 4, b, y in increasing order.
y, b, 4
Let w = -3 - -6. Let y = -32 - -62. Let x be (y/(-9) + 2)*-3. So