 7*n + 4*l = 32. Let q = n + p. Is q even?
False
Let m be (3/2)/(18/48). Suppose 194 = -m*r + 2*s, -4*r - 3*s - 209 = -0*s. Let u = 105 + r. Is u a multiple of 20?
False
Let k = 83 + 10. Is k a multiple of 9?
False
Let m(s) = s**2 - 7*s + 4. Let k(b) = -b**2 + 12*b - 3. Let u be k(11). Is m(u) a multiple of 6?
True
Let w(l) = -l**3 + 8. Let o be ((2 - 1)*0)/2. Let f be w(o). Is 2 a factor of -6 + f - (-4)/2?
True
Let j be 1/((-2)/148*2). Let c = 65 + j. Suppose c = -w + 3*w. Is w a multiple of 7?
True
Let a be 3/21 + (-104)/(-7). Let d = -9 + a. Does 3 divide d?
True
Let p be (3 + -1)/((-3)/(-6)). Suppose -p*b + 6*x + 225 = x, 5*b - 5*x = 280. Does 15 divide b?
False
Is 17 a factor of 3/45*3 - (-8404)/55?
True
Suppose -2*p = -7*p + 675. Suppose 2*x + 2*g - p = -x, 0 = -2*x - 2*g + 92. Suppose -x = -5*b + 17. Is 12 a factor of b?
True
Let m(x) be the first derivative of -x**2 + 2*x + 1. Let w be m(-2). Suppose 3*i + w = 5*i. Is i a multiple of 3?
True
Suppose 3*p + 5 - 17 = 0. Suppose 3*w - w = -3*a - 26, 0 = a - 2*w + 14. Does 3 divide p/(-10) - 34/a?
True
Let p be (-7 - -1)*8/(-4). Let g = 33 - p. Is g a multiple of 21?
True
Let c = -211 + 477. Is c a multiple of 14?
True
Let d(h) = -h - 1. Let t(l) = 2*l + 6. Let y(q) = -4*d(q) - t(q). Does 3 divide y(4)?
True
Let t(s) = 0*s**2 + 13 - 1 - 3*s**2 + 2*s**2. Is t(0) a multiple of 4?
True
Suppose 0 = -3*q - q + 24. Let a = q - 4. Does 12 divide 15 + (a - 1) + -4?
True
Suppose -v + 73 = 3*j, -j - 168 = -2*v + 4*j. Let p = -41 + v. Does 8 divide p?
False
Suppose 5*y - 2*v - 229 = 0, 4*v = 4*y + y - 233. Is 3 a factor of y?
True
Suppose -d - d = -4. Let g(n) = 9*n - n**2 - 9 + 6*n**d + n - n**3. Is g(6) a multiple of 15?
True
Suppose -25 - 15 = -2*n. Let l = n + 16. Is l a multiple of 12?
True
Let a(o) = -o**3 - 9*o**2 - 4*o - 4. Let f be a(-7). Suppose -4*w + 151 + 345 = 0. Let p = f + w. Does 17 divide p?
False
Suppose 0 = -0*m - 5*m + 15. Let i(g) = -g**2 + 4. Let s be i(2). Suppose 0 = -s*x - 2*x - 5*u + 2, -m*x - 2*u = -14. Does 6 divide x?
True
Suppose -5*z + 30 = 5*w, -z - 12 = -3*z + w. Suppose u = -n + z, -n = -5*u + 25 + 11. Suppose 27 + u = 2*h. Is 10 a factor of h?
False
Suppose -3*z = 4*m - 4, -1 = -0*z + 4*z - m. Let l = 0 - z. Suppose -5*v - x + 85 = l, 4*v - 79 + 2 = x. Does 8 divide v?
False
Suppose 2*s = -5*q + 176, 104 = 3*q + 4*s - 2*s. Is 9 a factor of q?
True
Let u = 14 + -8. Suppose 3*w - 6 = u. Is 18 a factor of (-18)/((2 - 4)/w)?
True
Let x(h) = 5*h**2 - h + 1. Let g(m) = m**2 - 9*m + 9. Let c be g(8). Does 5 divide x(c)?
True
Let l(r) = -r**2 + 0*r + 2*r**2 + 9 + 7*r. Is l(-6) a multiple of 2?
False
Let k = 5 + -1. Let t = 8 - k. Is 4 a factor of t?
True
Let o = -31 - -36. Does 2 divide o?
False
Let l = -3 - -22. Is 17 a factor of l?
False
Let l be ((-18)/15)/((-1)/10). Suppose -27 - l = -y. Is y/2*(-4)/(-6) a multiple of 13?
True
Let o be (7 - -33)*(-1 - -3). Let w = -12 + o. Suppose -i = 3*i - w. Does 6 divide i?
False
Let o(f) = 11*f**3 - 2*f**2 + 3*f - 2. Does 14 divide o(2)?
True
Let f = 2 + 0. Suppose -6 = -5*w + 3*g, -3*w + w - g = f. Suppose w = -h + 6*h - 45. Is 5 a factor of h?
False
Let o be (9/6)/((-2)/(-164)). Suppose -2*l - 2*w = w - 44, -w + o = 5*l. Let r = -9 + l. Is 8 a factor of r?
True
Suppose -4*f - 13 = 23. Let r = f + 18. Is 9 a factor of r?
True
Let f be (-4)/18 + 5230/45. Suppose -t + f = 3*t. Is t a multiple of 12?
False
Let t be -8*(-1 + 3/2). Does 27 divide 2/t + (-179)/(-2)?
False
Suppose -7 = -2*f + 1. Suppose 44 = f*o - 2*o + j, -4*o = 4*j - 92. Is o a multiple of 9?
False
Let f(s) = 9*s + 2. Let w be f(3). Suppose 5*c - w = 2*l, c - 2*l = 3*l - 8. Does 4 divide c?
False
Let s(v) = 3*v**2 + v - 4. Is 20 a factor of s(-4)?
True
Suppose -369 = 9*n - 1638. Is n a multiple of 12?
False
Suppose 0*t = 5*t - 275. Let g = -39 + t. Is g a multiple of 7?
False
Suppose 0 = 4*n + 2*k - 74, -20 = -n + 4*k + 3. Is n a multiple of 15?
False
Suppose -2*m + 21 = -3*r, 0 = -7*m + 8*m - 5*r + 7. Is 18 a factor of m?
True
Suppose 0 = -2*h + k + 82, 3*k - 6 = -0*k. Is h a multiple of 21?
True
Let l = -4 - -24. Is 20 a factor of l?
True
Suppose k = -32 + 56. Is k a multiple of 12?
True
Suppose 0 = 2*r + 8 + 12. Let d = 53 + r. Let b = d + -14. Does 13 divide b?
False
Suppose -f = -0*l + l - 143, 16 = -4*f. Is 21 a factor of l?
True
Let r be (-4)/(-14) + 4/(-14). Suppose r = 2*a - 0*d - 5*d - 33, 3*d = -15. Suppose 2*s - 3*g = s + a, -s = -g - 8. Does 4 divide s?
False
Suppose -u + q + 4 = 0, -5*u + 16 = -2*u - q. Is 12 a factor of (-6)/(-3 - (-17)/u)?
True
Suppose -g = -0*g - 23. Let s = 47 - g. Does 12 divide s?
True
Let q(p) be the second derivative of p**4/8 - 3*p**2/2 + p. Let s(t) be the first derivative of q(t). Does 15 divide s(5)?
True
Let z = -9 - -18. Let r = 5 + z. Suppose -11 = -5*u - h + r, 3*h = 15. Does 4 divide u?
True
Suppose 5*z + 0*z = 900. Does 26 divide z?
False
Suppose -254 - 151 = -4*b + 5*a, 0 = -4*b + 3*a + 403. Is 12 a factor of b?
False
Suppose -4*d + 3*t - 9 = -24, -d - 2*t = 10. Suppose -2*m - 4 + 14 = d. Let s = m + -2. Is s a multiple of 3?
True
Let f be 1 + -2 + 4 + 0. Suppose 3*m = -m + 8, -4*t - f*m = -174. Is t a multiple of 11?
False
Let r = -59 + 71. Is 3 a factor of r?
True
Suppose 0 = -2*q - 2*q + 16. Is 4 a factor of (q - 5)/((-1)/6)?
False
Suppose 3*d + 0*n = -2*n + 7, -d - n = -2. Let i = 50 - -125. Suppose -8*p + d*p = -i. Does 12 divide p?
False
Let c(u) = u**3 - 10*u**2 + 4*u - 20. Is c(10) a multiple of 4?
True
Let s(b) = -25*b + 6. Let t be s(-3). Suppose 3 = 3*y - t. Is 7 a factor of y?
True
Let k(s) = s**2 + 6*s + 2. Let m be k(-8). Let y = 1 + m. Does 13 divide y?
False
Suppose -2*t + 4*a + 8 = -4*t, 0 = 2*t + 3*a + 5. Suppose -4*r + 5*x = -94, 4*r + t*x + 0*x = 108. Is 13 a factor of r?
True
Let q(z) = z**2 - 13*z + 30. Does 8 divide q(12)?
False
Suppose -j = -3*o + 118 + 558, 1140 = 5*o - 5*j. Does 32 divide o?
True
Let b(z) be the third derivative of -z**6/120 - z**4/12 - z**3/3 - z**2. Is 11 a factor of b(-3)?
False
Suppose 8 = 4*v + 36. Let b = v + 25. Does 5 divide b?
False
Suppose -u - 52 = -0. Is 6/(-4) + u/(-8) a multiple of 3?
False
Is 4 - -10 - (-1 - -3) a multiple of 12?
True
Let z = 5 + 0. Suppose -6*j + i + 72 = -j, -z*i = -4*j + 45. Is j a multiple of 5?
True
Let o(f) = -f**2 - 23*f - 20. Does 23 divide o(-16)?
True
Let l be 2 + 1 + -1 + -2. Suppose -y - d = -3, -3*d = -l*y + 2*y - 3. Suppose y*r = r + 35. Does 7 divide r?
True
Let b = -2 + 2. Does 6 divide (1 - (b - -2)) + 8?
False
Let w(q) = 20*q**2 + q - 1. Let s be w(1). Let v be (-6)/5*s/(-3). Let p(z) = z**2 - 4*z - 9. Is 10 a factor of p(v)?
False
Let k be (-2)/(-7) - (-99)/21. Let f(z) = 3*z - 3. Let d be f(k). Does 20 divide (3*d)/(5/5)?
False
Suppose -5 + 0 = -5*a. Let l(g) = -6*g + a + 5 - 2*g**2 + g**2 - g. Does 6 divide l(-6)?
True
Suppose -5*a = -3*x - 142, 2*x - 1 + 9 = 0. Suppose 4*o - 18 = a. Is 3 a factor of o?
False
Suppose -4*k - 3*v = 20, 9 + 16 = -5*k - 2*v. Is 15 a factor of 1036/35 - 2/k?
True
Suppose -5*r + 6 = -4. Let u(h) = -h**3 - 14*h**2 - 25*h + 14. Let k be u(-12). Suppose -3*m - 59 = -5*s, 4*m - r*m = 2*s - k. Is 3 a factor of s?
False
Let y = 5 + -1. Suppose -4*o - 30 = -9*o. Does 21 divide (o/y)/((-2)/(-56))?
True
Suppose 6*x + 30 = 11*x. Is 4 a factor of x?
False
Let w(h) = h + 20. Is 9 a factor of w(19)?
False
Let g(p) = p + 3. Let c be g(6). Suppose -c = -7*d + 6*d. Does 9 divide d?
True
Let o(p) = 10*p + 19. Is o(5) a multiple of 9?
False
Let i(y) = -4*y**3 + 5*y**2 - 3*y - 6. Let r(h) = 3*h**3 - 4*h**2 + 3*h + 5. Let s(t) = 2*i(t) + 3*r(t). Does 13 divide s(3)?
False
Let i(t) = -t**3 - 8*t**2 + 3*t - 6. Suppose -8*o = -4*o + 36. Is 16 a factor of i(o)?
True
Let w(r) = -r + 1. Let u be w(-4). Suppose 2*a + 4*t = -2, -a + 3*a = -u*t - 6. Does 7 divide a?
True
Let t = -2 - -5. Suppose t*y = 4*o + 37, -2*y + 3*o - 12 + 38 = 0. Does 7 divide y?
True
Let i be 2/(1 + 2 + -1). Let b = i + -2. Does 11 divide 6/b*32/(-6)?
False
Suppose -z + 0*l - 2*l - 10 = 0, 5*l = -15. Does 14 divide (2 + -9)*(z - 0)?
True
Let b(s) = s**2. Let l be b(1). Is 19 a factor of 147/4 - l/(-4)?
False
Suppose 0*z + 152 = -4*z. Let o = -24 - z. Is o a multiple of 6?
False
Suppose 186 = -t + 4*t. Is 24 a factor of t?
False
Suppose 20 = m + 4