Let h = 12 - 6. Suppose -3*c - 22 = -t - 3*t, c = t - h. Suppose 0 = t*i - 5*z - 40, 0 = -0*i + 3*i - 4*z - 31. Solve -i*m = -m - 4 for m.

1

Let s = 9 + -5. Suppose 4*h + s = 5*h. Solve 0 = h*m - 3*m for m.

0

Let r(h) = h3 - 7*h2 - 10h + 7. Let i be r(8). Let k be (3/i)/(16). Let y be 2(k - -3) - 2. Solve y*b = 2*b - 4 for b.

2

Suppose 3*x = m - 2*m - 12, 0 = -5*m - 5*x - 10. Solve 4 = -t + m for t.

-1

Suppose -6*d + 3*d + x = -3, -x - 3 = 5*d. Suppose -4*c - f + 29 = 0, -3*f - 11 = -d*c - 2*c. Suppose 6*v = c*v. Solve v - 1 = z for z.

-1

Suppose -2*k + k = 0. Let u = 4 - 2. Solve k = u*n + 9 - 3 for n.

-3

Let n = -13 - -15. Solve n*p = p for p.

0

Let c be (-10)/(-5*(2420)/3). Solve 0*o + 15 = c*o for o.

3

Let f be 18/(-4)*2/(-3). Let o be (-8)/(-4)*f/(-2). Let m be 0/((-2)/(o + 2)). Solve m = -4*i - 9 - 7 for i.

-4

Let j© = c. Let k be j(8). Solve k = 3*u + u for u.

2