Let k = 2 + -2. Let c be (-2 - -2)/(-3) + k. Solve 6*d - d - 10 = c for d.

Suppose -5*o + 0*o + 10 = 0. Suppose 5*x - 16 = 9. Suppose -p + 16 = 3*u, 3*p + 0*p - x*u + 22 = 0. Solve 0 = -o*v - 3 + p for v.

-1

Let l be (-2)/(-5) - ⁴⁄₁₀. Suppose -2*b = m - 19, l*b = b - 2*m - 7. Suppose 5 = o, -3*z + 2*o = -2*z - 24. Solve 5*w - b = -z for w.

-5

Let m(t) = 2*t2 + 8*t + 2. Let l(o) = o2 + 8*o + 1. Let j(b) = -3*l(b) + 2*m(b). Let y be j(8). Let n be -1 - (-6 - 0 - y). Solve h + n = 3*h for h.

3

Let l(w) = 5*w + 1. Let t(y) = 4*y. Let d(p) = -2*l(p) + 3*t(p). Let b be d(3). Solve 17 = b*n + 5 for n.

3

Suppose 4*r = -0*r. Let m be r/(0 + 1) + 1. Solve -u + 2*u = -m for u.

-1

Let v(t) = t**2 + 4*t - 3. Let n be v(2). Let h(j) = 2*j - 1. Let i be h(2). Solve 0*z = -i*z - n for z.

-3

Let c(v) = 2*v. Let i be c(1). Solve 0*f - i*f = 2 for f.

-1

Let o = -10 + 12. Solve o*y + 3 = 5 for y.

1

Let v be ((-4)/(-14))/(-5 + ³⁶⁄₇). Solve 5*x = v - 27 for x.

-5

Let f be 6 + -2 + (6 - 5). Suppose -4*x + f*a = -28, a + 2*a = -12. Solve -i - 2 = -x*i for i.

2