Let z(u) = -6*u + 4. Let r(q) = -7*q + 4. Let f(a) = -a**2 - 5*a. Let m be f(-4). Let j(t) = m*r(t) - 5*z(t). Let x be j(3). Solve x*h + 6 = -0*h for h.

Let b(q) = -4*q - 3. Let c be b(-2). Suppose -4 = -4*w - 4*j, 2*w + w + 5*j + c = 0. Suppose -w*p = -3*p - 24. Solve 3*d + 0*d - p = 0 for d.

4

Let c = -11 + 12. Suppose c = i - 4. Solve -i*l + 5 = -0*l for l.

1

Suppose 3*g + 5*p - 40 = 0, -2*p - 16 = -2*g - 0*p. Let d = 5 - 5. Solve d*j = -5*j - g for j.

-2

Let w(b) = 8*b**2 + 1. Let t be w(1). Suppose 2 = -2*r - 4*k, -15 = -5*r - t*k + 4*k. Solve 0 = -2*x + r*x - 5 for x.

1

Let o(n) = -3*n - 1. Let u be o(-1). Let m(w) = w3 - 6*w2 - 2. Let z be m(6). Let t be 3 - z/(-4)*u. Solve 0 = -t*h - 2*h + 12 for h.

3

Suppose 0 = -0*t + t + 4, 0 = -4*i - 4*t - 4. Let c be (i/(-5))/((-6)/60). Solve c = 3*q - 6 for q.

4

Let r(g) = g**2 - 2*g - 3. Let q be r(3). Let c be (2 - ¹⁄₁)*q. Solve c = 3*t - 5*t - 2 for t.

-1

Suppose -7 = -6*s + 5. Suppose -2*x + 2*c = 4*c + 4, 0 = 2*x + c. Solve x = s*r - r for r.

2

Suppose -144 - 148 = -4*d. Suppose -d = -5*u + 52. Let t = u + -18. Solve 0 = 5*j - t + 2 for j.

1

Let l be ((-36)/21)/((-3)/21). Suppose -3*y - b = 2*b + 9, -2*b = -4*y + l. Suppose c = 4*c - 6. Solve c*j + y = j for j.

-1