8 = -3*k. Sort r, j, 9 in increasing order.
j, r, 9
Let d = 19 - 55/3. Sort 2, d, -3.
-3, d, 2
Let a(r) = 21*r**2 + 1. Let v be a(-1). Suppose 2*u + v + 10 = -5*j, 2*j = 4*u - 8. Let i be 1/2 + (-3)/j. Sort i, -3, 3.
-3, i, 3
Let x be (4 + (-16)/4)*-1. Put -8, x, 0.1, -1 in descending order.
0.1, x, -1, -8
Let h = -27 - -8. Sort h, 3, -0.3 in descending order.
3, -0.3, h
Suppose 57*z = 58*z. Sort 3, 4, z in increasing order.
z, 3, 4
Let s = -4 + 3.9. Let u = 1 + 0. Let d = -4.7 + 0.7. Put s, d, u in ascending order.
d, s, u
Let l be ((-4)/(-15))/(4/(-12)). Sort 8/5, 5, l.
l, 8/5, 5
Suppose 3*o - 4*o = -3. Let s be 2/(-8) + 1/4. Suppose s + 3 = -o*m. Put 4, 5, m in descending order.
5, 4, m
Let x be (-1 + -17)/(5/(-5)). Suppose -4*b + i + 3 + x = 0, -4*i = -b + 24. Sort b, 5, 0 in decreasing order.
5, b, 0
Let d be ((8 - 0) + -2)/(-2). Let i(l) = l**2 + 4*l + 2. Let z be i(d). Sort 0, -5, z in decreasing order.
0, z, -5
Let d(f) = -f**3 + 2*f**2 + f + 3. Let x be d(2). Sort -5, -12, x in ascending order.
-12, -5, x
Let b = -0.3 - -0.2. Let s = b + -4.9. Let p be 81/15 - (-4)/(-10). Put s, 0.5, p in ascending order.
s, 0.5, p
Let s(m) = -2*m + 22. Let v be s(15). Put 5, v, -2 in descending order.
5, -2, v
Let a = -3.8 - 1.2. Let q be 2/7 - (-174)/(-21). Let j be 1 + 0 + q/6. Sort a, j, -1.
a, -1, j
Let f = 0.3 - 0.3. Let k = f + -1. Put -5, k, -1/9 in decreasing order.
-1/9, k, -5
Suppose 0*u - 4*u = 20. Put 1, -1, u in decreasing order.
1, -1, u
Let m = -80 - -76. Put m, -5, 1 in ascending order.
-5, m, 1
Let r = -16 - -17. Put r, -0.3, -3/5 in decreasing order.
r, -0.3, -3/5
Let f(h) = h**3 + 4*h**2 - 3*h + 6. Suppose -o = 0, -2*n + 5 = -3*n + 2*o. Let i be f(n). Sort 3, 1, i in increasing order.
i, 1, 3
Suppose -3*j + 4 = -2. Suppose -4*v = -5*p - 17, -5*p = j*v + 3 + 26. Let o = -9 - -14. Sort v, o, 1 in decreasing order.
o, 1, v
Let g = 43 - 41. Sort -3, g, 3, -2 in descending order.
3, g, -2, -3
Let v(x) = -x**3 - 8*x**2 + x + 9. Let i be v(-8). Sort -14, i, 5 in descending order.
5, i, -14
Let c = 0.31 - 7.91. Let o = c - -8. Put 4, o, 0.1 in ascending order.
0.1, o, 4
Let x be 0*2/8 - -1. Sort x, 2/15, 2 in ascending order.
2/15, x, 2
Let t = -54 + 91. Suppose -4*s = -7*z + 2*z + t, -15 = -3*z. Let v = 1 + -2. Sort 1, s, v in increasing order.
s, v, 1
Let z(x) = x**2 - x + 3. Let s be z(2). Put 2, s, -1 in increasing order.
-1, 2, s
Let f = -3 - -3.4. Let s = 1.2 - 0.2. Put 1/5, f, s in ascending order.
1/5, f, s
Let p = 0.6 + 0.4. Let r = p + 4. Sort -1/5, 2, r in increasing order.
-1/5, 2, r
Let p be (1/(-2))/(2/(-4)). Let d(f) = f**2. Let g be d(2). Put g, p, 2/9 in decreasing order.
g, p, 2/9
Let t(o) = o - 1. Let m be t(-3). Suppose 3*w - 7*w + 8 = 0. Suppose -w - 1 = 3*n. Put n, -5, m in decreasing order.
n, m, -5
Let a = -109 - -113. Sort a, -1.2, -0.3.
-1.2, -0.3, a
Let l = 26 - 26.36. Let a = 0.04 + -0.1. Let i = l - a. Sort -0.5, i, -5.
-5, -0.5, i
Suppose 55 = 8*z + 3*z. Put 8, z, 0 in increasing order.
0, z, 8
Let v = 124 + -127. Sort 2, -1, -0.5, v in descending order.
2, -0.5, -1, v
Suppose 4*p - 4*m = -12, 2*p - 4 + 14 = 4*m. Let h be (-4 + 8)*p + 9. Put 4, -4, h in ascending order.
-4, 4, h
Let i be 1 - 1 - (4 - 3). Put 1, -4, i in descending order.
1, i, -4
Let i = 2.2 - 1.7. Put i, 24, 4, 0.1 in ascending order.
0.1, i, 4, 24
Let u = 4.3 - 0.3. Let q = u + -2. Let s = -163/3 - -55. Put s, q, -3 in decreasing order.
q, s, -3
Suppose 2*u = 7*u - 10. Let j be (-1 + 1/1)/(-1). Suppose -n + 3*t = -j - 8, 2*n = -t + u. Sort -2, 0, n in descending order.
n, 0, -2
Let c(x) = x**3 - 2*x**2 - 5*x + 2. Let u be c(3). Sort u, 0, 4 in descending order.
4, 0, u
Let s be 2/3 - (-16)/3. Let n(i) = i**2 - 4*i - 5. Let c be n(s). Suppose 0 = -5*l - c - 8. Sort -2, 5, l in decreasing order.
5, -2, l
Suppose -f + 7 = -2. Suppose -f = -4*w + 11. Put w, -3, -6 in descending order.
w, -3, -6
Let g be 1/(-5) + 522/2510. Let x = g - -476/3263. Put -5, x, 2/7 in ascending order.
-5, x, 2/7
Let w be ((-4)/(-16))/((-2)/(-40)). Suppose w*p - 5*l - 15 = 0, 1 = -l + 3. Let y(x) = x**2 - 6*x + 3. Let m be y(4). Sort 3, p, m in descending order.
p, 3, m
Let c = 8 + -9. Put c, -2, 2, 5 in increasing order.
-2, c, 2, 5
Suppose 3*y + 6 = 12. Suppose 5 = -y*d + 1. Put 1, d, 0 in ascending order.
d, 0, 1
Suppose -8*w + 2*w = 24. Let t = w + 2. Put t, 4, -4 in increasing order.
-4, t, 4
Let w be (9 - (-333)/(-36))*(-8)/11. Sort -1/5, 3, w in increasing order.
-1/5, w, 3
Let h be (-4)/14 + (-1)/(-28). Suppose 0*u + 10 = 2*u + 2*g, 21 = 5*u + 3*g. Sort 1, u, h in decreasing order.
u, 1, h
Let s = 7/16 - 67/80. Suppose 2 + 1 = 3*j. Put 1/2, j, s in decreasing order.
j, 1/2, s
Let a be -1 - -2 - (0 + -1). Let d be 6 + 1/(a/(-4)). Suppose 5*i + 5 = w + 4*w, 2*w = 4*i + d. Put -2, w, 2/9 in decreasing order.
2/9, w, -2
Let n = 5 - 7. Sort 2, 4, n in descending order.
4, 2, n
Let d = -4 - -1. Let o = -2 - -7. Put o, d, 2 in decreasing order.
o, 2, d
Let j = 230.05 + -235. Let x = 0.05 - j. Let y = 9 + -9.1. Put y, 0, x in decreasing order.
x, 0, y
Let q = -1.1 + -3.9. Let d = 48 - 57. Let x = q - d. Put x, -0.2, 2/3 in ascending order.
-0.2, 2/3, x
Let b = 26 - 30. Sort -5, 4, b.
-5, b, 4
Let l(j) = -j - 16. Let c be l(-7). Let n = 14 + c. Sort 9, n, -1 in ascending order.
-1, n, 9
Suppose 3*s - 4*s = 5. Let g be (-3)/s*(-10)/4. Put 4, 3, g in ascending order.
g, 3, 4
Suppose -7 = -2*z - 1. Let u be z*(15/9 + -3). Put u, 1, -2 in increasing order.
u, -2, 1
Let m = -10 + 6. Let c = -8 + 6. Put 3, m, c in ascending order.
m, c, 3
Let l = 0.85 - 0.82. Let y = 1.1 - 1. Sort l, -2, y in decreasing order.
y, l, -2
Let v = -0.6 - -0.3. Suppose 0 = -r + 2*l - 22, -7*r - 94 = -3*r - 2*l. Let x be 3/9 - (-2)/r. Sort x, v, 5 in increasing order.
v, x, 5
Let i be 58/435 - ((-26)/15)/2. Sort -32, i, 0.
-32, 0, i
Let u be 6/(-14) - (-3)/7. Sort 2, u, -4 in decreasing order.
2, u, -4
Let n = -3 + 1. Suppose 5*h = -d + 6*d - 15, h + 4*d + 8 = 0. Put h, 3, n in ascending order.
h, n, 3
Let k = 21 - 23. Let q be 2*k*3/12. Put 5, 4, q in increasing order.
q, 4, 5
Let g = -7 - -9. Let z = -2 - g. Sort 0.1, z, 2/9.
z, 0.1, 2/9
Suppose 0 = -5*k - d + 18, 0 = 4*k - 0*d - 5*d - 26. Sort -3, 1, k.
-3, 1, k
Let n = 1 - 3. Let k be (2/(-4))/(2/182). Let s = -643/14 - k. Sort s, n, 4 in descending order.
4, s, n
Let f(o) = -2*o**3 - 11*o**2 + 8*o + 9. Let l be f(-6). Put l, 5, -5, 6 in ascending order.
-5, l, 5, 6
Suppose -3*q = 2*t + 2, -4*t + q + 1 + 9 = 0. Let g be (-5)/(t + -4 + 1). Put -2, 2, g in descending order.
g, 2, -2
Suppose 0 = v + 3*v + h - 7, -4*h = -2*v + 8. Suppose 6*k - 2*m = 3*k + 11, 4*k = 4*m + 16. Put v, 1, k in decreasing order.
k, v, 1
Let b be (-2 - (-2)/2)*-4. Suppose 5*t - 6*t = -3. Sort b, t, -5.
-5, t, b
Let m = 2 - 7. Let t be -3 + 55/45 - (-2)/1. Let q = 1 - 2. Sort m, q, t.
m, q, t
Suppose 0 = -4*p - 4 - 0. Suppose 4*h - 6*t + 3*t = -1, t + 21 = -4*h. Suppose -2*l - 4 = -6. Sort l, h, p.
h, p, l
Let o = 7 - 7.4. Let a = -0.7 - o. Put a, 0.3, 5 in decreasing order.
5, 0.3, a
Let b = 24 + -25. Put -1/3, 1/5, b in increasing order.
b, -1/3, 1/5
Let s(z) = -2*z**3 + z**2 + z + 1. Let x be s(-1). Let t be (-5)/x*(-24)/(-16). Sort 3, -3, t in ascending order.
-3, t, 3
Let m be (-1 + (-1)/(-2))*-10. Suppose 6*l = -3*x + 3*l + 9, 4 = 4*x + 2*l. Sort x, 0, m in ascending order.
x, 0, m
Suppose -3*f + 8 = 4*z - 5*z, -2*z = 2*f. Put z, 5/6, 4 in decreasing order.
4, 5/6, z
Suppose j + 4*b - 12 + 2 = 0, 13 = -2*j + 3*b. Let w be j/(-3 - 1) + -2. Let m = -5 + 4. Sort w, 1/4, m in decreasing order.
1/4, m, w
Let o = -0.038 - -46.038. Let y = o + -46.95. Let n = y + -0.05. Sort 3, n, -0.3 in decreasing order.
3, -0.3, n
Let w = -113 + 563/5. Put w, 13, 5 in decreasing order.
13, 5, w
Suppose q - 3*b = 4*q - 21, 0 = -3*q + 5*b + 37. Suppose 5*i - q = -4. Put i, -2, -3 in increasing order.
-3, -2, i
Let k = 247/4620 + 1/140. Put -5, 1/8, k in descending order.
1/8, k, -5
Let r = 182 + -181.93. Put -1/5, -2, r in ascending order.
-2, -1/5, r
Let c be (-3*-1*1)/1. Suppose 0*g - 3 = -c*g. Let k = 586 + -591. Sort g, k, -4 in decreasing order.
g, -4, k
Let g(b) = -b + 1. Let y be g(5). Suppose -3*c + 2 = d, -c - 4*d = -0*d - 8. Sort 2, y, c in decreasing order.
2, c, y
Let g(c