) = -b**3 + 14*b**2 - 23*b - 8. Let x be f(12). Sort x, 1, y in descending order.
x, 1, y
Let t = -20 - -24. Suppose 4*x - 9 - 7 = 4*g, -g - 2*x + 8 = 0. Put -4, t, g in descending order.
t, g, -4
Suppose -19*m + 30 = -13*m. Sort -3, -0.5, m.
-3, -0.5, m
Suppose 7*q - 2*q = 4*n - 23, -2*q - 3*n = 0. Let v be 1/(-6)*q/(-2). Sort v, 2/7, 3 in descending order.
3, 2/7, v
Let v = 403 - 3629/9. Let f = -42 + 293/7. Sort v, -2, f in decreasing order.
f, v, -2
Let p(x) = -x**2 + 8*x + 10. Suppose 0 = -u + 6*u - 45. Let y be p(u). Suppose 5*k = -v - 20, -v - 4*v = 5*k. Sort v, y, 3 in increasing order.
y, 3, v
Suppose 2*s = -l + 2*l, 3*l = 5*s. Put l, -5, 1/3, -0.4 in ascending order.
-5, -0.4, l, 1/3
Suppose -l - 2 + 12 = -4*h, 2*l - 3*h - 10 = 0. Suppose -q = -3*p + 1 + 8, -p + 3 = 5*q. Let a(m) = m + 4. Let g be a(q). Put g, 1, l in descending order.
g, l, 1
Suppose 0 = 4*m - 5*o - 38 - 5, 3*m - 38 = -2*o. Let b = -7 + m. Sort -3, b, -2.
-3, -2, b
Let i = 84 + -87. Sort -8, i, -5.
-8, -5, i
Suppose 5*g = x + 9, -4 = 2*x - 4*g + 8. Sort x, 4, -3 in ascending order.
x, -3, 4
Let b = -3.5 + 3.1. Let t(j) = j**3 + 4*j**2 - 5*j - 2. Let h be t(-5). Put h, b, -3 in decreasing order.
b, h, -3
Suppose -2*k - 7 = -4*b - 3, 2 = 4*b - 3*k. Let a(p) = 3*p - 10. Let m be a(8). Let o = m - 10. Sort b, 0, o.
0, b, o
Let a be (-2 + 1)/(0 - 7). Let d = -23 + 24. Let m be (5/(-3)*-3)/d. Sort a, -0.3, m in increasing order.
-0.3, a, m
Suppose 5*s - 48 - 2 = 0. Suppose x - z + 4*z + s = 0, 4*x = 5*z + 28. Put 3, 0, x in decreasing order.
3, x, 0
Suppose 3*t - n = 7, 0 = 4*t - 3*n - 22 + 6. Sort 5, -0.23, t.
-0.23, t, 5
Let f = 0.8 - 3.8. Let q = 37 + -39.7. Let u = q - f. Sort -4, 0.4, u in ascending order.
-4, u, 0.4
Let f = 0.3 + -0.4. Let y = 2 + -1. Let c = -5 + y. Put c, f, 1/3 in descending order.
1/3, f, c
Let s be 4/(-3)*1*-3. Put -5, s, 5 in increasing order.
-5, s, 5
Suppose 4*w + 4 = 5*a - 7, -5*a = 3*w - 18. Sort 2, w, 0.
0, w, 2
Let r = -6.5 - -6. Let y = -0.7 + 2.7. Let c = -0.3 + 0.4. Put c, r, y in decreasing order.
y, c, r
Suppose 0*d + 4*d = 12. Suppose -t + 0*t - d = 0. Sort 2, t, 4.
t, 2, 4
Let n = -1.035 + 0.035. Put -5, 1, -2, n in increasing order.
-5, -2, n, 1
Let g be (6/(-4))/((-33)/10 - -3). Put 2, g, 3, 1 in ascending order.
1, 2, 3, g
Suppose 2 = -h + q, -q = -0*h + 5*h + 28. Let g = h + 8. Suppose 2*j - 4 = 4*f, 0 = -0*f - 5*f + 5*j. Sort g, 1, f in decreasing order.
g, 1, f
Let w(j) = -j**2 + 4*j - 2. Let o(c) = c - 1. Let h be o(4). Let z be w(h). Put -1, -4, z in increasing order.
-4, -1, z
Suppose 4*b - 2 = 2*u, 0*u = -u + 5. Suppose 2*f + f = 450. Let c = -1048/7 + f. Sort -0.2, c, b.
-0.2, c, b
Suppose 5 = 4*a + b, 5*a - 3*b + 1 - 3 = 0. Put 8, a, -3, 5 in descending order.
8, 5, a, -3
Let a(k) = -k**2 - 4*k + 4. Let s be a(-5). Suppose u - 5*u = 8. Sort s, 2, u in decreasing order.
2, s, u
Suppose -6*u - 2*p - 2 = -2*u, -3*u = 5*p - 2. Let l be (12/10)/(18/30). Sort 1, l, u.
u, 1, l
Let x(w) = w + 7. Let t be (-7)/(-28) - (-25)/(-4). Let g be x(t). Let m(f) = f**3 - 5*f**2 + 4*f + 1. Let k be m(3). Put -4, k, g in descending order.
g, -4, k
Suppose -5 + 1 = 2*i. Put i, -4, 0 in descending order.
0, i, -4
Let c(x) = -x**3 + 12*x**2 + 3. Let b be c(12). Suppose 3 = -b*l - 4*q + 11, 4*l + 3*q = -1. Put 4, -5, l in descending order.
4, l, -5
Let c = 1 - -4. Suppose 0 = 4*k - 25 - 23. Suppose 3 = -3*f - 3*p, -k - 1 = f + 5*p. Put c, -3, f in decreasing order.
c, f, -3
Let n = -3.91 + -0.09. Let a be (17/2)/((-1)/6). Let x = a + 256/5. Put -0.3, n, x in ascending order.
n, -0.3, x
Let w = 0.079 - 5.079. Put w, -1/3, -1.2, 2 in decreasing order.
2, -1/3, -1.2, w
Let t be (-11 - -7) + (0 - 2). Put 5, t, 4 in ascending order.
t, 4, 5
Let z(d) = -d**3 - 2*d**2 - 2*d - 2. Let l be z(-2). Let q be (l/6)/(5/(-45)). Sort q, -3/4, -1.
q, -1, -3/4
Let o = 0 + 0.05. Let b = o - 0.45. Sort -1, b, -3/5.
-1, -3/5, b
Let l = -1388 - -9749/7. Let n(y) = -y - 12. Let v be n(-7). Let m = v + l. Put m, -0.3, 0 in increasing order.
-0.3, m, 0
Let j be (45/10)/(-3)*8/6. Suppose 5*x + 4 - 54 = 0. Suppose -w + x = -3*w. Sort -4, w, j in descending order.
j, -4, w
Let p(t) = t**3 - 5*t**2 - 3*t + 10. Let x be p(5). Let q be (-4)/(-3)*6/4. Sort -2, q, x in decreasing order.
q, -2, x
Let i = -4.5 + -1.5. Let c = -8 - i. Let v = -0.4 - 0.1. Sort v, c, -5 in increasing order.
-5, c, v
Suppose 3*f - 3*k - 9 = 0, 5*f - k = -4*k - 1. Sort f, -5, 2 in ascending order.
-5, f, 2
Let p be -1*(-2 - -3)*13. Let j(q) = -q - 18. Let v be j(p). Sort v, 3, 10.
v, 3, 10
Let b(g) = 2*g + 4. Let h be b(-2). Sort h, -2, 2 in descending order.
2, h, -2
Suppose 0*j = -2*j - 10. Let f = -0.2 - -0.1. Let m = 0.4 - f. Sort j, 0.4, m in decreasing order.
m, 0.4, j
Let g = 548.97 + -546. Let v = -0.03 - g. Sort -1/4, v, -0.5.
v, -0.5, -1/4
Let o = -5 - -4. Suppose -3*s = -2*i + 12, 0*i + 4*i = 0. Put 0.2, s, o in descending order.
0.2, o, s
Let v = 0.04 + 0.05. Let r = v + -5.09. Suppose -5*x - 2*b + 20 = 0, 0 = -x + 3*b + 3 + 1. Sort x, 0.1, r in decreasing order.
x, 0.1, r
Let z = -4.95 - 0.05. Let k = 5 - 13/2. Sort k, z, -1 in ascending order.
z, k, -1
Let w = 28 - 33. Put -19, -1/7, 0.5, w in increasing order.
-19, w, -1/7, 0.5
Let y = -6 - -18. Suppose 3*s - y = -s. Put -5, -1, s in ascending order.
-5, -1, s
Let w = -22 + 20. Put -5, w, 2 in decreasing order.
2, w, -5
Let r = 18 + -11. Suppose -2*s - 25 = -r*s. Sort -4, 4, s in descending order.
s, 4, -4
Let z = -36 + 66. Suppose 0*b = -4*b - 16, -3*b - z = -3*a. Sort 0, 3, a in ascending order.
0, 3, a
Suppose 16 = 4*y, 2*v - 4*y = 4*v - 16. Suppose -6 = -3*b + 18. Suppose -b = -4*i - 0. Sort 5, i, v.
v, i, 5
Let n = -7 - -11. Suppose 0 = f - 0 - n. Suppose -5*w - 4*a = f, 0*a + 5*a = -w + 16. Put w, 1, 4 in decreasing order.
4, 1, w
Suppose 19 = 5*g - 6. Let w = g + -8. Put 0, w, -1 in descending order.
0, -1, w
Suppose -6*h - 20 = -h. Let o = 68 + -71. Put h, o, 3 in descending order.
3, o, h
Let u be (-2)/6*-3*-9. Let q = 4 + u. Let r = 1 + -1. Sort r, -1, q in descending order.
r, -1, q
Let d(i) = i**3 - 23*i**2 + 41*i + 23. Let y be d(21). Let h(g) = g + 4. Let j be h(-4). Sort j, y, -2 in decreasing order.
y, j, -2
Let s be (15/(-6))/5*0. Let g = -21 - -25. Sort s, g, -1.
-1, s, g
Let r(f) = 2*f**2 + 4*f - 3. Let m be r(-3). Sort m, -5, -3.
-5, -3, m
Suppose -3*t = t. Let y be 14/8 + 5/20. Suppose 0 = 3*u + 4*d + 3 + 8, 0 = 3*u + y*d + 13. Sort -3, u, t.
u, -3, t
Suppose -15 = -5*t, t = 4*z - 7 - 6. Put 5, -5, z in increasing order.
-5, z, 5
Let n = -4 + 2. Let i(r) = -4*r**2 + r. Let l be i(1). Let h(u) = -2*u - 1. Let t be h(l). Put t, -1/12, n in decreasing order.
t, -1/12, n
Let u = -1.2 + 0.8. Sort -1, 2/3, u in decreasing order.
2/3, u, -1
Let d = -21 + 20.76. Let c = d - -3.24. Sort 0.2, -10/7, c in descending order.
c, 0.2, -10/7
Suppose 3 = 2*y - 5, -y = u + 18. Let t = u - -25. Sort -4, t, 1.
-4, 1, t
Let t = -0.11 - -4.11. Let z = 16.93 - -0.07. Let s = 12 - z. Sort t, s, 1.
s, 1, t
Suppose j - 17 = -11. Sort 4, j, -1 in increasing order.
-1, 4, j
Let g be 5/4 + (-21)/84. Sort 5, -2, g, 3.
-2, g, 3, 5
Let p be (-11)/4 + 15/(-12). Put 5, 6, p in decreasing order.
6, 5, p
Let q = -4.5 - -5. Put q, -5, 2/5 in increasing order.
-5, 2/5, q
Let l be (16/340)/(2/5). Put -1, l, -3 in descending order.
l, -1, -3
Let d(v) = v - 3. Let y be d(1). Let a = -6 + 2. Sort y, 2, a in decreasing order.
2, y, a
Let g = -2/47 - -63/376. Sort g, 5, -1/11.
-1/11, g, 5
Suppose -8*c = -9*c. Sort 0.2, c, -7 in descending order.
0.2, c, -7
Suppose 2*b - 5*s - 5 = 20, -4*b - 10 = 2*s. Sort -3, b, -1.
-3, -1, b
Suppose -3*j + 4*j = -2*s - 156, 8 = 4*s. Let h be j/315 + (-4)/(-14). Sort h, 3, -2 in ascending order.
-2, h, 3
Suppose 0 = -4*z + 7*z - 15. Suppose -c + p - 4 = 0, p + 10 = -5*c - 4*p. Sort c, 2, z in increasing order.
c, 2, z
Let i = -175082503/4491410 - 15/81662. Let o = 194/5 + i. Put 1/9, o, 0 in ascending order.
o, 0, 1/9
Let r = -0.5 + 0.1. Let q be 43/(-9) + 2 + (-10)/45. Sort r, q, 1/10 in increasing order.
q, r, 1/10
Suppose 4*o = -5*d + 30, -3*d - 8 = -4*o + 6. Put d, -4, -5 in decreasing order.
d, -4, -5
Let g(t) = -t**3 - 8*t**2 - 7*t + 4. Let c be g(-7). Let o(d) = -2*d + 6. Let k be o(c). Let h be 63/14 + 3/k. So