Is m a multiple of 14?
True
Let k(y) = -y**2 - 11*y + 828. Is k(0) a multiple of 23?
True
Suppose 0 = 3*t - 3*i - 2 - 4, -4*t + 22 = 3*i. Suppose t*n + 9 = 7*n. Is 2 a factor of n?
False
Let j(b) = b**3 + 7*b**2 - 6*b + 13. Let q be j(-8). Is 2032/48 + (-2)/q a multiple of 8?
False
Let o(x) = -18*x**3 + 3*x**2 - 4*x + 5. Is o(-3) a multiple of 10?
True
Suppose -q - 31 = 3*c, 4*c + 2*q = -61 + 17. Let j be (-210)/c - 4/12. Let r = j - 9. Is 5 a factor of r?
False
Suppose 0 = -6452*v + 6459*v - 6209. Is 28 a factor of v?
False
Suppose -4*y = -1046 + 166. Suppose -y = x - 3*x. Suppose -7 = -3*f + x. Is 13 a factor of f?
True
Suppose -92 = 5*h + 203. Let n = -37 - h. Does 4 divide n?
False
Suppose -v + 50 = 4*v. Let d be (12 - v)/(4/30). Let q = 40 - d. Is q a multiple of 14?
False
Let u = -235 - -141. Let b = -71 - u. Does 19 divide b?
False
Is 1330/(-3)*180/(-70) a multiple of 11?
False
Let h(f) = 17*f**2 - 3*f**2 + f - 1 + 4*f**2. Suppose -3 + 0 = -3*k. Does 6 divide h(k)?
True
Let k = 8 + -6. Let p(r) = 2*r + 7*r - 11*r**k - 5*r + r**3 + 8 + 7*r. Is p(10) a multiple of 15?
False
Let u = 3 + -2. Does 33 divide u - -1*(393/(-3))/(-1)?
True
Suppose -7*a + 6*a + 2 = 0. Suppose -5*q - 4*o - 76 = 149, 2*o = a*q + 108. Let f = -29 - q. Is 13 a factor of f?
False
Suppose -139*q - 15984 = -163*q. Is 9 a factor of q?
True
Let d(q) = 57*q - 2. Let c be (-19)/7 + (-4)/14. Let u(t) = -t - 2. Let o be u(c). Does 15 divide d(o)?
False
Let r(p) = p**2 - p + 7. Let k be r(-3). Let w = k + -16. Suppose w*f = -5*t + 171, t - f = 50 - 19. Is t a multiple of 11?
True
Suppose 3*q - 2*b - 4084 = 0, 12*q = 14*q - 2*b - 2720. Is q a multiple of 11?
True
Let t be 2/(-8) + (-81)/(-36). Suppose -r = -3*q + 3, -t*r = -7*r - 15. Suppose -y = -q*y - 50. Does 25 divide y?
True
Let d(p) = -2*p**3 - 16*p**2 - 14*p - 2. Let m be d(-7). Does 4 divide (1 + m)*(-8 + -34)?
False
Suppose -4*q + q = -3*o + 1734, 4*q = -o + 588. Is o a multiple of 58?
True
Let g(w) = -w**2 - 4*w - 3. Suppose 5*l + 5*o + 15 = 0, 4*o - o = -l + 3. Let p be g(l). Does 7 divide ((-72)/(-20))/((-6)/p)?
False
Suppose -5*b = f - 2314, f - 2*b - 485 = 1822. Is 47 a factor of f?
False
Let k(m) = -m - m**3 + 2*m**2 + 5*m**2 - 3*m**2 + 2*m. Let x be k(4). Suppose 5*v - x*g - 100 = -0*v, -2*g - 80 = -4*v. Is v a multiple of 5?
True
Is 2 + (-2)/2 + (-4410)/(-5) a multiple of 5?
False
Suppose 2*a - 20 = 22. Let j be -75 - (a/(-3) + 3). Let w = j - -151. Does 20 divide w?
True
Suppose 2*q + 5 = -n + 3*q, 2*q = -3*n + 10. Suppose 88 = -n*t + 2*t. Is 11 a factor of t?
True
Let c = 1042 - 559. Is c a multiple of 13?
False
Suppose 0 = -6*k + 10*k - 7084. Does 34 divide k?
False
Let j be 2/(-5) - (-4)/10. Suppose h + h - 246 = j. Suppose 5*b - 5*g - 120 = 0, -4*b - b + 2*g = -h. Does 13 divide b?
False
Let j = 283 + -264. Suppose -32 = -3*i - 5*r, 3*i - 2*r = i. Suppose -j = -i*k + 205. Does 12 divide k?
False
Let d(n) = 4 - 4 + 0 - 7*n - 1. Let y be d(-1). Is 21 a factor of y/4*188/6?
False
Let k be 2*-1*(0 + 2). Let a = 4 + k. Does 10 divide 2/(2/59) - a?
False
Suppose -43*p = -29*p - 3234. Is 11 a factor of p?
True
Suppose -42*r = -51*r + 351. Does 2 divide r?
False
Let g = -28 + 33. Suppose -6*i = -g*i + 4*o - 409, 4*i - 1674 = 3*o. Suppose -5*m + 267 = 5*r - 258, i = 4*m + r. Is m a multiple of 18?
False
Suppose u - 2*a = 1098, -3*a + 297 = u - 811. Is u a multiple of 19?
True
Let a = -101 - -105. Suppose -990 = -a*v + 4*i + 50, 3*i = -4*v + 1026. Does 35 divide v?
False
Let o(s) = -11*s**2 + s + 18*s**2 + s**3 - 2*s. Suppose a + 3*i + 13 = 0, a + 3 + 2 = i. Does 7 divide o(a)?
True
Suppose 27 = 5*y + 2. Suppose 0 = -2*c - y*c + 455. Does 13 divide c?
True
Suppose -5*v = z - 1044, -526 = -2*v - z - 109. Is 19 a factor of v?
True
Let k = -147 - -287. Suppose -4*s + 9*s = k. Does 12 divide s?
False
Is 2/(-8) - (0 + 3460/(-16)) a multiple of 3?
True
Let p(f) = -f + 6. Let y(x) = x**2 - 4*x - 4. Let k be y(6). Let r(i) = -i**2 + 8*i - 6. Let v be r(k). Is p(v) a multiple of 4?
True
Suppose 8*f - 3255 = -7*f. Suppose -3*y + f - 1 = 0. Does 4 divide y?
True
Suppose -2*d - d + 420 = 0. Suppose 18*v - 20*v = -d. Does 7 divide v?
True
Suppose -a + 188 = -92. Does 14 divide a?
True
Is (-26)/(-7) - 4 - 3383/(-7) a multiple of 15?
False
Let b(r) = 1 + 6 - 9*r - 7. Let l = -9 + 5. Is 8 a factor of b(l)?
False
Let t = 80 - 50. Suppose -2*l - 3*l + t = 0. Suppose 0 = l*n - 3*n - 12. Does 2 divide n?
True
Let p(z) = -3*z - 4. Let r be p(-7). Let y = r + -12. Does 5 divide y?
True
Suppose 4*h = 49 + 11. Is h - 8*3/6 a multiple of 3?
False
Let f(w) = -3*w - 49. Let s be f(-17). Suppose -4*z - 3*a + 479 = s*a, -25 = 5*a. Does 14 divide z?
True
Is (-33069)/(-45) - 38/(-285) a multiple of 5?
True
Is 6 a factor of ((-84)/(-105))/(2/(-390)*-2)?
True
Let i(b) be the third derivative of -4*b**2 + 0 - 1/8*b**4 + 7/6*b**3 + 0*b. Is i(-6) a multiple of 8?
False
Let q be 7/((-21)/(-27)) + -2. Suppose q*m = 10*m - 15. Suppose 0 = -m*x + 152 - 2. Is 15 a factor of x?
True
Let g(y) be the first derivative of y**4/4 + 14*y**3/3 - 23*y**2/2 - 33*y - 35. Is 4 a factor of g(-15)?
False
Suppose 0 = -5*j - 31 - 69. Is 10 a factor of 86 - 3*j/15?
True
Suppose 7*n - 163 - 1006 = 0. Is 10 a factor of n?
False
Let z(x) = x**3 + 4*x**2 + 2*x + 1. Let t be z(-3). Suppose 5*o - 3*u + 391 = -2*u, -5*u - 307 = t*o. Let y = -42 - o. Is 14 a factor of y?
False
Is 18 a factor of (6 + -8)*4 + 303?
False
Let k(x) = -45*x**3 + x**2 + 3*x + 2. Let p be k(-1). Let i be 4*(p/12 - 3). Suppose 0 = -i*z - a + 67, 5*z - 117 = -0*a + a. Is 6 a factor of z?
False
Let n(y) = -y**3 + 5*y**2 - 3*y - 2. Let a be 1/2*(-13 + 19). Does 7 divide n(a)?
True
Suppose 0 = -7*k + 10*k + 9. Suppose 2*y - 150 = 6*q - 2*q, -2*y + 3*q + 145 = 0. Let d = y + k. Is 31 a factor of d?
True
Suppose 4*c - 64 = -4*x, -2 = -4*x + 18. Suppose -i - 32 = -c. Let d = 25 + i. Is 2 a factor of d?
True
Suppose -79*j + 80*j = 204. Is 34 a factor of j?
True
Let u be 1 - -6 - (9 - 5). Let b(m) = -9*m**3 + 28*m**u + 32*m**3. Does 13 divide b(1)?
False
Let h = -98 - -69. Let f = h + 57. Is f a multiple of 3?
False
Suppose -4 = -2*r - 0. Suppose 5*p - 57 = -r*g, p - 66 = -5*g + 65. Is 6 a factor of g?
False
Let j(f) = 36*f**2 - 8*f - 4. Let r be j(-5). Suppose 6*u - r = -2*u. Is u a multiple of 7?
False
Suppose -5*f = -7*f - 366. Let x = 291 + f. Is x a multiple of 13?
False
Let p(w) = -w**2 - 9*w - 15. Let b be p(-5). Suppose -b*y + 11*y = 1188. Does 33 divide y?
True
Let f(d) = -10*d**3 - 4*d**2 - 32*d - 30. Is 66 a factor of f(-6)?
True
Let o be (-59246)/(-286) - (-4)/(-26). Suppose 10*t - t = o. Is 11 a factor of t?
False
Suppose -2300*y = -2314*y + 53298. Does 38 divide y?
False
Suppose -63 = -3*z + 5*s, -z + 0*s = -2*s - 20. Let l be z/(-65) + 684/10. Let h = 103 - l. Is 11 a factor of h?
False
Let x(v) = 11*v**3 - v + 2. Suppose 3*c + 10 = 8*c. Let z be x(c). Suppose 3*l + s = z, 6*l + 3*s = l + 152. Is 13 a factor of l?
False
Let q = -1055 - -2455. Does 59 divide q?
False
Let o = 15 - -1. Let l = o + 8. Is l a multiple of 5?
False
Let k(b) = b**3 - 17*b**2 - 13*b + 18. Is k(19) a multiple of 17?
True
Suppose 2*o - 45 = -5*r, 4*r = 2*o - o + 23. Let n(j) = 4*j**2 - 20*j. Is n(r) a multiple of 22?
False
Suppose 2*a = 2*q - 2164, -3*q - 5*a = -q - 2185. Suppose 1085 = -2*z + 7*z - 4*w, 5*z + 5*w - q = 0. Is z a multiple of 31?
True
Let i(o) = -17*o + 5. Let z(b) = 9*b - 3. Let f(p) = -4*i(p) - 7*z(p). Suppose 2*t + 4 - 5 = -y, 4*y + 8 = -2*t. Is f(t) a multiple of 4?
False
Is (-6)/9 - (-8940)/18 a multiple of 8?
True
Does 22 divide (56/(-5) + 0)/(191/(-31515))?
True
Suppose 7 = -3*w + 22. Suppose 30 = 3*m + 3*x, w*m - x + 0*x - 32 = 0. Does 5 divide m?
False
Let i = -589 - -1619. Is 23 a factor of i?
False
Suppose -8 = -5*v - 3, -2*l + 53 = v. Let o = l + -72. Let u = o - -76. Is u a multiple of 19?
False
Suppose -2*k = -2 - 6. Suppose -k*t + 12 = 4*b, -2 = -3*t - b + 3. Is 3 a factor of ((-30)/20)/(t/(-4))?
True
Suppose 0 = -5*q - 3*f + 210, -3*q = q - 2*f - 190. Suppose -3*i = -q + 18. Let o = i - 2. Is 2 a factor of o?
False
Let p(c) = c**2 + 5*c - 12. Does 3 divide p(3)?
True
Let n be 138*(-2 + 7/3). Suppose -x + n + 2 = 0. Does 16 divide x?
True
Let h = 267 + -459. Let b = h - -302. Is b a multiple 