r**6/30 + r**5/12 + r**4/24 - 7*r**3/6 - 4*r**2 + 2*r. Does 5 divide i(3)?
False
Is 12 a factor of (-2 - 18)*(-77454)/130?
True
Let g be (-1 - 1) + (2 - -19). Suppose 5*b - 2365 = -5*d, 0 = 20*b - g*b - 4*d - 458. Is 9 a factor of b?
False
Is 6 a factor of (-269 + (-4 - -1))*250/60*-3?
False
Let q be (-4 + 12/4)*-3. Suppose 2*y = 4*k - 11 + 33, -2*y + 16 = -q*k. Let s(n) = n**3 + 9*n**2 + 7*n - 3. Is s(k) a multiple of 9?
True
Let z = -9243 - -13835. Is 112 a factor of z?
True
Let f = 24632 + 10504. Is 18 a factor of f?
True
Let d be -16 + 260 - (0 - -1). Let t = 84 - d. Let b = 6 - t. Does 15 divide b?
True
Let s = 448 - 445. Suppose y + s*r + 1488 = 4*y, -496 = -y + 4*r. Is y a multiple of 16?
True
Let l(p) = 13*p - 131. Suppose 36*m - 58*m = -462. Is 25 a factor of l(m)?
False
Suppose -6*x = -j - x + 8, 0 = -3*j - 5*x + 64. Suppose -4*o + 6 = j. Is (-1)/((-59)/(-20) + o) even?
True
Suppose -67*b + 19100 + 22328 = -19877. Does 61 divide b?
True
Suppose 0 = -w - 12*w + 26. Suppose -5*m = 4*p - 292, 0 = m - 5*m + w*p + 218. Is m a multiple of 5?
False
Let p(c) = 30*c**2 + 3*c + 3538. Does 2 divide p(0)?
True
Suppose -3*x = -q - 15, 2*x = 31*q - 29*q + 6. Let t be (29/(-3))/(1/(-3)). Suppose 6 = -2*l + 3*a, -q*l - 6*a + a + t = 0. Is l even?
False
Let y be 2*(1 + -2)*-2 - -2. Let u be (-3)/((-6)/388) - -2. Suppose y*k - u = -8*k. Does 5 divide k?
False
Suppose 43*s - 203693 = 122290. Is 213 a factor of s?
False
Let x(g) = -g - 4. Let t be x(-49). Suppose 29*r + 496 = t*r. Is r a multiple of 2?
False
Let r be (3 + -1)*(198/(-12) + 14). Is 2/((-1)/r - (-21)/(-180)) a multiple of 8?
True
Let s = -16673 + 35600. Is s a multiple of 27?
True
Let g(t) = t**3 - 19*t + 2*t**3 - 374 - 2*t**2 + t**2 + 371 - 2*t**3. Is g(6) a multiple of 21?
True
Is 26 a factor of (-789168)/(-238) - 2/(-7) - (-1114)/(-9469)?
False
Let i = -320 - -325. Let r be 9/(-2)*310/(-3). Suppose -25 = -i*b + r. Is 9 a factor of b?
False
Let v(h) = 0*h**2 - 8*h + 3 - 5 + h**2 - 4. Let o be v(9). Is 14*(0 + 5/(-2) + o) a multiple of 3?
False
Let z(c) = 34*c - c**2 - 1214 + 2384 - 1319. Is 8 a factor of z(19)?
True
Let s(c) = -c**2 - 20*c - 9. Let x be s(-8). Let y = 34 - 11. Let j = x + y. Is 52 a factor of j?
False
Let w be (1 - 3)/(3*(-4)/(-942)). Let k = w + 33. Let i = -69 - k. Is 11 a factor of i?
True
Let i(o) = -o**3 - 9*o**2 - 16*o - 37. Let r be i(-8). Is 27 a factor of (6/7)/(r/9261)?
False
Suppose 0 = 4*i - 8, 3*b + 6*i = 2*i + 11. Let t be (-6 + 5)/(b/44). Let j = 94 + t. Is 5 a factor of j?
True
Let g(i) = -i**2 + 10*i - 12. Let o be g(8). Suppose o*l = -8, 4*l = t - l - 6. Does 8 divide (3 - 16 - -3)*t?
True
Let a(j) be the second derivative of j**4/4 + 2*j**3/3 - 7*j**2 + 26*j. Let t be a(-4). Does 3 divide 951/27 - 4/t?
False
Let i be (-1 - (-3752)/3) + (-26)/39. Suppose 233 = 13*n - i. Is n a multiple of 14?
False
Let a(n) = 13*n - 77. Let d be a(34). Suppose 2*t + 23 = d. Does 11 divide t?
False
Suppose -15 = -b - 11. Suppose 5*u - 1688 = -b*v - 0*v, 1340 = 4*u - 2*v. Is 28 a factor of u?
True
Suppose -310*y = -287*y - 162978. Does 15 divide y?
False
Suppose -4*i + 3046 + 470 = 0. Is 13 a factor of i?
False
Let c be 0 + -5 - (-1 - (-22)/(-2)). Does 8 divide (-7)/(c/(-719)) + -1 + 2?
True
Let t(f) = f**2 + 11*f + 17. Let a be (-9)/((5 - 1)/4). Let r be t(a). Is r/((-2 - 1)*(-7)/(-2919)) a multiple of 11?
False
Let x(f) = -f - 19. Let u be x(-3). Let c be (-1)/(-4) + (-60)/u. Suppose -c*m + 185 = -835. Does 38 divide m?
False
Suppose 10*k = 6*k + 20. Is (78/2 + k)*5 a multiple of 55?
True
Let p = -36 + 36. Let g(u) = u**3 - 4*u**2 - 7*u - 8. Let r be g(6). Let t = p + r. Is t a multiple of 6?
False
Suppose 3*u = 3*h + 130 - 820, 0 = -4*u + 16. Suppose -y = 2, -4*y = n - y - 123. Let r = h - n. Is r a multiple of 21?
True
Let k(i) = 230*i + 21. Let z(o) = -o + 2. Let f(w) = k(w) - 5*z(w). Is f(7) a multiple of 12?
True
Let s be ((-4)/(-14))/(5 - (-34)/(-7)). Suppose b - s*t - 515 = -6*t, t = 5. Is 20 a factor of b?
False
Suppose 2*v - 3*z + 344 = 1960, 28 = -7*z. Does 6 divide v?
False
Suppose 0*l + m - 9 = 5*l, -4*m = -l - 17. Let c be (-5 - -1 - 37)/l. Let y = c + -17. Is 6 a factor of y?
True
Let q be (2 + 91/(-14))*2/(-3). Let v(f) = -61*f**2 + 32*f**2 + 2*f**3 + 12 + 0*f**q - 5*f - 3*f. Is 18 a factor of v(15)?
False
Let z = -244 - -249. Suppose -10 = z*j, -5*w - 3*j + 3773 = -3061. Does 57 divide w?
True
Suppose -37*o = 36572 - 209214. Is o a multiple of 14?
False
Suppose -3*u - 4*p + 1057 = 298, 0 = -5*u + 4*p + 1297. Let g = 572 - u. Is g a multiple of 35?
True
Suppose 4*q - i + 0*i = 290, 0 = 5*q - 5*i - 370. Suppose -5*p - 22 - 102 = 2*a, -236 = 4*a + 4*p. Let x = a + q. Is x a multiple of 3?
True
Let o(b) = b**3 - 2*b**2 - 10*b + 10. Let k = -68 - -73. Is 3 a factor of o(k)?
False
Suppose 0 = -2*d - 0 + 6. Suppose 3118 - 1180 = -5*t + d*u, 3*t + 1150 = 5*u. Is (-9)/((-189)/t)*-7 a multiple of 26?
True
Is 8 a factor of (40/(-10))/((-8068)/1344 - -6)?
True
Let r(a) = -16*a**2 - 37*a - 7. Let u be r(7). Let v = -918 - u. Is 22 a factor of v?
True
Let a = 1 + 1. Suppose 3*z - a*r + 0*r = 0, r = -z. Suppose z = -62*n + 64*n - 14. Is n a multiple of 4?
False
Let b(m) = m**3 - 5*m**2 - 13*m - 3. Let i be b(7). Suppose -40 = -u - i*u. Let f = u - -74. Is f a multiple of 14?
False
Let a(t) be the first derivative of -t**6/120 + 7*t**4/12 + 2*t**3 - 15*t**2 - 16. Let u(g) be the second derivative of a(g). Is 8 a factor of u(-6)?
True
Suppose -57*n + 69753 + 109797 = 0. Is n a multiple of 30?
True
Let l(g) = 8014*g**3 + 6*g**2 + g - 5. Does 24 divide l(1)?
True
Suppose -2*o - v + 106 = 0, 4*v - 8*v = 5*o - 262. Suppose -o*c + 48*c = -150. Does 6 divide c?
False
Let d(p) = p**3 - 4*p**2 - 11*p - 4. Let x be d(6). Suppose -416 = -q + 3*y + 15, 2168 = 5*q - x*y. Does 31 divide q?
True
Let b(k) = 215*k - 12. Let l = -241 - -244. Is 41 a factor of b(l)?
False
Let j(f) = -22*f + 1. Let r be j(3). Suppose 5*i + 37 = 4*v - 59, -37 = 2*i - 3*v. Does 27 divide 4*(-15)/i - (1 + r)?
False
Is 18 a factor of (-7)/(105/(-18)) + 4616502/565?
True
Let q be (-12)/(-42) + (-457)/7. Let v = -32 - q. Suppose 5*l + v - 183 = 0. Does 5 divide l?
True
Let n(q) = 12 + 493*q - 20*q**3 + 0*q**3 + 3*q**2 - 486*q. Does 10 divide n(-2)?
True
Suppose 4*i + 46 - 238 = 0. Suppose -13*x = -2333 + 71. Suppose -3*z = i - x. Does 19 divide z?
False
Let p(a) = 2*a**2 - 2*a - 7. Let r be p(5). Let f = r + -31. Suppose 2*x - 3*v = 5, f*v - 5 = 2*x - 3*v. Is x a multiple of 2?
True
Let q be (-1311)/(-253) - 2/11. Suppose -2*y = -q*f - 1 - 5, -5*y + 44 = 2*f. Suppose 775 = y*p - 3*p. Is p a multiple of 42?
False
Let u = 8948 + -8383. Does 5 divide u?
True
Let a = 41437 - 29449. Does 9 divide a?
True
Suppose 21*v - 789880 = -140*v - 87*v. Is v a multiple of 5?
True
Let r(t) = 4*t**3 - t + 266 - 260 + 24*t**2 - t**3. Does 3 divide r(-7)?
False
Let f be (-20)/(-35) - (-30)/21. Let n(q) = 22*q**3 + 0*q + q - f*q**2 + 2 - 21*q**3. Is 19 a factor of n(4)?
True
Suppose -3*h - 15 = 4*l + 11, 2*h + 4 = -l. Let a be -25*9/(180/l). Is (-2)/16*a*-24 a multiple of 6?
True
Does 72 divide -4 - ((-44)/(-16) + -2)/(1/(-332))?
False
Suppose 0*j - 5 = -j. Suppose j*m - g + 8 = 3*g, -2*m - 2*g = -4. Is (1 - m)/((-10)/(-50)) a multiple of 2?
False
Suppose -p - 4954 = -r, 160*r - 2*p + 19792 = 164*r. Is 66 a factor of r?
True
Suppose 52 = 4*o + 5*i, 38 = 4*o + 4*i - 10. Suppose 5*f + o - 218 = -w, -f = 5*w - 1026. Is w a multiple of 41?
True
Let y be (-6)/(-27) - (-6)/(162/75). Let i(d) = 118 - 93 - y*d - d**3 - 4*d**2 - 3*d**2. Is 2 a factor of i(-6)?
False
Suppose 8*j - 41*j + 66495 = 0. Is j a multiple of 31?
True
Suppose -k - v + 0 = 1, 4*k - 4*v = -4. Let x be (1 + -6)/(k*(0 + 1)). Suppose 2*f = j + 3*f - 72, -x*f + 150 = 2*j. Is j a multiple of 10?
True
Suppose -2*w - 1080 = -3*v, -2160 = 7*w - 3*w - 2*v. Let t = w + 876. Is 24 a factor of t?
True
Let z(m) = m**3 - 22*m**2 - 3*m - 26. Let w(o) = -o - 1. Let b(l) = 4*w(l) - z(l). Let p be b(22). Suppose 5*q + 0*u = u + 260, p = -2*u. Is q a multiple of 13?
True
Let g(x) = 9*x + 12. Let f be g(-2). Is (348/8)/((-3)/f) a multiple of 25?
False
Does 21 divide 223203/27 + 64/(-36) + (28 - 26)?
False
Suppose 39*h + 276322 - 1252022 = 121175. Is 45 a factor of h?
True
Let t be (4/