h(f) = f**3 + 4*f**2 + f + 1. Let w be h(-4). Let c(m) = m**3 + 2*m**2 - 3*m + 3. Is 3 a factor of c(w)?
True
Suppose 0*q - 2*u + 26 = 3*q, -u = -q + 17. Is q a multiple of 6?
True
Suppose 2*h - 508 = -2*m, 0 = -0*h - 2*h + 4*m + 532. Suppose t = -2*t - h. Let w = -44 - t. Is 14 a factor of w?
True
Is 13 a factor of (-5)/(-15) + (-23)/(-3)*16?
False
Let j(a) = 17*a - 13. Let m be j(9). Is 14 a factor of -3*(2 - m/12)?
False
Suppose -3*n - n + 465 = 5*c, -n + 95 = -3*c. Does 10 divide n?
True
Let q(f) = -f**3 - 31*f**2 - 42*f + 18. Does 18 divide q(-30)?
True
Let v = -33 + 68. Is v even?
False
Let i(u) = 29*u - 4. Is i(1) a multiple of 2?
False
Does 14 divide 2/(-12) - (-1265)/30?
True
Is (4/(-6))/((-5)/1515) a multiple of 31?
False
Suppose -2*q + 27 = -3*i, 3*q + 5*i = -6 - 1. Let x = q + -4. Suppose -5*p = -15, o - x*p - 22 = 3*p. Is 16 a factor of o?
False
Suppose 7 = c + 3*c + 5*s, 3*s - 6 = -3*c. Suppose -3*l + 5 = -c*g + 2, -g + 3*l = -1. Let o = g + 4. Is o a multiple of 2?
True
Suppose -5 + 1 = -2*a, 5*h - 201 = -3*a. Is h a multiple of 27?
False
Let k(s) = s**3 - 9*s**2 + 9*s + 10. Is 6 a factor of k(8)?
True
Let j = 3 + -5. Let d = 99 + -85. Let z = d - j. Is z a multiple of 8?
True
Let a(i) = 2*i - 16. Let r(d) = d**2 - 7*d - 7. Let n be r(9). Is a(n) a multiple of 6?
True
Let z(w) = -4*w**3 + w**2. Let j be z(1). Is (-531)/j*2/6 a multiple of 15?
False
Suppose -4*l - 5*j = -0*l - 31, 0 = -5*l - 4*j + 32. Is l a multiple of 2?
True
Let o(b) = b - 3. Let k be o(4). Suppose 0 = -4*h + 4*q + 36, -4*q + 13 = h - k. Does 11 divide (-1)/(-1)*(h - -1)?
True
Let m(i) = 4*i + 4 - 4. Let n be m(1). Suppose n*a - 120 = -a. Does 12 divide a?
True
Suppose -y + 35 = 3*w, 3*y - w - 185 = -80. Let u be ((-46)/6)/((-2)/(-6)). Let n = y + u. Is n a multiple of 11?
False
Let f(w) = 7*w - 35. Let g(v) = 2*v - 12. Let y(h) = -6*f(h) + 17*g(h). Does 23 divide y(-6)?
False
Let j be -3 - (-1 - (3 - -7)). Suppose -32 = -9*c + j*c. Does 16 divide c?
True
Let z(i) = 4*i + 2. Let m be z(2). Let v be m*(-2 - 5/(-2)). Let f = v + 15. Is f a multiple of 11?
False
Is 13 a factor of (-10)/(-4)*((-5096)/(-4))/7?
True
Let b be (-24)/(-3) + 2 + 0. Suppose -5 - b = -5*d. Suppose -4*l + d = -77. Does 7 divide l?
False
Let v(u) = u - 8. Let o be v(6). Does 12 divide (-6)/((o + 0)/12)?
True
Let o = 21 + -16. Let c(j) = -j**3 - 2*j**2 - 5*j - 5. Let f be c(-4). Does 18 divide 2/o*(-2 + f)?
True
Let y(l) = 4*l + 3. Is y(9) a multiple of 12?
False
Suppose 0 = b + 2. Is 8 a factor of 24 - (-6)/(0 + b)?
False
Suppose 0 = -5*h - 86 - 34. Let i be 0 - -2*h/(-3). Suppose i + 92 = 4*n. Is n a multiple of 11?
False
Is 23 a factor of (-8)/((-50)/(-13) + -4)?
False
Let h(o) = -12*o**3 - o - 1. Let p(g) = -g + 10. Let v be p(7). Suppose -5*s = -10, -v*s = -j - 0*s - 7. Is 8 a factor of h(j)?
False
Let m(c) = 3*c + 43. Is 14 a factor of m(-5)?
True
Let d be -2 - -26*6/4. Let b = d + 8. Is 13 a factor of b?
False
Let d = 3 + -6. Let k be d/(-9) + (-10)/(-6). Suppose -5*a + 10 = -a - 5*i, k*i + 16 = 4*a. Is a a multiple of 5?
True
Suppose -2*r = -2*d + r + 132, 0 = -4*d - 3*r + 264. Is d a multiple of 12?
False
Suppose 5*l + 65 = 5. Is (18/15)/(l/(-80)) a multiple of 8?
True
Let b(s) = 3*s. Let k be b(-2). Let q be 1 + 0 + 1 + k. Is 7 a factor of ((-28)/8)/(2/q)?
True
Let g(q) = q**2 + 5*q - 15. Is g(-8) even?
False
Suppose 4*x - u = -18, -4 = -x + 3*x - 3*u. Does 9 divide ((-243)/45)/(1/x)?
True
Suppose -2*d = 2*d + 3*v - 155, 3*d = 4*v + 135. Does 12 divide d?
False
Suppose -58 = -2*h - 2*h - v, -3*h - 3*v + 39 = 0. Is 5 a factor of h?
True
Let z(a) = -6*a. Let g be z(1). Does 13 divide ((-69)/9)/(2/g)?
False
Let b = -167 + 241. Suppose -16 = -j - x, -3*x + 5*x = -4*j + b. Does 7 divide j?
True
Let f(r) = -r**3 - 5*r**2 - 6*r + 6. Let y be f(-5). Let s = -23 + y. Is s a multiple of 13?
True
Let p(z) = -z**3 + 5*z**2 + 4*z + 6. Let d be p(6). Let y(x) = -2*x. Is y(d) a multiple of 4?
True
Is (-2 + 38)*14/6 a multiple of 21?
True
Let u(q) = -q**3 + q**2 - q + 10. Let i(w) = w**2 - w. Let f be i(1). Does 6 divide u(f)?
False
Let y(m) = -m**3 + 21*m**2 - 18*m - 28. Is y(20) a multiple of 3?
True
Suppose 5*a - 27 = 8. Is 6 a factor of a*((-26)/(-14) + -1)?
True
Let p = 44 + 17. Is 24 a factor of p?
False
Suppose 6*r + 50 = r. Let d = -7 - r. Does 2 divide d/6*-2*-7?
False
Let d = -134 + 314. Is d a multiple of 12?
True
Suppose 4*j = 2*j + 70. Does 9 divide j?
False
Let l(u) = u**2 + 2*u - 5. Does 15 divide l(5)?
True
Suppose 0 = 5*j - 54 - 36. Let y = j + -9. Is 8 a factor of y?
False
Let o = -145 - -223. Suppose 5*h - 4*p + p - 114 = 0, -o = -4*h - 2*p. Suppose k - 4*r + 7 - h = 0, -9 = 3*r. Does 2 divide k?
True
Suppose 4*y - y = 3*t - 441, 2*t - 3*y = 293. Suppose -t = -m - 3*m. Does 9 divide m?
False
Suppose 5*r + 734 - 249 = 4*g, 5*g + 5*r = 550. Is 16 a factor of g?
False
Let d(g) be the first derivative of 3*g**2 - 9*g + 4. Let w(u) = 2*u - 4. Let s be w(6). Is d(s) a multiple of 15?
False
Suppose -l = -5*l - 4*k + 192, 4*k = 2*l - 120. Does 13 divide l?
True
Suppose -4*p - 16 = 0, 12 = 4*z - 3*z + 2*p. Suppose 0 = b + 4 + 1. Let w = b + z. Does 6 divide w?
False
Let g be ((-12)/10)/(4/(-10)). Let z(y) = 2*y**2 - 4*y + 2. Let c be z(g). Let v = 13 - c. Does 3 divide v?
False
Let q = 86 - -85. Is q a multiple of 29?
False
Let f = -3 - -2. Let p(m) = -109*m. Let y be p(f). Suppose y = 5*v - 56. Is 12 a factor of v?
False
Let u(r) be the third derivative of 2*r**2 + 0*r**5 - 1/6*r**3 + 1/12*r**4 + 0*r + 17/60*r**6 + 0. Does 13 divide u(1)?
False
Let h(c) = -c**2 - 4*c + 3. Let i be h(-3). Suppose -i*m = -m. Suppose m*q - 48 = -4*q. Does 7 divide q?
False
Is (-5)/((-25)/42)*15 a multiple of 15?
False
Let w(u) = -u**2 + 6*u - 2. Let t be w(6). Let f = -25 - -3. Let j = t - f. Is 10 a factor of j?
True
Is ((-2 + 3)*-22)/(-2) a multiple of 7?
False
Suppose 3*z + 2*p = 21, -2*z - 2*p + 8 + 8 = 0. Suppose -v = 5*f - 466, 4*v + v = -z*f + 450. Does 30 divide f?
False
Let p = 20 + -11. Is 7 a factor of p?
False
Let a = -61 - -110. Does 20 divide a?
False
Suppose 6*r - 35 = r. Suppose 2*i = -4*v + 11 + r, 2*v - i - 19 = 0. Is v a multiple of 2?
False
Let r = -37 - -57. Does 2 divide r?
True
Is 14 a factor of (-4)/5*140/(-8)?
True
Let r(h) = h**3 - 5*h**2 + 6*h - 6. Let j be r(4). Let c = 5 - j. Suppose -2*k - c*m = -68, 0*k = -3*k + 4*m + 136. Does 20 divide k?
True
Suppose 155 = -4*m + 5*m. Suppose 0 = 3*p + 2*p - 15, 0 = -5*v - 5*p + m. Is v a multiple of 14?
True
Suppose p = 6*p - 65. Does 13 divide p?
True
Let x = -24 - -51. Suppose 8 = p + 5*s + x, -5*s = 2*p + 18. Is 18 - p*(0 + -1) a multiple of 19?
True
Is 49 a factor of 274 - (4 + -4 + 2*1)?
False
Is 30/(-15)*-13*5 a multiple of 8?
False
Let r = 75 - 15. Does 20 divide r?
True
Let b = -90 + 57. Let q = 5 - b. Is q a multiple of 12?
False
Let u be 1/(7/3 - 2). Suppose -u*n - 4 = n, 5*f - 3*n = 83. Let k = 22 - f. Is 6 a factor of k?
True
Let w = -17 - -69. Let a = -10 + w. Does 21 divide a?
True
Suppose -2*h - 5*x = -142, -3*h - x + 224 = x. Let c be -3 + 9 + -2 - 1. Suppose -s + c*s = h. Does 16 divide s?
False
Let l(p) = 2*p**2 - 9*p - 8. Is l(8) a multiple of 16?
True
Let n = 35 - -5. Does 20 divide n?
True
Let l(m) = 7*m - 2. Is 2 a factor of l(1)?
False
Let u(v) = v**2 + 5*v - 5. Let k be u(-6). Suppose k = -m + 5. Is m a multiple of 4?
True
Let w(a) = -3*a - 4. Let q be w(-3). Suppose 0 = -q*y, -i + 82 = -0*i + y. Suppose -i = -3*u - 1. Is 13 a factor of u?
False
Let n(r) = -r**2 + 9*r + 6. Let t(y) = -y**2 + 8*y + 5. Let z(o) = -6*n(o) + 7*t(o). Let v be z(-3). Let s = v + 44. Does 14 divide s?
True
Suppose 324 = -2*z + 11*z. Is 36 a factor of z?
True
Is 17 a factor of 2/(3*8/1404)?
False
Suppose 3*v = -2*r + 53, 0*r + 5*v = 2*r - 61. Is 11 a factor of r?
False
Suppose -p + 14 = -32. Let a = 71 - p. Is 9 a factor of a?
False
Let i(g) be the first derivative of g**4/24 - g**3/3 + g**2 - 1. Let y(t) be the second derivative of i(t). Does 4 divide y(9)?
False
Let k(a) = 3*a**3 - 7*a**2 + 8*a - 16. Is 12 a factor of k(4)?
True
Let p(y) = 2*y**3 - 9*y**2 + 12*y + 6. Is 6 a factor of p(6)?
True
Let n be (-2)/(-4) + (-84)/(-24). Let p = -7 + 10. Suppose p*a = n*v, 0*a - 3*v - 11 = -5*a. Is a a multiple of 2?
True
Let h = 279 - 152. I