t h(m) = m**2 - 6*m - 5. Let c = 46 - 35. Is h(c) a multiple of 22?
False
Let s(r) = 3*r - 2 - 8*r**2 + 2*r**2 - 4*r**3 + 2*r**2 + 5*r**3. Let t be s(3). Is 15 a factor of -2*(4 - (-53)/t)?
True
Suppose -4*i + 54 = 5*r, 0*r + 70 = 4*i - 3*r. Is 10 a factor of i - (4 - 6 - -4)?
False
Let t(d) be the third derivative of -d**5/12 + d**4/12 - d**3/3 + 9*d**2. Let s be t(1). Let i(q) = -5*q + 5. Is 10 a factor of i(s)?
True
Suppose 3*r - 1817 = -578. Does 8 divide r?
False
Suppose 0 = 8*q + 7*q - 16245. Does 88 divide q?
False
Let v(d) = 54*d. Let k(m) = m**3 + 2*m**2 - m. Let z be k(1). Suppose -4*h + 3*h + 2*p = -1, -p - 2 = -z*h. Is 18 a factor of v(h)?
True
Is ((-111)/(-4))/((-6)/(-2496)*4) a multiple of 111?
True
Does 5 divide 12/54 + (2 - (-23176)/36)?
False
Suppose -4*n = 4*g - g + 233, g = 3*n - 56. Let h = -25 - g. Suppose -3*q + 3*u + u = -h, 25 = 5*u. Is q a multiple of 13?
False
Suppose 3*c = -3*l - 24, -5*l - 37 = 4*c - 1. Let r be (-4)/((l/134)/1). Suppose -r = -2*f - 0*x - 5*x, 0 = 5*f + 4*x - 335. Does 13 divide f?
False
Let f(i) = i**2 + 13*i + 43. Is f(-19) a multiple of 12?
False
Suppose 37*b = 38*b + 6. Let d(m) = -5*m + 1. Let o(w) = 24*w - 6. Let k(g) = -28*d(g) - 6*o(g). Does 16 divide k(b)?
True
Let m(h) = 38*h - 252. Does 7 divide m(14)?
True
Let a(v) be the third derivative of -v**6/120 - v**5/10 - v**4/8 + v**3/2 - 4*v**2. Let r be a(-5). Let g(p) = -p**3 - 6*p**2 - 10. Is g(r) a multiple of 13?
True
Suppose -3*o + 2*o = y - 4106, -y - 4*o + 4112 = 0. Is 24 a factor of y?
True
Suppose -p + 4 = 2. Suppose -p*z = -0*z - 8. Let t(k) = 3*k**2 - 7*k + 5. Does 25 divide t(z)?
True
Let x(r) = -35*r**3 - r**2 + r - 6. Let u(a) = -a**3 - 4*a**2 + 2*a + 5. Let q be u(-4). Let t be x(q). Does 9 divide 3/(-21) - t/(-21)?
False
Let h be 32/(-5 + 3) + 1. Let g be ((-162)/h)/((-6)/20). Does 8 divide -4 + 16/4 - g?
False
Let b be 4/(-22) + 104/88. Suppose c - 9 = -o - 2*o, -c + 12 = 4*o. Suppose c*y - y - b = 0, -4*y = 3*k - 14. Is k a multiple of 6?
True
Suppose -38535 = -15*n + 7140. Is n a multiple of 13?
False
Suppose -6 = -2*g - 2. Suppose -g*w + 5*w - 42 = 0. Let o = 54 - w. Is o a multiple of 15?
False
Let d = -348 + 1093. Is d a multiple of 11?
False
Let g(n) be the second derivative of n**5/20 - n**4/4 + n**3/2 - 2*n**2 + 6*n. Is g(4) a multiple of 4?
True
Let r be -16*1*1/(-2). Let z(t) = t**3 - 7*t**2 + 13*t - 13. Is 31 a factor of z(r)?
True
Suppose -5*a + 735 = 2*a. Suppose 3*v = -4*v + a. Is v even?
False
Let g(z) = 68 + 39 + 0*z - 4*z. Does 27 divide g(0)?
False
Let f(c) = c**3 - 3*c**2 + 24*c - 159. Is 15 a factor of f(13)?
False
Let i = -1703 - -1796. Does 4 divide i?
False
Let k(d) = -5*d - 2. Let g be k(2). Let q be (-85)/(-30) - 2/g. Let m(h) = 3*h**2 + h + 1. Is m(q) a multiple of 8?
False
Suppose 9000 = 82*d - 51844. Is d a multiple of 7?
True
Suppose -d = 4*r + 3*d - 1552, -1132 = -3*r + 5*d. Does 13 divide (-26)/65 + r/10 + 1?
True
Suppose -1548 = -6*x + 6606. Is 25 a factor of x?
False
Let v(p) = p**2 - p - 7. Let q be v(4). Suppose -q*r = r - 30. Does 3 divide r?
False
Let q be (24/(-40))/((-1)/5). Suppose 2*g = g - q. Let l = 30 + g. Does 6 divide l?
False
Suppose -3*n = 4*z - 599, -364 = -5*z + 3*n + 351. Suppose -z + 451 = 5*c. Is c a multiple of 23?
False
Let g(v) = 27*v**2 - 25*v - 5. Let b(t) = 2*t + 1 - 5*t**2 - 2*t**2 + 4*t. Let p(y) = -9*b(y) - 2*g(y). Does 24 divide p(-3)?
False
Let d = 2 - -5. Suppose -3*c + 1 = -2. Let q = d - c. Does 2 divide q?
True
Let p(o) = -o**3 - 2*o**2 + 2*o + 1. Let l be p(-3). Suppose l = -2*v, -2*a + 9 = -4*v - 7. Does 2 divide a?
True
Let h = 100 - 57. Suppose 0 = -5*z + h + 112. Is z a multiple of 15?
False
Let z be -2 + -6*(-8)/12. Suppose -f = z*f - 93. Does 21 divide f?
False
Let z(y) = -y**3 - 17*y**2 - 56*y - 44. Is 8 a factor of z(-14)?
True
Let x(z) be the first derivative of -3*z**2 - 6*z + 25. Does 21 divide x(-15)?
True
Suppose -28 = -4*z - 4*q + 84, 2*q = -3*z + 81. Suppose -5*m - z = 3*i, i - 4*m - 20 = -i. Let u(n) = -n + 38. Is u(i) a multiple of 13?
False
Let b be 2/10 + 180/(-25) + -2. Let u(y) = 2*y**2 + 2*y - 13. Is u(b) a multiple of 38?
False
Suppose 7*j + 5 = 6*j, -3*r + 5*j = -511. Does 27 divide r?
True
Let s(w) = -2*w. Let d(l) = -3*l + 1. Let y be d(1). Let t be s(y). Is -4*t/(-16) + 3 a multiple of 4?
True
Let l(p) = -p**2 + 5*p + 6. Let y be l(5). Let m(v) = 8*v - 5. Let g(b) = -7*b + 5. Let j(h) = -4*g(h) - 3*m(h). Is j(y) a multiple of 5?
False
Let p(y) = y**3 - 12*y**2 + 13*y - 2. Let r be p(11). Let j be (-5 - -1)/(r - 18). Is (3 + -2)*(29 - j) a multiple of 8?
False
Let g(n) = n + 30. Let y be g(-6). Suppose 50 = -2*h + 4*h - 5*x, -2*x - y = -h. Does 10 divide h?
True
Suppose 4*u + 530 = 3*s, 136 = 2*s - 5*u - 208. Is s a multiple of 7?
True
Suppose -5*f + 4*g + 11 = 0, 0 = 8*f - 3*f + 4*g + 21. Is (-1)/(f*(-1)/(-27)) a multiple of 9?
True
Let l = -256 - -526. Is l a multiple of 27?
True
Let o be (-1 + 4)*(-48)/(-36). Is 11 a factor of (o + -4)/(-4) - -132?
True
Let y = 196 + 2429. Is y a multiple of 21?
True
Suppose -4046 - 1152 = -23*b. Is b a multiple of 11?
False
Does 19 divide ((-44)/33)/(1/(-15))?
False
Let n(c) = -3*c**3 + 5*c**2 + 7*c + 11. Does 2 divide n(-3)?
True
Let u be ((-7)/3 - -3)*-3. Let x = u + 19. Is 2 a factor of x?
False
Suppose -2*x + 6 = -0*x. Suppose 3*d + 24 = x*f + 2*f, -5*f = 5*d. Does 13 divide d + 4/((-4)/(-47))?
False
Let d(z) = 5*z**2 + 14*z - 65. Let j(m) = 2*m**2 + 5*m - 22. Let o(h) = -3*d(h) + 8*j(h). Is 19 a factor of o(0)?
True
Let p = 35 - 30. Suppose p*y - 163 = 2*d - 3*d, -5*d - 3*y = -837. Is d a multiple of 42?
True
Let x(n) = n**2 + 2*n + 1. Let r be x(0). Is r/(-2)*(-2 - -2) - -72 a multiple of 12?
True
Suppose 2*d = 5*d - 33. Suppose 1 = -5*f - q + 3, -5*f - 4*q = -8. Let m = d - f. Is m a multiple of 3?
False
Suppose 3*a + 46*r - 1285 = 48*r, 5*r = a - 424. Does 38 divide a?
False
Let m be 33/3 + (-2)/1. Let t be (-5 - (-6)/2) + m. Is 4*(t/2 + -1) a multiple of 8?
False
Suppose -4*u - 12 = -2*k, -5*u + 4*k = -10*u + 11. Suppose -3*c + 1 = -2*g + 6, 2*g - 20 = -2*c. Is (27 - g) + -3 + u a multiple of 4?
True
Suppose b - 4 = -b. Suppose -3*x + b*x = -10. Does 8 divide (32/x)/((-4)/(-10))?
True
Suppose g - 66 = -5*l, -4*g - 8*l = -3*l - 339. Suppose 2*j - g = -61. Is 3 a factor of j?
True
Let k = -100 + 84. Let i = -9 - k. Does 3 divide i?
False
Suppose 9*i - 14 = 31. Suppose i*y + 8*f = 3*f + 775, -771 = -5*y - f. Is y a multiple of 22?
True
Suppose -3*n = 2*i - 69, n = 5*i + 2*n - 179. Does 12 divide i?
True
Let l = 9 - 10. Let o be 12*(l - (0 + -4)). Let t = o - -34. Does 21 divide t?
False
Suppose -4*o + 3 = -5. Suppose -2*h - 9 + 67 = -4*n, 0 = o*h + 3*n - 86. Is h a multiple of 14?
False
Let l be (1 - 2) + (-660)/6. Is 25 a factor of 2 + -3 - (l + -1)?
False
Suppose -17*a - 4*a = -15540. Is a a multiple of 37?
True
Suppose 2*x - 6*x = -16. Is 32 a factor of x/((-1)/(365/(-10)))?
False
Let z be 3/5 - (-1135)/25. Let h = -211 - -309. Let b = h - z. Is b a multiple of 13?
True
Let t(n) = n**3 + 9*n**2 - 2*n + 2. Suppose 7*c + 0*c + 28 = 0. Does 18 divide t(c)?
True
Let q = -22 - -17. Let w = 49 - q. Is 9 a factor of w?
True
Suppose 0 = 4*g - 4*u - 1344, -16*g + 674 = -14*g - 3*u. Does 22 divide g?
False
Suppose 5*r = 95 + 30. Suppose -z - r = -6*z. Let t(f) = 5*f + 7. Is 9 a factor of t(z)?
False
Suppose -2 = -3*s + 4. Suppose -v + j = 2193, -2*j - s*j + 6574 = -3*v. Is 9 a factor of v/(-49) + (-1)/(-7)?
True
Let n = 1055 - 131. Does 14 divide n?
True
Let g = 15 - 13. Suppose -g = -t - t. Does 20 divide 78*t/(-6)*-4?
False
Let d(g) = -g**3 - 10*g**2 - 15*g - 43. Let p be d(-10). Let c = p + 38. Is c a multiple of 29?
True
Let m(k) be the second derivative of 23*k**4/6 + k**3/3 - 3*k**2 - 40*k. Is m(2) a multiple of 13?
True
Suppose 43 = 3*v - 41. Suppose 0 = -2*i - t + 12, 3*i - v = -4*t - 10. Is i + -8 + (35 - -1) a multiple of 17?
True
Suppose -d + 5*j = 11, -j - j + 6 = 0. Suppose -o - 244 = -5*u, -249 = -5*u - 0*o - d*o. Is u a multiple of 6?
False
Is 10 a factor of (2988/(-30))/(11/(55/(-2)))?
False
Suppose -5*h + 9 = 4. Suppose -d + 1 = -h. Suppose d*p - 99 = p. Does 33 divide p?
True
Let u be (-21)/(-14)*(1 - -1). Let c(g) = -9 - 3*g**3 + 7*g**2 - 3*g**u + 5*g**3 + 5*g. Is c(6) a mu