ide f?
False
Let g(c) = c**2 - 12*c + 17. Let k be g(14). Let f = k + 138. Does 17 divide f?
False
Let i = 18963 + -12272. Is i a multiple of 33?
False
Let m(g) = -2123*g - 800. Does 13 divide m(-5)?
True
Let a = -3 - -8. Suppose 4*n = 5*g + 3, 4*n - a*g - 9 = 2*n. Is (n/(-6))/((-6)/(-252)) a multiple of 7?
True
Let h = 20608 + -13942. Is h a multiple of 33?
True
Let z = 24708 - 16256. Is 16 a factor of z?
False
Let k be (-46005)/18 - 2*3/36. Is 26 a factor of (-5)/60*4*k?
False
Let d be -3 + -3 - -3*4. Does 20 divide 675/12 - -3 - d/(-8)?
True
Let f = 7 + -14. Let o(n) = n**3 + 8*n**2 - 11*n - 3. Let a be o(f). Suppose -71 = -2*r - 4*m + a, 5*r = -4*m + 479. Is r a multiple of 14?
False
Suppose 65*c - 10282 - 44150 = -19*c. Is c a multiple of 27?
True
Let r be -103 - (1 + -2 + (-1 - -1)). Let b = 92 + r. Is 25 a factor of (-5)/(((-10)/30)/(b/(-2)))?
True
Let o = -216 + 219. Suppose 0*q = q - o*w - 63, -w = -q + 69. Is q a multiple of 5?
False
Suppose -2*g - 12 = -66. Suppose g*t - 720 = 21*t. Is t a multiple of 13?
False
Let y be ((-3)/(-9))/((-3)/(-9)). Suppose -3*g + 13*g - 1080 = 0. Is (g - -1)/(y/1) a multiple of 14?
False
Let x be ((-1)/(4/(-48)))/(30/40). Let c(s) = s**2 + 12*s - 120. Is 46 a factor of c(x)?
False
Let h = 30422 - 28744. Is h a multiple of 6?
False
Let v = -38 - -63. Let c(m) = 10*m - 121. Does 24 divide c(v)?
False
Suppose 0 = 50*a - 40*a - 2550. Let q = -191 + a. Does 5 divide q?
False
Let r(t) = 23*t**2 - 21*t + 4. Let c be r(-6). Suppose c*a = 950*a + 96. Does 11 divide a?
False
Suppose -24 = -7*y + 25. Let a(v) = -1 + 4*v**2 - v**2 - 8*v + 11*v + y. Is 6 a factor of a(-4)?
True
Let t(x) be the third derivative of 25*x**4/8 - 109*x**3/6 - 10*x**2 + 8*x. Is t(3) a multiple of 9?
False
Suppose -4*y + 3172 = 3*b, -5*b - 2*y + 0*y + 5282 = 0. Suppose 4*k = 7*k - b. Is 11 a factor of k?
True
Let h(w) = -w. Let x be h(-4). Suppose -x*y - 248 = 4*y. Let i = y + 73. Is i a multiple of 7?
True
Let z = 2 - 2. Let r(i) = 78*i + 1056. Let b be r(-13). Suppose z*a + b = 2*a + 4*s, 18 = 3*a - 3*s. Does 8 divide a?
False
Let x(b) = -3*b**3 - 67*b**2 + 14*b - 312. Is 8 a factor of x(-23)?
True
Suppose 3*j + 1272 = -j - 4*u, -3*j + u = 954. Let n = -12 - j. Does 51 divide n?
True
Let x(w) = -2*w + 16 - w - 24*w**2 - 18. Let n be x(-1). Let t = n - -42. Is t a multiple of 7?
False
Let a = 4330 + -630. Is 100 a factor of a?
True
Suppose 7*w - 43 = 48. Suppose w*i - 37*i + 8496 = 0. Is 29 a factor of i?
False
Let x(z) = 266*z**2 - 587*z - 3. Is x(-3) a multiple of 12?
True
Is -3 - -6 - ((-32477)/141 + (-6)/9) a multiple of 18?
True
Suppose -15*h = 14*h. Suppose 3*j - j - 63 = 3*u, -5*u + 25 = h. Does 13 divide j?
True
Let d(b) = 1. Let g(k) = 1. Let q(z) = 4*d(z) - 5*g(z). Let i(a) = -2*a + 58. Let x(u) = i(u) - 6*q(u). Is 11 a factor of x(0)?
False
Let n(i) = i**3 + 8*i**2 - 16*i - 56. Let k be n(-9). Suppose -557 = -k*d + 423. Does 2 divide d?
True
Let b be (-4)/12*7*(0 + -3). Let h(s) = -3 + 0 + 2*s + b + 9*s**2. Does 12 divide h(4)?
True
Let b = 92 - 112. Let j be (-25)/b - -3 - 6/(-8). Does 7 divide j/(4/(-22) + 38/88)?
False
Let b be (445/5)/(49/16 + -3). Let l = b - 842. Is 17 a factor of l?
False
Let q = -185 - 368. Let m = -520 - q. Is 11 a factor of m?
True
Suppose 1287*b - 1283*b - 24888 = 0. Is b a multiple of 32?
False
Let n be -2*(-3)/6*-3. Let x be (-9)/6 - (84/(-8) + n). Is -1 + -2 + x + 14 a multiple of 6?
False
Suppose 0 = -3*m - 4*w + 20883, -w = -m + 3*w + 6945. Is 35 a factor of m?
False
Suppose -10*i + 9*i - 117 = 0. Let v = i + 63. Let m = -16 - v. Is m a multiple of 7?
False
Suppose -235700 = 263*x - 631252. Does 8 divide x?
True
Let u = 18 - 13. Suppose 39 = -4*r - 2*j + 5*j, u*r + j = -25. Is 19 a factor of 570*(17/5 + (r - -3))?
True
Let m be (-441)/4*(6 + -2). Suppose -3*k - 1 = -s - 19, 2 = 3*s + 5*k. Does 13 divide (4/6)/(s/m)?
False
Suppose 16*u - 13526 = -13*u - 1491. Is 15 a factor of u?
False
Let f(l) = 2314*l - 1109. Does 33 divide f(5)?
True
Suppose -4*x + 16 = 4*y, -3*y + 5*x + 1 = -3. Let f = y - -1. Suppose f*h - 128 = -2*c, 2 + 206 = 3*c + 2*h. Is c a multiple of 36?
True
Let o(u) be the first derivative of 5*u**2 - 4*u + 2. Suppose -14*p = -19*p + 5. Is 2 a factor of o(p)?
True
Let h(x) = 8*x**3 - 78*x**2 - 52*x - 6. Is h(24) a multiple of 19?
True
Let u(o) = 4*o**3 + 17*o**2 - 25*o - 57. Let x = -134 + 140. Let b(c) = -5*c**3 - 16*c**2 + 25*c + 58. Let p(n) = x*u(n) + 5*b(n). Is p(20) a multiple of 31?
True
Let k(f) = -2*f**3 - 7*f**2 + 8*f + 704. Let u(q) = -3*q**3 - 8*q**2 + 10*q + 704. Let v(x) = 5*k(x) - 4*u(x). Is 30 a factor of v(0)?
False
Let l be (-14)/(-8) - (-15)/12. Suppose -u - l*q = q - 66, 0 = -5*u + 5*q + 305. Does 8 divide u?
False
Suppose 2*c = 617 + 131. Let i = -595 + c. Does 7 divide 34/i + 2266/26?
False
Let d = -648 - -950. Let l = -151 + d. Does 8 divide l?
False
Suppose 7323 - 24729 = -4*l - 5*s, -2*l - 2*s + 8704 = 0. Is 7 a factor of l?
True
Suppose -54*u + 329*u = 600875. Does 23 divide u?
True
Suppose 2*t = -294 + 1586. Let s = t - 592. Does 3 divide s?
True
Let c be ((-2)/(2*1))/(282/(-233214)). Suppose 0 = -4*y + c + 249. Is y even?
False
Let h be (54/6)/((-3)/(-2)). Suppose -h*s + 273 = -357. Does 15 divide s?
True
Suppose -5*g = -133 + 33. Let a = -568 + 647. Suppose -3*r = -a - g. Is r a multiple of 11?
True
Suppose 11*p - 100 + 12376 = 0. Let t = 1743 + p. Is t a multiple of 19?
True
Let w be (6 - 6/2) + 0 + -5. Let y be (5/w - -1)/((-1)/12). Suppose 6*o - 522 = y. Is 5 a factor of o?
True
Let i(n) = n + 3. Let g be i(3). Let w(b) = -b**3 + 7*b**2 + 100*b + 17. Let x be w(-7). Does 27 divide (-2 - 903/x)/((-9)/g)?
False
Suppose 2*h = 4*n - 20, 0*n - 3*n = -3*h - 12. Let v(q) = q + 39. Does 4 divide v(n)?
False
Let l = 66 + -57. Suppose -4*g = -l*g - 5*h - 385, 4*h - 148 = 2*g. Let v = -6 - g. Does 15 divide v?
False
Let c(k) = -3*k**2 - 23 + 4*k + 4*k**2 + 4*k**2 - 10*k. Is 4 a factor of c(10)?
False
Suppose 4*x + 3*b = 12 - 0, -5*b + 20 = 0. Suppose 1584 = 2*m - 3*y - 2*y, x = 3*y. Is m a multiple of 24?
True
Let z be 2 + -3 - (-1)/1. Suppose 9*j - 12*j + 93 = z. Suppose 5*b + j = y - 0, 133 = 5*y - 3*b. Does 2 divide y?
True
Suppose -78037 = -19*j + 32821 + 4586. Is j a multiple of 8?
False
Let d(p) = -p**2 - 12*p - 11. Let u be d(-11). Let j(t) = -2*t**2 + 2*t - 6. Let f be j(u). Let b = f + 76. Is 25 a factor of b?
False
Suppose 73137 = 5*a + 2*m, 4*m = 3*a - 16619 - 27232. Does 13 divide a?
True
Let q = 8226 + -5892. Does 6 divide q?
True
Suppose 3*q - 2*c = -8, q - 2*q - 2*c = 16. Let m = 1 + -6. Does 21 divide ((-36)/15)/q + (-343)/m?
False
Let w(i) = 7*i - 91. Let r be w(19). Suppose -2116 = -r*h + 1076. Does 12 divide h?
False
Suppose 844*n = -2*u + 849*n + 34896, 4*n - 17435 = -u. Is u a multiple of 29?
False
Suppose 22*w + b - 8955 = 19*w, -2853 = -w - 15*b. Does 16 divide w?
False
Let j(f) be the first derivative of f**2 - 30*f + 31. Let n be j(15). Suppose n = 2*h + 11 - 247. Does 8 divide h?
False
Suppose 0 = -10*q + 7*q - 60. Let b be (78/4)/(q/(-40)). Suppose -r = 2*d - b, 3*d + 2*r = -2*r + 66. Is d a multiple of 3?
True
Let g be 336/(-9)*18/(-2). Suppose 0 = -8*u + g + 3792. Is u a multiple of 12?
True
Let g(y) = 443*y - 8. Let l be g(3). Let z = -889 + l. Let p = z - 271. Is 12 a factor of p?
False
Does 12 divide ((-720)/(-5))/1*972/48?
True
Suppose 392*y + 8609 = 7*y + 75599. Is 8 a factor of y?
False
Let y = -5270 + 9271. Is 5 a factor of y?
False
Let b = 363 + -360. Suppose 0 = -b*d - 18*l + 16*l + 2862, 0 = -d + 4*l + 954. Is d a multiple of 53?
True
Let w(f) = -565*f - 237. Is w(-12) a multiple of 11?
False
Let c(y) be the third derivative of 1/4*y**4 - y**2 + 0 - 5/6*y**3 + 0*y + 1/15*y**5. Is 5 a factor of c(-5)?
True
Let a = 8667 - -13770. Does 81 divide a?
True
Let s(n) = 12945*n**2 + 19*n - 16. Does 39 divide s(1)?
True
Let p(s) = 3*s**2 + 2*s - 5. Let l be p(4). Suppose 0 = l*r - 53*r + 458. Does 39 divide r?
False
Let b = -36 + 48. Let f(w) = w**3 - 11*w**2 - 8*w + 33. Let x be f(b). Is 1 - 1 - x/(-3) a multiple of 2?
False
Let i = -67 + 180. Suppose -x - 4*x + 2*t = -i, t = -4. Suppose 24*k = x*k + 150. Is k a multiple of 10?
True
Let n = 180 + -606. Let y = n - -717. Does 97 divide y?
True
Let v(m) = m**3 - 21*m**2 - 37*m - 