Let v(y) = y3 + 5*y2 + 4*y + 5. Let z be v(-4). Solve -z*h - 1 = -6 for h.
1
Suppose 30 = c - 2*d, 0 = 6*c - 2*c - 5*d - 108. Solve -5*i + c + 3 = 0 for i.
5
Let y = 40 - 39. Let s = -4 + 11. Solve y = 4*a - s for a.
2
Let v(z) = z3 - 3*z2 + 2*z - 3. Let r(b) = -b - 1. Let h be r(-4). Let f be v(h). Suppose 12 = f*s + 3*w, -4*s = 2*w - 0*w - 8. Solve -2*n - 8 = -s*n for n.
-4
Suppose -5*c + 52 = 4*j, j - 4 = 3*j - 5*c. Solve 0*n = -2*n + j for n.
4
Let j = 4 - 2. Solve -t - j = -1 for t.
-1
Suppose 3*v = 2*v. Suppose 0 = -3*j - 6, -5*h + 4*j + 9 - 1 = v. Suppose 15 = 5*q - 10. Solve h = -3*p + 4*p + q for p.
-5
Suppose 16 = 4*t + 4*l, 1 = -2*t + 4*l - 3. Suppose 16 = -t*c + 6*c, 4*c - 16 = -2*a. Solve 0*n + 4*n - 4 = a for n.
1
Let s(o) = 2o + 1. Let w be s(3). Let j be (-2)/2(-7)/w. Solve -j - 14 = 5*f for f.
-3
Let f be (-16)/(1 + (-4)/2). Solve -3*t - f = t for t.
-4