(-95)/38 - (-3)/2. Does 11 divide (f*(-1)/2)/(146/105996)?
True
Suppose 0 = -4*k + k - m - 5, 10 = 2*k + 4*m. Suppose -14 = -p + 2*w, -3*p - w = -p - 13. Does 24 divide 90/(1 + k - (-22)/p)?
True
Let w(g) be the second derivative of -g**4/12 + g**3 - 3*g**2/2 + 4*g. Let m be w(5). Suppose 4*y = 20, y - 65 = -m*u - 0*y. Is u a multiple of 14?
False
Suppose -4*k - 5 = -9. Let p be (4979/26)/(k/2). Suppose 0 = -6*s - 47 + p. Is 14 a factor of s?
True
Let l(i) = -6*i**3 + 36*i - 18. Is l(-9) a multiple of 24?
True
Let j(v) = -v**3 + 28*v**2 + 10*v - 57. Let b be j(28). Suppose 13*x - 1493 - b = 0. Is x a multiple of 13?
False
Suppose -108*c = -109*c + 3. Suppose 4*r = c*i + 1524, -3*r + 1898 = 2*r - 2*i. Is r a multiple of 14?
True
Suppose 11*x = 3 + 206. Suppose -x*q = -31*q + 9276. Is q a multiple of 13?
False
Let i be (-2)/2*36 - -1. Let l = 753 + -697. Let c = l + i. Is c a multiple of 5?
False
Let p(j) = 66*j**3 + 3*j**2 - 7*j + 2. Let k be p(2). Suppose 2*d = 6*d. Suppose 5*i - 2*i - k = d. Is i a multiple of 11?
True
Let v(b) = 18*b + 58. Let c(n) = n**3 - 19*n**2 + 9. Let d be c(19). Is v(d) a multiple of 44?
True
Let c(s) = -2*s**3 + 4*s**2 + 8*s + 12. Suppose 23*g = -67 - 2. Does 39 divide c(g)?
True
Is 7/((-77)/(-110)) - -540 a multiple of 50?
True
Let m(k) = 7*k**3 - 12*k**2 + 4*k - 28. Let n(w) = -9*w + 40. Let a be n(4). Does 14 divide m(a)?
False
Let c = -307 + 431. Suppose k - 101 = v, 2*k - c - 84 = -4*v. Let h = k - -96. Is 22 a factor of h?
True
Let g = 13931 + 4760. Is 21 a factor of g?
False
Suppose 5*p = 3*p + 47*p - 610155. Is p a multiple of 6?
False
Suppose -1052 - 990 = -14*x - 40. Is 13 a factor of x?
True
Let w = -186 - -189. Does 7 divide (1 - -115) + (w - 0/7)?
True
Suppose 76636 = -0*d - 2*d + 16*d. Is d a multiple of 89?
False
Suppose -3*r - 15221 = -2*w, 34*r - 32*r + 22844 = 3*w. Is 9 a factor of w?
False
Let k(q) = -q**3 - q**2 - 5*q - 558. Let z be k(0). Let n = z + 1178. Does 10 divide n?
True
Let p(b) = -b + 10. Let h be p(7). Suppose 3*o - h*a = 0, -2*o + 5*a - 9 = -0. Suppose -c - 66 = o*k - 486, 2*k - 3*c = 280. Is 14 a factor of k?
True
Let p be 6 + 9/(9/(-2)). Suppose -180 = -p*y - y. Does 43 divide (18/y)/(1/86)?
True
Let z(n) = 14*n + 28. Let g = 348 + -344. Does 12 divide z(g)?
True
Suppose -9*b = -24984 + 26519 - 170681. Does 22 divide b?
False
Let q(k) = -k**3 + 10*k**2 + 24*k + 8. Let u be q(12). Does 20 divide ((-26)/u - (-2)/8) + 205?
False
Is ((-135)/(-18) - 1)*236 a multiple of 120?
False
Let q = 29486 + 5675. Is q a multiple of 16?
False
Suppose -8*r - 3*w + 6 = -4*r, -6 = 3*w. Does 34 divide (r/(-15))/(2/(-1910))?
False
Suppose 3*a - 2*j = 82924, 82922 = 3*a - 29*j + 25*j. Is a a multiple of 175?
False
Suppose -b = 2*p + 98 + 89, -b = -5. Is 11/((-11)/3) - p a multiple of 31?
True
Let d = 36294 + -22855. Does 35 divide d?
False
Let z(q) be the first derivative of 3*q**3 + 5*q**2/2 + 5*q + 435. Suppose 0*x - 6 = 2*x. Does 12 divide z(x)?
False
Let w be (-1)/((-1)/(-15)*-3). Suppose 8*v - 7*v = -4*j + 525, -5*v + 660 = w*j. Is j a multiple of 30?
False
Let i(z) be the first derivative of z**5/30 - z**4/24 + 2*z**3 - 6*z**2 - 43. Let v(g) be the second derivative of i(g). Is v(-7) a multiple of 11?
False
Let w(g) be the third derivative of 5*g**4/6 - 33*g**3/2 + 10*g**2 - g. Does 12 divide w(17)?
False
Let q be 11 - (-22500)/48 - 3/4. Suppose -481*o + 1932 = -q*o. Is o a multiple of 23?
True
Let x = -17 + -43. Let i = x - -126. Is i a multiple of 11?
True
Let l(p) = -p**3 - p**2 - 2*p + 25. Let x be l(0). Let r(j) = 40*j**2 - 1. Let n be r(1). Let w = n - x. Is 8 a factor of w?
False
Let y be -4 + 5 + 11162 - (-3 + 2). Is 18 a factor of (-1)/5 + y/20?
True
Let j(g) = -9*g**3 + 4*g**2 - g - 19. Let b(r) = -11*r**3 + 5*r**2 - 18. Let t(m) = -4*b(m) + 5*j(m). Is 23 a factor of t(-5)?
False
Let h be ((-4)/(-10))/(36/270). Suppose l + 2*k = -h*l + 376, 0 = -5*k - 10. Is 13 a factor of l + 1 - (3 + -3)?
False
Suppose 967*i - 479*i - 106880 = 484*i. Is 31 a factor of i?
False
Suppose 0*z + 4*z + 17 = 3*q, 10 = 5*q - 3*z. Does 16 divide 308/(-231)*(-49 - q)?
True
Is 13/(-156)*-26697 + 10/8 a multiple of 6?
True
Let c = -966 + 505. Let n = 1020 + c. Does 24 divide n?
False
Let o be 3/(9 - 3) + (-44209)/(-22). Suppose o = 44*l - 38*l. Does 39 divide l?
False
Suppose 3*t - 5*t + 46 = 0. Let k(f) = -f**3 + 25*f**2 - 34*f + 20. Let d be k(t). Suppose -3*w = -2*o + w + d, w = 2*o - 308. Is 39 a factor of o?
True
Suppose -2*k - 1 + 11 = 0. Suppose -10 = -k*q, 0*q = -5*h - q + 182. Is (-141)/(-2) - 18/h a multiple of 26?
False
Let z = -38 - -55. Let q(a) = a**3 - 39*a**2 + 40*a - 27. Let u be q(38). Suppose -r + z + u = 0. Does 11 divide r?
True
Suppose -5*s + 4 + 11 = 0. Suppose 2*j = s*z - 113, 5*j = -z + 7 + 8. Suppose z*f = 34*f + 58. Is 9 a factor of f?
False
Let h be (-3)/(-1) + -7 + 0/3. Does 6 divide (57 + -2)/((h + 6)/2)?
False
Let y(q) = -q**2 - 60*q - 35. Let f be y(-32). Suppose 205 + f = 4*c - 2*h, 3*c - 5*h = 810. Is c a multiple of 14?
False
Let b(c) = 85*c + 22. Suppose 7*q - 9*q + 4 = 0. Suppose -3*x = q*x, -5*x = 2*n - 8. Does 41 divide b(n)?
False
Let b(j) = -13*j - 240. Let p be b(-21). Suppose -p*z = 10*z - 15093. Is 39 a factor of z?
True
Suppose 7*x - 2*c = 974, -599 = -3*x - c - 176. Let r(k) = 2*k**3 - 5*k**2 + 4. Let a be r(4). Let g = a + x. Is g a multiple of 30?
False
Let g(k) = -1051*k + 766. Is 18 a factor of g(-2)?
False
Let w = 67 + -64. Let k(l) = 16*l + 7. Let i be k(w). Suppose -25*h - i = -26*h. Is h a multiple of 9?
False
Let f(b) = 137*b**2 + 28*b + 25. Does 121 divide f(9)?
True
Is 8 a factor of 192*(4 + (-550)/(-33))?
True
Let p be -10*-9*(-3 + 159/(-18)). Is 92 a factor of 3 - 7/((-105)/(-6))*p?
False
Suppose r - 2*p - 7279 = 0, 2*r - p = -r + 21827. Is r a multiple of 7?
False
Let l(v) = 17*v - 85. Let r be l(-19). Let o = 572 - r. Is 28 a factor of o?
True
Let y(f) = 7*f**2 - 5*f + 6*f**2 - f**3 - 9*f**2 - 1 + 2*f**3. Let c be y(-5). Let n(m) = -21*m**3 - m**2 + 1. Does 8 divide n(c)?
False
Let m(u) = 4*u**2 - 15*u + 26. Let h(c) = 7*c**2 - 29*c + 52. Let z(t) = -6*h(t) + 11*m(t). Is 17 a factor of z(6)?
False
Let g = -336 - -340. Let j(v) be the third derivative of v**5/15 + v**4/6 - 5*v**3/6 + 3*v**2. Does 18 divide j(g)?
False
Let v = 10176 - 10012. Does 2 divide v?
True
Suppose -7028 - 32433 = -5*z + 23694. Does 92 divide z?
False
Is 180/(16/372*-9*(-2)/16) a multiple of 15?
True
Let o = 117 - 121. Let n be 90 - ((-3)/(-4))/(1/o). Suppose -7*r - n = -3*p - 2*r, -3*p + 111 = r. Is p a multiple of 6?
True
Suppose 4*c - 5*c + b = -1355, -2*c + 2703 = 5*b. Suppose 4*i - 1942 = -3*g + c, 0 = -3*g + 5*i + 3332. Is g a multiple of 23?
True
Let n(u) = 6*u**3 - 9*u**2 + 62*u - 356. Is n(6) a multiple of 24?
False
Let r(f) = -3*f + 150. Suppose n = -k + 6*k - 47, -3*k = -4*n - 18. Is 20 a factor of r(k)?
True
Suppose 2*v + 3*j - j + 24 = 0, -3*j - 126 = 9*v. Let f(c) = -28*c + 1. Let k be f(1). Let i = v - k. Is i a multiple of 12?
True
Let o be 366975/(-7) - (0 - -7). Is 4/(-3) - o/174 a multiple of 10?
True
Is 420*(30/4 - 7) a multiple of 22?
False
Let t(m) = 66*m**2 + 2509*m - 82. Is 11 a factor of t(-42)?
False
Suppose 216*y - 289306 = -38*y. Is 17 a factor of y?
True
Suppose 52 = 3*y - 0*y - 2*h, -5*y - 2*h = -60. Let p(b) = b**2 + 3*b + 1. Let l be p(-6). Suppose -l*o = -y*o - 80. Is o a multiple of 16?
True
Suppose -5654 = 27*s - 31*s - j, -10 = 5*j. Is 14 a factor of s?
True
Let x = -2267 - -5570. Is x a multiple of 9?
True
Suppose -2*o + 5*o = 6. Let j be 1567/4 - (2 + 9/(-4)). Suppose -o*l = 2*l - j. Is l a multiple of 13?
False
Let j be (-2)/(60/(-16) - -4). Let y = -4 - j. Suppose -y*p - 98 = -c, -4*c + p + 322 = -p. Is c a multiple of 14?
False
Is 231 a factor of (-6842178)/(-315) + (-9)/(-5)?
False
Let f(k) be the third derivative of k**4/24 - 7*k**3/6 - 21*k**2. Let i be f(11). Suppose i*g = h + 3*h - 348, 0 = -3*h - 4*g + 240. Is h a multiple of 21?
True
Suppose -511324 - 238670 = -49*f. Is f a multiple of 18?
False
Let p = -2 - 2. Let l(a) = -6*a**3 - 11*a**2 - 6*a - 29. Let s(d) = 9*d**3 + 17*d**2 + 8*d + 43. Let i(j) = -7*l(j) - 5*s(j). Is i(p) a multiple of 11?
True
Let x(a) = 50 + 2*a**2 + 83*a - 166*a + 152*a + a**2. Is x(-25) a multiple of 7?
Fals