5*v - 10 = -5*o, 3*o = o + 3*v + 2. Sort -2, o, 1 in decreasing order.
o, 1, -2
Suppose -2*g - 20 = -4*g. Suppose 5*i + 7*m - 3*m = -15, 5*i + 3*m = -g. Let j be (-9)/(-7) + (-1)/i. Sort -4, -3, j in decreasing order.
j, -3, -4
Suppose -v - 2*y - 1 = -8, 2*v - 13 = -3*y. Let g = -15 + v. Let p = -5 - g. Sort p, -2, -4.
-4, -2, p
Suppose 3*q - 8 = 1. Suppose -2*d - q*k = -11, d - 2*d + 5 = k. Let y(h) = h**3 + 6*h**2 + 5*h - 3. Let o be y(-5). Sort -5, o, d in decreasing order.
d, o, -5
Suppose -s + 1 + 15 = 4*b, -b + 2 = 0. Suppose 2*u - s = -2*u. Suppose 5*o + 1 = 36. Sort -3, u, o.
-3, u, o
Suppose -15 = 5*i - 0. Suppose 0*v + 8 = -4*p + 2*v, 4*p - v = -6. Put i, 3, p in increasing order.
i, p, 3
Let d be (-1)/(-2) - 36/(-8). Suppose d*h - 9 = 2*h. Suppose 3*w + 15 = -2*w. Sort w, 2, h.
w, 2, h
Let o = -215 + 3657/17. Put o, -5, 0.4 in descending order.
0.4, o, -5
Let m = -0.05 - 2.95. Let i = 32.6 - 30. Let k = i + m. Put 0.4, k, 0.2 in decreasing order.
0.4, 0.2, k
Let b be 2 + -1 + (-7 - -12). Let l be (-18)/(-12)*20/b. Sort -4, 3, l in decreasing order.
l, 3, -4
Let a = -0.008 + 3.008. Let c = 81/292 + -2/73. Sort c, -1/9, a.
-1/9, c, a
Suppose 11*n + 22 = 22*n. Suppose a + 6 = -a. Put a, n, -5 in decreasing order.
n, a, -5
Let v(h) = h**3 + 11*h**2 - h - 8. Let d be v(-11). Put 4, 0, d in increasing order.
0, d, 4
Suppose -5*q + 11 = -2*a, -3*q + 2*a + 5 + 0 = 0. Put q, -0.4, -0.3 in increasing order.
-0.4, -0.3, q
Suppose 3*t - 8 = -2*p, 60 = 4*p - 7*t + 2*t. Let y be 15/p*(-1)/6. Sort 5, y, 0.
y, 0, 5
Let k be (-3 + 0)/(18/(-24)). Put -5, -3, k in increasing order.
-5, -3, k
Let h = -39 + 41. Sort h, -2/23, -1 in decreasing order.
h, -2/23, -1
Suppose -4*o = 3*s + 2*s + 24, -20 = 4*s + 3*o. Put -2, 1, -3, s in increasing order.
s, -3, -2, 1
Let f = -3 - -4. Suppose -t + 4*x + 5 = 0, -26 = -5*t - x - f. Let q = -0.2 - 4.8. Sort 1/8, q, t.
q, 1/8, t
Let j be (-24)/108 - (-38)/9. Suppose p + 0*p - j = 0. Sort -2, 5, p.
-2, p, 5
Let m(z) = z**3 - 4*z**2 - 1. Let q be m(4). Let v(j) = 2*j + 9. Let k(w) = -7*w**3 + w**2 - 1. Let b be k(1). Let r be v(b). Put -2, q, r in increasing order.
r, -2, q
Suppose -3*h = -h - 6. Put 5, -1, h in decreasing order.
5, h, -1
Suppose -5*o = -11 - 19. Let j be (-1)/(o/5 - 1). Let y(c) = -c**2 - 7*c - 6. Let g be y(j). Put 2, -4, g in ascending order.
-4, 2, g
Let u be 18/(-14)*7/2. Sort u, 4, -0.5 in decreasing order.
4, -0.5, u
Let t(d) = d + 2. Let v be t(0). Let j be -14*(-1)/v + -2. Put -1, j, -2 in ascending order.
-2, -1, j
Let q(t) = -t**3 - 11*t**2 - 11*t - 10. Let d be q(-10). Let c = -2 + 0. Sort 4, d, c.
c, d, 4
Let u(v) = -v**3 + 9*v**2 - 16*v + 16. Let c be u(7). Sort -3, c, 1 in ascending order.
-3, 1, c
Suppose -3*m + 5*p + 6 = 0, -p + 6 = -3*p. Let q = -49 - -55. Put q, 2, m in descending order.
q, 2, m
Let j = -1.4 - 1.1. Let k = 3 + j. Let o = -126/65 - -20/13. Put -0.3, o, k in decreasing order.
k, -0.3, o
Let l = 0.03 + 3.97. Let o = -0.023 - -4.823. Let i = -0.2 - o. Sort l, 2/3, i in ascending order.
i, 2/3, l
Suppose 0*j - j = -6. Let l(t) = t**3 - 5*t**2 - 5*t + 6. Let c be l(j). Let o be c/(-9) - (-4)/(-6). Sort 3, o, 0 in descending order.
3, 0, o
Suppose -v - 8 = 3*v. Let m(p) = p**3 - p**2 + 2. Let g be m(v). Let h be 0 - (3 + g/2). Sort -5, -2, h in increasing order.
-5, -2, h
Suppose -4*m - 4*k + 5 = -19, -3*k + 8 = -2*m. Suppose -5*t + 2*t + 4 = -m*l, -5*t + 8 = -3*l. Put 1, -2, l in increasing order.
-2, 1, l
Let x be ((-2)/6)/(5/15). Put 5, -2, -6, x in decreasing order.
5, x, -2, -6
Let y(k) = k + 22. Let q be y(-18). Sort -1, -5, q in descending order.
q, -1, -5
Let x be (-1)/((-1 - 0)/4). Suppose -x = 4*s - 0*s. Let h be (-1 + (-7)/(-5))*s. Sort -5, 0.4, h in descending order.
0.4, h, -5
Let v = -2/3741 + -220715/7482. Let u = v - -29. Sort 2, -0.1, u.
u, -0.1, 2
Let o = 6.6 + -7. Suppose -2*f = -v + 2*f + 1, 5*v = -3*f - 18. Sort v, o, -1/7 in descending order.
-1/7, o, v
Let f = -0.008 + 0.008. Let h be (0 + -10)*(-2 - -1). Suppose -r - h = r. Put -2/11, r, f in ascending order.
r, -2/11, f
Let t be ((-1)/3)/(1/15). Let v = 8 + t. Let w = -7 + v. Sort w, 1, -2 in descending order.
1, -2, w
Let h(l) = 6*l + 1. Let r be (5/(-10))/(1/2). Let d be h(r). Let s(p) = -p**3 + 6*p**2 - 5*p - 1. Let f be s(5). Put f, 4, d in decreasing order.
4, f, d
Let q = 2.09 + -2.3. Let x = 0.01 + q. Sort x, 5, -5.
-5, x, 5
Let n = -25.1 - -24. Let d = 6.1 + n. Put d, 1, -5 in increasing order.
-5, 1, d
Suppose -12*s = -9*s - 24. Suppose 0 = -3*g - 4*f - s, -g - 5*f + 0*f = 21. Suppose -6 + 3 = -3*j. Put j, g, 5 in decreasing order.
5, g, j
Suppose 2*r = 3*d - 0*d + 4, -2*d - 4*r = 8. Let g = 6 + -4. Let w = -1.9 + g. Sort d, 0.3, w.
d, w, 0.3
Let a = 959/642 + 2/321. Let y = 0.01 - 2.01. Sort y, a, -4 in ascending order.
-4, y, a
Let s be (-4)/(-6) - 20/12. Let a be 0 - ((s - -4) + 21). Let u be 6/(-8) - (-78)/a. Sort -0.2, u, 4.
u, -0.2, 4
Suppose -5*h - 23 = -4*o, -3*o + 2*o = h + 1. Suppose 0 = f + f. Suppose 5*c - 2*c = f. Put h, 4, c in increasing order.
h, c, 4
Let h = 1 - -1. Suppose -4*v + h = -4*l - 6, l = -v + 8. Suppose 2*b - r = -9, -r + 2 = 3*b + l. Sort 0, -1/6, b in descending order.
0, -1/6, b
Let i = 1 + 0. Put 5, i, -5 in increasing order.
-5, i, 5
Suppose 4*f = 2*z - 0*f + 2, -4 = 2*z - 3*f. Put 5, 2, z in increasing order.
z, 2, 5
Let o = -1.987 + -0.013. Sort -2/9, 5, -4, o in ascending order.
-4, o, -2/9, 5
Let z(c) = c**3 - 7*c**2 + 11*c - 6. Let p be z(5). Put 0, -3, 1, p in descending order.
1, 0, p, -3
Let b be (4 + 2 + -4)/1. Let a = 3 - b. Let h = -0.21 - -0.21. Put a, 1/5, h in descending order.
a, 1/5, h
Let m(a) = -2*a**2 - 2*a + 1. Let d = 1 - 3. Let h be m(d). Let f(q) = -q - 10. Let r be f(-11). Put r, h, -2 in ascending order.
h, -2, r
Suppose -4*h = 5*n - 2 - 5, 0 = 2*h + 4. Let l = 4 + -4. Suppose l = -0*o - 3*o - 15. Put n, 0, o in decreasing order.
n, 0, o
Let y(h) = 6*h - 52. Let z be y(9). Sort z, -9, 0 in decreasing order.
z, 0, -9
Let k be 6/15 + 26/10. Suppose -k*y + 5*y = 0. Suppose 2 = -5*i - 3. Sort y, 5, i in descending order.
5, y, i
Suppose -2*h = 3 - 7. Let r be (-24)/84 - 30/(-63)*9. Sort 1, h, r in decreasing order.
r, h, 1
Let r(l) = l**3 + 3*l**2 - l. Let s be r(-3). Let a = -1 + s. Suppose a*t = 4*t + 4*u + 26, -30 = 2*t + 5*u. Sort 2/9, 0.5, t in increasing order.
t, 2/9, 0.5
Suppose b + 4 = 9. Suppose 0 = p - 5*n + 24, 0*p + 10 = b*p + n. Sort p, 6, 0.1.
0.1, p, 6
Let b(m) = m**2 - 7*m + 9. Let q be b(5). Let d = 1 + q. Sort d, -4, 5 in descending order.
5, d, -4
Let z = -5.4 + 5.9. Let y = 14 - 10. Put 2/3, z, y in increasing order.
z, 2/3, y
Suppose 0 = 13*q - 9*q + 16. Sort -1, -3, q, 0 in decreasing order.
0, -1, -3, q
Let w = 0.05 - 0.85. Let z = 1.1 + w. Let n = 14 - 10. Sort -1, z, n in ascending order.
-1, z, n
Suppose 6*g - g - 5*d - 30 = 0, 3*d + 12 = 0. Put g, 3, -6 in descending order.
3, g, -6
Let u(r) = r - 1. Let b be u(1). Let c be ((-20)/3 - -2)*3. Let k = -17 - c. Put 6, k, b in decreasing order.
6, b, k
Let o = 1 - -1. Let j be (-1 + (-2)/(-4))*o. Let h be -3 - (2 + 0)*j. Sort 1, h, -5.
-5, h, 1
Suppose -5*w + 2*b - 15 = 0, -b = -4*w + 3*b - 24. Let n be -3 + 0 - (w + -2). Sort n, -3, -2 in descending order.
n, -2, -3
Let q(o) = o**2 + 7*o + 5. Let d be q(-2). Suppose -3*c - 1 = -l, c - 21 = -0*c - 5*l. Suppose 1 = p + 3. Sort c, p, d in descending order.
c, p, d
Let o = 20869411409393 + -24396339066740225/1169. Let z = -2455809 + o. Let g = 4/167 + z. Put -0.5, -4, g in increasing order.
-4, -0.5, g
Let w = -113/3 - -38. Suppose 4 + 0 = -2*r. Suppose 0 = 5*i + 4*b - 23, 4*i - 2 = -4*b + 18. Put i, w, r in descending order.
i, w, r
Let z = 0.6 + 0.4. Let b = 117/56 - 12/7. Sort b, z, -5.
-5, b, z
Let q = 16 - 11. Let v(m) = -3*m**3 + m**2 - 1. Let d be v(-1). Sort d, 0.4, q in descending order.
q, d, 0.4
Let f = -26 - -30. Sort -2/33, f, -1/4, 3/5 in increasing order.
-1/4, -2/33, 3/5, f
Let d = -13 - -15. Put 3, d, -2/15 in increasing order.
-2/15, d, 3
Let k = 1318/7 + -188. Let c be 1*((-12)/(-14) - 1). Sort -0.4, k, c in increasing order.
-0.4, c, k
Suppose -3 = -2*a - 2*a + 3*i, -5*i = -a + 22. Suppose o = -4, 2*k + 3*o = o - 16. Let l be (-8*2/k)/2. Sort a, -2, l.
a, -2, l
Let r = 3.6 - -1.4. Put -1, r,