 5*m - 51741 = -o + 85622. Is 267 a factor of m?
False
Let u = -6041 - -8837. Is 35 a factor of u?
False
Let u(x) be the third derivative of x**5/6 + 3*x**4/8 - x**3/3 - 3*x**2. Let t be ((-70)/28)/(15/(-12)). Does 14 divide u(t)?
True
Let d(b) = b**3 + 5*b**2 - 6*b - 6. Let i be d(-6). Let r be i*(-69)/6 - -3. Suppose -n - 2*n = -r. Is n a multiple of 6?
True
Let d(h) = 23678*h**3 + 5*h**2 + 2*h - 7. Is 25 a factor of d(1)?
False
Suppose -24 - 18 = -14*i. Suppose 0 = -2*r + i*y + 179, 56 - 399 = -4*r + 3*y. Is r a multiple of 5?
False
Let l be 0 - -18*(-10)/(-2). Let c(y) = y**3 + 20*y**2 + 22*y + 64. Let m be c(-19). Suppose s + m*v - 2*v = 12, l = 4*s - v. Is s a multiple of 4?
False
Suppose -371 - 93 = -4*w. Let l = w + -26. Suppose k = -3*t + 4*k + l, t + 3*k - 50 = 0. Does 10 divide t?
False
Suppose 4*k - 228*t - 66558 = -233*t, -3*t = -18. Is k a multiple of 252?
True
Suppose 411105 - 171537 = -3*y + 17*y. Is y a multiple of 31?
True
Let j = -221 + 93. Let o = j + 141. Suppose -12*w - 297 = -o*w. Is 27 a factor of w?
True
Suppose -4*i - 5314 = -3*b + 13366, 2*b - 12454 = 2*i. Is b a multiple of 18?
True
Suppose -2*i + 1487 = -638 - 787. Is 4 a factor of i?
True
Let f = -374 - -379. Suppose -a - l + 295 = 0, -2*a + f*l + 504 + 72 = 0. Is a a multiple of 28?
False
Let f = -38328 - -54929. Is 231 a factor of f?
False
Let m(o) = -1660*o - 1520. Is m(-5) a multiple of 60?
True
Is 111 a factor of (17/102)/(3/(-54))*-1257?
False
Let x = -8475 - -19470. Is x a multiple of 8?
False
Let w(x) = x**2 + 198*x - 5617. Does 3 divide w(38)?
True
Let v(b) = -6*b**2 - 1. Let w be v(-1). Let f(i) = -i**3 + i**2 + 8*i - 8. Let t be f(w). Let s = -196 + t. Does 22 divide s?
True
Suppose -v + 2*r + 275 = 0, -4*r = 2*v - r - 515. Suppose 4*u - 336 = n - 124, -5*u + v = -5*n. Let q = u + -30. Does 6 divide q?
False
Suppose 6*z - 84 = -z. Let c be (1 + -2)/(-6 + 69/z). Suppose -609 - 11 = -c*s. Does 31 divide s?
True
Let v = 9077 + -13145. Is ((-10)/(-20))/(2 - (-8133)/v) a multiple of 31?
False
Let v(b) = 5 - 15*b - 5*b + 28*b + 2*b**2. Let y be v(-8). Let u = y - 11. Is u a multiple of 18?
False
Suppose 0 = 2*n + 41*n - 422991. Is n a multiple of 18?
False
Suppose 30 = 112*y - 106*y. Suppose 0 = 2*s + 10, k + 1972 = y*k - 4*s. Is k a multiple of 35?
False
Let s(i) = -3636*i - 283. Does 25 divide s(-3)?
True
Let l(z) = -3*z**3 + 188*z**2 - 58*z - 760. Does 35 divide l(55)?
True
Suppose 2*k = -0*k + 18. Suppose k*h - 122 = 2011. Is h a multiple of 44?
False
Let y = 12867 - 7389. Does 13 divide y?
False
Let n = -2416 - -711. Let v = n - -2492. Is v a multiple of 8?
False
Suppose -270*i - 8183 = -f - 273*i, -4*f - i = -32754. Does 45 divide f?
False
Let h(m) = -4*m**2 + 99*m - 57. Let i = -60 - -84. Does 14 divide h(i)?
False
Let m(w) = 37*w + 71. Let r be m(11). Let i = r - 184. Is 32 a factor of i?
False
Let x = 19115 + -11031. Does 18 divide x?
False
Let z = 0 + 4. Let i(r) = 7*r**2 - 7*r + 10. Let a be i(z). Suppose c - 58 = a. Does 12 divide c?
False
Let b(q) be the first derivative of 25*q**2 + 3*q - 6141. Let f be (-14)/(-4) + 2/(-4). Is 27 a factor of b(f)?
False
Let n be (-2)/(-6) - (2 + 43/3). Let h(t) = 8 + 16*t + 0*t**2 + 10 + 2*t**2 - t**2. Is h(n) a multiple of 18?
True
Let r be ((-10)/(-6))/((-10)/(-84)). Is (117/26)/((r/(-304))/(-7)) a multiple of 21?
False
Does 4 divide -8*7/3*(4 + -1 - 102)?
True
Let c(a) = 15*a**2 + 76*a. Let f(u) = 2*u + 1. Let h(d) = -c(d) + 3*f(d). Is 26 a factor of h(-3)?
True
Suppose 16174 - 8262 = 14*w - 46828. Is 12 a factor of w?
False
Suppose -13*l + 28 = l. Is l/(-6)*3 + 216 a multiple of 43?
True
Let f(h) = h + 4. Let z(b) = -2*b**2 - 9*b - 13. Let y be z(-2). Let s be f(y). Does 18 divide ((-351)/6)/(s/(-2))?
False
Let b(u) = 3*u**3 + 7*u**2 + 6*u + 42. Let x be b(-7). Let n = -138 - x. Is 11 a factor of n?
False
Let p(k) = 17*k - 66. Let y be p(4). Suppose y*u = -5*u + 77. Does 2 divide u?
False
Let t(p) = -718*p - 6. Let i be t(-1). Suppose -2*b - 6*v + 4*v + i = 0, 0 = -2*b + 3*v + 732. Is 12 a factor of b?
True
Is 160 + 2852 - (-36)/(-3) even?
True
Suppose 5*a = -13*r + 3145, 15*a + 3*r = 13*a + 1247. Is 8 a factor of a?
True
Suppose 0 = 2*t - 8718 - 1601 - 647. Does 19 divide t?
False
Suppose g = 4*o + 23, -4*o - 22 = 9*g - 11*g. Let k(b) = -b**3 + 4*b**2 + 10*b - 5. Is k(o) a multiple of 19?
False
Let w(d) = 22 + 56*d - 30*d + 44*d. Is w(2) a multiple of 3?
True
Let x(g) = -77*g - 1497. Is 23 a factor of x(-29)?
True
Let w(r) = 110*r**2 - 10*r + 11. Let l be w(4). Let d = -1155 + l. Is 72 a factor of d?
True
Let t(j) = j**2 + 8*j + 2. Let g = 57 - 50. Let z be t(g). Suppose 0 = -3*h + w + 70, 4*h - 3*w - z = -22. Is 25 a factor of h?
True
Is (97682/(-78))/(-2 - (-25)/15) a multiple of 64?
False
Suppose 5*a + 53 = 3*t, -3*t - 5*a + 59 = t. Let g(n) = 39*n - 87. Is 37 a factor of g(t)?
False
Suppose 43242 = -344*o + 350*o. Is o a multiple of 9?
False
Let j = 26662 + -5572. Is 14 a factor of j?
False
Let g(v) = 6589*v + 161. Does 75 divide g(1)?
True
Let k = -102 + 306. Suppose 0 = 2*r + c - 154, -3*r + 16 = -4*c - k. Is 14 a factor of r?
False
Suppose -15*r - 561792 = -97*r - 32*r. Is r a multiple of 7?
True
Let v = 7941 + -7188. Is 29 a factor of v?
False
Suppose 18*l - 35*l - 544 = 0. Let u = 188 - l. Does 20 divide u?
True
Let o = 171 + -93. Let g = 83 - o. Suppose 179 = 2*t + g*r, -3*t - 2*r = 2*t - 458. Does 12 divide t?
False
Let j = 78277 - 35624. Is 17 a factor of j?
True
Let m(n) = 7*n**2 + 13*n - 1. Let t(r) = r + 13. Let x be t(0). Suppose x*s + 35 = 6*s. Does 13 divide m(s)?
False
Is 18 a factor of -5 + -3 + -5 + (35691 - 2)?
True
Suppose -5*u - 20 = 0, 26 = -r + 4*r + 4*u. Is (r - -197) + (2 - -3) a multiple of 12?
True
Let n be 3/(-1) + -2 + 4. Let r be (-678)/12*2/n. Suppose 121 = 3*l - r. Does 13 divide l?
True
Let l be 21/2*((-256)/(-24))/8. Suppose -l*j = -13*j - 380. Does 38 divide j?
True
Suppose -i = -2*i - 12. Is 12 a factor of (i/(-14))/(6/1036)?
False
Let s = 146 + -184. Let u = 59 + s. Is 9 a factor of u?
False
Suppose -6*q = -10*q + 5868. Suppose 14*x + q = 5*x. Let z = 283 + x. Is z a multiple of 15?
True
Let u = 12796 + -9395. Is 21 a factor of u?
False
Let h(b) = -41*b**3 + 9 + 4*b**2 + 5*b - 9*b**2 + 4*b**2 - b**2. Is 50 a factor of h(-2)?
False
Let t(h) be the third derivative of -h**6/120 - h**5/30 + 35*h**4/24 + 7*h**3/2 + 35*h**2. Is t(-9) a multiple of 4?
False
Let u(s) be the second derivative of s**5/60 - s**4/2 + s**3/2 - 15*s**2/2 + 11*s. Let k(m) be the first derivative of u(m). Is k(15) a multiple of 8?
True
Let o(c) = 2*c - 14. Let d = 14 - 22. Let u be o(d). Is 4 a factor of (45/u)/(6/(-100))?
False
Let k = -96 + 105. Is (75/k)/(1/18 - 0) a multiple of 10?
True
Let d = -189 + 208. Suppose 0 = d*m + 943 - 2729. Does 47 divide m?
True
Let u = -422 - -2417. Does 35 divide u?
True
Let o(t) = -75*t**2 + 4*t + 7. Let p = 1 - 6. Let d(u) = 38*u**2 - 2*u - 4. Let z(h) = p*d(h) - 3*o(h). Does 10 divide z(-1)?
False
Let s = 141 - 92. Suppose 47*z = s*z - 144. Does 21 divide z?
False
Let l(m) = -6*m + 13. Let v be l(2). Does 2 divide 3 - ((-75*v)/5 - 4)?
True
Let l be (-393 + 0)*(-16)/24 - 42/14. Suppose 0 = -4*j + 2 + 14. Suppose -4*r = j, -2*k + 5*r = 2*r - l. Is k a multiple of 16?
True
Suppose 45719 + 35703 = 3*u + 2*h, 23*u + 2*h - 624302 = 0. Is 156 a factor of u?
True
Suppose -143*z = -159*z - 6660 - 2428. Suppose -2*c - 21 = -2*u - c, 0 = 4*c - 4. Is 14 a factor of z/(-10) + u/55?
False
Let a = -465 + 470. Does 38 divide (-790)/(-8)*a + (-44)/(-176)?
True
Suppose 0 = -9*f + 5*f + 772. Suppose -3*b = 143 + f. Let s = b + 189. Is 6 a factor of s?
False
Let b(x) = 7*x**2 + 23*x + 81. Let q(y) = 4*y**2 + 11*y + 40. Let p(w) = -3*b(w) + 5*q(w). Let l be p(-9). Suppose -280 = l*r - 7*r. Is 10 a factor of r?
False
Let k(g) = -201*g + 1035. Is k(-24) a multiple of 31?
True
Let b = 17996 - 10711. Is b a multiple of 39?
False
Let h = 463 - 438. Suppose -j = 3*n - 638 - 297, 0 = 5*n - h. Is 40 a factor of j?
True
Suppose -3*f - 396 = -r, f = -2*r - 44 + 857. Is (-8 - (-13)/1) + r a multiple of 5?
True
Let t(b) = -2677*b + 51. Let l be t(-7). Does 47 divide 3/30 + 4*l/400?
True
Suppose -5*a - 6*m = 2*m - 218441, 4*m = -3*a + 131067. Is 104 a factor of a?
False
Let u(x) = 11*x - 1