Let j = -20 - -25. Solve 0 = j*d - 13 - 2 for d.

3

Let j = -6 - -9. Let q be 3/(-6)*(j + -3). Solve q = -z - 5 for z.

-5

Let i = 110 + -105. Solve 0 = -i*z + 9*z - 8 for z.

2

Let c be (8 + -9)*(-8)/2. Solve -4*r - c = -0 for r.

-1

Let o(p) = -p + 7. Let n be o(4). Let s = 2 + -1. Suppose s - 5 = -q. Solve d = -n*d + q for d.

1

Suppose 2*i - z = -2*i, 0 = i + 2*z - 9. Suppose 20 = -15*j + 20*j. Solve i = -x + j for x.

3

Let k(j) = j + 1. Let c be k(1). Suppose 0 = 2*s - 30 - c. Solve -3*n - s = n for n.

-4

Suppose -2*c + 0*c = 0. Suppose -8 = -c*h - 2*h. Solve h*z - 3 = z for z.

1

Suppose -5*o + 0*o + 35 = -2*i, -14 = -2*o + 3*i. Suppose -o*q + 3*q = 0. Solve q = -2*c - 4 - 0 for c.

-2

Let a be -3 + 10 + (-2 - 0). Let m be 1 + 1 + (a - 3). Solve b = -0 + m for b.

4