. Sort o, w, 0.4 in decreasing order.
0.4, w, o
Suppose -m - 2*m - 18 = 0. Let h = m + 8. Let w(z) = z**3 - 6*z**2 - 1. Let v be w(6). Sort h, v, -2.
-2, v, h
Let v = 0.44 - 1.44. Suppose 0 = -y + 3*s - 11, -6 = 5*y - 2*s - 16. Let z = 14/3 + -44/9. Sort y, z, v.
v, z, y
Let z be 18/(-8) + (-9)/12. Let v = -6 + 5. Sort -5, z, v in increasing order.
-5, z, v
Let l = 4 + -4.06. Let u = -0.14 + l. Sort -1, -3, u in increasing order.
-3, -1, u
Suppose -4*q = 4*s - 28, -q = 4*s - s - 11. Suppose -5*f - s*o - 38 = -5*o, -2*o - 19 = 3*f. Let p = -7 - f. Sort -4, -0.3, p in decreasing order.
p, -0.3, -4
Let n = -10 + 6. Let t = 9.07 + -9. Let l = 0.33 + t. Sort 0.3, n, l in ascending order.
n, 0.3, l
Suppose -5*i + 5*t - 30 = 0, t = 5*i - 3*i + 9. Let n be 28 - 6 - 2/1. Let j = n - 16. Sort i, j, 1.
i, 1, j
Let i(s) = 5*s**3 + s**2 - s - 1. Suppose 4*z = -4 - 0. Let u be i(z). Suppose -3*k - 8 - 1 = 0. Put 1, k, u in decreasing order.
1, k, u
Let w be (-168)/(-9) + (-6)/9. Suppose -m - 3*m - 24 = -4*u, m - 4*u = -w. Sort 5, m, 0 in ascending order.
m, 0, 5
Suppose -4*i = 0, 4*a + i + i + 8 = 0. Sort a, -10, 1 in increasing order.
-10, a, 1
Let c = 14 + -5. Let v = 11 - c. Sort -1, 1/3, v in descending order.
v, 1/3, -1
Let a = -8 - -4. Suppose 27 = 5*x + 7. Let t = x + 1. Put t, a, 0 in descending order.
t, 0, a
Let r = 8 - 5. Suppose 0*w - r = w. Let b(c) = -2*c - 15. Let n be b(-10). Sort w, -2, n.
w, -2, n
Let n = 4 - 9. Let g be (-5)/(-2) + (2 + 4 - 8). Put n, 0.3, g in decreasing order.
g, 0.3, n
Let r(h) = h**2 - 10*h + 9. Let u be r(9). Let y be u/(2*1/2). Suppose 0*b - b = 4, 0 = 5*v + 5*b + 35. Put v, y, 5 in decreasing order.
5, y, v
Let m = -18 + 23. Let x = 0.7 - 0.7. Put 3, x, m in descending order.
m, 3, x
Let u = 51 + -53. Sort u, 2, 3.
u, 2, 3
Let l = -56 - -52. Suppose p + 2*p = -15. Sort l, 5, p in descending order.
5, l, p
Suppose -4*f = -0*f + 4, -5*c - 68 = -2*f. Sort 2, -5, c.
c, -5, 2
Let z be (-30)/(-18) - ((-4)/3 + 0). Let y = 2 - 3. Sort y, z, -5.
-5, y, z
Let b = 86 - 88. Put b, -0.1, -0.36 in decreasing order.
-0.1, -0.36, b
Let s be 0 - (1 + (-2)/2). Let n = 9 + -14. Sort s, 2, n in descending order.
2, s, n
Let b be (1 + 1/(-2))*2. Let k(j) = -j**2 + j. Let c be k(b). Put -2, c, -3 in descending order.
c, -2, -3
Let s(j) = j + 3. Let w be s(-1). Put -12, -3, w in descending order.
w, -3, -12
Suppose 0 = -2*x + m + 4, -x - 4*m - 1 = -12. Suppose -3*f + 13 - 7 = 0, -z + 16 = 5*f. Sort -2, z, x.
-2, x, z
Let c = -2 - 1. Let d = c - 2. Sort d, -4, 5 in increasing order.
d, -4, 5
Let v = -105 - -1363/13. Put -1/3, 2, v in ascending order.
-1/3, v, 2
Let y = -3.9 - 0.1. Let r = -165841/1320 + 1005/8. Let x = 68/165 + r. Sort 4, x, y.
y, x, 4
Let r(l) = -3*l**2 - 26*l - 13. Let o be r(-8). Sort 5, -3, -4, o in increasing order.
-4, -3, o, 5
Let h = 31 + -20. Let y = h - 16. Sort y, 8/5, 2/7 in descending order.
8/5, 2/7, y
Let w be 22/5 + (-8)/20. Suppose 0 = 5*y - 11 + 36. Sort w, y, -4 in ascending order.
y, -4, w
Let z be 4/42*(-42)/(-6). Let a = -0.6 + 2.6. Let o be (-4)/6*(-3)/7. Put z, o, a in decreasing order.
a, z, o
Let p be -3 - 0 - -1 - -4. Sort -5, p, -6 in decreasing order.
p, -5, -6
Let w(m) = -m**3 + 7*m**2 + 7*m + 9. Let x be w(8). Let c be 0*(2/(-4) - -1). Suppose 4*v - d - 8 = 3*d, -4*v + d + 17 = c. Sort x, v, -4 in descending order.
v, x, -4
Let p = 56 + -56. Let o = -3 + -2. Put -0.5, o, p in ascending order.
o, -0.5, p
Let i = -252 + 251. Let t = 0 + 0. Sort t, 4, i in descending order.
4, t, i
Suppose 0*h = -h. Let s(q) = -q. Let i be s(1). Sort i, -2, h in increasing order.
-2, i, h
Let n be 10/18 + 1/(-3). Let o = 0.01 + 2.99. Let q = -35 - -35.5. Put q, n, o in ascending order.
n, q, o
Let i be 2 + -1 - (0 + 1). Let a be (-1 - (1 - i)) + 1. Let z = -5 - -8. Sort a, z, -4.
-4, a, z
Let p = -12.2 + -13.6. Let b = p + 26. Put b, -1/3, -0.4 in increasing order.
-0.4, -1/3, b
Let j be (1 - (-8)/(-6)) + 1. Sort 3, j, 0 in decreasing order.
3, j, 0
Let y be (4 + -1 - 2)*8. Let s = y + -4. Let l(d) = -5*d + 26. Let c be l(6). Sort 1, c, s.
c, 1, s
Let h = -29.84 - -29. Let k = h - 0.16. Sort -0.5, 1/8, k.
k, -0.5, 1/8
Let i(o) = -o - 7. Let t be i(-8). Let r be ((-2 - 1) + 4)*t. Put -4, r, 0 in descending order.
r, 0, -4
Let a(m) = m - 1. Let w(r) = -1. Let i(x) = a(x) - 3*w(x). Let d be i(-5). Sort -2, d, 5 in descending order.
5, -2, d
Let h = -296/5 - -59. Let d = 0.3 - -0.7. Let g = -110 - -109.7. Put d, g, h in descending order.
d, h, g
Let y be (-10)/24 - (-4)/6. Let c = 11.2 - -0.8. Let d = -9 + c. Sort y, d, 1.
y, 1, d
Let l = 44 - 40. Let t = -4 - 0.5. Let f = t + 4. Sort l, f, 3/2 in descending order.
l, 3/2, f
Suppose 6*m + 4 = 2*m. Let o = 4 + -6. Let j be 5/3 - 4/6. Put j, m, o in increasing order.
o, m, j
Let m = -8 - -6. Let s = -3 - m. Sort s, 1, -4.
-4, s, 1
Let h(u) = -u**2 - 8*u - 7. Let f be h(-6). Let l be (15/(-9))/(2/(-6)). Suppose 0 = -5*x - 0*x + l*y + 15, 4 = -y. Put x, f, -2 in decreasing order.
f, x, -2
Let s(v) = -2*v**2 - 2*v**2 + 2*v + 2 + 5*v - v**3. Let u be s(-5). Let k be (-3)/(-12) - (-2)/u. Sort k, 2, 1.
k, 1, 2
Let l(w) = w**2 + 1. Let h be l(2). Let n = 7 + -3. Sort -3, h, n in increasing order.
-3, n, h
Let k = 36 + -36.4. Sort 0, 8, k.
k, 0, 8
Let m = 12 + -16. Let b be -2*(-5)/6*-3. Sort m, 2, b.
b, m, 2
Let u = -24 + 23.5. Let r = 207/434 + -3/62. Put u, -0.3, r in ascending order.
u, -0.3, r
Let b = 3 - 8. Let z = -1.5 - 0.5. Let x = 6 - 9. Sort b, z, x in decreasing order.
z, x, b
Let g = 4 - 13. Let n = g + 8. Put 3, n, 2 in ascending order.
n, 2, 3
Suppose 2*a - 3*a = -3*v - 3, 4*v + 34 = 3*a. Suppose -a = -3*p + 5*x, -x = -0*x + 3. Suppose 4*t + 5 = 3*t. Sort p, t, 5.
t, p, 5
Let o(y) = y**3 - 3*y**2 - y + 1. Let s be o(3). Sort 0.4, 6, s in descending order.
6, 0.4, s
Let r be ((-12)/30)/(3 + (-56)/20). Sort 5, r, -1, -8 in decreasing order.
5, -1, r, -8
Let r = -2 - -4. Let b be r/(-5)*(-5)/2. Let p be 3*2*(-2)/(-4). Sort 4, b, p in decreasing order.
4, p, b
Let t(h) = -3*h - 1. Let i(p) = p - 12. Let a be i(13). Let y be t(a). Suppose 0*l + 4*l = -4*s + 12, 2*s - 9 = -5*l. Sort y, 5, s in descending order.
5, s, y
Let r = -5.06 + 0.06. Sort 2, 1/7, r in increasing order.
r, 1/7, 2
Suppose -4*f + 1 = -7. Put -0.5, 0.09, f, 0.5 in decreasing order.
f, 0.5, 0.09, -0.5
Let l be (-1 - (-3)/5)*-25. Let m = -5 + l. Suppose -m*g + 4*h = 15, 3*g - 2*g - 4*h = -3. Sort 5, 2, g in decreasing order.
5, 2, g
Let f = -211/4 + 1031/20. Sort 0.4, f, -5 in decreasing order.
0.4, f, -5
Suppose 0*i + 20 = -4*i. Let j(t) = 3*t**2 - 6*t**2 - 4 + 4*t**2. Let u be j(0). Sort 2, u, i.
i, u, 2
Let d = -0.5 - -0.8. Let p = -0.04 - -0.12. Let b = 0.08 - p. Put d, b, -1/7 in decreasing order.
d, b, -1/7
Suppose 25 = 2*r + 1. Let f be (3/r)/(3/(-6)). Put 2/9, -1/3, f in decreasing order.
2/9, -1/3, f
Suppose -4 = s, 5*p + 13 - 5 = 3*s. Suppose -3*u = -x - 0*x + 5, 0 = 5*u + 3*x - 15. Sort p, -5, u in decreasing order.
u, p, -5
Let g(u) be the third derivative of -u**5/60 - u**4/6 - 2*u**3/3 + 4*u**2. Let z be g(-4). Sort -5, z, 0.
-5, z, 0
Let j(p) = -p**2 + 3*p + 3. Let z be j(4). Put -38, 3, z in descending order.
3, z, -38
Let z = 4 + -3.8. Let n = 0.1 - z. Sort 3, n, 0.1 in descending order.
3, 0.1, n
Let n = -5 - -8. Suppose n*v = 4 + 5. Sort -5, v, -2/17.
-5, -2/17, v
Suppose g = -5*n - 25 - 0, -3*g - 31 = 4*n. Let v = -3 + n. Sort -4, 0, v in descending order.
0, -4, v
Let b = -66 - -66.4. Put 2/3, b, 1/2, -0.1 in increasing order.
-0.1, b, 1/2, 2/3
Suppose 0 = -3*x + 3*u + u - 20, -4*u + 20 = 5*x. Suppose 10 = -x*j + 5*j. Let b be (1 - -1)/(2/4). Sort b, j, 0 in ascending order.
0, j, b
Suppose q - 5*t + 36 = 5*q, 0 = -q - 3*t + 16. Suppose 0*k - q = -k. Put 0, -2, k in decreasing order.
k, 0, -2
Suppose 2*t = -2*t - 2*j + 4, 0 = -5*j - 10. Let l = -7.97 + -0.03. Let q = -3 - l. Sort t, q, -4 in descending order.
q, t, -4
Let f(n) = -5*n + 11. Let w be f(6). Let o = 14 + w. Sort 8, 4, o in decreasing order.
8, 4, o
Let z(a) = -a - 21. Let l be z(-25). Sort -31, 3, l.
-31, 3, l
Let t = 8 - 5. Let r = -0.12 - -0.12. Sort 1, t, r in ascending order.
r, 1, t
Let y = -15.1 - -15. Sort y, -3/5, -0.4.
-3/5, -0.4, y
Suppose l - 5*x = 21, 0 = -2*l - 0*l - 4*x. Let n be l/(-3) + 2 + -4.