Let f(i) = i + 8. Let r(o) = -o3 + 7*o2 + 6*o + 10. Let z be r(8). Let q be f(z). Suppose -v = q*v. Solve v = -a - 0 - 3 for a.
-3
Suppose 0 = -2*c - 4*u - 0*u + 10, -11 = -3*c - 2*u. Solve 3 + 3 = c*n for n.
2
Suppose -6*z + z = 50. Let p = z + 10. Solve 0 = 5*d - p*d - 20 for d.
4
Let m(a) = 8*a - 2. Let h be m(2). Let k be h/6 - 4/(-6). Solve 1 = c - k for c.
4
Let w be 16⁄12*3⁄2. Let n(z) = 3*z - 1. Let q be n(w). Suppose 4*c = -5*u + c - 9, 15 = -q*u - 5*c. Solve u = -t + 5*t - 12 for t.
3
Suppose -95 = -4*i - 79. Solve 0 = -s - s - i for s.
-2
Let r be ((-13)/(-39))/(1⁄21). Suppose r*o - 8 = 3*o. Solve -2*p + 4*p = o for p.
1
Let u be 4/(-14) + 465⁄35. Suppose 5*i - 3*r = 5, -6*i + 4*i = r - u. Solve -i*t = t + 10 for t.
-2
Let r(d) = -d3 - 2*d2 - 2*d + 1. Let b be r(-2). Suppose 0 = 12*u - 24 - 0. Solve -b*t = -u + 27 for t.
-5
Let o(p) = p - 7. Let r be (3⁄9)/(2⁄66). Let v be o®. Solve -v*j = -6 - 2 for j.
2