Let v = 13 - 11. Solve 6 = -v*q - q for q.

-2

Let t be 14 + (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 g33 - 3*g22 - 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 q6120 - q48 + q33 - q22 + 1. Let t(u) be the second derivative of n(u). Let y be t(2). Solve -v = v + y for v.

-2