Let j(z) = -2*z2 - 3. Let h(u) = 3*u2 + 4. Let s(l) = 3*h(l) + 4*j(l). Let n be s(0). Solve 4*x - 3 + 11 = n for x.
-2
Let d = -5 - -25. Solve -3*f + d = f for f.
5
Suppose g = -3*k - 9, 0*k = -5*g + k + 3. Suppose r + 3*r - 8 = g. Suppose -x = -4*x + 12. Solve r*m - x + 2 = 0 for m.
1
Let x(l) = -l**2 - 8*l - 7. Let z be x(-6). Suppose -5*g + 11 = 2*f, 4*g - 6 = g - f. Solve -z*b + g = -9 for b.
2
Suppose 29 = y - 4*n, -2*y + 5*n + 2 = -41. Suppose o + 3*o - 4 = 0. Solve -4*f + y = o for f.
2
Let a be 19 + 0 - 1 - 0. Suppose 0 = 9*d - 4*d - 40. Solve -d = -5*f - a for f.
-2
Let v be ((-8)/(-3) - 3)*-63. Let r = v - 8. Solve -7 = -4*i + r for i.
5
Let d = -4 + 10. Let y be ((-2)/d)/(7⁄21). Let l = 2 - y. Solve j = -l*j - 4 for j.
-1
Let k(f) = -2*f3 - 5*f2 - 2*f + 3. Let z = 12 + -15. Let u be k(z). Solve -5*t + 2 = -u for t.
4
Let k(m) = 2*m2 - 7*m + 11. Let b(j) = j2 - 4*j + 6. Let f(t) = 5*b(t) - 2*k(t). Let u be f(6). Suppose 0 = -u*i + 4*i. Solve 4*r + 4 = -i for r.
-1