Suppose t - 23 = 5*v, 19 = -0*t + 5*t - v. Let r be t - 1 - (-9)/3. Solve 0 = r*s + 5 + 20 for s.

-5

Let a(i) = -5*i - 40. Let j be a(-10). Solve 0*t + 5*t - j = 0 for t.

2

Let v(j) = 2*j**2 - 4. Let u be v(-2). Let f = 6 + -4. Let r = 3 + f. Solve r*o + 6 = -u for o.

-2

Let u = 8 + -4. Let i(k) = 2*k. Let l be i(3). Suppose 3*d + 2*t - l = 2, -2*t = -5*d + 24. Solve 16 + u = d*m for m.

5

Suppose -3*t = 4*t - 28. Solve -r + t = -1 for r.

5

Let a be 44(-3)/(-24). Solve -a*s = -s - 1 for s.

1

Suppose -11 + 1 = -5*k. Solve 0*f = -k*f + 2 for f.

1

Let j(x) = x**2 - 8*x - 13. Let l be j(10). Let v = l + -6. Solve -3*t - v = 11 for t.

-4

Let t(b) = b3 - b2 - 3*b + 2. Let u be t(2). Solve n = -u*n + 2 for n.

2

Suppose 93 = 2*o + j + 2*j, 4*o - 2*j - 194 = 0. Let t = -25 + o. Solve -t = 3*l - 8 for l.

-5