. Is f(d) a multiple of 11?
True
Let n(r) = r**2 + 13*r + 10. Let j be n(-13). Let h(d) = -2*d**2 + 20*d + 7. Is h(j) a multiple of 4?
False
Let p = -2165 + 2306. Does 3 divide p?
True
Suppose 3*d + 3 = -2*n + 1, -6 = -3*n. Does 6 divide (-15)/5*32/d?
True
Let y(l) = -45*l**3 + l. Let x be y(-1). Let n = x - 32. Is n a multiple of 4?
True
Suppose -5*f + 130 = -4*y, -y = y - f + 62. Is 9 a factor of 2 - 2 - (y + 10)?
False
Let l = 79 - 66. Let a = 7 + l. Is a a multiple of 10?
True
Let g = 289 - 153. Does 17 divide g?
True
Let s = -7 + -14. Let k be (-28)/4*18/s. Is 17 a factor of 65/(-2)*k/(-5)?
False
Let x(u) be the third derivative of 0 - 5/3*u**3 + 1/60*u**5 - 3/8*u**4 + 0*u - 14*u**2. Does 15 divide x(-5)?
True
Let r be (-3 - 1)/(-8)*22. Let y = -8 + r. Let u(q) = q**2 + 4*q + 1. Is 22 a factor of u(y)?
True
Let m(o) = o**3 - o**2 + 3*o + 6. Let p be ((-2)/(-6))/((-9)/(-135)). Is m(p) a multiple of 11?
True
Suppose 1998 = 26*z - 8*z. Does 11 divide z?
False
Let i(t) = 5*t**3 + 12*t**2 + 2*t - 12. Let n(f) = -6*f**3 - 13*f**2 - 3*f + 13. Let y(p) = 7*i(p) + 6*n(p). Let l be y(5). Does 15 divide 3/(((-5)/125)/l)?
True
Let r(b) = -b**3 + 20*b**2 + 2*b - 21. Let v be r(20). Let p = 31 - v. Does 2 divide p?
True
Let d be 5/15 - (-1)/(-3). Suppose -3*o - 19 = -2*t, d = -t - o + 2 - 0. Suppose 1 = -l + t. Is l a multiple of 4?
True
Let s(q) = -q**3 + 4*q**2 - 3*q + 3. Let z be s(3). Suppose z*p = -14 + 2. Is 6/p*-22 + -1 a multiple of 32?
True
Suppose -2 - 42 = -4*h - 2*t, -8 = -2*t. Let b be (-3 + h)/3 - 44. Is (-1164)/b + 2/7 a multiple of 7?
True
Suppose -3*v - 400 = -4*r + v, -2*r + 3*v + 198 = 0. Suppose 0 = 2*z - 0*z - j - 86, -2*z - 3*j = -r. Is z a multiple of 15?
True
Suppose 1 + 5 = 4*n + 2*i, 4*n - 21 = 3*i. Suppose -140 = -n*o - 4*a, 4*a + 105 + 139 = 5*o. Is 20 a factor of o?
False
Let r(n) = -20*n**3 + 11*n**2 + n - 9. Does 11 divide r(-3)?
True
Let k(h) = -345*h + 413. Is k(-11) a multiple of 120?
False
Suppose -v - v + 11 = u, 0 = u - 5*v - 46. Let s = 42 - u. Is s a multiple of 21?
True
Let c(y) be the third derivative of 29*y**5/60 + 5*y**4/24 - 7*y**3/6 + 41*y**2. Does 10 divide c(2)?
False
Suppose -1732 = -2*v + r, 32*r - 2 = 31*r. Does 51 divide v?
True
Suppose 0 = -5*o - 4*v + 169, 28 = 3*o + 4*v - 67. Suppose -s + o = u, -163 = -2*s - 2*s - u. Suppose 2*i = -3*q + 45, -2*q = q + 3*i - s. Is q a multiple of 8?
False
Suppose -5*o + 3*b + 3640 = 0, -o + 4*b + 693 + 35 = 0. Is o a multiple of 13?
True
Suppose l = -l + 144. Does 25 divide 1 + (l/(-9))/(1/(-10))?
False
Suppose -5*o + 5869 + 3161 = 0. Is 48 a factor of o?
False
Let o be 1*(-3 + -71)*1. Let z = o - -147. Is z a multiple of 26?
False
Suppose -2*z = -2*p + 10, 0*p = -5*p - 5*z + 15. Suppose 0 = -2*t - p, -189 = -5*b - 5*t + 2*t. Is b a multiple of 39?
True
Let a = 31 + 13. Does 5 divide a?
False
Let g = 943 - 746. Is g a multiple of 18?
False
Let c(s) = -s**3 - 17*s**2 - 2*s - 23. Is c(-17) a multiple of 2?
False
Does 14 divide (((-1983)/(-6))/(-1))/(9/(-18))?
False
Let h = 985 + -445. Suppose -2*y + h = -6*y. Is (-6)/8 - y/20 a multiple of 5?
False
Let u = 21 - 19. Suppose 6 = 3*p - u*p. Let j(t) = t**3 - 5*t**2 - 4*t + 3. Does 5 divide j(p)?
True
Suppose 0 = -2*k + 4, -2*a + 0*k + 2*k = -752. Is 27 a factor of a?
True
Let a = 106 - 257. Is -2 - 4 - -2 - a a multiple of 41?
False
Let d(q) = q + 12. Suppose -5*c + 3*h + 5 + 5 = 0, -2*h - 2 = -c. Suppose 4*s + 2 = 5*s, 3*f - c*s = -31. Is 2 a factor of d(f)?
False
Let w = 63 - 60. Let x = -1 + 1. Suppose 2*g + 2*g + 4*d - 56 = x, 82 = w*g - 5*d. Is g a multiple of 5?
False
Suppose 7*x = 11*x - 8. Let r = -9 + 14. Suppose o - 100 = -3*z + x*o, r*o = 2*z - 58. Does 11 divide z?
False
Let a = 121 + -116. Suppose -a*w = -7*w + 60. Does 10 divide w?
True
Let t = 36 + -19. Suppose 19*g - t*g = -62. Let u = 85 + g. Does 9 divide u?
True
Suppose -2*b - 3*d + 19 = 0, 2*d + d = 15. Suppose 3*r - 2*j = -12, -b*r - j = -0*j + 8. Let k(v) = 4*v**2 + 6*v + 1. Does 9 divide k(r)?
False
Suppose -2*o = -6, 7*o - 2*o - 4401 = -3*x. Is 14 a factor of x?
False
Let i = -195 - -411. Is i a multiple of 39?
False
Let c be 1 - -14 - (4 + -5). Suppose -4*h = c, 3*h = -3*l + 7*h + 148. Suppose -3*d = -13 - l. Does 5 divide d?
False
Let r be (-6)/(-8)*(-24)/(-9). Let b(a) = -4 + a**3 + 6*a**r + 9*a**2 + 2 - 2*a - 6*a**2. Is b(-8) a multiple of 15?
False
Suppose 4*s - 2*m = 24, 0 = 4*s + 2*m + 2*m - 12. Suppose s*u - 40 = 30. Is u a multiple of 12?
False
Suppose 9*y - 5*b + 391 = 11*y, -b = -4*y + 793. Suppose 196*r - y*r = -326. Is r a multiple of 18?
False
Suppose -1 - 4 = -5*c, 3*v + 4*c - 2026 = 0. Is v a multiple of 57?
False
Let m = -261 - -435. Suppose -11*z = -7*z - 2*j - 762, -5*j = z - m. Is 21 a factor of z?
True
Suppose 0 = s + a, 0 = -0*s - 2*s - 3*a - 4. Let q(z) = -5*z**2 - 9*z + 9 - s*z + 4*z**2. Does 12 divide q(-12)?
False
Suppose 171 = 2*w + 9. Is w a multiple of 2?
False
Let l be (-3 - (-11 - -2)) + -4. Suppose -4*s + l*b + 27 = s, 5*s - 3*b - 28 = 0. Suppose -4*v + p + 28 = -20, -57 = -s*v + 2*p. Is v a multiple of 7?
False
Suppose 0 = -4*q - 2*c + 5152, -3*c - 5152 = 2*q - 6*q. Is 23 a factor of q?
True
Let o(x) = -6*x**2 + 2*x + 1. Let a be o(3). Let p = 143 + a. Is p/9 - (-2)/6 a multiple of 4?
False
Suppose 109 + 7 = 4*j - 5*n, -3*n = -5*j + 132. Suppose j = 4*q - 8*q. Is 8/q*-24 + -1 a multiple of 8?
False
Let w(k) = k**3 - k + 6. Let r be w(0). Let s = r + -1. Suppose 0 = 2*u - 0*a + 2*a - 58, 35 = u - s*a. Is 15 a factor of u?
True
Suppose 15*v + 4*v - 3078 = 0. Does 18 divide v?
True
Let d(c) be the third derivative of -c**5/60 - c**4/3 - 7*c**3/6 - 6*c**2. Does 8 divide d(-3)?
True
Let c = 2 - 2. Suppose 5*n = -3*l + 41, -4*l + 130 = l - 4*n. Suppose c*x = x - l. Does 21 divide x?
False
Suppose -217*s + 218*s = 193. Is 63 a factor of s?
False
Let s be 18/(-4)*16/(-36). Suppose z + 2*o - 30 = 0, 4*o + 0*o + 84 = s*z. Does 9 divide z?
True
Let z be (-2 - -1)/((-10)/7680). Suppose 2*t + z = 14*t. Is t a multiple of 3?
False
Let y = -699 + 1341. Is y a multiple of 4?
False
Let j = 1179 + -1103. Does 26 divide j?
False
Suppose 776 = 13*d - 9*d. Let s = d - 94. Is s a multiple of 25?
True
Suppose 4*b - 766 = -2*n, 0 = 3*n + b + 141 - 1265. Is n a multiple of 30?
False
Let h(x) = 7*x**2 - x. Let z(b) = -b**2 - b + 1. Let w(q) = -h(q) - 2*z(q). Let c be w(-3). Let r = -7 - c. Is 18 a factor of r?
False
Let f = 134 + -96. Let v = f - 14. Does 6 divide v?
True
Let j = -59 - -58. Let g(t) be the third derivative of -47*t**4/24 + t**3/2 + 5*t**2. Is g(j) a multiple of 8?
False
Let w(q) = q**2 - 4*q - 6. Let g be w(-4). Suppose r - g = 26. Suppose 5*k - 3*k - r = 0. Does 13 divide k?
True
Let w be 0 + (-3 - -1) + 9. Let d(j) = -j**3 + 5*j + j**2 - 3*j - 5 + 6*j**2. Is 9 a factor of d(w)?
True
Let d be 7 + -1 + (-6)/2 - -135. Let m = 213 - d. Is 15 a factor of m?
True
Suppose 5*k - 204 = -3*d, 5*k - 9*k + 162 = 2*d. Does 12 divide k?
False
Suppose -u - 3*u = 3*o - 17, 3*u = 4*o - 6. Suppose 0 = -0*m - 3*m + 3*h - 135, -o*m + h = 129. Is 21 a factor of m*(2 + -4)*1?
True
Let k(n) = -2 - 3*n + 4 + 1 - 2*n. Is k(-6) a multiple of 11?
True
Let d = 68 - -40. Is (-2 + 5)/(4/d) a multiple of 18?
False
Suppose 6 = v + 4*i, -5*i = -4 - 1. Suppose 4*o - 5*c - 151 = 0, v*o + 2*c - 7*c = 83. Is 12 a factor of (0 + 6)*o/4?
False
Let l = 82 + -73. Is 30 a factor of ((-6)/l - 0) + (-1086)/(-9)?
True
Suppose -z - 59 = -2*s - 4*z, 2*z = 4*s - 126. Suppose 0 = -s*h + 33*h - 442. Is h a multiple of 17?
True
Let p(a) = -a**3 + 6*a**2 - 4*a + 4. Let r be p(5). Let m = 5 + r. Suppose 0 = -m*s + 9*s + 170. Is s a multiple of 10?
False
Let t(j) = 19*j - 249. Is 8 a factor of t(19)?
True
Let g be 112/64*(1 - -51). Suppose -422 - g = -9*b. Is 13 a factor of b?
False
Let l(p) be the first derivative of -p**3/3 - 9*p**2 - 27*p - 5. Does 10 divide l(-11)?
True
Suppose -z + 4659 = 5*f, -3740 = -4*f - z - 3*z. Is f a multiple of 49?
True
Let s = -79 + -1. Let w = -52 - s. Is 14 a factor of w?
True
Let r = -1037 + 1105. Is 68 a factor of r?
True
Let g = 4603 - 2361. Is g a multiple of 38?
True
Suppose 30*s - 26980 = -8*s. Is 64 a factor of s?
False
Suppose 4*q = 14*q - 1000. Is q a multiple of 6?
False
Let q be (22 - 16)/(2/(-1)). Does 25 divide 3 - (-89 + 