g - 4*r - 30. Is 6 a factor of g?
False
Let o be 1/2 + 395/(-10). Let q = -28 - o. Does 8 divide q?
False
Let w(l) = -l**2 - 7*l + 10. Let k be w(-7). Let g be (3 + 7)/((-2)/3). Does 24 divide k/g + (-161)/(-3)?
False
Let b be ((-21)/(0 - 3))/(-1). Suppose -12 = v - 2*v. Let i = v + b. Is i a multiple of 3?
False
Let x(y) = -y**3 + 6*y**2 - 3*y - 5. Let n be x(5). Suppose n*a + 5 = 0, 131 = 3*b - b + 5*a. Let i = -42 + b. Is 10 a factor of i?
False
Let l(u) = u**2 - 11*u + 16. Is 3 a factor of l(10)?
True
Let t be (-18)/(0 - (-4 - -3)). Let g = t - -81. Is g a multiple of 20?
False
Suppose 6 + 16 = v + 4*b, 220 = 5*v - 2*b. Is 6 a factor of v?
True
Let g be 3/2 + (-249)/(-6). Let b = g + -10. Does 11 divide b?
True
Suppose 4*g + 16 = 0, -80 - 164 = -4*t + g. Does 10 divide t?
True
Suppose -v = 3*v + 76. Let s = 28 + v. Does 8 divide s?
False
Suppose 5*q = -4*a + 33 - 0, -4*q = -2*a - 16. Suppose 0 = 3*p - 5*p, g = -a*p - 4. Let i(n) = n**2 + 3*n + 1. Is 5 a factor of i(g)?
True
Suppose 3*h = 8*h. Let v = 3 - h. Suppose -39 = v*s - 4*s. Does 14 divide s?
False
Let z(v) = v**3 - 5*v**2 + v - 2. Let a be z(5). Suppose a*t = 19 + 17. Is t a multiple of 6?
True
Suppose j = -4*j. Does 14 divide 32 + 1 + 2 + j?
False
Let x = 517 + -195. Is 46 a factor of x?
True
Let c = 7 - 12. Let g(n) = -n. Does 3 divide g(c)?
False
Let b = 16 + 28. Let a be (-4)/10 - b/(-10). Suppose -q - 126 = -5*m + 43, 0 = -a*q + 4. Is m a multiple of 9?
False
Let j(x) = -x**3 + 6*x**2 - 6*x + 7. Let b be j(4). Let o = b - -53. Is o a multiple of 21?
False
Let u(p) = 2*p**3 - 3*p**2 - 4*p - 2. Let v be u(-2). Let j = v - -61. Is j a multiple of 16?
False
Let w = 244 + -82. Does 18 divide w?
True
Let i(r) = -r**2 + 3*r + 5. Let s be i(5). Let h(k) = -k**3 - 3*k**2 + 2*k + 5. Let y be h(-4). Let d = y - s. Is d a multiple of 9?
True
Suppose -y + 40 = -2*y. Let l = 68 + y. Does 14 divide l?
True
Suppose 0 = -3*i - 2*t + 38, -4*i + 0*t - t = -49. Is (4/i)/(2/222) a multiple of 16?
False
Let a = -14 - -98. Is 6 a factor of a?
True
Suppose -120 = -8*v + 4*v. Is 6 a factor of v?
True
Let m(r) = -4*r + 5. Does 11 divide m(-14)?
False
Let t(y) = -5*y**3 + y**2 - 3*y - 7. Let x(k) = -k**3 - 1. Let p(j) = t(j) - 4*x(j). Does 15 divide p(-2)?
True
Suppose l = 5*l - 2084. Let b = l + -350. Is 5 a factor of b/33 + (-4)/22?
True
Suppose 0 = -j + 6*j - 10. Suppose -2*x - 5*k = -27, j*k - 3 = x - k. Is 3 a factor of x?
True
Suppose c - 3*c + 2 = 0. Let k be 3/(3/(-2)) + 4. Let a = c + k. Is 2 a factor of a?
False
Let z(w) be the third derivative of -w**6/120 - 13*w**5/60 - 7*w**4/12 - 17*w**3/6 + 3*w**2. Is z(-12) a multiple of 4?
False
Suppose 52 = -2*p - 2*g + 126, 3*p = -5*g + 115. Let z = p + -4. Is z a multiple of 18?
False
Let s = 458 - 311. Suppose -s - 1 = -4*j. Is 11 a factor of j?
False
Suppose 5 = -4*q + 29. Let c(i) = i**3 - 5*i**2 - i - 2. Is 7 a factor of c(q)?
True
Let b(t) = t**2 + 1. Let w(q) = -2*q**2 + q. Let p be w(1). Let c(a) = a**3 - 6*a**2 - 3*a + 2. Let u(r) = p*b(r) - c(r). Is u(4) a multiple of 10?
False
Suppose -2*u = u - 5*b + 25, -5*b + 25 = 0. Suppose -3*q + 5*w + 17 = -u, 3*q - w - 1 = 0. Let g(n) = 30*n**2 + n + 1. Is 15 a factor of g(q)?
True
Suppose 0 = h + 5*v + 16, 0*v - 3*v = 4*h - 4. Suppose h*p - 108 = 4*l, -l = -0*l. Does 10 divide p?
False
Let x(y) = 3 - 41*y + 9 + 38*y. Is x(-5) a multiple of 14?
False
Let l(o) = -o**3 + 52. Let p(n) = n**2 + 6*n + 2. Let u be p(-7). Let y = 9 - u. Does 28 divide l(y)?
False
Let x(q) = -2*q**2 - 4*q - 2. Let c be x(-3). Let a = -5 - c. Is a*17 - (-1 - -3) a multiple of 21?
False
Suppose 0 = -m - 2*m + 105. Suppose 0 = 2*s + s - 4*y - 100, 0 = s - 3*y - m. Is 13 a factor of s?
False
Suppose 5*x - 410 = 2*m + 305, 3*m = -2*x + 286. Is 14 a factor of x?
False
Suppose 12 + 3 = 5*o. Suppose -o*u + 94 = -10*i + 5*i, 0 = 2*i + 10. Is 15 a factor of u?
False
Suppose 6*f - 7*f + 72 = 0. Is 19 a factor of f?
False
Let x = -4 + 3. Let j = x + 12. Does 4 divide j?
False
Let n = -46 - 8. Is 19 a factor of 3 + n*3/(-3)?
True
Let c(t) = -t - 4. Let z be c(-2). Let v be ((-3)/3)/(z/180). Suppose -3*a + 5*a - v = 0. Does 15 divide a?
True
Let r = 6 - 3. Suppose 5*i = -2*o - r*o + 15, -2*i - 10 = -2*o. Is o even?
True
Let b(d) = 3*d**3 - 3*d**2 - 3*d + 7. Is 16 a factor of b(3)?
False
Let m be (-6)/(-9) + (-56)/(-6). Let r = -12 - m. Let v = -9 - r. Is 13 a factor of v?
True
Suppose 3*w + l = 0, l = 3*w - 2*l - 12. Let o = 5 - w. Suppose o*p - 82 + 26 = 0. Does 7 divide p?
True
Let x be 0/(-4 + 1 - -2). Suppose -2*u + x*b - 5*b = -10, -4*b = 0. Suppose -5*g - 170 = -u*v, 3*v = -g - g + 82. Is v a multiple of 10?
True
Suppose 0*b = 3*b. Let w = b - -5. Suppose 10*p = w*p + 5*f + 75, 19 = p - 3*f. Does 13 divide p?
True
Let l(d) = 2*d. Let r be l(-3). Suppose 3*f = -2*f + 100. Is 3 a factor of (f/r)/((-12)/18)?
False
Suppose 10 = -2*p + 2*a - 0*a, -4*a - 25 = 5*p. Let o = 45 + -25. Does 9 divide ((-12)/p)/(4/o)?
False
Let d(s) = -6*s + 26*s - 14*s + 2*s**2. Is 3 a factor of d(-4)?
False
Suppose -5*z + 2*z - 4*u = -4, -5*z + 3*u = -26. Is (161 + (2 - z))/3 a multiple of 21?
False
Suppose -4*c + 2*c = -2. Is c*21 + (-8 - -6) a multiple of 19?
True
Suppose 5*f - 90 = f + 5*c, 2*c = 4. Is 9 a factor of f?
False
Suppose 2*b - 5 = -5*z + 9, b - 3*z = 29. Suppose 5*l + 4*i - b + 5 = 0, 3 = -4*l + i. Suppose l = 4*o + o - 50. Is 7 a factor of o?
False
Let g = 6 + -4. Suppose 0 = 2*b + g, 5*q - 2*b - 144 = -3*b. Is 15 a factor of q?
False
Suppose 0 = -5*b - 5*n + 155, -2*b - b + 5*n + 117 = 0. Is 17 a factor of b?
True
Suppose 21 = -j + 8. Let r = -17 + 41. Let k = r + j. Is k a multiple of 11?
True
Let f(t) = 9*t + 3. Does 15 divide f(8)?
True
Suppose 5*l = -0*l + 15. Suppose 0 = -v + 3*a + 4, 2*a + l + 1 = v. Suppose -v*m = -5*m + 10. Does 10 divide m?
True
Let v(s) = -11*s - 14. Is v(-4) a multiple of 15?
True
Let r(d) = -d - 7. Let a be r(-7). Suppose -4*b + 22 + 18 = a. Is 10 a factor of b?
True
Let h be -2*(0 - 2/(-4)). Let p be -2 + h - (-3 - -35). Let z = p - -65. Is 15 a factor of z?
True
Let o = -26 + 62. Is o a multiple of 9?
True
Suppose 0 = 4*y + 4 - 16. Suppose y*g - 6 = 2*m, 3*g - 2*m = 8*g - 10. Does 12 divide g + (18 - -2) + 2?
True
Is 12 a factor of 16/3*(-27)/(-4)?
True
Suppose 8 + 1 = 3*y. Is y a multiple of 3?
True
Let r(o) be the second derivative of -o**4/6 + 7*o**3/6 + o**2 + o. Let x be r(5). Let g = x - -20. Does 7 divide g?
True
Let h be (-2)/(-1) - (-1 - -3). Suppose -3*k - 2*n + 33 = -h*n, 5*k - 68 = n. Does 13 divide k?
True
Let h = 27 - -31. Is 5 a factor of h?
False
Let h(n) = -n**3 + 5*n**2 - n - 2. Let b be h(2). Let j(f) be the third derivative of f**6/120 - 2*f**5/15 + f**4/24 + 4*f**3/3 - 20*f**2. Does 7 divide j(b)?
False
Suppose 5*m = 3*m + 4, k - 4*m - 87 = 0. Is 19 a factor of k?
True
Let o(q) = -2*q + 0*q - 2*q + 3 + 5*q**2 + 5*q**2 - q**3. Is 16 a factor of o(9)?
True
Let n(q) = q**2 + 6*q - 4. Let s be n(-7). Suppose -2*a - 6 = -2*b, 1 = 3*b - 2*b - s*a. Is 4 a factor of b?
True
Is 10 a factor of 122/3 - (-2)/(-3)?
True
Let m(f) = -f**2 - f + 4. Let o be m(4). Let w = -22 - o. Let s = 10 - w. Is 7 a factor of s?
False
Suppose 93 = 3*s - 5*z - 36, -4*z + 140 = 4*s. Does 9 divide s?
False
Is (-6)/14 + 3/(-21)*-157 a multiple of 4?
False
Let i be 585/12 + 3/12. Suppose 4*f - i + 1 = 0. Is f a multiple of 6?
True
Let p be (-2)/((-1)/(5/2)). Let r(t) = -t**3 + 7*t**2 - 7*t + 7. Does 22 divide r(p)?
True
Suppose 28 = -5*h - 4*j, 0 = h + 2*j - 4 + 12. Let b = h - -6. Is 12 a factor of 1/b - 53/(-2)?
False
Let h(c) = -c**3 - 6*c**2 - 5*c + 5. Let g be 1*-1*(2 + -1). Let w = g - 4. Is 2 a factor of h(w)?
False
Suppose 4*d - 5*f - 31 = 0, -3*d + 5*f + 3 = -6*d. Suppose -2*g + 3*t = -4*g + 33, 4*t = d*g - 76. Does 9 divide g?
True
Suppose 0 = 5*z - 4*z - 4, -4*s = -2*z - 80. Does 22 divide s?
True
Let y(x) = -x**3 - 13*x**2 - 24*x - 11. Is y(-11) a multiple of 4?
False
Does 21 divide (-2 - (3 + -1 + -6)) + 98?
False
Let y(g) = -2*g**3 + 12*g**2 + 11*g - 8. Is y(6) a multiple of 29?
True
Is 9 a factor of 1*(-160)/(-4 - 1)?
False
Does 14 divide 2/(-4) - (-97)/2?
False
Let f(h) be the first derivative of -h**4/4 - 5*h**3/3 + 3*h**2 + 4*h - 1. Does 4 divide f(-6)?
True
Suppose -o - 2*o + p = -64, -3*p + 8 = o. Is 