Let r(t) = 4*t3 + t2 + t - 2. Let i be r(1). Solve -4 = i*m - 0 for m.
-1
Let i = -17 + 23. Solve 0 = 2*c + 2 - i for c.
2
Let g® = 2*r3 - 2*r2 + 1. Let s be (-4 + 7)*(-2)/(-6). Let m be g(s). Suppose -m = z - 2. Solve t = -z + 4 for t.
3
Let x(o) = o**2 + 7*o - 4. Let w be x(-6). Let c = 14 + w. Suppose 3*a - 16 = -1. Solve -a*r - 1 = c for r.
-1
Let r be (8⁄12)/(2⁄3). Let t be -3 + (-12)/(-2)*r. Solve 3*v = t - 0 for v.
1
Let o(p) = -2*p - 16. Let x be o(-11). Let j = x + -3. Solve 4*h - j*h = 4 for h.
4
Suppose 2*w + w = 0. Suppose -r + 3*n + 2 = 0, -2 = -3*n + n. Let m(s) = 2*s - 5. Let u be m®. Solve u = -w*k + k for k.
5
Let l = -33 - -39. Solve -u = -l*u - 25 for u.
-5
Suppose -3*s = -3*y - 24, -3*s + 4*s + 22 = -5*y. Solve -8 = s*k + 7 for k.
-5
Let m = -5 + 9. Suppose 4*g - v + 81 = 4*v, -20 = -4*v. Let h be (g/(-6))/(2⁄6). Solve -h = m*i - 23 for i.
4