Let v© be the first derivative of c**2⁄2 + 3*c - 3. Let j be v(-3). Solve j*t = 2*t + 2 for t.

-1

Suppose 6*n - 7*n + 3 = 0. Suppose i - 15 = -5*y, 5*y + n*i = i + 15. Solve 3*l + 0 = -y for l.

-1

Let t(s) = s**2 + 8*s - 9. Let f be t(-9). Suppose f = -0*a - 2*a + 12. Suppose 3*i = -2*z - 6, 2*z = z - 5*i - 10. Solve z = 2*r + r - a for r.

2

Suppose -3*l + 4 = -5. Suppose l*c - 5*c + 8 = 0. Solve 5*r = c*r + 1 for r.

1

Suppose 5*d - 19 = 1. Suppose 0 = dk + 19 + 5. Let f be (1 + 2)(-8)/k. Solve 4*v = 2*v + f for v.

2

Let v(y) = y**2 + 10*y + 6. Let f be v(-10). Let l = 10 + f. Solve -6 + l = 2*p for p.

5

Let x(z) = -z + 6. Let s be x(6). Let j be -10*((-30)/(-4))/(-3). Suppose -2*w + j = 3*w. Solve 0 = -m - s*m + w for m.

5

Suppose 2*h + 12 = 6*h. Solve 0 = 2*j - h - 1 for j.

2

Let c be (21/(-6) + 1)*-2. Suppose -2 = 3*p - c. Solve -3*g + p = -4*g for g.

-1

Suppose -14*p = -12*p - 8. Solve -2*t = -4*t + p for t.

2