Let d(u) = 1 - 4*u2 + 0 + 5*u3 + 8*u2 + 8*u2. Let k(q) = q3 + q2 - q - 1. Let r(h) = d(h) - 6*k(h). Let o be r(7). Solve -m + 4 = -o*m for m.
4
Suppose -4*i = 4*r - 7*i - 1, 3*r - 2*i - 2 = 0. Suppose 0*k + r*k + 4*t = 12, -2*k + 6 = 3*t. Solve -k*l = -4*l + 3 for l.
3
Suppose 20 = 4*l + 4*g, 4*l = g - 0*g. Let b = l + 5. Solve -o + b = 2 for o.
4
Let a = -10 + 13. Let l = 12 - 10. Solve 0 = q - l*q + a for q.
3
Let u = -10 + 18. Let d = -5 + u. Solve -16 = d*k - 7 for k.
-3
Let t be ((-6)/15)/((-2)/10). Let o be (-1 - -2) + 2 + -3. Suppose -2 = t*m, 2*m + 10 = r - o*m. Solve 0*s - r = -4*s for s.
2
Let u = -6 - -10. Suppose -i = -u*i. Solve i*b - 2 = -b for b.
2
Let l be 46⁄10 + 2⁄5. Let n(p) = p**2 + 2*p - 1. Let w be n(1). Suppose -w*t + 6*t = 0. Solve t = 4*h - 9*h - l for h.
-1
Let z© = 7*c**2 - 1. Let j be z(-1). Let m be j*1⁄2*5. Solve 0 = 5*d - 0*d - m for d.
3
Let c = -40 - -42. Solve c = 4*b - 3*b for b.
2