在 Python 中，我们可以通过比较运算符对不同的数据类型进行比较。让我们逐一分析这些选项：

A: `3x > 5x`
这个表达式在 Python 中是无效的，因为 `3x` 和 `5x` 并不是合法的 Python 语法。如果假设 `x` 是一个变量并且有一个特定的值，那么这个表达式会被解释为 `3*x > 5*x`。无论 `x` 是什么值，只要 `x` 是正的，`3*x` 永远不会大于 `5*x`，所以这个表达式为 `False`。

B: `7 > 7`
这个表达式比较两个相等的整数。由于 7 不大于 7，所以这个表达式为 `False`。

C: `'ace' > 'lmn'`
在 Python 中，字符串比较是基于字母表顺序（字典序）的。比较时，从第一个字符开始比较其 ASCII 值。字符 `'a'` 的 ASCII 值是 97，而字符 `'l'` 的 ASCII 值是 108。因此，`'ace'` 小于 `'lmn'`，所以这个表达式为 `False`。

D: `(4,5) < (5,6)`
在 Python 中，元组的比较是逐元素进行的，首先比较第一个元素，如果不相等则直接返回比较结果，如果相等则比较下一个元素。这里 `(4,5)` 和 `(5,6)` 的第一个元素分别是 4 和 5，因为 4 小于 5，所以 `(4,5) < (5,6)` 为 `True`。

因此，正确答案是 D: `(4,5) < (5,6)`。