Let x(m) = -2*m**2 + 5*m + 12. Let y be x(4). Suppose 2*u = -3*u + 25. Solve u*j + y*j - 10 = 0 for j.
2
Suppose b = -6*b + 14. Solve s = b*s for s.
0
Suppose 0*z = 4*z. Suppose 3*n - 6 = -z. Suppose 3*g - 2 = n*g. Solve -g = -k - k for k.
1
Let n(z) be the first derivative of z3⁄3 + 11*z2⁄2 + 3. Let i be n(-11). Suppose i*c = 2*c - 10. Solve -3 = c*l + 17 for l.
-4
Let i = 0 - -8. Let h = 43 + -36. Solve 3*k - h*k - i = 0 for k.
-2
Let c(s) = -s**2 - 8*s - 7. Let t be c(-7). Suppose 2*u - 22 = -4*i, -4 + 7 = u. Solve t = 2*v - i for v.
2
Suppose 0 = -v - 3*j + 19, 4*j = -4*v - 24 + 60. Suppose -l - 5*u + v = -3, l + 4u = 7. Let h be (-8)/2(-18)/8. Solve h + l = -4*c for c.
-4
Let n = 6 + -3. Let f = 2 - n. Let k be 2/(1 - f) - -3. Solve k*l - l + 15 = 0 for l.
-5
Let t(i) = i**2 + 7*i - 4. Let s be t(-8). Solve 10 + 6 = s*f for f.
4
Suppose 0 = 4*l + 8 - 20. Solve 2*d = -l*d - 25 for d.
-5