Let y = -12 - -17. Let x(o) = -y*o - 1 + 4*o + 12. Let t be x(10). Solve z - 1 = t for z.

Suppose 5*g + 3*m = -0*m - 10, 0 = 4*m - 20. Let i(j) = -j3 - 3*j2 + 8*j + 3. Let r be i(g). Solve 0 = 5*y + 3 - r for y.

2

Let s = 162 - 154. Solve 10*l - s*l + 6 = 0 for l.

-3

Suppose 0 = -3*t + q + 21, 5*t = 7*q - 2*q + 25. Suppose -5*y = -4*g - 13, -2*g - t = -3*y + 1. Solve 1 + 9 = -y*l for l.

-2

Let a(h) = -h3 + 4*h2 + 2. Let w be a(4). Suppose 0 = -3*n - 2*f + 6 + 24, w*n = -f + 19. Solve -n = 3*j - 2 for j.

-2

Suppose -5*n = -10*n. Solve 0*t - 3*t + 6 = n for t.

2

Let z be 4*(-1)/(-4)*3. Suppose 5 = z*f + 5*s, 4*s - s - 35 = -5*f. Solve 6*c - c + f = 0 for c.

-2

Let i be (3 - 0) + 3 + -4. Let m = 7 - i. Let n(b) = -6*b3 + b2 + b + 1. Let z be n(-1). Solve 3 = m*p - z for p.

2

Let s = -24 - -17. Let g be 16 + (-3 - -2 - 3). Let k = g + s. Solve k*u + 16 + 4 = 0 for u.

-4

Suppose -5*q = 4*d - 12 - 5, 5*q = 3*d - 4. Solve -8*z + 15 = -d*z for z.

3

Let p(t) = 4*t + 25. Let m be p(-6). Solve -5*y + 26 - m = 0 for y.

5