b**2 + 9*b + 26. Is y(-12) a multiple of 52?
False
Let f(x) = x**3 - 3*x**2 + 30*x + 10. Let s be ((-84)/30)/(((-42)/(-15))/(-7)). Does 13 divide f(s)?
True
Is (-1 + 1295)*-5*20/(-200) a multiple of 3?
False
Does 11 divide 20*121*-1*((-810)/(-40) + -38)?
True
Let x = 36 - 34. Suppose x*d - d - 1 = 0. Is (-2 + -3)/(d/(-8)) a multiple of 10?
True
Does 12 divide (-63)/945 + 181083/45?
False
Suppose 2*c + 2 = -8, 0 = 5*f - c - 20. Suppose -4*l = 2*s - 134, 5*s - f*s - 142 = 4*l. Let y = -58 + s. Does 5 divide y?
False
Let f = 1 - -1. Let v(d) = 3*d + 0*d - 73*d**2 - 3 + 43*d**2 + 36*d**2 - 4. Is 5 a factor of v(f)?
False
Suppose -106*r = 252915 - 3923140 - 358835. Does 105 divide r?
True
Let b = -30 - -28. Let n be 1 + b + 1 - 0. Suppose n*x - 2*x + 310 = 0. Does 19 divide x?
False
Let o = 3050 - 1173. Suppose -25*a + o = -5323. Is 25 a factor of a?
False
Let j be 6/(-10) - ((-58)/5 + 4). Let l be 1*34 + (j + -2)/(-5). Let t = 73 - l. Is 10 a factor of t?
True
Let m = 3 + 1. Suppose 3*j - 1298 = 4*p, -2*j + 694 + 174 = -m*p. Is j a multiple of 20?
False
Suppose -3*n = -5*b - 17, 3 = -2*b + 2*n - 3. Let a be -3 + 27 + (b - -6). Is 2106/a + 3/2*-2 a multiple of 17?
False
Let n(o) = o**2 - 7*o + 24. Suppose -4*s + g + 20 = 0, 8 = s - 3*s + 5*g. Is n(s) a multiple of 18?
True
Let m(u) = -u**3 + 6*u**2 - 6*u - 4. Let s be m(3). Is 35/s + 464 + (-2)/2 a multiple of 41?
False
Suppose 3*c = -5*l + 108, 2*c - 72 = -4*l + 8*l. Is 41 a factor of (-3)/(-4) + 1665/c - 6?
True
Suppose -860 = -6*z + 12682 + 2370. Does 26 divide z?
True
Let y(b) = 2963*b**3 + 3*b**2 - 3*b. Let m be y(1). Suppose 5*l + 3*p - m = 0, -p + 161 = l - 432. Is l a multiple of 37?
True
Let c = -21 - -15. Let i be ((-21)/c)/((-5)/(-10)). Let m = 44 - i. Is m a multiple of 37?
True
Suppose 21*u - 30313 = -12*u + 150263. Does 114 divide u?
True
Suppose 4 = -3*m + 7*m. Is 43 a factor of (279 - m)*1*1/2?
False
Suppose -k + 3 = 1. Let r be -7*(k + 1 + -4). Is 9 a factor of 1020/105 + 2/r?
False
Suppose -g - 4*y + 1000 = -y, 2*y + 1984 = 2*g. Let l = -679 + g. Let n = -225 + l. Is n a multiple of 14?
False
Let s be (165/(-10))/(6/(-4)). Does 12 divide (-1)/22*-2 - (-3167)/s?
True
Suppose 10*h - 8*h - 7118 = -2*b, 2*b = -h + 7123. Suppose -985 = -q + 4*z + 203, 5*z = 3*q - b. Is 18 a factor of q?
True
Let k(r) = -489*r + 1122. Does 13 divide k(-7)?
False
Let m = -35014 - -72040. Does 9 divide m?
True
Let i(x) = -2*x**2 - 24*x + 61. Let o be i(-14). Suppose 5*p + 4695 = o*y, -602 = -2*y - p + 1267. Is y a multiple of 18?
True
Let z = 462 + -489. Let y = z + 363. Is y a multiple of 28?
True
Let t = 83 - 92. Let l be (-3)/(t/3)*2. Is (-49)/(l/12*-3) + -3 a multiple of 9?
False
Suppose -120*y - 22250 + 2395561 = 520751. Is 13 a factor of y?
False
Let b = -23 + -19. Let h be 242/(-7) - (-18)/b. Let f = h - -91. Is 28 a factor of f?
True
Suppose 0 = -78*h + 82*h + 160. Let m = h - -44. Suppose -2*o + 168 = m*o. Does 7 divide o?
True
Let q(w) = 0*w + 34 + w**2 - 5*w + 25*w - 14*w. Is q(-8) a multiple of 5?
True
Suppose -8*p + 648 + 1176 = 0. Does 2 divide p?
True
Let z(l) = 128*l**2 - 96*l**2 - 1 + 1 + 6*l. Is z(-3) a multiple of 15?
True
Let c = -2981 + 2861. Let m = 0 + 1. Is 10 a factor of m/(-4) - 19230/c?
True
Suppose -x - 2*f - 6 = f, 2 = 2*x - f. Let a(y) be the second derivative of y**4/12 - y**3/2 + 20*y**2 + 2*y. Does 10 divide a(x)?
True
Suppose -266 = 10*n - 29*n. Let m(h) = -h**2 + 42. Let p be m(0). Suppose 0 = -2*q + p - n. Is q a multiple of 5?
False
Let r be (-10)/(-18)*-6 - 4/6. Is 36 a factor of 5 - 10 - (r + -418)?
False
Let q be (1*6)/1 + (-12)/6. Let s(y) = y**2 - y - 1. Let r(i) = -2*i**2 - 6*i - 5. Let a(x) = q*s(x) - r(x). Does 12 divide a(2)?
False
Let q(p) = -9*p**3 - 16*p**2 - 75*p + 24. Is 142 a factor of q(-9)?
True
Let g(q) be the third derivative of -q**6/60 - q**5/30 - q**4/8 + 3*q**3/2 - 4*q**2. Is 7 a factor of g(-4)?
False
Let p(k) = 3519*k + 3519. Let d(a) = 55*a + 55. Let x(n) = -255*d(n) + 4*p(n). Let t(z) = z**3 - 23*z**2 + 19*z + 70. Let i be t(22). Is x(i) a multiple of 17?
True
Suppose 0 = o - 14 - 3. Let r = -10 + o. Suppose -121 - r = -4*j. Does 8 divide j?
True
Let t be (-11256)/112*4/(-3). Suppose 11*h - t = 86. Is h a multiple of 11?
False
Let o = 1524 + 7101. Is o a multiple of 15?
True
Let l(i) = i**3 + 26*i**2 - 2*i - 92. Let p be l(-26). Let s(d) = -18*d - 266. Does 9 divide s(p)?
False
Let y(f) = -f**3 - 4*f**2 - 3*f - 10. Let o be y(-4). Suppose 2*k = 2*z + 354, -5*k = -o*z - 1115 + 239. Does 29 divide k?
True
Let p = -194 - -199. Suppose 0 = 19*c - 15*c - n - 595, p = 5*n. Is c a multiple of 6?
False
Let h(m) = m**3 + 78*m**2 + 104*m + 429. Does 34 divide h(-76)?
False
Let m(d) = -d**3 - 9*d**2 - 12*d + 19. Let v be m(-7). Let p(x) = x**2 - 6*x - 13. Let u be p(v). Is 47 a factor of (-2 - -188)/((-2)/u*6)?
False
Let v = -163 + 76. Let f = v + 107. Does 7 divide (-2)/10*-68 + 8/f?
True
Let s = 212 + -210. Is 21 a factor of (1 - (185/s + 5))*-10?
False
Let p be -5 + (-12)/(-21)*(-84)/24. Let f = 8 - p. Does 2 divide f?
False
Let b = 1100 + -221. Suppose 3*n - b = -4*x, 2*x + 4*n - 228 = 204. Is 10 a factor of x?
False
Let w(o) = 23*o**2 - 59*o - 324. Does 21 divide w(-6)?
False
Suppose 13*c = 10*c - 4*k + 314, -508 = -5*c + k. Suppose -2*d + c = 2*l - 0*l, -3*d + 2*l = -163. Is 6 a factor of d?
False
Suppose -7*p - 187902 = -5*p - 13*p. Is p a multiple of 18?
True
Let p(z) = -284*z + 27. Let t be p(-11). Let f = 4551 - t. Is 45 a factor of f?
False
Let k = -6 + 11. Suppose -5*r - 1220 = 3*h, -k*r - 5*h = 773 + 457. Let x = r + 383. Does 29 divide x?
False
Let n = -70 + 73. Suppose -10*d = -n + 43. Does 9 divide (-1)/d - (35/(-4) - 0)?
True
Suppose 3*w = -0*w + 11234 - 1952. Does 8 divide w?
False
Suppose 21610 = y + 5*w, 0 = 3*y - 3*w - 18865 - 45929. Is 27 a factor of y?
True
Suppose 799 = 2*l + 807, 2*w - 2*l - 29550 = 0. Is w a multiple of 99?
False
Is (30/(-45)*5)/((-8)/8388) a multiple of 5?
True
Suppose -5*w = -3*g - 298, -2*g + 3*g + 182 = 3*w. Suppose 3*m = m - 5*p + w, 79 = 3*m + 4*p. Let a = 36 - m. Is a a multiple of 3?
True
Let f be 56/35*65/2. Suppose 4 - f = -x. Does 12 divide x?
True
Let w = 635 + -635. Let t(x) = -2*x**3 - 2*x**2 - 3*x - 2. Let m be t(-3). Suppose 7*b - 20 - m = w. Is b a multiple of 9?
True
Is 82 a factor of -6 - (15760/(-10) - -12)?
True
Let d(j) = -j**3 - 7*j**2 + 33*j. Is 9 a factor of d(-18)?
True
Let j be (6/(12/53))/(3/18). Suppose -p + 5*p = 5*a - j, -5*p + 2*a - 186 = 0. Is (84/p)/(0 + (-2)/102) a multiple of 17?
True
Let i = 149 - 151. Let n(o) = -o**3 - 4*o**2 - 3*o - 4. Let t be n(i). Let l(f) = -20*f + 13. Is 10 a factor of l(t)?
False
Suppose -v + 5173 = -3*n, -5*n = 2*v - 6*n - 10366. Is 17 a factor of v?
True
Suppose -4*f - 5*x = 32, -4*x + 3*x = -2*f - 2. Is 69 a factor of 36/1*(f - (-1016)/32)?
True
Let w(f) = 92*f**2 + 231*f - 465. Is 2 a factor of w(2)?
False
Suppose 6*p - 3*y - 217698 = 0, p + 89*y - 90*y - 36287 = 0. Is p a multiple of 10?
False
Suppose 0 = 3*s - 2*c - 29, s - 6 = -c - 2*c. Let r = s + -21. Let v = 47 - r. Is 21 a factor of v?
False
Suppose -184*p + 128012 = -196748. Is 134 a factor of p?
False
Let y = -1147 - -1836. Suppose y*f - 1716 = 687*f. Is 33 a factor of f?
True
Let t(c) = 17*c**2 - 19*c + 76. Is t(8) a multiple of 44?
True
Let w(o) = o**3 - 9*o**2 + 8*o + 27. Let r be w(8). Suppose 28 = 5*t + 3. Suppose 2*m + r = t*m. Is m a multiple of 9?
True
Suppose -213 = -3*d - w, 8 = -d + 3*w + 69. Does 5 divide d?
True
Suppose 0 = 18*f - 51*f. Suppose 3*n - 117 - 174 = f. Does 8 divide n?
False
Suppose -121*t + 2069514 + 337660 = 0. Is t a multiple of 14?
True
Let b = -489 - -302. Let m = 267 + b. Let h = m - 5. Is 16 a factor of h?
False
Let b = 47477 - 31743. Is b a multiple of 16?
False
Suppose -t = -12 + 9. Suppose -t*r - p + 46 = 0, 13 = 2*r - p - 11. Does 19 divide r/(-21) + 173/3?
True
Let k(x) = -x**3 + 3*x**2 + 7*x - 7. Let l be k(4). Let t(q) = -q**3 + 13*q**2 - 4*q + 4. Is t(l) a multiple of 23?
True
Let m(w) = w**2 - 21*w - 13. Let j be m(22). Let z = -28 + 22. Let i = z + j. Does 3 divide i?
True
Let i(z) = -2*z**3 + 20*z**2 + 6*z - 4. Let t be i(5). Is 9 a factor of (t/10)/((-70)/(-525))?
True
Let a be (-1 + -1 + -104)/1. Let y(f) = -166*f + 312. Let x be y(1). 