Let u be -1 + -1 + -4 + 8. Suppose -t = 3*m - 3, u*t = -0*t - 3*m. Let a = 3 + t. Solve 2*r + a*r = -6 for r.
-3
Let y = 0 - 0. Let d = y + 0. Let i = 10 - -2. Solve d*a - 3*a = -i for a.
4
Let t(x) = -x + 4. Let g be t(0). Suppose -g*b = -5*b. Solve b = -0*k - 4*k + 12 for k.
3
Suppose -4*q - 3*k - 15 = 0, -2*q + 4 = -k - 1. Solve q*v - 8 = -4*v for v.
2
Suppose -4*g + 10 + 6 = 0. Suppose g*y + 2*d - 2 = 0, -2*d - 18 = -y - 6*d. Let n be (y + (-6)/(-4))*0. Solve n = -r + 5*r - 4 for r.
1
Let f = 3 - 3. Suppose f + 6 = 2*r. Solve -3 = -3*v + r for v.
2
Suppose -7*m = -3*m. Let n be (-1)/(-2) + 9⁄2. Suppose o = -1, n*f - f = 4*o + 64. Solve m*u - 3*u = -f for u.
5
Let l be (-52)/(-8) + (-2)/4. Solve 2*a + 0*a = l for a.
3
Let s = 32 + -20. Let u = -12 + s. Solve 3 = -b - u for b.
-3
Let w(m) = -3*m2 - m + 4. Let u(j) = j2 - 1. Let z(g) = -4*u(g) - w(g). Let i be z(1). Solve -5*o + 4 - 19 = i for o.
-3