Let x(z) = z + 13. Let c be x(0). Suppose -2*a = 3 - c. Solve 0*s + a = s for s.

5

Let b(q) = -q3 - 5*q2 - q - 5. Let n be b(-5). Suppose 2*g - 3*g + 8 = n. Suppose 2 = -3*z + 8. Solve 2*j + z = -g for j.

-5

Suppose -4 - 56 = 4f. Let v be (f/(-20))/(1/(-80)). Let d be (v/9)/2-3. Solve 0 = z - 6*z - d for z.

-2

Suppose 6*x = 10*x - 24. Solve 0 = u + u - x for u.

3

Let r = 27 + -17. Let j(l) = 4*l**2 + 2*l. Let q be j(-1). Suppose -5*h - 2*k = 2*k - r, -q*k = 0. Solve 2*o + h*o - 12 = 0 for o.

3

Suppose 0 = 3*p + 3*z - 9, -3*p + 2*z = -4*p + 3. Suppose -2*j + 5*j = 0. Suppose 2*m - 1 = -f, j = -m + 3*f - 3. Solve 0 = r - m - p for r.

3

Let z be -4 + 3 + (4 - 1). Let g(k) = k**2 - 1. Let a be g(2). Suppose 4*p + 29 = 3*r, -a*r = -8*r - p + 33. Solve -v - z = -r for v.

5

Suppose 150 = 3*q + 3*q. Suppose -5*x + q = -50. Solve -x = -c - 2*c for c.

5

Suppose -5*d = -7 - 3. Solve 3*i = i + d for i.

1

Suppose -k = 3*k - 16. Solve -2*b - k = 2*b for b.

-1