Let q = 58 + -56. Solve -3*y = -2*y - q for y.

Let u(q) = 6*q2 - 4*q + 5. Let h(j) = -j2 - 1. Let t(g) = 3*h(g) + u(g). Let a be t(2). Let k = 37 - 37. Solve k = -2*p - 0*p + a for p.

3

Suppose 0 = t - 2 - 3. Let h(w) = w3 - 6*w2 + 6*w + 2. Let s be h(t). Suppose -5*n = -3*p + 15, n + s = 4*p - 30. Solve p*k + 20 = 5*k for k.

-4

Let r(o) = -o**2 + 5*o - 2. Let n be r(3). Suppose n*w = -0*w. Suppose 3*c + 5*q - 30 = 0, 5*c - 4*q - 8 - 42 = w. Solve -2*p = 3*p + c for p.

-2

Suppose -5*o + 4*o = -9. Let m = o - 9. Solve k + 1 + 0 = m for k.

-1

Let o = 43 + -41. Solve 1 = a - o for a.

3

Let u = 1 - -4. Let q = 6 + -5. Let x(l) = 5*l + 1. Let m be x(q). Solve 0 = -u*o + 3*o + m for o.

3

Let y = -6 - -4. Let b(g) = 5*g**2 + g + 1. Let j be b(y). Suppose 0*u = -3*x + 2*u + j, -5*x + 15 = 5*u. Solve -2*m + x = -3 for m.

4

Let m be (-2 - (-2 - -1)) + 0. Let p = 3 + m. Suppose -p*l = -b - 4 - 5, 5*l = -4*b - 10. Solve o - 3 = l for o.

5

Let c(b) = b**2 + 6*b + 4. Let t be c(-8). Suppose -k - 3*k = -t. Solve -2*m + k*m = -6 for m.

-2

Let v = 27 - 16. Suppose 4*d + 1 = 21. Solve -4 - v = d*q for q.

-3