Let s(m) = 2*m + 2*m**2 + 15 - 15. Let y be s(-3). Solve 0 = -5*q + y - 2 for q.
2
Suppose 5*d - i + 0*i - 3 = 0, 4*d + i = -3. Let v be d - 1 - (-4 - 0). Suppose 0 = -2*x + 5*x - 6. Solve v*u + x = -4 for u.
-2
Let t(m) be the first derivative of m**2⁄2 - 1. Let h be t(0). Solve 4*p - 16 - 4 = h for p.
5
Suppose 0*h - 2*h = -24. Solve 4*s + h = -4 for s.
-4
Suppose i = -f - 3, 6*i = -2*f + i - 9. Let k be 1⁄2f-3. Solve -3 = -k*o + 2*o for o.
3
Suppose -2*r + 2*w = -3*r - 11, 3*r - 2*w + 1 = 0. Suppose 0 = -3*a + 3*d + d - 3, 3*a - 5*d = 0. Let y be r1(3 + a). Solve -x + y*x + 20 = 0 for x.
-4
Let u be (-3 + 2)1-2. Suppose 0 = u*j - j - 3. Solve 5*h = j - 13 for h.
-2
Let j = 1 - 4. Let x be 34⁄6 + 2/j. Solve -x*d - 3 = 2 for d.
-1
Suppose -10 = 2*m + f - 5*f, 2*m + 5*f = 26. Solve -n = -4*n + m for n.
1
Let r(a) = a**2 - 8*a - 3. Let b be r(9). Solve -b*d = -3*d - 6 for d.
2