Let d(n) = n + 2. Let q be d(-6). Let y be (-2)/q + 20⁄8. Solve -u + 0*u = y for u.
-3
Let f be (-2 - (0 + -3))*4. Suppose 0 = -f*v + 2*v. Solve 6 = -3*y - v*y for y.
-2
Suppose -25 = -5*c + 5*l, l - 15 = -5*c + 4*l. Solve c*p + p + 1 = 0 for p.
-1
Suppose -53 = -4*d - 5*p, 2*p + 0*p = 10. Let m = d - 5. Let b = m + 0. Solve -10 + b = 2*j for j.
-4
Let b = 25 - 20. Suppose 0 = 4*l - b*l. Solve -u - 5 + 3 = l for u.
-2
Suppose 2*s - 12 = -2*s. Suppose -s*a - 6 = -6*a. Suppose a*q + q = 42. Solve 5*r + 4 = q for r.
2
Suppose -2*b = -2*o - 4, -5*o = 3*b - 6*b + 10. Solve b*k = -5*k - 20 for k.
-4
Let i be (-192)/(-30)*(-15)/(-6). Suppose -i + 7 = -3*p. Solve 0*g = -3*g - p for g.
-1
Let d(k) = -k**2 - 7*k + 8. Let z be d(-8). Suppose z = 2*o - 4*o + 4. Solve -o*c - 5 = -c for c.
-5
Suppose 25 + 0 = 5*f. Let z be (12⁄20)/(1/f). Solve 0*h + 3*h - z = 0 for h.
1