Let x(b) = -b3 - 5*b2 - b - 1. Let r be x(-5). Let s be (r + 2)*20⁄3. Suppose 3*v - s = v. Solve -5*c = -0*c + v for c.

-4

Suppose -39 = -4*z + 41. Suppose 5*j = 5*v + 57 - 12, z = 2*j - 4*v. Let m be 2 + j - (3 + -1). Solve -p - m = p for p.

-4

Let b = -5 + 11. Let g = 11 + b. Solve 3 = -4*y - g for y.

-5

Suppose 0 = -7*t + 5*t - 2. Let a(s) = -5*s. Let z be a(t). Suppose -q = z*v - 31 + 11, -4*q + 5*v + 5 = 0. Solve -2 - 23 = q*d for d.

-5

Suppose -4*h - h + 32 = 4*g, -2*h = -g - 5. Suppose -7 - 5 = -h*a, 2*n = -3*a + 49. Solve 4*r + 0 + n = 0 for r.

-5

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

1

Let n(x) = x**2 + 4*x - 6. Let t be n(-6). Let q be 50⁄8 - t/24. Solve 2*w + 2 = q for w.

2

Let g = 13 + 16. Suppose -3*l + 140 = g. Let a = -25 + l. Solve -3*t = -6*t + a for t.

4

Suppose -n = -0*n. Suppose d = -n*a + 3*a + 8, -4*d - 32 = 4*a. Let c be a/14 - (-30)/7. Solve -8 = -c*i + 8*i for i.

-2

Let x(p) = 2*p - 1. Let k be x(3). Suppose -4*y = -7 - k. Suppose 2*n - y*a = n, -n - a = 0. Solve d - 2*d + 4 = n for d.

4