Let u(f) = 2*f**3 - 27*f**2 - 13*f + 10. Is u(d) a multiple of 2?
True
Suppose 55668 = 4*v + 4*k, 3*v + 2*k = -10266 + 52020. Is 12 a factor of v?
True
Let x(n) = 421*n**2 + 276*n - 166. Does 51 divide x(-8)?
False
Let c(s) be the first derivative of 1/2*s**2 + 15 + 1/3*s**3 + s. Is c(4) a multiple of 7?
True
Let m = 47 - 44. Let g be (-1)/m - (-1675)/(-15). Does 10 divide (2 - 3)/(2/g)?
False
Let c = 597 - 173. Let j = c - 236. Suppose 49 = s + y, 4*s - j = -y - y. Is 15 a factor of s?
True
Let n = 170 - 88. Let b = n + -78. Suppose 3*c + 67 = b*c. Is c a multiple of 16?
False
Suppose -4*x + 5*h = -6816, -8*x - h = -4*x - 6816. Let s = 2859 - x. Is s a multiple of 15?
True
Suppose -4*x + 2*k = -2042, 44*k - 15 = 39*k. Does 64 divide x?
True
Let b(x) = 2*x**2 + 71*x + 1016. Is 2 a factor of b(-18)?
True
Let p = -944 - -939. Let g = 24 - -1. Let j = g - p. Is 6 a factor of j?
True
Suppose 4*p + 8*d = 12*d + 60, -60 = -3*p - 2*d. Let s(n) = -n**2 + 24*n - 51. Is 39 a factor of s(p)?
False
Suppose -6*s = -7*s + 5. Suppose 2*c + p = 1589, -1918 - 2052 = -s*c - 3*p. Does 31 divide c?
False
Suppose 6*x = 14 + 70. Suppose v + 3*c = 48, 15*v - x*v + 5*c - 44 = 0. Does 7 divide v?
False
Let y(c) = -3*c**3 + 4*c - 1. Let b(u) = 10*u**3 - 13*u + 4. Let v(s) = 2*b(s) + 7*y(s). Let w be v(-2). Suppose w*l - 179 = -44. Does 11 divide l?
False
Suppose 0 = -2*j - 5*q + 66735, j - 34826 = 5*q - 1511. Is 23 a factor of j?
True
Suppose 0 = 2*j - 2833 - 2543. Let r = -272 + 278. Suppose r*l = 18*l - j. Does 32 divide l?
True
Let l be (-90)/(-11) - 18/99. Suppose 0 = -6*p + 6054 - 1896. Is 2 + p/12 - (-2)/l a multiple of 17?
False
Let k(r) = -8 + 9*r**2 + 34*r - 1 + 3 + 23*r. Does 14 divide k(-9)?
True
Let s(u) = -237*u - 1418. Is 14 a factor of s(-38)?
True
Suppose 2*b - 19733 = 4*q - 779, -5*b + 47412 = -q. Is 87 a factor of b?
True
Let t be 4690/45 - (-8)/(-36). Does 29 divide (4 - 1)*t/(-18)*-3?
False
Let b(w) = -1138*w + 1477. Is 151 a factor of b(-6)?
True
Suppose 0 = -66*h + 9*h + 141075. Does 99 divide h?
True
Suppose 2*y - 4*n + 306 = 0, y + n + 133 = -2*n. Suppose -4*m - 1060 = -0*m. Let p = y - m. Is p a multiple of 15?
True
Let k = 25876 - 7228. Is 8 a factor of k?
True
Suppose -1332*l = -1298*l - 122740. Is l a multiple of 19?
True
Suppose 0 = -4*m + 4*o + 91196, -43*m + 46*m - o - 68399 = 0. Is 114 a factor of m?
True
Is (2190/584)/((-28486)/(-14240) - 2) a multiple of 47?
False
Let l(z) = -3*z**3 - 9*z**2 + z + 5. Let n be l(-3). Suppose 13*v + 26 = r + 14*v, r + n*v = 23. Is r a multiple of 9?
False
Let h = -41 - -43. Suppose 0 = -10*s + 7*s - h*w + 2823, 4*s + 2*w = 3766. Does 23 divide s?
True
Let t = -85 - -87. Let z(l) = l + 168*l**2 + 5 + 1 - 147*l**t. Does 36 divide z(-2)?
False
Let o = 687 - 388. Suppose -2*i = 2*y - 16, -2*i - i = -5*y + 64. Suppose 2*n - o + y = 0. Is 24 a factor of n?
True
Let z = -2627 - -2848. Is z a multiple of 5?
False
Let j(k) be the third derivative of -167*k**4/24 - 37*k**3/3 - 25*k**2 + 2. Does 11 divide j(-4)?
True
Let q = -4931 + 10982. Does 8 divide q?
False
Let q(m) be the second derivative of -m**5/20 + 7*m**4/12 + 5*m**3/6 - 6*m**2 - 9*m. Suppose -75*b = -86*b + 55. Is 9 a factor of q(b)?
True
Let u be (26/3)/(-3*(-5)/(-45)). Let g = u - -31. Let k(d) = d**3 - d**2 + 12*d. Is k(g) a multiple of 16?
True
Let b(x) = 15*x**3 + 2*x**2 - 3*x + 18. Suppose 1 = -3*r - 5*v, 5*v = -2*r - 7 + 3. Is b(r) a multiple of 12?
True
Let n = 55 + 212. Suppose -534 = -2*m + 3*o, -20*o + n = m - 16*o. Is m a multiple of 13?
False
Let c = 114 - 187. Is ((7 - c) + -1)*18 a multiple of 11?
False
Let z = -115 + 119. Suppose 7*t = 2*t + 5*m + 740, -4*t - z*m = -568. Does 5 divide t?
True
Let z be -14 + 22 - 5 - 9123*-1. Suppose -106*i + 115*i - z = 0. Is 26 a factor of i?
True
Let z be -173 - (-3 + 5 - -4). Suppose l + 0*c - 5*c + 114 = 0, 5*l + 4*c + 599 = 0. Let d = l - z. Does 8 divide d?
False
Suppose 0 = -10*l + 7*l + 117. Is (-4)/(-12) + 17303/l a multiple of 12?
True
Let s(m) = m**3 + 5*m**2 - 7*m. Let j be s(-6). Suppose -2*n + j*n - 1440 = 0. Is 12 a factor of n?
True
Let f = 15527 + -11081. Is f a multiple of 78?
True
Let f be (4/(-10))/((-18)/45). Let v(x) = -73*x + 211*x + 212*x - 53*x + 3. Does 46 divide v(f)?
False
Let y = 101 - 41. Let v = y - 58. Suppose -v*g + 116 = 2*l + 2*g, 3*l = -2*g + 166. Does 22 divide l?
False
Let i = 18981 - 12382. Is i a multiple of 159?
False
Let q = 33 + 10. Suppose 4*d - r - 15 - 178 = 0, 5*r = -d + q. Is d a multiple of 24?
True
Let t = 71 + -69. Let h(i) = 123*i**2 - 6*i. Does 16 divide h(t)?
True
Is ((-144)/(-81))/8 - (-2 - 13723/9) a multiple of 38?
False
Suppose 0 = -2*d + 5*o + 12, 3*d - 3*o - 5 = 4. Let t be 4*d/20 - (-12)/(-10). Does 4 divide (-2505)/(-75) + 8/5 + t?
False
Let j(m) = 35*m**2 - 490*m + 6916. Does 19 divide j(14)?
True
Let r(p) = -p**3 + 6*p**2 - 7*p + 7. Suppose 19*z = 15*z + 20. Let s be r(z). Is 165/2*(5 + s) a multiple of 15?
True
Let y be 2/(-4*5/(-20)). Suppose -4*k - y*g = -858, 5*k - 50 - 1042 = 4*g. Is k a multiple of 10?
False
Is 6 + (6708 + -1)*1 a multiple of 137?
True
Let a(w) = -w**2 - 4*w + 34. Let t be a(-8). Suppose 0 = -3*o - y + 251, o = 5*y + 71 + t. Let s = -24 + o. Is s a multiple of 12?
False
Suppose 2*t + 6 = 0, 10 = 4*k + 2*t - 0. Let b(o) = o**3 + 3*o**2 - 6*o - 3. Let q be b(-4). Suppose -f = -q*x - 25, k = -3*x - x. Is 18 a factor of f?
False
Suppose 0 = -4*r + 2*k + 27366, 22*k - 13522 = -2*r - 0*r. Does 110 divide r?
False
Suppose 291*b = 286*b - o + 153516, -o = -5*b + 153534. Does 23 divide b?
True
Let r(k) = -k**3 + 36*k**2 - 23*k + 276. Does 19 divide r(17)?
False
Suppose -11*m + 8385 = -17*m + 19*m. Is 5 a factor of m?
True
Let u(a) = -37*a**2 + 3*a - 39. Let h(b) = 9*b**2 - b + 10. Let r(m) = -9*h(m) - 2*u(m). Let z(s) be the first derivative of r(s). Is z(-4) a multiple of 22?
False
Suppose 40860 = 26*d - 355900. Does 70 divide d?
True
Let s(g) = 5063*g + 961. Is 85 a factor of s(3)?
True
Let u be (-15)/(-75) + (-4794)/(-5). Let p = u + -549. Is 41 a factor of p?
True
Suppose -3*l + 15 = -21. Suppose 18*v = l*v + 1944. Does 35 divide v?
False
Let l = -16090 - -29603. Is l a multiple of 92?
False
Suppose -99165 = -25*c - 29565. Is 48 a factor of c?
True
Let c(s) = s**2 - 5*s - 4. Let m be c(6). Suppose -4*k - 2*g + 1156 = m*g, 2*k = 2*g + 570. Is 28 a factor of k?
False
Let p(h) = h**3 + 28*h**2 - 269*h - 28. Is 18 a factor of p(-35)?
False
Let d = 4199 + -2003. Is 61 a factor of d?
True
Let g = 648 - 649. Suppose c = -0*c + 40. Does 27 divide 86*(g/(-6) + c/48)?
False
Let a = -390 + 390. Suppose -33*q + 26*q + 4214 = a. Is 4 a factor of q?
False
Let p be ((-1)/2)/((-1)/(-10)). Let k(a) = 36*a - 11. Let b(l) = -17*l + 6. Let j(n) = -11*b(n) - 6*k(n). Is 29 a factor of j(p)?
True
Let g be ((-6)/(-9))/(4/1974). Suppose 5*j - 415 = 5*l, 4*j = 3*l + 2*l + g. Suppose -5*v + 4*d + 307 = -87, v + d = j. Does 15 divide v?
False
Let x(m) = -m**3 - m**2 - 9*m + 41. Let r = -209 + 198. Is x(r) a multiple of 21?
False
Let m(g) = 4*g**2 - 3*g - 63. Let l be m(-9). Let q = l + -212. Is 3 a factor of q?
False
Suppose 0*v - 3*a = 2*v + 71, -133 = 4*v + 3*a. Let x(k) = -k**3 + 4*k**2 + 2*k + 22. Let l be x(7). Let w = v - l. Does 8 divide w?
True
Suppose j = -c - 0*c + 6, c - 4 = j. Is c/35 - ((-20322)/42 - -5) a multiple of 9?
False
Let i = -5181 + 6714. Is 46 a factor of i?
False
Is 52/(-65)*(-3045)/((-6)/(-2)) even?
True
Let o = 2186 - 3664. Let r = -854 - o. Is r a multiple of 12?
True
Let g(d) = -230 - 109 - 25*d + 40*d + 65*d. Does 12 divide g(8)?
False
Let x be (-3 - (-6 - 5)) + -1. Does 3 divide 1 + (x - -2) + 0?
False
Let z be -3 + 1 - (-7)/((-28)/(-12)). Let u(k) = -7 + z - 4 - 19*k + 0. Is 22 a factor of u(-4)?
True
Let a = 1 - 4. Let p(c) = -6*c**3 - 3*c + 3*c**3 + 4 - 7*c**2 + 2*c**2. Is 9 a factor of p(a)?
False
Let h be 5984/33 + 4/6. Suppose h = -5*l - 238. Is 290/14 - 24/l a multiple of 2?
False
Let u be 12 - 7 - 5/(5/(-864)). Suppose u = 5*f + 2*o - 1972, 5*f + 4*o - 2847 = 0. Is 17 a factor of f?
False
Let m = 67 + -69. Let v(a) = -298*a - 3. Let q be v(m). Let n = q - 313. Is 56 a factor of n?
True
Let x be 204/16 - ((-17)/4 + 4). Suppose 0 = -x*f + 16*f - 12. Is 6/(-4) + (0 - (-582)/f) a multiple of 18?
True
Let y(o) = 