Let d(x) = x**2 + 2. Let v = 10 + -10. Let j be d(v). Solve -j*n - n = 0 for n.
0
Suppose -4*v = 2*q - 6 - 2, v = -2*q + 5. Suppose 0 = -2*h - 3*u + q, -2*u - 13 = -3*h + 16. Solve h = -2*g - 1 for g.
Let h(n) = n**2 - 5*n - 4. Let f be h(6). Suppose -2 = -2*u + f. Suppose u*x = 4*x. Solve x = -4*d - 0*d for d.
0
Let o = -7 + 16. Solve o + 6 = -5*v for v.
-3
Let s(l) be the first derivative of -l**2⁄2 - 2*l - 2. Let v be s(-5). Solve 0 = a - 0 + v for a.
-3
Suppose g + 4*g = 0. Suppose 0 = -341*j + 336*j + 10. Solve -a - j*a = g for a.
0
Let x be ((-2 + -1)*1)/(-1). Let h be -4 - -3 - (-48)/x. Solve -2*c = c - h for c.
5
Let n be (-2)/(-4)*2 - (4 - 4). Solve 2*o = -1 - n for o.
-1
Let u = 8 + -5. Suppose 2*h = -u*h. Solve 5*i + 4 + 1 = h for i.
-1
Let t(i) = -i + 4. Let w be t(3). Suppose 0 = 2x + 14 + 34. Let q be -8((-9)/x)/(-3). Solve -q = -o + w for o.
2