Let o = -27 + 31. Let f = 7 + -4. Suppose -4*z + 4*v + 12 = 0, -f*z + z + o*v + 10 = 0. Solve z + 2 = t for t.
3
Suppose 2*u + 3*x + 0*x = 4, 4*u = x - 6. Let d be u + 7 + (-3 - -2). Solve d = w - 0*w for w.
5
Let n = -8 + 14. Suppose 2*g = 5*g - n. Solve g*w + w + 9 = 0 for w.
-3
Suppose -2*i - 2*h - 3*h - 6 = 0, 5*i = -h + 31. Let l = 9 - i. Solve -l = -5*u - 12 for u.
-2
Let z = 35 - 33. Solve -z*k - 3*k = 15 for k.
-3
Suppose 12*b + 1 = 25. Solve -16 = -b*h - 6 for h.
5
Let a be (-2)/3 + 2⁄3. Suppose -3*i + a*i = 0. Solve i*h + 3 = -3*h for h.
-1
Suppose 10*d = 11*d. Solve 5*o - 10 = -d*o for o.
2
Let m(t) = 2*t**2 + 10*t + 8. Let h be m(-6). Solve u = -4*u + h for u.
4
Let b be (-3)/12 + 99⁄12. Solve 0 = u - 3*u - b for u.
-4