f -p**4/8 + 113*p**3/6 - 25*p**2. Is 17 a factor of r(0)?
False
Let s be -12*((-4)/(-10))/(12/(-15)). Suppose -s*w + 0 = -1080. Is w a multiple of 15?
True
Suppose -3*c - 3*s = 12, -4*c - 3*s = -s + 22. Let y(t) = -t**3 - 5*t**2 + 14*t + 10. Is 4 a factor of y(c)?
False
Suppose 0 = -4*d + 20, -2*k = 8*d - 7*d - 1049. Does 9 divide k?
True
Let f(r) = 4*r**2 + 2*r - 12. Suppose 35 = -4*z - 3*z. Does 6 divide f(z)?
True
Let h(p) = -p**3 + 15*p**2 - 3*p + 5. Let i be h(10). Suppose 3*q - b = -i, 0*q - 5*b - 169 = q. Let f = q - -227. Is f a multiple of 17?
True
Let n = -158 - -362. Is 12 a factor of n?
True
Suppose 0 = -2*o - 10, o = -2*g - 4*o - 3. Is (3 - 2)*(g + 139) a multiple of 18?
False
Let s = 674 - 578. Is s a multiple of 12?
True
Let s = 305 - 125. Let x = -121 + s. Suppose 5*o = 164 - x. Is 21 a factor of o?
True
Suppose 2*l + 4724 = 5*w, 9 - 1 = -4*l. Is w a multiple of 4?
True
Let h(d) = 17*d - 2. Does 24 divide h(10)?
True
Let z be (-8280)/(-165) + 2/(-11). Suppose -a - 23 = -5*v, -5 = -0*v + v - 5*a. Suppose 0 = -5*y - 0*y - 10, 0 = -n - v*y + z. Is 10 a factor of n?
True
Suppose 3*i + 1635 = 6*u - u, 0 = u - 4*i - 344. Is 3 a factor of u?
True
Suppose 2*t = -5*t - 84. Let c(o) = o**3 + 14*o**2 + 16*o + 3. Does 13 divide c(t)?
False
Is (-1)/(9/(-1881))*1 even?
False
Let t = 7 + -5. Suppose 42 = t*b - 100. Is 4 a factor of b?
False
Suppose -4*s - 3998 + 15326 = 0. Is s a multiple of 9?
False
Suppose -10*x - 4 = -11*x. Is x/(-12)*-9 - -45 a multiple of 8?
True
Let p(r) = -13*r + 12. Let u be p(7). Let f = u + 114. Is f a multiple of 7?
True
Let z be -8*(-24)/20*(-10)/(-4). Let s = -11 - -17. Let t = s + z. Is t a multiple of 9?
False
Let p(u) = 2*u**3 + 24*u**2 + 4*u + 18. Is 7 a factor of p(-10)?
True
Let s(j) = j**3 - j**2 - 12*j. Is s(6) a multiple of 6?
True
Suppose -2205 = 11*n - 16*n. Does 5 divide n?
False
Let h(f) = -f + 3. Let w be h(3). Suppose 34*s - 29*s - 180 = w. Is 9 a factor of s?
True
Suppose -1 - 3 = 4*h. Let u be (7/4)/(h/(-4)). Suppose u*r + 40 = 9*r. Is 7 a factor of r?
False
Suppose -3*u = -6*u + 696. Let g = u - 151. Does 18 divide g?
False
Suppose -36*w = -71*w + 10920. Suppose -2*a = t + 1, 5*a + 4 = 2*t - 12. Suppose -w = -t*i - i. Is 26 a factor of i?
True
Let p(l) = 234*l**2 + 74*l + 214. Is p(-3) a multiple of 24?
False
Let c = 9 + -1. Suppose 3*t + 5*o + 9 = 0, 11 + c = 5*t - 3*o. Let m = t + 46. Is 24 a factor of m?
True
Suppose m - 462 = -8*a + 12*a, 5*m - 2235 = -5*a. Does 8 divide m?
False
Let c(d) = 7*d**2 + 9*d - 16. Is c(10) a multiple of 18?
True
Suppose -2*t - 3*t = -535. Let k = -29 + t. Is k a multiple of 27?
False
Suppose -123 = -4*g + 5*m, g = -11*m + 15*m + 17. Is g a multiple of 2?
False
Let n(s) = 11*s**2 - 8*s - 146. Is 12 a factor of n(-8)?
False
Does 11 divide 7 + (-4 - 6) + 2607?
False
Let b(w) = -w**3 - 5*w**2 + 4*w - 4. Let t be ((-8)/(-16))/((-1)/(-2)). Let y = t - 7. Is 5 a factor of b(y)?
False
Let s be (-7 - -5)/(3 - 1). Let k be (-10 - s)*(-2)/6. Is 4 a factor of ((-8)/k)/((-1)/3)?
True
Suppose 5*p - b = 783, p + 2*p = -5*b + 453. Let j = p + -21. Does 18 divide j?
False
Let c be 6/33 - (-265)/55. Suppose 4*t - 2*k = 10, t - 6*t - c*k + 50 = 0. Suppose 3*q = 2*u + 130, 8*u - 162 = -4*q + t*u. Is 14 a factor of q?
True
Suppose -160 + 40 = -6*l. Does 18 divide l?
False
Let g(u) = 4*u - 15. Let k be -1*(-20 + -3 + 4). Does 9 divide g(k)?
False
Suppose -3*j = 143 + 748. Is j/(-4) + (-24)/(-32) a multiple of 15?
True
Suppose -24 = -2*s - s. Suppose -3*v + 0*v + s = i, -3*v + 18 = 3*i. Suppose 2*p = 2*h - 70 - 14, i*h + 4*p - 174 = 0. Is h a multiple of 15?
False
Let q(n) = -n**3 + 4*n**2 + 14*n + 5. Is q(-5) a multiple of 40?
True
Let t(k) be the first derivative of k**2/2 + 13*k + 7. Let l be t(-10). Suppose -y - 41 = -v, 0 = y + l*y + 20. Does 9 divide v?
True
Suppose 0 = -27*h + 89971 - 10294. Is h a multiple of 31?
False
Let v = -204 - -226. Is v a multiple of 22?
True
Let o(q) = -q**2 - 3*q + 8. Let d be o(-4). Let y(l) = -1 + 2*l**2 + 2 + 2*l - 5. Does 9 divide y(d)?
True
Suppose -152 = -6*s - 8. Does 22 divide (-1443)/(-12) - 2*3/s?
False
Let a(j) = j**2 + j + 1. Let s be a(2). Is 10 a factor of (160/56)/(2/s)?
True
Let p be (-3)/((-3)/8*4/152). Suppose p = 46*m - 42*m. Is 8 a factor of m?
False
Let m = 15 + -12. Let a(v) = -17*v**m + 0 + 0 - 1. Is a(-1) a multiple of 10?
False
Suppose -g + 1884 = 2*t, 5*g = -3*t + t + 9404. Does 12 divide g/24 + (-2)/6?
False
Let j(l) = l + 12. Let y be j(-13). Let f be (-2 - y)/(1/(-3)). Suppose 0 = -2*b - f*b + 125. Does 7 divide b?
False
Suppose 3*v - 3*s - s - 14 = 0, -5*s - 10 = 0. Suppose 3*i - 1 - v = 0, a = -5*i + 22. Is a a multiple of 5?
False
Let m = -15 - -28. Suppose -4*h - y = -m, -1 + 10 = 2*h + y. Suppose -q - 1 + 3 = 0, h*j = -3*q + 198. Is j a multiple of 16?
True
Let n(s) = -5*s - 29. Let m be (-1581)/119 + 4/14. Is 6 a factor of n(m)?
True
Let b(l) = 2*l**2 + 86*l - 16. Is b(-50) a multiple of 18?
True
Let s(u) = u**2 - u - 2. Suppose -o = 3*o + 8. Let z be s(o). Is z - -1*(2 + 24) a multiple of 6?
True
Let r(i) = i**3 - 21*i**2 + 8. Let p be r(21). Does 35 divide 140 - ((-22)/p + 3/4)?
False
Suppose -495*d = -482*d - 45500. Is d a multiple of 14?
True
Let j(d) = -2 - 2*d + 1 - 6 + d. Let a be j(-7). Suppose 5*h + a*c = -3*c + 170, 68 = 3*h - 5*c. Is h a multiple of 10?
False
Let x(z) = -4 + 8 + 0*z + 7*z**2 - 2*z. Is x(-4) a multiple of 20?
False
Suppose -10 = -10*k + 5*k, 2*k = -2*m + 336. Let c = m + -38. Let u = c + -70. Is 17 a factor of u?
False
Suppose -5*r + 893 = m, m - 6*r = -3*r + 853. Does 62 divide m?
True
Let c(n) = 39*n**2 - 3*n + 18. Does 10 divide c(4)?
True
Is 46 a factor of 4*(-5)/(-6)*870/4?
False
Let o = -3877 + 5945. Does 44 divide o?
True
Suppose 7*m + 11*m = 108. Suppose 4*r + 1095 = -y + m*y, -4*y + 4*r = -872. Is 39 a factor of y?
False
Let a = -30 + 25. Let f = a - -117. Does 20 divide f?
False
Is (-89 - 63/9)/(6/(-4)) a multiple of 16?
True
Let h(s) = -36*s**3 - 15*s**2 + 3*s - 12. Is h(-4) a multiple of 12?
True
Suppose 0 = -4*m - 2*p - 18, -4*p - 21 = -m + 6*m. Is 24 a factor of (-16)/10*(m*3 - 0)?
True
Let s(f) = 47*f - 234. Is 11 a factor of s(9)?
False
Suppose 0 = 2*b - 3*q - 18, 3*b - 4*b + 19 = -4*q. Does 14 divide b/(-4) + (-678)/(-8)?
True
Suppose -2*y - 14 = -2*c, 2*y = -3*c + c - 6. Suppose 3*a + c*a - 525 = 0. Let i = a + -47. Is i a multiple of 12?
False
Suppose 0*y + y = 44. Let d be 4*12/(-8)*5. Let v = y + d. Is v a multiple of 4?
False
Let j be (-186)/(-12) - (-1)/(-2). Is (-5)/j*-85*(6 - 3) a multiple of 5?
True
Suppose 6*w - 3*w + 6 = 2*x, 3*w + 21 = -3*x. Let t be 1*(x - -3)/1. Suppose j = -j + 8, d - j - 37 = t. Does 15 divide d?
False
Let q(f) be the third derivative of 4*f**2 + 1/120*f**6 + 0*f - 4/15*f**5 - 7/6*f**3 + 5/6*f**4 + 0. Is q(15) a multiple of 17?
True
Let x(c) = 277*c - 341. Does 13 divide x(4)?
True
Suppose 0 = 3*o + u - 1147, -1911 = -5*o + 38*u - 39*u. Is 26 a factor of o?
False
Let d(n) = -n**3 - n**2 + 27. Let m be -3*(-4)/12*0. Is 27 a factor of d(m)?
True
Let s = -151 - -150. Let p(k) = -221*k + 10. Is p(s) a multiple of 21?
True
Suppose 26*l + 3355 = 24883. Does 9 divide l?
True
Let v = -323 + 833. Does 10 divide v?
True
Suppose -27*n + 6*n + 26481 = 0. Is 50 a factor of n?
False
Suppose -4*o + o + 153 = 0. Let i = o + -47. Is 4 a factor of i?
True
Let c(w) = -w**3 + 16*w**2 + 16*w + 57. Does 18 divide c(17)?
False
Let a be (1/3)/(952/(-318) - -3). Suppose -4*r = -4*i - 188, -2*r - 4*i = -3*r + a. Is r even?
False
Let f(n) = -9*n**3 + n**2 + 2*n + 1. Let t be (4/(-3))/(10/(-120)). Suppose 0 = 4*m - 20, 5*m - t = z + 10. Is 4 a factor of f(z)?
False
Suppose -5*o - 1025 = 85. Let c = 335 + o. Is c a multiple of 20?
False
Suppose 2*a - 13 = 3. Let m be (-69)/15 - a/20. Let n(r) = -r + 7. Does 7 divide n(m)?
False
Suppose -19 = -i + 1. Suppose -23*h = -i*h - 84. Does 14 divide h?
True
Let b(h) = 16*h - 47. Let c be b(7). Suppose 2*s + t = c, 0 = -4*s + 2*t - 0*t + 110. Is s a multiple of 30?
True
Let u = 207 - -18. Is 25 a factor of u?
True
Let s(i) = -6*i + 29. Let p(o) = -7*o + 30. Let j(y) = -2*p(y) + 3*s(y). Is 29 a factor of j(-15)?
True
Let z = 19 + -12. Let b(n) = -2*n**2 - 3*n + 11. Let v(m) = 5*m**2 + 10*m - 32. Let h(u) = -8*b(u) - 3*v(u). I