Let m® = r**2 - 12*r - 42. Let s be m(15). Solve 0 = -s*k + 9 - 0 for k.
3
Let w = -137 - -137. Solve w*u = u - 1 for u.
1
Let y = -14 - -23. Let v® = -2*r + 1 - 8 - 9*r2 + r3 + 3*r. Let a be v(y). Solve 3 = -a*d - 1 for d.
-2
Suppose -3*z + a = -4*a + 12, 0 = -2*a - 6. Let u be (-70)/z + 4⁄18. Suppose n + 4*k + 8 = 0, 3*n + 4*k = u*k + 40. Solve i = -i + n for i.
4
Suppose 46*c - 43*c = 21. Solve 2*t - c = -3 for t.
2
Let h® = -r2. Let a(i) = -3*i2 + 4*i - 2. Let j(w) = a(w) - 2*h(w). Let v be j(3). Solve v = -4*l + 13 for l.
3
Let c(o) = -2*o - 6. Let x be c(-4). Solve x*l + 12 = 5*l for l.
4
Suppose 3*n - 5*v - 172 = 0, 0 = 3*n - 5*n - 5*v + 148. Suppose -23 = -2*y - 111. Let f = n + y. Solve r = -3*r + f for r.
5
Let j be (-540)/(-126) - 4⁄14. Solve 0*p + 2*p - j = 0 for p.
2
Let x be (-6)/8*(-3 - 25/(-15)). Solve 2*f - 11 + x = 0 for f.
5