Let y = -14 + -7. Let d be (-510)/y - 2⁄7. Let q = 18 + -13. Solve -d - 1 = -q*r for r.
5
Let i = 8 + -8. Solve i = b - 0*b - 3 for b.
3
Suppose 0 = -3*a - 14 + 29. Solve 0 = -0*u + a*u - 20 for u.
4
Let h be 1*(-3)/1 - -27. Suppose -4 - 8 = 4*b, -h = -3*j - 4*b. Suppose 7*t = j*t - 40. Solve -n - n - t = 0 for n.
-4
Let z be (0 - 1)*5/(-1). Let q = z + -2. Solve -5 = q*p - 20 for p.
5
Let s = -123 + 139. Solve 5*r = r + s for r.
4
Suppose 0 = 2*m - 2*u + 4*u + 2, 0 = u + 4. Solve m*s = -1 - 8 for s.
-3
Suppose -5*j + 3 + 2 = 0. Solve 5*o = -j - 4 for o.
-1
Let s(z) = -z**2 - 5*z - 1. Let c be s(-4). Solve c*j - 6 = -0*j for j.
2
Let x = -2 + 18. Suppose 3*l - x = -4. Let i be 34⁄3 + l/6. Solve -3*t = t + i for t.
-3