Let q(p) = 9*p - 42. Let a be q(5). Solve -a*r = -r for r.
0
Suppose 0*k - 3*r - 3 = 2*k, -2*k = -2*r - 12. Suppose -4*f = -2*p - 0 + 8, 3*p + 8 = f. Let z = p - -6. Solve k*g + z*g = 0 for g.
0
Let j = 7 + -15. Let o(v) = -4*v - 7. Let y be o(j). Suppose -y = -5*t - 3*q - 2*q, -25 = -5*t + 2*q. Solve -t + 3 = -2*h for h.
1
Suppose 4*r = 2*r - 2, 0 = 4*k - r - 21. Suppose -26 = -k*d + 9. Solve 3*a + 12 = d*a for a.
3
Let l be -6*((-3)/2)/(-8 + 11). Solve -2*q = -l*q for q.
0
Let s be (0*3/(-9))/2. Suppose q - 2 = s, 2*r + 0*q - 4 = -2*q. Solve r = -2*k + 4*k for k.
0
Let w be (((-4)/(-7))/2)/(17⁄119). Solve 3 + 1 = -w*s for s.
-2
Suppose 5*d - 17 = 3*o, -d - 2*o = 2*o - 8. Solve d*a + 10 = -2 for a.
-3
Suppose -2*x = 2*d - 4, -2*x = -3*d + x. Suppose d - 6 = -o. Solve y = o*y + 8 for y.
-2
Suppose -b - 18 = -4*l, 12 = 2*b - b + 2*l. Suppose 2*t = -2*n - 0 - 2, b*n + 11 = t. Solve -t*f + 0*f - 12 = 0 for f.
-4