e 0 = y + 5*k - 1445, -2*y - p*k + 1958 = -918. Is 41 a factor of y?
True
Is -63*34/306 + (-3022)/(-1) a multiple of 45?
True
Let r(i) = 6*i + 116. Let h be 3074/(-348) + 1/(-6). Does 5 divide r(h)?
False
Suppose -5*c - 5*u = -47715, 4*u - 21622 = -3*c + 7005. Is c a multiple of 30?
False
Let z(q) = -4*q**3 + 2*q + 1. Let c be z(-1). Suppose 168 = -c*i - 11*i. Does 14 divide 2/(-4) - 846/i?
True
Suppose 40 - 340 = 10*w. Is 25 a factor of (-3022)/(-5) - (-3)/w*-6?
False
Let l = 4850 - 3038. Does 151 divide l?
True
Let x be (-72)/(-4) + (19 - 27). Suppose x*z - 33000 = -40*z. Is z a multiple of 22?
True
Let g = 8644 - 5942. Does 14 divide g?
True
Suppose -o = -4*s - 7395 + 1204, 2*o = s + 12354. Is o a multiple of 35?
False
Suppose 3*r + 1066611 = 35*r + 7*r. Is r a multiple of 11?
False
Let n(r) = 4*r**3 + 3*r**2 - 3*r. Let d be n(2). Let p(k) = 7*k**2 + 24*k + 11. Let i be p(-5). Let m = i - d. Does 14 divide m?
True
Let c(p) = -2*p + 29. Let o be c(12). Suppose o*l + 4*b = 267 + 1391, 4*l - b - 1339 = 0. Is l a multiple of 41?
False
Suppose -31*g + 30*g + 3*i = -3316, g - 3328 = -3*i. Is 11 a factor of g?
True
Let z = 1617 - 581. Is z a multiple of 28?
True
Let d(t) = -67*t + 3661. Does 3 divide d(17)?
False
Let b = -86 + 405. Let r = -175 + b. Let z = r + -84. Is 6 a factor of z?
True
Suppose -81670 = -31*a - 21754 + 74717. Is a a multiple of 43?
True
Suppose -4*g = -5*m - 6, 7 = 2*m + 4*g - 13. Let d(s) = -s**3 - 18 - 4*s + 2*s**m + 5*s + 5*s**2. Is d(6) a multiple of 24?
True
Let g = 43167 - 29975. Does 34 divide g?
True
Let n(s) = s**3 + 7*s**2 - s. Let d be 10/35 + -4 + 48/(-21). Is n(d) a multiple of 16?
False
Let z(l) = -31 + 722*l**2 - 706*l**2 + 39 - 5*l. Does 82 divide z(-4)?
False
Suppose -3*t + 42413 + 15754 = 3*n, 4*t = -3*n + 77559. Does 219 divide t?
False
Let l(y) = 4*y**3 + 4*y**2. Let v be l(-3). Let f(q) = q**2 + 19*q + 180. Let b be f(-16). Let a = b + v. Is a a multiple of 7?
False
Suppose 0 = 5*j + 5*a - 345, 43*a = 38*a - 25. Suppose 0 = -j*b + 51*b + 8855. Does 24 divide b?
False
Suppose 3*l - 6*l - 4*j = 533, -346 = 2*l - 2*j. Let r = -154 - l. Is 2 a factor of r?
False
Let j be -21*(-16)/24 - 3. Suppose j*z - 1696 = -453. Does 16 divide z?
False
Let w(i) = -i + 26. Let l be w(-20). Let t = -43 + l. Suppose -t*n - 4*c = -376, -6*n = -2*n + c - 497. Is 35 a factor of n?
False
Let k(t) = t**3 - 12*t**2 + 9*t - 6. Let o be (-119)/(-11) + (265/(-55) - -5). Let n be k(o). Does 3 divide n/(-6) + ((-14)/(-6) - 2)?
False
Suppose 5*m - j - 103674 = 0, m - 20724 = -j + 3*j. Does 27 divide m?
True
Suppose 0*d + 2*d - 4*c - 448 = 0, d - 4*c - 214 = 0. Suppose d = -5*o + 554. Suppose -3*w + o = -4*l, 6*w - 2*w - 82 = 2*l. Does 20 divide w?
True
Let k = 104 + -104. Suppose k = 3*j - 1 - 2, 0 = -2*w - 2*j + 14. Is (-20975)/(-150) - (-1)/w a multiple of 10?
True
Let f = 1348 - 515. Is f a multiple of 37?
False
Suppose 5*u - 43970 = 5*h + 24890, -5*h = -3*u + 41304. Is 10 a factor of u?
False
Let r be 27/3*(-6 + 7). Is 27 a factor of 1*(r/(-2))/((-2)/60)?
True
Suppose -243690 - 1849784 = -109*r + 1144698. Is r a multiple of 13?
False
Let i(v) = 20*v**2 + 32*v + 258. Is 41 a factor of i(8)?
False
Let n(s) = s**2 - 48*s + 81. Let p be n(47). Is (3*2/(-9))/(p/(-25908)) a multiple of 18?
False
Suppose 2*l = 3*l - 5. Suppose 0 = -4*w + c + 145, -2*w + 68 = -l*c + 3*c. Let k = w + 18. Is k a multiple of 7?
False
Let c(u) = -321*u**3 - 98*u**2 - 2*u - 5. Is c(-3) a multiple of 17?
True
Let r = 109 + -35. Let h = 130 - r. Let p = h - -53. Is p a multiple of 28?
False
Let t(h) = h**3 + 109*h**2 - 365*h + 1033. Is t(-111) a multiple of 89?
False
Let u = -4689 - -8615. Does 12 divide u?
False
Suppose -85*o + 67072 = -55*o - 32018. Is 12 a factor of o?
False
Let z(u) = 9*u**2 - 2*u - 5. Let k = -16 - -14. Let v be z(k). Let g = -10 + v. Is g a multiple of 4?
False
Suppose 0 = 47*o - 48*o + 3. Suppose 2*s - 1936 = -5*p, o*s - 1167 = -2*p - p. Suppose -i + 5*a + 182 = 0, 2*i = a - 2*a + p. Does 48 divide i?
True
Let s be (-4252)/(-24) - -4 - (-3)/(-18). Let k = s - 127. Is 9 a factor of k?
True
Suppose 16*i - 12090 = 3*i + 133731. Is i a multiple of 64?
False
Suppose -11*k = 2*k - 6448. Let w be (-36)/(-8)*(-4)/(-3). Suppose 4*o - k = 2*d + w, 5*o = -3*d + 611. Is 22 a factor of o?
False
Suppose -72*m + 64*m - 56 = 0. Is 7*(-3 + 3 - m) a multiple of 7?
True
Let m(v) = 0*v**2 + 6*v**2 - 2 + 19*v - 18*v. Let f be m(1). Suppose f*r - 5*j - 30 = 600, 3*r + 4*j - 364 = 0. Is 11 a factor of r?
False
Let p be (-4)/(-10) - (-54)/90. Let f be (0 + 24)/p*(2 - 3). Let l = f + 52. Does 14 divide l?
True
Suppose -k + 4*s - 8 - 103 = 0, 612 = -5*k + s. Is ((-80)/(-120))/((-1)/k) a multiple of 2?
True
Suppose 5*j - 9250 = -5*h, 3*j - 34*h - 5566 = -29*h. Let o = j - 1060. Does 11 divide o?
True
Let g(c) = 24*c**2 + 1572*c + 88. Is 16 a factor of g(-70)?
True
Suppose 5*o + 310 = 4*s, 16*o - 18*o = -s + 127. Let w be (-3)/12 + (-22)/8. Let r = w - o. Is r a multiple of 8?
False
Let s = 492 + -520. Let p(f) = -2*f**2 + f + 2. Let m be p(2). Is 2 a factor of (s/4)/(m + 3)?
False
Let b be 8*(-3)/36*-6. Suppose 14*s - 360 = b*s. Is 2 a factor of s?
True
Suppose -4*w = -4*v - 12404, -4*w = -3*v - 15561 + 3164. Does 14 divide w?
True
Let d(t) = 16*t**2 + 19*t**3 - 35*t - 4*t**3 - 14*t**3 + 48. Is 3 a factor of d(-18)?
True
Let o(f) = 17*f**3 - 9*f**2 + 57*f + 11. Does 169 divide o(4)?
True
Let n(s) = s**2 - 18*s + 48. Let w(x) = 2*x**3 - 36*x**2 - 37*x + 5. Let v be w(19). Is 6 a factor of n(v)?
True
Suppose -98579 = -18*p - 21629. Is 11 a factor of p?
False
Let o(g) = -56*g**3 - 2*g**2 - 19*g - 40. Is o(-5) a multiple of 7?
False
Let t be (116/(-14))/(-1) - 6/21. Suppose 67 = -5*k - t. Is (-1045)/k - 2/(-6) a multiple of 20?
False
Suppose -67*l + 3560676 = 23*l + 138*l. Does 161 divide l?
True
Suppose 2*n + 43144 = 5*w, -2*n - 5 = -1. Is w a multiple of 18?
False
Let r(y) = 46*y**2 - 7*y - 8. Let a be r(-2). Let l = a - -80. Does 45 divide l?
True
Suppose -2*h + 3840 = -17*h. Let u = h + 395. Is 11 a factor of u?
False
Suppose -5*n = 3*y + 41, 4*y = -4*n + 6*n - 20. Let r(m) = -m**2 + 5*m + 11. Let i be r(y). Let z = -26 - i. Is z a multiple of 15?
False
Suppose 8*h - 2 = 142. Suppose h*z = 19*z + 911. Let w = -607 - z. Is w a multiple of 19?
True
Let o = 20349 - 1485. Is o a multiple of 48?
True
Let v(m) = -15*m - 40. Let w be v(-3). Suppose g - h = w*g - 959, 5*g + h - 1200 = 0. Is g a multiple of 27?
False
Let u(v) = 42*v**2 + 9*v - 15. Let h be u(3). Let w = h + -116. Is w a multiple of 12?
False
Let f(o) = -4*o**2 + 38*o - 51. Let n(v) = -6*v**2 + 57*v - 76. Let t(q) = -8*f(q) + 5*n(q). Does 21 divide t(15)?
False
Let j = 165 + 110. Let q = j + -215. Does 6 divide q?
True
Let a = 173 + -154. Let u be (0 - 0)*(-7)/(-7). Suppose -6*g + a*g - 1833 = u. Is g a multiple of 26?
False
Let s = -47 - -50. Suppose 142 = s*u + 4*c + 15, -2*u - 4*c + 82 = 0. Let a = u - 21. Is a a multiple of 3?
True
Suppose 5*t - 11 = 5*h - 36, 0 = -2*h + 3*t + 15. Suppose -4*c - 3*m + 6*m + 90 = h, 110 = 5*c - 5*m. Suppose 10*l = 36 + c. Is l a multiple of 4?
False
Let y be 5 + (-5 - 10) + 2. Is y - -1 - (2 - 93) a multiple of 32?
False
Let w = -51 - -55. Suppose w*c + 6*f - 1 = f, -6 = -3*c - 2*f. Is 1/(c/102)*4/6 a multiple of 2?
False
Suppose u - 6 + 20 = -3*q, -3*u + 3*q + 18 = 0. Is 3/(-6) + u - (-3393)/18 a multiple of 29?
False
Let t(z) = 6*z - 49. Let f be t(10). Let x(o) = 7*o + 29 + f + 25. Is x(10) a multiple of 27?
True
Suppose -29*o + 5302 = -8705. Does 122 divide o?
False
Let r be ((-110)/20)/(1/(-6)). Suppose 29*v = r*v - 348. Is 13 a factor of v?
False
Is 12 a factor of (322 - 321)/(2/6936)?
True
Is 19 a factor of (4 + 0 - (-4 + 1))*(-2186)/(-14)?
False
Let a(n) = 3*n**2 + n + 4. Let k = 39 + -39. Suppose k = -3*f - 4 - 5. Is a(f) a multiple of 4?
True
Let k(r) = -20*r + 183. Let l be k(9). Let p = -8 - -7. Does 8 divide 48/(3 - (p + l))?
True
Let z(w) = -7*w - 105. Let p(x) = -x. Let a(b) = 5*p(b) - z(b). Is 2 a factor of a(-36)?
False
Suppose 2*k - 9*y + 5*y - 21224 = 0, 53018 = 5*k - 3*y. Does 10 divide k?
True
Is 26 a factor of 3657 + -9*(-8 - (-15 + 8))?
True
Suppose 0 = 5*v + 2*y - 5 + 14, -v - 6 = -y. Let i = -3 - v. Suppose i = -4*n - n - 3*x + 180, 5*x + 108 = 3