195. Is l a multiple of 9?
False
Let s be (-126 + 2)/(129/(-126) - -1). Is 31 a factor of ((-2)/8)/(41658/s - 8)?
True
Let u(g) = -12*g - 23. Let t be u(-11). Suppose 11*q - 12 - t = 0. Is 11 a factor of q?
True
Suppose 213*w - 206*w = 10596 + 3964. Does 19 divide w?
False
Suppose 248*l - 6589440 = 68*l - 80*l. Is l a multiple of 64?
True
Let s(u) = 256*u**3 + 10*u**2 + 22*u - 76. Does 8 divide s(2)?
True
Let u be (-1)/2*6 - -12. Let a = 19 + u. Let g = a - 9. Is g a multiple of 13?
False
Let m(l) be the first derivative of l**4/4 - 29*l**3/3 + 7*l**2 - 54*l - 82. Is m(29) a multiple of 44?
True
Let k = -2446 - -6730. Is 21 a factor of k?
True
Suppose 37*m - 18 = 34*m. Is 5 a factor of 138*(45/m)/3?
True
Let u(c) = -47*c - 48. Let g be u(-11). Let a = g - 209. Is 26 a factor of a?
True
Suppose -921 + 195 = 11*p. Let a = p + 178. Is 14 a factor of a?
True
Let y(k) = 22*k**2 + 10*k - 32. Let q be y(12). Suppose -2*r - q = -6*r - 2*v, -2*r + v + 1620 = 0. Is 16 a factor of r/6 + (-30)/90?
False
Let c(v) = v**3 - 7*v**2 + 12*v - 7. Let n be c(5). Suppose -n*w + 23 = -70. Suppose -8*h + w = -1329. Is h a multiple of 32?
False
Let d be 21/7 - (-1 - (-507 + 4)). Let b = 913 + d. Is b a multiple of 31?
False
Suppose 12*z - 405 = -3*z. Does 5 divide 12339/z - 8/1?
False
Let g(b) = 17*b**2 - b + 4. Let a be g(-2). Suppose a*s - 79*s + 3465 = 0. Does 20 divide s?
False
Suppose 4*r = -4*d - 1624, -33*r + 1618 = -4*d - 35*r. Let y = d + 496. Does 31 divide y?
True
Let g be (-9)/((-54)/687)*226. Suppose -g = -32*o + 13803. Is o a multiple of 40?
True
Let p(t) = -9*t - 19. Let w be p(-3). Suppose -w*m = 4*m - 132. Is 11 a factor of m?
True
Suppose 8 = 3*c - 1. Suppose -3*m = -6, -c*i + 460 = -i - m. Does 31 divide i?
False
Suppose -3*m = -5*m. Let a = 5 + -2. Suppose 4*z - z + a*q - 618 = 0, m = -5*q + 15. Is z a multiple of 14?
False
Does 3 divide ((-4635)/(-30) + 9)/((-6)/(-212))?
False
Let y = -8458 + 9021. Is 9 a factor of y?
False
Let w(x) = 3*x**2 + 8*x + 8. Let j be w(-8). Let q = 80 - j. Let z = q + 96. Is 20 a factor of z?
True
Let x(r) = 20*r**2 + r + 2. Let t be ((-2)/(-2) + 1)*50/(-100). Does 21 divide x(t)?
True
Suppose -3*c + 15 = 2*c. Let s = 13 - c. Is ((-30)/4)/(s/(-40)) a multiple of 10?
True
Let n be (12 + -10 + 5)/(2/(-4)). Let h(d) = -5*d - 30. Let b be h(n). Suppose b + 125 = 3*k. Is k a multiple of 19?
False
Let i be (-6)/15*-1 + (-556)/(-10). Let y = i + 16. Suppose 0 = -6*t + y + 12. Is t a multiple of 6?
False
Let d(c) = 28*c - 85. Let t(s) = -14*s - 69. Let u be t(-6). Is d(u) a multiple of 8?
False
Does 25 divide 37890 + 31 - (-6 + 3 - 1)?
True
Let a = 297 + -283. Suppose 9150 = t + a*t. Does 18 divide t?
False
Let y = 108 + -79. Suppose y*o + 460 = 25*o. Does 10 divide ((-1656)/o)/(4/50)?
True
Let j(t) = 80*t**2 - 41*t - 121. Is 6 a factor of j(-3)?
False
Let t = 47 - -21. Let r be 126/28 - 3/6. Does 15 divide r*(0 - 1) + t?
False
Suppose 17*h - 44279 - 52706 = 0. Is 45 a factor of h?
False
Suppose t - 5*j = 89, -2*t = 5*j - 137 - 101. Let k = t - 81. Is k a multiple of 6?
False
Let s(y) = -22*y + 39 - y**3 + 41 - 11*y**2 - 4*y**3 - 90. Is 50 a factor of s(-5)?
True
Suppose -4*a + 22 = b + 1, a - 2*b = -6. Suppose -a*q + 2*l + 11 = -51, -4*q + 59 = -5*l. Let p = q + 73. Is 14 a factor of p?
False
Suppose 3*v + 239 = 236. Is 18 a factor of (-4)/10 + v*(-42014)/35?
False
Suppose 5*x + 9 + 36 = 0. Does 18 divide (-150)/x + 32/24?
True
Let u be (14/(-4))/((-9)/54). Let p(h) = -h**2 + 22*h + 10. Let f be p(u). Suppose -2*b - f = -175. Is b a multiple of 9?
True
Let l(o) = -o**2 + 41*o - 63. Let w be l(38). Let u = 165 + w. Does 9 divide u?
True
Suppose -8*p + 5808 = -0*p. Suppose -p = -14*b + 3*b. Does 6 divide b?
True
Let u = -12 + 10. Let p(f) = 128*f**2 + 6*f + 4. Let a be p(u). Does 19 divide (-6)/(-4)*a/27?
False
Suppose 10*q = -56693 + 224993. Is q a multiple of 30?
True
Let s = 11 - 9. Suppose s*a + 7 - 45 = 0. Suppose -a*v + 270 = -14*v. Does 4 divide v?
False
Let t = -37107 - -71986. Is t a multiple of 194?
False
Let d = 84 - 64. Let l be (-5)/d*-2*0. Is 13 a factor of (l - 4)/(8/(-60))?
False
Suppose 2*x - 6 = 0, 8 = -3*d + 4*x - 1. Suppose f + 9 = -i - d, i - 2*f = 5. Let m(w) = 5*w**2 - 2*w - 18. Is 13 a factor of m(i)?
True
Is 27 a factor of (-1 + (-1 - -245))*(-166 + 173)?
True
Suppose -194*y - 105*y = -105*y - 749616. Is y a multiple of 46?
True
Let w(r) = 119*r + 1761. Does 16 divide w(-10)?
False
Does 9 divide ((-2)/(-3))/(12/28638) - 5?
False
Let p(s) = s**3 - 50*s**2 + 61*s - 407. Is p(51) a multiple of 78?
False
Let d(j) = 49*j**2 + 23 - 39*j**2 + 159*j**2 + 16*j. Does 44 divide d(-2)?
False
Suppose 4*i - 1632 = 3*x, 3*i + 2*x = 637 + 587. Suppose 2*w - 204 = -0*w + 5*y, y + i = 4*w. Is 17 a factor of w?
True
Let i(l) = -13*l**2 + l - 8*l + 21*l**2 - 10*l**2 + l + 5 - 9*l**3. Is 16 a factor of i(-3)?
False
Let g = -311 - -719. Suppose 8*w - 4*w + 4*j = g, -2*w - 3*j = -199. Is w a multiple of 15?
False
Suppose -7*q - 21 - 35 = 0. Does 19 divide q/(-96) - 2121/(-36)?
False
Suppose 2*o = -3*h + 269 + 1484, -h = -4*o - 603. Is h a multiple of 5?
False
Suppose s + 3*d = -3*s + 247, 4*s + 5*d = 241. Suppose 4*a - 128 = h, a + a - s = 3*h. Is 4 a factor of a?
True
Is 8 a factor of ((-74849)/(-267))/(2/24)?
False
Let q(v) = v**2 + 6*v + 1. Let i be q(-7). Suppose i*a - 1062 = -a. Suppose -g + a = -38. Does 14 divide g?
False
Suppose -12*w - 45734 = -38*w. Does 31 divide w?
False
Let n = 144 + -36. Let o = 169 - n. Does 14 divide o?
False
Let f(v) = 12*v - 20. Let g be f(-4). Suppose 330 = t + 2*t. Let p = g + t. Is 6 a factor of p?
True
Let b(q) = -q**3 + 12*q**2 + 12*q - 27. Suppose 30 = g + 18. Let i be b(g). Let n = i - -74. Is n a multiple of 10?
False
Let r be (8 + 19)*((-12)/(-9))/4. Suppose 0 = 2*v + h, -r*v + 2*h - 14 = -6*v. Is v - (-55 - (1 - (-1 + 4))) a multiple of 17?
True
Let t(o) = -o + 2. Let z be t(0). Suppose -4*q + q + 3*v = 60, -z*q + 3*v = 39. Let c(r) = r**2 + 15*r + 21. Does 21 divide c(q)?
True
Suppose -2*i = -222 - 790. Suppose 5*g - i = 1749. Is g a multiple of 11?
True
Let y be (1 - (1 + 1))*-21. Let o be 2/3*y/14. Suppose -o = r - 0, 0 = d + 5*r - 63. Is d a multiple of 14?
False
Let k(q) = -23*q + 126. Let g be k(11). Let w = -62 - g. Does 13 divide w?
True
Suppose -2*h - 3*i = -758 - 312, -2140 = -4*h - i. Let v = h + -130. Suppose 3*p + 105 = v. Is 25 a factor of p?
True
Let t be (-12 - -13 - 4*1) + 176. Suppose 1417 = -t*v + 174*v. Is 57 a factor of v?
False
Suppose -20 = 2*i - 6. Let g(c) be the second derivative of c**4/6 + 5*c**3/3 + 3*c**2/2 - 4*c - 2. Is 4 a factor of g(i)?
False
Suppose 35*u + 4554 = 104*u. Let c = -49 - -3. Let n = u + c. Is 7 a factor of n?
False
Let g(v) = v + 27. Let s be g(-18). Let p = s + -5. Is (-1 + p)*(-2 + 98/3) a multiple of 15?
False
Let i(u) = -4*u**3 - 7*u**2 - 3*u - 26. Let y be i(-6). Let l = y - 361. Is l a multiple of 27?
True
Suppose 3*f = 5275 + 10403. Is 12 a factor of f?
False
Let t(q) = -4*q**3 - 5*q**2 - 19*q + 3. Let w(i) = 5*i**3 + 4*i**2 + 19*i - 4. Let h(c) = 4*t(c) + 3*w(c). Does 9 divide h(-9)?
True
Suppose -10*u = -25 - 15. Is 7 a factor of (-1 + u/2 + -85)*-1?
True
Let s = 9 + -9. Suppose q - 1 = -2*y, -5*q + s*q = -3*y - 44. Suppose -q*r + 73 = 24. Is r a multiple of 3?
False
Suppose 4*k - l - 21 = 0, 23*k - 27*k + 5*l = -9. Suppose 4*b - 1932 = 4*z, -2*b + 4*z = -k*b + 1900. Is b a multiple of 37?
False
Let u = 82 + -73. Suppose 0 = -u*h + h + 4464. Is 18 a factor of h?
True
Suppose -4*x + 2*o + 9032 = 0, -8*x + 2253 = -7*x - 3*o. Is x a multiple of 9?
True
Let u(k) be the third derivative of 1/12*k**4 - 2/3*k**3 - 8*k**2 + 0 + 0*k - 1/60*k**5 + 1/24*k**6. Does 6 divide u(2)?
True
Suppose -27*x + 33*x - 444 = 0. Let u be 12/(0 + 6/8). Suppose 5*n = x + u. Is n a multiple of 7?
False
Suppose 5*t - 19*q + 18*q - 175487 = 0, -q - 140391 = -4*t. Is 214 a factor of t?
True
Let b be 2 + 0 + (-7 - 30/(-6)). Let g(z) = 11 + 10*z - 12*z + 12*z**2 - 3*z + b*z**3 + z**3. Is 24 a factor of g(-11)?
False
Let n = -88 + 83. Does 22 divide 176*((-20)/4)/n?
True
Let z(u) = 6*u**3 + 5*u**2 - 6*u - 231. Let m(g) = -g**3 - g**2 + g. Let w(i) = -4*m(i) - z(i). Is w(0) a multiple of 21?
True
Let t(a) = 7*a + 5. Let i be t(-1). Let h be 13 + i - (7 - 