)/(-6) + -1)*190272/160?
False
Suppose 4*h - 140 - 160 = 0. Does 17 divide ((-90)/h)/(4/(-480))?
False
Let s be (-1)/2 - (-730)/4. Suppose 0*u + 5*m = -u - 17, -u - 4*m - 14 = 0. Is 2 a factor of (u/7)/((-13)/s)?
True
Is 108 a factor of -3 + -5 + -13 + (1412 - -13)?
True
Let i be ((-4)/1 - 381) + -1 + -4. Is (10 - 18) + i/(-2) a multiple of 3?
False
Suppose -3*t + 4*d + 36 = 0, -3*d = -5*t - 2*d + 43. Let a = -12 - -6. Is 21 a factor of (140/t)/((-1)/a)?
True
Let s = -9436 + 13976. Does 10 divide s?
True
Let y(q) = -13*q**2 - q - 13. Let h be y(-4). Let p = -7 - h. Is 42 a factor of p?
True
Let g = 151 + -3. Suppose 0 = -5*f - g - 27. Let a = 110 + f. Does 8 divide a?
False
Let w(q) = 5*q**3 - 24*q**2 - 84*q + 1546. Is 48 a factor of w(19)?
False
Let u = 2189 - 943. Suppose 7854 = 20*k - u. Is k a multiple of 13?
True
Let o(w) = -w**3 - 20*w**2 + 15*w + 63. Let a = 547 - 568. Is o(a) a multiple of 7?
True
Suppose g - 5*y = 44939, -4*g - 46*y = -41*y - 179781. Is 8 a factor of g?
True
Let r = -1337 - -1948. Is r a multiple of 9?
False
Let x be 218/8 - (-9)/(-36). Suppose -3*p - 3*i + x = 0, p - 19 = 5*i + 2. Suppose -p*o = -15*o + 168. Does 4 divide o?
False
Let k be 64/36 + 2 + 32/(-18). Suppose h - 398 = -k*m, -4*m + 1583 = 4*h - 5*m. Is 36 a factor of h?
True
Does 10 divide 286/(-16) + 18 - 286317/(-24)?
True
Suppose 25*w - 309109 - 43985 - 397306 = 0. Is 14 a factor of w?
True
Suppose 0 = -a + 3, -4*j + 3901 = 172*a - 177*a. Is j a multiple of 2?
False
Suppose -78 = 10*b + 82. Is (-3)/(b + 1) - (-2997)/15 a multiple of 20?
True
Let n(z) = 3*z**3 + 6*z**2 - 23*z - 126. Does 4 divide n(7)?
True
Let a(u) = 74*u**3 - 3*u**2 - u. Let r be a(-2). Let s be 5/(-30) + r/(-12). Let f = 97 - s. Does 10 divide f?
False
Is 15 a factor of 28/(-210) - (-133)/210 - (-30959)/2?
True
Let c(o) = 7*o + o**2 + 3*o + 12*o - 6*o + 13. Let s be c(-16). Suppose -w = -0 - s. Is w a multiple of 4?
False
Let g = -1971 + 3969. Does 38 divide g?
False
Let z(w) = -1. Let l(m) = -77*m - 28. Let j(q) = -l(q) - 21*z(q). Is 21 a factor of j(1)?
True
Suppose -3*w + 5*w - 10 = 2*u, 0 = w + 3*u - 5. Let k = -17 - -19. Suppose -w*b + k*b = -39. Is 13 a factor of b?
True
Suppose 2*p - 2*r - r + 203 = 0, -p - 104 = -4*r. Is (13*-5)/(25/p) a multiple of 28?
False
Let n(k) = -20*k + 117. Let t be n(5). Let l(a) be the first derivative of -a**4/4 + 17*a**3/3 + a**2/2 + 36*a + 5. Does 13 divide l(t)?
False
Suppose 3*y + 3*r - 1572 = 0, -40*r = 4*y - 45*r - 2087. Is 8 a factor of y?
False
Let x(v) = -v**3 - 3*v**2 + 10*v + 3. Let z be x(-5). Let j be 15/((z - (-15)/(-6))*2). Let h = 189 - j. Is h a multiple of 29?
True
Let n be 1 + (-7)/((-35)/(-45)). Is (-6)/n + 55/(-20) - -244 a multiple of 18?
False
Suppose 0 = -6*u - 9*u + 75. Let y(a) = 88*a + 26. Is 9 a factor of y(u)?
False
Let z(d) = -208*d - 8357. Does 15 divide z(-56)?
False
Let o = -70 + -14. Let l be 1 - o/22 - 2/(-11). Suppose j + 139 = 2*x, -l*x = -5*j - 101 - 249. Is x a multiple of 19?
False
Let s(q) = -2*q + 10. Let a be s(4). Suppose 3*w - 294 = a*x, w - x = 3*w - 189. Is 37 a factor of w?
False
Let a = 43 - 47. Let x be (-45)/(-20) + (-3)/a. Is ((x + -2)*114)/(4 - 3) a multiple of 19?
True
Let y = -7272 + 7777. Is y a multiple of 2?
False
Let n(b) = b**2 + b. Let x(j) = -4*j**2 - 6*j + 3. Let k(l) = 5*n(l) + x(l). Let s be k(0). Suppose 5*h - 336 = -s*h. Is h a multiple of 3?
True
Suppose 180*a = 132*a + 194894 - 19502. Is 63 a factor of a?
True
Let r(v) = 67*v**2 + 16*v - 40. Let y be r(3). Is 74636/y + 4/(-26) a multiple of 8?
False
Suppose -568716 = -47*h - 136593 + 105839. Is 99 a factor of h?
False
Let p = -12292 - -23772. Is p a multiple of 10?
True
Suppose -5*p + 0*p = 5*b - 430, -5*p + 460 = -5*b. Suppose -100*u + p*u + 3597 = 0. Is 15 a factor of u?
False
Suppose -165*m = -160*m - 29835. Does 53 divide m?
False
Suppose 0 = 3*a + 5*a - 5664. Let k = a + 191. Does 20 divide k?
False
Suppose -3*g + 3*c + 10161 = 0, 7*g - 5*c - 31167 = -7464. Does 4 divide g?
True
Let o = 1670 - -838. Does 22 divide o?
True
Let p(l) = -221*l**3 - 8*l - 6 - 3 + 212*l**3. Let g be p(-4). Suppose -67 = 14*b - g. Does 7 divide b?
False
Suppose -w = -3, -2*w - 1873 - 1406 = -5*c. Let u = c + -377. Suppose t = -3*h - 0*t + u, 4*h - 374 = -2*t. Is h a multiple of 11?
False
Suppose -4*f - 6 = -18. Suppose f*i = -56 + 68. Is 1203/12 + (-1)/i a multiple of 25?
True
Let m = -475 + 1148. Suppose -3*c = 30*f - 32*f - 703, 3*c - m = -4*f. Is c a multiple of 11?
True
Let l(b) = 2*b + 16. Suppose 29*c - 26*c + 45 = 0. Let o be c*(-6)/30 + 3/(-1). Is l(o) a multiple of 4?
True
Let i(z) = -60*z + 190. Suppose -l - 8 = 2*h, 4*h + 16 = l - 12. Is 17 a factor of i(h)?
False
Is 14 a factor of (-470)/((-60)/345*1/2)?
False
Suppose 20 = g + 5*v, 5*v - 17 = -2*g - 2. Let b be (2/(-3))/(g/(495/2)). Suppose 2*y = -2*l + 78, 0 = 5*l + 2*y + b - 222. Is l a multiple of 7?
False
Let p = 19143 - 16517. Is p a multiple of 41?
False
Let z = 155 + 176. Let f = 162 - z. Let p = f - -242. Is p a multiple of 5?
False
Let h be -3 - (-141)/4 - (-1)/(-4). Suppose -14 = 33*m - h*m. Let g(j) = -17*j - 26. Is 20 a factor of g(m)?
False
Suppose -7*v = -6094 - 31909. Is v a multiple of 89?
True
Let n be (-200)/75*(3/(-4) + 0). Let u be 716/(-8)*2 - 6/n. Is 22 a factor of (4 + u)*1/(-2)?
False
Let q(j) = 703*j**3 - j**2 - j + 1. Let v be q(-1). Let z be v/(-4) - (-9)/(-18). Let r = 5 + z. Does 36 divide r?
True
Does 36 divide 132696/56 + 11 - (-6)/14?
False
Let y(c) = 34*c**2 + 329*c + 12. Is 2 a factor of y(-11)?
False
Let g = 13237 - 12895. Is 3 a factor of g?
True
Let u(n) = n**3 + 11*n**2 - 28*n + 32. Let o be u(-13). Let h be ((-15)/3)/((-1)/(-8)). Let j = o + h. Is 2 a factor of j?
True
Suppose -4*h - 1622 = -u + 2009, 5*u - 18245 = 5*h. Is u a multiple of 26?
False
Let c = -4986 + 6228. Is c a multiple of 27?
True
Let b be (12*5/40)/((-6)/(-8)). Suppose b*c + 763 = 3*c. Let r = -532 + c. Is 11 a factor of r?
True
Suppose -24*u - g = -19*u - 1988, 1594 = 4*u + 2*g. Does 31 divide 0 + 0 + u - (-30 + 31)?
False
Suppose 0 = 5*v + 3*x - 83, -87 = -4*v + x - 7. Let y(g) = -g**3 + 19*g**2 + 5*g - 47. Does 5 divide y(v)?
False
Let v = 12363 + -7347. Is 76 a factor of v?
True
Suppose o + 3 = 0, 2 - 14 = -3*w + o. Suppose -315 + 21 = -w*m. Is m a multiple of 51?
False
Suppose -5 = 4*q - 17. Suppose -30 = -9*k - 30. Suppose -v + k = -q. Is v a multiple of 3?
True
Let r = 5 + 0. Suppose 4*h - 938 - 384 = -3*l, -r*h = -5*l + 2215. Is l a multiple of 34?
True
Does 55 divide -1 - 1*(-1656)/((-18)/(-3))?
True
Let i = -56 - -244. Suppose i - 844 = -8*o. Let r = -53 + o. Does 10 divide r?
False
Suppose 2330 - 27466 = -3*y + 25234. Is y a multiple of 5?
True
Let l(k) = -12*k**2 + 33*k + 23. Let f(a) = -5*a**2 + 16*a + 11. Let p(i) = 9*f(i) - 4*l(i). Does 3 divide p(-7)?
False
Let n(j) = -j + 3. Let h be n(-3). Suppose 8*d - h = 2*d. Does 8 divide (9/(-12))/(d/(-36))?
False
Let o(t) = -t**2 - t + 7. Let r be 2/((-16)/20)*22. Let d = -55 - r. Is 2 a factor of o(d)?
False
Suppose -6*h + 1 + 23 = 0. Suppose -55 = h*q + 189. Let l = -47 - q. Is 14 a factor of l?
True
Suppose -s - 7740 = -w - 3*s, 30906 = 4*w - s. Is 28 a factor of w?
True
Let x(l) = -5*l - 1. Let i be x(1). Let j be (162/(-12))/9*(-44)/i. Let w(r) = 2*r**3 + 23*r**2 + 6*r + 15. Is w(j) a multiple of 7?
True
Is 13 a factor of 6/(-6)*-8*(-3687)/(-3)?
False
Does 12 divide (-16)/8*(0 + 1135/(-2))?
False
Let k(d) = -d**2 - 7*d + 5. Let l be k(-9). Let t = l - -20. Does 10 divide (-2)/t + (-830)/(-14)?
False
Suppose 60*q - 114486 - 229494 = -18*q. Does 14 divide q?
True
Suppose -2459 = -r - 3*f + 4*f, -4*r + 10*f + 9812 = 0. Is 21 a factor of r?
False
Let l = -1714 + 5014. Is l a multiple of 33?
True
Let g(y) = -y**2 - 4*y + 3. Let n be (-4)/(-28) - 1/7. Let r be g(n). Suppose -m = -h - 62, 183 = r*m - h - h. Is m a multiple of 32?
False
Let z(u) = -149*u**3 + 32*u**2 + 104*u + 4. Does 82 divide z(-3)?
False
Let j be 32/40*105/2. Let n = -2 + j. Suppose -3*l - 5*z + 132 = l, 4*z = 2*l - n. Does 14 divide l?
True
Suppose 15*o + 280 = o. Is 21 a factor of (-1512)/o*90/27?
True
Let q(x) = x**3 - 6*x**2 - x + 3. Let p be q(6). Let i be 14 + 4 + (-10 - 2). Is 16 a factor of 33 + p*4/i?
False
Let y(g) = -387*g + 109. Let s be y(3)