If for any positive integer x , d[x] denotes its smallest odd divisor and D[x] denotes its largest odd divisor, is x even?
1. D[x] - d[x] = 0
2. D[3x] = 3
1. D[x] - d[x] = 0
2. D[3x] = 3
BREAKING: Target Test Prep releases Brand New 2026 On Demand GMAT prep course
RedeemTarget Test Prep · GMAT
Learn live with an expert or move at your own pace. Every option includes the complete TTP study system.

with Chris Peckover, 100th-Percentile GMAT Scorer
Self-paced EA prep. Study on your schedule.

with Logan Thompson
Complete access from day one. Study on your schedule.
Compare the format, schedule, and included access before enrolling. Prices and seat counts shown reflect the supplied offer details.
Smallest odd divisor of any positive integer is 1. Thus, d[x] = 1 for any integer x > 0replayyyy wrote:If for any positive integer x , d[x] denotes its smallest odd divisor and D[x] denotes its largest odd divisor, is x even?
1. D[x] - d[x] = 0
2. D[3x] = 3
The official answer is E. If we know that the greatest and the smallest odd divisors are equal, this means that they are = 1, but x does not have to be 1, it could be 2,4,8,16 or any power of 2. I had doubts about why is E because I thought it is A too, when posting the question, but I`ve later realizied the possibility of x=1 or x=2 or x=4 ...Rahul@gurome wrote:Smallest odd divisor of any positive integer is 1. Thus, d[x] = 1 for any integer x > 0replayyyy wrote:If for any positive integer x , d[x] denotes its smallest odd divisor and D[x] denotes its largest odd divisor, is x even?
1. D[x] - d[x] = 0
2. D[3x] = 3
Statement 1: D[x] - d[x] = 0 => D[x] = d[x] = 1 => x = 1
Sufficient.
Statement 2: D[3x] = 3 => Largest odd divisor of 3x is 3
Now, there may be 2 cases:Not sufficient.
- (1) 3x = 3*1 => x = 1 => x odd
(2) 3x = 3*(Any even integer) => x even.
The correct answer is A.
Note: This problem is solved assuming that 1 is a divisor of any number. To avoid ambiguity 1, -1, n and -n are termed as Trivial Divisors of n, whereas other divisors are termed as Non-trivial Divisors of n.
Thanks for pointing out the mistake.replayyyy wrote:...
The official answer is E. If we know that the greatest and the smallest odd divisors are equal, this means that they are = 1, but x does not have to be 1, it could be 2,4,8,16 or any power of 2. I had doubts about why is E because I thought it is A too, when posting the question, but I`ve later realizied the possibility of x=1 or x=2 or x=4 ...
New here Create free account