m)?
True
Let x(d) = d**3 + 9*d**2 + 17*d**2 - 2*d**3 + 53*d - 2*d**2. Is x(26) a multiple of 13?
True
Let o be (2/(-9))/((-16)/14544). Let h = o + 4. Is h a multiple of 4?
False
Let o(s) = s**2 + 3*s + 6. Let q be o(-4). Let z(p) = -20*p**3 - 102*p**2 - 12*p. Let i be z(-5). Suppose i + q = 4*w. Does 2 divide w?
False
Let s = 11 + -16. Let l(u) = -2 + 5 - 9*u - 3*u + 2*u**2 + 19*u - 4. Is l(s) a multiple of 8?
False
Let m be 20/(-15) + (-5)/3 + 53. Let j = -38 + m. Let g(z) = -z**3 + 10*z**2 + 25*z + 11. Is g(j) a multiple of 5?
False
Is 4 a factor of (560/(-100) + 4)*-1090?
True
Let v be (-2)/10 + (-36792)/(-35). Let w = -923 + v. Is 8 a factor of w?
True
Suppose -2*k - 17270 = -4*y, -3954*y + 3958*y - 17300 = -4*k. Does 80 divide y?
True
Suppose 5*a + 593 = 828. Suppose 3*y - a*y = -8668. Does 74 divide y?
False
Let f = -61 - -63. Suppose 5*i - 33 = -5*g - 13, 2 = -f*i. Suppose 46 = g*v - 59. Does 9 divide v?
False
Let d = 16 - 14. Suppose -38 = -4*p + d*p. Suppose -2*h = 2*f - 42, 0*h - h + f = -p. Is 10 a factor of h?
True
Let q = -12713 + 13041. Does 69 divide q?
False
Let y(r) = 182*r + 637. Let z(p) = 2*p**2 + 40*p - 5. Let x be z(-18). Let b(q) = -14*q - 49. Let c(j) = x*b(j) - 6*y(j). Is c(-4) a multiple of 7?
True
Let m = -4129 + 12234. Does 9 divide m?
False
Suppose -2*k = -27 + 25, 2*k = -g + 23372. Is g a multiple of 123?
True
Suppose 51*w - 23353 = 189929. Is 34 a factor of w?
True
Let p(w) be the third derivative of w**6/120 + 7*w**5/60 - 17*w**4/24 + w**3/6 + 59*w**2. Does 30 divide p(-7)?
True
Let p(j) = -590*j + 4896. Is 44 a factor of p(8)?
True
Let y(c) = -6*c**2 + c - 1. Let h be y(-1). Let d(o) = o**3 + 9*o**2 - 5*o + 13. Is d(h) a multiple of 13?
True
Suppose 4*s + 2*a - 61370 = -s, 36801 = 3*s - 3*a. Is s a multiple of 62?
False
Let s = -45 - -168. Let o = 106 - s. Let w = 131 - o. Is w a multiple of 12?
False
Is (76/(-836))/(2/(-22))*5049 a multiple of 17?
True
Let f = 162 + -122. Suppose 0 = 4*l + 2*s - 40, -2*l + f = 2*l + 3*s. Does 5 divide l?
True
Suppose -256*q = -59*q + 210*q - 7399667. Does 59 divide q?
False
Let l(m) = 35*m**2 + 227*m - 20. Is 195 a factor of l(-26)?
False
Suppose -28 = -8*l + l. Let v(r) = -r**2 - 13*r + 25. Let t be v(-13). Is (-2)/10 + (l - (-880)/t) a multiple of 13?
True
Let h(r) = -r**2 + 6*r + 16. Let f be h(-4). Let n = 232 - f. Is 37 a factor of n?
False
Suppose -5*c + 999 = -1946. Let d be 2/(-14) - c/(-7). Suppose -3*j = 3*j - d. Is j a multiple of 14?
True
Let n = -4 - -35. Suppose 4*p - n = -5*d - 2, 5*p = 5. Suppose 3*s - 8*s = 3*v - 789, s + d*v = 149. Does 13 divide s?
False
Let t(p) = 2*p**2 - p - 1. Suppose 31*j = 32*j + 4. Let b be t(j). Suppose -x = -49 - b. Is 9 a factor of x?
False
Suppose -2*y = -2*i - 0*y + 30782, 3*i = -3*y + 46137. Is 9 a factor of i?
False
Let u = 134 - 279. Let w = u - -264. Is 17 a factor of w?
True
Is 43 a factor of 209321/19 - -3*(8 + 2724/(-342))?
False
Suppose -2*f + 3622 = -2*g, 4246 = -3*g - 2*f - 1197. Is 12/(-15) + g/(-35) even?
False
Let k = 39 + -6. Let n = 45 - k. Suppose -n*w + 360 = -9*w. Does 22 divide w?
False
Let d = 858 + -185. Suppose -2*k - 2 = 0, d - 158 = 5*o - 5*k. Is o a multiple of 34?
True
Let r be 8 + (-8 - -2 - -5). Is -15*(190/(-6) - r) a multiple of 58?
True
Let t(j) = 7*j**3 - 4*j**2 + 8*j + 5. Let s be t(4). Suppose 3*i - 1528 = -3*u - s, i - 3*u = 389. Is i a multiple of 34?
True
Is 10 a factor of (-13)/(65/80) + 7 - -629?
True
Does 8 divide 31074 + (2 + 8 + -6 - 10)?
False
Let l = -422 - -253. Let w = l + 480. Does 12 divide w?
False
Let n(u) = -553*u**2 + u + 2. Let z be n(-1). Let d be (16/6)/((-8)/z). Does 23 divide (3 - 2)/(8/d)?
True
Let g = 19346 + -9736. Is 31 a factor of g?
True
Suppose -4*x + 5*f + 26 = 0, -2*f - 6 = f. Suppose b - x = 3*y, 3*b + 3*y + 2*y = 12. Suppose b*q = -3*q + 343. Does 11 divide q?
False
Let o(l) = -l**2 + 18*l + 15. Let i be o(7). Let u = 88 + i. Is 12 a factor of u?
True
Suppose -23*y + 49608 = -17*y. Does 13 divide y?
True
Let y(o) = o**2 + 28*o - 74. Let u be y(-32). Suppose -3*f + 1476 = u. Does 20 divide f?
False
Suppose -34*b = -b - 330. Suppose b*p - 12*p = 3*h - 264, 5*p = h - 105. Does 6 divide h?
True
Let t(f) be the third derivative of f**4/8 + 6*f**3 + 10*f**2. Let m be t(-8). Let s(h) = h + 1. Does 2 divide s(m)?
False
Suppose -3*v - 11 = i - 0*v, 3*i = -3*v - 51. Let g = i + 22. Is 78 - (g - -1 - 7) a multiple of 22?
False
Let a(v) = v**2 - 31*v + 136. Let j be a(25). Let s(u) = -u**3 - 11*u**2 + 29*u + 18. Is s(j) a multiple of 40?
True
Let u(d) = -8*d + 161. Let k be u(22). Let h(g) = g**3 + 18*g**2 - 23*g - 52. Is 22 a factor of h(k)?
True
Let a = 33 + -38. Let o(r) = -r**2 + 3*r - 2. Let b(y) = y**2 - 4*y + 2. Let g(n) = a*o(n) - 4*b(n). Is g(-5) even?
True
Let p = -4976 + 5661. Is p a multiple of 23?
False
Let k = 625 + -332. Let x = k + 162. Is 65 a factor of x?
True
Let i be (-48)/3 - -3 - -3. Let w be -1 - -21*i/(-5). Let g = 87 - w. Does 12 divide g?
False
Suppose j + 3*r = 109, 6*j + 2*r - 506 = j. Let t = 52 + j. Does 31 divide t?
False
Let r(x) = 2*x**2 - 4*x + 4. Let t be r(6). Suppose 49*p = t*p - 189. Is p a multiple of 29?
False
Suppose 29939 = 2*n - 2*b + 4553, -n = 2*b - 12687. Does 49 divide n?
True
Suppose -4*z + 1800 = 16*z. Does 12 divide z - (-3 + 6 - 2)*1?
False
Let o be (0/(-2))/(5 + -7). Suppose -g - 7 + 16 = o. Is 12 a factor of (-2)/(-3) - (-534)/g?
True
Suppose -43*w = 20763 - 72535. Is 7 a factor of w?
True
Let u(q) = -5*q**3 + 2*q**2 - 2*q - 1. Let z(g) = 26*g - 2*g**3 - 2 + 24*g - 3*g**3 - 52*g + 3*g**2. Let b(p) = -3*u(p) + 2*z(p). Does 6 divide b(1)?
True
Let c(t) = -t**3 + 10*t**2 - 8*t - 38. Let d be c(11). Let u = -161 - d. Is u a multiple of 49?
False
Suppose 5*c = 16*c + 88. Is 32 a factor of 158 - (c - -3 - -3)?
True
Let k = 32 + -24. Suppose 5 = -k*i + 85. Suppose 0 = 2*u - i*u + 1024. Does 32 divide u?
True
Let a be (275/(-33))/(1/12). Let h = a - -385. Is 16 a factor of h?
False
Let p = -44 - -104. Let y be 3/(p/88) + 6/10. Does 2 divide (-98)/(-4) - (y - (-21)/(-6))?
False
Let l(y) = 2*y**2 - 15*y - 1. Let o be l(11). Suppose 6*n - 745 = -73. Let d = n - o. Is 18 a factor of d?
True
Suppose -5*g + 0*g - 3*b - 266 = 0, 3*g + 4*b = -153. Let a = 216 - 83. Let c = a + g. Is c a multiple of 20?
False
Suppose -2*h - u + 16 = u, 3*h - 4*u = 38. Let g(p) = p**3 - 12*p**2 + 12*p + 16. Let k be g(h). Let o = k - -109. Is o a multiple of 15?
True
Suppose 0 = -5*r - 4*m + 93, 3*m + 4 = 2*r - 24. Suppose 5*j - 16896 = -r*j. Is 51 a factor of j?
False
Suppose 872 = 31*j + 66. Does 23 divide (j/(-4)*-3)/((-399)/(-12236))?
True
Suppose 209808 = 51*j - 377355. Is j a multiple of 289?
False
Let w = -50 - -56. Let b be w/(-15) + ((-834)/(-10) - -1). Let z = -39 + b. Is z a multiple of 9?
True
Let v(w) = -w**2 - w - 1. Let h(b) = b**3 + b**2 - 36. Let i(m) = h(m) + 2*v(m). Let u be i(0). Let k = 49 - u. Is 6 a factor of k?
False
Suppose -r - 4*o = -o - 44, -3*r = -3*o - 144. Suppose 0 = -d + 7*d + 228. Let h = r + d. Is 3 a factor of h?
True
Let k(n) = n**3 - 15*n**2 + 23*n - 30. Let d be (-14)/((-2 - 0) + (-26 - -27)). Is 48 a factor of k(d)?
True
Suppose 9*k - 3410 = -1241. Let p = k + -34. Let m = p - 0. Is 9 a factor of m?
True
Let n = 68852 + -29996. Is n a multiple of 13?
False
Let t be 2245/10 - (-6)/(-12). Suppose -115*z + t = -114*z. Is z a multiple of 10?
False
Let z = -14067 + 21507. Is 39 a factor of z?
False
Let t(c) = -c**2 - c. Let r = -2 - -2. Let f be t(r). Suppose f = 3*b - 20 - 316. Does 28 divide b?
True
Suppose -5*i + 229 = -4*v, -v + 42*i = 44*i + 41. Let u = 78 - -3. Let w = u - v. Does 22 divide w?
True
Suppose -18*p + 20 = -20*p. Does 3 divide ((368/p)/(24/(-60)))/1?
False
Let m be ((-14)/(-4) - 2)/((-14)/(-9800)). Suppose -9*g + m = -2*g. Is 25 a factor of g?
True
Let s(c) = -6*c - 48. Let p(k) = -2*k**2 + 8*k - 1. Let h be p(5). Is 3 a factor of s(h)?
True
Let i = -1228 - -1928. Is i a multiple of 41?
False
Let f = -1592 + 3662. Suppose -f = -12*t - 306. Is 23 a factor of t?
False
Does 145 divide -4 + 7 + (8 - (-11755 - 3))?
False
Suppose -5*l + 4*f - 2025 = 0, 2*l - f = -4*f - 833. Let p = 675 + l. Is 24 a factor of p?
False
Let f be (1 + -1)*((-26)/4)/(-13). Is 8 a factor of (-229 + 5 + f)/(-1)?
True
Suppose -61