Let a(r) = 12*r + 1. Let u be a(-1). Let h = u - -13. Solve 0 = -4*o + h*o for o.

Suppose 0 = -4*i + 5 + 11. Solve -i*z - 1 = 7 for z.

-2

Let t be (-398)/(-7) + (-1)/(-7). Suppose -2*p = -5*o + t, 2*o - p - 27 = 4*p. Solve 4*l + 9 = -o for l.

-5

Suppose 0 = -2*p + 4 - 0. Solve -p*s - s - 12 = 0 for s.

-4

Let d = -20 - -25. Solve 16 = -f + d*f for f.

4

Let j = -1 - -1. Suppose -r + j*r = 0. Suppose 0 = 18*y - 14*y. Solve -x + y*x = r for x.

0

Suppose 38*x = 42x - 20. Let h be ((-1 - 14) + 0)-3. Suppose 4*k - 4*g = 3 + 25, 5*k - 3*g - h = 0. Solve -a = -x*a - k for a.

-3

Suppose -4 + 1 = 2*k - y, 5*y - 9 = 4*k. Let s(u) = 11*u + 2. Let n(z) = 17*z + 3. Let x(o) = -5*n(o) + 7*s(o). Let a be x(k). Solve -4*q - a = 13 for q.

-5

Let i(v) = v**2 - v. Let n be i(2). Let a = 0 + n. Suppose 2*g - 12 = -a*g. Solve 18 - g = 5*s for s.

3

Suppose -2*a = 2*a + 4*n + 40, 5 = -5n. Let u be 6(6/a - -1). Suppose 2*b = -u*y - 4, 3*y + 2*y - 5*b - 10 = 0. Solve -5 = j - y*j for j.

-5

Let t = 96 - 51. Let w be ²⁄₃*t/6. Solve -a + w = -0 for a.

5