4 in decreasing order.
2, x, -4
Let n(j) = 2*j**3 + 6*j**2 - 3*j - 1. Let i be n(0). Put 3, i, -109 in increasing order.
-109, i, 3
Suppose -76 + 499 = 9*v. Let w = -42 + v. Put w, 21, 3, -2 in ascending order.
-2, 3, w, 21
Let u be ((-6)/(-15)*(5 - 0))/(-10). Put -5, -2/13, -2, u in decreasing order.
-2/13, u, -2, -5
Suppose -3*m + 2*p = -p + 12, 0 = -p + 3. Let f = 2204 - 2198. Sort m, -5, f in decreasing order.
f, m, -5
Suppose 0 = -v + 8 - 3. Let a = -9.3 + 9. Let n be 1/4 + (-3)/(-4). Put n, a, v in descending order.
v, n, a
Let r = 1887/110 - 192/11. Let o = -4.2 + 4.54. Let k = -1.66 - o. Put 0.2, k, r in decreasing order.
0.2, r, k
Suppose 0 = -4*f - 4*l - 20, -5*f = -3*l + 13 - 28. Sort -0.4, 1, -1/3, f.
-0.4, -1/3, f, 1
Let l be 7 - (4 + 0) - 44. Let f = l - -30. Let g(x) = x**3 + 12*x**2 + 11*x + 4. Let o be g(f). Sort -4, o, -3.
-4, -3, o
Let d be -3*(-2 - -3) + 12 + -4. Let u(x) = -2*x - 4. Let c be u(-4). Suppose 8 = -4*z - 4*b, 5*b + 19 + 9 = c*z. Sort 0, z, d in decreasing order.
d, z, 0
Suppose -6*w - 2*n = -3*w - 21, 0 = -5*w + n + 22. Suppose w*i - 5 = 15. Sort i, -2, -1, 3.
-2, -1, 3, i
Let t be 34/(-112) + 264/616. Put 1/41, -1/5, -0.3, t in decreasing order.
t, 1/41, -1/5, -0.3
Let h be (-68)/(-2) + 4/(-8)*-2. Let v = h - 39. Let z(a) = a**2 + 8*a + 3. Let c be z(-8). Sort v, -1, c in descending order.
c, -1, v
Let r = -1 - 3. Suppose -67*u + 69*u + 10 = 0. Put r, 9, u in descending order.
9, r, u
Let i = 1.85 + 18.55. Let p = i + -19. Let t = p - 1.5. Sort -5, 2, t in increasing order.
-5, t, 2
Suppose 18*v = 14*v + 92. Suppose 5*j = y + y + v, -3*y + 8 = j. Put 0, -1, y in increasing order.
-1, 0, y
Suppose 0 = -b + 1, -4*k = -0*b + 4*b. Put k, -16, 3/5, -0.1 in ascending order.
-16, k, -0.1, 3/5
Let h be -3 + (6 - 16/8). Sort h, -88, -1/2 in ascending order.
-88, -1/2, h
Let y(a) = a**3 - 5*a**2 - 8*a + 15. Let z be y(6). Let t be 1*((-3)/(-5) + (-4)/(-10)). Put t, -2, z, -3 in decreasing order.
z, t, -2, -3
Let v(t) = -t**2 + 20*t - 79. Let n be v(14). Put 86, n, -1 in descending order.
86, n, -1
Let p be (-163)/(-11) + (-4)/(-22). Suppose 5 = p*k - 10*k. Suppose -3 = -d + k. Sort -1, d, -3 in ascending order.
-3, -1, d
Suppose -3*l = -3*m - 9, -3*l = -4*m + 8 - 22. Let p be 1 + 0 + (-18 - -25). Suppose x = p*k - 13*k + 20, -k + 2*x + 4 = 0. Sort 1, m, k in decreasing order.
k, 1, m
Let f = -215 + 219. Put -3, f, 2/5 in decreasing order.
f, 2/5, -3
Suppose -5*c + 4 = -i - 3, 9*i + 18 = 0. Put -10, -67, c in decreasing order.
c, -10, -67
Suppose 0 = -3*t - 2*h - 4, 2*t - h = 3 + 6. Suppose 2 + t = p. Sort 8, 1, p in decreasing order.
8, p, 1
Let u = 0.0123 + 3.9877. Sort 2/59, u, 1 in ascending order.
2/59, 1, u
Let v = 1798/9 - 200. Put -116/7, 2/17, v in ascending order.
-116/7, v, 2/17
Let w be (6/(-4))/((-14)/(-336)). Put -4, w, -5, 2 in descending order.
2, -4, -5, w
Suppose -4*m + 27 = -7*m. Let s(i) = 2*i + 15. Let q be s(m). Put -4, 6, q in descending order.
6, q, -4
Let m = -12.0556 - -0.0156. Let a = 12 + m. Let z = -0.31 + 0.01. Put z, -3/8, a in increasing order.
-3/8, z, a
Let b(w) = -4*w**2 - 101*w - 28. Let m be b(-25). Let v = -2 + 2.4. Sort v, -5, m, -3/5.
-5, m, -3/5, v
Let s(j) = -j**3 + 5*j**2 + 7*j - 6. Let b be s(6). Suppose -k + 4*k - 6 = 0. Let q = k - b. Sort -4, q, 4.
-4, q, 4
Suppose -5*x = -x + 16. Let w = -2 + -1. Sort x, w, 2.
x, w, 2
Let d be (-4)/2*2/(-6). Let z = -11285 + 11284. Put z, -2, d in descending order.
d, z, -2
Let y be ((-3)/2)/(6/(-8)). Let s(o) = 4 - 1 - 541*o**2 + 3*o + 540*o**2. Let a be s(-1). Sort y, a, 7 in decreasing order.
7, y, a
Let x = 7.99 - -0.01. Let o(y) = -y + 3. Let p be o(5). Let g be (p/5 + 1)*38/(-114). Put x, -1/3, g in ascending order.
-1/3, g, x
Let u = 858 + -859. Suppose 9 = d + 20. Put d, u, -5 in descending order.
u, -5, d
Let z be 312/(-572) + 10/(-22). Sort -5, 13, 4, z.
-5, z, 4, 13
Let p = 628 - 627.6. Put p, -6/7, -2 in increasing order.
-2, -6/7, p
Let c = 0.27 - -8.73. Let h = 11 - c. Let f = 1.5 + -1. Put f, h, -6 in descending order.
h, f, -6
Let h = -284 - -284. Put h, 87, -3, 5 in decreasing order.
87, 5, h, -3
Let w = 28 + -14. Let q = -9 + w. Put q, -5, -2/9 in descending order.
q, -2/9, -5
Let u(s) = -3*s**2 + 31*s - 14. Let y be u(10). Let v = -5 + 10. Put 0, v, 3, y in decreasing order.
v, 3, 0, y
Suppose 12 = -4*x, 2*c - 2*x + 5*x + 9 = 0. Let b be ((-8)/6)/((-2)/6). Let l = b + -5. Put c, l, -4 in ascending order.
-4, l, c
Let j = 9 + -2. Let x = -12 + j. Let z = 859/68 + -51/4. Sort -0.3, x, z in descending order.
z, -0.3, x
Let m be 21/9*26/455. Sort m, -0.2, -12.
-12, -0.2, m
Let c = -5 - -6. Let u = 0.7 + 4.3. Let l = 8 - 33/4. Sort u, c, l.
l, c, u
Let j = 1.909 + 106.991. Let u = j + -109. Put 1/3, u, -0.6 in descending order.
1/3, u, -0.6
Let s(l) = l**3 + 10*l**2 + 19*l - 14. Let c be s(-7). Let h = -0.01 - -5.01. Let f = -0.5 - 0. Put f, h, c in ascending order.
f, c, h
Let g(p) = -p**3 + 9*p**2 + 5. Let n be (6/(-5))/(2/(-15)). Let y be g(n). Suppose 0 = -o + 4*l - 18, -6*o + o = y*l - 35. Sort 5, 1, o.
1, o, 5
Suppose -26 = -34*a + 348. Sort 2, 5, a in increasing order.
2, 5, a
Let j = -0.286 + 3.286. Sort 0.3, 4, -2, j in descending order.
4, j, 0.3, -2
Suppose -33*p + 35*p = -10. Sort 0, p, 5, 4 in increasing order.
p, 0, 4, 5
Let k = 0.02 - -1.98. Let u = 1.9 - k. Let s = -1427 - -1428. Put -1/4, s, u in descending order.
s, u, -1/4
Let k be (-4 + -2 + 6)/(0 + 3). Suppose -5*o - 11 + k = -4*u, -2*o + 3*u - 10 = 0. Let n(f) = -f**2 + 4*f - 4. Let j be n(4). Sort o, j, 6.
j, o, 6
Suppose -2 + 8 = -3*x. Let m(k) = -k + 4. Let u be m(x). Sort 1, -3, u in increasing order.
-3, 1, u
Let h = 3.1 - 3. Let p = 0.4 + h. Let q = -119/3 + 40. Sort 3, q, p in ascending order.
q, p, 3
Suppose 5*f = 3*j - 7, 4*j - 15 = f + 17. Let c = -9 + j. Suppose -10 + 18 = 3*l - z, z = l - 6. Sort 2, l, c.
c, l, 2
Let x = -28 - -25. Let m(d) = d**3 + 4*d**2 + 3*d + 2. Let n be m(x). Sort -2, 1, n in decreasing order.
n, 1, -2
Let x = 1527 - 1523. Put 0.03, -0.3, -5, x in decreasing order.
x, 0.03, -0.3, -5
Let b be 74/(-185) + (-1)/(10/16). Put -96, 4, b, 2 in descending order.
4, 2, b, -96
Let h = 8 - 12.8. Let u = -0.2 + h. Let g be (1 + 10/(-4))*-2. Put u, g, 0.3 in decreasing order.
g, 0.3, u
Let u = -101 - -97. Let q be 13/52*u/(-2 - 0). Sort 7, -3, q in descending order.
7, q, -3
Suppose -o + 3 = 2*u - u, -5*u + 2*o + 15 = 0. Let q be -1*2*u/(-2). Suppose -q*p = 5 + 7. Sort -5, p, -2 in decreasing order.
-2, p, -5
Suppose -2*i - i - 2*c + 235 = 0, 0 = -i + 4*c + 55. Suppose i = 2*z + 3*z. Suppose 6*a - a + z = 0. Sort 1, a, 5 in decreasing order.
5, 1, a
Let x be (-172)/22 + 11 + -3. Put x, 80, 1/3 in increasing order.
x, 1/3, 80
Suppose 4*o - 93 - 3 = 0. Let a be -4 + 93/o*1. Let j = 0.3 + -0.5. Sort j, a, 3.
j, a, 3
Let o be -9 - -13 - (-1 - -5). Sort -28, o, -5 in increasing order.
-28, -5, o
Let s = -2 - -1.95. Let b = 155 + -156. Sort 1/4, b, s in descending order.
1/4, s, b
Suppose 0 = 17*c - 81 + 98. Sort 1, -4, c in ascending order.
-4, c, 1
Let t = -44 - -15. Let b = 28.9 + t. Sort 0, -5, b in decreasing order.
0, b, -5
Let z = -18.4 - -18. Let a = 11 + -9. Put z, a, 12 in descending order.
12, a, z
Let l = -47 + 51. Suppose 0 = h - 3*h + l. Sort 4, 5, -5, h in increasing order.
-5, h, 4, 5
Suppose 0 = l + o - 21, -o = -3*o + 2. Suppose 4*w = 5*q + l, -2*w = 5*q + w + 20. Let z(y) = -13*y - 16. Let x be z(-1). Sort x, q, -5 in descending order.
x, q, -5
Let a = 0.387 - 0.487. Sort a, 4, -0.03 in descending order.
4, -0.03, a
Let n = 49.5 + 13.5. Let l = -62.9 + n. Put l, 4, 2/9 in decreasing order.
4, 2/9, l
Let r = 30 + -25. Let w(x) = -x**2 - 7*x**2 + 3*x**2 + 4*x**2 - x + 3. Let f be w(2). Sort r, 4, f in descending order.
r, 4, f
Let m(r) = r**3 + 3*r**2 + 2*r. Let d be m(-2). Let k be 8*(-5)/(-15) + -3. Let l = k + d. Sort -1/7, l, -1.
-1, l, -1/7
Let a(f) = -2*f - 10. Let p be a(-7). Suppose -w = 3*w, v + p*w + 4 = 0. Suppose -j - 2*j = -3. Sort j, v, 0.5 in descending order.
j, 0.5, v
Let v = 1082 + -1081. Let c = -3/76 + 35/2812. Sort c, -1/2, v in descending order.
v, c, -1/2
Let i = -14 - -52. Let z = i - 18. Let o = z - 20.3. Sort o, 2/3, 4 in increasing order.
o, 2/3, 4
Let o = -1177 + 1181. Sort -7, 3, o, 2 in 