 u**5/30 - 28*u**3/3 + 54*u**2. Does 18 divide g(10)?
True
Let w(a) = -a**2 - 149*a + 13066. Does 47 divide w(0)?
True
Let f = 117 + -118. Let a(w) = 387*w**2 + 2. Is 21 a factor of a(f)?
False
Let p(v) = -24*v**2 - 7*v - 49. Let w(j) = 36*j**2 + 11*j + 73. Let f(q) = 7*p(q) + 5*w(q). Does 71 divide f(-7)?
True
Suppose -27*i = -4*o - 23*i - 100, -4*o - 80 = i. Is 144*(4 - o/(-6)) a multiple of 24?
True
Suppose 0 = -577*d + 609*d - 74976. Is 9 a factor of d?
False
Suppose 54 + 771 = -11*o. Let y = o + 45. Let z(i) = i**3 + 28*i**2 - 68*i + 5. Is 49 a factor of z(y)?
True
Let n(v) = v**3 - 76*v**2 - 124*v + 245. Is 101 a factor of n(80)?
False
Let m be (-24)/(-45)*-3 + (-18)/(-30). Does 5 divide (m - -1) + (-2 + -478)/(-4)?
True
Let q(k) = -5*k + 148. Let c be q(29). Let g be -72 + (-1 - -2 - 1). Does 13 divide ((-23)/2)/(3*c/g)?
False
Suppose 35*p - 120 = 31*p. Suppose -p*n = -44*n + 7854. Is n a multiple of 11?
True
Suppose -23*r + 16902 = -381657 - 549731. Does 7 divide r?
True
Let b be 4 + 0 + (-6 - (-2 - 0)). Suppose -3*g + 10 + 2 = b, -4*g + 448 = 2*c. Is 12 a factor of c?
True
Let r be ((-66)/4*-1)/((-2)/(-4)). Suppose 0 = -37*s + r*s + 20. Suppose -v = -a + 142, -s*v + 140 = a + 22. Is a a multiple of 34?
False
Suppose 53612*f - 53649*f = -63973. Is 6 a factor of f?
False
Let i = 340 - 357. Is (i - -3)/(2/(-63)*3) a multiple of 8?
False
Suppose -3*g + 5*j - 1762 = 13, -4 = -4*j. Let w be ((-12)/(-30))/((-2)/g). Suppose -23*m + w = -22*m. Is m a multiple of 22?
False
Let k be (-5)/25 - (4 - (-21)/(-5)). Let i(u) be the second derivative of -u**5/20 - u**4/12 - u**3/6 + 40*u**2 - u. Is 20 a factor of i(k)?
True
Let r = 15025 - 2749. Is 11 a factor of r?
True
Let q(r) = 87*r**2 + 11*r + 66. Does 21 divide q(-18)?
True
Let t(p) = p + 13. Let m be t(-7). Suppose o = -3*r + 7, -m*o - 2*r = -8*o - 10. Is 13 a factor of (3/(-12))/(o/296)?
False
Let l(g) = 2*g**3 - 33*g**2 + 226*g + 32. Is l(10) a multiple of 4?
True
Let r = 8115 + -4732. Suppose -132 = -5*k + r. Does 19 divide k?
True
Let a be (-139)/(-5) - 84/(-70). Let n be 8/2 + -3 + 2. Let i = a - n. Does 26 divide i?
True
Suppose -7*q - 12505 + 14633 = 0. Is q a multiple of 7?
False
Suppose -2*i + 8 - 2 = 0. Let a be 1 - (-5)/15*i. Suppose -y + 147 = 5*n - a*y, 31 = n - y. Is n a multiple of 3?
False
Let b = -672 - -448. Let h = b + 518. Does 7 divide h?
True
Suppose 137 = f + 30. Let k = -102 + f. Suppose -3*g = -k*s - 46, 2*s + 6 = g - 2*s. Is g a multiple of 6?
False
Let l be (-5)/(-2) + 154*4/16. Suppose l*b - 168 = 13*b. Is 4 a factor of b?
False
Let a(d) = -d**3 + 108*d**2 - 414*d + 127. Does 9 divide a(104)?
False
Suppose 21*y - 66875 + 4295 = 0. Is y a multiple of 4?
True
Let i(d) = d**3 + 8*d**2 - 10*d - 6. Let n be i(-9). Suppose k + 6 = 3*z + 36, n*k + 4*z = 51. Is k a multiple of 21?
True
Let a(o) = 4*o - 15. Let j be a(4). Suppose -j - 17 = -6*d. Suppose 5*n = -3*u + 149, -5*n + 58 = -d*u - 73. Is 7 a factor of n?
True
Is ((-188958)/(-30) - -5) + 7*12/210 a multiple of 16?
True
Let k(g) = 407*g - 988. Does 7 divide k(13)?
False
Let w be 18*-2*(-5)/20 - 4. Does 15 divide (-95)/5*-5 + 10/w?
False
Let q = 21283 - 19735. Is 129 a factor of q?
True
Let r(g) = -g**2 - 6*g + 12. Let x be (11 - 4)/(-1 - 0). Let s be r(x). Suppose -5*z + s*p + 1270 = -0*z, 3*p = -4*z + 1002. Is z a multiple of 36?
True
Suppose 3*j + 5*q = 2*j + 34, 122 = 3*j + 5*q. Let v = 759 + -751. Is 17 a factor of (687/33 - -1) + v/j?
False
Let v(q) = q**3 + 6*q**2 + 2. Let h be v(-6). Suppose 4*x + g = 7, h*x + 3 + 4 = 3*g. Suppose -5*y + 51 = x. Is 6 a factor of y?
False
Suppose 6*o = -2*i + 279349 + 89925, 3*o = -4*i + 184652. Does 14 divide o?
True
Suppose 41*k = -111*k + 5283216. Is 99 a factor of k?
False
Suppose -8*k = 3 + 37. Let y(u) = -21*u - 14. Does 12 divide y(k)?
False
Suppose 5*q - 5 = 0, -t - 4*q - 446 = -6*t. Let p = 49 + t. Is p a multiple of 7?
False
Let n(r) = -2*r**2 - 23*r - 138. Let f be n(-8). Does 41 divide (-3 - f - -3)*35/14?
True
Suppose 53805 = 36*v - 179876 + 27761. Does 130 divide v?
True
Does 19 divide 2*((-18)/(-12))/(3/15118)?
False
Suppose 8*c + 387 + 1013 = 0. Let x be 4/(-14) - 102/(-14). Is (-2)/x*1 + (-28750)/c a multiple of 38?
False
Suppose 1 = u + y, 2*y + 0*y = 3*u - 13. Suppose -u*g - 2*v = 13, -3 = -g - 3*v + 6*v. Is ((-186)/(-8) - -3) + g/(-4) a multiple of 11?
False
Let a = 157 + 59. Let x = a - 63. Is x a multiple of 17?
True
Let g(r) = -4364*r + 241. Is 13 a factor of g(-3)?
False
Let l(r) = -3*r**3 - 2*r**2 - 4*r + 5. Let p be l(2). Let u be (-154)/p + 4/(-10). Suppose 3*n + 85 = 2*i, 2*n + u = -2. Does 7 divide i?
False
Let z(y) = -y**3 - 5*y**2 - 6*y - 4. Let m be z(-4). Suppose 5*b - 205 = 5*g, -5*g = -4*g - m*b + 50. Let c = g - -51. Is 2 a factor of c?
False
Let l(m) = -m**2 + 7*m + 9. Let b be l(7). Suppose -3*a - 6*q - 3 = -q, 0 = -3*q - b. Suppose -10*i = -a*i - 744. Is 32 a factor of i?
False
Let h be ((-9770)/35)/(12/(-42)). Suppose o - 4 = 0, 5*f - o - h = -4*o. Is 15 a factor of f?
False
Is 45 a factor of ((-4)/(-2) - 8)/(-2 - 8319/(-4164))?
False
Let k(b) be the first derivative of -2 - 3*b**2 - 11 - b + 60*b**2 + 4*b. Is 13 a factor of k(1)?
True
Let w be 1/((2/16)/((-39)/(-52))). Is 23 a factor of (1670/w - 2) + (-19)/57?
True
Let v be (3 - 0)/(42/(-56)). Does 11 divide (-5401)/(-33) + v/(-3)?
True
Let b = 3542 + -1654. Is 3 a factor of b?
False
Suppose 4*s - 3*c - 37 = 0, 50 = 5*s - 4*c - c. Suppose -4*j + s*j - 9 = 0. Suppose 0*m + 249 = j*m. Is m a multiple of 24?
False
Let j be (45/(-75))/(0 + (-1)/30). Suppose -9828 = j*z - 39*z. Does 18 divide z?
True
Let q = 2383 - 1662. Is q a multiple of 32?
False
Suppose 0 = -2*u - 6, -2*b - 5*u + 40 = 3*b. Let r be 6/33 + 779/b. Suppose f - 89 = r. Does 14 divide f?
False
Let r(g) = -g**2 + 5. Let o be r(0). Suppose -o*m + 9 = 39. Is (2 + (-202)/6)/(2/m) a multiple of 19?
True
Let i be 1 + (-2 - 1)/(-1). Let b = -1767 - -1837. Suppose 5*r - i*r = b. Is r a multiple of 12?
False
Let o be (-4)/(-10)*45/(-18). Is 4 a factor of 6/3 + (193 + o)/3?
False
Is 69 a factor of -2 + (-36)/(-17) + 25941840/1938?
True
Let z = -680 + 1299. Suppose 2*a - 269 = z. Does 19 divide a?
False
Let d be (-12)/30*(2 - -788). Let h = d - -508. Is 24 a factor of h?
True
Let j = -30 - -106. Suppose -j - 194 = -5*h. Is h a multiple of 2?
True
Suppose 41693 = -2*p - 4*d + 140177, -246180 = -5*p - 4*d. Does 68 divide p?
True
Suppose b - 3*a = 1270, -2*b + 3*a + 16 + 2512 = 0. Is b a multiple of 74?
True
Suppose -3*z + 0 = -4*u + 6, z - 11 = -3*u. Suppose -2*k + 5*k + 4*a + 469 = 0, -3*a = -u*k - 483. Let s = -103 - k. Is s a multiple of 7?
True
Let w = 18806 + 32539. Is w a multiple of 163?
True
Suppose -3*f - 4*n + 5*n + 89 = 0, -4*f = n - 107. Let z(v) = v + 4. Let m be z(-8). Let b = f + m. Does 8 divide b?
True
Suppose -4*o + 17 - 145 = 0. Let l be 12/o - 57/(-24). Suppose r = 3*t - 846, 3*t - l*r = 1071 - 228. Does 51 divide t?
False
Let z(t) = -611*t + 86. Let r(n) = 407*n - 57. Let d(h) = -7*r(h) - 5*z(h). Is 7 a factor of d(1)?
True
Suppose -4*t + 12 = -3*s, 3*s - 8*s = 2*t - 6. Suppose -5*n = -2*h + 160 + 46, -h - n + 110 = 0. Suppose -4*g = -s*g - h. Does 9 divide g?
True
Suppose -643416 = -277*u + 403367. Is u even?
False
Let v(k) = 11*k + 57 - 17*k - 49 - 6*k**2 - 14*k**3. Is v(-4) a multiple of 5?
False
Let k be 3/(-6)*-4 + 67/1. Let t = -66 + k. Let q(s) = 3*s**3 + 3*s**2 + 3*s + 1. Is q(t) a multiple of 15?
False
Let g(h) be the first derivative of h**7/420 - h**6/72 - h**5/24 - h**4/24 + 22*h**3/3 - 20. Let a(b) be the third derivative of g(b). Is 17 a factor of a(4)?
False
Let k(v) = v**3 - 11*v**2 - 2*v - 4. Let u be k(11). Let j = -38 - u. Let x = j - -26. Does 9 divide x?
False
Suppose 4*h = 7*h - 12. Suppose -h*w = -w - 450. Let d = -60 + w. Is d a multiple of 10?
True
Suppose 0 = -3*q - 5*b + 26386, -3*b + 39419 = 5*q - 4563. Is q a multiple of 134?
False
Let c(d) = -d**3 + 2*d**2 + d - 6. Let l be c(2). Let o be -2 - (-67 + 8/l). Let n = o + -44. Does 19 divide n?
False
Let n = 30357 + -20874. Is n a multiple of 8?
False
Suppose -19*h = -4970 - 15075. Suppose 3*y - h = -314. Is y a multiple of 4?
False
Suppose 5*d - 598 = k, -4*d = 3*k - 6*d + 1768. Let s = k + 1017. Does 33 divide s?
True
Let w be (-5*(-16)/1