Your contrapositive should look like
For all integers a and b, if \(\gcd(a,b) = 13\) then \(3a-5b \not = 27\).