Let o be (3 - -5)*(0 + 1). Let a = -5 + o. Let t = -4 + 10. Solve a*g - 5*g = -t for g.

3

Let f© = -c - 4. Let s be f(-6). Suppose -3 = -s*j + 5. Solve 0 = j*u - 3*u + 1 for u.

-1

Let d(m) = -m**2 + 30. Let w be d(-5). Solve -2*h - w = 3*h for h.

-1

Suppose 2*y = 5 + 1, -20 = -h - 4*y. Solve -h = -3*n + 5*n for n.

-4

Suppose -10 = -5*d - 5*h, -3*h - 3 = -3*d + 3. Solve -d*t + 0*t - 10 = 0 for t.

-5

Suppose d + 2 = -2*n + 8, 2*n - 2*d - 12 = 0. Suppose -2*u + 6*u = n*l, 2*u + 2*l = 16. Suppose 4*a + 5 = 85. Solve -a = x + u*x for x.

-4

Suppose -2*y + 1 = -5*d, 5*d - d = 2*y - 2. Let o = -1 - -3. Solve o*n = n + d for n.

1

Let q be 3⁄1*(-16)/(-12). Solve 0*c - c - q = 0 for c.

-4

Let a(f) = -f**2 + 20. Let n be a(0). Let p = 3 + 1. Suppose -4*j + 0*r = -4*r - 32, p*r = 0. Solve -3*t + n - j = 0 for t.

4

Let u = 9 + -3. Suppose u*v - 3*v - 6 = 0. Solve 2 = -v*h + 8 for h.

3