Leetcode problems either have an AC rate lower than 20 percent or are starred by more than 1 thousand users.
∀x (LeetcodeProblems(x) → HaveAnACRateLowerThan(x, percent20) ⊕ StarredByMoreThan(x, num1000))