Let c(s) = -s**2 + 6*s + 7. Let t be c(7). Solve t = -4*h + h - 9 for h.
-3
Let k(b) be the first derivative of b**2⁄2 - 3*b + 5. Let t be k(4). Solve -d + 6 - t = 0 for d.
5
Let l© = -4*c. Let j be l(-1). Suppose -j*b = b. Suppose 0 = -5*m + 2*m + 3. Solve b = -v - 0 - m for v.
-1
Let s(v) = -4v. Let z be 0(-1)/(-3) - -4. Let q(o) = 3*o - 1. Let c(h) = z*s(h) + 5*q(h). Let t be c(-7). Solve 0 = t*y - 3 + 5 for y.
-1
Suppose -19 = -5*x - 84. Let l = -1 - x. Let c be 4/(-14) + 30⁄7. Solve c*t - l = 4 for t.
4
Let l(q) = -q**2 - 14*q - 20. Let p be l(-12). Suppose 2*t + t = 0. Solve p = r - t*r for r.
4
Let m = -14 - -20. Let z = -2 - -3. Let u be (4 - z)*(-2)/(-6). Solve -u + m = v for v.
5
Suppose 0 = -z - z + 5*t + 31, 4*t + 14 = -2*z. Let a be (-2)/3*z + 4. Solve -w - 12 = a*w for w.
-4
Let k = -157 - -157. Solve k*o = 3*o - 15 for o.
5
Suppose -s + 3*l = -33, l - 58 = -2*s - l. Let z be (s/4)/(12/(-16)). Let p be 4/z + (-8)/(-20). Solve -h - 3*h - 4 = p for h.
-1