There are no rational solutions to curve (b). This curve has the automorphism $(x,y) \mapsto (x,-y)$ and the quotient is the genus one curve
$$ -yz + w^{2} = 0 \quad x^{2} + y^{2} + xz - z^{2} + yw = 0. $$
The first equation $-yz + w^{2} = 0$ can be thought of as a genus $0$ curve in the variables $y$, $z$ and $w$ and its parametrization is $y = s^{2}$, $z = t^{2}$ and $w = st$. This allows us to rewrite the genus one curve as
$$ x^{2} = -4s^{4} - 4s^{3} t + 5t^{4}. $$
This curve is one of the two-covers of the elliptic curve $E : y^{2} + y = x^{3} + 5x + 1$. (This elliptic curve has rank zero and, assuming BSD, a Shafaraveich-Tate group of order $4$.) Indeed, performing a 2-descent on $E$ finds the curve $y^{2} = -4x^{4} - 4x^{3} + 5$ as a two-cover. This two-cover has non-trivial Cassels-Tate pairing with $y^{2} = 2x^{4} + 6x^{3} + 6x^{2} + 10x - 4$, which shows that $y^{2} = -4x^{4} - 4x^{3} + 5$ is locally solvable everywhere, but has no rational points. The same must be true of the original curve.

Curve (a) appears to be trickier to handle. It doesn't appear to have any non-trivial automorphisms or non-trivial factors of its Jacobian which probably means the techniques used on curve (b) can't apply.

**EDIT:** At the request of the OP, I am providing some information and references about using the Cassels-Tate pairing to show that a genus $1$ curve is everywhere locally solvable, but has no rational points. This pairing was originally defined by Cassels (in the paper "Arithmetic of Curves of genus 1: III. The Tate-Šafarevič and Selmer groups" published in the Proceedings of the London Mathematical Society, Issue 1, 1962, pages 259-296). In the instance in question, there is a pairing on the $2$-Selmer group ${\rm Sel}_{2} \times {\rm Sel}_{2} \to \mathbb{Z}/2\mathbb{Z}$ whose kernel consists of elements in ${\rm Sel}_{2}$ that are the image of an element in ${\rm Sel}_{4}$ the $4$-Selmer group. (This follows from Theorem 1.2 of Cassels's paper.) So if $C_{1}$ and $C_{2}$ are two $2$-covers of an elliptic curve and the pairing of $C_{1}$ and $C_{2}$ is non-trivial, it follows that neither $C_{1}$ nor $C_{2}$ are the image of an element in the $4$-Selmer group. This implies that neither $C_{1}$ nor $C_{2}$ can have a rational point.

The Cassels-Tate pairing on the $2$-Selmer group has been implemented in Magma by Steve Donnelly, but it appears that a paper documenting this implementation hasn't been published. Cassels's article linked above is behind a paywall. For recent treatments of the Cassels and Cassels-Tate pairings, see the articles here (which is open access) and here (which is an arXiv preprint).