Let s(l) = l + 1. Let x be s(2). Suppose -x*d + 6 = -d. Let o(g) = g + 6. Let h be o(-6). Solve 3*t + d = -h*t for t.

-1

Suppose -13*m - 16 = -17*m. Solve 2 = m*l + 6 for l.

-1

Let c(d) = d**2 - d + 1. Let n be c(0). Suppose -3*s + s + 40 = 4*f, 2*s = -5*f + 51. Solve 0 = 4*y - n - f for y.

3

Suppose 10*o - 36 = -2*a + 5*o, -4*o + 40 = 3*a. Suppose 5*n + 1 = b + a, 2*b + 5*n = 16. Solve -b*m = -0*m for m.

0

Let l = -8 + 12. Solve 0 = -l*z - 1 - 7 for z.

-2

Let r(b) = 2*b - 6. Let j be r(6). Suppose 194 - 173 = 7*u. Solve -u*n + 3 + j = 0 for n.

3

Let h be 10/(-15) + 19/(-3). Let p = -3 - h. Solve -3*q - p = -1 for q.

-1

Let p = 8 - -3. Suppose 15 - p = f. Solve v + f*v = -5 for v.

-1

Let k = 7 + -5. Suppose 0 = -2*n + h + 16, k*n - 4*n - 2*h + 10 = 0. Let o = 0 + n. Solve -o*u - 10 = -2*u for u.

-2

Let g(x) = x**2 - 13x + 12. Let f be g(12). Let t be (f - (-2)/(-2))-5. Solve -15 = -5*z + t for z.

4