Claim: Cyclobenzaprine is sold under three brand names, one of which is Flexeril.
Verdict: NOT ENOUGH INFO