209?
True
Let h = 183 - 181. Suppose q + 586 = 5*q - h*z, 0 = 5*q - 4*z - 740. Is q a multiple of 8?
True
Does 29 divide 204/(-357) + (0 - 842/14)*-95?
True
Let m(k) = 35*k**2 - 11*k - 1. Let t be m(-4). Let p = -284 + t. Is 9 a factor of p?
False
Let f = 17 + -14. Suppose 4 = x, f*m - 13 - 2 = 3*x. Suppose -m*a + a + 632 = 0. Is a a multiple of 11?
False
Let j(w) = 2*w**2 + 31*w + 77. Let g be j(-29). Does 2 divide g/(-90) + 10 + (-2908)/(-18)?
True
Let z(w) = 25*w**2 + 9*w + 13. Suppose 34 - 59 = -5*d, -2*v + 5*d = 13. Does 12 divide z(v)?
False
Suppose 5*r - 5*v - 1530 = 0, r = -0*r - 3*v + 322. Suppose 0 = -2*a + a + 2*l + 98, -3*a = -2*l - r. Let x = a - 46. Is 15 a factor of x?
True
Let m(k) = 242*k**2 - 73*k**2 - 80*k**2 + 16 + 13*k - k**3 - 76*k**2. Is 32 a factor of m(12)?
False
Does 4 divide (-162)/252 + 4/28 + 5058/4?
True
Let r(k) = 49*k - 725. Does 42 divide r(43)?
False
Let s(i) = -24*i**3 - 9*i**2 - 2*i + 27. Is 11 a factor of s(-7)?
True
Let s = -805 - -410. Let h = s - -608. Suppose 2*q = -3*d + h, 4*q - q = -2*d + 142. Is 21 a factor of d?
False
Let z = 5 - 3. Suppose 4*w + 526 = 3*h, w + z*h = 6*h - 138. Let m = 183 + w. Is 20 a factor of m?
False
Suppose -2*i - 3*i + 3932 = 3*b, b - 1318 = 2*i. Let z = -742 + b. Is 4 a factor of z?
True
Suppose -3*w = -5*j + 24169, 51*j - 14507 = 48*j - w. Is j a multiple of 178?
False
Let p = 116 + -114. Suppose -p*j = z - 6*z + 3086, 5*j + 15 = 0. Is 42 a factor of z?
False
Suppose -2*f + 12 = 0, 104 = g - 3*f + 68. Is 3 a factor of g?
True
Let m(s) = s**3 - 6*s**2 + 10*s - 9. Let g be m(4). Let a(l) = -715*l + 5. Is a(g) a multiple of 15?
True
Suppose 6*h = -177 - 945. Let j = h + 457. Is 18 a factor of j?
True
Suppose -2*h = 4*w - 18334, -h + 2*w - 1133 = -10304. Is 53 a factor of h?
True
Let y(g) = 17*g - 3*g**2 + 2*g**3 - 30 + 23*g - 42*g. Let z(l) = l**3 - 2*l**2 - l - 30. Let i(t) = 2*y(t) - 3*z(t). Is 5 a factor of i(0)?
True
Let h = 102 - 87. Is 9 a factor of 304 - -1 - (-21 + h)?
False
Let w = -201 - -424. Does 8 divide w?
False
Suppose -4*t - 6*r + 4346 + 856 = 0, 3*t - 3904 = -4*r. Is 3 a factor of t?
True
Suppose -10*u + 4*i + 18650 = -8*u, 3*i = -3*u + 27930. Is u a multiple of 115?
True
Let l(k) = 22*k + 79. Let p be l(-17). Let i = 603 + p. Is i a multiple of 28?
True
Suppose 4*k - 92 = -4*h, -h - 5*k = -4*h + 53. Does 15 divide 4/((-12)/h) - -148?
False
Let t = 1292 + -599. Suppose 0 = 3*g - 3*p - t, -72*p = 2*g - 67*p - 497. Is g a multiple of 51?
False
Let w(p) = p**2 + 1. Let d(b) = 5*b**2 - 8*b + 10. Let q(f) = -d(f) + 4*w(f). Let k be q(5). Suppose -k*y + 5*y = -192. Does 16 divide y?
True
Suppose 0 = -v - 1 - 0. Let b(s) = -124*s**3 - 2*s**2 - 3*s - 2. Let z be b(v). Suppose -z = -4*y + y. Is 32 a factor of y?
False
Suppose 5*v - 185*k = -189*k + 56527, -5*v + 56533 = k. Does 28 divide v?
False
Let u(x) = 5*x - 5. Let o be u(1). Suppose o = 3*f + 2*f + 760. Let r = f + 218. Is r a multiple of 11?
True
Let d(v) = -328*v - 1785. Is d(-20) a multiple of 19?
False
Suppose 0 = u - 5 + 2. Suppose 3*a + 40 = u*l + 340, a - 4*l - 88 = 0. Does 8 divide a?
True
Let q be 1 - 18/30 - 13/(-5). Suppose -q*n + 4*x + 165 = 0, -5*x + 3 = 3*n - 135. Suppose 0 = 2*a - 97 - n. Is 37 a factor of a?
True
Let u(y) = -y**2 - 29*y - 24. Suppose -x = x - i + 53, 9 = 3*i. Is 19 a factor of u(x)?
True
Let g(l) = -l**2 + 6*l. Let q be g(8). Let p = -53 + q. Let b = 21 - p. Does 10 divide b?
True
Let c be (1 + 2 + -1)*7. Suppose -13*g + c*g - 243 = 0. Is g a multiple of 41?
False
Let a(l) = 2*l + 29. Let w be a(-11). Suppose -3*b = -4*i + 1404, 5*i + 6*b - 1755 = w*b. Is 12 a factor of i?
False
Suppose c - k = 15761, 889*c + 5*k = 890*c - 15757. Is c a multiple of 142?
True
Let f = -14516 + 20420. Is 21 a factor of f?
False
Suppose -5*c - 9182 + 139 = -4*i, 3*i - c - 6785 = 0. Suppose 117*h = 120*h - i. Does 29 divide h?
True
Let y = -62 - -77. Let t be 1 + 10/4*(-18)/y. Is (-1 + (-165)/t)/(5/10) a multiple of 17?
False
Let z(q) be the third derivative of -13*q**5/120 - 29*q**4/24 + 11*q**3/6 + 3*q**2 - 3. Let p(c) be the first derivative of z(c). Is p(-18) a multiple of 9?
False
Suppose 4*i - 34444 = 3*f - 4*f, -3*f = -2*f. Is i a multiple of 79?
True
Let z(h) = 197*h**2 - 24*h - 152. Is 56 a factor of z(8)?
True
Suppose 2*u + 0*u - 7 = -l, -14 = 3*l - u. Let m(k) be the first derivative of -49*k**2/2 + k + 24. Is m(l) a multiple of 28?
False
Does 10 divide -198 + 2078 + 0 + -1?
False
Let t(n) = -8*n + 20. Let j = 27 - 3. Let r be (-29)/4 + 6/j. Is t(r) a multiple of 23?
False
Suppose 21*w - 18423 + 6799 = 293674. Does 29 divide w?
False
Suppose 75 = 25*q - 100. Let b(m) = 82*m - 71. Let v(c) = -27*c + 24. Let s(u) = 6*b(u) + 17*v(u). Is 22 a factor of s(q)?
False
Let a(j) = 5*j + 694. Is 28 a factor of a(13)?
False
Suppose 2*x - 272*p + 274*p - 31560 = 0, 4*x - 63120 = -5*p. Is 13 a factor of x?
False
Suppose -24*w - 44*w + 3740 = 0. Let s be (-5)/(15/12)*6. Let g = s + w. Does 7 divide g?
False
Let p = 8309 + -4335. Is 249 a factor of p?
False
Let s = -20200 + 20674. Is 158 a factor of s?
True
Let v = -38 + 33. Let m be (-4 - v)*93 - 1*2. Suppose -2*p - 3*p + m = -4*j, 2*j = -5*p + 97. Is p a multiple of 3?
False
Suppose -3*k + 69 = 20*k. Let g(i) = 23*i**2 - 10*i + 18. Is 13 a factor of g(k)?
True
Suppose 44 = 7*m - 12. Suppose 4*v = -m*c + 6*c + 1446, 714 = 2*v - 2*c. Is 6 a factor of v?
True
Suppose 60*m - 65334 - 154909 = 19697. Is 31 a factor of m?
True
Let v(o) = -19*o + 1. Let w be ((-1)/(12/68))/(1/(-3)). Let c(z) = -58*z + 3. Let s(a) = w*v(a) - 6*c(a). Is 8 a factor of s(2)?
False
Suppose -12*a - 2 = -38. Is (6 - -2 - a) + 285 a multiple of 11?
False
Let d(f) = -f**2 + 4*f - 1. Let n be d(5). Let o(v) = 2*v**2 + 14. Let g be o(n). Suppose -2*m + g = 2. Does 6 divide m?
True
Let w(u) = 2*u**3 - 29*u**2 - 16*u - 9. Does 59 divide w(20)?
True
Let n = -173 - -295. Let o = -118 + n. Suppose -5*x + 168 = -o*h, 22 - 67 = -x - 3*h. Is 12 a factor of x?
True
Suppose -4*p - 2*f = -3422, p - 10*f + 15*f - 869 = 0. Suppose b + 2*n - 60 = 364, 2*n = -2*b + p. Is 33 a factor of b?
False
Suppose -29730 = -3*l + 1338*c - 1340*c, l + c = 9909. Does 15 divide l?
False
Let r = 1721 - 1688. Does 2 divide r?
False
Suppose -1639 = -8*z - z + 6623. Is 9 a factor of z?
True
Let t(w) = -w + 269. Suppose 3*r + 15 = 2*q, -5*q + 5*r - 3*r + 10 = 0. Let d be t(q). Is 1 + d - (-5 - -9) a multiple of 19?
True
Let v = 181 - 183. Is 84 - (10/v + 5) a multiple of 11?
False
Let a(y) = -402*y - 5858. Is 14 a factor of a(-77)?
False
Suppose -8*y + 8 = -8. Suppose 6*v = 2*v + 16. Suppose -22 = -z + 5*o, -y*z + 7*z = v*o + 131. Is 15 a factor of z?
False
Let a(h) = -h**2 + 10*h - 13. Let y be a(7). Suppose 3*f = -5*z + z + y, -5*z - 21 = -4*f. Let w(v) = 31*v - 9. Does 26 divide w(f)?
False
Let w = 527 + -522. Suppose 3*d + 12*n = 9*n + 1263, -w*d + 2*n = -2070. Does 8 divide d?
True
Suppose 14*p - 390 - 1778 = -110. Let k(o) = o. Let s be k(6). Suppose p = -s*j + 735. Is 14 a factor of j?
True
Suppose 31*i = 33*i + 94. Suppose -p - p = -2*g - 76, -2*g - 81 = 3*p. Let d = g - i. Is d a multiple of 4?
True
Suppose -49*p + 47990 = -23991. Does 7 divide p?
False
Suppose -55*z + 58*z + 59 = 4*a, -4*z + 3*a = 88. Let p(h) = 2*h**3 - 5*h**2 - 6*h - 5. Let c be p(5). Is (c/15)/((-1)/z) a multiple of 15?
True
Suppose 64 = -5*u + u. Let s = u - -19. Suppose 0 = s*l - 1197 + 189. Does 48 divide l?
True
Let n = 157 - 76. Suppose -135 = -3*s + n. Let m = s + -23. Does 10 divide m?
False
Suppose 5 = 2*o - 5. Suppose 4*p = -5*b - 0*p + 165, 0 = o*p. Is 11 a factor of b?
True
Suppose -16*i + 7730 = 1954. Suppose 6*m = 35 + i. Does 6 divide m?
True
Let y(m) = 3*m**2 - 11*m - 11. Let v be y(-5). Suppose -u - 50 + v = 0. Does 23 divide u?
True
Suppose 2586 = r - 3*g + 130, 7355 = 3*r + 4*g. Is 73 a factor of r?
False
Suppose 0 = -4*f - 3*o + 23, -2*o - 11 = -2*f - 3. Suppose t - g = 64, -2*t = -t - f*g - 80. Is t a multiple of 30?
True
Let j be 2/(-4) - (-9)/(-6). Let w be (12/(-8))/(j/(-3760)). Does 13 divide 7/((-126)/w) - (-2)/(-3)?
True
Let h(y) = 6*y**3 - 5*y - 12 + y**3 + 232*y**2 - 6*y**3 - 214*y**2. Is h(-16) a multiple of 10?
True
Let c = 11105 - 8029. Does 36 divide c?
False
Let r = 22 - -146. Is ((-71)/(-4))/((-7 - -14)/r) 