Mathematica Stack Exchange is a question and answer site for users of Mathematica. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top
FullSimplify[ Divisible[p^2 - 1, 24] , Element[p, Primes] && p > 3]

Should evaluate to True, but I get

Divisible[-1 + p^2, 24]

Compare with

FullSimplify[Divisible[(6 k - 1)^2 - 1, 24], k \[Element] Integers] 

Which does evaluate to

share|improve this question
Actually you can show a much simpler case for Divisible: Try this: Assuming[Element[p, Primes] && p > 3, Divisible[p, 2]] I think Divisible works only for actual numbers. From help it says : works for integers or rational number but this is my educated guess ;) – Nasser Aug 21 '13 at 6:17

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.