2 + 46*u - 23. Let j be d(14). Is 577*22/j - (-2)/(-3) a multiple of 28?
False
Let k(x) = x**3 + 6*x**2 + x + 26. Let w be k(-6). Let o(j) = -j**3 + 23*j**2 - 45*j + 25. Does 13 divide o(w)?
True
Let l = -1 - -6. Let y = -332 + 368. Suppose 4*q - y = -4*p, -p - l*q = p - 3. Is 7 a factor of p?
True
Let i(w) be the first derivative of -9*w**2 - 26*w + 269. Suppose 3*f - 2*b = -21, 0 = -f - 3*b - 1 + 5. Does 24 divide i(f)?
False
Let o(t) = t**2 + 66*t + 949. Let u be o(-48). Let c = 22 - 86. Let r = c + u. Is 3 a factor of r?
True
Let h = -689 + 699. Suppose 5*p + j + 3650 = 7*p, 0 = 5*j + h. Is 96 a factor of p?
True
Let b(o) = 13*o + 96. Let j be b(-6). Let u = j + 303. Does 13 divide u?
False
Let v(i) = -569*i + 4232. Does 13 divide v(-14)?
False
Let u(n) = 16*n**3 - 3*n**2 - 4. Let r be u(-2). Let c = -138 - r. Does 3 divide c?
True
Suppose 0 = -5*g + 4*y + 1306, 2*g - 4*g = -2*y - 524. Let w(h) = 3*h**2 + 44*h + 85. Let v be w(-2). Is 11 a factor of (g/v)/(8/12)?
False
Suppose 3*i = 4*k - 9, -5*k + 3*i + 0 + 9 = 0. Let d(f) = 58 - 64*f + 65*f + 26. Does 14 divide d(k)?
True
Let n = 33291 + -23837. Is 96 a factor of n?
False
Let u(j) = 447*j**3 + 8*j**2 - 21*j + 7. Does 11 divide u(2)?
False
Suppose -5*x + 21 = y + 4, -3*x = y - 11. Suppose -150 = -x*f + f + 4*h, 0 = 5*f + 5*h - 420. Does 24 divide f?
False
Let l(p) = 10*p**2 - 106. Let n = 23 - 31. Does 20 divide l(n)?
False
Suppose 11*n - 14*n + 7*n = 0. Let d be (-2)/10*n + 2. Does 6 divide (0/(-5) + -2)/(d/(-36))?
True
Suppose 0 = -40*j + 124*j + 13570 - 51370. Is j a multiple of 25?
True
Let s be 9/(-81)*3*-9. Let q(o) = 144*o - 170. Is q(s) a multiple of 19?
False
Let g = -1719 + 1961. Is g a multiple of 18?
False
Let u be -13*(1 + -2)*-1. Let n(m) = m**2 + 11*m + 4. Let l be n(u). Suppose 0 = -5*f + 8*f - l. Does 2 divide f?
True
Suppose -5*x = 4*a - 11785, 0 = -2*a - 4*x + 8345 - 2451. Does 19 divide a?
True
Let w = 31540 - 26921. Does 31 divide w?
True
Suppose h = -4*a - 11 - 0, -3*a - 12 = 2*h. Let n(l) = l - 8*l**2 - l**2 - 5*l**3 + l. Is n(h) a multiple of 24?
True
Let c = -90 + 93. Let b(m) = -3*m**3 - 4*m**2 + 5*m. Let a be b(c). Let q = 107 + a. Does 2 divide q?
False
Let v(w) = 6*w**2 - 6*w + 13. Let d(o) = o**3 - 9*o**2 - 11*o + 14. Let c be d(10). Is v(c) a multiple of 10?
False
Let b be -9 - (36/(-6) - -2) - -38. Let w(x) = 3*x**2 + x + 4. Let l be w(-3). Let p = b - l. Does 5 divide p?
True
Suppose 27 = 3*i + 3*u, 11 = 4*i + 2*u - 15. Let b be (i*5)/(4 - (-72)/(-20)). Suppose -6*x + b + 238 = 0. Is 7 a factor of x?
False
Let q be (-4)/(-12)*(-36)/2. Does 9 divide 198*(27/q - -6)?
True
Suppose -j + 3 = 0, -3*j = 7*i - 3*i - 677. Let w = i + -112. Is w a multiple of 11?
True
Suppose -22*x + 17*x - 2*s + 19146 = 0, s - 19148 = -5*x. Does 76 divide x?
False
Suppose -10 + 26 = -4*v. Is v + (-3 - 90/(-5)) a multiple of 2?
False
Suppose 8*u = 11*u - 5*g - 2232, -4*g + 3720 = 5*u. Does 17 divide u?
False
Let k(q) = -28*q - 28. Let t be 5/15*0 + (-15)/(-1). Let o be (-39)/t - -2*(-12)/(-40). Is 28 a factor of k(o)?
True
Let d(l) = l**2 + 16*l - 1. Let g be d(-15). Let k be -26*5/(20/g). Let f = k - -12. Is f a multiple of 29?
True
Let o(a) = a**2 + 20*a + 18. Let t be o(-19). Does 15 divide (11 - -206) + (-1 - t)?
False
Suppose 22*u + 576 = 30*u. Suppose -2*c = -924 - u. Is c a multiple of 30?
False
Let n be 0 + (3 - -12)*2. Let z be (-1586)/(-10) + (-5 - (-162)/n). Suppose 2*a + 3*j + 323 = 4*a, j = a - z. Does 14 divide a?
True
Suppose z + 0*p = -3*p + 3, 0 = -2*z + 4*p + 26. Let m(o) = -144*o + 18. Let k(y) = -50*y + 5. Let b(d) = 11*k(d) - 4*m(d). Is b(z) a multiple of 17?
False
Suppose -55 = -14*u + 3*u. Suppose -197 + 677 = u*d - 3*i, -2*d + 192 = 4*i. Suppose 0 = -4*x + d + 88. Does 8 divide x?
False
Suppose 14064 = 41*u - 40*u - 5*z, -4*u + z = -56332. Is u a multiple of 14?
True
Let j(p) be the second derivative of -13*p**8/6720 - p**6/720 - p**5/120 - 13*p**4/12 - 4*p. Let a(k) be the third derivative of j(k). Does 2 divide a(-1)?
False
Let p(v) = 4*v**2 + 91*v + 2763. Is p(-41) a multiple of 73?
False
Let h(p) = -p**3 - 5*p**2 - 8*p - 4. Let f be h(-3). Let t be (3/2 + f)/((-3)/(-6)). Suppose -358 = 3*k - t*k - 5*a, 2*a - 265 = -3*k. Is 23 a factor of k?
False
Let r = -70 + 73. Suppose -4 = -r*y - 16. Let f(c) = c**2 + c + 3. Is 3 a factor of f(y)?
True
Suppose -18*z + 634 = 94. Let o = 290 - z. Is 4 a factor of o?
True
Let y(x) = 3*x**2. Let o be y(-1). Suppose 5*p - 321 = -4*n + 78, -4*n = 3*p - 241. Suppose p = 2*i + o*t, -t = 4*i - 2*t - 179. Is 17 a factor of i?
False
Let o(n) = 2*n**3 - 5*n**2 + 6*n - 4. Let a be o(5). Let s(b) = -b**3 + 11*b**2 - 7*b + 13. Let g be s(10). Let c = a - g. Does 22 divide c?
False
Let x(k) be the second derivative of k**5/20 + k**4/3 - 11*k**3/6 + 5*k**2/2 + 21*k. Let m be x(4). Let q = m + -61. Does 14 divide q?
True
Suppose 10*b + i = 157151, b - 12063 - 3651 = i. Does 93 divide b?
False
Let n = 28852 + -26504. Does 42 divide n?
False
Let z be (-5824)/(-88) - ((-4)/(-22) + 0). Does 14 divide 98/((z/24)/11)?
True
Let a = 82469 - 51955. Is 146 a factor of a?
True
Let v(s) = s + 2. Let y be v(-12). Let k be (-28)/(-70) - 46/y. Suppose -k*w + 408 = 33. Is 15 a factor of w?
True
Let h = 2313 + -4206. Let r = h - -2717. Is 37 a factor of r?
False
Let r(h) = 38*h**2 + 27*h + 116. Suppose 4*z + 3*c + 16 = 0, 4*c + 20 = 108*z - 113*z. Does 17 divide r(z)?
False
Let a(t) = 1624*t**2 - 13*t + 4. Is a(-1) a multiple of 68?
False
Let n(u) be the first derivative of 2*u**3/3 + u**2 - 14*u - 71. Does 3 divide n(-4)?
False
Suppose q - 682 = 5*r, 27 = -3*q - 5*r + 1953. Is q a multiple of 8?
False
Is 142 a factor of ((-21382)/3)/((-12)/18)?
False
Let u(p) = 5*p**3 - 4*p**2 - 2*p - 21. Let l(f) = f**2 - 9*f + 23. Let d be l(6). Does 38 divide u(d)?
True
Suppose -12*j = 1488 + 9864. Let o = j + 1763. Is 80 a factor of o?
False
Suppose -975 = -32*t - 7*t. Is 4/(-8)*25/(t/(-114)) a multiple of 19?
True
Suppose -k + 275 = -3*o + 25, -k + 260 = 2*o. Suppose 2*h - 722 = -0*h. Let l = h - k. Is 15 a factor of l?
True
Let w = -43203 - -61198. Is w a multiple of 49?
False
Let l = -5437 + 10957. Is 15 a factor of l?
True
Let n be (4 - (-38)/(-9)) + 2/9. Suppose 68*q - 63*q - 15 = n. Is 2 a factor of q?
False
Suppose 6013 = 8*h + 101. Suppose 0 = -6*u + 989 + h. Does 16 divide u?
True
Let m(z) = -2*z**3 - 17*z**2 + 8*z + 33. Let v be m(-9). Let h = -137 + 197. Let q = h - v. Does 7 divide q?
False
Let r(h) = -27*h - 105. Does 21 divide r(-112)?
True
Is 3 a factor of (-10400)/(-48)*30 - -9?
False
Let b be (-10)/(-5 + 3 + 0). Suppose -b*k - 2*f + 364 = 0, 4*k + 3*f + 195 = 489. Is 9 a factor of k?
True
Let g = -270 - -284. Suppose 1731 = g*i - 2987. Does 25 divide i?
False
Let g = 44 - -34. Let l = g - 160. Let y = l + 170. Does 35 divide y?
False
Let p be (50/(-20) - 0)*(-8)/10. Let c(g) = 32*g**3 + 2*g**2 + g + 3. Is c(p) a multiple of 9?
False
Let t(f) = -6*f + 26 + 19*f**2 - 475*f**3 + 474*f**3 - 6*f**2. Let v = -4 - -13. Does 41 divide t(v)?
False
Let u be -1 + (-4)/2 + (-55 - -61). Suppose 0 = -3*k - 3 + 21. Suppose k = -2*v, 0 = u*s + 2*v - 65 - 109. Does 12 divide s?
True
Suppose 399 = 3*a + 3*t, 5*a + 2*t + 0*t = 671. Let s = -25 + a. Does 11 divide s?
True
Let c be 122668/117 - 8/18. Let y = -503 + c. Is 30 a factor of y?
False
Let t(n) be the first derivative of -n**4/4 + 3*n**3 - 5*n**2/2 - 2*n + 23. Let o be t(6). Suppose -80*x + 384 = -o*x. Is x a multiple of 12?
True
Suppose 147798 = 60*w - 196602. Is w a multiple of 28?
True
Let x(r) = 3*r + 6. Let z be x(0). Suppose 0*i = z*i - 354. Let n = 80 - i. Is 8 a factor of n?
False
Let x = -71 + 75. Let h(a) = 83*a - 16. Is 29 a factor of h(x)?
False
Suppose 32 = -4*f + 4*j, f + 0*j + 4*j + 3 = 0. Let y be -38*(1 + 0 + f/14). Let i = 62 + y. Is 7 a factor of i?
False
Suppose -4*z - 171565 = -3*f, 4*f - 6*z + 4*z - 228760 = 0. Is f a multiple of 29?
False
Let u = 19 + -19. Suppose u = 5*o - 4*o - 176. Suppose -5*b + 139 = -o. Is 9 a factor of b?
True
Suppose -3*b + 631 = 625. Suppose z - 3*z - 498 = -4*r, -b*r - 5*z + 255 = 0. Does 5 divide r?
True
Suppose -17*u - j = -14*u - 11915, -j - 19869 = -5*u. Is u even?
False
Let y = 143 + -86. Suppose -3*z + 23 = o, 3*o - y = z + 2*z. Does 2 divide (-50)/