Let z(q) = q3 - q + 7. Let j be z(0). Let p(t) = -t2 + 10*t - 6. Let h be p(j). Let f = h - 7. Solve 5*k = -f - 7 for k.
-3
Let f(g) = 3*g**2 + g + 1. Let d be f(-1). Suppose 0 = -d*y + 5*y - 8. Let x = -4 + y. Solve 2*k + 4 + 6 = x for k.
-5
Let d = -6 + 5. Let v be d + 5 + -3 - -3. Solve 0*g - v = -g for g.
4
Let x = -22 + 29. Solve x*q = 3*q + 4 for q.
1
Let d = -8 - -41. Suppose -3*a - m = d, a + 6*m - 3 = m. Let l be (-172)/a - (-4)/6. Solve 3*g + 2*g + l = 0 for g.
-3
Let n = 5 - 5. Suppose -4*p + 2*p = n. Suppose -5*l + l - 30 = -5*r, 4*r + 5*l + 17 = p. Solve -c + r*c = -4 for c.
-4
Let z = -5 - -5. Let y be z/(4⁄6*3). Solve -r = -1 - y for r.
1
Let h(g) be the second derivative of g3⁄2 + 3*g2⁄2 + 3*g. Let l be h(5). Solve l = -4*m + 6 for m.
-3
Let p(u) = -2*u**2 - 5*u + 4. Let z be p(-3). Solve 5*d - z - 14 = 0 for d.
3
Let m be (9 - 1) + 2 + -3. Suppose 3*b = -2 - m. Let d be 1 + -2 - b/1. Solve d*y - 10 = -2 for y.
4