Let t(d) = -5*d**3 + 26*d**2 + 54*d + 17. Let n(s) = -14*s**3 + 78*s**2 + 163*s + 45. Let z(l) = -4*n(l) + 11*t(l). Is z(29) a multiple of 8?
True
Let n(m) = 542*m + 11576. Does 40 divide n(-8)?
True
Let s(l) = -3*l**3 + 16*l**2 + 18*l + 23. Let i(n) = -2*n**3 + 8*n**2 + 9*n + 12. Let x(v) = -5*i(v) + 3*s(v). Is 9 a factor of x(-6)?
True
Let r(t) = 426*t**3 - 2*t**2 + 14*t - 28. Is 68 a factor of r(2)?
True
Let z(s) be the third derivative of 37*s**5/60 - s**4/6 - s**3/2 + 10*s**2. Let d be z(-1). Suppose -38 = -d*u + 36*u. Does 2 divide u?
False
Suppose -5*u = -513 - 172. Let o be (u - 0) + (-70)/14. Suppose -o = -2*y - 4*v, -v = -4*y + 4*v + 290. Does 6 divide y?
False
Suppose 98225 + 87950 + 146974 = 17*k. Is 152 a factor of k?
False
Is 19 a factor of (456/(-42))/((-30)/315)?
True
Is (-1506212)/(-610) - (-2 - (-12)/10) a multiple of 130?
True
Let h(n) = 13*n**2 + 45*n - 772. Is 24 a factor of h(19)?
True
Suppose 12825 = -9*k + 18*k. Suppose 9*w = 12*w + 3*q - 885, 5*w - 5*q = k. Is 8 a factor of w?
False
Is 190 a factor of 469/67 - (3 - 771/(-6)*-136)?
True
Suppose 3*z = 7*z - 2*r - 28686, -4*z + 28637 = 5*r. Is z a multiple of 15?
False
Suppose -32*c + 36*c = -112. Let d(u) = -23*u - 195. Does 10 divide d(c)?
False
Suppose -2*y - 3*p + 17766 = 0, -35532 = -4*y + 15*p - 19*p. Is 63 a factor of y?
True
Let a be 8 + (-1 - (-1 + 7 + -3)). Let z be 22347/221 - a/34. Let o = 123 - z. Is 3 a factor of o?
False
Let p be (-316*57/(-18))/((-6)/(-9)). Suppose 2*z = -5*i + p, 2*i + 15*z = 18*z + 589. Is i a multiple of 22?
False
Let s(x) = -1162*x**2 + 1163*x**2 - 8*x + 3*x. Let a be s(0). Let q(o) = o**2 - 3*o + 81. Is 26 a factor of q(a)?
False
Suppose 4*b + i = 22535, -26*b + 28*b = -4*i + 11278. Does 164 divide b?
False
Let k(h) be the second derivative of h**4/6 - 13*h**3/6 - 25*h**2/2 - 3*h - 12. Is k(15) a multiple of 23?
True
Suppose -19*l + 116466 = 6*l + 17*l. Is l a multiple of 47?
True
Let o = -803 - -14978. Is 32 a factor of o?
False
Suppose 4*n - 2190 = -g, -1636 = -3*n - 22*g + 18*g. Let z = 245 + n. Is 61 a factor of z?
True
Let f = -21 + 33. Suppose 8*h + 780 = f*h. Suppose 3*j - 2*r = -49 + 167, h = 5*j - 5*r. Is j a multiple of 11?
False
Let h = -112 + 110. Let g be (10/(-2) + -131)/(h/8). Suppose 3*c - 11*c = -g. Is c a multiple of 18?
False
Suppose 0 = -2*o + 5*n + 3, 4*o + 3*n - 4*n + 3 = 0. Let p be o/(-4 + 326/82). Suppose p*f - 196 = 37*f. Is f a multiple of 8?
False
Suppose -5*h - 3*y + 5431 = 0, 9*h - 3*y = 13*h - 4343. Let w = -462 + h. Is 47 a factor of w?
False
Suppose 1955 + 2923 = 6*c. Suppose -812*o + c*o - 176 = 0. Is 8 a factor of o?
True
Let s(c) = 2*c + 4. Let j be s(0). Let h be j + 445 + 0 + -1. Is ((-2)/(-4))/(2/h) a multiple of 28?
True
Let q(j) = -290*j - 116. Let u = -122 + 117. Is 11 a factor of q(u)?
False
Let b = -38948 + 68579. Is 51 a factor of b?
True
Suppose 344*r + 351*r = 7083444 + 28824426. Is r a multiple of 12?
False
Let z(s) = s**3 - 89 - 17*s**2 - 6*s + 7*s**2 - 15*s + 106. Let g(x) = 11*x + 1. Let n be g(1). Does 22 divide z(n)?
False
Let x(b) be the third derivative of -7*b**4/12 + b**2. Let w be x(-2). Is 1602/21 + (-8)/w a multiple of 8?
False
Let a = -108 - -94. Does 41 divide (a - (0 - 0))/(20/(-440))?
False
Suppose -970 + 6569 = 5*d - 2*w, 3*d - 5*w - 3367 = 0. Suppose -4*r = -5*b - d, 0*b = -3*r + 3*b + 843. Is 14 a factor of r?
False
Suppose -8*z + 36 = -12. Suppose -z*r + 160 = -r. Is (r - (-2 + -1)) + (-1)/(-1) a multiple of 18?
True
Let g = 207307 + -125854. Is g a multiple of 13?
False
Suppose -5*r + w = -5, -1 - 19 = r + 4*w. Suppose -44*j + 13*j + 12710 = r. Is 26 a factor of j?
False
Let u(a) = -2*a**3 + a**2 - 4*a + 6. Let o = -103 + 100. Does 9 divide u(o)?
True
Suppose 5*u = i - 12238, 4*i + 5*u - 21816 = 27161. Suppose -i = -465*z + 454*z. Is 53 a factor of z?
True
Let i(m) = 23*m**3 - 2*m**2 + 3*m - 27. Is i(4) a multiple of 19?
True
Let p be (-14)/(1*5/20). Let l = p - -60. Suppose -l*w + 2*w = -2*t - 338, -5*w - t = -875. Is 29 a factor of w?
True
Let f be 5 + ((-12)/(-16) - 1)*0. Suppose -1355 = -3*g - g + 3*x, -5 = f*x. Does 26 divide g?
True
Let z = 15475 + -7165. Is z a multiple of 10?
True
Suppose -3*j + 25729 = 5*h, 5*h + 24935 = 4*j - 9312. Is 21 a factor of j?
True
Let u = -431 - -436. Suppose m - 16 = u*m, 3*m = -5*g + 6183. Does 108 divide g?
False
Let l(u) = 925*u - 4*u**3 - 54 - 464*u - 472*u. Does 41 divide l(-4)?
True
Let d = 18 + -14. Let r = 252 - 242. Suppose -d*a = t - 44, r*t - 284 = 5*t - 4*a. Is t a multiple of 20?
True
Suppose 7*i + 194 = 40. Let y = i - -286. Does 33 divide y?
True
Let y be 4/((-40)/(-6)) + 198/45. Suppose -3*j - 283 - 494 = -5*s, j - 761 = -y*s. Does 17 divide s?
True
Let t(j) = -j**3 + 13 + 9 + 6*j + 10*j**2 + 5*j. Does 61 divide t(-6)?
False
Let z(r) be the second derivative of 3*r**4/8 - 3*r**3 - 7*r**2 - 21*r. Let b(h) be the first derivative of z(h). Is b(6) a multiple of 6?
True
Let y = 21 + -16. Suppose y*d + 28 = 78. Suppose -w - w - 4*n = -44, d = 2*n. Does 4 divide w?
True
Suppose -15*j = -0*j. Suppose -2*p - 44 + 50 = j. Suppose 3*z = -z + 2*s + 38, 0 = p*z - 5*s - 32. Is 9 a factor of z?
True
Does 3 divide 18 + (-1845)/105 + (-151)/(-7)?
False
Suppose -13332 + 828 = -8*h. Suppose -2*q + 7*q = c + h, -4*q + 1254 = -2*c. Is q a multiple of 10?
False
Let h = -63 - -68. Is 8 a factor of 6/(-3)*h/((-40)/668)?
False
Suppose 0 = -6*o + o + 2*i + 10, -5*o + i + 10 = 0. Is (48/15 + -2)/(o/685) a multiple of 8?
False
Let q(l) = 2*l + 13*l**2 + 16*l**2 - 30*l**2 + 8*l - 13. Let m be q(11). Let k = m + 145. Does 12 divide k?
False
Suppose -2*o - 9998 = -g, -2*g + 34*o + 19989 = 37*o. Is g a multiple of 12?
True
Let j(l) = 72*l + 3. Let c(v) = v + 1. Let t(b) = -12*c(b) - j(b). Let n be t(-8). Suppose -431 = -4*r + n. Does 17 divide r?
True
Does 29 divide (3/(-4)*(-32)/12)/((-6)/(-152163))?
True
Let y(x) = -2*x**3 - 7*x**2 - 5*x - 5. Let v be y(-6). Let f be (((-1824)/(-20))/(-4))/(141/15 + -9). Let h = f + v. Does 23 divide h?
False
Let j(b) = 4*b**3 - 56*b**2 + 91*b - 51. Is 74 a factor of j(21)?
True
Suppose -3*n + 5*h + 526 = 0, 4*n + 4*h - 693 = 9*h. Suppose -q - 67 + n = 0. Is q even?
True
Suppose -51497*s - 56808 = -51509*s. Is s a multiple of 8?
False
Let c(b) be the third derivative of b**5/60 - 11*b**4/12 + 25*b**3/6 + 27*b**2. Let k be c(21). Is 11 a factor of (-2673)/(-36) + (-1)/k?
False
Let u be (-3 + 0)*-88*20/(-60). Suppose -4*k = -0*l + 4*l - 500, -k - 4*l + 134 = 0. Let q = k + u. Is q a multiple of 30?
False
Suppose -16 = 15*z - 46. Is 12 a factor of 4977/(-72)*-4 + (-1)/z?
True
Let i = -322 - -179. Let o = -132 - i. Does 2 divide o?
False
Suppose 5*h - 706 + 76 = 0. Let y = h - 132. Does 2 divide ((0 - -4)/(-2))/(2/y)?
True
Let a = 10481 + 1243. Does 12 divide a?
True
Suppose 26*v = 10*v + 64. Is 1217*v/20 + (-6)/(-10) a multiple of 23?
False
Is 11 a factor of -33452*(-8)/56*((-140)/16)/(-5)?
False
Is (-1)/(76/(-699816)) + 50/(-475) a multiple of 105?
False
Suppose 191360 - 1080705 = -98*a + 217761. Does 20 divide a?
False
Is (-64584674)/(-2538) - 8/108 a multiple of 12?
False
Let m(i) = -2*i**3 - 32*i**2 - 109*i - 7. Is 68 a factor of m(-20)?
False
Let x be 1 + (3 - 3) + 0 + -43. Let b = -40 - x. Suppose 3*u - 39 - 248 = -b*j, -4*j = 20. Is 9 a factor of u?
True
Let y = -241 + 244. Suppose -3*g = -9, -y*b + 4871 = b + g. Is 15 a factor of b?
False
Suppose -118285 = -25*h + 184615. Is 13 a factor of h?
True
Let a = 164 + -51. Let m = a + -74. Is 8 a factor of -5 + (-1 - 1) + m?
True
Suppose v + 4 = 4*l + 5, 4 = 4*l + 4*v. Suppose -5*c + 3*s + 42 = l, 2*s + 38 = c + 4*c. Suppose -1932 = -13*x + c*x. Is 46 a factor of x?
True
Let k(q) = 52*q + 0 - 15*q + 16*q + 3. Does 14 divide k(1)?
True
Suppose 16*w = 19*w - 84. Let x be 5 + (8/w - 24/(-14)). Suppose x*h = -4*h + 264. Is 6 a factor of h?
True
Suppose 13*b - 117475 = -24*b. Does 3 divide b?
False
Let u = 969 - 440. Suppose -s + 133 = -l, -12*s - u = -16*s + l. Is s a multiple of 11?
True
Let w = 114 - 96. Suppose 0 = -w*o + 24*o - 300. Does 5 divide o?
True
Is 76 a factor of (17 + -10)/7 - -13756?
False
Let i = 175 - 161. Let k = 85 - i. Is 35 a factor of k?
False
Let i(u) = 255*u**2 + 15*u + 16. Suppose 0 = 692*z - 689*z + 3. Is i(z) a multiple of 72?
False
