Let l be (16 + -15)/(224). Let v be ((-4)/l)/((-37)/12 - -3). Solve 4*y - 4*r - 24 = -0*y, -v*r = 20 for y.

1

Let d = 52 - 46. Suppose d*y - 3*t - 9 = y, 2*t = 5*y - 11. Solve -2*c + 7 = -y*p, 2*p + 3 + 4 = -c for c.

-1

Let y = 734 - 732. Solve 4*w - 2*c - 4 = 0, 5*w - 7*c = -y*c - 5 for w.

3

Suppose 0*d = 2*k - 4*d - 16, -2*d = 5*k - 16. Let n = -26 - -31. Let o be ((-3)/(-4))/(312). Solve r + k = -n*z + 1, -2*z = -r - o for z.

0

Let t = 31 - 176. Let b = -143 - t. Solve 0 = 3*f + 2*r - 7, r - 13 = -b*f - 2*r for f.

-1

Suppose 36*m + 27 = 46*m - 3. Solve 21 = w + 5*f, -m*w - f + 5*f = 32 for w.

-4

Suppose -18 = 7*b - 28 - 32. Solve 2*q = -5*r - b, -2*r + 6 = -3*q - 3 for r.

0

Let a = -582 - -586. Solve 0 = -4*m + d - 7 - 5, -5*d + 12 = -a*m for m.

-3

Let d = -4 - -4. Suppose 3*m + 2*i + 2*i - 34 = d, 20 = 5*i. Solve v = 3*v + u + m, 12 = -3*u for v.

-1

Let l(d) = -d2 + 21*d - 41. Let g be l(18). Let w(j) = j3 - g + 2*j + 0 - 5*j**2 + 3 - 6*j. Let o be w(6). Solve 0 = 3*t + u + 3 + 5, 4*t - 5*u = o for t.

-2