Let j = 8 - 6. Let f = -144 - -146. Solve -f*o - j = -0 for o.

-1

Let q be (7 + -1)/(6 + -5). Solve -9 - q = -5*o for o.

3

Let a(f) = 6*f2. Let n(v) = v3 + 3*v**2 + v + 4. Let j be n(-3). Let g be a(j). Solve 3*w + g = -0*w for w.

-2

Suppose -5 = -4*h + 3. Let g = 6 - 2. Solve -h*p = -g - 2 for p.

3

Suppose -13 + 37 = -3*w. Let l(t) = -4*t - 5. Let c be l(w). Suppose 0*p + 6 = 3*p. Solve -c = 5*m - p for m.

-5

Let c be -1 - (2 + -1)*-4. Suppose 14 + 6 = 5*t + 2*k, -2*t = -4*k + 16. Suppose 2*u + t*z = 8, 2*z + 13 = 5*u - 0*z. Solve -4*q + u = -c*q for q.

3

Let o(h) = 2*h**2 - 5*h + 2. Let r be o(3). Suppose 0 = -m + r*g + 11 + 4, 4*g + 12 = -5*m. Solve -k + 2 = -m for k.

2

Suppose 5*q + b = 9, 5*b - 2*b - 12 = 0. Suppose 0 = -m + q + 8. Let i be 15/m + 2⁄6. Solve -i*c - 15 = c for c.

-5

Suppose 5*s + 0*s + 5 = 5*f, 5*f + 30 = -2*s. Let y = s - -5. Solve y = -2*v - v - 3 for v.

-1

Let s = -19 - -8. Let r(z) = -z3 - 11*z2 + 4. Let a be r(s). Solve 0 = -n - 0*n + a for n.

4