Let y(v) = -v + 1. Let q(d) = -2*d + 2. Let m® = -q® + 3*y®. Let h be m(-1). Solve -3*j + 4*j = h for j.
2
Let d(t) = t**2 - 5*t - 6. Let b be d(6). Suppose 50 + 15 = 5*g. Let u = g + -6. Solve b = -2*l + u*l + 25 for l.
-5
Let h(s) = -s3 + 11*s2 - 11*s + 12. Let u be h(10). Suppose u*y + 4*l = 16 + 6, 3*y - 2*l - 1 = 0. Solve -y*d + 20 = d for d.
5
Let m(v) = -2*v**2 - 5*v + 3. Let s be m(-3). Solve l + s = -1 for l.
-1
Suppose -2*z = -4 - 2. Solve z*k = 6 + 6 for k.
4
Suppose 90*a - 92*a = -8. Solve a*r = -0*r - 8 for r.
-2
Let p(k) = 2*k + 2. Let d be p(0). Solve c - d = -c for c.
1
Suppose 3*z - 1 = -22. Let t = -5 - z. Solve 0 = -2*d + t for d.
1
Suppose -c = 2, 5*c + 4 = -2*q - 0. Suppose q*i - 45 = -0*i. Solve 7*w + i = 4*w for w.
-5
Let g = -5 + 3. Let m = 2 - g. Solve -m = -2*p - 6 for p.
-1