Let c(g) be the first derivative of g**2⁄2 - 2. Let n = 3 + 2. Let u be c(n). Solve 0*m = m + u for m.
-5
Suppose 27*k - 16 = 23*k. Let q(z) = 2*z - 4. Let x be q(3). Suppose 0 = t + t - 4. Solve -t = k*a + x for a.
-1
Let x(f) = f - 2. Let m be x(8). Let n be 6⁄15*(12 - 2). Suppose 0*p = 4*p + 5*v - 3, 5*v = n*p - 13. Solve -p*s + m*s - 12 = 0 for s.
3
Let z = -7 - -7. Let j = z - -5. Solve -j*d = -d - 8 for d.
2
Let u(l) = 5*l3 - 4*l3 - 4*l3 - 10*l + 1 + 4*l3 + 8*l**2. Let m = 21 + -30. Let o be u(m). Solve 4*y = 2 - o for y.
-2
Let p = 16 - 14. Suppose -p = m + 1, 0 = -2*k + 5*m + 19. Solve u - k*u = -1 for u.
1
Let m = -16 - -16. Solve -k + 0*k = m for k.
0
Suppose 0 = -6*s + 5*s + 3. Suppose a - 16 = -s*a. Solve r = 2 - a for r.
-2
Suppose -2*l + 3*u + 9 = 0, -5*u + 4 = 2*l + l. Suppose -s = l*s - 8. Suppose -6 = -5*b + 4. Solve c - s = b for c.
4
Suppose -6*h + 2*h + 8 = 0. Solve h*k = -k - 6 for k.
-2