Let t = 16 + -12. Suppose -t*v - 17 = -5*v. Solve v + 3 = -5*m for m.
-4
Let i(u) be the first derivative of -u**2⁄2 + 5*u - 2. Let s be i(0). Suppose -s*z + 3 = -17. Solve g - 15 = -z*g for g.
3
Let w be 2/(-6) - 3/(-9). Suppose w = -4*u + 6*u - 24. Solve 5*r - r = u for r.
3
Suppose -3*l + 3*u - 15 = 0, 3*u - 12 - 3 = 2*l. Solve l = 4*c + 7 - 3 for c.
-1
Let m be 3 + (-1 - 1)/2. Let h(s) = -s. Let g(o) = -3*o. Let r(q) = -2*g(q) + 10*h(q). Let b be r(-1). Solve -b = -m*v + 2 for v.
3
Let r = 9 + -2. Let o = r + -2. Suppose -3*d = 2*w - 1, 3*d = -4*w + o*w + 13. Solve -d*z + 0*z = 0 for z.
0
Let z be 5/(-30) - (-19)/6. Suppose v = -u + 3, 6*v + z = v + u. Solve v + 2 = -l for l.
-2
Suppose -5 - 6 = -2*v - f, 12 = -v + 3*f. Solve 1 = 2*l - v for l.
2
Let a = 3 - 2. Suppose -j = -4 + a. Suppose -5*q + 14 = g - j*g, 4*g - 8 = q. Solve 5*p + q = -6 for p.
-2
Let o(b) = 2*b + 43. Let f be o(-19). Solve -g = -0*g + f for g.
-5