Let m(x) = x3 - 17*x2 - 20*x + 38. Let v be m(18). Solve -v*z = 3*z + 15 for z.
-3
Suppose 5 = v + 2. Solve -2*x = -v*x for x.
0
Let i© = c3 - 2*c2 - 4*c - 1. Let t be i(3). Let h = 8 - t. Let y = h + -7. Solve -y*p + 0 = 15 for p.
-3
Let l = 1 + 4. Suppose -4 + 14 = l*w. Suppose 4*j - w = 2*c, 13 = 5*j + 2*c - 3. Solve k = -k - j for k.
-1
Suppose -1 = -4*t - 5*r + 11, 2*t - 6 = -5*r. Solve -t*i - 15 = -6*i for i.
5
Let b = -13 - -13. Suppose 4*g + 3 + 12 = r, 3*r - g = 34. Suppose -5*p + r = 1. Solve b = -u - p - 1 for u.
-3
Let b be -1*(1 - 0) - -1. Let z(w) = w**2 + w + 5. Let t be z(b). Suppose -5*j + j + 16 = 0. Solve 0 = -j*x + t*x + 3 for x.
-3
Suppose -f + 5 = 3*t, 0*f - t = 2*f - 10. Suppose -u = -f*w + 4, 3*w - u = 2*u + 12. Solve w*p - 2*p = -8 for p.
4
Let q be 12⁄78 + 63⁄13. Solve -13 - 7 = q*z for z.
-4
Let r be (-4)/(-1 + 5)*0. Solve 2*u + 2*u = r for u.
0