Let v = 13 - 11. Solve 6 = -v*q - q for q.
-2
Let t be 1⁄4 + (154/(-8))/(-7). Solve -2*r + 1 = t for r.
-1
Suppose -12*r = -15*r + 12. Solve 0 = -r*w - w - 5 for w.
-1
Suppose 2*w - 6*w = -16. Solve -6 = -2*n + w for n.
5
Let i = -6 + 11. Let p(g) be the first derivative of g3⁄3 - 3*g2⁄2 - 6*g - 1. Let y be p(5). Solve -i*j - y = 1 for j.
-1
Suppose -2*h - 4*c = 6 - 52, 3*h = 2*c + 85. Let z = h + -21. Solve g + g = -z for g.
-3
Let u(n) be the first derivative of n**2 - 3*n - 1. Let y be u(3). Let c be y/((-6)/4) - -17. Solve o - c = -2*o for o.
5
Let z(v) = -v**2 + 7*v + 7. Let n be z(6). Suppose n + 2 = 3*f. Let k(t) = t - 4. Let y be k(4). Solve f = -y*o + o for o.
5
Suppose 0*k - 5*j + 5 = 5*k, 4*k = -j + 1. Solve k = 4*f + 3 + 1 for f.
-1
Let n(q) be the first derivative of q6⁄120 - q4⁄8 + q3⁄3 - q2⁄2 + 1. Let t(u) be the second derivative of n(u). Let y be t(2). Solve -v = v + y for v.
-2