Let i = -12 + 7. Let c(m) = -m - 9. Let q be c(i). Let u be 1q(-4 + 3). Solve 0*f = -2*f - u for f.

-2

Let o be (-12)/(-3)*3/(-6). Let i = 7 + -3. Let k = i - o. Solve -3*t = -6*t - k for t.

-2

Suppose 79 = 2*k - v + 4*v, 5*v - 159 = -4*k. Suppose -5*f + 106 = k. Suppose 3 = 3*d + 2*b - b, -5*b - f = d. Solve 7*x + 10 = d*x for x.

-2

Let r(m) = -m2 - 4*m + 2. Let l be r(-4). Suppose 5*p = 5*w, -p + 0*p = -2*w + l. Let o(n) = -4*n3 - n**2 + 1. Let k be o(-1). Solve 0*i = p*i - k for i.

2

Let o(x) = -x - 1. Let t be o(-1). Let r(l) = l + 1. Let c be r(-1). Suppose -6*n + n + 20 = c. Solve -m - 2 + n = t for m.

2

Suppose 0 = -10*h + 28 + 22. Solve 0 = -v + h for v.

5

Let j = -55 + 96. Let y = j + -16. Solve 0*z = 5*z - y for z.

5

Suppose 0 = 5*o - t - 16, 3*o = 6*o + 5*t - 4. Suppose 0 = o*r - 2*r. Solve -4 = -r*f - f for f.

4

Let k = 30 - 30. Solve k = g + 2*g - 12 for g.

4

Let n be (12 - 6)*(1 + 0). Suppose -22 = -4*i - n. Suppose -3*v + 0 = -9. Solve -i*u + 11 = v for u.

2