True
Let u = 3195 - 2281. Suppose 0*c + 3 = c, 2*p + 4*c - u = 0. Is p a multiple of 41?
True
Let k = 14824 + -3595. Is 216 a factor of k?
False
Let v(n) = -8*n + 8. Let m be v(1). Let a be 2/(-6)*m*1. Suppose -3*b + 202 + 26 = a. Is 19 a factor of b?
True
Let f(r) = 2*r**2 + 9*r - 4. Let o be f(-4). Let u(n) = -3*n**3 - 15*n**2 + 13*n + 23. Does 15 divide u(o)?
True
Let h(v) = v**3 + 43*v**2 - 46*v + 89. Let t be (-2)/(-15) - ((-3972)/45)/(-2). Is 59 a factor of h(t)?
True
Suppose 68*w - 61502 + 26530 = 101980. Is w a multiple of 38?
True
Is (-3)/6 - ((-232478)/20 + (-12)/(-30)) a multiple of 197?
True
Suppose -p = -4*a - 39, -2*p - 7*a = -2*a - 26. Suppose -p*y + 1874 + 6544 = 0. Is y a multiple of 12?
False
Let w(g) = 54*g**3 + 24*g - 128. Is 2 a factor of w(4)?
True
Let x(k) = -767*k + 1358. Is x(-14) a multiple of 27?
True
Let i = 24 + -19. Let m(p) = 2*p**3 - p**2 - 8*p - 4. Let a be m(i). Suppose 9 = 5*d - a. Does 12 divide d?
False
Let g be (-1418)/(-6) + (-3)/9. Let m = 1336 - 1500. Let d = g + m. Is 6 a factor of d?
True
Suppose -7*s - 10*s = -2*s - 23070. Does 5 divide s?
False
Let t be 494/(-19)*(1 + 0)/(-1). Suppose -31*p + t*p = 0. Let h = p - -114. Does 20 divide h?
False
Suppose 0 = 9*j - 12*j - 33. Let g be (j - -6) + -3*(-3 - -4). Let m(q) = -q**3 - 7*q**2 - 14. Is 25 a factor of m(g)?
True
Suppose 0 = -5*b + 2*h + 3*h - 10, -3*h + 12 = 0. Let u(y) = 17*y**2 - 3*y - 1. Is u(b) a multiple of 12?
False
Suppose 4*n + 2046 = -5*i + 16000, 4*i = -2*n + 11162. Does 6 divide i?
True
Suppose -55*v + 50*v - 4*f + 39888 = 0, -7983 = -v + f. Is v a multiple of 38?
True
Let k be (-112)/6 - (-8)/(-24). Let h be k*-4*(-21)/12. Let c = -113 - h. Is 5 a factor of c?
True
Let f(t) = t**3 - 10*t**2 - 25*t + 16. Let c be f(12). Suppose 3*y - 5*x - 1912 = 0, y + 0*x + c*x - 626 = 0. Is 66 a factor of y?
False
Suppose 0 = -s - r + 947, 2*s + 5*r - 3013 = -1128. Does 19 divide s?
True
Let m(j) = -j**3 - 11*j**2 - 7*j - 2. Suppose -4*y = h + 4, 2*h + 2*y + 2*y + 8 = 0. Let b be 2*((-4)/10)/(h/(-55)). Does 25 divide m(b)?
True
Let v(o) = o**3 + 11*o**2 - 7*o - 13. Suppose -6*b + 9*b = 78. Suppose 0 = 5*i - 2*d + 28 + b, i + 14 = 2*d. Does 15 divide v(i)?
False
Suppose 27*g + 31495 = 152671. Does 17 divide g?
True
Suppose 0*o = 5*o. Suppose -11*z + 18*z - 14 = o. Let x(f) = 5*f**3 + 3*f**2 - 4*f - 2. Does 21 divide x(z)?
True
Let r be (-97)/(-19) + (-6)/57. Suppose -r*a - 520 = -4*p, a = -5*p + 617 + 4. Is 25 a factor of p?
True
Suppose -1158*z = -1160*z - 3*p + 67889, 0 = -z - 3*p + 33949. Does 20 divide z?
True
Let f be (2/(-4))/(51755/6468 - 8). Is 14 a factor of 8/((119/f)/(-17))?
True
Let v = 221 - 216. Suppose 3215 = 5*k - 3*i, 3*k + v*i - 6*i = 1929. Is k a multiple of 32?
False
Suppose 0 = 4*w - 2*h - 1718, -5*w = 3*h - 5*h - 2148. Let r = -212 + w. Does 36 divide r?
False
Let v(z) = -z**2 + 4*z + 24. Suppose 0 = -2*g - 10, 10*n - 30 = 5*n - g. Is v(n) even?
False
Does 35 divide 3417*-1*1*(-392)/147?
False
Let k = 3203 - 2433. Does 4 divide k?
False
Suppose -j - 5*d = -240, -12*d - 672 = -3*j - 11*d. Let w be -2 - (-2 - 1)*-49. Let o = j + w. Does 38 divide o?
True
Suppose 4 = -4*a, -171043 + 24804 = -5*h - a. Is 32 a factor of h?
True
Suppose d = -18 + 21. Suppose 5*a + 5*z - 115 = 0, -45 = -d*a + 2*z + 34. Is 11 a factor of a?
False
Suppose 2*i - 92 = 2*u, -2*u + 3*u + 3*i = -34. Let f = 110 + u. Is 2 a factor of f?
False
Let x = 8009 - 6047. Does 6 divide x?
True
Does 9 divide (96/384)/(4/37728)?
True
Let p = -45 + 43. Let h be ((-126)/56)/(p/8). Is 22 a factor of h/(-15)*(-890)/2?
False
Let u(i) = 4*i**2 + 25*i - 208. Is 15 a factor of u(14)?
False
Let y be (-25)/((-10)/2)*21099/15. Suppose -y = -83*o + 70*o. Is o a multiple of 24?
False
Suppose 0 = -5*q + 13112 + 10353. Suppose -q = 24*w - 30637. Is w a multiple of 12?
False
Is 2 - (-5006 - 0 - -3) a multiple of 65?
True
Let i(r) = -4*r**3 - 55*r**2 + 96*r - 170. Let n(z) = -z**3 - 14*z**2 + 24*z - 42. Let v(d) = -2*i(d) + 9*n(d). Is v(-18) a multiple of 54?
False
Suppose 351900 = 1294*f - 1260*f. Is 50 a factor of f?
True
Let d be 100/16 - (-2)/(-8). Is (-540)/d*8/(-12) a multiple of 15?
True
Suppose -v + 7*o = 8*o - 1758, -2*o + 1756 = v. Is v a multiple of 20?
True
Let c(f) = 637*f - 1574. Is c(7) a multiple of 21?
False
Let g be 24/(0 + -4)*-4. Suppose -29 + 89 = 12*r. Suppose 0 = -3*l + r*n + 7 + g, -3*l - 4*n = -40. Is l even?
True
Let x(t) = t - 5 - 17 - 13 - 3. Let f be x(8). Let j = 82 - f. Is j a multiple of 8?
True
Suppose 0 = 62*d - 58*d - 4*z - 9020, 4*d = -4*z + 9036. Does 52 divide d?
False
Suppose -2*a - 2*r = -38406, 2*a + 4*r = -20272 + 58666. Is a a multiple of 57?
True
Let q = -575 - -524. Is (11288/q)/(6/(-9)) a multiple of 14?
False
Suppose 5*c = -3*y + 776 + 3454, 0 = -y - 3*c + 1414. Is y a multiple of 124?
False
Is 91 a factor of 0 + -40 + 28 + 29*669?
False
Suppose -8*v + 14*v = -120. Is 9 a factor of (-338)/(-1) + (-25 - v)?
True
Suppose -2*f - 61 = -65, 3*g + f - 46802 = 0. Is g a multiple of 208?
True
Let c(t) = -t - 3. Let w(y) = -y**3 + y**2 - y + 1. Let l(d) = c(d) - 2*w(d). Let s be l(3). Suppose s*j - 39*j + 120 = 0. Is j a multiple of 2?
True
Let p(o) = o**3 + 4*o**2 - 3*o + 4. Let j be p(-4). Let z = -6 - j. Let w = z - -39. Is 3 a factor of w?
False
Let y = -90332 + 47519. Is 16 a factor of 4/(-10) + (y/(-45) - -1)?
False
Let j(z) = 3*z**2 - 95*z + 1303. Does 5 divide j(15)?
False
Suppose 5*z = -0*z - 155. Let k = 34 + z. Suppose 0 = -4*p - k*h + 105, 4*p + 5*h - 111 = -0*p. Does 4 divide p?
True
Suppose -7*d - u + 350 = -6*d, u + 1050 = 3*d. Is 13 a factor of (-2)/(-6) - d/(-3)?
True
Let y(u) = u**3 + 11*u**2 - u - 8. Let z be y(-11). Suppose 3*j + 3*w - 1 = 2, -z*w = -5*j - 19. Is 14 a factor of ((-48)/32)/(j/316)?
False
Suppose 2021355 = 232*b - 380*b + 217*b. Does 67 divide b?
False
Suppose -11 = 6*i - 41. Is i/50 + 21236/40 a multiple of 59?
True
Let n be (51/(-6) + -1)*22. Let y = -119 - n. Is y a multiple of 4?
False
Let g = 186 - 96. Let z = -88 + g. Suppose -z*u + 350 = -0*u - 4*j, -4*u + 2*j + 670 = 0. Is 33 a factor of u?
True
Suppose -235*h = -191*h - 751872. Is h a multiple of 96?
True
Let y(f) = 188*f**2 + 208*f + 1722. Is y(-8) a multiple of 22?
False
Let f be (-3)/4 + (-3738)/(-56). Is 2/(-12) - ((-52811)/f + 1) a multiple of 61?
False
Let g(x) = x**2 - 14*x - 15. Suppose 124 = u - 4. Suppose 5*q = -3*q + u. Does 4 divide g(q)?
False
Let n(r) = r**3 - 2*r**2 - 2*r + 3. Let p(l) = 4*l**3 + 2*l - 3 - 4*l**3 + 6*l**2 - 4*l**2 - l**3. Let z(t) = -5*n(t) - 6*p(t). Is 3 a factor of z(3)?
True
Let z(q) be the third derivative of 7*q**4/24 + 65*q**3/6 + 1340*q**2. Suppose -49 = -2*h + 1. Does 21 divide z(h)?
False
Let v = -101 - -209. Is 12 a factor of ((-118)/(-4))/(54/v)?
False
Let z(y) = -103*y**3 - 4*y**2 + 3*y + 7. Let r be z(-4). Let k = r + -10247. Is 31 a factor of (-1)/(12/2) + k/(-24)?
True
Let l = -83 - -88. Does 38 divide (6 + -1)/(-5) + 74*l?
False
Let c(o) = -13*o**3 - 148*o**2 - 273*o - 95. Let g(p) = -3*p**3 - 37*p**2 - 68*p - 24. Let i(q) = 2*c(q) - 9*g(q). Is 6 a factor of i(-35)?
False
Suppose 0 = 2*a - 105 + 15. Let p = a - 25. Does 5 divide p?
True
Let u(k) = k**3 + 40*k**2 + 32*k - 18. Let n be u(-39). Let o = n - 72. Is 61 a factor of o?
True
Let k = 20460 - 1639. Is 29 a factor of k?
True
Let u(p) = -p**2 + 35*p - 105. Let m be u(19). Let i = m + -149. Is i a multiple of 10?
True
Suppose -24 + 234 = 10*v. Suppose v = 4*a - 11. Suppose -a*r = -2858 + 954. Does 17 divide r?
True
Let m(n) = n**3 - 64*n**2 - 68*n + 1477. Is 23 a factor of m(70)?
False
Let b = 545 + -543. Does 11 divide b/7 + 2524/84*15?
True
Let u(b) = 6*b - 281. Let p be u(52). Let x(v) = v**2 - 33*v + 154. Is x(p) a multiple of 64?
False
Let s(k) = k**3 + 18*k**2 + 17*k. Let q be s(-16). Let m = q - 167. Is m a multiple of 7?
False
Let r be 181 - 0 - (-49 + 46). Suppose j - 5*j - 5*i + 383 = 0, -2*j + r = 4*i. Is j a multiple of 4?
False
Let b = -1615 + 4815. Is b a multiple of 25?
True
Suppose -487*l - 1465 = -492*l. Is l a multiple of 4?
False
Does 47 divide 0 + (-5 - 2) + (2 - -3013)?
True
Let h(a) = -2*a**2 + 51*a + 8. Let f be h(26). Is 11 a factor of ((-45)/f + 0)/((-2)/(-176))?
True
Let i(a) = a**2 - 30*a + 3391. Is 61 a factor of i(0)?
False
