
True
Let h(o) = 3*o**2 - 7*o - 17. Does 9 divide h(7)?
True
Let p(h) = h**2 + 6*h + 7. Let l(m) = -3*m**2 - 2*m - 1. Let j be l(-2). Is 22 a factor of p(j)?
False
Does 6 divide 8/(-12) + 0 - 980/(-12)?
False
Let c(i) = i**2 + 16*i + 3. Let s be c(-11). Let a = s - -103. Does 17 divide a?
True
Suppose 0 = -2*j - d + 175, 4*d = 5*j - 219 - 225. Is 30 a factor of j?
False
Suppose 61 = 2*o + 5*j, j = -o - j + 30. Suppose 4*h - o = -0*h. Suppose 2*x - h*x + 90 = 0. Does 18 divide x?
True
Suppose -1 = -2*v + 7, 5*i + 6 = -v. Does 16 divide 1/i + 65/2?
True
Let r(h) = h**2 - h + 2. Let t be r(0). Suppose t*n = -2*l + n + 40, -6 = -l - 4*n. Is 10 a factor of l?
False
Suppose -4*m = -4*d - 283 + 35, 4*m + 5*d - 284 = 0. Is 29 a factor of m?
False
Suppose 0 = -5*g - 31 + 271. Let k = g - 22. Does 13 divide k?
True
Let a = -358 - -638. Is 13 a factor of a?
False
Let p(o) = 2*o**3 - 4*o**2 + o + 2. Let c = 0 - -2. Let t be p(c). Suppose -t*i = -2*i - 80. Does 20 divide i?
True
Let a(u) = u**3 + 1. Let n be a(1). Suppose 5*k = -3*m + 75, 18 = n*k - m - 1. Is k a multiple of 5?
False
Suppose -3*g - 90 = -5*g. Is 3 a factor of g?
True
Let h be (-79)/(-7) + 8/(-28). Let g = -4 + h. Does 7 divide g?
True
Suppose -2*p + 5*g - 99 = 0, 4*p + p = 4*g - 290. Let b be 6/(-4)*(-152)/(-6). Let a = b - p. Is a a multiple of 10?
False
Suppose -m = 3*m - 16. Let p be m/(-1) + 2 - -7. Suppose -p*v + 96 = 36. Does 6 divide v?
True
Let r = -13 + 21. Does 8 divide r?
True
Let i be 4/((1 + -2)/2). Let m be (-3 - i)*(-1 - -2). Let q(b) = 3*b - 4. Does 5 divide q(m)?
False
Let w(t) be the first derivative of -t**2/2 + 24*t - 1. Let n be w(0). Suppose -4*b = -144 + n. Is b a multiple of 15?
True
Let t = 6 + -2. Is (-4)/(8/3 - t) a multiple of 3?
True
Let w(g) = g**2 - 3*g + 4. Let y(v) = -v**2 - 12*v + 9. Let o be y(-13). Does 8 divide w(o)?
True
Let w = -7 - 7. Let a = w + 94. Does 20 divide a?
True
Suppose 4*r - 2 = 5*r. Let t = -23 - -34. Let x = r + t. Is 9 a factor of x?
True
Is 8 a factor of (-6)/4 + 228/8?
False
Let z be (4 + -3)*(-3 + 2). Let l = 4 + z. Is 11 + 3/l - -2 a multiple of 14?
True
Let o be (-450)/(-5) - (1 + 0). Does 15 divide o/3 - (-1)/3?
True
Let j = 85 - 25. Is 30 a factor of j?
True
Suppose -5*m = -2*m - 15. Suppose 2*l = m*r + 11, -3*r + 7 = 2*r + 4*l. Is 2 a factor of 3 + 0*r/(-3)?
False
Suppose -4*t = -a + 45, 2*a - 156 = -3*a - 3*t. Is 11 a factor of a?
True
Is 2*(21/(-6))/7 + 56 a multiple of 39?
False
Let k = -3 + 8. Let d(b) be the second derivative of 7*b**3/6 - 2*b**2 + 2*b. Is d(k) a multiple of 13?
False
Let k(s) = s**3 - 2*s + 31. Is 31 a factor of k(0)?
True
Let x(z) = 80*z - 1. Let b(d) = -d - 3. Let v be b(-4). Is x(v) a multiple of 27?
False
Suppose 5*p = 2*t - 5*t + 1419, 5*p + t = 1413. Is p a multiple of 27?
False
Let p(g) be the third derivative of -g**4/6 + 5*g**3/6 + 3*g**2. Is p(-7) a multiple of 16?
False
Let j = 58 - 39. Does 8 divide j?
False
Is 2 a factor of (-19)/((-285)/(-100))*(-3)/2?
True
Let m = 47 - 22. Suppose -4*r + m = r. Does 5 divide r?
True
Suppose 2*g = 3*g - 4. Let t be 16/6 + 6/(-9). Let w = g - t. Is w a multiple of 2?
True
Suppose 0*s - 2*s - 3*o = -58, 0 = 4*s - 3*o - 98. Does 14 divide s?
False
Suppose 5*b - 69 = 4*j - 20, -2*b - 20 = 5*j. Let p(d) = d**2 + 3*d - 5. Does 6 divide p(j)?
False
Suppose -z - 22 = 10. Let j = -11 - z. Does 6 divide j?
False
Suppose -p - 4*x = -18, 28 = 4*p + 4*x + 4. Suppose p = 2*t - 4. Does 2 divide t?
False
Let f(u) = -3 + u**2 + u - u**3 + 4*u**2 - 1. Let d be 9/6 + (-3)/(-2). Does 5 divide f(d)?
False
Suppose -4*d - 34 = -142. Is 14 a factor of (-9)/d - 170/(-6)?
True
Let m(i) = -3 - 4 - i**3 - 2*i**3 - 10*i**2 + 2*i**3 - 10*i. Let g be m(-9). Suppose 3*s = -s + 16, 0 = -g*n - 3*s + 108. Is n a multiple of 24?
True
Suppose -4*b - b - 3*m + 364 = 0, 5*m = -3*b + 212. Does 37 divide b?
True
Let t(d) = d**3 + 7*d**2 + 9*d + 2. Let u(m) = -6*m**3 - 35*m**2 - 44*m - 11. Let y(o) = 11*t(o) + 2*u(o). Let z = 16 + -8. Does 12 divide y(z)?
True
Let d(f) = -15*f + 16. Is d(-4) a multiple of 21?
False
Let j be (-5)/1*(-3)/5. Suppose -j = 3*y - 93. Is 9 a factor of y?
False
Suppose 0*m - 3*i - 7 = m, 0 = 5*m - 5*i - 45. Let z = 9 - m. Is 5 a factor of (-6)/z*(-156)/18?
False
Suppose 0 = -4*j + 2*b - 12, -3*b + 5*b + 12 = -4*j. Is 10 a factor of 1/j + 151/3?
True
Let y be -2*1/(-1)*8. Is (-2)/8 + 100/y even?
True
Suppose 130 = -5*z + 7*z. Let j = -38 + z. Is j a multiple of 8?
False
Let b(l) = -l**2 - l - 1. Let o(w) = 13*w**2 + 2*w + 5. Let z(y) = 3*b(y) + o(y). Does 6 divide z(1)?
False
Suppose -2*d + d - 1 = 0. Let q be d/(1 + 0 - 2). Suppose -2*j + q + 5 = 0. Is 2 a factor of j?
False
Suppose 1 = -0*i + i. Let b be (-2 + i)*(2 - 5). Suppose -4*f + b*f + 13 = 0. Is 13 a factor of f?
True
Let y = -71 + 121. Is y a multiple of 49?
False
Let g(l) be the third derivative of 1/60*l**5 + l**2 + 0*l - 1/2*l**3 - 1/24*l**4 + 0. Is g(3) a multiple of 3?
True
Let r = -16 - -30. Is r a multiple of 7?
True
Let l(s) = -s**2 - 6*s - 4. Let f be l(-5). Let j be (f/2)/((-5)/(-40)). Suppose 20 - 1 = 2*n - q, 2*n + j*q = 44. Is 5 a factor of n?
False
Suppose 391 = 3*p - 0*w - 5*w, -387 = -3*p + 3*w. Is 16 a factor of p?
False
Let f(m) = -4*m - 20. Is f(-11) a multiple of 24?
True
Let g = 597 + -264. Suppose -d + 0*l + 75 = 4*l, 5*d - g = l. Suppose 4*y - 5*w = 2*y + d, 3*y - 72 = -2*w. Is y a multiple of 9?
False
Suppose 0 = 5*l - 8 - 12. Suppose -r = -3*r - l*k - 196, -3*r + 4*k = 284. Let f = 150 + r. Is 19 a factor of f?
False
Suppose 3 + 2 = -i - 3*w, 4*w - 4 = -4*i. Is (-67)/(-3) - i/12 a multiple of 11?
True
Let t = 0 - -2. Let n = t - -65. Is 26 a factor of n?
False
Let f(y) = -y**3 - y**2. Let h = -6 + 4. Let i be f(h). Let n(m) = m**2 - 2*m + 4. Is 6 a factor of n(i)?
True
Let r(g) be the first derivative of -g**4/4 + 2*g**3 - g - 1. Let h be r(4). Suppose -d + h = -0*d. Is d a multiple of 12?
False
Is (-360)/(4/(-1))*1 a multiple of 15?
True
Let c = 7 + -6. Let t(q) = 74*q**2 + 1. Let f be t(c). Let p = -52 + f. Is p a multiple of 11?
False
Suppose 0 = h + 3*d + 12, 0 = 5*h + 5*d + 18 + 2. Suppose -2*l + 66 = -h*l. Let i = l - 16. Does 10 divide i?
False
Suppose -10 = 5*o - 7*o. Suppose 15 = 5*d + o. Suppose -5*k - d + 12 = 0. Is k even?
True
Let r(q) = -q**3 + 12*q**2 - 7*q - 10. Does 30 divide r(9)?
False
Is 13 a factor of (-4 - 21/(-4))/((-2)/(-104))?
True
Let m(u) be the second derivative of -u**5/20 - u**4/3 + 3*u**3/2 + 9*u**2/2 + 6*u. Does 9 divide m(-6)?
True
Let y = -37 - -47. Is y a multiple of 3?
False
Let o = 8 + 14. Let v = -14 + o. Is v a multiple of 4?
True
Let d(j) be the first derivative of -j**3/3 - 9*j**2/2 + 5*j - 1. Is 13 a factor of d(-8)?
True
Let j(w) = 3*w**2 + 13*w - 34. Is 17 a factor of j(-10)?
True
Suppose -4*v + 15 = -17. Let o = v + -4. Is o a multiple of 2?
True
Suppose j + s = 4*j - 74, -36 = -2*j + 4*s. Is j a multiple of 4?
False
Suppose -12*l = -13*l + 100. Is 25 a factor of l?
True
Suppose -2*u - 2 = -40. Suppose -m - u = -3*r, 0 = 3*r - 6*r + 4*m + 31. Suppose -20 = -r*n + 15. Does 7 divide n?
True
Suppose -5*z - 5*u + 195 = 0, z - 2*z - 3*u + 41 = 0. Is 2 a factor of z?
True
Let o = -3 - 2. Let n(a) = -a**3 - 7*a**2 + a + 1. Let l be n(o). Does 9 divide ((-1)/1)/(3/l)?
True
Suppose d - 43 = -d + 3*a, -3*d + 5*a + 62 = 0. Is 5 a factor of d?
False
Let k(q) = 6*q**2 - 6*q + 3. Let v be k(4). Let p = -19 + v. Does 14 divide p?
True
Suppose -25 = 5*y, d = -0*d + 2*y + 17. Suppose -2*x = -i - 10, -d = 3*x - 0*x + 4*i. Is 2 a factor of x?
False
Let k(z) = -z**3 - z + 6. Let r be (0 + 1)/(-1) + 1. Is k(r) a multiple of 3?
True
Let q = -8 + 12. Suppose -2 = -2*b + q. Does 3 divide b?
True
Let l = -13 + 17. Does 2 divide l?
True
Let u be ((-2)/(-4))/((-1)/36). Does 9 divide ((-42)/(-18))/((-2)/u)?
False
Let t be (-4)/((-3)/((-54)/(-3))). Suppose d - t = 6. Suppose -v = -0*v - d. Does 15 divide v?
True
Suppose -34 = -2*u - 4*x, -5*x = u - 2*u + 17. Let c = u - 5. Is 12 a factor of c?
True
Let w(i) = -4*i - 16. Is w(-8) a multiple of 5?
False
Suppose -288 = -2*s - 2*g - 2*g, 5*s + 2*g = 696. Is s a multiple of 23?
True
Let o(t) = 84*t**2 - t - 1. Is 21 a factor of o(-1)?
True
Let b(h) = -14*h**2 + 2*h + 12. Let s(a) = 9*a**2 - a - 8. Let w(f) = 5*b(f) + 8*s(f)