Suppose x = -0*x + 4. Solve 2*t - x*t = -10 for t.

Let v = -34 + 34. Solve -4 = -z - v for z.

4

Let y(n) = -n**2 - 9*n + 6. Let k be y(-10). Let f = 6 - k. Suppose 0 = 3*s - s - f. Solve -x + s*x = -8 for x.

-2

Let r(n) = n3 - n2 - 4*n + 4. Suppose 4*u + 9 = -0*s + 5*s, -4*s = 5*u + 1. Suppose s = 5*k - 14. Let g be r(k). Solve g = 4*x + x for x.

2

Suppose 5*x - 2*z - 11 = -3*z, 1 = z. Suppose 0 = 3*j - l - 16, -1 - 5 = -3*l. Let d = j + -3. Solve x*t + d = -7 for t.

-5

Suppose -5*w - 2 = -r - 1, -4*r = 5*w - 4. Solve -4*v - 11 - r = 0 for v.

-3

Suppose -5*k + 38 = 2*m, 0*k + 4*k - 4*m - 36 = 0. Suppose 0 = 3*q - k*q. Solve 12 = 3*x - q for x.

4

Let o be (¹²⁄₁₆)/(³⁄₈). Suppose t = -j + 20, -3*t + j + 106 = o*t. Suppose 0 = -5*w + 4 + t. Solve w*k - k + 12 = 0 for k.

-3

Let w(a) = a**2 - 3*a + 3. Let u be w(3). Suppose 0*r = -u*r + 12. Solve -r*l - 19 = -3 for l.

-4

Let j(s) = 8*s - 9. Let k be j(3). Solve -t - k = 4*t for t.

-3

Let x = 3 + 1. Solve 0 = w - x*w - 9 for w.

-3