Let c be (25)/(210). Let l = 14356 + -14354. Solve l*r + 2*b = -2 + 10, -c*b = -2*r - 4 for r.

1

Suppose 3*v - 1 - 2 = 0. Suppose -2 = -z + v. Suppose -599*d = -589*d. Solve -5*s - 4*t + 7 = d, t = -z*s + 6 + 1 for s.

3

Let g = -89 + 124. Suppose -2*k + g = -t, -4*k - 5*t + 144 = 39. Suppose -6*q + 195 = -q - 5*s, -q + 35 = -5*s. Solve 5*h + 0*r = 4*r - q, 4*r - k = 0 for h.

-4

Let h be -1 - (1 + -4 + -3). Suppose -9*z = -126 - 27. Suppose 0 = 6*y - z - 7. Solve -3*u = 2*w - 1 - 14, y*w + 25 = h*u for u.

5

Let g = -192 - -195. Suppose -g*v = 42 - 57. Solve 0 = -4*p + c + 19, 0 = -5*p - c - 4*c + v for p.

4

Let g = 197 - 191. Suppose 4*i - 22 = -2*n, -5*n + 7*i = g*i - 11. Solve 0*d + 3*y = d + n, 5*d = -y + 17 for d.

3

Suppose -83 = -10*a + 4 - 7. Solve -4*w = -55*q + 54*q - 9, 2*w - 4*q = a for w.

2

Let x(y) = -y**2 + 20*y - 18. Let p be x(8). Let n be 1/(p/18 + -4). Solve 5 = -4*d - 5*r, 6*d - r + 18 = n*d for d.

-5

Suppose 9*o - 31 = 5. Let i be 2/(-13) + 52426. Let y = -15 + i. Solve l = -o*t + 14, t + 16 = y*t for l.

-2

Suppose 0 = -5*h + 122 + 23. Let z = 34 - h. Solve n + 1 = 2*n + 3*f, -12 = z*n - 2*f for n.

-2