6 a factor of o?
False
Let b = 16 + -14. Let g = 6 + b. Is g a multiple of 5?
False
Suppose -3*q + 214 = 4*s, 4*q - s = 249 + 68. Does 13 divide q?
True
Let i = -30 - -102. Does 12 divide i?
True
Let k = 8 - 2. Let v(r) = -39*r + 5. Let j(n) = 20*n - 3. Let t(b) = k*v(b) + 11*j(b). Is 13 a factor of t(-2)?
False
Suppose 54 + 24 = 2*p. Let n = 65 - p. Is n a multiple of 10?
False
Let h = 47 + 19. Does 11 divide h?
True
Let a(n) = -n**3 + 8*n**2 - n + 14. Let t be 12/28 + (-39)/(-7). Does 20 divide a(t)?
True
Let v = -1 + 3. Suppose k - 3 = -v*k. Let i = k + 3. Is 2 a factor of i?
True
Is 12 a factor of (24/5)/((-2)/(-10))?
True
Let c = 12 - -66. Is c a multiple of 13?
True
Let j(q) = 2*q**2 + 10*q + 11. Is 18 a factor of j(-8)?
False
Suppose 2*r - 4*m + 330 = 878, 3*m - 15 = 0. Is 26 a factor of r?
False
Let j be 2/5 + 36/10. Suppose 2*u + j*z - 57 = 3*u, 2*z - 267 = 5*u. Let b = -31 - u. Is 11 a factor of b?
True
Let b = 264 - 61. Does 29 divide b?
True
Let q = -10 - -18. Let w(x) = x**3 - 7*x**2 - 4*x + 10. Let n be w(q). Suppose -2*t + n = -t. Is 11 a factor of t?
False
Suppose 0 = -4*h + 8, -2 = -y + 4*h + 29. Let p = 56 - y. Is 17 a factor of p?
True
Let z(a) be the first derivative of -a**3/3 - a - 1. Let j be z(-4). Let i = -10 - j. Does 7 divide i?
True
Let n(w) = 2*w + 2. Let u be n(3). Suppose -4*v + 2*v = -28. Let b = v - u. Does 6 divide b?
True
Let u(v) = 2*v**2 - 2*v + 3. Is u(-6) a multiple of 28?
False
Suppose -145 - 35 = -6*z. Suppose 4*t - 3*s = s + 104, -t = s - z. Does 7 divide t?
True
Let o be 1 + 2 + (0 - -2). Suppose p - o*p = -104. Is 6 a factor of p?
False
Let w(u) = -3*u**3 - u + 2. Let y = 3 - 5. Is w(y) a multiple of 14?
True
Suppose 5*q - r - 11 - 92 = 0, 4*r - 88 = -5*q. Suppose -22*t + 27*t - q = 0. Does 4 divide t?
True
Let g = 15 + -10. Suppose -f = 4, -3*m + g*f + 40 = f. Let k = 12 - m. Does 2 divide k?
True
Let t be ((-2)/3)/((-18)/(-81)). Suppose 2*w + 4*o + 3 = -3, -3*w - 5*o - 7 = 0. Is (30 - -3) + w*t a multiple of 15?
True
Let p = 198 + -114. Does 21 divide p?
True
Let q(s) = 3*s**2 + 15*s + 15. Does 11 divide q(-8)?
False
Let a be (2 + 1/(-2))*2. Let p = 9 - a. Is p a multiple of 4?
False
Suppose -28 = 11*w - 13*w. Does 6 divide w?
False
Suppose 3*p - j - 35 = -p, 3*p = j + 26. Is 20 a factor of -5*4/(-3)*p?
True
Let b(c) = c**2 + 2*c - 7. Is 4 a factor of b(3)?
True
Let i = 16 + 17. Does 23 divide i?
False
Let p(b) = 8*b + 1. Let u be p(-1). Let l = -6 - 12. Let z = u - l. Is 4 a factor of z?
False
Suppose -y + 2*x + 0 = -4, 0 = -y - 3*x - 11. Does 6 divide (1 + y)/(2/(-44))?
False
Let z = 4 + -7. Let t(f) = 15*f - 3. Let x be t(z). Let i = -32 - x. Is 12 a factor of i?
False
Let b(z) = -z**2 - 18*z - 13. Is 16 a factor of b(-11)?
True
Suppose -4*t + 8 = -0*t. Let a = t + 1. Suppose 0 = y + a*y - 76. Is y a multiple of 7?
False
Let d(q) = 2*q**2 + 3 - 2*q**3 + 12*q - 14*q + q**2 + q**3. Does 2 divide d(2)?
False
Suppose 0*f = -f + 15. Suppose -5*d - 10 = -40. Let c = d + f. Does 14 divide c?
False
Suppose 215 - 11 = 4*d. Is d a multiple of 13?
False
Suppose -n = 4*n - 180. Suppose -v = -3*v + n. Is 7 a factor of v?
False
Is 6 a factor of (-6)/4*(-684)/54?
False
Let o = -28 + 106. Does 13 divide o?
True
Let k(m) = -12*m + 9. Is 25 a factor of k(-5)?
False
Let n(i) = -2*i + 6. Let x be n(-9). Suppose h + x + 23 = 0. Let a = -24 - h. Is 13 a factor of a?
False
Suppose 16*x - 480 = 10*x. Is 8 a factor of x?
True
Let q = 31 - 16. Does 6 divide q?
False
Let b(z) = -z - 4. Let q be b(-7). Suppose -5*w + w + 5*l = -22, -4*w = l - 10. Does 7 divide q/9 + 20/w?
True
Let n(j) = 2*j**2 - j. Suppose 0 = -3*c + v + 24, -3*c - 17 = -5*v - 53. Suppose 4*g + 4*y + 20 = 0, -6*y + y - c = -g. Does 21 divide n(g)?
True
Let s = 25 - 21. Is 1/s + 531/36 a multiple of 13?
False
Let p(r) = -13*r + 7. Is p(-5) a multiple of 20?
False
Let r be (-46)/2*(9 - 12). Let w = r - 27. Is w a multiple of 14?
True
Let o(p) = p**3 - 14*p**2 + 13*p + 13. Let v be o(13). Let m be -11*(0 + -1)*v. Let d = m + -97. Is 23 a factor of d?
True
Suppose 40 = 5*q - t - 35, -q - 5*t = -41. Is 3 a factor of q/2 - 6/3?
True
Let c = 8 - 6. Suppose 10 - 2 = n + x, 0 = 4*n + c*x - 26. Does 2 divide n?
False
Let s be 8/3*27/(-12). Let d(p) = 2*p**3 - 6*p**2 + 3*p - 9. Let a(q) = -3*q**3 + 6*q**2 - 3*q + 10. Let f(i) = -3*a(i) - 4*d(i). Is 9 a factor of f(s)?
False
Let q = 62 + -41. Does 7 divide q?
True
Suppose -4*j - 2*h = -148, -3*h - 194 = -5*j - h. Suppose -w = -2*l - 10, -2*w + 4 = -2*l - 4. Let p = j + l. Is p a multiple of 13?
False
Let k(o) be the first derivative of 2 - 4*o - 2*o**2 - 8/3*o**3 - 1/4*o**4. Is k(-8) a multiple of 14?
True
Let j be 0 - (-2 + (1 - -3)). Let y be (41/(-2))/(j/4). Does 22 divide y + -1 + (-4)/(-1)?
True
Suppose -28 = 4*h + 2*f, -3*f - 6 + 0 = 2*h. Let b = 41 + h. Suppose 4*i = 4*u + 48, 0*u = 3*i - 2*u - b. Is i a multiple of 4?
True
Let i(m) = 2*m + 1. Let d be i(-2). Does 26 divide 2 + 0/d + 24?
True
Suppose -6*g + 153 = -3*g. Is 15 a factor of g?
False
Let b be 334/6 + 2/6. Suppose t + t - b = 0. Is t a multiple of 12?
False
Suppose l + 5*o - 45 = 0, 5*l + 2*o = -2*o + 120. Suppose 32 = 3*w - 4*g + 4, 2*g + l = 2*w. Is 12 a factor of w?
True
Suppose 0 = -3*t - r - 20, -2*t - 3*t - 3*r = 36. Does 9 divide 250/6 + (-2)/t?
False
Suppose -4*u = -234 - 74. Does 18 divide u?
False
Let r be 36/(-15) - 4/(-10). Let b(x) = -3*x**3 - 2*x**2 - 4*x - 3. Let a be b(-2). Does 14 divide (a/(-3))/(r/4)?
True
Let j(x) be the second derivative of x**4/12 - 5*x**3/3 + 8*x**2 - 7*x. Is 11 a factor of j(13)?
True
Suppose 3*j + 3*w = -33, -2*j + 7*j - w = -55. Does 10 divide 2 + -3 - (0 + j)?
True
Let f(v) = -v**3 - 6*v**2 - 5*v - 3. Let i be f(-5). Let h(p) = -2*p**2 - 3*p + 1. Let b be h(i). Is b/3*33/(-4) a multiple of 9?
False
Suppose n - 2*n + 10 = 0. Let w be (-2)/(-6) - n/(-6). Suppose -2*k = v + k + 1, w*k = 5*v - 80. Is 12 a factor of v?
False
Suppose 140 = 5*z + 10. Does 8 divide z?
False
Suppose -5*o + 0*h + 412 = 2*h, -3*o + 4*h = -268. Is 12 a factor of o?
True
Suppose -c - 1 = -3. Suppose 65 = 3*a + c*a. Is a a multiple of 7?
False
Let c(b) be the third derivative of b**5/60 + b**4/8 + b**3/3 + 11*b**2. Let o(g) = g**2 - 2*g + 3. Let p be o(2). Is c(p) a multiple of 10?
True
Suppose -3*f + 5*j + 4 = -2*f, -5*j - 10 = 0. Let x(s) = -s**2 - 9*s - 6. Let d be x(f). Let g = 12 + d. Is g a multiple of 12?
True
Let s(g) = -g**2 + 1. Let t(c) = -4 - 1 - 3 - 3*c**2 + c. Let h(b) = 4*s(b) - t(b). Is 6 a factor of h(0)?
True
Suppose i = 2*h + 30 - 5, 5*i - 5 = 2*h. Let w = h - -27. Does 6 divide w?
True
Suppose -4*k - 68 = -188. Does 5 divide k?
True
Let n(d) = 2*d**2 + 7*d. Let p be n(-6). Suppose 0 = -3*v + 4*o - 39, 2*v + 40 = 3*o - 5*o. Let h = v + p. Is h a multiple of 13?
True
Let w = 23 + 18. Is 12 a factor of w?
False
Let u(j) = -j**2 + 9*j + 5. Let v(g) = 4*g**2 + 2*g - 2. Let h be v(-2). Let q be h - (-5)/((-5)/2). Is 9 a factor of u(q)?
False
Suppose 0 = 6*h - 3*h - 3*r + 3, 13 = -h + 4*r. Suppose -h = -4*t + 33. Is 3 a factor of t?
True
Let i = -317 - -469. Does 8 divide i?
True
Let w = -1 + 3. Suppose 0 = w*h + 19 - 187. Suppose h = 4*s + 3*k, -8*k = -3*k. Is 19 a factor of s?
False
Let j(u) = 4*u + 3. Let t(k) = -k**3 + 8*k**2 + 9*k - 2. Let i be t(9). Let m be j(i). Is 3 a factor of (6/m)/(9/(-60))?
False
Suppose 5*t + 6 = 36. Suppose t*f - 180 = 180. Is 18 a factor of f?
False
Let m(f) = -f**3 - f + 120. Let q be m(0). Suppose t + 3*t = q. Is 14 a factor of t?
False
Let b be (-4)/(-10) - 16/(-10). Let k = -22 + b. Is (k - 0/1)*-1 a multiple of 10?
True
Suppose -2*j = w + 4*w - 644, 4*w - 514 = -2*j. Is w a multiple of 22?
False
Let d be 1 - (-2 + 2) - -2. Let l be ((-3)/(-6))/(-4 - (-3524)/880). Suppose -d*p = 2*p - l. Does 11 divide p?
True
Let b(i) = i**3 - 4*i**2 + 5*i - 3. Let r be b(2). Does 10 divide (-3 + -24 + 2)/r?
False
Suppose 10*m = 8*m + 74. Is 4 a factor of m?
False
Let d(j) = -4*j + 1. Is d(-2) a multiple of 4?
False
Let z = -8 + 3. Let j = 48 + z. Let v = j - 13. Does 15 divide v?
True
Suppose -2*a - 3*g - 6 = 0, -g + 8 = 3*g. Let o(i) = -i**3 - 4*i**2 + 6*i - 8. Is o(a) a multiple of 14?
True
Let l = 136 + -26. Does 26 divide l?
False
Let j(c) be the first derivative of 3*c**2 - 11*c + 4. Is 5 a f