*2 - 6*s + 17. Let o(p) = -7*p**2 - 11*p + 33. Let w(f) = -3*o(f) + 5*v(f). Does 2 divide w(-6)?
True
Let q be ((-16)/10)/((-2)/5). Suppose 84 = 4*k + 4*f, 7*k - q*k = -2*f + 61. Does 19 divide k?
True
Let x = 249 - 191. Is x a multiple of 14?
False
Let p = -25 - -52. Does 27 divide p?
True
Let r = -58 - -76. Is r a multiple of 5?
False
Let m(c) = 7*c**2 - 2*c + 1. Does 23 divide m(3)?
False
Suppose 4*w = -4*i + 212, 4*i + 0*i - 218 = 2*w. Is 18 a factor of i?
True
Let k = -4 + 3. Let c be (49/(-1))/(0 + k). Suppose 3*t = 133 - c. Is t a multiple of 14?
True
Let m(o) be the second derivative of o**3/6 + 11*o**2 - 5*o. Is 13 a factor of m(-9)?
True
Suppose -2*w - 2*w = -2*h - 4, 0 = 5*w - 5*h. Suppose -3*r = 2*d - 42, 0 = 4*r - w*r - 2*d - 18. Is 4 a factor of r?
True
Let s(k) be the second derivative of k**5/20 - k**4/3 + 5*k**3/6 - k**2 + k. Let g be s(3). Suppose 5*t - 5*c - 9 = 61, -64 = -g*t + 2*c. Is 9 a factor of t?
True
Let y = -22 + 22. Suppose 0*r = 3*r. Suppose y = -r*t + 4*t - 76. Is 11 a factor of t?
False
Let i = 3 - 9. Let v = i + 7. Is v*(20 - 2)*1 a multiple of 11?
False
Suppose -4*d + 3*q = -6*d + 246, -4*q = 0. Is 22 a factor of (-1 + 0)/((-3)/d)?
False
Let i(x) = x**2 - 6*x. Does 3 divide i(-2)?
False
Suppose 5*y - 8 = -38. Is ((-33)/y)/(2/4) a multiple of 11?
True
Let d(h) = 0*h - 4*h + 2*h. Let q(a) = 3*a - 1. Let w(l) = -2*d(l) - 3*q(l). Is 14 a factor of w(-5)?
True
Let q = -204 + 444. Does 30 divide q?
True
Suppose -d = i + 4*i - 49, -i + d + 11 = 0. Suppose 4*b + b = i. Let a = 4 + b. Is 3 a factor of a?
True
Let z(c) = -c**2 + 19*c - 16. Does 9 divide z(17)?
True
Let m(i) = -8*i - 5. Is m(-6) a multiple of 6?
False
Let m = 63 - 45. Is 9 a factor of m?
True
Let j(n) = n**2 - 3*n - 7. Let d be j(5). Suppose t + 3*b = -1, 3*t = -2*b + d*b + 17. Suppose -4*k = 2*q - 36, -t*q - 2*k = -4*k - 42. Is 6 a factor of q?
False
Let a = 155 - 111. Is 22 a factor of a?
True
Let o be (1 - 0)/(2 + -3). Let t(n) = -22*n - 1. Let x be t(o). Let r = x - 13. Is 8 a factor of r?
True
Let y be 1/2*-26 + -3. Does 8 divide 4/y + (-66)/(-8)?
True
Suppose 0 = -2*s + 5*s - 6. Suppose 0 = s*z + 18 - 54. Is 13 a factor of 331/9 - (-4)/z?
False
Let k = 11 - 3. Is 8 a factor of k?
True
Suppose -4*y = 5*r - 8*r - 31, 5*y - 5*r - 45 = 0. Let m(x) = x**2 - 3*x. Let z be m(2). Let c = z + y. Is 2 a factor of c?
True
Is 3 a factor of 10 + 1 + (2 - 1)?
True
Is 10 a factor of 3*(-1)/(-3) - -109?
True
Let g(q) = q**2 - 12*q + 6. Is g(17) a multiple of 25?
False
Let s be ((-6)/(-10))/(5/50). Suppose 5*w + 56 = 3*t, 4*t - s*w - 73 = -w. Is t a multiple of 17?
True
Suppose -2*r = -6, 0 = h + 2*h - r + 9. Let d(m) = 4*m - 1. Let q be d(-5). Is 4 a factor of 2/(-4) + q/h?
False
Let r(f) = 4 + f**2 - f + f**2 + 5*f. Let k be r(-3). Suppose -5*q + k*q = 220. Is q a multiple of 18?
False
Suppose -2*i = -2, o + 2 = -5*i + 22. Does 5 divide o?
True
Let h(y) be the second derivative of 11*y**4/6 - y**3/3 - y**2/2 + 3*y. Is 23 a factor of h(-1)?
True
Suppose -3*q + 2*v - 41 + 385 = 0, -2*v = 5*q - 552. Is q a multiple of 20?
False
Suppose -y + 9 - 4 = 0. Suppose y*l + 12 = 97. Does 17 divide l?
True
Let p be (264/32)/((-1)/4). Let x(k) = 8*k + 1. Let s be x(-3). Let n = s - p. Is 4 a factor of n?
False
Let s = -9 + 69. Is s a multiple of 15?
True
Suppose -2*k - 27 = -4*j + 3*k, 0 = -3*j + 3*k + 24. Does 13 divide j?
True
Suppose 6*p = 7*p - 1. Let c be 30/(-8) + 48/64. Is p - 4/(c - -2) a multiple of 4?
False
Let f = -62 + 89. Does 9 divide f?
True
Let d(c) = -c**2 - 8*c - 5. Is 2 a factor of d(-3)?
True
Suppose 227 = -15*v + 2657. Is 18 a factor of v?
True
Let d(x) = -x**3 - x**2. Let f be d(-1). Suppose f*s - 31 = -s. Is s a multiple of 13?
False
Suppose -2*i = -0*i - 10. Suppose -i*f + f = -200. Does 13 divide f?
False
Suppose -4*x + 255 = 5*t - 378, 5*t - 329 = -2*x. Does 10 divide x?
False
Let a be (-2)/(-12) - 29/(-6). Suppose a = 2*h - 3. Suppose -2*r - 17 = -q - 2*q, h*r = 3*q - 13. Does 4 divide q?
False
Let j = -20 + -5. Let g = 37 + j. Is 2/12*10*g a multiple of 10?
True
Let h(x) = -x**3 + x**2 + x + 21. Let m be -3 - (1 + -4 + 0). Let i be h(m). Suppose 22 = 2*z + 2*a, -2*z - 4*a + i - 5 = 0. Does 7 divide z?
True
Let g be ((-10)/5)/(2/(-12)). Suppose -g*r - 46 = -14*r. Is 11 a factor of r?
False
Suppose -18*j = -21*j + 504. Is 28 a factor of j?
True
Let m(u) = 6*u - 4. Let o be m(4). Let d = -16 - 80. Is (d/o)/(6/(-20)) a multiple of 8?
True
Suppose -4*k = -2*f - 3*k + 110, -273 = -5*f + 3*k. Is f a multiple of 12?
False
Let o = -7 + 12. Suppose 2*m = y - 25, -4*y + 3*m + 52 = 7*m. Let n = o + y. Does 11 divide n?
True
Suppose 8*v - 4*v = 32. Suppose 1 = f - v. Is f a multiple of 9?
True
Let k(t) be the third derivative of t**4/3 - 7*t**3/6 + 2*t**2. Does 11 divide k(5)?
True
Let i = -24 + 45. Is 5 a factor of i?
False
Suppose 15 = -2*m + 7*m. Let h be 8 - -1*(-2 - 0). Suppose -q = -m*q + h. Is 3 a factor of q?
True
Let r = -7 + 12. Suppose -5*x + r*i = -185, 3*i - 84 = -2*x + 5. Is 10 a factor of x?
True
Suppose -11 = -6*s + 19. Let d(j) = j + 4. Let r be d(0). Suppose 2*u = s*g + 37, -2*g + 2 = -r*g. Is 8 a factor of u?
True
Suppose 0 = 2*t + 3*q + 4 - 15, 5*q = -t + 9. Suppose t + 12 = 2*j. Is j a multiple of 8?
True
Is 8 a factor of 31 - (4 - (-2)/(-2))?
False
Let x = -112 + 202. Is x a multiple of 11?
False
Let f(z) = -2*z - 5. Let g be f(-5). Suppose d = 3*s - 2, -g = -3*d - 5*s + 3. Is 5 a factor of 3 - (-17 - (-2)/d)?
False
Let n = -23 + 39. Is 16 a factor of n?
True
Let u(r) = r - 7. Let i be u(9). Suppose -2*t = i*t - 56. Is 14 a factor of t?
True
Let m = -7 - -11. Suppose 5*h = 4*l + 331 - 49, -h = m*l - 42. Is h a multiple of 23?
False
Suppose 0*d = 4*d - 12. Is 16 a factor of (d/(-4))/((-2)/88)?
False
Let b(t) be the first derivative of -t**4/4 + 8*t**3/3 + 3*t**2 + 3*t - 4. Let n be b(9). Is 17 a factor of (-642)/n - (-2)/8?
False
Let a(w) be the first derivative of 2*w**3/3 + w**2 - 3. Is 4 a factor of a(-2)?
True
Suppose -5*h + 4 = -11. Suppose -2*d = h*j - 11, 0 = 3*d - 2*j - 13 + 3. Suppose -d*l + 0*l = -68. Does 15 divide l?
False
Let t(a) = a**2 + 0 + 3 - 1 - 6 + 6*a. Is 17 a factor of t(-11)?
True
Let b(g) = -6*g + 1. Does 7 divide b(-6)?
False
Let g be (3/(-6))/((-1)/(-6)). Does 10 divide 10 + g + (3 - 0)?
True
Let f be (-1 - 2 - -3)/1. Suppose -r + 2*r - 12 = f. Is 6 a factor of r?
True
Suppose 5*z = 25, t + 3*z = 2*t + 14. Suppose -3 - t = -g. Is 1/((-1)/g)*-2 a multiple of 8?
True
Let a(q) = -q**2 + 14*q - 7. Let g be a(9). Let k(f) = -19*f. Let l be k(1). Let y = g + l. Is y a multiple of 10?
False
Let t(z) = 7*z**3 - 2*z**2 + 5*z + 4. Let p(q) = -3*q**3 - 2 - q + 2*q**3 + 2. Let y(o) = 6*p(o) + t(o). Is y(3) a multiple of 5?
True
Let x(y) be the first derivative of y**4/4 + 2*y**3 + 2*y**2 + 3*y - 3. Is x(-3) a multiple of 5?
False
Suppose 0 = -2*q + 4*o + 30, 0 = -3*q - 6*o + o - 10. Suppose -v + 2*y + 6 + q = 0, -4*y + 32 = 4*v. Does 3 divide v?
True
Let u(h) = -16*h. Let f = 2 - 2. Suppose f = 5*z - v + 4, 0 = -z - 5*v - 5 - 1. Is u(z) a multiple of 16?
True
Let c(r) = r**2 - r - 3. Let h = -4 + 7. Is c(h) even?
False
Suppose -2*f - 2*f - 5*t - 12 = 0, -4*f - 28 = t. Let a be (-4)/6 + (-50)/15. Is 13 a factor of (-79)/(-2) - a/f?
True
Let z = -3 - -66. Is z a multiple of 23?
False
Let c = 7 + 23. Does 5 divide c?
True
Suppose 0 = 5*j + 5*n - 66 + 16, 0 = 5*j - 2*n - 85. Is j a multiple of 5?
True
Let o(t) = -t**2 - 6*t. Let f be o(-5). Suppose -5*i = f*m - 150, 2*i + 3*i + m = 150. Does 6 divide i?
True
Let b = 3 - -7. Let k = b + 4. Is k a multiple of 14?
True
Let q(h) = h**2 + 2*h - 2. Is q(5) a multiple of 11?
True
Suppose 3*r = 12, 2*z + z = -5*r + 20. Suppose 84 = -z*j + 3*j. Suppose -5*l = -87 - j. Does 12 divide l?
False
Let k be 1 + -2 + 11 - -2. Does 12 divide ((-8)/(-5))/(k/210)?
False
Does 25 divide 4/4 + 24 - 0?
True
Suppose 57 = -5*c + 7. Is 4/20 - 198/c a multiple of 13?
False
Let i be (-1)/(-2) - (-159)/6. Let t = i + 1. Is 12 a factor of t?
False
Suppose -u = -z + u + 18, -4*z + 108 = u. Is 5190/65 - (-4)/z a multiple of 20?
True
Let x(a) = 208*a**2. Is 14 a factor of x(-1)?
False
Is 6 a factor of (-1)/2 - (-686)/28?
True
Is ((-408)/18)/(5/(135/(-6))) a multiple of 17?
True
Let t(l) = -l**3 - 4*l**2 + 3*l 