Let s be (1/(-1))/(7 - 8). Let y(a) = -a**2 - 8*a + 2. Suppose 5*w = 7 - 47. Let o be y(w). Solve -o = -u - s for u.

1

Let a(b) be the first derivative of 2*b3⁄3 + 7*b2⁄2 + 5*b + 4. Let n be a(-4). Solve n = -4*o + o for o.

-3

Let k = 4 + -2. Suppose -8 = -k*j, 2*p - 3*j + 9 + 1 = 0. Let s be (-13)/(-4) - p/4. Solve -s*v = -5*v - 6 for v.

-3

Suppose d - 2 = 1. Suppose 0*u = -4*m + 2*u + 38, -5*u - 4 = d*m. Let b = -4 + m. Solve -b = -4*k + k for k.

1

Let x(v) = -v**2 + v + 12. Suppose -s + 20 = -0*r + 5*r, -s = r - 4. Let l be x(s). Suppose 7*k = k + 24. Solve l - k = 4*w for w.

2

Let q = 4 + 0. Suppose -q*m + 20 = m. Solve 3*n + 1 - m = 0 for n.

1

Suppose -3*t + 18 = 5*j, -8 + 1 = -3*j + 2*t. Suppose -w = -4, -2*a = 3*a + w - 19. Suppose 0 = a*z - j - 3. Solve -25 = 3*n + z*n for n.

-5

Suppose -k + 43 = -5*z, -4*k - 2*z + 194 = -0*z. Suppose 43*u - k*u = 0. Solve 2*l + u = 4 for l.

2

Let h = -23 - -25. Solve g + h = -0*g for g.

-2

Let n be 5 - 1 - 2 - -2*3. Let g = -3 + 2. Let b = g + 1. Solve -4*i + b*i = -n for i.

2