be k(-7). Sort 0, o, -5 in increasing order.
-5, 0, o
Let i = -28 + 29. Sort i, -4, 0 in descending order.
i, 0, -4
Let a = 0.04 + -0.44. Let x = 1331/30 - 89/2. Let f be 10/(-8) - 1/(-4). Sort f, x, a in decreasing order.
x, a, f
Let o(f) = -f**3 - 8*f**2 - 3*f - 21. Let y be o(-8). Let r(u) = 2*u - 6. Let l be r(5). Sort 2, l, y in increasing order.
2, y, l
Let x be ((-2)/(-2))/(-1) - -5. Let s(u) = u**3 + 2*u**2 - 4*u - 1. Let t be s(-3). Suppose -i = t*i - 9. Put x, -1, i in ascending order.
-1, i, x
Let i = -26.7 + 26. Put -1, i, 4 in descending order.
4, i, -1
Let b be (5/(-10))/((-2)/8). Let o be (-6)/(-2) - (b + 1). Put 5, 1, o in decreasing order.
5, 1, o
Suppose -9*b + 4*b + 72 = 2*r, r + 36 = 2*b. Suppose 2*d + 2*d = -b. Suppose 0*q + 3*q = 6. Sort 3, d, q in decreasing order.
3, q, d
Suppose -c = 3*c - 8. Let i be 5*(36/(-15) + c). Let z be (16/6 + -2)*3. Sort i, z, 1 in descending order.
z, 1, i
Suppose 5*y + 18 - 3 = 0. Let m(o) = o**3 - 17*o**2 - 20*o + 29. Let h be m(18). Put 0, y, h in decreasing order.
0, y, h
Suppose -4*r = 3*b + 1, -4 = r - 0*r - 3*b. Sort 2, r, 3 in descending order.
3, 2, r
Let z = -2 + 1.7. Let d = 91 - 91.4. Sort -1, d, z.
-1, d, z
Let n = 155/328 + -4/41. Sort n, 5, -1/2, -7 in descending order.
5, n, -1/2, -7
Let u = 11 + -8. Suppose 3*m + m = 8. Let s = 0 + m. Sort 5, s, u in decreasing order.
5, u, s
Let g be ((-4)/10 - -1)*5. Suppose 4*f - 7 = 5. Suppose -k - 5*d = -f*k + 21, 0 = 5*k - 5*d - 15. Sort 2, g, k in descending order.
g, 2, k
Let i = -12 + 12. Sort 2, i, -5 in ascending order.
-5, i, 2
Let o(g) = g**3 - 6*g**2 + 8*g - 1. Let z be o(4). Let v(j) = -j**2 + 8*j + 5. Let s be (6/15)/(1/20). Let h be v(s). Sort z, 4, h in descending order.
h, 4, z
Let h(g) = g**2 + 6*g - 1. Let c be h(-6). Suppose 5*i - y - 3*y = 1, 0 = 3*y + 12. Let z(m) = -2*m - 4. Let b be z(-4). Put c, b, i in descending order.
b, c, i
Let i = -0.18 - 0.1. Let u = i + -0.02. Let f = 0.4 + u. Put 1, 0, f in decreasing order.
1, f, 0
Suppose 4*m - 5*p + 4 - 22 = 0, 3*m - 2 = -2*p. Sort m, -4, -2.
-4, -2, m
Let l(n) = 3*n + 33. Let i be l(-12). Sort 3, i, -4 in descending order.
3, i, -4
Let l = -0.18 + 0.08. Let o = 0.1 + -0.1. Put o, 3, l in ascending order.
l, o, 3
Suppose 4*r = -5*s - 4, 3*r + 1 = -3*s - 2. Let h = -6 - -4. Put -5, h, r in descending order.
r, h, -5
Let f be (1 - 1)/(-9 + 8). Sort 5, 3, f, -4.
-4, f, 3, 5
Suppose 3*m + 2 - 5 = 0. Let l be (-16)/(-10) - 4/(-10). Suppose -n - 2*n - 2*u + 11 = 0, -3*n + 25 = -5*u. Sort n, m, l in decreasing order.
n, l, m
Let n = -23 + 527/23. Sort -5, 0.1, n, 0 in decreasing order.
0.1, 0, n, -5
Let q(j) = j - 6. Let o be q(6). Let w = 0 - -1. Let l = w - 0. Sort -2, l, o.
-2, o, l
Let o = 158/21 - 48/7. Sort o, -3, -14/5, -4.
-4, -3, -14/5, o
Let f = 0.13 + -2.13. Put -1, -2/3, f, -5 in descending order.
-2/3, -1, f, -5
Let j = 0.7 - 0.9. Put 0.4, j, 3/4 in increasing order.
j, 0.4, 3/4
Suppose -t + 13 = 5*j, -t + 7*j - 4*j = 3. Let r be (-5)/t - 1/3. Sort 1, r, 0 in descending order.
1, 0, r
Let a be (-3)/4*(-4)/(-1). Let y be 0 + -3 + (-11)/a. Sort 0.3, y, -0.3.
-0.3, 0.3, y
Let l(j) = j**2 - 5. Let i be l(-3). Sort 0, i, -4, 3 in decreasing order.
i, 3, 0, -4
Suppose 5*d + 4*t - 7*t = -2, 0 = 5*d + 3*t - 22. Let i = 0.05 - 2.05. Sort d, i, 0.2 in ascending order.
i, 0.2, d
Let k = 3.32 - 0.32. Let t = 2 + -1. Sort t, k, -3 in descending order.
k, t, -3
Suppose -3*v = 2*v + 45. Let y be 2/(-9) - 5/v. Let o = -16 - -16.2. Sort 0.5, o, y in ascending order.
o, y, 0.5
Let q = 10.82 - 11. Let w = -0.14 - q. Put -0.1, w, 1 in descending order.
1, w, -0.1
Suppose -2*p = -p + 9. Suppose 0 = -7*h - 12 - 2. Sort 3, h, p in descending order.
3, h, p
Let n = 3.93 + 0.07. Let v(j) = j + 5. Let k be v(0). Let y = -3.3 + 3. Sort k, y, n.
y, n, k
Let f = -7.9 - -8.1. Sort f, -1, 2/5, 3/2 in increasing order.
-1, f, 2/5, 3/2
Let o(t) = t**3 - 6*t**2 + 5*t + 5. Let l be o(5). Let g = -0.78 - -0.8. Let k = g - -0.28. Sort l, 3, k in decreasing order.
l, 3, k
Let c = -379/3 - -125. Sort 6/5, c, -2 in increasing order.
-2, c, 6/5
Let p be 13/5 - 2/(-5). Let h be 20/4*4/(-5). Sort h, 5, p.
h, p, 5
Let a be (-2)/11 - (-26)/22. Suppose a = 8*v - 7*v. Sort -5, 4, v in descending order.
4, v, -5
Suppose -5*k + f = 5*f, -5 = f. Suppose -2*c + 36 = 2*n - 0*c, -c = 2*n - 34. Suppose k*a = -4 - n. Sort -4, a, 0 in ascending order.
a, -4, 0
Let b = 1 - -4. Let z = 0 - 0.2. Suppose -8*c = -14*c + 24. Put c, b, z in descending order.
b, c, z
Let q be ((-18)/60)/(27/15 + -1). Sort 2, q, -0.4 in increasing order.
-0.4, q, 2
Let c be 0 + -2 + -8 + 3. Let n = -4 - c. Let l(o) = -2*o**2 + 3*o + 4. Let w be l(n). Sort w, -4, 4.
w, -4, 4
Let t(h) = -h + 4. Let z be t(7). Let b be -6*(2/z + 0). Let c(a) = -a - 1. Let s be c(0). Sort b, -3, s in decreasing order.
b, s, -3
Let d be 1 + (0/(-3) - -1). Let q = d + -3. Put q, 5, 1 in decreasing order.
5, 1, q
Let j(m) = m. Let v be j(-7). Let h = v - -7. Sort -9, 4, h in increasing order.
-9, h, 4
Let q = 0 + 0. Suppose -k - 3*k = q. Suppose -4*n = -5*v + 12, 4*n - v = 2*v - 4. Sort 1, k, n in increasing order.
k, 1, n
Suppose -u + 27 - 7 = 0. Let g be 2/8 + (-9)/u. Sort -0.4, 1/6, g in decreasing order.
1/6, g, -0.4
Let h = 11 - 6. Let o = 23 - 24. Let m be (-6)/(-12) - (0 - o). Sort -0.2, m, h in descending order.
h, -0.2, m
Let l = -4 - -5. Sort l, 3/7, -4.
-4, 3/7, l
Suppose 3*x = 3 - 6, -4*x = 5*v + 9. Suppose -5*d = 5*w, 0 + 15 = 5*w + 2*d. Let p = w + -1. Sort p, v, -4 in descending order.
p, v, -4
Let a = -7 - -11. Let n be 2/(2*(3 + -2)). Let h be 2 + -3 + (-1)/n. Put h, a, -5 in decreasing order.
a, h, -5
Let g = 2.4 - 1.9. Sort -5, 9, g in decreasing order.
9, g, -5
Suppose -u + 8 = 3*u. Suppose -5*x - u = 4*q, 0 = -x + 4*q - 6 - 4. Suppose -3*d = d + 4. Put x, 4, d in ascending order.
x, d, 4
Let z = 5 + -2. Suppose -3*t + 0 = -k - 1, -4*t - 17 = -5*k. Put -2, t, z in descending order.
z, t, -2
Suppose -2*w = b + 2*w - 14, 18 = -b + 4*w. Let i be (-3)/2*56/21. Let t be (-3 + (-14)/i)*0. Sort b, t, 3 in descending order.
3, t, b
Let m = -12 + 17. Put 2, -4, m in decreasing order.
m, 2, -4
Let f = -4 + 3. Let u = f + 1.2. Put u, 0, -5 in descending order.
u, 0, -5
Let j = -80 + 75. Sort -4, 1, j in descending order.
1, -4, j
Let y = 1 - 3. Let s be (2/y)/((-1)/3). Sort 4, s, 2.
2, s, 4
Let x = 397 - 11512/29. Put -1/2, -1, x in descending order.
x, -1/2, -1
Let q = -12 + 10. Let t = 7 + -6. Put -4, t, q in ascending order.
-4, q, t
Let j(o) = -o**2 + 4*o - 4. Let n be j(3). Let i = -332 - -627/2. Let l = i + 17. Sort -1/6, l, n in decreasing order.
-1/6, n, l
Suppose -4 - 4 = -4*x, 0 = -4*d - 4*x - 32. Let v be 28/(-5) - d/(-25). Put 0, 2, v in ascending order.
v, 0, 2
Let s = 5 + 3. Let a = s + -6. Let g be a/6 + (-2)/(-12). Sort g, 0.4, 0.2 in ascending order.
0.2, 0.4, g
Suppose 2*k + 12 = -k. Sort -5, 10, k in descending order.
10, k, -5
Let i = 19 - 13. Suppose -3*n + h + 6 = 0, -5*n + 5*h + i + 14 = 0. Let u be (2/3)/((-5)/((-150)/4)). Put -4, n, u in descending order.
u, n, -4
Suppose -31 = 3*v - 4*m, 2*v + 2*v - 5*m = -40. Sort 3, 3/5, v in ascending order.
v, 3/5, 3
Let z = 5 + -8. Let t be 3 + -5 - -1 - z. Let k be 1/t*(-1 - -3). Put k, 5, -3 in descending order.
5, k, -3
Let s = 1 - 6. Let v be 2/5 - 8/s. Sort v, -5, -3 in increasing order.
-5, -3, v
Let u be -3*10/3*1. Sort u, -3, 3 in increasing order.
u, -3, 3
Let h = 5/12 - 1/60. Let c be 2/(-12)*(-3)/4. Sort h, 1, c in increasing order.
c, h, 1
Suppose -3*d + 2*d = -5*u + 3, 0 = -3*u. Suppose w - 2*w + 18 = -3*f, 4*f - 4 = -w. Let l = 7 - w. Sort d, l, 1 in increasing order.
l, d, 1
Let j = -1394/3 + 464. Let c be -1 + (-2)/(-4) + 0. Put c, j, -16 in ascending order.
-16, j, c
Suppose 0 = 2*u + 2, 3*u + 0*u + 13 = 5*s. Let l be 3*s*(3 + -2). Let g be 4/l + 28/(-6). Put -0.1, g, 3/8 in decreasing order.
3/8, -0.1, g
Let b be ((-4)/(-6))/((-4)/(-102)). Let n be b/15 - 2/15. Sort 2/11, 12, n in decreasing order.
12, n, 2/11
Suppose 4*m = -0*m + 8. Suppose -a - 2*w = 3*w + 8, 3*w + 2 = -m*a. Let l(r) = -2*r**2 + 2*r + 1. Let i be l(a). Put 1, 4, i in decreasing order.
4, 1, i
Suppose 2*i - 33 = 5*g, 2*g - 1 = -i - 7. Suppose -3*v + 4 = -v. Put 1, g, v in decreasing order.
v, 1, g
Let t =