Let o be 2⁄4 + 7⁄2. Let u = o + -5. Let p be u/(4⁄6)*-2. Solve -p*t + 3 + 3 = 0 for t.
2
Suppose 0 = -4*y + z - 12, 0 = 5*z - 10 - 10. Let u = 0 - y. Solve -3 = -3*s + u*s for s.
3
Let b be -10 - (-3 + 3)/2. Let i(m) = -m**2 - 11*m - 8. Let a be i(b). Solve -a*j = -4*j + 8 for j.
4
Let k = 0 - -2. Suppose -k*d + 0*d = -20. Suppose -4*y + 3*c + 10 = 1, 3*c - 3 = 0. Solve -y*w - 2*w = -d for w.
2
Let f(l) = l + 3. Let a be f(-6). Let x = 8 + a. Solve -x*k + 18 = -2 for k.
4
Let i = 7 + -4. Suppose -i*x + x = -6. Solve 11 = -4*c + x for c.
-2
Let q = -11 - -31. Let u = 0 + q. Solve -3*d = -7*d - u for d.
-5
Let s = 19 + -18. Solve -6 = b - s for b.
-5
Suppose -4*b + 84 = -4*f + 2*f, -2*b + 114 = -3*f. Let t = -24 - f. Solve 0*v + t = 3*v for v.
4
Suppose 5*t + 12 - 102 = 0. Suppose 0 + 16 = 4*g + 2*q, -4*q + t = g. Solve g = 4*b - 10 for b.
3