Let i be 11*-2 - -3. Suppose -i = -t + 2. Let z = 1 - 1. Solve z*u = -t*u + 12 for u.

4

Suppose 0 = -r - 198 + 200. Solve 0 = 2*a + r*a + 4 for a.

-1

Let a be (0 + 24)*0. Let n(u) = -u**2 + 5*u - 3. Let f be n(4). Suppose -2 = -q + f. Solve -q*v = -a*v for v.

0

Let f be (-60)/(-18) + 23. Suppose -15 = -f*z + 13. Let n be (-5)/(-25) + 245. Solve z = n*r + 2 for r.

1

Suppose 16*n = -12 + 12. Solve -5*s - 5 = -n for s.

-1

Suppose 0 = 2*q + q - 3*c, 40 = 3*q + 5*c. Solve -q*n + 15 = -2*n for n.

5

Let k(w) = -w3 - 2*w2 + 2*w. Let v be k(-3). Solve v*q = 7*q + 4 for q.

-1

Let q be -3 + 2 + (4 - 1). Suppose q*w + 25 = -3*w. Let d be (-5)/((-15)/(-6)) - w. Solve 5*u = d + 2 for u.

1

Suppose 6 = 3*d - 18. Solve -4 = 4*i + d for i.

-3

Suppose -y - 8 = -3*y. Solve 0*m + 12 = y*m for m.

3