Suppose 3*r - 4*n = 0, -3*r + n - 4*n = 0. Solve r*t = 3*t for t.
0
Suppose -4*f = -f - 15. Solve f*d = -0*d + 5 for d.
1
Suppose 0 = -3*b + 6*n - 5*n - 13, 0 = b + n - 1. Let y(k) = -3*k - 3 + 2*k + 0*k. Let q be y(b). Solve q*i + 4*i = 4 for i.
1
Suppose -t = -2*h, -7*h + 6*h + 1 = 0. Suppose 2*k - 8 = 5*l + 9, 5*l + 45 = -5*k. Let m(d) = -d**2 - 4*d. Let v be m(k). Solve t*z + 10 = -v*z for z.
-5
Let h be 0 + 2/(-1 - -2). Solve 5*q - 8 = h for q.
2
Let n be (-1)/((-3)/(-12))*7. Let k = n - -40. Solve -2*z + 4 = k for z.
-4
Let w be ((-48)/(-14) - 4)/((-2)/14). Solve 0 = -w*l + 4 + 4 for l.
2
Suppose 0 = 3*s - 8*s - 55. Let y be 20⁄11 + (-2)/s. Suppose 0 = 3*h - y*h. Solve h = -3*u - u + 8 for u.
2
Let w(b) = b3 + 5*b2 - b - 1. Suppose 3*r + 1 + 29 = 0. Let y = 5 + r. Let i be w(y). Solve -i*f + 6 = -f for f.
2
Suppose 0 = 3*s - 3*c - 9, 0 = -4*c + 12 - 32. Let m be (-30)/(-7) + s/7. Solve 0*y = m*y for y.
0