 Does 9 divide o(p)?
False
Let c(j) = 2*j + 4. Is 5 a factor of c(11)?
False
Let o be (18/(-21))/(2/14). Is ((-4)/o)/((-14)/(-105)) even?
False
Let a(f) = -6*f**3 - 30*f**2 - 44*f + 61. Let i(n) = -n**3 - 6*n**2 - 9*n + 12. Let x(k) = 2*a(k) - 11*i(k). Is 10 a factor of x(7)?
False
Let b(h) = 23*h**2 - 3*h - 4. Let g(y) = y + 1. Let t(s) = b(s) + 4*g(s). Is 11 a factor of t(-1)?
True
Suppose -14*i + 711 = -5*i. Does 47 divide i?
False
Suppose h + 6 = -h. Let c be (-1)/h + 22/(-3). Let g(y) = -y**2 - 11*y - 6. Does 13 divide g(c)?
False
Let l(y) = -y**2 - 13*y - 7. Let t be l(-12). Suppose 0 = t*o - 18 - 27. Is 17 a factor of 4/6 - (-300)/o?
True
Let s be (2 - 0)*(-6)/(-4). Suppose -17 = s*d - 5. Is 19 a factor of 47 - (d/2)/(-1)?
False
Let y = 19 + -5. Does 3 divide y?
False
Let r(o) = -2*o**2 - 6*o - 1. Let n be r(-5). Let m = n - -36. Is (6/m)/((-3)/(-225)) a multiple of 11?
False
Let s = -157 - -220. Is 21 a factor of s?
True
Suppose -r = -5*r. Let n be -3 - (2 + r + -2). Let l = n + 6. Is 2 a factor of l?
False
Let t(a) = -a**3 + 13*a**2 + 39. Does 4 divide t(13)?
False
Suppose -5*c - z + 2*z = -1077, 6 = 2*z. Suppose -g = -5*g + c. Does 9 divide (-2)/9 - (-714)/g?
False
Let m(u) = 5*u - 6. Let g = -4 + 8. Is 14 a factor of m(g)?
True
Suppose 3*q + 0 = -4*c - 3, 5*q = c - 5. Suppose -l = -c*w - 2*w + 3, 0 = -4*l + 3*w + 3. Suppose -z = -l*n - 32, 4*z - 39 - 54 = 5*n. Is z a multiple of 10?
False
Let y be (4/3)/((-18)/(-729)). Suppose -4*s = -u - 36 - 10, -3*u = 4*s - y. Is s a multiple of 4?
True
Let x = 30 - 74. Is 3 a factor of (1 - -3)*(-77)/x?
False
Let b(g) = 6*g**2 + 5*g + 8. Is b(-4) a multiple of 28?
True
Suppose 0*b = 3*b + 3. Let l(s) be the second derivative of 9*s**4/4 - s**3/6 + s. Is l(b) a multiple of 14?
True
Let l = -3 + 3. Suppose 2*f - 2*x = l, -4*f - 3*x = -0*x - 35. Does 3 divide f?
False
Let g(k) = -14*k**2 - 3*k + 2. Let b be g(2). Let v = -37 - b. Does 8 divide v?
False
Let w(h) = -h + 3. Let q be w(-5). Suppose -5*z = 43 - q. Let m(n) = -n + 7. Does 7 divide m(z)?
True
Let d(t) = 2*t + 11. Let q be d(-11). Is 2/q + 5300/110 a multiple of 12?
True
Let c be 8/(-28) - (-296)/7. Let i = 24 - c. Is (-4)/i - (-230)/18 a multiple of 12?
False
Let p(r) = 3*r + 1. Is p(6) a multiple of 5?
False
Let h(o) = -o**2 + 9*o - 2. Let b be h(7). Suppose 0 = 2*g + 3*c + 4, -g - c = -3*c - b. Suppose -g*p = -59 + 11. Does 8 divide p?
False
Let n be 6/(-2) + -1 + 45. Let r be n/3 + (-1)/(-3). Suppose u = 4*v + 10, 2*u - 6 = 5*v + r. Does 4 divide u?
False
Let m be (-1 - -10) + (-1 - 2). Suppose 0 = -5*j + m*j - 2. Does 2 divide j?
True
Suppose 0 = -3*a - 12, -4*a - 1 + 15 = 3*k. Does 4 divide k?
False
Let w = -5 + 6. Let b(n) = 27*n**3 - n + 1. Let a be b(w). Suppose -4*h - 2*l - l + a = 0, -3*h + 16 = -2*l. Does 6 divide h?
True
Suppose -4 = 4*q - 2*q. Let g be (1*(-1 - 4))/(-1). Let y = q + g. Is y a multiple of 3?
True
Let s(v) = 4*v - 2. Let x(q) = -q**3 + 6*q**2 + q - 2. Let d be x(6). Let o be s(d). Let l = o - 7. Is l a multiple of 5?
False
Is 3/9 - (-634)/6 a multiple of 19?
False
Let n = 184 - 25. Suppose 202 = 4*f + a, 3*a = 3*f - 0*a - n. Is 17 a factor of f?
True
Let d be 1 + (-3)/(-9)*3. Suppose 2*y + 4*f = 40, d*y + 2*f - 4 - 36 = 0. Is y a multiple of 10?
True
Let n(z) = -2*z**2 - 3*z - 3. Let u be n(-9). Let b = u - -261. Is b a multiple of 31?
False
Let y = 17 - 3. Is y a multiple of 5?
False
Does 5 divide 11 + (-6 - 1) - (-26 + 0)?
True
Let h be ((-10)/(-6))/((-2)/12). Let d = h + 15. Is 2 a factor of 2/(-20)*-4*d?
True
Let v(r) = -r**3 + 11*r**2 + 6*r + 15. Does 27 divide v(11)?
True
Suppose -7 = 3*p - 2*p + 2*j, -p - j - 4 = 0. Let u(d) = 49*d**2 - 1. Is 24 a factor of u(p)?
True
Let y be 1*(-8 + -3 + -1). Let u be (0 - 45)*8/y. Let z = -10 + u. Is 11 a factor of z?
False
Suppose -r - 16 = -19, 2*f + 5*r = 785. Is 55 a factor of f?
True
Let k(i) = i**2 + 3. Does 3 divide k(3)?
True
Suppose r + 5*u = -4*r + 130, 0 = -2*u. Is 13 a factor of r?
True
Suppose 0*d - 4*d = -8. Suppose z = 2*w + 16, d*z - w - 12 = z. Does 8 divide z?
True
Suppose -8*v + 16*v = 816. Is v a multiple of 43?
False
Let y(d) = d**2 + 5*d - 13. Is 13 a factor of y(-10)?
False
Suppose 4*t - 4*q - 182 + 50 = 0, 4*t - q - 117 = 0. Is 7 a factor of t?
True
Suppose 0 = -4*v + 8*v - 20. Does 3 divide v?
False
Let w be ((-1)/2)/((-2)/12). Suppose -5*n - 52 - 173 = -t, -w*n - 5*t - 135 = 0. Does 6 divide (n/(-6)*-2)/(-1)?
False
Is 21 a factor of 72/1 - (-6 - -4)?
False
Suppose -a + 3*k = 4, 18 = a + 2*a - 3*k. Is a a multiple of 11?
True
Let d(r) = -r**3 - 15*r**2 - 3*r - 38. Is 7 a factor of d(-15)?
True
Does 6 divide ((-6)/(-5))/(3*(-4)/(-360))?
True
Suppose 5 + 10 = 3*h. Suppose -y - h = -43. Does 19 divide y?
True
Let y(i) = i**2 - 17*i + 17. Let n be y(15). Let l = 21 + n. Is l a multiple of 3?
False
Let r be (-4 - -5) + (-2 - -81). Suppose -4*d - d = -r. Is 4 a factor of d?
True
Suppose 7*m - 2*m + 5 = 0, -8 = -3*l - 4*m. Suppose 5*o + 3*a + 2*a = -25, -l*o = -a. Is 7 a factor of 35/2 + o/(-2)?
False
Let x = -181 + 185. Is 2 a factor of x?
True
Let n be (-1)/(615/(-153) - -4). Suppose x + 15 = n. Does 17 divide x?
False
Suppose 2*k + 2*k - 36 = 0. Does 9 divide k + 1 + (-1)/1?
True
Let m(y) = 13*y**2 + 33*y + 15. Let g(z) = 3*z**2 + 8*z + 4. Let w(n) = -9*g(n) + 2*m(n). Let i be w(-4). Suppose -5*s + i*s + 57 = 0. Is 11 a factor of s?
False
Let s = 29 - 17. Is s a multiple of 4?
True
Suppose -5*m + 7*n = 2*n - 320, -2*n = m - 76. Suppose 0 = 4*p + f - 4*f - 36, 2*f = -5*p + m. Is 6 a factor of p?
True
Let o(p) be the third derivative of 13/60*p**5 + 0*p**3 + p**2 + 0*p**4 + 0*p + 0. Does 13 divide o(-1)?
True
Suppose 0*d - d + 5*l = 15, 0 = -4*d + 2*l + 30. Is d a multiple of 2?
True
Suppose 2*l + 7 = 19. Is 3 a factor of l?
True
Is 7 a factor of (-465)/(-9) + (1/3 - 1)?
False
Suppose -2*y = -6, -5*k + 3*y = 4*y - 23. Suppose -4*i - x + 6*x + 150 = 0, 88 = 2*i + k*x. Is i a multiple of 15?
False
Suppose -5*h - 32 + 392 = 0. Is 19 a factor of h?
False
Suppose j - 128 = 4*o + 123, 0 = 4*j - 4*o - 992. Does 38 divide j?
False
Let r = 8 - 13. Suppose 0*a = -5*a + 75. Let j = a + r. Is 10 a factor of j?
True
Suppose -65 = -5*t - 25. Let u(o) = o**2 - 3 + 2 + 4 - t*o. Is u(10) a multiple of 7?
False
Let i be (-2)/3 + (-22)/(-6). Let s(l) = -8*l**2 + 2 + 0*l**2 - 11*l - l**i - 8. Is s(-7) a multiple of 11?
True
Let a(x) = -x**2 + 13*x + 8. Is a(12) a multiple of 10?
True
Let b(c) be the first derivative of 15*c**2/2 + 4*c - 3. Let s be b(3). Let w = s - 33. Is 7 a factor of w?
False
Let l(z) be the third derivative of 7/12*z**4 + 0 - 1/6*z**3 + 0*z + z**2. Is l(1) a multiple of 13?
True
Let x = -33 + 71. Is x a multiple of 13?
False
Suppose 0*t + 6 = -t. Let z be 2/(t/(-111)) + -1. Let w = z + -23. Does 13 divide w?
True
Is -225*((-92)/(-20) + -5) a multiple of 14?
False
Let j(d) = 11*d**2 - 25*d + 2. Is 39 a factor of j(4)?
True
Let k(a) = -a**3 + 6*a**2 + 2*a + 8. Let g be k(6). Let r = 0 - 0. Is g + r/((-2)/(-1)) a multiple of 10?
True
Suppose 0 = s - 2*s. Suppose 0 = -l - 2*q + 6, s*q = -l + q + 3. Suppose 0*y + l*y - 24 = 0. Is 3 a factor of y?
True
Let b(l) = l**3 - 11*l**2 + 9. Suppose 18 = 3*m - 15. Is b(m) a multiple of 9?
True
Is 4 a factor of 51/3*(1 - 0)?
False
Let w(b) be the first derivative of -2*b**2 - 10*b + 5. Is 5 a factor of w(-4)?
False
Let p be 0 + 3/((-3)/1). Let s be -47 + p/(-2)*2. Is 20 a factor of 0 + 1 - (2 + s)?
False
Suppose 0 = 2*u - u - 1. Is (2 - u)/((-6)/(-54)) a multiple of 7?
False
Suppose 4*m - 8 = 0, 2*i - m = 7*i - 117. Is i a multiple of 5?
False
Let d = 14 + -15. Is 12 a factor of (d - 1)/(8/(-188))?
False
Suppose -3*o = -110 - 70. Is 12 a factor of o?
True
Let y = 141 - 76. Is y a multiple of 13?
True
Let t = -9 + 24. Is t a multiple of 8?
False
Let f(p) be the third derivative of p**6/120 - p**5/30 - p**4/3 + 5*p**3/6 - p**2. Let b be f(6). Suppose -5*z + b - 21 = 0. Does 8 divide z?
True
Let p = -1 + 26. Suppose -b = -p - 8. Suppose -7 = r - b. Is 9 a factor of r?
False
Let u(k) = -k**3 - 6*k**2 + 5*k - 7. Let x be (1 - 1) + (1 - 6). Let i be u(x). Is i/(-12) - (-2)/8 a multiple of 3?
False
Is 12*(-2 - 23/(-3)) a multiple of 14?
False
Suppose r - 6 = -3. Suppose 5*b - 53 = -3*q, -4*b = -r*q + 11 + 6. Does 8 