decreasing order.
5, w, 1/5
Let d = -25 - -20. Sort d, 38, -0.2 in decreasing order.
38, -0.2, d
Let c be -2*(4 - 11/2). Sort 0, c, -0.09 in descending order.
c, 0, -0.09
Let m = -8 + 9. Sort m, -3, 3.
-3, m, 3
Let t be (16/6)/((-2)/(-3)). Let o be (t - 5) + (-3 - -2). Sort o, -4, 2.
-4, o, 2
Let m(p) = -p**2 - 11*p - 19. Let k be m(-9). Sort 4, 2, k, -4 in ascending order.
-4, k, 2, 4
Let r be 6/15 - 52/(-20). Sort r, 4, -2 in decreasing order.
4, r, -2
Let o = 59 + -113/2. Put 1/2, o, 0, -3 in increasing order.
-3, 0, 1/2, o
Let y = -5 - -4. Let p = -3 + 3. Let r = -2 - -4. Sort p, r, y.
y, p, r
Suppose -5*m - 15 = 0, -3*m = -3*w + w - 397. Let j = 2231/11 + w. Let l = 7 - 5. Sort l, j, 1/4.
j, 1/4, l
Let x be ((1/(-2))/(21/6))/(-1). Sort -3, -0.5, 0, x in decreasing order.
x, 0, -0.5, -3
Let d = -0.4 + 4.4. Let s = 1255/116 + -43/4. Let p = s - 37/116. Sort 0, d, p in ascending order.
p, 0, d
Suppose -2*q - 2*q + 96 = 0. Suppose -l + q = -0*l. Let z be 1/(-4) + (-42)/l. Sort 1, z, 5 in decreasing order.
5, 1, z
Let i be 4/(-14) - 38/14. Let r = -5/6 - -7/3. Sort i, r, -0.3.
i, -0.3, r
Let b(g) = g**2 + 3*g. Let m be b(-4). Let t be 2/((m/2)/(-2)). Sort t, 0.1, 5.
t, 0.1, 5
Let t = -51 + 48. Put 5, -1, t in increasing order.
t, -1, 5
Let b = 11 + -20. Let c = 4 + b. Let j = c + 2. Sort -2, j, 3.
j, -2, 3
Suppose 1 = -2*u - 1. Let b(f) = -f**3 + 16*f**2 - 15*f - 3. Let a be b(15). Sort -5, u, a.
-5, a, u
Let q = -0.0082 + -2.8218. Let d = 0.17 - q. Sort d, -1, 5 in decreasing order.
5, d, -1
Let k = -21/2 + 10. Let o be -4 + 2/(2/(-1)). Put 2/19, k, o in ascending order.
o, k, 2/19
Let f(k) = -k - 2. Let i be f(-4). Sort 43, i, 0 in descending order.
43, i, 0
Suppose -4*l = 5*w + 4 + 12, 0 = 2*w + 2*l + 8. Sort 2, 3, w.
w, 2, 3
Let p = -119 - -121. Let f(v) = v**2 - v + 1. Let o(l) = -l**2 + 6*l + 1. Let j be o(6). Let i be f(j). Sort p, -4, i.
-4, i, p
Let g(d) = -d + 5. Let x be g(4). Put -1, -5, x in decreasing order.
x, -1, -5
Let q = -16 + 5. Let u = 10.5 + q. Put 1/3, -4, u in decreasing order.
1/3, u, -4
Suppose -18 = -2*g - 2. Suppose 0 = 3*r - g*r + 5. Sort -4, -2, r in decreasing order.
r, -2, -4
Suppose -5 = 5*o, 5*u - 4*o + 3 = 2. Sort -4, -3, u.
-4, -3, u
Let b = 21 - 145/7. Let n be 3/(-6 + 3) + -4. Sort b, n, -2/7 in descending order.
b, -2/7, n
Let y be -1 + 6 - 2/2. Let d(u) = -u**3 + 3*u**2 + 2*u + 2. Let c be d(3). Let r be 2/4*(-8 + c). Sort y, r, 5 in decreasing order.
5, y, r
Suppose y - 6 = 2*t, 2*t - y = -3*t - 9. Sort t, 2, 7, 0 in ascending order.
t, 0, 2, 7
Let d = -5 + 4. Let v = 1.1 + d. Let q = 0.3 - v. Sort 4/7, 5, q in increasing order.
q, 4/7, 5
Let t = -16/7 + 190/77. Sort -3, t, 0.3, -8 in increasing order.
-8, -3, t, 0.3
Let t = 223/7 + -32. Put 1, -0.4, t in increasing order.
-0.4, t, 1
Suppose -12 = 3*g - 4*g + 3*z, -2*z - 8 = -4*g. Put g, 1, 4 in descending order.
4, 1, g
Let u = 5 - 8. Let l(h) = h**3 + 7*h**2 - 8*h - 2. Let y be l(-8). Let q be 2/3*3/y. Put 0.1, u, q in ascending order.
u, q, 0.1
Suppose -5*q - 20 = -9*q. Suppose -11 + 31 = -q*n. Put -2, n, 1 in decreasing order.
1, -2, n
Let z(x) = -x**2 + 8*x - 4. Let i be z(8). Sort i, -2, 1, 4.
i, -2, 1, 4
Let t = 4 - 4. Let g be ((-1)/13)/((-8)/(-16)). Sort g, -0.5, t.
-0.5, g, t
Let s = 13/11 - 113/77. Put -2, -3/5, 5, s in increasing order.
-2, -3/5, s, 5
Let b be (1 + -4)/(-1) - 0. Let y be (-5 - -9) + (b - 9). Sort y, -3, 5.
-3, y, 5
Suppose -5*b - 3 = 2. Let q be 0/(-2 - (-1 - b)). Put q, -4, -1 in decreasing order.
q, -1, -4
Suppose -10 - 2 = -3*c. Let x be 8/3 + -3 - (-3)/9. Put x, c, -4 in decreasing order.
c, x, -4
Let o = -1 - -6. Suppose 5*c + 0*c = -o*n + 110, -5*c - 4*n = -106. Let m be (2/(-3))/((-12)/c). Put -4, m, 4 in ascending order.
-4, m, 4
Let o = -0.9 + 1. Let l = -1 - -2. Let b = 3/149 + 423/1192. Put l, o, b in descending order.
l, b, o
Let g(f) = -f**3 + 6*f**2 + f - 4. Let l be g(6). Let n = 0.45 + -0.05. Put 1, n, l in increasing order.
n, 1, l
Suppose -12 = -5*z - 2. Put z, -5, 0 in decreasing order.
z, 0, -5
Let z be (-63)/(-36) - 2/(-8). Let c = 2 - -1. Put z, c, -5 in ascending order.
-5, z, c
Let d = -9/5 - -53/35. Sort 0.1, d, 3/5 in increasing order.
d, 0.1, 3/5
Let n = 7 + -3. Suppose -3 = n*i - 3*f, 2 + 1 = 4*i + 3*f. Sort i, 4, -2.
-2, i, 4
Let k = -20 - -15. Let d = k + 7. Let s = 2.9 + 1.1. Put s, d, -0.3 in descending order.
s, d, -0.3
Let b = -0.29 + -0.01. Let n = 4 + -2. Let o = -2 - n. Sort o, b, -0.5.
o, -0.5, b
Suppose -5*c + m = -36, -2*m - 2*m = -c - 8. Let p be (-3)/12*c/6. Let y = 1.1 - 6.1. Sort y, p, 0.5 in descending order.
0.5, p, y
Let i be (0 + 1)/4*(-112 - -124). Let y be (0/(-1))/((-1)/(-1)). Sort 2, i, y in descending order.
i, 2, y
Let c be 2*-1*7/14. Sort -0.1, -6, c.
-6, c, -0.1
Let z be 284/14 + 6/(-21). Suppose 2*j + 2 = -n - 2, 0 = -j + 4*n - z. Sort -2, j, 2 in descending order.
2, -2, j
Let v = -0.29 - -0.24. Let p = -0.4 + 0.5. Let x = 0.4 + p. Put 4, v, x in decreasing order.
4, x, v
Suppose 8*h = 6*h. Put -4, h, 7 in increasing order.
-4, h, 7
Let s be (-21)/63*3/(-4). Sort -5/4, s, 0 in decreasing order.
s, 0, -5/4
Let n = -19 - -17. Sort n, 4, 1 in decreasing order.
4, 1, n
Let d be ((-1)/2)/((-12)/(-8)). Put 2, 4, d in descending order.
4, 2, d
Suppose -5*p = -4*b - 19, 5*p + 4 + 1 = 0. Put 1, b, 0 in descending order.
1, 0, b
Let q = 5376.9663 - 5374. Let s = 0.0437 + q. Let r = -0.01 + s. Sort -1/4, 1/3, r in ascending order.
-1/4, 1/3, r
Let l be (-8)/(-7) - (2 - 1). Put l, 0.02, -5, 2/9 in descending order.
2/9, l, 0.02, -5
Let w be (-1 + (-3)/15)/((-27)/180). Put w, 1, 2 in decreasing order.
w, 2, 1
Suppose 4*k - 25 = -5. Put -2, -4, k in descending order.
k, -2, -4
Let y = -0.15 - -1.55. Let p = y - 0.4. Let r = -685/4 + 170. Sort 0.1, r, p.
r, 0.1, p
Let i = 0.02 + -0.03. Let g = i - -0.41. Put -5, g, -3 in decreasing order.
g, -3, -5
Let k = -1.8 + 2.2. Let g = 3.2 + -0.2. Sort g, k, 0.03 in ascending order.
0.03, k, g
Let d be 48/(-60)*(-10)/(-4). Sort d, -4, -7, 3 in increasing order.
-7, -4, d, 3
Let x = -0.61 - -3.61. Sort 1/5, -0.1, x in ascending order.
-0.1, 1/5, x
Let t = 6 - 10. Put -3/4, 2/5, t in descending order.
2/5, -3/4, t
Suppose 0 = -5*f - 10. Suppose 2*q + 3*m = -0*q, -4 = 2*q + 5*m. Suppose -q*c - 4 + 13 = 0. Sort 2, c, f in ascending order.
f, 2, c
Suppose 0 = 28*s - 25*s - 12. Sort -5, 2, s, -3 in descending order.
s, 2, -3, -5
Let m(d) = -4*d**2 - 4*d. Let n(s) = 11*s**2 + 13*s. Let c(h) = 8*m(h) + 3*n(h). Let p be c(-6). Let o = p - -7. Put o, 0, -5 in decreasing order.
o, 0, -5
Let t = 0.11 - 0.91. Let b = t - 3.2. Sort -5, b, -1 in descending order.
-1, b, -5
Let p = 45 - 14. Suppose -t - 1 + 2 = 2*y, p = 2*y - 5*t. Suppose -4*z + 26 = 6. Put -2, y, z in increasing order.
-2, y, z
Let s = -3 - -8. Suppose -53 = -s*a + 3*t, 0*a + 2*a - 24 = 4*t. Suppose -2*b - a = 3*b. Sort 5, b, 3 in increasing order.
b, 3, 5
Let l be (2/10)/((-20)/(-25)). Put -1/5, 2/41, l in descending order.
l, 2/41, -1/5
Let x = -117 - -116.8. Put -2/5, 10, x, 2/3 in increasing order.
-2/5, x, 2/3, 10
Let s be 2/((-6)/(-9)) + 1. Let f(z) = -z + 4. Let o be f(s). Sort 5, -5, o in decreasing order.
5, o, -5
Let t(y) = -y + 22. Let l be t(13). Let k(z) = -z**2 + 11*z - 19. Let b be k(l). Sort -2, b, -4 in decreasing order.
b, -2, -4
Let u(z) = -z**2 - z. Let f be u(-2). Let v = 0 + f. Put v, 4, 1 in increasing order.
v, 1, 4
Let x(j) = j**2. Let p be x(-2). Let r = 2 + -2. Let d(s) = -s**2 - s. Let b be d(1). Put p, r, b in ascending order.
b, r, p
Let u be 0 - (1 - 0 - 1). Let c = u - 0. Let q be -19 - -15 - 33/(-8). Sort q, c, -1 in increasing order.
-1, c, q
Let z = 9.8 - 10. Sort 2/45, z, -2 in descending order.
2/45, z, -2
Let a(n) = 2*n + 27. Let m be a(-14). Suppose 2*d + 2 = -6. Sort m, d, -3 in increasing order.
d, -3, m
Let s = -77 + 383/5. Let z be 4/18 - 58/18. Put 3/5, z, s in decreasing order.
3/5, s, z
Let r = -6 - -6. Let w = r + 0.5. Put w, 0, 4 in decreasing order.
4, w, 0
Let i = 19 - 14. Suppose d - 6 - 8 = 4*m, 5*d - 2*m = 16. Sort i, d, 3 in descending order.
i, 3, d
Let u = 0.05 + 1.95. Let p = 18 + -14. Let t = u - p. Sort t, -5, -0.2.
-5, t, -0.2
Let r = -7 + 7. Let l = 4 - 8. Put 0.2, l, r in descending order.
0.2, r, l
Let n = 0.1 + -0.5. Let r