First problem - (my original question before the editing)
Prove or disprove the following:
Let $A$, $B$ be differentiable manifolds such that $A \subseteq B$, and $s: A \to B$ a smooth map. Then $s \sim i$ where $i: A \to B$ is the inclusion map. The symbol "$\sim$" denotes "smoothly homotopic".
As Ben A. and jflipp pointed out, the claim is false.
Second problem
What if we add the hypothesis that $A$ and $B$ share the same homotopy type?
Well, it can't work, because the claim simply is false, as pointed out by flip in the comment. If you want to know where the mistake is: the definition of the homotopy doesn't make sense in the second case ($0\leq t\leq 1$), because we neither know how to add elements in $B$, nor do we know what scalar multiplication is.