Suppose 3*o + 5*j = 31 - 2, -5*o = -3*j - 3. Put o, -4, 5 in decreasing order.
5, o, -4
Let y be (15/(-9) + 5)*6/(-5). Let v(x) = x**3 + x**2 - 2. Let k be v(0). Sort k, y, -10.
-10, y, k
Let z(a) = 2 + 0*a**2 - 5*a + 3 - a**2. Let l be z(-5). Let o be (-4)/14 + 9/7. Sort l, o, -5 in decreasing order.
l, o, -5
Let b = -42633/286 + 7927/26. Let m = b - 156. Put -5, 3, m in decreasing order.
3, m, -5
Suppose -2 = -2*b + 4. Sort b, -1, 0 in descending order.
b, 0, -1
Let v = -2 + 4. Suppose 28 = v*f + 2*f. Let z be f/70 + (-6)/10. Put 2/13, 0.2, z in increasing order.
z, 2/13, 0.2
Suppose 0 = -0*k + k. Sort -1/3, -2, k in decreasing order.
k, -1/3, -2
Let i(x) = 2*x - 29. Let u be i(15). Sort 3, -3, -2, u in ascending order.
-3, -2, u, 3
Let s be 48/22 - (-1 + 3). Sort s, 3, -4.
-4, s, 3
Let w be (-10)/(-4*1/(-2)). Let c(g) = g**3 + 6*g**2 + 6*g + 1. Let n be c(w). Sort -5, 1, n in decreasing order.
1, n, -5
Suppose -28 = -4*o + 8. Let r(u) = u**3 - 10*u**2 + 11*u - 4. Let n be r(o). Suppose -3*x - 9 = c, 2*c + n = -0*x - 4*x. Put -5, x, 0 in decreasing order.
0, x, -5
Let q = 9 - 28/3. Let o = -50 - -49. Put q, 0.01, o in decreasing order.
0.01, q, o
Suppose 5*l - 10 = 2*a - 3*a, 5*a = l - 2. Suppose -1 = -p + 2*z, a = p - 4*p + 2*z - 1. Put p, 6, 0 in decreasing order.
6, 0, p
Let k(p) = 2*p**2 - 3*p - 4. Let m be k(3). Sort 0, -5, m in increasing order.
-5, 0, m
Let n = 0 + -1. Let p = 3 - 3. Let q be (-2)/(-7) + 115/(-35). Sort q, p, n in descending order.
p, n, q
Let a = -2 + 4. Let k = 8.3 + -8. Let m = 0.2 + k. Put 0, a, m in descending order.
a, m, 0
Let m = 56 - 31. Let n = m + -11. Let q be ((-2)/n)/((-4)/12). Sort 0.4, 0.3, q in descending order.
q, 0.4, 0.3
Let p(w) = -2*w**2 + 13*w + 6. Let y be p(7). Let s(i) = i**2 - 4*i - 5. Let g be s(5). Sort -5, y, g.
-5, y, g
Let m = -13.3 + 13. Put 3, m, -1/2 in decreasing order.
3, m, -1/2
Let a(n) = -2*n + 1. Let t be a(1). Let g(u) = -u**3 - 5*u**2 - u - 4. Let p be g(-5). Put p, -4, t in decreasing order.
p, t, -4
Suppose -t + 3*t = -6. Let y(f) = -3*f**3 - 3*f + 2. Let p be y(1). Sort t, 0, p in descending order.
0, t, p
Let i = 0.68 + -3.79. Let g = -0.11 - i. Put -3, -5, g in ascending order.
-5, -3, g
Let d be -3 - (-2598)/27 - -3. Let u = 96 - d. Let g = -8 - -6. Put u, g, -1 in ascending order.
g, -1, u
Let t = -19 - -9. Let u be (-6)/t - (-92)/(-20). Sort 4, 0, u in descending order.
4, 0, u
Suppose 3*u - 3*i = 6, 0 = -3*u - i - 0 + 2. Let k = -0.6 - -0.3. Put 5, u, k in ascending order.
k, u, 5
Let f(z) = z**2 - 7*z + 2. Let x be f(3). Let p = -5 - x. Put -5, 2, p in descending order.
p, 2, -5
Let c = 7 + -7.1. Put 1/9, c, 4/7 in decreasing order.
4/7, 1/9, c
Let j = 840/11 - 3903/55. Let h = 29/5 - j. Sort 2, 1, h in descending order.
2, 1, h
Let c be 4/10*(-1)/(-2). Let y be (-1)/6*(-6 - -8). Sort c, -0.3, y.
y, -0.3, c
Let r(l) = l**2 + 5*l - 4. Let z be r(-6). Suppose 2 - 4 = 2*o. Put -3, o, z in descending order.
z, o, -3
Let h be (14 + -8)/((-6)/(-4)). Suppose 5*y - h*w + 10 = 0, 5*y - 5*w + 2 = 4*y. Sort 1, -1, y in decreasing order.
1, -1, y
Suppose -s - 3*q = 3*s + 17, -s = -4*q - 10. Suppose 4*p = -4*f + 8, -2*p - 3 = -9. Let t be (2/6)/(f/(-3)). Sort s, t, 0 in ascending order.
s, 0, t
Let k = 27.7 + -26. Let u = -1.4 + k. Sort 0.4, u, -0.1 in descending order.
0.4, u, -0.1
Let o(l) = l + 10. Let f be o(-11). Put -4, f, 2, 5 in descending order.
5, 2, f, -4
Suppose -5 + 1 = -4*o. Sort -2, o, 0 in increasing order.
-2, 0, o
Let x = -0.03 + 0.13. Let o = -0.4 - x. Let m = 0 - -1. Sort 6/11, o, m.
o, 6/11, m
Suppose 2*k + 0*k = 10. Let j = 7.6 + -1.6. Let q = j - 6.1. Put k, q, -1 in decreasing order.
k, q, -1
Let t = 149/2 + -77. Suppose 5*k = -0*k. Put 4, k, t in descending order.
4, k, t
Let c = 3.44 - 0.44. Put c, -5, 0.2, 0 in decreasing order.
c, 0.2, 0, -5
Let o = 25 - 25.17. Let x = 0.07 + o. Let l = -0.1 - 0.4. Put -1/3, l, x in descending order.
x, -1/3, l
Let c = 28 + -28.3. Put 2/15, -1, c, 8 in descending order.
8, 2/15, c, -1
Let c = 5 - -1. Let x = 7.6 - c. Let p = -2 + x. Put 1/4, 1, p in increasing order.
p, 1/4, 1
Let o = -0.2 - 0.8. Let q be (1/7)/(2/(-6)). Let b be 8/(-8)*-4 - 68/18. Sort q, b, o in increasing order.
o, q, b
Let m = 1.6 + -1.1. Let a be (-1 - 1) + 32/15. Sort a, 5, m in descending order.
5, m, a
Let v be (-38)/(-95)*(-10)/8. Put -1, -0.07, v in decreasing order.
-0.07, v, -1
Let z = 34 + -7. Let j = z + -23. Let a = -8 - -4. Put -2, a, j in ascending order.
a, -2, j
Let y = 5.29 + -5.3. Sort 4, y, 0 in decreasing order.
4, 0, y
Let o = -1 - -4. Let r(y) = -y + 5. Let u be r(4). Let q be (o/6 - 1)/u. Put 0.4, q, 1/3 in ascending order.
q, 1/3, 0.4
Let m = -21 - -15. Let g = m - -11. Put -2/9, -4, g in decreasing order.
g, -2/9, -4
Let d = -0.11 - -0.01. Sort d, 2, 1.
d, 1, 2
Let w = -10 - -5. Sort -4, w, -1 in decreasing order.
-1, -4, w
Suppose 3 = l + 2. Let p be (-14)/(-3) - l/(-3). Let f(v) = v + 7. Let z be f(-6). Sort p, -5, z.
-5, z, p
Let d be (-21)/4 + (-10)/(-40). Put 5, d, -4/3 in descending order.
5, -4/3, d
Suppose 5*c = -b - 24, -3*c - 6*b - 20 = -4*b. Suppose 2*y - f + 6 = -3*f, 20 = -4*f. Sort 6, y, c in decreasing order.
6, y, c
Let i(c) = c**2 - 18*c - 66. Let f be i(21). Put 1, 5, f in ascending order.
f, 1, 5
Let p = -56/187 + 2/17. Sort p, 0.1, 0.05 in descending order.
0.1, 0.05, p
Let g be (9/30)/((-3)/(-4)). Let m = 5 + -10. Let i = -1.9 - -2. Sort i, g, m in descending order.
g, i, m
Let t = -41/55 + 6/11. Let i = 0.009 + -4.009. Put 5, t, i in ascending order.
i, t, 5
Let q = 0 + 1. Let b be (-6)/9 + 11/3. Sort b, q, 4 in decreasing order.
4, b, q
Suppose -3*u - 2*a + 17 = -6, -5*u - a = -50. Let k = -16 + u. Put -4, k, -2 in descending order.
-2, -4, k
Let p = -70 - -65. Let n be (-2)/(3/2 + 1). Sort n, -1/3, p.
p, n, -1/3
Let a be ((-4)/22)/((-4)/3). Let n = a - -7/110. Put 4/3, 1, n in decreasing order.
4/3, 1, n
Suppose 2*l = -5*g - 2*l - 4, -5*g - 3*l = 8. Let o = 13 - 1. Let k be 2/8 - (-9)/o. Sort k, -3, g in increasing order.
g, -3, k
Suppose -4*x = -20, m = -m - 4*x + 16. Let n be -14 - (3 - (3 - -2)). Let r be 30/4*(-8)/n. Sort m, 3, r in decreasing order.
r, 3, m
Suppose -109 = -4*b - 113. Sort b, 1, -3, -4 in descending order.
1, b, -3, -4
Let a = 6.2 - 6.14. Put 1/2, 2/13, a in decreasing order.
1/2, 2/13, a
Let g = -134 + 133. Put -2, g, -1/2 in descending order.
-1/2, g, -2
Suppose 3*w - 5 = 1. Suppose 0 = -2*b + 2*c + 2, -4*b - 5*c + c + 36 = 0. Put b, w, -5 in ascending order.
-5, w, b
Let l(a) be the first derivative of -a**4/4 - 2*a**3/3 - a**2 + a + 3. Let y be l(-2). Let p = -5 + y. Put p, -0.3, 1 in descending order.
1, p, -0.3
Let o = -4 + -1. Sort -2/7, 7, o.
o, -2/7, 7
Let z be (-4)/(-6) - (-57)/(-45). Sort 3/2, z, 0.1 in decreasing order.
3/2, 0.1, z
Let a = -0.02 - -3.42. Let g = 7 + -4. Let f = g - a. Put f, 2, -4 in descending order.
2, f, -4
Suppose -5*o = -0*o + 10. Put 2, o, -3, 1 in decreasing order.
2, 1, o, -3
Let m = -48 - -48. Put m, 1, -2 in decreasing order.
1, m, -2
Let d be ((-9)/6 - -2) + 35/(-10). Put d, 0, 1, -0.1 in increasing order.
d, -0.1, 0, 1
Suppose -2*a + 8 = -2*p, 3*a + 0*p - p - 8 = 0. Let i be (6/2)/(3/a). Suppose -2*o - 5*u = -2, -5*u = 3*o - 0 + 2. Sort 4, i, o.
o, i, 4
Let n be (-2 + 24/18)*(-2 - -5). Suppose 4 = -5*p - 1. Let o = -7 + 10. Sort o, n, p in increasing order.
n, p, o
Suppose -5*j = -0*j. Put -6, -2, j in decreasing order.
j, -2, -6
Suppose 2*s = -3 + 13. Suppose 0 = -2*f - 2*f - 4*v - 20, 0 = -4*f + 4*v + 12. Sort -0.3, s, f in descending order.
s, -0.3, f
Let w be -9 + 1/(-2)*-8. Sort -0.4, w, -2/7, 5 in decreasing order.
5, -2/7, -0.4, w
Let d = 9 + -9.12. Let g = d + 3.12. Sort g, 2/17, 0.5 in decreasing order.
g, 0.5, 2/17
Let o(v) = v**3 + 4*v**2 - 6*v - 2. Let a be o(-5). Sort a, -19, 4 in decreasing order.
4, a, -19
Let u = -109 + 117. Suppose 6*p = 2*p + 4. Sort p, -2/5, u.
-2/5, p, u
Suppose -4*h + 6 = -3*r, 5*h = -r + 1 - 3. Let z = -3 - h. Put 0, z, -4 in decreasing order.
0, z, -4
Let v(o) = 3*o**2 - o. Let c be v(-1). Let t be (2/((-2)/(-3)))/(-1). Sort -2, t, c in ascending order.
t, -2, c
Let c = 23 + -22. Let t = 74 - 293/4. Sort c, t, -2/3 in decreasing order.
c, t, -2/3
Suppose 2*o = 3*r + 6*o - 4, 16 = 5*r + 2*o. Put 