 in decreasing order.
9, 0, x
Let h be 2/8 - 7/(-4). Let p = 2.8 + 5.2. Sort 4/7, h, p.
4/7, h, p
Let x = 86.3 - 87. Let l be -13 + 10 + (-22)/(-10). Put -1, l, x, -2/3 in decreasing order.
-2/3, x, l, -1
Suppose 0 = 5*x - 2*x + 18. Let c = 1 + x. Let r be 2*(12/(-3) + 2). Sort r, -2, c in ascending order.
c, r, -2
Let z = 42 + -34. Suppose 0 = 2*h - m - z, 0 = -2*h - 5*m + 2*m. Let u be 0 - 2/1 - 0. Sort u, 5, h in increasing order.
u, h, 5
Suppose -5*r + 3*r - 2 = 0. Let f be 10/(0 - (r + -1)). Put -5, f, -4 in increasing order.
-5, -4, f
Let p = 0.23 + -0.03. Let x = -12 + 6. Let y be ((-6)/22)/(x/4). Put 3, y, p in decreasing order.
3, p, y
Let n(d) = -5*d - 25. Let k be n(-4). Put 3, k, 5, -3 in increasing order.
k, -3, 3, 5
Let d = 2.42 + -2.4. Put 1/3, d, -0.1, -0.4 in increasing order.
-0.4, -0.1, d, 1/3
Let v be 0*(-2)/(-20)*-5. Let w = 19 + -21. Sort w, v, 45.
w, v, 45
Let u = -366 + 369. Let r = -212/435 + 18/29. Sort u, -2/3, -0.06, r.
-2/3, -0.06, r, u
Let u(y) = y**3 - 16*y**2 + 39*y - 17. Let q be u(13). Put 5, q, -3 in ascending order.
q, -3, 5
Suppose 4*o - 11*v + 16*v = -8, -o - 5*v - 17 = 0. Put o, 15, -1 in descending order.
15, o, -1
Let g(q) = -2*q**3 + 5*q**2 + 5*q + 2. Let b be g(-3). Suppose 0 = -5*h + b + 34. Let w = -25 + h. Sort 3, -2, w in descending order.
3, w, -2
Let d = -9.5 + 0.5. Let j = -8.98 - d. Suppose 0 = -i + 5*i + 3*r + 13, -5*i - 5*r - 20 = 0. Sort i, -2, j in increasing order.
-2, i, j
Suppose 2*u = 2*p + 4, -5*p - 1 = -3*u + 15. Suppose -a = a - 4*b + 20, 3*a - 3*b = -15. Sort -5, u, a in descending order.
a, u, -5
Let f = 107/5 + -413/20. Let q = 33/2 - 17. Let b = q + f. Sort b, -3/2, -2/9 in decreasing order.
b, -2/9, -3/2
Let u(r) = -r**2 - 3*r + 160. Let c be u(-14). Suppose 5*l - 6 = 14. Suppose -o + c = l. Put -5, -4, o in decreasing order.
o, -4, -5
Let t(g) = g**3 + 4*g**2 + 56*g + 405. Let f be t(-6). Sort 3, 4, f, 5 in decreasing order.
5, 4, 3, f
Let a = -265 - -254. Put a, -0.4, 0 in increasing order.
a, -0.4, 0
Let i be ((-4)/30)/(5/(30/4)). Put i, 3, -31, -5 in decreasing order.
3, i, -5, -31
Let z(l) = l**3 - 2*l**2 - 2*l - 8. Let p be z(4). Let k be (3/5 - 1) + p/60. Put 2, 1/3, -1/4, k in decreasing order.
2, 1/3, k, -1/4
Let a = -42.28 + -0.72. Let c = a - -43.3. Suppose -25 = -7*q + 2*q. Sort q, -2, c in increasing order.
-2, c, q
Suppose 3*f + 18 = 5*f. Let j = 987 + -982. Suppose -11 = 3*w - c + 2*c, j*w = 3*c - f. Sort -5, -4, w in ascending order.
-5, -4, w
Let m = 64.3 - 64.8. Suppose -3*a - 5 - 1 = 0, 2*t = 3*a. Let i be (-1 - -1) + t + 0. Put -0.4, i, m in decreasing order.
-0.4, m, i
Suppose 0 = -v + 2*v + 4*f - 26, 0 = 5*v - 2*f - 20. Suppose -d = 2*u, 3*u - v = u. Let o = d + 11. Sort o, -1, -1/3 in increasing order.
-1, -1/3, o
Let u = -8187/7 + 1171. Put -3, u, -2, 0.3 in decreasing order.
u, 0.3, -2, -3
Suppose 34 = 3*r + 5*c, -4*r = c + 2 - 19. Sort 0, r, -1, -3.
-3, -1, 0, r
Let o be (1 + (-52)/(-8) - 3)/(3/2). Let f be (-6)/2*(-5)/3. Put -5, o, -3, f in decreasing order.
f, o, -3, -5
Let f be (-3)/(-4) - 500/(-80). Suppose -f*v - 17 = -52. Sort 2, v, 3 in descending order.
v, 3, 2
Let u = 559 + -561. Sort u, 2, 4, 14.
u, 2, 4, 14
Let p = -70 + 40. Let d = p + 56. Let k = 29 - d. Put k, 1/3, -3 in descending order.
k, 1/3, -3
Let v be 1 + 2 + 1 + -2. Suppose 2*j = j + 2. Let u be 8/3*(-3)/j. Put u, -3, v in decreasing order.
v, -3, u
Let p = -0.021 + 0.021. Put -0.7, -1/4, p in descending order.
p, -1/4, -0.7
Let d(u) = 48*u - 283. Let f be d(6). Sort -3, f, 102, 1 in ascending order.
-3, 1, f, 102
Let n(p) = p**2 - 6*p + 2. Let r be n(6). Let m(h) = 9*h - 1. Let t(z) = -5*z + 1. Let x(g) = -6*m(g) - 11*t(g). Let c be x(5). Put c, r, -3 in ascending order.
-3, c, r
Let g = 8 + -6. Let z(a) = 2*a**2 - 20*a + 30. Let q be z(9). Sort -3, q, g, -2.
-3, -2, g, q
Let w = -94 - -89. Let o be 1*(0/3 + -2). Let q = o + 5. Put w, q, -16 in decreasing order.
q, w, -16
Suppose -3*f - 3 - 18 = -2*y, -17 = y + 4*f. Let r(h) be the first derivative of -h**2/2 - 4*h - 1. Let l be r(0). Put y, l, 5 in increasing order.
l, y, 5
Let c = 89 + -447/5. Let g = 3/35 - 47/140. Put g, c, 4, -2/17 in descending order.
4, -2/17, g, c
Let c = 112 - 111. Put 33, c, -5 in decreasing order.
33, c, -5
Let x = 6/517 - -1918/12925. Let t = -61/225 + x. Let j = 0.05 - -1.95. Put t, -2, j in increasing order.
-2, t, j
Suppose 19 = 3*l - 2*z, -z = -4*l - 6*z - 13. Suppose 10*s = 16 + 4. Sort s, -4, l, 5.
-4, s, l, 5
Let l = 2 + -5. Let w = 1 + l. Let o = 2.08 - 2.48. Put o, 3, w in decreasing order.
3, o, w
Let c = -278.04 - -278. Sort -0.1, 3, c in increasing order.
-0.1, c, 3
Let l(u) = 2*u**2 + 37*u - 152. Let s be l(-22). Let d be 5/1 - (2 - 2). Sort s, -9, d.
-9, s, d
Let f = 14 - 28. Let l = f - -14. Suppose -3*v + 0*b + 40 = -5*b, b = -3*v + 10. Put v, 3, l in ascending order.
l, 3, v
Suppose 2*z = 2*x - 2, 5*z = -2*x - 8 + 3. Sort 1, z, 30 in decreasing order.
30, 1, z
Suppose -4*l - 5*i = 0, -3*l + 4*i = -0*i + 31. Let x = -78.5 + 78. Sort -8, l, x in increasing order.
-8, l, x
Suppose 0 = -11*k - 34 + 12. Sort -4, -11, k, -1 in ascending order.
-11, -4, k, -1
Suppose 4*v - 2 = 3*v. Sort 0, -8, -3, v in increasing order.
-8, -3, 0, v
Let v = 42.7 + -43. Let l = 2.1 + -2.04. Put v, 0, l in increasing order.
v, 0, l
Let y be 4/6 - 1/(-3). Let w = -79 + 73. Let d(i) = i**3 + 6*i**2 - 5. Let c be d(w). Sort 2, c, y in decreasing order.
2, y, c
Let j = 209 + -205. Suppose -3*z - 9 = 4*w, 3*w + 0 = 3*z + 9. Put -1, j, w, -3 in decreasing order.
j, w, -1, -3
Let t be (0 - 4)/(-2) + 0. Let p = -16 + 18. Suppose -7*z = -p*z + 30. Put z, t, -1 in decreasing order.
t, -1, z
Let g(z) = -61*z - 303. Let r be g(-5). Sort -35, 1, r.
-35, 1, r
Let o = -4 + 11. Suppose -24*g + 32*g = -32. Sort g, o, -2, -5.
-5, g, -2, o
Suppose 3*j + 3 + 12 = 0. Let w be 1 + 2/1 - 0/(-4). Let m be 1 + (w - 1) + -7. Put 2, j, m in descending order.
2, m, j
Let p = -7.8 + -0.2. Let w = p + 19. Let b = -10.7 + w. Put 2, b, 5 in descending order.
5, 2, b
Let l = 736 + -744. Sort 0, l, 5, -1 in decreasing order.
5, 0, -1, l
Suppose -4*n - m + 16 = 0, n = -m + 5*m + 21. Let k be 3 + -12 + -1 + 5. Sort 2, n, k.
k, 2, n
Let n = -1206 - -1207. Let q = -109/2 - -53. Put n, q, -0.4 in decreasing order.
n, -0.4, q
Let m(y) = y**3 - 6*y**2 + 5*y + 4. Let d = -7 + 12. Let n be m(d). Suppose -n*p = 2*f - 10, p - 4*p + 7 = f. Put -0.1, 1/10, f in descending order.
f, 1/10, -0.1
Let g = -12 + -12. Let f = -21.82 - g. Let l = f + -0.18. Sort -0.3, l, 0.2 in descending order.
l, 0.2, -0.3
Let p = 17 - 16.9. Let b = -3/959 - 16249/17262. Let j = b - -4/9. Sort 1/4, j, p in descending order.
1/4, p, j
Let i be 4/(-145)*485/194. Put -3, i, -47, 5 in descending order.
5, i, -3, -47
Let b = 23 - 24. Let y be (6*b)/(9/(-6)). Sort 3, -1, y in increasing order.
-1, 3, y
Let m(p) = p**3 + 3*p**2 - p - 8. Let n be m(-3). Sort 2, -8, n.
-8, n, 2
Let b(j) = -j**3 - 24*j**2 + 112*j - 2. Let z be b(-28). Put -2/5, z, -23 in increasing order.
-23, z, -2/5
Let b = 150.7 + -151. Let a = 0.24 + 0.06. Put a, -9, -0.1, b in decreasing order.
a, -0.1, b, -9
Let s(n) = -n**3 - 7*n**2 - 6*n - 8. Let f be s(-6). Let z be (-162)/f - 5/20. Suppose 2*k = -2*k + z. Sort k, -4, 3 in decreasing order.
k, 3, -4
Let f = 8 + -7.8. Let n be 0/(21/(-7) + 4). Let c = -1.5 + 2. Put n, f, c in decreasing order.
c, f, n
Suppose 2*n = 15*n + 39. Let w(p) = p**3 + 6*p**2 - p - 7. Let j be w(-6). Sort n, 9, j in increasing order.
n, j, 9
Suppose -v = -0*v + 7. Let s = v - -12. Let x = 1268 + -1270. Put 1, x, s in ascending order.
x, 1, s
Suppose 3*t + 4*v = -1, 4*t - 8 = 3*v - 6*v. Put t, -4, -72, 0 in descending order.
t, 0, -4, -72
Let f = 1 + 2. Suppose 0 = -v + f*u, 0 = -2*u + 7*u - 5. Suppose 0 = 2*k - 5 + 3. Sort k, -3, v in ascending order.
-3, k, v
Let j = 614.21 - 609. Let r = -0.21 + j. Let q be 34/24 + 2/(-3). Sort q, 4, r in ascending order.
q, 4, r
Let i be (2 - 0 - 2)/2. Suppose t - 3*y + 1 = 0, -2*t + 3*y = -5 + 1. Suppose t*m + 25 = -i. Sort 3, m, -3 in ascending order.
m, -3, 3
Let p = -0.06 + -0.04. Let a = -5 - -4.6. Sort a, 0.4, p.
a, p, 0.4
Let l be ((-117)/(-13) + -6)*(-2 - -1). Suppose 2*m + 2*m = 0. Put 1, l, m in ascending order.
l, m, 1
Let o be (3 + -2)*