f 23?
False
Let n(t) be the second derivative of 2*t**3/3 + t**2/2 - 344*t. Let f(i) = 3*i + 4. Let w be f(3). Is n(w) a multiple of 14?
False
Suppose -2*o + 8342 = 2*z, 7*o - 3*o - 16645 = 9*z. Does 4 divide o?
True
Let r(y) = -41*y**3 - 33*y**2 + 33*y + 30. Is r(-7) a multiple of 77?
False
Let a = 3 - 5. Let l(c) be the second derivative of -11*c**3/2 + 2*c + 592. Does 30 divide l(a)?
False
Suppose 3*f - 2*q + 5*q = 18, -3*f + 4*q + 46 = 0. Let x = f - 3. Does 6 divide (-4)/(x + 1)*-36?
True
Does 103 divide (618/21)/(77/539)?
True
Suppose -21217 + 179 = -4*h + 5*u, 2*h = -3*u + 10552. Is 18 a factor of h?
False
Let r = 4928 - 192. Does 15 divide r?
False
Let q = -44 - -49. Suppose -q*p = -3*j + 2*j + 61, 0 = 3*j + 5*p - 263. Is 9 a factor of j?
True
Is 88 a factor of (3125/175 - 17)/(3/236614)?
False
Suppose 2*o = -3*b + 32, 4*b + 4*o - 4 = 3*b. Let g be (1*-5 + 2)*16/b. Is 13 a factor of 2/4 + (g - (-606)/12)?
False
Suppose 5*h - 2*w + w = 5, -15 = 2*h + 3*w. Suppose -5*j + 10 + 0 = h. Is (8/10)/(j/450*10) a multiple of 5?
False
Suppose 7*k - 8*k + 737 = 0. Suppose 3*u + 149 = k. Suppose u = 8*t - t. Is 4 a factor of t?
True
Let f = 33209 - 17983. Is f a multiple of 46?
True
Suppose 3*v = 3*p - 2*v + 418, 674 = -5*p - 3*v. Let i = 97 + p. Let u = i - -77. Does 14 divide u?
False
Let h = 6021 + -5354. Is h a multiple of 14?
False
Let w = 29 + -22. Suppose 3*o + 126 = w*o + 3*n, -o - 4*n + 25 = 0. Is 5 a factor of (11/o)/(1/45)?
True
Is 95/(-5 + 106/21) a multiple of 57?
True
Let w be 4/(-18) - (-400)/18. Suppose 9*a = -126 + 180. Let r = a + w. Does 14 divide r?
True
Let l(h) = -h**3 - 24*h**2 + 17*h - 62. Is 17 a factor of l(-27)?
True
Does 156 divide -14 + (5481 - (15 + -8))?
True
Let r(z) be the second derivative of z**7/1260 - 11*z**6/720 + z**5/30 - 7*z**4/4 + 14*z. Let q(s) be the third derivative of r(s). Does 8 divide q(6)?
False
Is (-4)/15 + (-4967457)/(-495) a multiple of 76?
False
Let x(d) = -51*d + 21*d**2 + 71*d + 3*d**2 - 4. Does 29 divide x(3)?
False
Let q be (-1 - (-1201 - -2))*1. Let m be -9 + -2*(-4 - 3) - -3. Suppose -q = -m*g + 298. Does 11 divide g?
True
Let f(w) = 191*w**2 - 39*w - 48. Does 16 divide f(-7)?
True
Suppose -12*h - 135 = -13*h. Let p = h + -242. Let k = p + 157. Is 25 a factor of k?
True
Let l = -49 + 101. Let b = l + 4. Suppose k = o + b, 0 = -o + 3*o. Does 8 divide k?
True
Suppose -5*f + 7*i - 3*i = -60, f + 3*i = -7. Suppose -s + 41 = 3*k, 0 = -0*k + 2*k + f. Let l = s + -44. Is l a multiple of 9?
True
Let w = -12464 - -16130. Is 78 a factor of w?
True
Let z = -59 - -90. Suppose -z = -3*q + 5*i, -4*q + 8*q = -3*i - 7. Does 8 divide (q*-1)/((9/28)/(-9))?
True
Suppose 2*c + 380 = 4*n, 4*n + 5*c = -n + 460. Let m = 179 + n. Is m a multiple of 26?
False
Let r(z) = z**2 - 6*z + 12. Let f be (-5)/10*(22/(-2) + 1). Let c be r(f). Let t = c - -20. Does 5 divide t?
False
Let w = 4825 - -16919. Does 210 divide w?
False
Suppose -7*h = -3*h + 1204. Let a = -50 - h. Suppose 3*x = 5*g - a - 1090, -5*g - 4*x + 1362 = 0. Is 54 a factor of g?
True
Let a = 663 - 362. Suppose -5*v = -4*f + 468, -5*v + 167 + a = 4*f. Does 6 divide f?
False
Suppose 20 = -3*j - 4*x, 0 = -4*j - 0*x + x - 33. Let w be (2 + -1)/(j/(-168)). Is (0 + (-64)/(-12))*w a multiple of 14?
True
Let b = -11 + 55. Let v = 8213 + -8118. Suppose -b*a - v = -45*a. Is a a multiple of 10?
False
Suppose 2*q + 4065 = 17*q. Suppose -9*a - q = -1945. Is 19 a factor of a?
False
Suppose 6559*o + 31440 = 6563*o. Is o a multiple of 30?
True
Suppose 331*s = 5*a + 328*s - 7659, a = 3*s + 1527. Does 73 divide a?
True
Let l = 974 + 2049. Let s = l - 2006. Is s a multiple of 35?
False
Suppose -4*r + 2*r = -42. Is 8 a factor of 0/(-1) + (r - -89)?
False
Let n(s) = 24*s + 121. Let r be n(-5). Is 22 a factor of (1 - r) + (-11)/(44/(-288))?
False
Let w = 207 - -96. Suppose 3*o = -2*m + 527, 2*m - 5*o - 264 = w. Is 2 a factor of m?
False
Let d = 2734 + -1896. Suppose -268 + d = 3*c. Is c a multiple of 10?
True
Let j = 85 + -87. Suppose 7*r - 2*r - 85 = 0. Let p = r - j. Is 3 a factor of p?
False
Let l(h) = -44*h + 27. Let k be l(-2). Let n = 505 - k. Does 39 divide n?
True
Let r be ((2 - 2)/(-2))/1. Suppose -m - 16*m = -408. Is m + (r - -1) + 2 a multiple of 5?
False
Suppose 5*m = -2*n + 27, 0 = -m - 3*m - n + 24. Let j = m + -27. Let h(l) = -l**3 - 21*l**2 - 22*l - 3. Is h(j) a multiple of 8?
False
Let g = 343 + -337. Suppose -3*h - g = -3, -442 = -2*r + 2*h. Does 11 divide r?
True
Let i(q) = -q**2 + 5*q + 14. Let k(v) = v**2 - 6*v - 15. Let b(o) = 3*i(o) + 2*k(o). Let w be b(5). Is 3 a factor of w/(2/7) - 0?
False
Suppose -4*w + 647 + 1595 = 2*f, 2855 = 5*w - 5*f. Is 3 a factor of w?
True
Let o(d) = d**3 - 13*d**2 + 12*d + 9. Let f(i) = 2*i**3 - 16*i**2 + 19*i + 22. Let z(s) = -s**3. Let r(a) = -f(a) - 3*z(a). Let q be r(-17). Does 3 divide o(q)?
True
Let o(w) = 2*w**3 - 20*w**2 + 3*w + 6. Suppose 5*j + 25 = -2*m + 4*m, -j = -m + 11. Does 21 divide o(m)?
False
Let m(b) = -10*b - 12. Let r(w) = -w**2 + 10*w - 7. Let i be r(5). Suppose -3*f + 5*p = i, 24 = -4*f + 2*p + 3*p. Does 16 divide m(f)?
True
Suppose -2*u + 2*v = -0*v - 10, u + 5*v = -13. Suppose -r - 22 = -3*y - 118, 4*y - 138 = -r. Suppose 20 = -3*l - u*m + r, -117 = -4*l - m. Does 14 divide l?
True
Let a be (-9170)/(-85) - 4/(-34). Let j = 132 + a. Does 42 divide j?
False
Suppose -1423 = -q + 4*r, -3*q = 4*r + r - 4252. Suppose -12*d + 1269 = -q. Suppose a - 2*a = -d. Is a a multiple of 14?
True
Let k(t) = -3 + 4*t**2 + 14 + 13 + 3*t**2 - 8*t. Suppose -x - 4*v = -3*v - 8, 2*v = -x + 12. Does 7 divide k(x)?
False
Let g = -98 + 88. Is (47 - 0) + 2/(4/g) a multiple of 19?
False
Suppose 3*u - 3 = 0, 3*r - 7*u - 16601 = 35871. Is 147 a factor of r?
True
Let v = 176 - 160. Suppose -v*s + 133 = -9*s. Is 3 a factor of s?
False
Let c(x) = 9*x**2 + 5*x - 29. Let l(j) = 20*j - 95. Let b be l(5). Does 3 divide c(b)?
False
Suppose -2*o = -0*g + g - 26, -120 = -5*g - 5*o. Suppose 55 = g*m - 143. Suppose m*k - 16*k + 483 = 0. Is k a multiple of 23?
True
Let i(o) = 14*o**3 + 40*o**2 - 21*o + 242. Let b(f) = 5*f**3 + 13*f**2 - 7*f + 80. Let v(z) = 11*b(z) - 4*i(z). Does 19 divide v(-18)?
False
Let p be (-9)/((-45)/(-6) + 3)*-7. Let l(i) = -37*i + 10. Let h be l(p). Let k = -52 - h. Is 20 a factor of k?
True
Suppose -5*o = 8*o - 1274. Let z = o - 71. Does 17 divide 6/z + (-2188)/(-36)?
False
Suppose h - 6 = 0, 18*z - 2544 = 15*z - 4*h. Does 40 divide z?
True
Suppose g = -4*i - 829, 2*i - 5*g + 3*g = -412. Let u = i - -1334. Suppose -9*k + u = -538. Does 37 divide k?
True
Suppose -5*w = 2*n - 14, -3*w - 1 = 3*n - 4. Let p be (17622/165)/(n/(-10)). Suppose -460 - p = -17*t. Is t a multiple of 3?
True
Let t(f) = -42*f + 29. Let s be t(3). Let q = 122 + s. Does 18 divide q?
False
Suppose -52*o + 90022 + 46894 = 0. Is 6 a factor of o?
False
Let b(r) = r - 15. Let n be b(15). Let p(v) be the second derivative of -v**3/2 + 21*v**2/2 - 13*v. Does 4 divide p(n)?
False
Let g(y) = 4*y**2 - 27*y - 118. Is 94 a factor of g(-6)?
True
Let b(h) = -h**3 + 17*h**2 + 25*h + 12. Is 19 a factor of b(17)?
True
Let i = -7186 - -7085. Let a be 1*129/(-2)*-2. Let x = a + i. Does 6 divide x?
False
Suppose 4*h = -3*c + 47516, 0 = 3*h - 2*c - 51026 + 15372. Is 13 a factor of h?
True
Let m(t) = 37*t + 103. Suppose 4*d + 7 = -5, -v + d = -8. Is 48 a factor of m(v)?
True
Suppose 0 = 9*m + 4*m + 3991. Let g = m + 728. Is g a multiple of 8?
False
Let l(c) = 110*c**2 - 368*c - 60. Is 81 a factor of l(7)?
True
Let v(k) = 2*k**2 + 15*k + 7. Let s(a) = 3*a - 28. Let y be s(7). Let c be v(y). Suppose c*j = 4*j - o - 835, 4*j = -4*o + 860. Is j a multiple of 21?
True
Suppose -2*l + 4379 = 5*y, 2*l + l - 2*y = 6616. Suppose -54 = -6*d + l. Does 47 divide d?
True
Suppose 3*b - 3*h - 2 = 4, -3*b + 2 = -4*h. Suppose -10 = 8*k - b*k. Let z(u) = -6*u + 2. Does 16 divide z(k)?
True
Suppose -16*z - m = -19*z + 1995, -3*z + 1983 = -5*m. Does 37 divide z?
True
Let b be 223/7 - 21/(-147). Suppose -b*a = -23*a - 4788. Is 57 a factor of a?
False
Let t(r) = 10738*r**2 + 45*r - 128. Does 40 divide t(2)?
False
Let l be (-117)/36 + 1/4. Is -2*3699/(-9) - l a multiple of 15?
True
Let x(f) = f**3 - 17*f**2 - 16*f - 11. Let q be x(18). Suppose q*g = 20*g + 1370. Is g a multiple of 26?
False