-458/7. Put 1, 7, w in increasing order.
w, 1, 7
Suppose 0 = -2*r + 3*s - 20, 5*s = r - 2*r - 23. Sort 1, -3, -4, r.
r, -4, -3, 1
Let o = -19 + 14. Sort -4, o, 5.
o, -4, 5
Let y be (3/(-6))/((-2)/8). Let a be -1 + 60/16 - 6/(-24). Put y, a, -2 in descending order.
a, y, -2
Let x = -5.7 - -5.3. Let g be 1 + -3 - (-30)/14. Let u = 0.5 - 0.8. Sort x, g, u in descending order.
g, u, x
Let i = 2.4 - 2. Let j = -0.4 - -0.7. Sort i, -0.2, j in descending order.
i, j, -0.2
Let q be (-7 - (-9)/3)/(-2 - -4). Sort 2, -3, q, 1 in descending order.
2, 1, q, -3
Let m be -2*(-5)/(-6)*3. Let q = -69 + 71.9. Let d = q - 3. Sort m, d, -0.3.
m, -0.3, d
Suppose -3*l + 21 = -2*d - 2*d, -3*l = -9. Suppose -27 = -h - 5*g, -4*g = -3*h - 14 - 0. Put h, d, -2 in ascending order.
d, -2, h
Suppose 3*x = 2*y + 9, 0*x - 4*y = 3*x - 9. Suppose -3*q - x*w + 3 = 0, 2*q + 3*q = -w - 7. Let g be 2/1 + (-2)/q. Sort 0, g, 5.
0, g, 5
Let a = -3.3 - -0.3. Sort -2/15, a, -0.07 in decreasing order.
-0.07, -2/15, a
Let a = 11 - 11. Suppose a = -3*y + 15. Put -4, 4, y in decreasing order.
y, 4, -4
Suppose 0*z + z = -l + 1, 0 = -4*l + z + 19. Put -2, 8, l in decreasing order.
8, l, -2
Let d = -16/69 + 8696/207. Let i = d - 42. Sort i, -2, 1/7 in decreasing order.
1/7, i, -2
Suppose 0 = 19*n - 14*n + 5. Sort n, 1, -3 in increasing order.
-3, n, 1
Suppose 8*y + 13 = 2*q + 5*y, -5*q + 2*y = -5. Put -2, -5, q in descending order.
q, -2, -5
Let d(q) = -q + 10. Let k = -2 + 11. Let v be d(k). Let b be v/(-1 + 12/10). Sort b, 4, -1.
-1, 4, b
Let p = -2.573 - 0.457. Let s = p + 0.03. Let t = 0.2 + -0.1. Sort 2/3, s, t in increasing order.
s, t, 2/3
Suppose -5 = -8*x + 3. Sort 24, -5, x in ascending order.
-5, x, 24
Let l(f) = f**3 - 2*f**2 + 3*f - 15. Let x be l(3). Suppose 5*v + 0*w + 2 = w, -3*v + 9 = -4*w. Let a be (-4)/(-3) + 2/v. Put x, a, 0.2 in ascending order.
a, 0.2, x
Suppose 0 = 4*z - 0*z + 16. Let g = 20 + -16. Sort 5, g, z in descending order.
5, g, z
Let o = -18 - 6. Suppose -2*d = -3*i + 20, -3*d + 0*d + 2*i - 20 = 0. Let j be (1/2)/(d/o). Sort j, -1, -2 in decreasing order.
j, -1, -2
Let l be 6*((-3)/(-9) - 1). Let j = -20 + 18. Put 0, j, l in decreasing order.
0, j, l
Let k be 9 + -5 - (0 + 1). Put 1/3, k, -0.3 in descending order.
k, 1/3, -0.3
Let d be ((-4)/(-15))/(3*4/60). Put d, 0.2, 3, 0.1 in increasing order.
0.1, 0.2, d, 3
Let b be 4/7 - (-3)/7. Put 4/3, b, 0, 2 in decreasing order.
2, 4/3, b, 0
Let m(v) = 2*v + 2. Let t = -2 - -2. Let k = -2 - t. Let r be m(k). Sort 0, 1, r in descending order.
1, 0, r
Let i = 557/15 + -37. Put i, 3/7, -5 in descending order.
3/7, i, -5
Let f(z) = -z - 2. Let x be f(3). Let h(r) = -r + 1 + 2 - 7. Let w be h(-4). Sort 3, x, w in increasing order.
x, w, 3
Suppose 10 = -2*w - 0. Suppose 3*f = -0*f + 3. Put w, 3, f in descending order.
3, f, w
Let b = 11/63 + -2/7. Let i = 0 - -1.4. Let v = -0.4 + i. Sort -2, v, b in increasing order.
-2, b, v
Let v be ((-4)/(-12))/((-2)/6). Let z be (-3 - (-3)/2)*v. Put z, -1/8, -3/4 in decreasing order.
z, -1/8, -3/4
Let x(p) = -6*p - 32. Let l be x(-6). Sort l, 2, -7 in descending order.
l, 2, -7
Let n = -4 - -3.6. Let t = 2.5 - 2.2. Sort -2/7, n, t in ascending order.
n, -2/7, t
Suppose -k + 6*k = 0. Put k, -2, -4 in descending order.
k, -2, -4
Let p be -1 - 7*(-3 + 2). Let n = p - 3. Put -2, n, 0 in decreasing order.
n, 0, -2
Let b = -2/3 + 1. Let i = -5 - -5.1. Put b, i, 1 in increasing order.
i, b, 1
Let o be 16/6*(-3)/(-2). Let x(m) = -5*m**2 - m. Suppose 13*g = 10*g - 3. Let b be x(g). Sort o, 3, b in increasing order.
b, 3, o
Suppose -2*g - 9 = 4*u - 3*g, 0 = -2*g + 10. Let x be -4*(u + 1 + 1). Suppose k + 18 = -2*k - 3*y, -8 = 2*y. Put k, -1, x in decreasing order.
-1, k, x
Suppose 0 = -4*t + t - 6. Let f = -9 - -11. Suppose -f*s = -2 - 4. Put 4, s, t in increasing order.
t, s, 4
Suppose -2*c = -0*c - 12. Let q be (6 - c)/(0 + -2). Sort q, -5, -3 in increasing order.
-5, -3, q
Suppose -3*n = -2*k + 4*k - 1, -3*k - 4*n = 0. Put 0, -3, k in decreasing order.
0, -3, k
Suppose -4*x = -x + 4*m - 11, -2*x = -m. Sort -3/5, -1/6, x, 6 in ascending order.
-3/5, -1/6, x, 6
Let v(i) = i**2 + i + 1. Let b be v(-2). Let n = 11 + -6. Suppose -5*x = n*j - 0*x + 35, 0 = -3*j + 3*x + 3. Put -4, j, b in descending order.
b, j, -4
Let h(v) = v - 8. Let u be h(6). Put 2, -1.7, u, -0.1 in ascending order.
u, -1.7, -0.1, 2
Suppose 0*j + 4*j = 0, 2*d - 2*j = -4. Suppose m + 5*z + 13 = -0*m, -5*m + z = -13. Suppose 3 = -w - 1. Sort w, m, d in decreasing order.
m, d, w
Let i = -2.1 - -2.8. Let h = -0.4 + 0.1. Let m = i - h. Put m, 0.03, -0.5 in descending order.
m, 0.03, -0.5
Suppose 6*x - 26 = 3*x - 4*m, -x - 8 = -2*m. Let y = 4 + -1. Sort x, y, -8.
-8, x, y
Let q = 0 + -5. Let k = q - -3. Sort 0, k, -4 in descending order.
0, k, -4
Let b(x) = -2*x**2 - 45*x - 27. Let f be b(-22). Put 14, 5, f, 4 in ascending order.
f, 4, 5, 14
Let w be (-4)/(-10) - (-1)/(-5). Put -12/5, 2, w in decreasing order.
2, w, -12/5
Let n = 6 + -5.6. Let x = n + -2.4. Let s = -3 + 2. Sort s, x, 0.3 in descending order.
0.3, s, x
Let l = -33/5 - -6. Suppose -q + 0*q = 0. Let z be 1*-2 + q + 0. Put z, l, 0 in ascending order.
z, l, 0
Let s = 16 - 19. Let r = 0 - -0.4. Let t be ((-2)/(-6))/((-12)/9). Sort s, t, r.
s, t, r
Let s(n) = -n**2 + 10*n. Let b = -5 + 14. Let l be s(b). Put l, -1, 5 in decreasing order.
l, 5, -1
Let t = 931/174 - 16/3. Let j = t + -65/406. Sort j, -2/17, 3 in decreasing order.
3, -2/17, j
Let y = 0.05 - -0.05. Let p = -3.9 - y. Let x = 3.01 - 0.01. Sort 4, x, p in descending order.
4, x, p
Let t = 7/30 - -1/10. Let c = -2 + 1.96. Let b = c - -1.04. Sort b, -0.3, t in descending order.
b, t, -0.3
Let z = -3.5 + 3. Put 1, z, -11 in decreasing order.
1, z, -11
Suppose -r + 52 = 3*r. Suppose 2*g + 7 + r = 0. Let j be 60/14 - g/(-35). Put -4/5, j, 0.5 in ascending order.
-4/5, 0.5, j
Let m = -38/55 + 3/5. Put m, 0.3, 2/3 in increasing order.
m, 0.3, 2/3
Let y be -1 + 2/(3 + -2). Let m be (0 - y) + 9/15. Let j = -16 - -33/2. Put m, j, 1/6 in increasing order.
m, 1/6, j
Let u = 1 + -4. Sort 1, 2/17, u in increasing order.
u, 2/17, 1
Let j(q) = 2*q**2 + 2*q - 1. Let z be j(1). Let b be (z/6)/(2/(-16)). Sort b, -1, 3 in descending order.
3, -1, b
Let m be -2 + 0 + (1 - 0). Sort m, -2/15, 1 in decreasing order.
1, -2/15, m
Let q be 144/(-15) - 4/10. Suppose g - 6 = 3*g. Sort g, q, 0.3 in ascending order.
q, g, 0.3
Let u = -37/306 - -1/102. Let i = 0 - 0.5. Put u, i, -1 in increasing order.
-1, i, u
Let u = -6 - -4. Let g be 0/3 - 4/(-3). Let o = -0.4 - 4.6. Sort g, u, o in decreasing order.
g, u, o
Let f = 0.107 - 66.107. Let p = -59.9 - f. Let c = p - 6. Put 1, 5, c in ascending order.
c, 1, 5
Let g = -281/20 + 69/5. Sort 5, g, -1 in ascending order.
-1, g, 5
Let u(x) be the first derivative of x**3/3 - 5*x**2/2 - 2*x + 2. Let i be u(5). Sort 4, -1, i in decreasing order.
4, -1, i
Let q = 42.6 + -43. Let f = -1 - -1. Put 1/8, q, f in decreasing order.
1/8, f, q
Suppose 0 = -4*g + 3*i - 1, -g = 2*g - i + 2. Sort -2/13, -1/4, 0.07, g in ascending order.
g, -1/4, -2/13, 0.07
Suppose 10 = p + 4*p. Sort p, 13, 4/3.
4/3, p, 13
Let w = 0.5 - 0.8. Let p = -0.2 - w. Let m be 1/(3/(-9)*-1). Sort p, -0.3, m.
-0.3, p, m
Let g be (-57)/15 - (-2)/(-10). Sort 0, 4, g.
g, 0, 4
Let w(l) = l**3 + 17*l**2 + 13*l - 45. Let q be w(-16). Let k be (0 - 2/6)*-3. Sort -4, q, k.
-4, k, q
Let f = -0.19 + 0.18. Sort 4, -0.5, f in decreasing order.
4, f, -0.5
Let w(f) = f**2 - 5*f - 5. Let d be w(6). Sort d, -3, -2 in increasing order.
-3, -2, d
Let t = -1 - -4. Let u be (1 - t)/(15/5). Sort -1, u, -0.5 in ascending order.
-1, u, -0.5
Let b(i) = -i**3 - 5*i**2 - 4*i - 2. Let q(l) = l**3 + 8*l**2 - 9*l - 2. Let k be (0 + 3)/3*-9. Let x be q(k). Let m be b(x). Put -4, m, -3 in increasing order.
m, -4, -3
Let s = -4 - 0. Let a be (2 + -1 - 4) + -2. Let m = 21 + -18. Sort a, s, m.
a, s, m
Let t = 175/18 - 19/2. Sort t, 2, 0.2.
0.2, t, 2
Suppose 0 = 4*w - 3*w - 3*q - 4, -2*q - 31 = 5*w. Let g(j) = -j. Let p be g(w). Let h be 2 + (-1 + 7)*2/(-3). Put h, p, 3 in increasing order.
h, 3, p
Let f = 0 - 2. Let q be f + (-5)/((-5)/(-2)). Let d be (8/(-6))/(2/(-3)). Put -5, d, q in descending order.
d, q, -5
Let a = 8.4 - 8.7. Sort a, -0.07, -2 in decreasing order.
-0