Let s(p) = -p**2 + p. Let b be s(1). Let x = 1 + -1. Let q be (-3 - -7) + x/1. Solve q = -2*v - b for v.
-2
Suppose -6 = -d - 4. Solve d*y = y + 5 for y.
5
Let i = 1 + 3. Suppose -i*c = a - 4*a + 3, -5*c = 4*a - 4. Solve -20 = 4*k - c*k for k.
-5
Suppose -4*n + 28 = 4*g, -3*n + 2 = -10. Suppose g*q - 28 = 2*q + 5*v, 3*q = -v + 4. Solve q*r + 13 = 4 for r.
-3
Let o(l) = -16*l. Suppose 0 = -5*a + g - 2, 3*a + 0*g = -g - 6. Let u be o(a). Solve -u + 41 = -5*r for r.
-5
Let t = 5 + -11. Let h = t + 10. Solve -3*l = -h*l + 2 for l.
2
Let n be (-14)/(-6) + (-4)/(-6). Solve -7 = -2*p + n for p.
5
Let g be (-2 + 5⁄2)*-2. Let c be g/(-3) + (-17)/(-3). Suppose -2*d - c = -4*d, -3*z + 3*d = 0. Solve 20 = -z*t - 2*t for t.
-4
Suppose 82 - 10 = 8*s. Solve 5*l + 6 = -s for l.
-3
Let o(u) be the first derivative of -u4⁄4 - 2*u3 + 3*u**2⁄2 - 10*u - 3. Let l be o(-7). Solve 4*a - 2 = l for a.
5