Suppose -5*v + 3*v + 8 = 0. Solve -2 = v*k + 2 for k.

Suppose 12 + 16 = 7*z. Solve -2 = z*k - 18 for k.

4

Suppose -2*z + 3 = 3*h - 3, -4*z + 10 = 5*h. Solve z = -f - 2 - 3 for f.

-5

Suppose -4*k + 16 = 3*v, 0*v - 3*k = 3*v - 15. Let c be (⁶⁄₄)/(v/24). Solve -5*u = -2*u + c for u.

-3

Let c be ((-12)/8)/(2/(-12)). Let b(p) = p**2 + 5*p + 3. Let r be b(-5). Suppose 3*t = r + c. Solve 0*d = d + t for d.

-4

Suppose 4*z + 6 + 4 = 3*x, 5*x = 2*z + 26. Let k = -4 + x. Solve -5 = -k*u + u for u.

5

Suppose 6*s - 28 = 2*s. Let u = 13 + -9. Solve 0 = -u*x - s - 1 for x.

-2

Suppose 0 = 4*a - a - 21. Suppose 0 = -11*m + a*m. Solve m*u = -4*u for u.

0

Let r(k) = -37*k + 6. Let t be r(-2). Let q be t/32*⁴⁄₅. Solve g + q = -0 for g.

-2

Let t(g) = -g**2 - 5*g + 6. Let m be t(-5). Suppose -p = 4, -2*p - 4 = -r + 4. Solve r = b + 2*b - m for b.

2

Let t be (-2)/5 - ¹²⁄₂₀. Let m be t*(38 - (4 + -2)). Let y = -16 - m. Solve -y = 3*p + p for p.

-5