Suppose 5 = 5*n - 25. Let q(p) = 2*p - 6. Let u be q(n). Solve -3*j + u = -6 for j.
4
Let o(t) = t + 24. Let k be o(-22). Solve z + 1 - k = 0 for z.
1
Let j(d) = -d - 2. Suppose 5*f - 5*p + 25 = 0, 3*p + 2*p = -3*f - 39. Let y be j(f). Let z = y + -3. Solve 4 = z*v - 5*v for v.
-2
Let b(o) = -3*o - 7. Let f be b(-5). Suppose -3*h - 5*m = f, 0 = 3*h + 4*m - m. Solve -20 = -h*y - y for y.
4
Let x = 83 + -80. Suppose 0*a = a + 4. Let p = 4 + a. Solve x*i + 0*i - 12 = p for i.
4
Suppose -2*a = 3*g + 6, a = -5*g - a - 6. Solve g = z - 4 for z.
4
Let z(i) = i - 3. Let n be z(4). Solve 0 = 4*r - 5*r - n for r.
-1
Let m(z) = -9 + 7 + 5 + 11 + z. Let p be m(-9). Solve 2 = p*b - 3*b for b.
1
Let t(f) = -f + 7. Let g be t(-3). Solve q + g = 6*q for q.
2
Let a be (-22)/4 + 3⁄6. Let t(x) be the second derivative of x4⁄6 + x3 + 5*x**2⁄2 - x. Let w be t(a). Solve 0 = 5*f - 5 + w for f.
-4