ultiple of 19?
True
Let n(m) = m**2 + 3*m + 3. Let w be n(-4). Let r = w - 8. Is 19 a factor of 4/(r/42*-3)?
False
Suppose -r - r = -3*l + 5, -2*l - 14 = 3*r. Does 12 divide -1 - (-13 + l + 1)?
True
Let u = 11 + -5. Suppose -s = -0*s - 15. Is (-288)/s*(-20)/u a multiple of 24?
False
Suppose 4*a + a = -3*w + 41, -2*a = w - 12. Is 5 a factor of w?
False
Suppose 5*h + 30 = -0. Let u = 6 - h. Does 9 divide u?
False
Let c = -495 - -875. Suppose 2*k - c = -2*k. Suppose -94 = -3*z + 2*a, 5*z - 2*z = a + k. Does 11 divide z?
False
Let c = -276 - -459. Does 28 divide c?
False
Suppose 0*k = -k + 6. Suppose 2*u - k*u = -24. Is u a multiple of 6?
True
Let m(j) = -j + 1. Let d(c) = c**3 - 4*c**2 - 2*c + 1. Let k be d(4). Is m(k) a multiple of 3?
False
Suppose -i + 3*i = 12. Suppose g + 6 = i*o - 4*o, 4*o = 4*g + 20. Does 3 divide (2 - 3 - o) + 5?
True
Let h(w) = 2*w**2 + 5*w - 2. Let f be h(-4). Let z = -3 + f. Let n(u) = -u**2 + 8*u + 6. Does 10 divide n(z)?
False
Let k(c) = c**2 + 2*c + 8. Let d(o) = -3*o**2 - 5*o - 15. Let u(x) = 2*d(x) + 5*k(x). Let t be u(0). Suppose -4 = -2*f + t. Is f a multiple of 4?
False
Let h = 332 + -150. Is 37 a factor of h?
False
Let p = -174 + 237. Does 7 divide p?
True
Suppose -336 = -14*j + 1848. Does 12 divide j?
True
Suppose -3*w - 5 - 1 = 0. Let x = 26 + w. Is x a multiple of 12?
True
Suppose -10 = -4*t + 2*n, 0 = n + 2*n + 3. Let m(b) = b**t - 4*b**3 + 0 + 3 + 3*b**3. Does 16 divide m(-3)?
False
Let h = 42 + -15. Is h a multiple of 27?
True
Suppose 0*d + 4*d + 2*q - 68 = 0, -3*d + 3*q = -60. Does 6 divide d?
True
Let a(y) = -15*y + 1. Let t be a(-1). Let v(j) = -j**2 + 17*j + 2. Does 18 divide v(t)?
True
Let o(y) = y**3 - 6*y**2 + 5. Let s be o(6). Let t = s + -1. Does 7 divide 1/t + 158/8?
False
Let a(c) = -c**3 - 6*c**2 - 4*c + 7. Let m be a(-5). Suppose 5*p - 17 = -m. Suppose -p*o = o - 124. Is 21 a factor of o?
False
Let k = -48 + 82. Is k a multiple of 4?
False
Suppose -5*x = -188 - 207. Does 14 divide x?
False
Let k be (1 + (-21)/15)*-15. Is 16 a factor of (10/4)/(k/60)?
False
Suppose 0 = 4*z - 3*t - 47, 6*t - 3*t - 9 = 0. Is z even?
True
Is 8 a factor of 41 - 2 - (7 - 3)?
False
Suppose 4*y = -3 - 1. Let g(p) be the third derivative of -7*p**4/24 + p**2. Is g(y) a multiple of 7?
True
Suppose 5*m = 14 - 4. Suppose 0 = -m*y - y - 12, 5*c + y - 26 = 0. Does 6 divide c?
True
Let r(j) be the second derivative of -j**5/20 + 7*j**4/12 - j**3/6 - 3*j**2/2 + j. Is 8 a factor of r(6)?
False
Let s(o) = -2*o - 10. Let z be s(-7). Suppose 0 = f - 5*l - 44, -3*f + 7*l + 168 = z*l. Is f a multiple of 26?
False
Suppose -5*j = -2*j - 18. Is j a multiple of 2?
True
Let z(u) = -u**2 - u + 11. Let v = 5 + -17. Let c be (-6)/10 - v/20. Is 6 a factor of z(c)?
False
Suppose -2*w + 4 = 0, 0*w - 2*w = 4*i + 16. Let c be 2/5 + 12/i. Does 20 divide (12/3)/c - -60?
False
Does 6 divide -4 + (66 - 8/(-2))?
True
Let f(z) = z**3 + 6*z**2 - z - 5. Let o be f(-4). Let c = o - -6. Does 6 divide c/5 + (-4)/10?
False
Let r(f) = -f**2 + 6*f - 6. Let z be r(5). Let a(q) = q - 3. Let j be a(-9). Let h = z - j. Does 3 divide h?
False
Suppose -g + 9 - 7 = 0. Suppose 16 + 12 = g*d. Is 9 a factor of d?
False
Let w = 51 + -28. Suppose 8*f - w = 7*f. Does 17 divide f?
False
Does 19 divide (-173)/(-9) + (-6)/27?
True
Suppose 63 = -c - 0*c. Does 26 divide (-3262)/c - (-2)/9?
True
Suppose -2*s + 2*x + 254 = 0, 4*x + 387 = 3*s - x. Let m = s - 66. Is m a multiple of 23?
False
Let p be 24/9*(-6)/(-4). Suppose -3*t + p*n + 16 = 0, -3*t - n = 2*t - 65. Is 12 a factor of t?
True
Let r(g) be the second derivative of 5*g**3/3 - 11*g**2/2 - 2*g. Is 17 a factor of r(6)?
False
Let m be (-17)/(-34) + (-14)/4. Is (m + 2 + 3)*10 a multiple of 5?
True
Let f be (2 - (0 - -2)) + -10. Let i = 15 + f. Is (-3)/15 + 66/i a multiple of 5?
False
Suppose 2*z - 122 = -0*z + 4*r, 0 = 5*z - r - 278. Is z a multiple of 19?
False
Is -3 - -1 - (-29*1 - 1) a multiple of 7?
True
Let d = 18 + -13. Suppose -41 - 6 = -3*x - d*s, x - 21 = s. Is x a multiple of 11?
False
Suppose -21 = -4*w + 19. Suppose -2*b = 2*j + w, -b + 5*j + 1 = -0. Let r = 4 - b. Does 7 divide r?
False
Let y(k) = k**3 + 6*k**2 - 9*k - 5. Let q be y(-7). Is 12/q*3 - -26 a multiple of 22?
False
Suppose -4*a + 59 = 3*p + 8, 0 = a + p - 12. Is a even?
False
Let r = 7 + -1. Let u = -4 + r. Suppose u*d + j - 48 - 1 = 0, -3*d + 86 = 4*j. Is d a multiple of 11?
True
Let t(b) = -4*b + 1. Let r be t(-1). Suppose r*h - d - 83 = 2*d, -d = 5*h - 79. Is 8 a factor of h?
True
Suppose -p + 13 = -5*d, -5*d + p = 4*p + 21. Is 9 a factor of d + (3 - 0) + 13?
False
Let q = 83 + -22. Is 10 a factor of q?
False
Let k = -7 + 14. Suppose 5*l + k = -4*n - 5, -3*n - 9 = 5*l. Suppose o - 49 + 12 = l. Is 12 a factor of o?
False
Suppose -2*p + 11 + 10 = 3*b, 0 = -2*b + 2*p + 14. Let h be b*1 - (-3 - -2). Let c = h - 1. Is 4 a factor of c?
False
Let f = -17 - -31. Let s = f + -4. Is s a multiple of 5?
True
Let q(g) = g**3 - 11*g**2 + 13*g + 11. Does 14 divide q(10)?
False
Let b be -1 + 1 - (-10)/2. Suppose 66 = b*x - o, 2*o = -2*x - 0*x + 36. Is 7 a factor of x?
True
Is 12 a factor of (-20)/(-60) - (-671)/3?
False
Let t be (-10)/(-4)*2*1. Let o be (-655)/(-10) + 2/(-4). Suppose o = -0*f + t*f. Is 13 a factor of f?
True
Let a(t) = t**3 + 5*t**2 + 5*t + 2. Let n be a(-4). Let p = n - -2. Suppose -5*o = -p*o - 150. Is o a multiple of 12?
False
Let y = 31 - -14. Let t be (-11 + 1)*(-2)/4. Suppose 2*s = 5*s - t*b - y, -4*b = s - 15. Is s a multiple of 14?
False
Suppose 3*b + 5 = 4*b. Suppose 4*a - 4*g - 45 = -9, b*a - 72 = -4*g. Does 12 divide a?
True
Let n(o) = 2*o**3 - 3*o**2 - o + 2. Let d be n(2). Suppose -8 = 2*s + 2*j, -2*s - 50 + 18 = -d*j. Let x = s - -20. Does 6 divide x?
True
Let l(i) be the first derivative of -5*i**4/4 - i**2 - i + 4. Let m(c) = c**3 + 3*c**2 - 3*c + 3. Let v be m(-4). Is l(v) a multiple of 3?
True
Let w be (4 + -3)/(2/18). Let i = w + 49. Is i a multiple of 19?
False
Suppose -j - 19 = -2*j. Is 19 a factor of j?
True
Let t = -1 - -3. Let h(v) = 2*v**2 + 17*v + 7. Let z be h(-11). Suppose 0 = w + t*j - 16, 5*w + 3*j = -j + z. Is w a multiple of 5?
True
Let a(d) = d**2 + 5*d + 3. Let c be a(-5). Suppose -k = -2*i - 31, -k + 5*i = -2*k + c. Does 8 divide k?
False
Let y = 20 - 14. Let v(q) = -q**2 + 10*q - 7. Does 10 divide v(y)?
False
Suppose -2*h = 18 - 86. Does 18 divide h?
False
Let s be ((-10)/8)/((-1)/(-4)). Does 3 divide (-2)/s - 46/(-10)?
False
Suppose 3*x - 3*k + 4*k = 13, 4*x - 2*k = 4. Suppose -x*w + 20 + 1 = 0. Is w a multiple of 7?
True
Let s be 6/5 - (-7)/(-35). Suppose 6*b = b. Does 12 divide s + (b - -1 - -22)?
True
Suppose -2*l - 2 = 4*j, 0 = 4*l - 9*l - j + 22. Suppose -2*w - 3*r + 22 = -r, -l*r + 27 = 3*w. Does 6 divide w?
False
Let b(o) be the second derivative of o**7/2520 + o**6/720 + o**5/30 + o**4/6 - 2*o. Let s(w) be the third derivative of b(w). Is s(0) a multiple of 3?
False
Let w(y) = 5*y**3 - 2*y**2 + 1. Let j be w(1). Suppose -3*m - 7 = -j*m. Does 4 divide m?
False
Let c(o) = o - o**2 + 2*o**2 + 0*o**2 - 4. Is c(5) a multiple of 16?
False
Let h(v) = 12*v. Is h(1) a multiple of 4?
True
Let g(y) = 3 - 3*y**2 - 4*y**2 - 2*y - 11 + y**3. Let r be g(7). Let b = 36 + r. Is b a multiple of 14?
True
Let r(t) be the third derivative of -t**6/120 + t**5/12 + t**3/2 + 3*t**2. Is 19 a factor of r(4)?
True
Suppose 2*j = -r - r + 12, 16 = 2*j + 3*r. Let f be (-200)/(-72) + (-2)/(-9). Is 5 a factor of j - f*(-8)/2?
False
Let x(z) = 11*z**2 + z + 1. Let w be x(-2). Suppose -w = 4*t - c, -3*t + 4*c - 45 = -c. Let m = -7 - t. Is 2 a factor of m?
False
Suppose j + b = 15, j - b - 11 = -4*b. Is 17 a factor of j?
True
Let h(t) = -t**2 - 6*t - 4. Let f be h(-3). Suppose u - f - 17 = 0. Does 15 divide u?
False
Let w be (8/2)/((-3)/(-9)). Suppose -w = -h - h. Is h a multiple of 3?
True
Let o = 7 - 3. Suppose 1 - 15 = -2*b + v, 44 = o*b + 2*v. Is b - (0 - (-2 + 0)) a multiple of 7?
True
Suppose 2*p = -0*j + j + 32, -p = -2*j - 76. Let a = 80 + j. Is a a multiple of 20?
True
Let a = 0 + 2. Suppose 6 - 56 = -a*r - m, -5*m + 7 = r. Is 14 a factor of r?
False
Suppose 23*h + 26 = 25*h. Does 13 divide h?
True
Is (4 - 5)/(2/(-24)) a multiple of 8?
False
Let z(x) = -x**3 - 5*x**2 - 6*x. Let a be (-4 - -2)/(-2)*-4. Is 8 a factor of 