<SYSTEM_TASK:>
Solve the following problem using Python, implementing the functions described below, one line at a time
<END_TASK>
<USER_TASK:>
Description:
 def SpinTimes(spin, bias):
 """Define our own multiplication for bias times spins. This allows for cleaner log code as well as value checking. Args: spin (int):
 -1 or 1 bias (:class:`pysmt.shortcuts.Symbol`):
 The bias Returns: spins * bias """

    if not isinstance(spin, int):
        raise TypeError('spin must be an int')
    if spin == -1:
        return Times(Real((-1, 1)), bias)  # -1 / 1
    elif spin == 1:
        # identity
        return bias
    else:
        raise ValueError('expected spins to be -1., or 1.')