Let m(j) = j**2 + 7*j + 3. Let r be m(-8). Let y = -6 + r. Solve -y*x + 1 = -4*x for x.
1
Suppose -5*t + 20 = -3*t. Solve 2*d = t - 4 for d.
3
Suppose 34 = 3*a - a - 5*q, 4*q + 16 = 0. Let i(l) = -l3 + 7*l2 - l + 8. Let m be i(a). Solve -m = 4*v - 13 for v.
3
Suppose 2*c = -2*c. Solve c = -4*a - 6 + 10 for a.
1
Suppose -m + 3*m = 4. Suppose -j - j = -m. Solve j = -5*k - 14 for k.
-3
Let t = 14 + 9. Suppose t = 2*c - 17. Solve c = 4*q - 0*q for q.
5
Let x(q) = -q3 + 2*q2 + q. Let p be x(-1). Let c(w) = -2*w3 - 10*w2 + 13*w + 15. Let f be c(-6). Solve -p*i = i - f for i.
3
Let p = -2 + 3. Suppose 0*n = -3*n + 30. Suppose 0 = 3*m - 2 - n. Solve -p - 7 = m*r for r.
-2
Let y = -4 - -5. Let v be (-2 - -2) + y - -7. Solve 3*u - u = -v for u.
-4
Let w(x) = -2*x + 17. Let o be w(8). Solve -2*j + o = 5 for j.
-2