et r(l) be the first derivative of 5*l**3/3 + 3*l**2/2 + 3*l - 3. Is 15 a factor of r(-2)?
False
Let f be (-1)/(-2)*4 - 2. Suppose f = 2*n - 4*n + 22. Is n a multiple of 6?
False
Let d be -3 + -3 - -4 - -7. Suppose d*r - 280 + 0 = 0. Does 14 divide r?
True
Suppose 13 = 5*w - 12. Let u = w + -1. Is u a multiple of 2?
True
Does 24 divide 950/18 + 20/90?
False
Suppose -4*s + 140 = -0*s. Does 7 divide s?
True
Let x be 615/12 + (-3)/12. Let n = x - 28. Suppose -b = 2 - n. Does 21 divide b?
True
Let y = 123 + -59. Does 6 divide y?
False
Suppose 4*t = -3*n - 0*n - 7, -3*n + 1 = -4*t. Let f be (t/1)/(5/(-5)). Is 18/(3 - 1) - f a multiple of 4?
True
Let z(p) = 7*p**2 + p - 4. Is z(-2) a multiple of 11?
True
Suppose 0 = -3*f + 4*a, f + 3*a = -3*f. Suppose f = 3*n + 4*m - 49, 2*n - 3*m - 2*m - 48 = 0. Does 5 divide n?
False
Suppose -4*p - 10 = p. Let y = p + 6. Is 15 a factor of (y + -1)/(2/10)?
True
Is 3 a factor of (-18)/63 + (-93)/(-7)?
False
Suppose 2*i = -2*i + 172. Suppose 4*z + 199 = 3*j, 326 = 2*j + 3*j - z. Let g = j - i. Does 8 divide g?
False
Let h(t) = -2*t**3 - 9*t**2 + 3. Does 12 divide h(-6)?
False
Suppose 2*c + 16 = 3*c. Is c a multiple of 8?
True
Let g(u) = -u**3 - 9*u**2 - 9*u + 19. Is 15 a factor of g(-8)?
False
Let u = 9 - 11. Let z(m) = m**2 + 5*m - 6. Let f be z(-6). Does 19 divide 0 - (f - 21 - u)?
True
Let s(u) = -69*u + 1. Let b be s(-1). Suppose 2*x + b = 7*x. Is x a multiple of 4?
False
Let u be (-5 + 4)/((-1)/2). Suppose h + u*h = 51. Suppose -2*m + 0*a = -a - h, -4*a = 3*m - 20. Does 5 divide m?
False
Let l(v) = -v**3 + 6*v**2 + 3*v - 5. Is l(5) a multiple of 12?
False
Let z(g) = -g**2 - g. Let h(n) = 59*n**2 - 6*n + 1. Let t(f) = h(f) - 5*z(f). Is 32 a factor of t(1)?
True
Let u(f) = -32*f. Is 32 a factor of u(-2)?
True
Let n(j) be the third derivative of 3*j**4/8 + 2*j**2. Is n(2) a multiple of 18?
True
Let v(o) = 4*o**2 + o**2 + o**3 + 22 - o**2 - 24. Is v(-3) a multiple of 7?
True
Suppose -5*a = 10, 2*a - 78 = -4*f - a. Is f a multiple of 2?
False
Let i(y) = 6*y - 15. Suppose 3*k = -3, -6 = 3*n + 4*k - 32. Is 9 a factor of i(n)?
True
Let g be 2/(-4)*(4 - 6). Let i be g/((-1)/(-15) - 0). Is 5 a factor of 5/i + 94/6?
False
Suppose 0 = -3*n + 2*u + 420, -4*u + 116 = n - 10. Is n a multiple of 23?
True
Let q = -25 + 49. Suppose -m + 5*m = q. Does 4 divide m?
False
Let u = -62 + 22. Let b = 77 + u. Suppose 5*d + g = b, 5*g + 5 = 4*d - 13. Is d a multiple of 7?
True
Suppose -5*y - 3*q = -333, 3*q - 201 = 4*y - 7*y. Suppose 2*w + y = 4*w. Does 15 divide w?
False
Let h(i) = -i**3 + 3*i**2 + 4*i. Suppose 3*c = 5*v - 18, 1 = c - 2*c. Is 4 a factor of h(v)?
True
Suppose -2*v + 3*w = -0*w - 26, 0 = -2*w + 8. Does 5 divide v?
False
Let d = -9 + 4. Let r = d + -1. Let q = r + 12. Is 2 a factor of q?
True
Suppose 10*d - 437 = 63. Is 5 a factor of d?
True
Suppose 0 = 4*k + 4*t - 76, -k - 3 + 10 = 4*t. Does 11 divide k?
False
Is 256/(-6)*(-36)/8 a multiple of 24?
True
Let g(a) = 2*a**2 + 3*a. Let w be g(-2). Suppose -w*o = -0*o - 230. Is 31 a factor of o?
False
Let d = -4 + 7. Suppose 5*y + 0*a + 3*a + 6 = 0, -y = d*a + 6. Suppose 4*p - 1 - 51 = y. Is p a multiple of 13?
True
Let p(r) be the second derivative of 2*r - 1/2*r**2 - 5/6*r**3 + 0. Does 9 divide p(-2)?
True
Let b(w) = -w**2 - 14*w - 13. Let v be b(-10). Let d be (-8)/3*v/(-12). Suppose -m = -d*m + 150. Does 15 divide m?
True
Let y = 24 + -19. Suppose -y*h = -8*h + 108. Is 12 a factor of h?
True
Suppose -5*c - 15 = 0, t - 3*c - 259 = -t. Let b = -80 + t. Does 9 divide b?
True
Suppose -3*n + 4*s - 2*s = -101, 3*s = -12. Suppose -3*j - 11 = -2*h + 55, j + n = h. Does 25 divide h?
False
Let x(h) be the second derivative of h**3/6 - h**2/2 + h. Let q = -6 - -10. Is 3 a factor of x(q)?
True
Let j be 19/4 + (-3)/(-12). Suppose w + 3*v = j*w - 8, 2*v - 8 = 0. Suppose -w*d + 88 = -107. Is d a multiple of 11?
False
Let p(f) = -6*f. Let x = -1 - 0. Does 3 divide p(x)?
True
Suppose -o - 2*j = -13, -o + 2*j - 17 = -2*j. Let m be 3*2/o - 2. Suppose -2*v = -m*v - 8. Is v a multiple of 4?
True
Is 30/1 - (-6 - -7) a multiple of 2?
False
Let h be (-1)/(-4) - (-2)/(-8). Let m = 17 - 14. Suppose v - 4 - m = -3*g, -g - 4*v - 5 = h. Does 3 divide g?
True
Let m(t) = t**2 - 2*t + 5. Is m(5) a multiple of 10?
True
Let s(c) = -5*c**2 - c**3 - 2 + c**2 + 0*c**2 + c + 3. Let n be s(-4). Does 10 divide (1/n)/((-9)/270)?
True
Suppose -q - 2 = -4. Let k(b) = -2*b**3 - 4 + 0 + 3*b + 2 - q*b**2. Is 9 a factor of k(-3)?
False
Let r(i) be the first derivative of i**4/4 - 7*i**3/3 + 4*i**2 - 9*i + 1. Is r(6) a multiple of 3?
True
Does 19 divide (-34)/(-10) + -3 - (-383)/5?
False
Let k(y) = -5*y + 3. Is k(-10) a multiple of 11?
False
Suppose -h - 2*x + 21 = 2*h, -4*h + 23 = x. Suppose h*w = w + 160. Suppose w = -d + 5*d. Does 5 divide d?
True
Let h be -3 - (-3 + -6)*-1. Let t = 26 + h. Does 9 divide t?
False
Suppose 0 = 3*j - 183 + 18. Is j a multiple of 8?
False
Let n = -59 + 32. Let t = 47 + n. Suppose -t = -l - l. Does 8 divide l?
False
Let g(i) = -26*i**3 - i - 2. Is g(-2) a multiple of 16?
True
Let q = 156 + -73. Let z = q - 168. Does 17 divide z/(-2)*(-4)/(-5)?
True
Let u = 239 - 64. Is u a multiple of 7?
True
Let i = 4 + 73. Suppose -4*x + i = 3*w, -3*w + x = -0*w - 82. Is w - (-1 - 0)/(-1) a multiple of 13?
True
Suppose -5*u = 3*t - 91, -23 = -u - t + 2*t. Is u a multiple of 10?
True
Suppose -3*r + 36 = -69. Suppose -3*t = -28 - r. Is t a multiple of 16?
False
Suppose 80 = 2*c + 4*u, -4*u - 170 = -5*c + u. Does 6 divide c?
True
Does 8 divide -40*((-9)/(-15) - 1)?
True
Is 5 a factor of (-2)/(-8) + (-172)/(-16)?
False
Suppose 53*l + 78 = 56*l. Let m = -42 - -94. Let q = m - l. Is q a multiple of 13?
True
Let s(w) = -23*w + 2. Does 6 divide s(-1)?
False
Suppose -2*n = -2*v - 5*n + 57, 0 = 2*v - 5*n - 33. Does 14 divide v/84 + 430/14?
False
Let v(f) = -f - 5 + 11 + 0. Let p be v(6). Is 14 a factor of 42 - p - (3 + -3)?
True
Let w be (8/20)/((-1)/10). Let x be 4/w - 1/1. Is x/2 - (2 - 14) a multiple of 11?
True
Suppose 2*k = -2*w - 16 + 74, -2*k + 63 = -3*w. Suppose 6*r = 3*r + k. Is r a multiple of 6?
False
Suppose 2*k = -2*v + 6, 3*v - 5*v = -5*k - 27. Does 3 divide v?
True
Let j(y) be the first derivative of -y**4/4 + 8*y**3/3 - 3*y**2 + 1. Is 2 a factor of j(7)?
False
Let m = -13 + 22. Suppose -4*d + 0*d + 72 = 0. Let o = d + m. Is o a multiple of 9?
True
Is 17 a factor of ((0 - 1)*-1)/((-10)/(-2220))?
False
Let p(h) = 54*h**2. Let x be p(1). Let d = x - -10. Is 16 a factor of d?
True
Suppose -1 + 713 = 8*d. Is 14 a factor of d?
False
Let f(y) = y**2 - 6*y - 11. Let x be f(8). Suppose -4*d + 0 = -8. Suppose -4*p - 5*m = -1, 3*p - x*p - 2*m = -d. Is 4 a factor of p?
True
Does 16 divide 128/(3 + 1/(-1))?
True
Let j be 2/9 - (-10)/(-45). Suppose j*s - 4*s = -488. Suppose -s = -5*i + 83. Does 15 divide i?
False
Suppose -38 = -p - 3*c - 8, 3*c = 0. Is 5 a factor of p?
True
Suppose -a = -0*a + 3. Let o be -2*(0 - a/(-2)). Let l = o + 1. Is l a multiple of 2?
True
Suppose 0*j - 3*j + 15 = 0. Suppose -j*r = -4*i + 49, -3*i - 4*r = -3*r - 13. Is i a multiple of 4?
False
Let t = 7 - 5. Suppose -t*o - 2*v - 142 = -5*o, 0 = 5*o + 3*v - 243. Is o a multiple of 16?
True
Let m(j) = -2*j**3 - 3*j - 3. Suppose 6 = -7*x + 5*x. Is 20 a factor of m(x)?
True
Suppose 4*q - 35 = u + 37, 0 = 4*u + 4*q + 348. Let f be (u/8)/((-6)/(-8)). Is (-10)/35 - 424/f a multiple of 8?
False
Suppose -w + 4 = 2*f - 2*w, 3*w - 15 = -3*f. Let u(o) = -6*o + 3*o + o - o**f + 4 - 7*o**2. Is 9 a factor of u(-7)?
True
Let x(t) = -2*t**2 + 7*t - 4. Suppose -5*z + 8 = -12. Let a be x(z). Is 6 a factor of (0 + -6)*12/a?
False
Is (-20)/(-15)*-3 - -25 a multiple of 3?
True
Let g(i) = i**2 - 12*i - 6. Let x be g(14). Let y = x + -5. Is 3 a factor of y?
False
Suppose 3*f - 1 - 5 = 0. Does 4 divide f - (2 - 0) - -8?
True
Let m(r) = -r + 8. Let u be m(8). Suppose 2*i - 3*z - 29 = u, 4*z = i + 5*z - 17. Does 16 divide i?
True
Let w(x) be the second derivative of -x**3/6 - 3*x. Let q be w(-5). Let h = q + 4. Is h a multiple of 9?
True
Suppose 0*m = 2*m - 14. Suppose 9 = q - m. Is 8 a factor of q?
True
Let u(n) = -n**2 + 13*n + 12. Is u(13) a multiple of 3?
True
Suppose 3*j + j = 16. Let p be (-2 - j)/(4/(-6)). Suppose 2*c - p = -c. Is c a multiple of 2?
Fals