Let b = 1 + 1. Suppose v - x - 7 = 0, v - 5*x = b*v - 19. Solve 2*i + v = 5*i for i.

Let z = 12 + -5. Let h be (-4)/4*1 + z. Solve h*x = 5*x + 5 for x.

5

Let a(v) = -v - 2. Let h be a(-3). Let p(i) = -i**2 + 6*i - 4. Let z be p(2). Solve 5*q + h = -z for q.

-1

Let r = 3 - 6. Let q = 5 + r. Suppose -q*g + 5 = 3*g. Solve 0 = -4*a + 5*a + g for a.

-1

Let f = 17 - -1. Let c be 2 + -2 - f/(-2). Solve c = -0*s + 3*s for s.

3

Let p(q) be the first derivative of -q**²⁄₂ + 5*q + 2. Let c be p(4). Let t = c - 0. Solve t - 5 = 2*g for g.

-2

Suppose 3*m - 5*k = 16, 3*m + 1 - 13 = 3*k. Let o be (-10)/(-3 + m + -1). Solve j = 2*j + o for j.

-5

Let y(l) = l3 - 5*l2 - 6*l + 1. Let h be y(6). Let i be 1 - -5 - h - 0. Solve i*s = -6 + 1 for s.

-1

Suppose 0*i + 5*i = 30. Let x be 17/i - 2/(-12). Suppose -q - 2*b - 2 = 0, 4*q - 3*b = 6 - x. Solve s + 2 + q = 0 for s.

-2

Let l be (⁴⁄₆ + 0)*15. Suppose -7*u + 2*u - l = 0. Let c be (⁴⁄₁₀)/(u/(-20)). Solve 0 = k + c*k for k.

0

Suppose -3*b + 0 = -6. Let o be (-2)/(-1 + -2 + b). Solve 2*q = -o*q - 16 for q.

-4