Suppose 5*i = 1 + 4. Suppose -y = -i, -6*q + 2*q = 2*y - 14. Suppose k = q*k - 2. Solve 0 = -3*t + k + 5 for t.

2

Suppose -4 = -0*i - 2*i. Let r be 32949 + 27. Solve r = -i*a - 1 for a.

-4

Let f = 5 - 3. Let q(j) = -4*j. Let a be q(-2). Suppose -26 = -5*g - 4*l, 5*g - 4*l = f - a. Solve -g - 2 = -o for o.

4

Suppose -5*s + 5*k + 5 + 5 = 0, -3*k = 3*s. Solve 0 = 5*j + 26 - s for j.

-5

Let l be (-2)/(-4) + (-144)/(-32). Suppose -4*x + 2 = -2, 4*x = l*b - 11. Solve 0 = 4*j - 11 + b for j.

2

Let c = 76 + -64. Solve -z + c = 3*z for z.

3

Let n = 163 + -151. Let m(h) = h - 6. Let a be m(6). Solve -4*s + n = -a for s.

3

Let q(d) = 6*d**2 - d - 1. Let o be q(1). Solve 3*u = -u - o for u.

-1

Let v be 9/(2 + 3/(-6)). Suppose -2*i + 0*i - 3*t + v = 0, -2*t + 15 = 5*i. Solve 4*m + i + 13 = 0 for m.

-4

Let r(i) = 6*i + 7. Let j be r(-5). Let c = j + 23. Solve -4*q - 5 - 3 = c for q.

-2