2 = i. Is 11 a factor of c?
True
Suppose 2*d = -4*y + 1086, 3*d = 3*y - 22 - 806. Is 7 a factor of y?
True
Let o be (4/(-6))/((-2)/(-843)). Is (-13)/(-78) - (o/6 + 0) a multiple of 4?
False
Suppose -2*n - 680 = -x, -9*x = -5*x + 2*n - 2730. Is 34 a factor of x?
False
Suppose -8*r + 639 = 87. Does 3 divide r?
True
Suppose -d + 5*d = -52. Let y = 8 + d. Let c(m) = 3*m**2 + 3*m - 7. Is c(y) a multiple of 17?
False
Suppose -w = -6*w + 2*w. Suppose w = -10*x + 207 - 7. Does 11 divide x?
False
Let q(d) be the second derivative of d**5/20 - 11*d**4/12 + 2*d**3/3 - 6*d**2 - d. Let l = 136 - 125. Is q(l) a multiple of 20?
False
Let n(z) be the second derivative of -z**5/20 - z**4/12 + z**3/2 + 2*z**2 + 30*z. Does 8 divide n(-4)?
True
Let h = 123 + -113. Is 3 a factor of h?
False
Let v = 60 + -55. Suppose 0 = -3*q, -3*p - v*q + 330 = 2*p. Is 11 a factor of p?
True
Let l = 38 + -70. Let m = l - -57. Is m a multiple of 6?
False
Let w(c) = 3*c + 11. Let t be w(-3). Suppose 4*i = -x + 523, -t*i = 2*i - 2*x - 514. Is i a multiple of 10?
True
Let u = 20 + -15. Suppose -u*t + 791 = 271. Is 26 a factor of t?
True
Let t(l) be the first derivative of l**2 - 4*l + 1. Let u be t(8). Is (-1 + 9/u)*-28 a multiple of 5?
False
Suppose -6*k - 393 = -3*k. Let c = -79 - k. Is 21 a factor of c?
False
Let z be 4 + (-39)/9 - (-97)/3. Suppose 3*r = 158 - z. Is 8 a factor of r?
False
Suppose -4*f = -4*j - 2*f + 30, -5*j + 4*f + 42 = 0. Let a(x) = 1 - 30*x - 30*x + 63*x. Is 4 a factor of a(j)?
False
Let a = 5186 - 3222. Is a a multiple of 27?
False
Suppose 58 = -2*n - 30. Let b = -12 - n. Is b a multiple of 16?
True
Let x = 12 - 10. Suppose -3*l + x*z - 7*z - 3 = 0, -4*z = 3*l. Let h(i) = 2*i**3 - 3*i**2 - 5*i - 2. Does 29 divide h(l)?
True
Let x = -277 + 337. Does 12 divide x?
True
Let h(f) = f**2 - f + 1. Let l be h(3). Let v = 17 + l. Suppose 0 = -3*s - 0*s + v. Is s a multiple of 4?
True
Let l(r) = 2*r**3 + r**2 - 5*r + 3. Does 49 divide l(3)?
False
Let m be 7*(-1 - -2) - 1. Let j = m + -4. Suppose -d = j*d - 78. Is 7 a factor of d?
False
Let v(n) = 16*n**2 + 26*n + 173. Is 3 a factor of v(-7)?
False
Suppose -2*c = 2*y - 6822, 2*c - 2*y - 273 = 6529. Is 26 a factor of c?
True
Let h = 413 + -437. Suppose 4 = 2*k - 8. Is 6 a factor of h/(-36) - (-104)/k?
True
Suppose -g - 4*g = 0. Let j be -1*26*(-2)/(-4). Is 13 a factor of -2*(g + j/1)?
True
Let n be 64/(-12)*42/8. Let m = n - -68. Is 2 a factor of m?
True
Let c(g) = 9*g**2 - 26*g - 56. Is 20 a factor of c(13)?
False
Suppose 124 = 3*h - 5*s, -2*h - 5*s = -32 - 34. Does 8 divide h?
False
Let l(s) = -s - 5. Let d be l(-2). Let g be (-1)/d - (-5)/(-15). Does 6 divide -4 + 30 + g + -2?
True
Let o(t) = 2*t - 2. Let k be o(1). Let z(n) = k - 2 + 24 + n**2. Is z(0) a multiple of 5?
False
Let q(y) = 5*y**2 + 22*y - 79. Does 15 divide q(11)?
False
Let w(f) = -f**3 + 38*f**2 - 16*f + 51. Is w(37) a multiple of 18?
True
Suppose 104 = 3*x + 29. Let h = 47 - x. Does 22 divide h?
True
Let p = -5 + -6. Let h = -12 - p. Is 13 a factor of 91/(-7)*(h - 0)?
True
Suppose -2*l + 28 = 5*l. Is l a multiple of 3?
False
Suppose 5*t - 6325 = -5*z, -4*z + 3*t + 5035 = 2*t. Is z a multiple of 21?
True
Let u = -2779 - -6533. Is 11 a factor of u?
False
Let a be (-189)/2*(-16)/24. Suppose 5*z + a = 303. Does 12 divide z?
True
Let y be 1/2*-2 - (-3 + 7). Is 37 a factor of 0 + 4/(-5) - 1019/y?
False
Let m(b) = 7*b + 21. Let i be m(-6). Let r = i + 37. Is 8 a factor of r?
True
Let x be 158/22 + (-8)/44. Is x/((-1)/6*-2) a multiple of 3?
True
Suppose 19 = -o + 2*o - 5*h, 2*o - 4*h - 20 = 0. Suppose 3*f - 3*u - 138 = -2*f, u - o = 0. Is f a multiple of 6?
True
Suppose -4 = -h + 1. Suppose h*a - 3 = -o + 3*a, 2*o + a = 0. Does 2 divide o + (2 - 8/(-4))?
False
Let q be -6 - (-3 - (2 + -4)). Let x = q + 3. Is 39 + (x - 2 - -4) a multiple of 7?
False
Let v(y) = -811*y**3 - y**2 + 2*y + 2. Is 18 a factor of v(-1)?
True
Let h = 1371 + 556. Is 47 a factor of h?
True
Let h(c) be the third derivative of -5*c**2 + 0*c**5 - 1/3*c**3 - 1/120*c**6 - 1/12*c**4 + 0*c + 0. Is h(-2) a multiple of 10?
True
Suppose -z + q - 3*q + 988 = 0, 5*z + 4*q - 4928 = 0. Does 12 divide z?
True
Let o(f) = -4*f**2 - 4. Let i be o(-2). Let y = 73 + i. Is y a multiple of 6?
False
Let g = -94 - -88. Let z(v) = 30*v**3 + v**2 - v. Let f be z(1). Let t = g + f. Is 12 a factor of t?
True
Suppose -s + 2*v + 3*v = -16, 3*v = 4*s - 30. Suppose t - 2 = 1. Suppose 4*z = -8, -3*y + 117 = -t*z + s*z. Is 9 a factor of y?
False
Suppose 5*v = 3*v + 18. Suppose -11 - v = -5*l. Suppose -k + 77 = l*h - 7*h, -5*k + 353 = h. Does 15 divide k?
False
Suppose -2*r = -4*l - 1382, 4*l + 4 + 0 = 0. Is r a multiple of 53?
True
Suppose 2*j - 35 = 193. Does 9 divide j?
False
Let r be (-2*(-6 - -2))/2. Suppose -4*t = -y + 3*y - 200, 176 = 4*t - r*y. Is t a multiple of 16?
True
Let q(b) = b**2 + 7*b + 10. Is 7 a factor of q(12)?
True
Let r = 5 - 2. Suppose -11 = -3*o - k, 0 = r*o - o - 2*k + 6. Let b = o + 4. Is b a multiple of 4?
False
Is 8/(-36) + (-3)/(108/(-9728)) a multiple of 6?
True
Let r(w) = -81*w - 124. Is 33 a factor of r(-15)?
False
Suppose 3*y = 5*y - 590. Suppose 0*z = -4*w - 3*z + y, -60 = -w + 2*z. Does 15 divide ((-80)/50)/((-4)/w)?
False
Let s(v) = -v**3 - 12*v**2 - 11*v - 9. Let z be s(-11). Let l = z - -12. Suppose x + o - 6*o = 83, -238 = -l*x + 4*o. Is x a multiple of 21?
False
Let o = -299 + 326. Is o a multiple of 7?
False
Suppose -3080 = -25*n - 15*n. Does 2 divide n?
False
Let p = 0 + 101. Let h be (-5778)/(-39) + -3 - (-18)/(-117). Let t = h - p. Is t a multiple of 13?
False
Let d = -331 + 350. Is d a multiple of 10?
False
Let m be 2/(-14) - 2980/(-35). Let y = m + -56. Is 20 a factor of y?
False
Suppose -16 - 4 = 5*i. Let n be (-24)/30 - 558/15. Does 16 divide (n + -1)*(i + 3)?
False
Let u be (6/24)/(1/4) - -2. Suppose -4*v = -u*v - 59. Does 17 divide v?
False
Is 4 - (7 - 1762)/5 a multiple of 9?
False
Suppose -6*g = -1410 - 1218. Is 23 a factor of g?
False
Let n(c) = 2*c**3 + 3*c. Let r be n(-3). Let h = -37 - r. Is 11 a factor of h?
False
Let z(k) = 2*k**2 - 7. Let x(i) = i**2 - 4. Let d(o) = 5*x(o) - 3*z(o). Let p be d(0). Does 12 divide (-2 + p)/((-4)/48)?
True
Suppose -d - 21 + 6 = 0. Let m be (3 + d/4)*-24. Let q = 38 - m. Does 4 divide q?
True
Suppose 0*m + 6*m = -84. Is (-5 + 81)/((-4)/m) a multiple of 19?
True
Let p(c) = -55*c**2 - 2*c. Let a be p(1). Let m = a - -96. Is m a multiple of 15?
False
Let l(n) = -65*n - 1. Let x be l(-3). Suppose w - 4*w = 5*a - x, -w - 202 = -5*a. Suppose -7*v - a = -9*v. Is v a multiple of 10?
True
Let g(i) = -i**3 + 8*i**2 + 6*i + 8. Suppose 0 = q - 2*h - 15, -3*h = 2*q - 2. Let o be g(q). Suppose 2*v + 19 = o. Does 20 divide v?
True
Let c(r) = 37*r**3 + 17*r**2 - 16*r - 1. Does 2 divide c(1)?
False
Is 60 a factor of 1/1*(21 - -1349)?
False
Suppose 0 = 4*b - 5*y - 11247, -5*y = 5*b - 6*b + 2823. Is 108 a factor of b?
True
Suppose -11*s = -13*s. Let z be s + 1 - -2 - -36. Suppose -5*n - z + 219 = 0. Is n a multiple of 18?
True
Let z(a) = a**2 - 11*a + 27. Let d be z(8). Suppose v = -d*s - 0*v + 41, 76 = 4*s - 4*v. Is 4 a factor of s?
False
Let r = 47 + -35. Suppose -870 = -r*k + 666. Does 32 divide k?
True
Let j be 8*(0 - 1)*1. Let n = j + 12. Suppose n*d - 52 = 4*w, -5*d + d - 2*w = -82. Is d a multiple of 12?
False
Let q be 338/6 + (-6)/(-9). Let u = q + -30. Suppose 6 = 3*v - u. Does 2 divide v?
False
Let a be 324/(-42) + 2/(-7). Let r = a + 19. Let m = r - -27. Is 22 a factor of m?
False
Let p = 138 - -9. Does 9 divide p?
False
Suppose 14*l - 12*l + 766 = 2*j, 5*j + 3*l = 1875. Does 54 divide j?
True
Let z = -1579 + 1583. Let g be 1*(0/2 + 360). Suppose g = f + z*f. Does 12 divide f?
True
Suppose -31*j + 4590 = -14*j. Is j a multiple of 27?
True
Let c = -272 - -488. Does 9 divide c?
True
Suppose 4 - 38 = -2*g. Is g a multiple of 2?
False
Suppose 32 = 5*n - 4*a - 89, 0 = 4*a - 4. Is 5 a factor of n?
True
Let r(o) = o + 17. Suppose -4*y - p - 11 = 23, -20 = 3*y - 2*p. Let i be r(y). Is 3 a factor of (-2)/i*-12*3?
False
Let s(g) = -g**3 - 3*g**2 + 5*g + 6. Let j be s(-4). Let o be (297/45)/(j/(-10)). Let a = -22 - o. Does 3 divide a?
False
Let b(d) = -d**2 - 12*d - 16. Let m be b(-8). Does 5 divide (m/(-6) + 1)/(9/(-27))?
True
Suppose h - 12 = -3*x, 