 d = 5 + -3. Put o, i, d in descending order.
o, d, i
Let g = -36 - -39. Put 1, -3, g in increasing order.
-3, 1, g
Let c = 13164/13 - 279395/273. Let l = c + 32/3. Put l, -0.5, 2/21 in descending order.
2/21, l, -0.5
Suppose -f - 6 = -4. Let g be f/(-3) - (-3)/(-9). Let z be 4/(-6) + (-69)/(-90). Sort 0, z, g in descending order.
g, z, 0
Let s be ((-4)/3)/(0 + 6). Let u = -9.12 + 9.09. Put u, s, 0 in descending order.
0, u, s
Let z(r) = -3*r**3 - 2*r**2 + 1. Let v be z(1). Let h(a) = -a**3 - 2*a**2 + a - 3. Let d be h(-3). Suppose d*c - 3 = -3*u, -5*u + 12 = -c - 11. Sort c, v, 0.
v, c, 0
Let w = 14 - 12. Sort w, -4, 3 in decreasing order.
3, w, -4
Let i = -0.17 - -0.57. Sort i, 7, 4 in decreasing order.
7, 4, i
Let u be ((-1)/(-12))/((-11)/8 - -2). Sort -1/9, u, 0.
-1/9, 0, u
Let p = -8.3 - -1.3. Let m = p + 6.7. Put 8, 4, m in descending order.
8, 4, m
Suppose -o - 2 = -4*u + 20, 4*o - 5*u + 33 = 0. Put -5, 4, o, 3 in decreasing order.
4, 3, o, -5
Let y be (6/9)/((-10)/45). Sort 5, y, 0 in decreasing order.
5, 0, y
Suppose 5*q - 12 = 2*q. Let k = -4.11 + 0.11. Let i = k - -9. Put 2/7, q, i in decreasing order.
i, q, 2/7
Suppose 4*p = 4*z, -4*z + 8 = 2*p - 10. Suppose -z*f = 2*f. Sort 5, 3, f in ascending order.
f, 3, 5
Let h = -46/3 + 325/21. Put -4, h, 5 in decreasing order.
5, h, -4
Let u = 2.53 - 2.4. Let k = -5.13 + u. Sort k, 2, 4 in increasing order.
k, 2, 4
Let p(b) = -3*b + 31. Let v be p(11). Let o(y) = -y**3 + 7*y**2 - 5*y - 6. Let x be o(6). Put x, 1, v in descending order.
1, x, v
Let r = 17 - 8. Suppose -2*x = -3*i + 20 - r, 0 = 3*i - x - 7. Let k = i - 0. Sort k, 0, -4 in decreasing order.
k, 0, -4
Suppose 8 = -13*c + 9*c. Suppose d = 2*d - 4. Suppose w = -d*w. Sort 2, w, c.
c, w, 2
Let y be -1*12/4 + 4. Sort -3, 0, y in descending order.
y, 0, -3
Suppose 4*d = 4*n + 20, 7 = d - 3*n - 2. Put -4, d, -3 in increasing order.
-4, -3, d
Let b(s) = -3*s. Let m be b(1). Let u be (-1 + -2)*(-1 - 0). Suppose h = -3*h - 20. Sort u, h, m.
h, m, u
Let c be -6*(-2 - 15/(-9)). Let p be (1/c)/((-5)/80). Let u be (-1)/(14/p + 2). Sort -0.1, u, 3 in descending order.
3, -0.1, u
Suppose 0 = -10*p - 3*p + 65. Suppose 5*a = 3*z + 10, -z = a - 3*a + 5. Let n be 18/a - 2/(-5). Put n, p, 2 in descending order.
p, n, 2
Let s be 9/12 - 2/(-8). Let g = 0 - 0.4. Sort 5, s, g.
g, s, 5
Let a = 43/40 + -7/8. Sort a, 2/3, 3/7 in decreasing order.
2/3, 3/7, a
Let h = -32 + 259/8. Let j = -3 - 0. Let n(k) = k**2 - 7*k + 8. Let v be n(6). Put h, v, j in decreasing order.
v, h, j
Let b be (-9)/2*(-12)/(-9). Suppose -3*x - i = -5*i - 13, 5*i + 17 = 3*x. Sort 3, x, b in descending order.
3, x, b
Suppose -5*g = -v + 2, 2*v - 5*g + 1 + 5 = 0. Put 4, 5, v in decreasing order.
5, 4, v
Let z = 0.39 + 1.61. Put z, 4, -5 in decreasing order.
4, z, -5
Let n be ((-2)/(-6))/((-1)/3). Sort 2, 5, n in decreasing order.
5, 2, n
Let n = -10 - -15. Sort 0, n, 12 in descending order.
12, n, 0
Suppose 0 = -y - 3*y + 8. Suppose -z = y*z. Sort 2, -3, z in decreasing order.
2, z, -3
Let w be (2 - 6)*15/4. Let y be (4/5)/(2/w). Let a = 10 + y. Put 5, a, -4 in increasing order.
-4, a, 5
Suppose -9*s - 15 = -12*s. Let t be -1 - 10/(-4)*2. Suppose 4*v - t = 3*v. Sort v, 3, s in increasing order.
3, v, s
Let o(b) = -b**3 + 2*b**2 + 5*b - 1. Let x be o(3). Sort 1, 2, x in descending order.
x, 2, 1
Let q(y) = -y**3 - 3*y**2 + 3*y - 2. Let i be q(-4). Suppose 3*c + i = -8*d + 3*d, -2*d + c + 8 = 0. Sort -2/3, d, 0.4.
-2/3, 0.4, d
Let m = 0.31 + -0.11. Suppose -p = i - 2*p - 6, -2*i - p = 0. Sort -4, m, i in decreasing order.
i, m, -4
Suppose -5*d = 5*g + 25, -2*g = 2*g + 2*d + 12. Suppose -36 = 4*a + 5*s, -5*s + 1 = 2*a + 29. Put a, 0, g in increasing order.
a, g, 0
Let u be (-112)/(-80) - 3/(-5). Sort 5, -4, u in descending order.
5, u, -4
Let t = 16/5 + -47/10. Sort t, 2, -2/11 in descending order.
2, -2/11, t
Let v = -8 + 8. Let s(w) = 5 + v*w**2 - w**2 + 9*w - 14*w. Let c be s(-5). Put c, 1, -2 in descending order.
c, 1, -2
Let n(f) = f - 9. Let l be n(9). Suppose l*t - 3*t = -9. Suppose t*v + 10 = 2*b, b + 4*v + 7 = -10. Sort b, -5, 3.
-5, b, 3
Let t = 10 - 4. Suppose 0*z = 2*z - t. Let w = z - 3. Put w, 5, -5 in increasing order.
-5, w, 5
Suppose 11*y = 17*y - 30. Sort -5, y, 1.
-5, 1, y
Let s(n) = -n**3 - 4*n**2 - 2*n - 6. Let r be s(-4). Let k = r + -1. Sort k, -4, 2 in descending order.
2, k, -4
Let p(j) = 6*j**2 + 3*j + j**3 + 9 + 3*j - 2*j**3. Let a be p(7). Put a, -1, -5 in descending order.
a, -1, -5
Let s(c) = -c - 5. Let w be s(0). Let u(a) = -3*a**3 - 1. Let t be u(-1). Suppose -2 = t*r - 0*r. Sort -4, w, r in increasing order.
w, -4, r
Let s = 1.7 - 1.9. Sort 5, -0.4, s, -0.5 in decreasing order.
5, s, -0.4, -0.5
Suppose -2*f + g = -7, 2*f + 0 - 10 = -2*g. Suppose o - 5 + 3 = 0. Suppose 0 + 3 = -r. Sort f, r, o.
r, o, f
Let g = 0.047 + 4.953. Suppose 0*j - 4 = j. Sort -1, j, g in descending order.
g, -1, j
Suppose -c = -3*a - 17, -c - 4*a - 5 = 13. Let u be 70/20*(-20)/(-14). Sort u, c, 4 in decreasing order.
u, 4, c
Let k(o) = -o**3 + 5*o**2 - 3*o - 5. Let c be k(4). Sort -2, c, 4, -3 in descending order.
4, c, -2, -3
Let d(t) = 2*t**2 + 5*t - 2. Let g be d(-3). Put 6, -5, g in increasing order.
-5, g, 6
Suppose 8*i = 14*i - 420. Sort 1, 3, i in ascending order.
1, 3, i
Let t be (-36)/42*(-2 + 16). Let r be 9/(-2) + 6/t. Sort r, 1, -4 in descending order.
1, -4, r
Let m = -0.17 - -0.07. Let y = 0.13 - 5.13. Let b = y - -4.7. Sort m, -2/11, b.
b, -2/11, m
Let u be -1 - -1 - (-6 - -17). Let g = 7 - u. Suppose -d + 2*d + g = 4*m, d - 17 = -3*m. Sort d, 0, 4 in decreasing order.
4, d, 0
Let v = -6092/15 - -406. Sort v, 2/17, -2 in decreasing order.
2/17, v, -2
Suppose 2*c = -2*v + 16, -5 = -4*v - 1. Let a be 3/(6/c) - 3. Sort 1, 0.1, a in decreasing order.
1, a, 0.1
Let i = -0.442 - -0.142. Sort 3, i, -0.03.
i, -0.03, 3
Suppose 0 = -0*u + 3*u + 2*l - 19, 2*u = -4*l + 26. Suppose 6*x + 2*a + 14 = u*x, -5*a = -x + 1. Suppose -4*k = -0*k - 8. Put k, x, -1 in increasing order.
x, -1, k
Let g = 9 + 14. Suppose 5*v = 5*m + 40, -3*m + g = v - m. Suppose 17 = 3*q + 5*l, v + 4 = 5*q - 3*l. Sort 1, -4, q in descending order.
q, 1, -4
Let i = 51 + -72. Let l be 24/i*1/(-2). Put -5, 1/2, l in descending order.
l, 1/2, -5
Let z be (-3)/(-3 + (-45)/(-12)). Let k be (z - 1/1) + 0. Sort -3, -1, k in descending order.
-1, -3, k
Suppose 2*m + 2*m = 20. Suppose 3*i + 23 = 2*u, -m*u = 2*i - i - 15. Sort u, -5, 5 in ascending order.
-5, u, 5
Suppose -8*l - 5 + 5 = 0. Let b = 2/439 - 1333/3512. Let j = 2.05 + -0.05. Put b, j, l in decreasing order.
j, l, b
Let t(f) be the third derivative of f**4/24 - f**3/3 + f**2. Let u be t(0). Suppose 0 = -5*s + 4*o + 16, 4*s + s + o - 21 = 0. Put 2, s, u in increasing order.
u, 2, s
Suppose -5 = -26*z + 25*z. Put 3, 1, z, -3 in descending order.
z, 3, 1, -3
Let o = -28 - -27. Put o, 4, 2, 1/4 in descending order.
4, 2, 1/4, o
Let y = 18 + -13. Sort -3, y, 0, 16.
-3, 0, y, 16
Let u = 0.06 - -0.04. Let b = 0.01 - 0.31. Put b, -1/4, u in increasing order.
b, -1/4, u
Let n = -11 - -15. Let a = -4.226 + 0.026. Let b = a + n. Put b, 0.5, 2/7 in decreasing order.
0.5, 2/7, b
Let p = 85 - 85. Put 3, 4, p, -5 in descending order.
4, 3, p, -5
Let x = 10 + -6. Suppose -x*p + 11 = -3*q, -3*q = -0*q + 4*p - 29. Let v = 1 + -5. Put q, v, 5 in increasing order.
v, q, 5
Let y(x) = -x - 7. Let a be y(0). Let n(g) be the first derivative of -g**4/4 - 2*g**3 + 4*g**2 + 8*g + 2. Let w be n(a). Sort w, -4, 4 in descending order.
4, w, -4
Let l be (16/(-6) - -1)*3. Put l, -1, -4, -3 in decreasing order.
-1, -3, -4, l
Let b be 28/8*(-20)/(-14). Sort -1, b, -0.4.
-1, -0.4, b
Suppose -17 + 2 = -3*f. Let c = -10 + 10. Put -2, f, c in descending order.
f, c, -2
Let x(s) = -s**2 + 7*s + 6. Let z be x(8). Sort 3, z, -4 in descending order.
3, z, -4
Let s = 21 + -13. Suppose -3*m - j - s = 0, -2*j = -2*m - 5*j - 3. Sort 4, -1, m.
m, -1, 4
Let g = -1.1 - -0.1. Let n = g + 3. Sort n, 1/4, 4 in descending order.
4, n, 1/4
Let z be -1 - 0 - (-13)/9. Sort z, -2/17, 1/10, 1 in increasing order.
-2/17, 1/10, z, 1
Let r be -15*((-5)/(-3) - 2). Let m be 3/((-6)/(-16)) - -1. Let w be (-6)/(-27) + 34/m. Sort r, -2, w.
-2, w, r
Let g(c) = c + 17. Let l be g(-13). Let i = l - 4. Let q be i/(-5) + 