402 - -0.002. Put 5, v, n in decreasing order.
5, v, n
Let g be ((-25)/(-9) - 3) + (-215)/45. Put -1, 6, -3, g in increasing order.
g, -3, -1, 6
Suppose 6*k - 14 = -b + 2*k, 4 = -4*b - k. Let t = 0.22 + -0.39. Let m = -0.03 + t. Sort -3/5, m, b in decreasing order.
m, -3/5, b
Let j = -1/144 + -275/1872. Let z = 2 + -0.8. Let c = z - -3.8. Sort 4, c, j in increasing order.
j, 4, c
Let m = 0 - 1. Suppose f - 8 = 5*f. Sort f, m, 3/7.
f, m, 3/7
Let j(q) = -7*q**3 - 1. Let z be j(-1). Suppose -1 = z*a + 5. Put 7, a, -2 in decreasing order.
7, a, -2
Suppose -16 = 3*n + n, 4*s - 3*n = 16. Sort 2, s, -5, -1 in decreasing order.
2, s, -1, -5
Let f = 3357/14 + -240. Let t = f - -5/7. Let h = -0.3 + -2.7. Put 2, h, t in decreasing order.
2, t, h
Let h = -3.96 - 0.04. Let s = h + 7. Let u = s + -2.8. Sort -3, 0.5, u.
-3, u, 0.5
Let s = -133/153 + 11/17. Put -0.4, s, 4/7 in decreasing order.
4/7, s, -0.4
Suppose -4*w + 25 = -a - 2*a, -13 = 3*a - w. Sort 5, 1, a in ascending order.
a, 1, 5
Suppose -2*h = v, 0 = -2*v + h + 4 + 11. Let w = -3 + v. Suppose 3*n - 10 = 5. Sort n, -2, w in decreasing order.
n, w, -2
Suppose 0 = 5*o - 5*h + 10, 5*o - 5 = 4*h - 16. Let z = 3 + -3. Sort z, 0.5, o in ascending order.
o, z, 0.5
Suppose 2*d - 4*w = 0, 6*d = 3*d + 4*w + 4. Suppose -3*h = -5*x - 10, -2*h - h - 5*x + 20 = 0. Sort h, d, -4 in decreasing order.
h, d, -4
Let a be (0 + -2)/2*2. Let j = 0 - a. Sort 3, j, -1.
-1, j, 3
Let q = -1 + 11. Let m = -9.7 + q. Put 1/5, m, 4 in ascending order.
1/5, m, 4
Let f = -7 + 10. Let t = f + -2.9. Let x = 7 + -3. Put -3/2, x, t in descending order.
x, t, -3/2
Let q = 17.3 + -17. Sort -1/8, 2, -3, q in ascending order.
-3, -1/8, q, 2
Let c be (3 - 4)/(-1) - 1. Put 3, c, -4 in increasing order.
-4, c, 3
Let m be (-1 - -1)/(1 - 0). Suppose w + 4*w - 20 = m. Suppose g = -4*s + 25, -2*g - 2*s + 0*s + 20 = 0. Put w, 2/5, g in descending order.
g, w, 2/5
Let z(u) = 0 - 3*u - 8 + 7. Let q be z(-1). Sort -3, q, -1 in descending order.
q, -1, -3
Suppose 5*l = l + 8. Let s = 6 - l. Suppose 0 = s*h - h + 9. Sort h, -5, -1.
-5, h, -1
Let d(x) = -x. Let h be d(4). Let o be (h/2)/1 + 4. Sort -2, o, -7 in increasing order.
-7, -2, o
Suppose -2*d = -4*m - 72, -2*d - 2 = -3*m - 57. Let f(s) = -2*s - 3. Let c be f(-3). Sort m, -1, c.
m, -1, c
Let m(g) = 2*g**3 - 3*g**2 - 2*g - 3. Let l be m(3). Let b be 51/l + (-3)/(-18). Sort b, -3, 2.
-3, 2, b
Let j = 13 + -8. Sort 1/4, j, 2 in increasing order.
1/4, 2, j
Suppose s + 1 = 5. Put 0.2, -3, s in decreasing order.
s, 0.2, -3
Let d(f) = -f**2 - 5*f - 2. Let q be d(-4). Let p be ((-4)/(-39))/(q/3). Sort -4, p, -5 in descending order.
p, -4, -5
Suppose i = a + 4*i - 12, 0 = -a + 2*i - 8. Put 1, 3, a, -3 in increasing order.
-3, a, 1, 3
Suppose -k - 2*z = -4, -3*z + 6 = -2*k - 2*k. Let c(y) = y. Let x be c(7). Let u(t) = t**2 - 6*t - 5. Let h be u(x). Sort -0.3, h, k.
-0.3, k, h
Suppose -y - y - 8 = 2*h, 4*h = -5*y - 16. Suppose 6*u - 3*u - 15 = 0. Suppose -2*q = -1 + u. Sort y, q, 1 in decreasing order.
1, y, q
Suppose -3*p - 6 = -p. Let w(a) = -a**2 - a + 4. Let c be w(-3). Let h = -7 - c. Put p, h, -2 in increasing order.
h, p, -2
Suppose 0 = 4*i - 0*i - 12. Let p(c) = -c**2 + 4*c + 3. Let v be p(4). Suppose 0 = -3*s + 5*z - 12 + 3, 6 = -2*s - v*z. Sort i, s, -1/5 in ascending order.
s, -1/5, i
Let b = 9 - -1. Let x be (-4)/6 - b/3. Let h(o) = o**3 - 21*o**2 + 37*o + 21. Let y be h(19). Put y, x, 5 in decreasing order.
5, y, x
Let d be 3/12 + (-2)/(-56). Let q = 0.8 + -0.3. Let f = 4.07 - 0.07. Put q, d, f in increasing order.
d, q, f
Let k = 97 + -92.3. Let s = k + -4. Let u = -0.8 + s. Put 2/17, 0.1, u in ascending order.
u, 0.1, 2/17
Let d = 2 + -1.97. Let r = d - -0.37. Let m be (-3 - -5) + (-16)/9. Put 5, r, m in ascending order.
m, r, 5
Let j = 2 + -3. Let d = 4.08 + -4. Let l = d + 3.92. Put l, 3, j in descending order.
l, 3, j
Let l be -1 + -4 + 2 + 1. Sort -5, l, 6 in descending order.
6, l, -5
Let c be 96/(-60) - 4/10. Sort -3, -0.3, c in increasing order.
-3, c, -0.3
Let r = 128/1035 - -2/207. Let m = -1/5 - r. Let k = -33/4 + 9. Sort k, -0.1, m in decreasing order.
k, -0.1, m
Let o(b) = b**2 - 11*b + 15. Let r be o(6). Let t = r - -17. Sort -4, -2, t.
-4, -2, t
Let v = 1/2 - 3/4. Sort v, 0.4, 0.3 in decreasing order.
0.4, 0.3, v
Suppose 2 = -g - k - 2, 2*k = 2*g + 16. Let b = -7 - -4. Put 3, b, g in decreasing order.
3, b, g
Let x = -5.1 + 5. Let g be 3 + 1 + 22/(-4). Sort -3, g, x in descending order.
x, g, -3
Let u = 4 - 7. Sort u, 33, 0.
u, 0, 33
Let l = -2/3 + -1. Put l, 1.7, -0.1 in descending order.
1.7, -0.1, l
Let h = -51.2 - -45. Let w = 1.2 + h. Let r be 56/90 + 2/(-5). Put r, w, -2 in ascending order.
w, -2, r
Suppose -3*z + 1 + 2 = 0. Let f be z/(-4)*40/(-75). Sort f, 3/4, -1 in increasing order.
-1, f, 3/4
Let g be 24/(-180) + (-94)/(-30). Put -5, -4, g in decreasing order.
g, -4, -5
Suppose 4*u - 31 = -4*s - 11, 4*u + 2*s = 16. Sort -3, -5, u in descending order.
u, -3, -5
Suppose -5*z + 12 = -9*z. Sort -10, z, -2.
-10, z, -2
Let v = 112 + -117. Put -2, 7, v, 1 in descending order.
7, 1, -2, v
Let n(v) = -v**2 - 8*v + 11. Let t be n(-9). Let f = 0.1 - 0.1. Sort -3, t, f in ascending order.
-3, f, t
Let x(k) = -k**3 + 7*k**2 - 16*k + 28. Let b be x(5). Suppose 11 = -u - 2*j, -4*u + j + 6 = -j. Sort -6, u, b in descending order.
u, b, -6
Suppose -5*x - 4*d = -2*x, 4*d = -12. Sort -2, 0, x in decreasing order.
x, 0, -2
Let z be ((3 - 1) + -4)/13. Let n = -79/52 + 1/52. Sort z, n, 5.
n, z, 5
Suppose 5*c - 5*j + 7 = -8, -5*c - 24 = 4*j. Let z = -12 + 16. Put c, -0.5, z in decreasing order.
z, -0.5, c
Suppose 99 = 3*t + d + d, -4*t + 109 = -5*d. Sort t, -4, 2 in decreasing order.
t, 2, -4
Suppose 2 = l - 5*u + 27, 2*l = -4*u + 6. Suppose 0 = 2*a - 0*a - 6. Let w be (-3)/9 - 5/a. Put l, w, 0 in descending order.
0, w, l
Let o(k) = 16*k**2 + 34*k + 50. Let v(m) = 3*m**2 + 7*m + 10. Let b(j) = 2*o(j) - 11*v(j). Let u be b(-7). Sort -4, 5, u in ascending order.
-4, u, 5
Suppose -5*m = -x - 19, -5*m = 2*x + 2*x - 24. Suppose l - 2*l = 1. Sort 5, x, l in increasing order.
l, x, 5
Let t be 302/(-10) + 3 - 1. Let p = t + 1279/45. Suppose -7*r = -3*r - 8. Put r, -0.3, p in decreasing order.
r, p, -0.3
Let u(m) = m**3 + 7*m**2 + 6*m + 3. Let a be u(-6). Suppose -a = -w - 5. Sort -2/3, 3, w in descending order.
3, -2/3, w
Let c = 11 - 6. Suppose 0 = -s - j - 0 + 4, -c*s + 2*j - 15 = 0. Let z = 0.25 - 0.35. Put s, 5, z in descending order.
5, z, s
Let a = 55 - 60. Sort 1, a, 4.
a, 1, 4
Suppose 5*z + 10 - 5 = 0. Sort z, 0, 7, 2 in ascending order.
z, 0, 2, 7
Suppose -x - x + 22 = 0. Put 3, 0, x in descending order.
x, 3, 0
Let t = -5 + 10. Let x = 12 + -11.6. Sort x, t, 3 in increasing order.
x, 3, t
Let f = 5 + -1. Let r be (3/6)/((-1)/2). Put f, r, 3 in decreasing order.
f, 3, r
Let s(r) = -r**3 - 2*r**2 - r + 1. Let n be s(-2). Let c = -19 + 16. Sort c, n, 2 in increasing order.
c, 2, n
Suppose 4*b + 2 = -18. Suppose 0 = -3*d - 1 + 4. Suppose -j + d = 5. Put b, j, 3 in increasing order.
b, j, 3
Let i = 5 + -4.8. Suppose x + x - 10 = 0. Put -5, i, x in decreasing order.
x, i, -5
Let b = -2 - 2. Put b, 3, -2 in descending order.
3, -2, b
Let p = 16.99 + -17. Sort 2, -0.5, p in decreasing order.
2, p, -0.5
Suppose 5*y = 3*r + 20, -2*r + 26 = y - 7*r. Let w be 4/(-2)*y/7. Sort 1, w, -5 in ascending order.
-5, w, 1
Suppose 5*k = 2*c + 14, k - 22 = -2*c - 3*k. Suppose q = -c*q. Put q, 1, 5 in increasing order.
q, 1, 5
Let f = 0.016 - 0.086. Put -4, -2/11, f, -0.03 in descending order.
-0.03, f, -2/11, -4
Let r(w) = -w + 10. Let y be r(15). Let p = -3 - -3.4. Put p, y, 4 in ascending order.
y, p, 4
Let i = 2 - 6. Put 4/5, i, 4, 2 in decreasing order.
4, 2, 4/5, i
Suppose 3*p = 4*y - 20 + 2, -4 = y - 5*p. Let d be (y/(-4))/(3/(-4)). Put d, -3/5, -2/9 in increasing order.
-3/5, -2/9, d
Let h = -452/2769 - -2/213. Put h, -1/6, 3 in increasing order.
-1/6, h, 3
Let o be -5*-3*(-3)/(-9). Put o, 3/2, -4/3 in descending order.
o, 3/2, -4/3
Let p = 10 - 6. Suppose p*w + 7 = -1. Let g = w + -3. Sort -2, 4, g.
g, -2, 4
Let k(f) = f**3 + 9*f**2 - 12*f - 6. Let g be k(-10). Let u = g - 10. Sort u, 2, 0.4 in ascending order.
0.4, 2, u
Let b = 36 - 24. Let z be 5 + (-1)/((-2)/4). Let r = b - z. Sort 3, 4, r