Suppose -7*y = -4*y - 30. Solve 0 = y*u - 8*u for u.
0
Suppose 4*i = 5*q + 15, i + 0*q - 2 = 3*q. Let l = 5 - i. Suppose l = -4*d + 3*d. Solve -2*f + 4*f = d for f.
0
Let f = 3 - 8. Let c = f - -5. Let a be 1 + -2 - c - -4. Solve 5*n = -7 - a for n.
-2
Let a(z) = z**2 + 12*z + 6. Let b be a(-12). Suppose -4*l + 22 - b = 0. Solve l*o = 3*o - 1 for o.
-1
Suppose 3*j = 5*n - 13, -5*n = -2*j + j - 21. Suppose 0 = n*z - 0*z. Solve -1 = -z*k + k for k.
-1
Let z be (3 - 2) + 12⁄4. Let q be 63⁄36 + 1/z. Solve -10 = 4*m - q for m.
-2
Suppose -3*h = -4*h + 6. Let f be -6 - (-5)/((-15)/h). Let i be (-3 - (-10)/4)*f. Solve -2*l = -i*l for l.
0
Let s(k) = -3*k - 12. Let t(d) = 50*d + 205. Let l(j) = 35*s(j) + 2*t(j). Let n be l(-4). Suppose 0*a = -a + 2. Solve -a*c + n = -0 for c.
5
Suppose 0 = -5*t + 28 + 2. Suppose 0 = -3*n + t - 0. Suppose -l - n*l = -12. Solve l*j = 6*j - 6 for j.
3
Let c = 38 + -36. Solve 0 = c*t - 4 - 0 for t.
2