Let t = 171 + -168. Let i be t/6 - (-23)/2. Solve 2*k - 1 = z + i, -20 = 4*z for k.

4

Let a(t) = -4*t - 20. Let r be (2/(-5))/(11495). Let i = -23 - r. Let s be a(i). Solve -4*w - 19 = -g, s*w + 5*w = 5*g - 20 for g.

-1

Let y(b) = -b**2 - 12*b - 15. Let n = 26 + -25. Suppose -4*i = 3*w - n + 27, 1 = i. Let g be y(w). Solve g = 2*l + 3*m - 0*m, -m + 13 = -5*l for l.

-2

Let d = -1773 + 1778. Solve 6 = l + l - 2*h, -h = -d*l - 5 for l.

-2

Let u(s) be the second derivative of s520 - 2*s43 - 5*s33 + 6*s2 - s + 4. Let w be u(9). Solve 5*v - w*v - 3*p = 4, 0 = -5*v + 2*p + 10 for v.

2

Suppose 2*f = 2*k - 2, -2*k = 2*f - 2 - 0. Let l be 1 + -4 + (1 - f)*1. Let o(h) = -5*h - 4. Let z be o(l). Solve -i - 1 = g, -2*g - z - 11 = -3*i for g.

-4

Suppose -r = -3*h - 5, -4*r + 3*h + 14 - 3 = 0. Solve n = s + 2, -7*s + r*s = -4*n + 7 for s.

1

Suppose 31*r - 13*r - 54 = 0. Solve -r*b - 7 = -6*u + 8*u, 0 = -u + 1 for b.

-3

Suppose 6*r = 5*r - 3*i + 15, 0 = 5*r - i - 11. Let h be (-5)/3 + r + 83. Solve -5*t - 5*k + 27 = -k, 4*t = h*k for t.

3

Suppose q - 5 = -8. Let z© = -22*c - 45. Let t be z(q). Solve -5*p = u - t, -4*u - 3 = 5*p - 12 for u.

-4