Suppose 5*d = -25, 3*a - d = 2*a + 9. Let x = 48 - 38. Solve -3*u + x = a for u.

2

Let f = -2 + 3. Let l(s) = -6*s3 - 3*s2 + 0*s2 + 3*s + 7*s3 - 3. Let g be l(3). Solve -5*z + g = f for z.

1

Suppose -7*g = -3*g. Suppose q + 2*a - 2 = 0, -14 = -q - a + 2*a. Suppose 7*s - 2*s = q. Solve -3*i - s - 4 = g for i.

-2

Suppose 4*u - 9 = -4*v + 3*u, -3 = -3*u. Suppose 5*r = v*r. Suppose r*i = -i + 5. Solve 0 = 5*j + 20 + i for j.

-5

Suppose b = 6*b - 15. Solve -15 = 4*n - b for n.

-3

Suppose -12 = -7*k + 9. Let t = 5 - 5. Solve t*n - n = k for n.

-3

Let n(y) be the third derivative of -y6120 - y512 - y424 - y36 - 3*y**2. Let s be n(-5). Suppose s*f - 5 = -f. Solve j + 4 + f = 0 for j.

-5

Let w be -1*(2 + 16/(-4)) + 2. Solve w*c = 2*c + 2 for c.

1

Let g(y) = y**2 - y - 4. Let w be g(-2). Solve -5 = -3*d - w*d for d.

1

Suppose -3*s = -g - 1, 6 = -3*g + 3*s + 15. Suppose 0 = 5*o - g, 5*o + 2 = 2*f - 3. Solve f*m - 7 = 13 for m.

4