Suppose 4*x - 5 = 2*f + 5, 3*x = -2*f - 17. Let t = 12 + f. Solve -t*h + 2 = -8 for h.
2
Let s(x) be the first derivative of x4⁄2 + x2⁄2 - x + 3. Let p be s(1). Solve p*v + 0*v - 8 = 0 for v.
4
Let h(z) = -z3 - 9*z2 + 7. Let v be h(-7). Let j = -55 - v. Let k = j + -11. Solve -3*w - k = -8*w for w.
5
Let z(p) = p**2 + 5*p + 3. Let h = 12 - 17. Let a be z(h). Solve a*j - 7*j = -20 for j.
5
Suppose 0 = 3*o - 9*h + 4*h - 10, 13 = 2*o + 3h. Let z be (-1 - 1)(-30)/12. Suppose 21 = o*x + 2*c, -x - z = -3*c + 1. Solve n = -x*n for n.
0
Suppose 0*l - 8 = -3*l + j, 0 = 4*l + 4*j - 32. Let d = l + -2. Let a be (-4)/8 + 9/d. Solve 0 = m + a - 7 for m.
3
Let c = 4 - -1. Let j = c + -1. Suppose j*i = -0*i + 12. Solve 0 = -i*u - 0*u + 9 for u.
3
Let v = 18 + -18. Solve -3*h - 1 + 10 = v for h.
3
Let x(m) = m**2 - 4*m + 4. Let d be x(4). Suppose 2*s = -0*s + 4. Suppose s*b - 12 = -2*b. Solve 0 = -b*k - 7 + d for k.
-1
Let y = -1 - -10. Suppose 6*p - y*p = 0. Solve 2*q + p*q = -2 for q.
-1