 Suppose 0 = 3*n + 12, -2*o + 6*n = 10*n - 50. Does 4 divide i(o)?
False
Let z(g) = -67*g**3 - 2*g**2 + g + 2. Let b be z(-1). Let l be (-3)/((-12)/b - 29/22). Does 24 divide (l + (-16)/12)*252?
True
Let t be (-9 - (-30)/5) + 9. Suppose -t*m + 5*m = -7. Is 7 a factor of m?
True
Suppose -155 = 9*q - 10*q. Let i = 152 - q. Does 61 divide (-305)/(i - -8)*-5?
True
Suppose -10*x - 220 - 500 = 0. Let h = x + 674. Does 75 divide h?
False
Let z = -221 + 226. Suppose 3*y = 2*s - 2749, 0 = -z*s + 6*y - 3*y + 6859. Does 18 divide s?
False
Let n(k) = k**3 - 4*k**2 + 4*k - 3. Let a = -25 - -31. Suppose -5*p - 4*y + y + 37 = 0, 2*p + a = 4*y. Does 22 divide n(p)?
False
Let w = 103 + -105. Let d be w + 13/(39/1428). Suppose 12*j = 6*j + d. Does 8 divide j?
False
Is -786*(110/33)/((-1)/3) a multiple of 131?
True
Let i(y) = -y**2 + 3*y - 4. Let s(c) = -2*c**2 + 5*c - 8. Let m(w) = 5*i(w) - 3*s(w). Let x be (2 + (-2)/(-4))*2. Is 8 a factor of m(x)?
False
Let f = 3767 + -2125. Is f even?
True
Let j(u) = 152*u**2 - 63*u + 88. Is j(7) a multiple of 15?
True
Suppose 4*v - 4394 = v + 4990. Is 34 a factor of v?
True
Let o(u) = u**3 - 3*u**2 - 10*u + 1. Let d(b) = b**3 + 15*b**2 + 14*b + 5. Let p be d(-14). Let i be o(p). Is 17 a factor of i/(640/212 + -3)?
False
Let u be (-2)/5 - ((-35)/25 + 7). Is 24 a factor of u/4*-595 - (-1)/2?
False
Suppose -10482 = -3*s + 14653 + 6023. Is 18 a factor of s?
True
Suppose 3*m - 5*n - 38 = 0, -2*n - 35 = -3*m - 9. Suppose -m*f + 290 = -5*f - 4*r, 5*f + 2*r - 1428 = 0. Is f a multiple of 26?
True
Suppose 3*m + 5*d - 70 = 0, 5*m - 169 = -3*d - 47. Let f = m + -23. Suppose -4*o - p + 827 = 0, 2*o = f*p - 5*p + 411. Is o a multiple of 27?
False
Let u be (-2)/4 - (-1131)/(-26). Does 16 divide -806*(u/8)/11?
False
Suppose 2*o - 2116 - 4386 = -2*n, 5*o - n = 16231. Suppose 5*k = 3*g - 3188, -3*g - 4*k + o = 95. Does 36 divide g?
False
Let m(c) = -11*c + 4. Let p be m(-6). Let j(w) = -4*w**2 - 3*w + 6. Let t be j(3). Let b = t + p. Does 8 divide b?
False
Suppose 595171 = 180*p - 3168089. Does 405 divide p?
False
Let u(h) = 47*h**2 - 2*h + 1. Let a be u(1). Suppose 14 = -140*n + 139*n. Let v = a + n. Is 10 a factor of v?
False
Let k = 3468 - -19624. Is k a multiple of 46?
True
Let s = -15485 - -15489. Suppose 0 = -3*g + 1214 - 122. Suppose -s*a + z = -376, -a - 4*z = -5*a + g. Does 9 divide a?
False
Let o(c) = 188*c - 2177. Is 13 a factor of o(37)?
False
Suppose -78 = 4*o - 5*o. Let l = o + 14. Suppose y = l - 23. Does 23 divide y?
True
Suppose -16 = 6*w - 52. Suppose 2*f + p - 1 = w*f, f + p + 4 = 0. Is 3 a factor of (-3)/f + 30/5?
True
Let c = -2956 + 6236. Is c a multiple of 20?
True
Let a(s) = 33*s + 4161. Is a(12) a multiple of 21?
True
Let o(u) = -2*u + 7 - 3*u - 4*u - 4. Suppose -p = 4*v - 4 + 32, -v = -p - 3. Is 25 a factor of o(p)?
True
Let z(m) = -m**3 - 9*m**2 - 26*m - 7. Let c be z(-6). Suppose 58 = 2*i + 4*v, -5*v = c*i - 42*i + 43. Is 3 a factor of i?
True
Let x = -36 - -21. Let p(l) be the second derivative of -l**5/20 - 5*l**4/4 - l**3/6 + 5*l**2/2 - 3*l + 5. Is 5 a factor of p(x)?
True
Let a = -6424 - -14416. Does 27 divide a?
True
Suppose -163 = -14*l - 11755. Is 11 a factor of (l/(-161))/((5/(-42))/(-5))?
False
Suppose -4839188 = -6*a - 287*a. Is 6 a factor of a?
False
Let x(i) = -i**3 - 18*i**2 - 14*i + 35. Let l be x(-17). Let o(d) = -24*d - 103. Does 35 divide o(l)?
False
Let g = 7280 - -5793. Is 17 a factor of g?
True
Suppose -3*h = -4*f - 385, 0 = -0*h + h + 5*f - 103. Suppose -4*a - z = -h, -2*z + 157 = 5*a - 4*z. Is 5 a factor of a?
False
Does 2 divide 2 - -6*(-6879*5/30)/(-1)?
False
Suppose -4*l + 167 = 5*s, 5*l - 220 = 3*s + 2*s. Let q be ((-70)/(-21))/((-1)/12*-14)*14. Let u = l - q. Is u a multiple of 2?
False
Let d(c) = c**2 + 13*c. Suppose -27 - 9 = -4*l. Does 71 divide d(l)?
False
Let u(n) = 3*n**2 + 79*n - 605. Does 2 divide u(13)?
False
Let j(g) = 17*g**2 + 13*g + 33. Let y be j(-5). Suppose -9*n + y = -372. Is 17 a factor of n?
True
Let f(k) = k**3 + 13*k**2 + 10*k - 10. Let i be f(-12). Let a(v) = -v**2 - 2*v + 6 - 9*v + i. Is a(-7) a multiple of 8?
True
Let z(p) = 4*p**3 + 2*p**2 + 7*p + 17. Let s be z(-2). Let a = s + 461. Does 44 divide a?
True
Suppose -m + 1836 = 5*m. Suppose -54*f = -57*f - m. Let q = f + 174. Does 4 divide q?
True
Let p = -177 + 181. Suppose 8*z - 12*z + 119 = n, p*n + 2*z - 476 = 0. Is 16 a factor of n?
False
Suppose 1369*m - 1363*m = 24120. Is m a multiple of 54?
False
Suppose -31*b - 134 = -33*b. Let m = b - 65. Let h(z) = 10*z**3 - 2*z**2. Does 8 divide h(m)?
True
Let x be 14/6 + (-1)/3. Suppose -4*k = k + x*m + 5463, -k + 4*m = 1075. Let n = -734 - k. Is 12 a factor of n?
False
Let t = 54 + -63. Is (-2 + 78/t)/((-12)/126) a multiple of 16?
True
Let f(n) = n**3 - 7*n**2 - 66*n - 29. Is f(28) a multiple of 29?
True
Let m = 45 + -40. Suppose -2*a + 16 = m*h, 0 = -3*a + 2*a + 2*h - 1. Suppose 153 = 3*s + 5*o, -a*s + 153 = -o + 4*o. Is 17 a factor of s?
True
Let w(y) = -3*y + 20. Let z be w(6). Does 35 divide 30/z*((-1340)/(-15))/4?
False
Let m be (-1)/((-1)/344)*120/15. Suppose 30*q - 14*q - m = 0. Is 6 a factor of q?
False
Is 4 a factor of 111/((-50)/28 + 2)?
False
Suppose 0 = -24*p + 11*p - 13. Is 17 a factor of (-17)/(p/(-2) + (-49)/70)?
True
Suppose 10*j + 176 = 6*j. Let v = j - -38. Is 8 a factor of 4/v + (-9)/(108/(-488))?
True
Suppose 5*d + 2*q = -4921 + 657, -3*d - 5*q - 2566 = 0. Is 10 a factor of 18/(-6) - (-2)/((-8)/d)?
True
Let q(s) = -12*s**2 - 2*s - 4. Suppose -4 = 4*j - 16, 0 = -5*f - 5*j + 5. Let w be q(f). Let m = 122 - w. Is 32 a factor of m?
False
Suppose -r = -3*j + 8602, -j + 5*r - 2878 = -2*j. Is 6 a factor of j?
True
Let b be -1 + 4 - (-43)/(-1). Suppose 0*k + 5*k = -5, 47 = -3*j + k. Let i = j - b. Is 4 a factor of i?
True
Let n(q) = 5*q**2 + 192*q - 540. Is n(45) a multiple of 15?
True
Is (-11961)/(-2)*(-13 + 123/9) a multiple of 73?
False
Let r(f) = f + 13. Suppose 3*g = q - 13, -3*g - 21 = 5*q + 4. Let j be r(g). Does 5 divide (26/j)/(5/100)?
True
Let r(n) = 16*n + 1712. Is r(18) a multiple of 25?
True
Suppose 3*s + b = 7734 + 2315, -4*s - 3*b = -13392. Does 35 divide s?
False
Suppose 2312400 = 869*s - 664*s. Is 30 a factor of s?
True
Suppose 2*c = -4*o + 28, -o - 9 = 4*c - 23. Let l be (-1)/2 - o/12. Is 9 a factor of -6*(0 + -1 + -1 + l)?
True
Let p = 439 - 437. Suppose p*r = 3*b + 195, -2*r - 40*b = -44*b - 192. Does 6 divide r?
True
Suppose -5*y + p = -y - 2744, -5*y + 2*p + 3430 = 0. Does 3 divide y?
False
Suppose -3402*k - 15344 = -3410*k. Is k a multiple of 14?
True
Let a(t) = -35*t + 708. Let b be a(20). Let h = 72 + -102. Does 24 divide (-8 + b/2)*h?
True
Let l = -2315 + 4823. Does 12 divide l?
True
Suppose 41*l - 30*l - 55 = 0. Suppose 0 = -6*g - l*g + 759. Does 4 divide g?
False
Let a be (-2)/(-6)*(-4 + (63 - 8)). Suppose a*k = -1781 + 7595. Is k a multiple of 18?
True
Let c = 1600 - -1256. Is c a multiple of 12?
True
Let n be (-108)/(-14) - (-50)/175. Suppose n*v - 2*d = 7*v + 321, -v + 324 = d. Is v a multiple of 17?
True
Suppose -z - 4*z = -1850. Suppose n + 5*a - z = 0, -2*n + 6*n = -2*a + 1516. Is n a multiple of 20?
True
Let x(f) = f**2 + 20*f - 546. Does 9 divide x(-41)?
True
Suppose -3*a - 5*o = 12152 - 40245, 4*a - 3*o = 37438. Does 11 divide a?
True
Let d(c) = 5 - 116*c - 108*c + 1 + 218*c. Is 18 a factor of d(-14)?
True
Suppose 2429 = 7*v - 5306. Suppose 2*f + 2*f + 740 = 2*m, 3*m - f = v. Does 16 divide m?
True
Is (-66)/(-165) + (-4 - 61992/(-20)) a multiple of 4?
True
Let v(w) = -2*w**2 - 11*w - 5. Let t be v(-4). Does 3 divide t/(-2)*20000/(-280)?
False
Let m(b) = -3*b**2 - 9*b - 19. Let k(n) = 3*n**2 + 10*n + 18. Let q(u) = -3*k(u) - 2*m(u). Let a be q(-9). Let s = a + 266. Is s a multiple of 10?
False
Let s = 660 + -656. Suppose -2*l - 2*g = -4*l + 476, s*g = 2*l - 484. Does 13 divide l?
True
Let q = -659 - -1013. Suppose -f + 2*x + 357 = -0*f, -f + q = -x. Is 27 a factor of f?
True
Let d be -2 + 0 + 122 + 2. Suppose 2*o = 5*m - 83, -3*o + 5*o + 4*m = -74. Let y = o + d. Is y a multiple of 11?
False
Let t(o) = 288*o**2 + 109*o + 509. Is 36 a factor of t(-5)?
True
Suppose 634850 = -81*r + 63*r + 43*r. Is 10 a factor of r?
False
Let l(g) = g + 14 - 36 - 12 - 8*g - 7*g. Is l(-10) a multiple of 3?
False
Let d = 98 - 97. Let n(k