Let d be ((0 - -1)*-25)/(-1). Suppose 0 = 2*s + 3*s - d. Solve 0 = -2*q + 7*q + s for q.
-1
Let y be 6⁄4 + 1/(-2). Solve y = -5*t - 19 for t.
-4
Let p(q) be the first derivative of -q**2⁄2 - 3*q + 4. Let t be p(-6). Solve -3 = t*l + 3 for l.
-2
Suppose -2 = -m, -4*m + 4 = 5*l - 2*m. Suppose j + 1 - 6 = l. Suppose -5 = j*d - 15. Solve d*v = -2*v + 20 for v.
5
Let p(l) = l3 - 11*l2 + 11*l - 12. Let n be p(10). Let f be n/7 + (-4)/(-14). Suppose o = 8*s - 3*s - 41, 2*s + 4*o - 12 = f. Solve -5*c - s = -9*c for c.
2
Let t = -2 - -2. Let b = 0 - t. Solve b = -2*w - w - 6 for w.
-2
Let n be 1/(-1 - (-14)/12). Let g be 15/n - (-1)/(-2). Solve 4 = -0*o - g*o for o.
-2
Let u(w) = w**2 - w. Let d be u(-1). Let y = 6 - d. Suppose -y*z + 5 = -3*m, -2*m + 50 = 5*z + 3*m. Solve z*h = -0*h for h.
0
Let q(v) be the second derivative of -v4⁄12 + 3*v3⁄2 - v**2 - 3*v. Let c be q(6). Suppose 5*i - 3*g = -12, -2*i - c = -g - 3*g. Solve h = -i*h for h.
0
Suppose 3*u + 4*r - 11 = 9, 3*u - 22 = -2*r. Solve 0 = 4*c - u*c - 20 for c.
-5