Let v = 3 + -4. Let j = v - -15. Let l be -1 + (-2)/((-4)/j). Solve -3*a + 0 = -l for a.

Let n = 12 - 7. Suppose -3 = -k - 0. Suppose 4 = -0*h + 2*h. Solve n = h*u - k*u for u.

-5

Let y(u) = u3 + 4*u2 + 1. Let m be y(-2). Let f = 11 - m. Solve 2*a - f = 4 for a.

3

Let a(z) = -z3 + 3*z2 + 4. Let b be a(3). Let w be b + -1 - (-2 - -1). Suppose 0 = k - 0*k - w. Solve -14 = k*y + 2 for y.

-4

Let p be (-4)/(3 - -1)*-1. Let r = p - -4. Solve h - r*h - 8 = 0 for h.

-2

Let o be 5*(-4)/(-10)*1. Suppose -5*a = 2*t + 31 - 12, -o*a - 4 = 2*t. Solve 6 = -t*m + 3 for m.

-1

Let q = 127 - 126. Solve 3*f + 5 = -q for f.

-2

Let c(x) = -x**3 + x + 1. Let q be c(-3). Solve -q = -4*v - v for v.

5

Let a be 1*(-3)/((-9)/3). Let y = a + 1. Suppose y*r = -3*r + 20. Solve 3 + 9 = -r*b for b.

-3

Suppose s + 6 = 4*s, 0 = -3*y + s - 2. Suppose -5*d - 55 = -5*u, 3*u + d - 29 = 5*d. Let v be (-2)/(2 + (-36)/u). Solve -z + y*z + v = 0 for z.

5

Let q(b) = -b3 + 3*b2 - b. Let t be q(2). Let m be 6/(-21) - ⁸⁰⁄₁₄. Let y be 1 + 0/(m/2). Solve -3*k + t*k + y = 0 for k.

1