ing order.
y, -2, n
Let w = 35.3 + -44. Let b = w + 8. Let a = -3.3 + b. Sort 0.4, -3, a.
a, -3, 0.4
Let c = 2 + 2. Put 5, c, -3 in decreasing order.
5, c, -3
Let t = -4.4 + 15.8. Let n = 0.4 - t. Let b = 6 + n. Sort b, 2, 1.
b, 1, 2
Let r be (3/(-6) - -1)/(-3). Sort -4, r, -2 in decreasing order.
r, -2, -4
Let c = 8 - 11. Let t = -8 - c. Let a(d) = -d + 7. Let f be a(3). Sort f, 5, t.
t, f, 5
Let b(m) = 3*m + 9. Let n be b(0). Sort 5, -2, n in descending order.
n, 5, -2
Let g = -3 - 0. Let q(u) = 2*u**2 + 5*u + 2. Let a be q(g). Suppose 0 = 5*s - a*d, 2*s - s = 3*d + 10. Sort -4, 5, s in ascending order.
s, -4, 5
Let h = -5 - -10. Let r = 3 - 6. Let z be r + (-5)/(10/(-6)). Sort 2, z, h in descending order.
h, 2, z
Let b be -4*((-35)/(-30) - (-1)/(-6)). Put 0, -2, -5, b in descending order.
0, -2, b, -5
Let i = 3 + -2. Let a = 0.5 - i. Put 0.4, a, 0.5 in decreasing order.
0.5, 0.4, a
Suppose -2*i + 4*a = -18, 4*a + 11 + 4 = i. Sort i, -2, -8 in decreasing order.
i, -2, -8
Let p(q) = 5*q - 228. Let m be p(45). Suppose -3*c = c + 4. Put m, c, 2 in descending order.
2, c, m
Let a(c) = 2*c**3 + 3*c**2 - 2*c - 1. Let t be a(-3). Let b = -27 - t. Sort -3, 1, b in decreasing order.
1, -3, b
Let g = 20 - 19.6. Put -2, 5, g in increasing order.
-2, g, 5
Let w = -14.09 + 0.09. Let a = -19 - w. Let r = 0.44 - 0.04. Put a, 2/7, r in descending order.
r, 2/7, a
Suppose 1 = -6*f - 5. Put -3, f, 4, 2 in decreasing order.
4, 2, f, -3
Let n be (-15)/(-6)*(-1)/5. Suppose -2*l + 3*l - 4 = 0. Put n, -2, l in descending order.
l, n, -2
Let k(t) = -t**3 + 2*t**2 + 4*t - 1. Let o be k(3). Let q be (0 + -4)/(-1 + 2). Sort q, -5, o in descending order.
o, q, -5
Let p = -9 - -15. Suppose 3*x = x + p. Suppose -5 = 5*j - 0. Put x, j, 0 in decreasing order.
x, 0, j
Let f be 2/(-8) + (-2787)/(-60). Let g = 46 - f. Sort -4, -2/11, g in descending order.
-2/11, g, -4
Let p(c) = -c**2 + 6*c + 7. Let j be p(7). Let o(h) = 3*h**2 + 4*h + 2. Let y be o(-2). Suppose 0*b - y = 3*b. Sort b, j, -1 in decreasing order.
j, -1, b
Suppose 4*x + 45 = x. Let k(b) = b**2 + 15*b - 8. Let u be k(x). Put u, -2, 3 in decreasing order.
3, -2, u
Let a be (-39)/90 + (-1)/(-2). Let y = -185.5 - -186. Sort 2, y, a in descending order.
2, y, a
Let b(u) = -u**3 + 5*u**2 - u - 4. Let m be b(4). Suppose -k + 3*k = m. Put k, 0, 1 in descending order.
k, 1, 0
Let o be (-4)/(-3) - -3*55/45. Put 1/2, -3, o, 41 in decreasing order.
41, o, 1/2, -3
Suppose 0 = -2*a + 8 + 28. Suppose -12 = -4*z + 3*b + 1, 4*z - 4*b = 12. Suppose z*y - a = -2*j, -6*y + 4*j + 12 = -2*y. Sort -3, y, 0 in decreasing order.
y, 0, -3
Let w be 1/((-4)/(-8)) - 1. Sort w, -3, 0.
-3, 0, w
Let o be (-1)/2*(-9 + 3). Suppose -1 = 5*u + m, -3*u - o*m + 10 = -u. Put u, -5, 5 in descending order.
5, u, -5
Let y = 0.05 - -0.25. Let n be 2/(-1) - (-6 - 4). Let u = n - 3. Put -1, u, y in descending order.
u, y, -1
Suppose -2*v + 16 = -6*v. Let i be (v/6)/(20/90). Sort -0.4, 2/11, i in descending order.
2/11, -0.4, i
Let a(s) = -s**3 + 9*s**2 + 10*s - 5. Let f be a(10). Let h be (-1 + 0)*(-1 - 1). Put 1, h, f in increasing order.
f, 1, h
Let z = 3.95 - -0.05. Let l be (3/6 - 0)*-12. Let r be ((-6)/9)/((-14)/l). Put r, -5, z in descending order.
z, r, -5
Let q be (-5)/(-1)*8/10. Suppose -4 = -4*a + q. Let f = 2 - a. Sort 3, f, -3 in descending order.
3, f, -3
Let s(g) = g**3 - g - 1. Let o be s(2). Suppose -o*m - r - 2 = 0, 0 = 2*m + r + 3*r + 8. Sort -4, -2, m in decreasing order.
m, -2, -4
Suppose -5*c = -4*l - 21, 5*l - 10 = -3*c + 2*c. Sort 2/25, 3/2, 0.5, c in decreasing order.
c, 3/2, 0.5, 2/25
Suppose 5*b + 25 = 2*z + 3*z, 0 = -3*b - 4*z - 15. Put 0.05, 0, b in increasing order.
b, 0, 0.05
Let h(g) = -4*g**2 + 2*g + 1. Let l be h(-1). Let c be 0*4/16 + 5. Let z be -2 - (-5)/((-10)/(-12)). Put l, z, c in increasing order.
l, z, c
Let z = 1.6 + 0.2. Let t = -2 + z. Sort 4, 2/11, t in descending order.
4, 2/11, t
Let g(v) = 2*v**2 - 18*v + 5. Let w be g(9). Sort -16, w, 0, -3 in ascending order.
-16, -3, 0, w
Let n be 156/56*4/30. Let g = 1/35 + n. Let l = 0 - 2. Put 2, g, l in increasing order.
l, g, 2
Let z be 1*-29 + (-3 - -2). Let a be z/9*(-6)/4. Suppose 5*w = l + 3 + 3, -w = -a*l - 6. Put l, -2, 4 in decreasing order.
4, l, -2
Suppose -2*o + 11 + 3 = 0. Let d be 44/(-28) + 4/o. Sort 7, 4, d in ascending order.
d, 4, 7
Suppose -3*d - 15 = -0*f + 5*f, 4 = f + 2*d. Let t = f - -16. Let b(s) = s - 13. Let l be b(t). Sort l, -1, 4 in decreasing order.
4, -1, l
Let z = -0.1 - -1. Let m = z - 0.5. Sort -1, -0.1, m in ascending order.
-1, -0.1, m
Let m(r) = r**3 - 3*r**2 - 3*r - 1. Let z be m(4). Let p be 1/(-4) + z/12. Put -5, -1, p in decreasing order.
p, -1, -5
Suppose 0*q + 6 = 3*q. Let u = 77/34 + -30/17. Put -0.05, u, q in ascending order.
-0.05, u, q
Let w = 0.2 + -0.2. Let p = -0.5 - w. Let o = -0.23 - -0.03. Sort o, p, 1/4 in decreasing order.
1/4, o, p
Let u be ((-3)/(-7))/(6/(-8)). Let r = -1/14 - u. Sort -3, -4, r.
-4, -3, r
Suppose -2*t - 11 = b - 0, 0 = 5*t + b + 20. Let i = 14 + -10. Sort 0, t, i.
t, 0, i
Let t be 1/3 + (-7)/12. Let g = -0.01 - -0.01. Sort -3, g, t.
-3, t, g
Let c = -16.3 - 1.7. Let l = c - -15. Let f = -0.3 + 0.2. Sort l, f, 0.5 in decreasing order.
0.5, f, l
Suppose 5*y = -59 - 26. Sort y, 0, 1 in decreasing order.
1, 0, y
Let t(i) = -i - 4. Let q be t(-5). Sort -4, q, -2 in increasing order.
-4, -2, q
Suppose -10*u + 5*u = 25. Let x(p) = p**2 - 3*p - 1. Let q be x(4). Sort u, -3, q.
u, -3, q
Let k be 106/(-34) + 2 - -1. Let w = -22 + 24.6. Let d = 0.4 + w. Sort -0.1, d, k.
k, -0.1, d
Let y = 382 + -5728/15. Let b = 15 + -7. Let w = b - 6. Sort y, -2/11, w in increasing order.
-2/11, y, w
Suppose -2*r + 2 = 10. Let o be 228/20 + r/10. Suppose -4 = -4*t + 3*s + 4, -3*t = 2*s + o. Sort 3, 1, t in decreasing order.
3, 1, t
Let n(t) = -t + 4. Let p be n(0). Suppose -4 = 4*d - j, 4*d + 2 = 2*d - 5*j. Sort d, p, 0 in descending order.
p, 0, d
Suppose -f - 11 = -8. Put f, 1, -1 in decreasing order.
1, -1, f
Let k = 35 - 8. Sort 2/3, k, -1/5, 4 in increasing order.
-1/5, 2/3, 4, k
Let q be -1*((-2)/1 - -4). Sort 3, q, 2.
q, 2, 3
Let c = 5.37 - 0.37. Sort c, -2/3, 0.1, -1/2 in decreasing order.
c, 0.1, -1/2, -2/3
Let n be 4/(-5) + (-18)/90. Put -3, n, 3, 8 in descending order.
8, 3, n, -3
Let t be (23319/2)/((-3)/(-256)). Let u = -16918772/17 + t. Let b = u + 278. Sort 2/21, b, 0.5 in decreasing order.
0.5, b, 2/21
Let n(s) = 2*s**2 - s - 1. Let g be n(-1). Let a be 1 + g - 34/24. Let f = 5/6 - a. Put -0.5, f, 2/7 in descending order.
2/7, -0.5, f
Let h = 20 - 11. Let q(a) = a**3 - 10*a**2 + 10*a - 7. Let i be q(h). Put -3, -2, i in ascending order.
-3, -2, i
Let w(z) = z - 1. Let x be 5/(-2) + (-1)/(-2). Let v be w(x). Sort 0, 4, v in descending order.
4, 0, v
Let x = -1 - -3. Suppose x*m + 3 = m. Sort m, 1, 4 in decreasing order.
4, 1, m
Let u = -4 - -3. Let k(y) = y - 1. Let o be k(5). Sort o, u, -3.
-3, u, o
Suppose -5*x = -w + 4*w, 2*w = 2*x - 16. Put -1, 2, x in decreasing order.
x, 2, -1
Suppose -54 + 6 = -3*p. Suppose 2*n - p = -3*u, u + 4*n = 5*u - 8. Suppose 3*v = 9, 3*q = -v - v + 12. Put q, 0, u in descending order.
u, q, 0
Let g be 1 - 8 - 70/(-14). Sort -5, g, -4, 5.
-5, -4, g, 5
Let o = -51 + 53. Sort 5, -2, o.
-2, o, 5
Let c(b) = b**3 - 7*b**2 + 8*b - 7. Let w be c(6). Let a(m) be the first derivative of -m**3/3 + 2*m**2 + 7*m - 1. Let d be a(w). Sort -0.3, d, -0.4.
-0.4, -0.3, d
Let b = -16.5 + 16. Put 0.1, 2, b in ascending order.
b, 0.1, 2
Let v be (-2)/3 + (-214257)/9. Let j = v + 476363/20. Let b = j + -43/4. Sort b, -2/3, -5 in ascending order.
-5, -2/3, b
Let q = -20 + 15. Sort q, -4, 1 in decreasing order.
1, -4, q
Let n = -19 + 36. Let g = -15 + n. Sort 1, g, 0 in decreasing order.
g, 1, 0
Suppose 0 = -7*l + 6*l. Let g(z) = -14*z - 6. Let u(q) = 5*q + 2. Let x(w) = -4*g(w) - 11*u(w). Let k be x(l). Put -1, k, -5 in ascending order.
-5, -1, k
Let v = 1/4 + 1/28. Let r be ((-15)/(-25))/(1/5). Sort -5/2, v, r.
-5/2, v, r
Let k = 1 + 4. Suppose 0 = -4*r + 3*v + 14 + 28, -5*r + 3*v + 51 = 0. Let x = k - r. Put -1, x, 2 in descending order.
2, -1, x
Suppose -3*s + 20 = 2*s. Suppose -2*u - s*v = -10, v + 2*v = 6. Sort 2, u, -3 in decreasing order.
2, u, -3
Let z(v) = -v + 3. Let y be z(3). Sort -5