Let f(h) = 4 + 2*h2 + 4*h + h2 - 1. Suppose 16 = -4*w, -5*w - 14 = 3*c - 3*w. Let r be f©. Solve -5*k - r - 13 = 0 for k.
-4
Let t = -2 - 0. Let l be 3/t - (-52)/8. Suppose -5*a + 22 = 2*n - n, -2*n = l*a - 24. Solve -2 = -n*j - 0 for j.
1
Suppose z + 11 = -15. Let m = -8 - z. Let r = m - -2. Solve 0 = -4*q - 0*q + r for q.
5
Let f be 4 - (-17 - (-1 + 0)). Let w(n) = -n - 1. Let k be w(-1). Let h = k + 2. Solve h*x = -2*x - f for x.
-5
Let z(q) = q**2 - 11*q + 13. Let i be z(10). Solve -6 = -0*d + i*d for d.
-2
Suppose s = 5*s - 16. Suppose -3 = -s*z + 9. Solve 0*w - 6 = -z*w for w.
2
Let a = 8 + 8. Solve 5*v + a = 6 for v.
-2
Let s be (3 - -4) + 0 + -3. Solve o - s = -3*o for o.
1
Let j be 2 + (3 - -3)/3. Suppose 3*c - 3*m - 8 = 4, -20 = -5*c + 2*m. Solve j*u = 12 + c for u.
4
Suppose 5*u + d - 11 = 0, -3*d - 6 - 3 = u. Solve z - u*z = -10 for z.
5