ltiple of 2?
False
Suppose -3*k + 170 = m, -3*m + 518 - 41 = -2*k. Let i = m + -103. Suppose o + i = 84. Is 13 a factor of o?
True
Suppose -2*v + 10 = 0, 3*u - 330 = -u - 2*v. Let g = -55 + u. Suppose 0*a = -2*l + a + g, -l - 5*a + 18 = 0. Is 7 a factor of l?
False
Let w(b) = 5*b**2 + 106*b - 744. Is w(34) a multiple of 15?
True
Let r(f) = f**3 - 3*f**2 + 6*f + 11. Let w(x) = 2*x**3 - 9*x**2 + 19*x + 32. Let c(y) = -7*r(y) + 2*w(y). Does 14 divide c(-6)?
False
Suppose 62*i = 51078 + 733780. Is i a multiple of 3?
False
Suppose -100 - 828 = 8*t. Let y(i) = -i**2 + 10. Let a be y(9). Let m = a - t. Does 27 divide m?
False
Let u = -14658 + 22347. Is u a multiple of 33?
True
Suppose -t = t + 30. Let k(b) = -25*b - 15. Does 10 divide k(t)?
True
Let q be (-16)/56 + 34/14*-67. Let r = -95 - -16. Let y = r - q. Is y a multiple of 42?
True
Is 27 a factor of (13/468*12486)/(3 - (-1220)/(-408))?
False
Suppose 3*z - 7 = 8. Suppose 0 = -0*n + z*n. Suppose -4*p = 16, n = -3*c - 5*p + 232 + 300. Is c a multiple of 12?
False
Let l be (3 - 5) + 4 - 1. Is 8 a factor of l*-12*(-147)/28?
False
Let p(o) be the third derivative of -o**5/60 + o**4/3 + o**3/2 - 101*o**2. Suppose 3*d - 4*y = 4*d - 25, -4*y + 15 = -d. Is 5 a factor of p(d)?
False
Is (-2 + (-20)/(-3))/(2/270) a multiple of 45?
True
Suppose -7*m = -13*m + 222. Suppose 2*v - 3*s - m = 0, 5*v + 3*s - 106 = 18. Is 9 a factor of v?
False
Let z(c) be the third derivative of c**4/12 - 13*c**3/3 + 15*c**2. Let k be z(14). Suppose k*t + 8 = 106. Is t a multiple of 13?
False
Let a(w) = 5*w - 2. Suppose 7*j + 1 = 8. Let k be a(j). Suppose -2*u + k*i = -240 - 20, -2*u - 3*i = -284. Is 17 a factor of u?
True
Let o(s) = 100*s - 54. Let r be (-4)/12 - (-2 - 66/9). Let b be o(r). Suppose -6*c + b = -300. Does 8 divide c?
False
Let b be 20/5 - 7 - (-14)/(-2). Let n(z) = -z**2 - 24*z + 9. Let g be n(b). Is 5 a factor of g/3 - 2/(-6)?
True
Suppose -33*l + 828 = -37*l. Let h = l + 557. Is h a multiple of 50?
True
Is 10 a factor of (1/3)/(2/(-87768)*-12)?
False
Let h = -16015 - -27130. Is h a multiple of 9?
True
Let h = -320 - -835. Let f = h + 110. Is 25 a factor of f?
True
Let w(h) = 7*h + 1. Let y be w(3). Suppose 328 - y = 6*z. Is z a multiple of 8?
False
Suppose -2*h + 2*k - 1231 + 8047 = 0, -30*h - k = -102488. Is 56 a factor of h?
True
Let d(r) = -2*r**2 + 7*r + 1. Let m be d(3). Let a be ((-28)/35)/(m/(-730)). Let c = a + -95. Does 39 divide c?
False
Suppose -3370 = -40*m + 45*m. Let y = 868 + m. Is y a multiple of 101?
False
Let g(z) = -22*z - 2. Let i be g(-2). Suppose -d + i = -209. Let j = d - 93. Does 32 divide j?
False
Suppose m + 2*j + 594 = -2*m, 3*j + 9 = 0. Let q be 6/(-12)*(-2 - -2) + m. Let c = 24 - q. Does 44 divide c?
True
Suppose 87 - 87 = -7*u. Suppose -2*h + 372 = 2*z, u = 2*z - h - 145 - 221. Is z a multiple of 9?
False
Let z(q) = q**3 - q**2 - 58*q - 12. Let y be z(-7). Suppose 947 = y*k - l, 2*k - 43*l = -44*l + 957. Does 17 divide k?
True
Let n be (1 + 7607/7)/((-14)/(-98)). Suppose 9*f + 621 = n. Is 21 a factor of f?
True
Let m(s) = -13*s + 8*s + 6*s + 4*s - 8 - 3*s**2. Let o be m(5). Let y = o - -84. Does 13 divide y?
True
Let l(m) = 3*m**3 - 65*m**2 + 22*m - 276. Does 14 divide l(24)?
True
Let b(o) = 529*o**2 - 60*o - 32. Is b(-4) a multiple of 24?
False
Let w = 21360 + -19824. Is w a multiple of 74?
False
Let i be 3 - ((-1)/3 - 2/(-6)). Suppose -i*h = -15, r + h - 2*h = -14. Let v(w) = -10*w - 38. Does 22 divide v(r)?
False
Suppose -14 = 2*r - 4*r + 3*p, -4*r = -p - 18. Let s be -3*((-2)/r)/((-3)/(-6)). Does 20 divide ((-10)/(-5) - 2*s) + 84?
True
Let o = 3432 + -3363. Is 4 a factor of o?
False
Suppose 5*b - 2738 = -3*n, 4*b = -5*n + 1867 + 339. Is b a multiple of 9?
False
Let j = 104 + 175. Let x = -267 + j. Does 3 divide x?
True
Is -1 - -1857 - (135/(-81) + 42/9) a multiple of 7?
False
Let t(y) = 1. Let w(d) = -4*d - 19. Let p(b) = -6*t(b) - 2*w(b). Is p(11) a multiple of 12?
True
Let g(o) = o**3 - 6*o**2 + 4*o + 8. Suppose 2*b + 2 = -5*r + 27, -4*r = b - 17. Let w be g(b). Suppose 2*t + w*t = 1110. Is t a multiple of 22?
False
Let z(k) = -k**2 - 5*k + 12. Let c be z(-6). Suppose -c*l = -1068 - 2196. Is l a multiple of 17?
True
Suppose -84909 = 96*t - 396185 - 301108. Is t a multiple of 14?
False
Suppose 5*o = 4*i - 96, 4*i + 5*o = -i + 120. Suppose -11*p + 23*p = i. Does 17 divide (-2 - 357/(-3)) + p?
True
Let g(a) be the second derivative of 0 - 7/6*a**3 - 40*a - 2/5*a**5 - 1/3*a**4 - 4*a**2. Is g(-2) a multiple of 7?
False
Suppose 53 = 3*b + 4*h - 23, -3*b = 5*h - 77. Is (-16)/b + (-4004)/(-12) a multiple of 53?
False
Suppose 5*o = 0, 4*b + 4*o = 9*b + 4590. Does 17 divide (b/36)/(1/((-4)/6))?
True
Suppose 7 + 10 = j. Let h = 591 + j. Is h a multiple of 16?
True
Suppose -c + 12 = 2*o, 2*o - 4*c + 7*c = 12. Suppose -o*s - 954 = -11*s - 2*f, -573 = -3*s - f. Does 12 divide s?
True
Does 80 divide (6 - 31116/(-10))/((-2)/(-11 + 1))?
False
Let t(c) = -2*c**2 + 3*c + 32754. Is t(0) a multiple of 118?
False
Is 225 a factor of ((-423)/188)/((-6)/130864)?
False
Suppose -10*i = -3*i - 12859. Let k = 2808 - i. Does 9 divide k?
False
Is 7 + 5 + 15 + 8763 a multiple of 27?
False
Let k = -17987 - -39389. Does 29 divide k?
True
Let j(i) = 2*i**2 - 34*i + 23. Let x be j(-9). Let r = x + -456. Does 6 divide r?
False
Let g(o) = 61*o - 193*o - 13 - 2 + 47*o. Does 15 divide g(-3)?
True
Suppose -4*b - 451 = 2*n - 4281, 2*b = 4*n - 7710. Is n a multiple of 11?
True
Suppose -4*t + 2*f = -4, 2*f + f + 6 = -4*t. Suppose -7 = -4*g - 43. Does 14 divide -34*(t - g/(-6))?
False
Let r(q) = q**3 + 11*q**2 - 23*q + 3. Let v be r(-7). Suppose -2*o - 5*u - 1 = 0, -u - 2*u - 7 = -2*o. Suppose 7*a = o*a + v. Does 8 divide a?
True
Let v(s) = s**3 - 2*s**2 + 4*s + 98. Let t be v(0). Let n = t - 28. Is 7 a factor of n?
True
Suppose 450 = -16*f + 23762. Is f a multiple of 23?
False
Suppose 4202 = -4*d - 2*s, 4*d - 5*s + 1673 = -2550. Let o = -715 - d. Is 48 a factor of o?
False
Suppose 3*a + a = 2228. Let w = a + -285. Is w a multiple of 42?
False
Suppose 28*b = -z + 23*b + 12934, b = 2*z - 25802. Does 8 divide z?
True
Suppose 3*s = -h - 6 + 27, h = -4*s + 21. Suppose -42 = -5*o + 2*o - 2*a, -a = -2*o + h. Does 10 divide 15/o*(-16)/(-2)*2?
True
Let u = 92 - 101. Let h(i) = -11*i - 44. Is 11 a factor of h(u)?
True
Suppose -14958 = -39*q - 177. Suppose -2*k = 5*u - 1882, -25*k - q = -u - 28*k. Does 39 divide u?
False
Let m(k) = -k**3 - 9*k**2 + 35*k + 431. Does 4 divide m(-9)?
True
Let q(b) = 86*b**3 + b**2. Suppose -2*v = -6*v + 32. Suppose v*w = 13*w - 5. Is q(w) a multiple of 36?
False
Suppose 0*f = 4*l - 3*f - 72, 90 = 5*l + 4*f. Suppose j = 2*m + 3, -3*j - m + l = 2*m. Does 12 divide 543/j + (-4)/(-10)?
False
Suppose 0 = -7*v - 5*v - 876. Let x = v - -160. Does 46 divide x?
False
Suppose -6 = b + 3. Suppose 3*k - 338 = 3*c - 128, 4*k = -5*c + 253. Let o = k - b. Does 38 divide o?
True
Let b = -577 - -513. Does 78 divide -5 - ((-112)/b)/((-1)/716)?
True
Does 9 divide (117/36 + -3)*140684?
False
Let a be 1/(-3) - ((-13181)/21)/(-7). Let b = a + 189. Is b a multiple of 9?
True
Let x be (4/4)/1*-5 + -110. Let v = x - -309. Does 8 divide v?
False
Let i(r) = 21*r + 1419. Does 38 divide i(64)?
False
Let d be -3 - (129/45 - (-6)/45). Is 7 a factor of 2 + 555 + 10 + d?
False
Suppose 40 = -5*o - 3*x, -3*o + 5*o = 3*x + 5. Let c be (o + -2)*140/(-4). Let f = -112 + c. Is 19 a factor of f?
True
Suppose -5*b - 17 = -d, -5*d - 5*b = -3*d - 4. Suppose 6*x + d*x = 3653. Does 19 divide x?
False
Let p(v) be the second derivative of -v**5/20 + 11*v**4/12 - 11*v**3/3 - 11*v**2/2 - 48*v. Let l be p(11). Let x = -143 - l. Is x a multiple of 11?
True
Let g(f) = 2*f**2 - 8*f + 15. Suppose z = -4*v + 7 + 15, z + 5*v - 22 = 0. Let i = z - 15. Does 24 divide g(i)?
False
Suppose -11*u + q = -16*u + 26498, 0 = -4*u - 3*q + 21194. Does 20 divide u?
True
Let z = 21735 + -14006. Is 131 a factor of z?
True
Suppose 3*s - 1413 = 3*k, -5*s + 2*k + 2831 = 473. Suppose -14*l + 1754 = -s. Is 5 a factor of l?
False
Let y = 12376 - 10027. Is y a multiple of 12?
False
Suppose 301*t - 1634918 - 772162 = 41*t. Is t a multiple of 4?
False
Let a(u) = -3*u - 12. Let w be 2/13 + ((-158)/13 - -7). Let v be a(w). Suppose -534 = -v*l - 72. Is 16 a factor of l?
False
Su