Let i be 1⁄1*-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 + 2⁄4)*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) + 2⁄3. Suppose -15 = -f*z + 13. Let n be (-5)/(-25) + 24⁄5. 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