 factor of (-4)/(-1) - (p - 2)?
False
Suppose -3*b - 100 = b - 4*y, 0 = 4*y - 16. Let m = 9 - b. Let q = m + -3. Does 11 divide q?
False
Let m = 115 + -55. Is m a multiple of 14?
False
Let d(o) = 2*o**2 - 6*o + 2. Let r be d(4). Suppose 0 = -2*u + r + 2. Let b = u - -2. Is 8 a factor of b?
True
Suppose -5*x - 1 + 71 = 0. Is 7 a factor of x?
True
Let f(t) = 2*t**3 + t**2 - 4*t + 4. Is 16 a factor of f(2)?
True
Let o(u) = u + 9. Is 16 a factor of o(7)?
True
Let f be -1*(2 + -7 + -3). Let b(h) = 9*h - 9. Does 24 divide b(f)?
False
Suppose 5*f - x + 5 = 0, 2*f = 7*f - 3*x + 15. Let p = 11 + -7. Suppose -y - 121 = -3*b, 230 = -f*b + 5*b + p*y. Is b a multiple of 12?
False
Suppose -2*s = -0*x - x + 1, 0 = -5*s - x + 1. Suppose l - 2*r = 25, 5*l + 0*r - r - 80 = s. Is l a multiple of 4?
False
Let v = -2 + -43. Does 7 divide -4*(v/6 + 4)?
True
Is 19 a factor of (-3835)/(-15) - 3/(-9)?
False
Suppose 20 = -4*l, 0*l + 4*l + 210 = 5*y. Is 23 a factor of y?
False
Let u = 5 + 79. Is u a multiple of 27?
False
Let l(w) = 43*w. Let h be l(2). Suppose -2*j + 4*j = h. Is j a multiple of 28?
False
Suppose 3*p - 328 = -2*u, -5*p - 5*u = 146 - 691. Suppose p = 3*l + 11. Is l a multiple of 11?
True
Let n = -54 + 75. Is 5 a factor of n?
False
Let g be (-8)/6*(-45)/(-6). Is 3 a factor of 20/2*(-5)/g?
False
Suppose f = -f + 54. Does 9 divide f?
True
Let q(d) = 4*d**2 - 6. Does 10 divide q(-2)?
True
Suppose s - 18 = -4*i + 2, 14 = s + 2*i. Is s even?
True
Suppose 49 = -3*g + p - 0*p, -5*g = -p + 79. Is (-12)/((g/(-6))/(-5)) a multiple of 15?
False
Is 9 a factor of 4 + 8*12 + -1?
True
Suppose -4*k = -4*h - 80, -k - h = -15 + 5. Suppose k = 8*u - 3*u. Suppose u*p - 1 = 17. Does 3 divide p?
True
Suppose 4*n - 42 = 5*r, -3*n + 0*n + 34 = -5*r. Does 3 divide n?
False
Suppose -4*q + 616 = -g + 5*g, -3*g = -3*q + 486. Does 7 divide q?
False
Let o be (68/(-3))/2*3. Let l = 50 + o. Is l a multiple of 9?
False
Let d(n) be the third derivative of n**5/60 + 7*n**4/24 + n**3/3 + 3*n**2. Let b be d(-7). Suppose 2*y + b*y - 140 = 0. Is 14 a factor of y?
False
Let q = 18 + -41. Let i = q + 49. Is 13 a factor of i?
True
Let i = 76 + -26. Suppose -4*g = w - 47, 0 = -2*g - 3*g - 3*w + i. Suppose -141 + g = -4*t. Is t a multiple of 24?
False
Suppose -3*n + 330 = 3*p + 2*n, -5*p + n = -522. Suppose -2*k - p = k. Is k/(-3) - 2/3 a multiple of 11?
True
Suppose 5*q - 479 = -74. Is 27 a factor of q?
True
Suppose 0*m + 5*f = m - 43, 0 = 3*m + f - 129. Does 20 divide m?
False
Let d = 0 - -4. Suppose 0 = 3*j - d*j + 70. Suppose 5*h - 20 - j = -5*k, 3*h - 29 = 2*k. Is h a multiple of 13?
True
Let v = 208 - -134. Does 57 divide v?
True
Let f = -51 + 68. Is 3 a factor of f?
False
Let p = -19 - -44. Suppose 4*j = 3 + p. Suppose 2*v + 90 = j*v. Is 14 a factor of v?
False
Let q(c) = 5 - c**2 - 10*c + c + 4*c - 8*c. Is q(-11) a multiple of 8?
False
Let h be 1*3*10/3. Suppose q - h = -4*q. Is 9 a factor of (q/3)/((-3)/(-54))?
False
Let x = -8 - -19. Suppose 0 = d + t - 1, -5*d + 4*t = -4*d - x. Is d a multiple of 3?
True
Suppose 5*s - 60 - 180 = 0. Does 4 divide s?
True
Let l(m) = m**2 - m - 4. Let w be l(3). Suppose 0 = 2*y + w*y - 192. Is y a multiple of 16?
True
Suppose -v = -3*v + 50. Is 5 a factor of v?
True
Suppose 2*y = 1 + 1, -g = 5*y + 880. Suppose 27 = -2*p + p. Does 14 divide (-6)/(-27) + g/p?
False
Suppose -9 - 21 = -3*p. Does 16 divide 118/6 + p/(-15)?
False
Does 19 divide (2/6)/(6/684)?
True
Let a = -5 - -5. Suppose s - 1 + a = 0. Is 12 a factor of s + (-1 - 2) + 17?
False
Let n = 207 + -150. Does 2 divide n?
False
Suppose -24 = -2*v + 4*m, 3*v = 7*v + 2*m - 18. Suppose -3*l - 189 = -v*l. Suppose -4 = -2*k, 4*x + 2*k - 9 = l. Is 8 a factor of x?
False
Let o be 0/(2*-1 + 0). Let c be -1 + (0 + 39 - o). Suppose -2*z = l - c, 5*l + 75 = 3*z + 5. Does 10 divide z?
True
Suppose -18 = -2*a - a. Suppose -a = y + v - 0, -4*y - 26 = 2*v. Is 13 a factor of (y + 2)/((-2)/8)?
False
Let v(d) = d**3 - 4*d**2 + 4*d + 4. Suppose 0 = 3*f - 3*t + 24, 4*t - 7 = 2*f + 3. Let k = -7 - f. Does 8 divide v(k)?
False
Suppose 4*i = d - 18, 5*d + 2*i - 2 = -0. Let j(q) = d*q + 31 - 4*q + q. Is j(0) a multiple of 14?
False
Let k(x) = -x**2 - 4*x - 1. Let s be k(-3). Suppose 0 = -v + 5*y + 6, 2*y - 27 = -s*v + 33. Is v a multiple of 13?
True
Let i = 83 - 59. Is i a multiple of 6?
True
Let w(f) = -5 + 9*f**2 - 6*f - f**3 + 5 + 0*f**3. Does 3 divide w(8)?
False
Let r = 9 - 9. Suppose 4*q - 5*k - 100 = r, 3 = 2*q + 3*k - 69. Is q a multiple of 15?
True
Let w(l) = 2*l**3 - 3*l**2 - 3*l + 2. Let j = -43 + 25. Let n be (-25)/(-9) + (-4)/j. Is w(n) a multiple of 10?
True
Suppose -3*f = -0*f - 15. Let u(o) = o + 1. Let m be u(f). Let i(j) = -j**3 + 7*j**2 - 2*j + 6. Is i(m) a multiple of 10?
True
Let y = -7 - -4. Let h be (-182)/y + (-5)/(-15). Let b = h - 20. Is b a multiple of 16?
False
Let c(q) be the third derivative of q**5/60 + 5*q**4/24 + q**3 + 4*q**2. Let r be c(-4). Suppose -r*w + 24 = 5*j, -4*w - 10 = 4*j - 70. Does 13 divide w?
False
Suppose -3*j - 8 = -j. Let g = j - -13. Is 5 a factor of g?
False
Let x be (-2)/(-6)*(0 + 6). Let m(l) = -l**2 + 3*l - 3. Let c be m(x). Let u = 16 + c. Is 9 a factor of u?
False
Suppose -2*t = 2*h - 306, -t - 2*h = -5*t + 606. Is t a multiple of 38?
True
Let r(v) = v + 4. Let i(b) = 3*b + 8. Let f(c) = -2*i(c) + 5*r(c). Does 3 divide f(-10)?
False
Let m(k) = k**3 + 11*k**2 + 8*k + 12. Suppose 75 = -h + 6*h. Let v be (4/(-6))/(1/h). Does 16 divide m(v)?
True
Suppose 2*v = 5*c - 33, 0*v = -3*c - 5*v - 5. Suppose 2*j - j = -c*t + 20, 3*j = -15. Is t even?
False
Let w = -2 + 4. Let u be w/11 + 634/22. Suppose 0 = -5*d - 6*o + 2*o + u, -26 = -2*d + 2*o. Does 3 divide d?
True
Suppose 2*j = r + 5*j - 18, 26 = r + 5*j. Suppose r*u = u + 20. Suppose u*q - v - 69 = q, -3*v - 9 = 0. Does 19 divide q?
False
Let t(m) = m**3 + 6*m**2 - 2*m - 9. Let y be t(-6). Suppose -y*h - 336 = -6*h. Suppose -5*p - 4*v + 58 = -26, -5*p + 3*v = -h. Is p a multiple of 6?
False
Does 23 divide 103 - (-9)/((-54)/24)?
False
Is 23 a factor of 2 - (-2 + 0 + -19)?
True
Suppose -2*k - 8*p = -12*p - 202, 0 = -4*k + 4*p + 392. Is 10 a factor of k?
False
Suppose -l + 3*l + 232 = 2*h, -3*l = h - 120. Is h a multiple of 9?
True
Let b(g) = g**3 - 3*g**2 - 6*g + 4. Is b(5) a multiple of 6?
True
Does 9 divide (-3 + -31)/(1 + -2)?
False
Let v(y) = -3*y - 3. Does 12 divide v(-5)?
True
Suppose -3*y = -j - 12 - 3, -5*y = j - 25. Let f = j + 3. Is f a multiple of 3?
True
Let a(y) = -y**3 + 7*y**2 - y - 4. Let l = 13 + -10. Does 25 divide a(l)?
False
Let r(q) = 2*q + 13*q + 2 + 2 - 2. Does 16 divide r(2)?
True
Let y(p) be the second derivative of -p**3/6 - p**2 + 3*p. Let a be y(-4). Does 11 divide 3/a - 154/(-4)?
False
Let l = -249 - -361. Is 16 a factor of l?
True
Let x = -78 + 153. Is x a multiple of 25?
True
Suppose m - 2*a - a - 28 = 0, 0 = -5*m + 2*a + 114. Does 11 divide m?
True
Let h(k) = 3 - k**3 - 4 - 3*k**2 + 2*k**3 - 3*k. Let f be h(4). Does 10 divide f*6/(-27)*-45?
True
Suppose x - 6*x + 160 = 5*p, 0 = 3*p + 4*x - 92. Is p a multiple of 18?
True
Suppose -5*h - 20 = -h. Let d be h/((-5)/2) + 0. Is 19 a factor of -3*(-8 + 1) - d?
True
Let k be 2*5 + (-8 - -5). Suppose -10*q + 120 = -k*q. Does 22 divide q?
False
Suppose -3*t - 294 = -6*t. Suppose -3*u + 5*u - t = 0. Does 14 divide u?
False
Let x = 19 + -17. Let z = 7 - x. Is z a multiple of 2?
False
Let a = -13 + 67. Is a a multiple of 9?
True
Let g = 36 + -24. Let b = g - -6. Does 9 divide b?
True
Suppose 3*x + 5*k = 73, -18 = -x + 3*k + 11. Is 13 a factor of x?
True
Let m(t) = 2*t + 12. Let d be m(-6). Suppose 128 = 4*h - d*h. Is h a multiple of 13?
False
Suppose u + 2*u - 84 = 0. Suppose h - 20 = 4*c, u = 4*h - 4*c + c. Suppose 0 = -0*l + h*l - 40. Is 5 a factor of l?
True
Let l = 17 - -95. Is 6 a factor of l?
False
Suppose 5*u + g - 336 = 0, g - 2*g - 200 = -3*u. Is u a multiple of 33?
False
Suppose 2*q + 5*n + 48 = 3*q, 0 = -4*q - 2*n + 192. Is q a multiple of 16?
True
Suppose 3*q - 49 = -2*b, -26 = -2*b - 2*q + 28. Does 4 divide b?
True
Let u(z) = -4*z - 1. Does 2 divide u(-1)?
False
Let q(f) = f**3 - f**2 + 21. Let r(l) = 4*l**3 - l**2 - 2*l - 1. Let t be r(-1). Let w be t/(-6) + (-6)/9. Does 8 divide q(w)?
False
Let k be (11/(-2))/(1/(-2)). Let u = k - -34. Let c 