Let f(t) = t**3 + 8*t**2 - 2*t + 2. Let y be f(-8). Let h = y + -12. Solve 5*a = -h - 9 for a.

Let v = 1 + 3. Let t = -3 + v. Let b = t + -1. Solve -y + 4 = -b for y.

4

Let m(n) = -n3 + n2 + 3. Let x be m(0). Suppose i = x*i - 6. Solve -7*a + i*a = 12 for a.

-3

Let k be ((²⁰⁰⁄₁₂)/(-5))/(1/(-3)). Solve 0*x + k = 5*x for x.

2

Let m(a) = a3 - 5*a2 - 5*a - 5. Let k be m(6). Suppose -w - k + 21 = 0. Solve 3*x = -x + w for x.

5

Let o be (4/(-6))/((-2)/21). Suppose -156 + 51 = -7*i. Suppose 2*q + 5*u + 4 = -8, 0 = -4*q - 2*u + 8. Solve q*g + i = o*g for g.

5

Let i = 11 + -8. Suppose -i*q - 16 = -5*q. Solve 0 = 5*x - q - 7 for x.

3

Suppose -3*f = f. Suppose f = 4*b - 3*s - 23, 2*b - 5*s = -2*b + 17. Solve -2*t = -0*t - b for t.

4

Let u = 5 + -6. Let q be (u/(-2)*0)/(-1). Solve q*m = -3*m + 3 for m.

1

Let a(t) = -17*t - 2. Let p be a(-2). Suppose -p = -5*d + 3*d. Solve 4*f - d = -0*f for f.

4

Suppose 2*s = -19 + 23. Solve -16 = -2*i - s*i for i.

4