few_shots: 
Example:
Problem/activity:
Find the general solution for:
$${\mathrm{cos}\left({\pi\over2}+x\right)=\mathrm{tan}{\pi\over4}}$$


Description: 
Prove the addition and subtraction formulas for sine, cosine, and tangent and use them to solve problems.

Answer: 
Yes. An initial step when solving for x in this problem requires the use of the addition formula for cosine on the left side of the equation.

Now, assess whether the following problem or activity aligns with the provided description.

shot_info: fl_problem_001894_pos_0

HS_0
standard_description: Prove theorems about lines and angles. Theorems include: vertical angles are congruent; when a transversal crosses parallel lines, alternate interior angles are congruent and corresponding angles are congruent; points on a perpendicular bisector of a line segment are exactly those equidistant from the segment’s endpoints.
problem_activity: Task
Consider a circle with center $O$ and let $P\,$ be a point on the circle. Suppose $L$ is a tangent line to the circle at $P$,  that is $L$  meets the circle only at $P$.
[IMG]
Show that $\overline{OP}\,$ is perpendicular to $L$.


aligns: yes