2*b**2 + 13*b + 8. Let n be z(13). Suppose -2*h - f = -4*k, n*k - 11*k + 2*h + 394 = 0. Is k a multiple of 22?
False
Let o(r) = 2*r**3 + 15*r**2 - 3*r + 9. Let m(x) = 3*x**3 + 14*x**2 - 2*x + 8. Let t(a) = -6*m(a) + 5*o(a). Is t(-4) a multiple of 15?
False
Let s(c) = -25*c**3 - c - 1. Let z be s(-1). Let l = z - 37. Let v(y) = -10*y - 33. Does 11 divide v(l)?
False
Suppose 0*a + 2 = q + a, -3*q - 5*a + 8 = 0. Suppose -20 = 5*p, -4*p = 4*b + 9 - q. Suppose 4*j + 2*y - 218 = 0, 7*y - b*y = -5*j + 285. Is 8 a factor of j?
False
Let f be 4*79 - (7 + -6). Suppose 4*l - 5*r = 1160, 2*l - l - f = -5*r. Does 59 divide l?
True
Suppose 1573 = 47*c - 2328. Suppose -x = -3, -5*p + 5*x + 147 = -c. Is 3 a factor of p?
False
Suppose 9*b = 7*b - 614. Let y = 215 + b. Let x = y + 130. Is 16 a factor of x?
False
Let d = 11138 - 9724. Is d a multiple of 7?
True
Let u(w) = -w**2 - 2*w + 224. Let g be u(0). Let y = g - 440. Is ((-5)/3)/(4/y) a multiple of 13?
False
Let k be -11 + (-110)/(-50) + 3/(-15). Let i = k - -233. Is 32 a factor of i?
True
Let q(r) = -7*r**3 + 8*r**2 + 32*r + 18. Let s be q(-4). Let n = -169 + s. Is 27 a factor of n?
True
Suppose -13*k = -14*k - 1345. Let f = k - -2509. Does 43 divide f?
False
Let t(l) = 2060*l**2 + 67*l - 150. Does 16 divide t(2)?
True
Suppose 8*z - 13*z + 2*x + 5840 = 0, 0 = 2*x. Does 13 divide z?
False
Suppose 3*u - 4*f = 15, -3*u - 4*f + 2 + 13 = 0. Suppose 3*i - 87 = 2*m, 0*i - 47 = -2*i + u*m. Is i even?
False
Let x = 653 - -180. Suppose 15*y - 7 - x = 0. Is 14 a factor of y?
True
Let n be 3/5 + (-30405)/(-75). Suppose s = 149 + n. Suppose -9 = 3*a, 4*a = 4*g - 33 - s. Is g a multiple of 16?
True
Is 3/(-17 + 2) - (-633088)/640 a multiple of 48?
False
Let b = -99 + 15. Is b/(-63)*(-2)/4*-54 a multiple of 18?
True
Let v = 24192 - 1810. Is v a multiple of 22?
False
Let s = 27638 + -13578. Is 3 a factor of s?
False
Suppose t = 5*n - 93562, -2113*n + t + 74849 = -2109*n. Does 182 divide n?
False
Let q = 2911 - 2880. Is q a multiple of 11?
False
Let l = -363 - -370. Is 2454/l*1 + 4/(-7) a multiple of 10?
True
Let y = -7038 + 17657. Is y a multiple of 37?
True
Suppose -3*n - 7 = -3*l - l, l - 1 = n. Let a(p) = 186*p**2 - 12*p + 9. Is 27 a factor of a(n)?
True
Suppose 96991 + 33509 = 36*w. Does 25 divide w?
True
Suppose -1594943 + 254342 - 3994599 = -117*u. Does 15 divide u?
True
Suppose 0 = -3*p - 5*p + 32. Suppose 0 = 2*o - 4*i + 4, 0*o - p = -3*o - 4*i. Suppose 0 = -o*s + s - 59. Does 30 divide s?
False
Let t(c) = 2252*c - 870. Is t(3) a multiple of 18?
True
Let x be (-2)/(-9) + 398/(-9). Let m be (1 + (-6)/(-8))/(11/x). Let u = m + 19. Does 5 divide u?
False
Suppose 0*q - 5*q - 14 = -3*v, 0 = -4*q - 4. Suppose -v*b = -b - 196. Is b a multiple of 7?
True
Suppose -77 = -3*f + 4*s, 0*f - 2*f - 4*s + 58 = 0. Suppose 20 = 4*x, j + 3*x = 3*j + f. Is 1797/9 + (-2)/j a multiple of 20?
True
Let t = -253 - -261. Suppose 3*d - 7 - t = 0, 264 = 2*y - 2*d. Is 31 a factor of y?
False
Is 5 a factor of ((-60)/(-330) - (-116)/88)*(-28660)/(-2)?
True
Let r(c) = 9118*c - 8044. Does 190 divide r(8)?
False
Suppose -192 + 774 = 2*m. Let u = m + -200. Does 7 divide u?
True
Suppose 5539 = 59*b - 8680. Suppose 2*y - 21 = b. Is 28 a factor of y?
False
Suppose 19*j + 29507 = 249432. Is j a multiple of 110?
False
Suppose 18 - 12 = 3*j. Let p(s) = -32*s**2 + 15*s**j - 12*s + 9*s**2 + s**3. Does 8 divide p(10)?
True
Let j be (-18)/63 - (-341397)/49. Suppose 0 = 10*v - j - 1133. Does 15 divide v?
True
Suppose -3*o - 10 = -8*o. Suppose -o*w + 21 = -5*t, -2*w - t = -7*w - 5. Is 25 a factor of (w/(-4) + -1)*-150?
True
Suppose -7 - 5 = -6*m. Suppose 2*r - 160 = -o, -o = -m*o - r + 165. Is o a multiple of 26?
False
Suppose -3*s = -4*c - c - 59, 2*s - 3*c = 41. Suppose -6*p + 2*p = -s. Suppose -p*y + y = -576. Is y a multiple of 32?
True
Let m(h) = h**3 + 21*h**2 + 8*h + 36. Let v be m(-16). Suppose 10*j = v - 88. Is 15 a factor of j?
False
Let p(z) = -z**2 - 4*z + 2. Let r be p(-5). Suppose -3*k - 105*l + 6 = -108*l, 2*l = 4*k - 2. Is 4 a factor of k - r*(3 + 5)?
False
Suppose g + 26 + 10 = 2*x, x - g = 18. Suppose 9*z = x - 0. Suppose n + z*n = 309. Is 40 a factor of n?
False
Let l = 178 + -171. Does 4 divide (-7)/((-35)/780) - l?
False
Suppose 0 = -x - 1, b + 45 - 6 = 2*x. Let r = b + 44. Suppose -3*m + 4*m - 48 = -3*f, 172 = r*m + 2*f. Does 20 divide m?
True
Is 2*3/2*-43*-1 a multiple of 3?
True
Let w(i) = 21*i + 249. Let f(p) = -63*p - 359. Let m be f(-6). Is w(m) a multiple of 8?
True
Is 31 a factor of ((-1395)/(-10))/((13 - 15) + 715/356)?
True
Let l(a) = 12*a**3 - 2*a**2 - 18*a + 8. Is l(7) a multiple of 13?
True
Let n be (-2)/((1/5)/(24/5)). Let k = 30 + n. Let s(d) = d + 40. Is s(k) a multiple of 16?
False
Is 60 a factor of (203/348)/(1/(-45)*-5)*96?
False
Let b(l) = -2*l**3 - 11*l**2 - 33*l + 11. Let i be b(-6). Let x = 1329 - i. Does 15 divide x?
False
Suppose -5*k + 5*x + 25 = 0, -4*x = 3*k - 0*k - 43. Let s(q) = -q**3 + 18*q**2 - 31*q - 30. Does 26 divide s(k)?
False
Let z = 346 - 343. Suppose z*o = -3*w - 0*o + 669, 4*w + 2*o = 888. Does 13 divide w?
True
Let x(q) = 0*q + 31 + 6 - 5*q - 2*q. Let z be x(-17). Let u = z - 10. Does 31 divide u?
False
Let j(q) = -q**2 + 5*q - 4. Let n be j(3). Let s be 70 + 16/(-10)*(-60)/(-24). Suppose -4*r = x + n*x - 257, -r = -x - s. Is r a multiple of 13?
True
Is 1/6 - (759724/(-84) + 1/(-2)) a multiple of 45?
True
Suppose 19*n + 36 = -40. Is -6 - (-536 - 12/n) a multiple of 31?
True
Suppose 2*g = o + 6*g - 3980, 30*o = 5*g + 120150. Is 22 a factor of o?
True
Let f = 6727 + 1638. Is f a multiple of 11?
False
Let z(k) = -30*k**3 - 4*k**2 - 4*k - 22. Is 16 a factor of z(-5)?
True
Let r = -537 + 533. Is 30 a factor of ((-195)/15 + -27)/(r/66)?
True
Let x = -75 - -94. Suppose -1824 = x*c - 23*c. Suppose -3*s = -7*s + c. Is s a multiple of 20?
False
Suppose 5*y = 4*m + 8449, -2219*y + 2222*y = -4*m + 5063. Is y a multiple of 155?
False
Let r = 1882 + 1484. Is 11 a factor of r?
True
Suppose 234*p = 378*p - 236736. Does 12 divide p?
True
Suppose -y = 13*y - 19698. Is 60 a factor of (-1787)/(-21) + (-134)/y?
False
Suppose 0 = -139*a + 131*a + 132739 - 7939. Is a a multiple of 156?
True
Suppose 0 = -9*x + 37948 - 12244. Is 56 a factor of x?
True
Let f = 39 + -41. Let v be 2 - ((7 - 6) + 4/f). Suppose 3*k = 5*x + 4*k - 198, 2*x = v*k + 86. Is 8 a factor of x?
True
Suppose 2 = -i, 22*l + 368 = 26*l - 4*i. Does 59 divide l?
False
Let r(b) = 2*b + 22. Let w be r(-11). Let c be (-1 + w/(-4))/((-1)/3). Suppose a = -c*m + 43, -12 = -2*a + 5*m + 19. Is 4 a factor of a?
True
Let h(d) = -17*d**3 - 8*d**2 - 16*d - 49. Does 16 divide h(-4)?
False
Let z be 50/18 + ((-12)/18)/(-1 + -2). Let y(k) = 2*k + 10*k**2 + 0*k**2 - 3*k - 3. Is y(z) a multiple of 25?
False
Suppose 5*a = -32 - 8. Let f(d) be the third derivative of d**6/120 + 7*d**5/60 - 13*d**4/24 - 19*d**3/6 - 18*d**2 - 3*d. Is 11 a factor of f(a)?
False
Let h = 5312 + 1558. Does 5 divide h?
True
Suppose -20*h + 396 = -9*h. Is (h/32)/(-3) - 2870/(-16) a multiple of 11?
False
Let u = 27620 - 15486. Does 16 divide u?
False
Is 24 a factor of 2*(2072 + (-6)/6 + -7)?
True
Let w(t) = 50. Let y(g) = g - 50. Let i(o) = 4*w(o) + 3*y(o). Let b(f) = 193*f - 5772. Let l be b(30). Is i(l) a multiple of 8?
True
Let p(v) = 2*v - 19. Let d be p(12). Let w(m) = m - 5. Let o be w(d). Suppose -3*j + o*a + 232 = -2*a, 0 = 3*j - 3*a - 228. Does 16 divide j?
True
Is (-13)/(91/14) - -1030 a multiple of 28?
False
Let p be 3/2*(-4)/6*-363. Suppose 3*i = r + 7*i - p, -4*i = -3*r + 1057. Is 42 a factor of r?
False
Suppose -4*p + 51 = p + 4*a, 3*p = -4*a + 37. Suppose 11*d = j + p*d - 146, -3*d = 0. Is 6 a factor of j?
False
Suppose 0 = -w - 3*q - 3, 5*w - 2*q - 12 - 7 = 0. Suppose w*l - g + 178 = 599, l + 3*g = 137. Is 10 a factor of l?
True
Let u(b) be the first derivative of -b**3/3 + b**2 - b + 8. Let m be u(1). Suppose -4*t - 80 = -5*i + 107, 2*i + 3*t - 84 = m. Is i a multiple of 39?
True
Let w = -263 + 265. Suppose 4*n - 103 = 3*n + 4*u, -3*u = -w*n + 206. Is 6 a factor of n?
False
Suppose 12*u = 11390 + 3106. Does 8 divide u?
True
Let l be 3/7 - (-6 - (-51048)/(-56)). Suppose -b - o = -1, 5*o + 47 = 5*b + 2. Suppose 296 = -b*q - 2*y + l, -619 = -5*q + y. Is q a multiple of 31?
True
Suppose