/(-100)). Let f = -4827/25 + 193. Sort 3, c, f.
f, c, 3
Suppose 0 = -5*u + 3*q + 23, 2*u + 5*q - 7 = -u. Sort -2, u, 8 in descending order.
8, u, -2
Let x = 0.078 - -0.622. Put 0, -1/9, x, -1 in decreasing order.
x, 0, -1/9, -1
Let d(t) = 4*t**2 + 4*t - 2. Let a(n) = 11*n**2 + 13*n - 7. Let l(g) = 3*a(g) - 8*d(g). Let y be l(-7). Put 2, 4, y in decreasing order.
4, 2, y
Let c = -0.4 + 3.7. Let p = -2.3 + c. Sort -2, p, 2.
-2, p, 2
Let f = -8 + 7.5. Sort f, 0, 2.
f, 0, 2
Suppose 0*o = -3*o + 15. Suppose -4 = -4*m + 3*m. Let t = -7 - -7. Put o, t, m in descending order.
o, m, t
Let n = 2 + -2. Suppose 3*m - 5*h = -3, 3*h - 1 - 1 = 2*m. Let z be m/(-6) + 1/2. Put 0.4, z, n in descending order.
z, 0.4, n
Let y = -1 + 4. Let u be (-2)/y - 34/(-6). Let h = -9 + u. Sort 0, h, 1.
h, 0, 1
Let j be 0 - ((-6 - -3) + 3). Let u = j - 0. Sort -5, 0.5, u in decreasing order.
0.5, u, -5
Suppose 0 = 4*j - 7 - 1. Suppose 5*n = 3*q + 8, -3*n = -j - 1. Put q, -4, 0 in descending order.
0, q, -4
Let f = -10 + 13. Let j be 2/(-5) + (-14)/(-10). Sort j, 2, f.
j, 2, f
Suppose l - 3*l - 4 = 0. Put 4, 5, l, -1 in ascending order.
l, -1, 4, 5
Suppose 2*l = -z - 2, -2*l + 6 = -4*z + 3*z. Let t = -5 + 2. Let s = 5 + t. Sort 1, z, s in decreasing order.
s, 1, z
Let g = -10 + 13. Put g, -1/6, -3 in decreasing order.
g, -1/6, -3
Let h = 0.41 - 0.4. Let x = -0.51 + h. Let r = x + 0. Put 2/9, r, -2/3 in descending order.
2/9, r, -2/3
Let j = -9.1 + 1.1. Let g = 7 + j. Put 0.3, 5, g in decreasing order.
5, 0.3, g
Let g(k) = 2*k**3 + 6*k**2 + 10*k + 1. Let c(r) = -3*r**3 - 12*r**2 - 19*r - 1. Let x(u) = -3*c(u) - 5*g(u). Let w be x(7). Put w, -5, -3 in decreasing order.
w, -3, -5
Let w(h) = -h - 11. Let u be w(-12). Put 4, 5, u in increasing order.
u, 4, 5
Let a = -2.6 + 0.2. Let v = -0.4 - a. Let k = -0.1 + 0. Sort k, v, 2/7.
k, 2/7, v
Let n(y) = -2*y**3 + 2*y**2 - 1. Let b be n(1). Let q(k) = -3*k - 81. Let z be q(-28). Put z, b, 0 in decreasing order.
z, 0, b
Let p = 10.5 + -10. Sort 3/4, p, -2.
-2, p, 3/4
Let x(b) = 2*b**2 + 22*b - 3. Let s be x(-11). Sort s, -4, 5.
-4, s, 5
Suppose -35 = -5*o - 3*l, -2*o - 7 = -0*o - 3*l. Suppose 3*h - 16 = 7*h + 5*u, 0 = 5*h + 5*u + 20. Sort o, h, 3 in ascending order.
h, 3, o
Let t = -1.7 - -1.8. Sort t, 1/3, -14 in descending order.
1/3, t, -14
Let x(b) = b**2 - b. Let r be x(1). Suppose r = 5*y + j, -j - 3 + 7 = y. Sort 2, y, -5 in decreasing order.
2, y, -5
Let k = 168 - 1178/7. Put -2/5, k, -0.3 in increasing order.
-2/5, -0.3, k
Suppose -4*y = -2*y - 14. Let l(t) = t**3 - 6*t**2 - 8*t + 9. Let g be l(y). Suppose 4*o + 17 = -3*h, 4 = -g*o - 0*o. Sort h, 5, 3 in increasing order.
h, 3, 5
Suppose 0 = -8*r + 4 - 4. Sort r, -4, -11 in descending order.
r, -4, -11
Let s(m) = m - 12. Let x be s(-10). Let o = x - -20. Put o, 2, 0 in decreasing order.
2, 0, o
Let j(s) = s**3 + 6*s**2 - 7*s + 2. Let c be j(-7). Suppose -5*n - c = 4*r, -13 = 5*n - r - 1. Sort -4, 4, n in descending order.
4, n, -4
Let w be 2*(-8)/(-10) + -2. Sort 3, w, -4/3 in descending order.
3, w, -4/3
Let f(n) = -n + 7. Let o be f(3). Suppose -o*t + 3 = 3*k + 4, -29 = 2*k - 3*t. Let p = -4 - k. Sort -4, p, 0 in ascending order.
-4, 0, p
Let g = 8 - 6. Suppose 0*d + g = -d. Put 1, d, -4 in decreasing order.
1, d, -4
Let t be (3/2)/((-3)/(-8)). Let w = t - 11. Sort 0.5, 0.4, w.
w, 0.4, 0.5
Let x = -0.03 + -6.97. Let n = x - -11. Sort -3, -0.2, n.
-3, -0.2, n
Let i = -2.5 + 0.5. Let b = -13 + 17. Let q = b + i. Put q, 1/4, 3 in descending order.
3, q, 1/4
Let d = 2 + -9. Let n = -5 - d. Put 1, -3, n in decreasing order.
n, 1, -3
Let o = -3.003 - 0.077. Let i = 0.08 + o. Sort 0.3, i, -1.
i, -1, 0.3
Let g = -12 - -10. Put -5, g, 1, -1 in increasing order.
-5, g, -1, 1
Suppose 4*w + 5*k - 4 = 7, 4*k - 12 = 0. Let x be w - (0 - (-5)/(-17)). Let n = x + 128/85. Sort n, 0.4, -0.4 in descending order.
n, 0.4, -0.4
Let k = 0.5 - 3.5. Suppose 0 = -4*x - 3*y + 132 + 110, -4*x + 230 = -3*y. Let w = -237/4 + x. Put w, 1/2, k in decreasing order.
1/2, w, k
Let k = 672/5 - 134. Sort -0.2, k, 3 in descending order.
3, k, -0.2
Let s = -3.74 + 0.74. Sort 2/3, s, -4/7, -2/13 in decreasing order.
2/3, -2/13, -4/7, s
Let k(y) = -y**2 - 11*y - 7. Let a be k(-10). Put -3, a, -4 in ascending order.
-4, -3, a
Suppose 9 = -g + 2*n, -2*g - 2*n - 9 = -3*n. Let y be -10*(-1)/2*1. Sort g, y, -5.
-5, g, y
Suppose 5*b - 8 = -5*j - 3, 0 = -4*j + 5*b - 23. Suppose 3*h - h = -8. Sort j, -5, h in descending order.
j, h, -5
Let m = -9 - -6. Let w(o) = 2*o + 6. Let l(v) = v - 10. Let u be l(5). Let z be w(u). Put m, z, 2 in descending order.
2, m, z
Let i be (-6)/(9/(-6)*-1). Let y be 1 + (-4)/(2 + 0). Put i, y, -5 in decreasing order.
y, i, -5
Let w = 1.67 - 9.77. Let o = 1.9 - w. Put o, 1/2, -2 in ascending order.
-2, 1/2, o
Let g(j) = j**3 + 12*j**2 - j - 10. Let i be g(-12). Suppose 5*k = i - 12. Let l(x) = 3*x**3 - 1. Let d be l(1). Sort 1, k, d.
k, 1, d
Let o = -45.26 + 46. Let g = 0.26 + o. Put g, -1, 3 in descending order.
3, g, -1
Let z be (-5)/22*(-24)/30. Put 0, -2/15, z, 2 in decreasing order.
2, z, 0, -2/15
Suppose -10 + 7 = 3*a. Suppose -2*z = z - 15. Sort z, -3, a.
-3, a, z
Suppose -5*n + 9 = -1. Let r be 2/(-11) + 117/99. Suppose 3*s + 6 = -0*s. Put s, r, n in descending order.
n, r, s
Let m be (-260)/78 - (-8)/6. Put 6, m, -1, 3 in descending order.
6, 3, -1, m
Let y = 125 + -623/5. Let c = 28 + -26. Let t = 2.3 - c. Sort 3, t, y in increasing order.
t, y, 3
Suppose b - w = 4, -b = w - 0 - 6. Let s(r) = -r**3 + 4*r**2 + 4*r + 5. Let m be s(b). Sort -5, -1, m.
-5, -1, m
Let r be 6/(-2) + -9 + 11. Let b be 0/(4/(12/(-3))). Sort b, -2, r in descending order.
b, r, -2
Suppose d = y - 6, d - 5*d - 6 = 2*y. Let g = -6 - d. Sort g, -2, 3 in decreasing order.
3, -2, g
Let o = -0.6 - 2.4. Let z = -4 + 6. Sort z, 0, o in decreasing order.
z, 0, o
Suppose 87*y = 81*y + 6. Let n(a) = -a**2 - 1. Let l be n(-2). Suppose -z = -5*t + 11, 5 = -t - 0*t + 2*z. Sort y, l, t in descending order.
t, y, l
Let u be (3/(-18))/(((-52)/(-24))/(-13)). Sort u, 21, -3.
-3, u, 21
Suppose -4 = -2*r + 2*m, 0 = -m - 2*m - 15. Let f be -1 - (r/3 + 0). Sort f, 5, -5.
-5, f, 5
Let o = 6 + -9. Sort 4, -5, o.
-5, o, 4
Let l(x) = x - 13. Let v be l(11). Put v, 4, -1 in increasing order.
v, -1, 4
Suppose -4*i - 8 = 2*s, 6*i = 4*s + 4*i - 4. Let b = 0.4 - -0.1. Let j = -0.04 + -2.96. Put j, s, b in increasing order.
j, s, b
Suppose -3*l + 2*l = -4*b - 51, 4*l + 48 = -2*b. Let q be 11/b*2 + 1. Put -4, q, 0.3 in descending order.
0.3, q, -4
Let c = -2 - 2. Put c, 2/15, 0 in ascending order.
c, 0, 2/15
Let s = -14.92 + -0.08. Let u = s - -17. Put -1/3, 0.2, u in descending order.
u, 0.2, -1/3
Let d(f) = -7*f**2 + 3*f - 2. Let r(y) = y**2. Let h(b) = d(b) + 6*r(b). Let i be h(2). Sort 2, -4, i in descending order.
2, i, -4
Let c = 43 + -31. Let v = c - 8. Sort 0, 1, v in increasing order.
0, 1, v
Let u = -1 - -5. Let w = u + -5. Let k = 5 + -2. Put 0.4, w, k in decreasing order.
k, 0.4, w
Suppose -5*y = -3*y + 5*q + 3, 0 = 3*q - 3. Sort -3, -1, y in decreasing order.
-1, -3, y
Let g be -5*-1*(1 + 0). Sort 1, g, -2 in descending order.
g, 1, -2
Let b(c) = c**3 + c**2 - 3*c + 2. Let o be b(4). Let k be (-7)/(o/(-4))*-15. Sort -1, 1, k in decreasing order.
1, -1, k
Let h(y) = y**3 - 10*y**2 - 12*y + 15. Let a be h(11). Suppose n = -f - 1, 4*f = -n + 4*n + 24. Put -3, n, a in descending order.
a, -3, n
Let a = 5 - 0. Suppose -4*w = z - 11 - 6, -4*w = 2*z - 22. Suppose -2*c + a*u = 4*u - w, 0 = -c + u + 4. Sort -5, 5, c.
-5, c, 5
Let k be (2 - (-1 + -1)) + -4. Sort 5, -5, k in descending order.
5, k, -5
Let t be ((-2)/(-3))/((1 - -2)/18). Sort t, 1, 5, 0 in decreasing order.
5, t, 1, 0
Let x = -35 + 32. Sort 5, 3, x, 0.5 in descending order.
5, 3, 0.5, x
Let w = -8 + 4. Let b(z) = -5*z + 27. Let c be b(6). Put 0.5, c, w in increasing order.
w, c, 0.5
Let z(y) = -8*y**2 - 2*y + 4. Let w be z(3). Let q = w - -371/5. Let r(n) = n**3 + 4*n**2 + 4*n + 2. Let u be r(-3). Put -0.1, q, u in ascending order.
u, -0.1, q
Let k(b) = -b**3 - 7*b**2 + 4. Let f be k(-7). Sort f, 5, 1.
1, f, 5
Let r(g) = g - 6. Let a be r(7). Put -5, 5, a in ascending order.
-5, a, 5
Let u(l) = l**2 - 7*l - 13. Suppose -3*t = -0*t - 27. Let j be u(t). Let q(x) = x**3 - 6*x*