Suppose 5*k = 2*s + 12, -1 = 5*s + 4. Solve t - k - 2 = 0 for t.

Let x(l) = -l**2 - 3*l + 4. Let p be x(-4). Solve -j + p = -1 for j.

1

Suppose p = -14 - 4. Let f be 2/(-1)*9/p. Solve 3*i - f - 2 = 0 for i.

1

Suppose 0 = 2*a - 3*i - 26, 0 = -5*a - 4*i + 16 + 26. Solve x - a = -x for x.

5

Let h = -37 - -42. Solve -4 = -3*a + h for a.

3

Let q(s) = 5*s**2 + s. Let b be q(1). Solve -j - 15 = -b*j for j.

3

Suppose 4*k = 11 + 1. Suppose -4*l - y + 23 = 3, 0 = -5*l + 5*y. Solve -5 = l*u - k*u for u.

-5

Let u be 0/(³⁄₃ + -3). Solve 20 = 5*i - u*i for i.

4

Suppose 4*l - l + 18 = 3*j, -2*l = -3*j + 16. Suppose 0*h + 2*h - 4 = 0. Let m = h - l. Solve 16 = -m*t - 0*t for t.

-4

Let a = -5 - -17. Let t = -7 + a. Let v = 5 - t. Solve -3*w - 6 - 9 = v for w.

-5

Let w(q) = q**2 + 4*q + 4. Let m be w(-3). Solve 0 = -3*x + 2 + m for x.

1