Let b(g) = 6*o(g) - t(g). Is 11 a factor of b(-9)?
False
Let y = 1 - -2. Suppose -y*c = -c - b - 46, 79 = 3*c + b. Is 12 a factor of c?
False
Let i = 7 + 3. Is 4 a factor of i?
False
Let r be (3/3)/((-1)/(-2)). Let y be 216/r + (1 - 0). Suppose -a = -0*a + s - 22, -3*s = -4*a + y. Is a a multiple of 15?
False
Let r be (1 + 1)*5/(-2). Let v(z) be the first derivative of -z**3/3 - 3*z**2 + z - 1. Does 4 divide v(r)?
False
Suppose 3*y + y - 2*i - 54 = 0, -4*i = 12. Suppose 2*m = -m + y. Suppose -3*n + m = -2*n. Is n a multiple of 2?
True
Let c = -2 + 30. Does 14 divide c?
True
Let f(w) = -2*w. Let k be f(-1). Let g be k/7 - 440/(-28). Is 3/(-4) - (-524)/g a multiple of 16?
True
Suppose 4*q = 0, h + q - 10 = 5*q. Let u be ((-8)/(-12))/(4/30). Suppose 2*t - u*k = 8 + 15, -3*k = -t + h. Is t a multiple of 13?
False
Suppose -w - 46 = -3*s - 2*w, -3*s + w + 44 = 0. Is s a multiple of 3?
True
Let l(y) = -y**3 + 7*y**2 - 3*y - 5. Is 7 a factor of l(5)?
False
Let c(z) = -z**2 + 4*z - 7. Let d be c(6). Let m = d + 22. Does 2 divide m?
False
Let a(x) = x + 27. Is 4 a factor of a(-7)?
True
Let f(z) = -2*z**2 - 4 + 6*z**2 + 2 + 2*z + 0. Let u be f(2). Let x = -10 + u. Does 3 divide x?
False
Suppose 3*g = -251 - 268. Let v = g + 251. Is 26 a factor of v?
True
Let m = -125 + 87. Let k = m - -92. Does 27 divide k?
True
Suppose 3*o - 125 - 100 = 0. Is 6 a factor of o?
False
Let o = 5 + -5. Let h(p) = p**3 + p**2 + p + 9. Let n be h(o). Is ((-21)/n)/(3/(-36)) a multiple of 14?
True
Let n(z) = z**3 - 12*z**2 - 12*z - 2. Does 11 divide n(13)?
True
Let b(k) = k**3 - 6*k**2 - 10*k. Let z be b(7). Let v = z + 50. Is 18 a factor of v?
False
Suppose -4*h + 180 = -3*l, 0 = -4*h - 2*l - 0*l + 160. Let g = h + -4. Does 18 divide g?
False
Let q = -32 + 92. Let a = 42 - q. Is 4/a - (-440)/36 a multiple of 10?
False
Let w(q) = 3*q - 2. Let r be w(6). Let t(u) = u - 1. Let v be t(1). Suppose v = -2*n + 10 + r. Is n a multiple of 5?
False
Suppose 0 = -2*k - 2*k + 208. Does 15 divide k?
False
Suppose 0 = -3*q - 3. Suppose -3*l + 5*l + 8 = -2*t, 2*l - 4 = 2*t. Is 13 a factor of l + -2 - 20/q?
False
Let w(y) = y**2 - 4*y + 3. Let o be w(4). Is 5 a factor of (4 - 1) + 6/o?
True
Let g be 18/(-12)*(4 + 0). Is (-1 - 79)*3/g a multiple of 20?
True
Suppose 5*p - 36 = 2*p. Let t be (-4)/6 + (-22)/3. Let c = p + t. Is c a multiple of 2?
True
Let n = 360 + -678. Let a be n/18 - (-1)/(-3). Let g = a + 61. Is g a multiple of 20?
False
Is (-248)/(-3 + 1) + (-8)/(-4) a multiple of 9?
True
Suppose -5*l + 3*f + 26 + 96 = 0, 102 = 5*l + 2*f. Does 17 divide l?
False
Suppose 2*i + 27 = c, -c - i + 5 = -13. Is 7 a factor of c?
True
Suppose j = -4*j + 85. Is 10 a factor of j?
False
Let t be (-8)/52 + (-2841)/39. Let p = t + 133. Is p a multiple of 20?
True
Let r be (-2 + 4)/(2/2). Suppose 2*c = -r*c + 24. Let s(z) = z**2 - 2*z - 8. Does 7 divide s(c)?
False
Suppose 0 = -3*d + 2 + 4, 2*z - d = -8. Let u be 137 + (-4)/(-6)*z. Suppose -3*t + 2*p = -100, -2*t + 3*p + u = 2*t. Is t a multiple of 10?
True
Let h be 1/1*1*2. Suppose h*k - k = 24. Is 8 a factor of k?
True
Suppose 4*b = b, -2*s + 5*b = -6. Suppose 2*j + 5*w = 48, -2*j + 2*w = -s*j + 22. Is 14 a factor of j?
True
Suppose -4*k + 0*v - v + 155 = 0, -4*k - 4*v = -152. Does 7 divide k?
False
Let p be (-102)/(-18) - 2/(-6). Let j(o) = -9*o**2 + p*o**2 + o**3 - o + 0*o. Is j(5) a multiple of 15?
True
Suppose -3*x - 12 = -0*x, -3*a - 3*x - 18 = 0. Let s(k) = -5*k**3 - 2*k**2 + 2*k. Is 6 a factor of s(a)?
False
Suppose -2*p - 36 = p. Is 3 a factor of 2/p + 19/6?
True
Let j(m) = -m**3 + 6*m**2 + 2*m + 6. Suppose -d - p + 5 = 0, -4*p - p = -5*d + 35. Does 13 divide j(d)?
False
Let j = -9 + 45. Is j a multiple of 15?
False
Let p(z) = -z**3 + 7*z**2 + 3*z + 5. Let m be ((-6)/(-5))/(15/50). Is 23 a factor of p(m)?
False
Let r(v) = 5*v**2 + 5*v - 8. Let w(m) = -9*m**2 - 11*m + 17. Let y(z) = -7*r(z) - 4*w(z). Is 10 a factor of y(-13)?
True
Suppose 50 = 5*j - 0*j. Suppose 4*c - j = 6. Is 3 a factor of c?
False
Let n(a) = -a**3 - a**2 + 5*a - 4. Does 15 divide n(-6)?
False
Suppose 7*x + 1181 = 3253. Does 37 divide x?
True
Is 14 a factor of (-15 - 0)/(6/(-54))?
False
Let i = 17 + -11. Suppose n - 3*n - i = 0. Is (2/4)/(n/(-42)) a multiple of 3?
False
Let s = -3 + 8. Let d = -1 + s. Suppose a - d = 1. Is 3 a factor of a?
False
Suppose 3*h = f - 11, 0*f + 2*f - 4*h - 14 = 0. Is 10 a factor of -12*((-6)/4 + f)?
True
Let j(r) = -r**3 + 8*r**2 - 8*r - 2. Let l be j(7). Let w = 9 - l. Does 9 divide w?
True
Let r = -27 + 61. Does 12 divide r?
False
Suppose 104*t - 100*t = 112. Does 3 divide t?
False
Let l = 181 - 43. Is 46 a factor of l?
True
Let w(c) = 3*c**3 + 3*c**2 - 4*c - 1. Is 19 a factor of w(3)?
True
Let q = 12 - 16. Is (-47)/(-4) + (-1)/q a multiple of 4?
True
Let t = 435 - 224. Is 17 a factor of t?
False
Is (56 + 11)/(2/2) a multiple of 4?
False
Let i(r) = -39*r**3 + r + 2. Let f(g) = 39*g**3 + g**2 - 2*g - 3. Let c(p) = -2*f(p) - 3*i(p). Suppose 4*o + 3*b - 20 + 7 = 0, 3*o = b. Is 28 a factor of c(o)?
False
Let y be (-9)/(-21) - 64/(-14). Let k = 47 - y. Is k a multiple of 14?
True
Let d(o) = -64*o + 1. Is d(-1) a multiple of 17?
False
Let c = -7 - -11. Let b(i) = 2*i**3 - 5*i**2 - 4*i + 6. Does 17 divide b(c)?
False
Suppose j - 3*o + 8 = -0*o, 5*j - 2*o = -1. Is (j/4)/((-6)/(-696)) a multiple of 13?
False
Let q = -2 - -4. Let c(y) = -y + y**2 + 7 - q + 3. Is c(-6) a multiple of 14?
False
Suppose -5*h - 81 = -2*u, -u - 21 = -2*u - 4*h. Suppose 2*x + 5 = u. Does 7 divide x?
True
Suppose -4*c + 0*c = -20. Suppose 0 = -2*m - j + 11, 0 = -2*m - m - 4*j + 29. Suppose 0 = m*z + c*b - 32, 0 = -z - 3*b - 0*b + 4. Does 19 divide z?
True
Let m(i) = 13*i + 1. Let g(n) = -n. Let l(a) = 3*g(a) + m(a). Is 11 a factor of l(1)?
True
Let c = 1 - -1. Suppose -c*b = 3*b - 75. Does 8 divide 5/b + 71/3?
True
Suppose 20*f = 21*f - 191. Is 24 a factor of f?
False
Let t = 53 + 77. Is t a multiple of 10?
True
Let l = 57 + 145. Is l a multiple of 16?
False
Suppose 0 = 15*y - 19*y + 80. Does 5 divide y?
True
Let h(m) = -m**2 - 7*m - 2. Let t be h(-8). Let n = 17 + t. Does 2 divide n?
False
Let h(b) = -b**2 + b + 120. Is 15 a factor of h(0)?
True
Suppose 12*t + 302 = 1202. Is 8 a factor of t?
False
Let q(d) be the second derivative of -2*d**3/3 + 2*d. Let f be q(-1). Suppose 9*m - 2*r = f*m + 30, 5*m = -3*r + 5. Is m a multiple of 2?
True
Let u be 2 - (4 + 2 + -5). Let k = 1 + u. Suppose 0*h = -5*x - k*h + 44, -3*x + 22 = -h. Is x a multiple of 6?
False
Suppose 4*k = 4*m + 56, -4*m + 2*k - 46 = 6. Let z(r) be the third derivative of -r**6/120 - 13*r**5/60 - 2*r**4/3 - 7*r**3/3 + 2*r**2. Does 13 divide z(m)?
False
Let d = 2 - 7. Let j(a) = -a + 1. Let m(q) = -4*q + 5. Let s(y) = -3*j(y) + m(y). Is s(d) a multiple of 7?
True
Let c be (-4)/(8/205)*-2. Suppose q = 4*u - c, -2*u + 2*q = 6*q - 98. Does 14 divide u?
False
Let o be 2/(-8) + 190/(-8). Let r = -8 - o. Does 8 divide r?
True
Let c(s) = -2*s**2 - 7*s - 5. Let r be c(-4). Let i be (-6)/r + 84/9. Suppose o + 0*o = i. Is 6 a factor of o?
False
Let w(f) = -f**2 - 8*f - 11. Is 2 a factor of w(-3)?
True
Let q(s) = s**3 - 2*s**2 - 2*s + 1. Let v = 3 + -1. Let n be q(v). Does 15 divide 13 + 2 + 0/n?
True
Let d be (0 - 1)/(-2 - -1). Let n = d + -4. Does 2 divide -1 + (2 + n)*-5?
True
Does 18 divide (2 - 0) + 0 + 83?
False
Suppose c = 3*c + 6. Let j = c - -5. Suppose -j = -w + 20. Is 11 a factor of w?
True
Suppose h = g - 8, -2*g + 6*g + 5*h + 4 = 0. Suppose a - g = 1. Let z(y) = -y**2 + 6*y + 1. Is 3 a factor of z(a)?
True
Suppose 266 = 5*x + 26. Suppose -5*y - 18 = -3*n - x, 0 = 2*y + 2*n - 12. Does 2 divide y?
True
Suppose -m + 5 = 3. Let d(s) = 5*s**3 + s**2 - 4*s + 1. Is d(m) a multiple of 10?
False
Let a = -2 - 5. Let t be (-6 - 0)/(6/(-4)). Does 8 divide t/14 + (-110)/a?
True
Let s(h) = 15*h - 25. Does 21 divide s(17)?
False
Suppose -22 = -2*w - 3*y, -3*y + 19 = 3*w - 2*y. Suppose -w*h + 2*g = 4*g - 285, 3*g + 150 = 3*h. Does 16 divide h?
False
Suppose 0 = 3*q + 2*q. Suppose -a + 12 = 5*c, -4*c + a - 5*a = q. Does 3 divide (-46)/(-6) - (-1)/c?
False
Let b(n) = n**3 - 4*n**2 - 2*n - 3. Is b(5) a multiple of 8?
False
Let u(f) = -7*f + 1. Let w(l) = l. Let g(v) = -2*u(v) - 22*w(v). Is 22 a factor of g(-3)?
True
Let k(d) = 2*d - 2. 