Suppose -x = x. Solve 2*a - 8 + 0 = x for a.

4

Let y = -4 - -7. Suppose y*i - 4*c = 1, 4*i + 3*c + 44 = 12. Let r be (-7)/((i - -3)/2). Solve 0 = 4*w - 5 - r for w.

3

Let x = -11 - -18. Suppose 0*t + t = x. Solve t + 8 = 3*j for j.

5

Let t(k) = -k**2 + 2*k - 1. Let u be t(1). Let l = 188 - 185. Solve 6 = l*w - u for w.

2

Let v be 3⁄4 - (-3)/(-4). Suppose v = -3*p - 1 + 7. Suppose -p = 2*j - 16. Solve 0 = 5*q - j - 3 for q.

2

Suppose -4*l + h = -10, l = -3*l - 3*h + 18. Solve 0*r - r = l for r.

-3

Let k = -2 - 0. Let z = k + 5. Suppose d = -z*d. Solve 5*s = -d*s + 20 for s.

4

Let d(t) = t**2 + 4*t + 1. Suppose -p + 3*s - 19 = 0, -s - 9 = p - 2*s. Let c be d(p). Suppose g = 3 + c. Solve 0 = i - g*i + 9 for i.

3

Suppose 1 = 4*u - 7. Solve 0 = -5*g + u*g - 6 for g.

-2

Let i = 11 + -8. Suppose -3*t - 3 = -6*t. Solve i*n + t + 14 = 0 for n.

-5