Given an array of positive integers and an integer k, return true if the array can be partitioned into k non-empty subsets each with equal sum.