3
Suppose 8 = 3*d - 1. Let u = 11 - 6. Suppose 2*l - 3*l = -2*z - 2, 4*l - 4*z = 0. Sort d, l, u.
l, d, u
Let m = -2 - -1. Let r = -1 + m. Suppose 5*k - 34 = -14. Sort r, k, -4.
-4, r, k
Suppose f - 2*d = 8, 2*f + 5*d - 2 = -13. Let y be (-86)/(-56) + f/(-7). Put -2, y, -5 in descending order.
y, -2, -5
Let u(t) = -8 + 17*t + t**3 - 15*t**2 - t**2 + 7 - 2*t**2. Let l be u(17). Suppose 0 + 19 = -2*n - 3*a, 3*n = -4*a - 26. Sort -3, l, n.
-3, n, l
Let p be -4 + (2/(-14) - (-286)/91). Let x = -2.5 - 0.5. Sort p, x, 0 in descending order.
0, p, x
Suppose -6 + 12 = -3*d. Let f be d/4*(-18)/(-15). Sort -0.5, f, 4 in descending order.
4, -0.5, f
Let v = 2/3 - 5/12. Let n be (0/(-1 + -1))/2. Suppose a - w + 6 = n, -4*a + 5*w - 27 = -2*a. Sort a, 0, v in decreasing order.
v, 0, a
Let l(u) = -2*u + 9. Let t be l(7). Suppose 5*q - 20 = 105. Suppose 11*b = 6*b + q. Put t, 4, b in descending order.
b, 4, t
Let c be (-2)/(2 + -6)*8. Sort c, 2, -4 in descending order.
c, 2, -4
Let a be 3/(-18) - 178/12. Let g be (-9)/a - (-23)/(-5). Let c(j) = -j + 7. Let o be c(3). Sort -3, o, g.
g, -3, o
Let z = 17 + -12. Sort -2, -4, z in decreasing order.
z, -2, -4
Suppose -25 = -5*d, 5*k + 0*k = d - 10. Put k, 0.8, -2/7 in decreasing order.
0.8, -2/7, k
Let d = -11.21 - -0.21. Let x = 7 + d. Sort 5/4, 5/6, x in ascending order.
x, 5/6, 5/4
Suppose 2*i + 2 = 4*k, 5*k + 4*i - 10 - 12 = 0. Put -15, 5, -4, k in descending order.
5, k, -4, -15
Suppose -2*x + 9 + 5 = 0. Suppose -x - 2 = -3*s. Put -3, s, 5 in increasing order.
-3, s, 5
Let w = 13 + -8. Suppose 8 = -l + w*l. Suppose -3*f = -3*j, 3*f + l*j - 6*j + 2 = 0. Put f, -5, 5 in increasing order.
-5, f, 5
Let g be -7 + (1 - -3) - 0. Put 1, g, -12 in ascending order.
-12, g, 1
Let v = 3.3 + -3. Let f = -759916 + 216575807/285. Let x = -5/57 - f. Sort v, x, -0.2 in decreasing order.
x, v, -0.2
Let c(y) = -y**2 - 3*y + 2. Suppose 4*o = -2*p + 16, -6*p = -4*p + 5*o - 21. Let u be c(p). Let b = 7 - 22/3. Sort u, 0, b in increasing order.
b, 0, u
Let x be (-15)/18 - 1/6. Sort -5, x, 4 in descending order.
4, x, -5
Suppose -3*c - 32 = 4*d + c, -c = -d - 2. Sort d, 1, 4.
d, 1, 4
Suppose 10 = z + 2*h, 3*z - 22 = 2*z - 5*h. Suppose -3*a + z = -2*a. Let l = -20 + 20. Sort 1/4, a, l in decreasing order.
a, 1/4, l
Let m = -0.1 + -0.9. Let q = 5 - m. Let i = q + -6.2. Put 0.1, 4, i in increasing order.
i, 0.1, 4
Suppose 3*j - j + 20 = -5*q, -5*j + 3*q + 12 = 0. Suppose 3 = l - 0*l. Sort j, l, 2.
j, 2, l
Let n(h) = -h**2 - 5*h + 6. Suppose -3*l + 2*l = 6. Let y be n(l). Sort y, -1, 2 in decreasing order.
2, y, -1
Let t(c) = 2*c + 3. Let a be t(-5). Let o(d) = 3*d**3 - 2*d**3 + 6*d**2 + 0*d**3 - 8*d - 6. Let r be o(a). Sort -0.5, -3, r in decreasing order.
r, -0.5, -3
Let b(n) = n**2 + 2*n. Let m be b(-2). Let q = 298 + -303. Sort m, -4, q in increasing order.
q, -4, m
Let s = 9 - -4. Let w = -6 + -3. Let j = s + w. Sort 5, -0.3, j in decreasing order.
5, j, -0.3
Suppose 2*m = -1 + 5. Suppose -m = 4*g - 10. Sort g, -3, -5.
-5, -3, g
Let j(i) = -i**2 + 7*i - 3. Let k be j(7). Let l = -4 - k. Put 0.1, 0.2, l in increasing order.
l, 0.1, 0.2
Let p be 14/(-5) - 1/5. Let d = -0.3 + -0.1. Sort d, p, 2/5.
p, d, 2/5
Let p be 2/(-9) - 10/(-45). Let b = 0 - 1. Put 4, b, p in ascending order.
b, p, 4
Let u = -11 - -6. Suppose x + 0 + 2 = 0. Sort x, u, 2 in increasing order.
u, x, 2
Let a = 0.5 - 0. Let i be ((-2)/8)/(3/8). Put i, a, 5 in increasing order.
i, a, 5
Let a be (-18)/(-27) - 14/3. Let d = a + 5. Let n be (d/(-3))/(2/(-10)). Sort 1/4, n, -3 in decreasing order.
n, 1/4, -3
Let r = 0.16 - 0.66. Sort 4, r, 0.1 in ascending order.
r, 0.1, 4
Let z = 9 - 6. Let p be 4/(-6)*z + 3. Put 3, p, -2 in increasing order.
-2, p, 3
Let a = -23 - -12. Let n = a - -11. Sort 5, -1, n in descending order.
5, n, -1
Suppose -2*l = -2*v + 20, -l = 3*v - v - 8. Let t(p) = 2*p - 4. Let c be t(v). Suppose -2*z - c = -0. Sort -5, 5, z in ascending order.
-5, z, 5
Let y = 21 + -17.5. Let c = y + -2.5. Put c, 3/4, -0.1 in increasing order.
-0.1, 3/4, c
Let j = 0 - -0.5. Let m = 1.2 - 1. Let b = m - 0.7. Sort 2/11, j, b.
b, 2/11, j
Let d = 3 + 1. Let g = d - -1. Let l(n) = n**3 - 6*n**2 + 5*n. Let j be l(5). Sort j, g, -3 in decreasing order.
g, j, -3
Suppose 0 = 2*q - 0 + 8. Put q, 0, 4, -2 in decreasing order.
4, 0, -2, q
Suppose 4*r = -20, d - 30 = r + 4*r. Let f be (-10)/4*4/(-5). Let b be (-5)/((-10)/8) - f. Sort d, 0, b.
0, b, d
Let v be (-3)/3 - (-2 - 2). Suppose 3 = -3*z + k - 2*k, -15 = z + 5*k. Suppose 0 = -z*y + v*y. Put y, -2, -1 in decreasing order.
y, -1, -2
Let c be 2/(-3) + 4/(-6). Let w = -2/3 - c. Put w, -1, -5 in descending order.
w, -1, -5
Suppose 0 = 2*l - 4*o + 3 - 19, -2*l + 4 = 2*o. Let d(s) = -s**3 - 6*s**2 + 8*s + 2. Let z be d(-7). Sort z, 1, l in increasing order.
z, 1, l
Suppose -3*u + 4*u + 4 = 0. Let w be -15*(4/(-3))/u. Sort 2, 4, w in descending order.
4, 2, w
Let w(b) = b**2 - 2. Let i be w(2). Put -1, i, 4 in increasing order.
-1, i, 4
Let x = 2.1 - 0.7. Let u = x - 1.6. Sort 2, 3, u in decreasing order.
3, 2, u
Let i(d) = -14*d + 11. Let v(r) = 3 - 3 + 0 + 4 - 5*r. Let p(w) = -4*i(w) + 11*v(w). Let m be p(3). Sort 5, 0, m.
0, m, 5
Let d = -106 + 105.93. Put 0.4, d, 4 in ascending order.
d, 0.4, 4
Let r be (1/(4/40))/(-2). Sort -1, 4, r in increasing order.
r, -1, 4
Suppose -z - z = -8. Suppose -z*y + 20 = -5*f - 3*y, 0 = 5*f + 3*y. Let h be 39/42*-4 - 8/28. Sort 5, f, h.
h, f, 5
Let a be -1 + (-3 - 2)/(-1). Suppose 6 = -2*t - 2. Sort a, t, 0.
t, 0, a
Let d be 22/18 - (-4)/(-18). Suppose x + 0*x = 2. Let j be -4 - x - (-2)/1. Sort d, j, -3 in increasing order.
j, -3, d
Suppose 0 = -t - 2 - 3. Let l(y) = -y + 4. Let j be l(2). Put 5, t, j in decreasing order.
5, j, t
Suppose -2*l - 8 = -p, -l - 9 = -p - 2*p. Put 4, -3, 1, p in descending order.
4, p, 1, -3
Let x = -3 - -1.5. Let h = 2 + x. Let b = -63/4 + 16. Put b, -2, h in decreasing order.
h, b, -2
Let o = 204.8 + -228. Let q = o - -23. Put 1, 5, q in decreasing order.
5, 1, q
Let u = 72 + -74. Sort -0.4, u, 3, 2/9 in increasing order.
u, -0.4, 2/9, 3
Let v(y) = y**2 + y + 4. Let g be v(0). Let h(n) = -n**2 + 5*n + 9. Let c(s) = 1. Let o(a) = g*c(a) - h(a). Let u be o(5). Sort 1, -4, u in increasing order.
u, -4, 1
Let a = -76.4 - -76. Sort 4, 0, a in descending order.
4, 0, a
Let r be (1 - 4)*1*1. Sort r, 6, 5.
r, 5, 6
Let i = -0.001 + 3.001. Put -0.03, -0.2, i in increasing order.
-0.2, -0.03, i
Let n be ((15/3)/25)/(2/70). Sort n, -3, 5.
-3, 5, n
Let n = 10 + -8. Suppose 16 = -4*a - 3*y, -4 - 4 = n*a - y. Put a, 1, 5 in descending order.
5, 1, a
Let n = 2.5 - 4.5. Put n, 0, -2/17 in decreasing order.
0, -2/17, n
Let f be (-1)/(-8) + (-2)/8. Let l be -1*(2 + -8 - -5 - 0). Put l, f, 1/4 in ascending order.
f, 1/4, l
Let b be 7 + (-2)/(2/(-1)). Let x = 4 - b. Let t = 22 - 20. Sort 1, t, x in increasing order.
x, 1, t
Let s = -1/143 + -135/1144. Put -0.1, 3/8, s in decreasing order.
3/8, -0.1, s
Let h = 100 - 97.2. Put -2/7, h, -0.2 in ascending order.
-2/7, -0.2, h
Let o = -5.041 - -0.041. Put -0.06, o, -0.3 in increasing order.
o, -0.3, -0.06
Let v(f) = f**2 - 8*f + 1. Let y be v(10). Let i = -16 + y. Sort i, 3, -2 in descending order.
i, 3, -2
Let b = -1/56 - -129/952. Put 1/6, b, 3 in decreasing order.
3, 1/6, b
Let q = -7.5 - -1.5. Let u = 10 + q. Let g be 2*(-3 + (-8)/(-3)). Put u, g, 0.3 in descending order.
u, 0.3, g
Let h(q) = -5*q**2 - 3*q + 4. Let r be h(-3). Let d = -23 - r. Put d, 1, -2 in decreasing order.
d, 1, -2
Let c = 0.42 - 0.82. Sort 0.1, 0.3, -2/15, c in decreasing order.
0.3, 0.1, -2/15, c
Let r = -44 - -44.3. Suppose 0 = -2*l + 4*l - 100. Let y = l + -154/3. Sort r, y, 2 in ascending order.
y, r, 2
Let n = 0.16 - -0.06. Let y = n + -0.12. Sort 1, 12, y in descending order.
12, 1, y
Let c = 0.2 - 0.4. Let s be (-13)/4 - 27/36. Let l = s - 1. Sort l, c, 1 in decreasing order.
1, c, l
Let h(b) = -b**3 + 6*b**2 - 4*b - 1. Let x(y) = -3*y**3 - 4*y + 1. Let i be x(-3). Let q be i/18 - 4/18. Let a be h(q). Put 1, -1, a in increasing order.
-1, 1, a
Suppose -5*h - 55 = -4*j - j, 3*h + 9 = -5*j. Let o(z) = z**3 + 5*z**2 + 2*z - 2. Let y be o(-2). Let g be 4/2 + y + h. Sort 1, g, -1 in increasing order.
-1, g, 1
Let b = 2 + 1. Suppose s - 1 = 6*q - b*q, -5*s = 4*