Let b(k) = -2*k - 1. Let x = -6 - -5. Let n be b(x). Solve -c + n + 1 = 0 for c.

Let z(k) = -k - 2. Let f be z(12). Let t = f - -14. Solve -2 + t = -2*b for b.

1

Suppose -2*l + 12 = -3*i, 2*i + 3 + 4 = l. Let s be i/8 - (-23)/(-4). Let x be 1 + -2 + s/(-1). Solve 7*n - 2*n - x = 0 for n.

1

Let m = 4 - 2. Suppose -3*d - m*d = -25. Suppose -3*w + 2*w = s + d, -2*s = 10. Solve -3 + w = -c for c.

3

Let s = 1 + 2. Let r(l) = -l3 - 4*l2 + l + 4. Let y be r(-4). Suppose y = -c - 5 + 6. Solve -s = x + c for x.

-4

Let x(s) = -s3 - s2 - 4. Let k be x(-2). Solve t + 0*t - 3 = k for t.

3

Let r = 1 - -1. Suppose -2 - 6 = -r*t. Let b = t + 1. Solve 0 = -b*i - 0*i - 20 for i.

-4

Let m(f) = 15*f + 2. Let o be m(-1). Let g = 16 + o. Solve 4*r - g = r for r.

1

Let l = -4 + 7. Suppose -1 = l*d - 7. Solve -d*x = x + 3 for x.

-1

Suppose 4*r = 2 + 6. Solve 6*p - r*p = -20 for p.

-5

Let n be (0 - (-1)/(-2))*6. Let b(u) = u3 - 19*u2 + 20*u - 8. Let t be b(18). Let a be (48/t)/(n/(-21)). Solve -2*v - a = v for v.

-4