2 divide ((-558)/(-27))/(-2*(-4)/144)?
True
Let c(k) = 4*k**2 + 6*k - 14. Is 14 a factor of c(-7)?
True
Let q(x) = -192*x + 571. Does 17 divide q(-10)?
False
Let y = 9 + -19. Does 23 divide 18/(-30) + -2*443/y?
False
Suppose -5*r - 10 = -5*u, 2*r - 15 = -5*u + 2. Suppose u*p - 627 + 15 = 0. Let i = p - 138. Is 22 a factor of i?
True
Suppose -4 = -0*m - m. Suppose 0 = -o - u + 64, 5*u - 202 = o - m*o. Does 16 divide o?
False
Suppose 0 = -19*n + 17*n. Suppose n = -7*k - 11 - 3. Does 8 divide (156/91)/(k/(-56))?
True
Let m(g) = -g**3 - 36*g**2 + 67*g - 42. Is m(-38) a multiple of 25?
True
Suppose 4*x = 4, 149 = 2*k - x - 66. Let v = k + -13. Does 19 divide v?
True
Let z = 412 + -340. Is 3 a factor of z?
True
Let l(d) be the third derivative of d**6/30 + d**5/60 - d**4/8 - d**3/2 + 8*d**2. Is l(3) a multiple of 21?
True
Suppose 3*o = 5*f - 6360, -4*f - o = o - 5110. Is f a multiple of 51?
True
Let u(v) = 17*v**2 - 28*v + 6. Does 30 divide u(-7)?
False
Let f(r) = 94*r + 112. Is 54 a factor of f(8)?
True
Let h(z) = -z**3 + 2*z**2 - 3*z. Let g(s) = s**3 + 1. Let w(t) = 2*g(t) + h(t). Let x be w(-3). Is 1717/68 - x/8 a multiple of 5?
True
Let b be (4/3)/((-4)/(-6)). Suppose -b*g + 7 + 3 = 0. Is g a multiple of 3?
False
Let o(j) be the third derivative of -j**4/8 + j**3 + 25*j**2. Is 4 a factor of o(-6)?
True
Let a(p) = p**2 - 10*p + 144. Is a(10) a multiple of 16?
True
Let z(h) = -h**3 + 37*h**2 + 44*h - 62. Is z(38) a multiple of 8?
False
Suppose -5*h - 3*v + 171 = 0, -6*h + 3*h - v = -101. Let d = 175 + -82. Suppose 0 = -5*p + d - h. Does 6 divide p?
True
Suppose 0 = 5*o + 2*n - 2635 - 2271, -4*o + 3936 = -4*n. Is o a multiple of 15?
False
Let i be ((-62)/4)/(1/(-2)). Suppose 9*w + 0 - 81 = 0. Suppose -d + i - w = 0. Is d a multiple of 5?
False
Let x be -1 - (6 + -3 + 4). Let a be x/(-8) + 19*1. Is 22 a factor of (-1*a)/((-9)/27)?
False
Suppose 0 = m + 3*m + 92. Let r be (-7)/((-210)/(-48))*-20. Let w = m + r. Is w even?
False
Let k(s) = s**3 - 29*s**2 - s + 44. Let x be k(29). Let v(m) = m**2 - 8*m + 12. Let p(g) = g**2 - 9*g + 11. Let q(b) = 5*p(b) - 4*v(b). Is 20 a factor of q(x)?
False
Suppose -2*v + 33 = 3*p, 0 = -3*v - 2*p + 3*p + 66. Let k = v - -4. Let w = 45 + k. Is 19 a factor of w?
False
Suppose -155*l + 164*l - 13104 = 0. Is 56 a factor of l?
True
Suppose 0 = 3*b - 2*k - 7 - 19, 30 = 4*b - 5*k. Is 130/4 + (-5)/b a multiple of 7?
False
Suppose -144 = -4*i + 16*i. Let w(u) = u**2 + 9*u - 14. Is w(i) a multiple of 9?
False
Suppose 20 = q + 1. Suppose -s = -q + 4. Suppose 0 = 16*f - s*f - 33. Is f a multiple of 11?
True
Let b(p) = p**2 + 10*p + 9. Let h be b(-9). Let c be 2 + h - 0/(-3). Suppose y - c*d - 7 = 0, 0 = -2*y + 2*d + 13 + 9. Does 15 divide y?
True
Suppose -16*f + 5815 + 5241 = 0. Is f a multiple of 5?
False
Suppose -2*z + 48 = 48. Suppose 5*s + 314 = 3*o, -2*o + o + 4*s + 100 = z. Does 12 divide o?
True
Let c(z) = -3*z**3 + 2*z**2 - z + 2. Let t be c(-3). Suppose 6*s - 5*s = t. Let n = s + -42. Does 18 divide n?
False
Let q(n) = 6*n - 1. Suppose 2 = 3*a + 2*l - 7, -5*l = -3*a - 12. Let c be q(a). Suppose -d + c = -9. Is 6 a factor of d?
False
Suppose -2*s - 4*b = -176, -4*s - 92 = -3*b - 488. Is s a multiple of 4?
True
Suppose w + s = 951, 33*s - 35*s + 10 = 0. Does 88 divide w?
False
Let s(z) = 4*z + 5. Let l(w) be the first derivative of -w**2/2 - 5*w - 4. Let v be l(-8). Does 17 divide s(v)?
True
Suppose 0 = -5*k + 2*k + 5*h + 7, k = h + 3. Suppose 0*l - 5 = -2*v + 5*l, -4*l = -v + k. Suppose -2*o + 238 = 4*r, -2*r - r - o + 181 = v. Does 31 divide r?
True
Suppose 3*r = 6*r - 1356. Suppose 4*k = 92 + r. Does 8 divide k?
True
Suppose 4*b - 11 - 29 = 0. Let v = b - 7. Suppose 2*y = v*a - 190, 0*y = 3*a + 5*y - 155. Does 18 divide a?
False
Let z be (2/5)/(1/5). Suppose -750 = -z*x - 3*x. Suppose 0 = 5*u - 4*q - x, 2*q = -0*u - 2*u + 60. Does 15 divide u?
True
Let f(t) = -1352*t**3 + t**2 - 20*t - 19. Is 35 a factor of f(-1)?
False
Let r(l) = 12*l**2 + 2*l + 1. Let o(n) = 3*n**3 - 2*n - 2. Let d be o(-2). Let t = 21 + d. Is 11 a factor of r(t)?
True
Let f(j) = -8*j**3 - 5*j - 9. Is 39 a factor of f(-3)?
False
Suppose v = -4*v + 2*h, 23 = 4*v + 3*h. Suppose -4*r + 11 - 100 = -3*w, -64 = -v*w - 2*r. Is 4 a factor of w?
False
Let s = 5052 - 3396. Is s a multiple of 69?
True
Let r = 7 + -3. Suppose 1 = 2*m + 5*s, -4*m - r*s + 3 + 5 = 0. Suppose m*t + t - 324 = 0. Is t a multiple of 17?
False
Suppose 5*j = 4*j + 22. Suppose -2*h + 14 = 6. Does 18 divide h/j + 700/22?
False
Let a = 0 + 15. Suppose -c + 4*c = -a, c = 5*p. Is 14 a factor of -30*p/(6/14)?
True
Let t = -2 + 17. Suppose 10*g - t*g = -120. Let w = 30 - g. Does 2 divide w?
True
Suppose -3*f - r = -0*f - 348, -3*r - 336 = -3*f. Suppose -5*x + f = -185. Does 12 divide x?
True
Let m(h) = h**3 + 24*h**2 - 31*h - 37. Is 3 a factor of m(-25)?
False
Let m(j) = 5*j + 5. Let z be m(-8). Let g be (49/z)/((-2)/10). Suppose 4*c = 2*d - 4, -20 = -d - 3*c + g. Does 8 divide d?
False
Suppose 2*o + 5*o - 21 = 0. Suppose 6*p - 2*n - 253 = o*p, -443 = -5*p - 2*n. Does 18 divide p?
False
Suppose -x - 3*o = -13, -2*x + 4*o + 62 = o. Suppose -4*s - 8 = 0, 8*g - 3*g + 54 = 3*s. Let i = g + x. Is 8 a factor of i?
False
Let s(d) = 38*d**2 + 22*d - 56. Is 14 a factor of s(9)?
True
Suppose -5*p + 2*k + 110 = 0, 4*k + 0*k = 3*p - 80. Does 27 divide (1014/(-104))/((-1)/p)?
False
Let n(m) = 20*m**2 + m + 2. Let j be n(-1). Suppose -7*g = -j - 266. Is g a multiple of 5?
False
Let w = 125 - -1180. Does 15 divide w?
True
Let f be (7 + 0)*(-60)/(-20). Suppose h = -5*m - 0*m - 33, h = -m - f. Let x = 101 + h. Is 13 a factor of x?
False
Let k = 1182 + -327. Is 9 a factor of k?
True
Let v(f) = -11*f - 8 - 7*f**2 - f**3 - 5*f**2 + f**2. Let l be v(-10). Suppose 42 - 138 = -l*u. Is 8 a factor of u?
True
Suppose -85 = -5*f - 5*y, 5*f - 2*y - 2*y - 85 = 0. Suppose -6*o = -f - 109. Is o a multiple of 10?
False
Let o(g) = -112*g + 131. Is 47 a factor of o(-11)?
True
Suppose -2*z - p = -1196 - 1343, 4*z = -3*p + 5077. Is 10 a factor of z?
True
Let l(d) = -2*d**3 + 26*d**2 + 32*d + 37. Is 25 a factor of l(14)?
False
Suppose -2*r = -60 - 36. Is 17 a factor of r?
False
Suppose 5*v - a + 3696 = 0, -a + 2216 = -3*v - 0*v. Is 37 a factor of (60/(-50))/(1/(v/6))?
True
Suppose -10*u + 27 + 113 = 0. Suppose 19*o - 1080 = u*o. Is 36 a factor of o?
True
Suppose -2*b - 7 = -137. Does 4 divide b/9 - (10/(-9))/(-5)?
False
Let o be 0 + ((-36)/3)/(-3). Suppose 0 = o*z - 0*r - 2*r - 88, 0 = z - 3*r - 32. Is 4 a factor of z?
True
Let z(t) = 3*t. Let i be z(1). Let n(c) = c**2 - 1. Let a be n(i). Suppose -68 = -10*m + a*m. Is 17 a factor of m?
True
Let b(a) = 9*a**3 + 41*a**2 - 18*a - 17. Let k(n) = -14*n**3 - 62*n**2 + 27*n + 25. Let q(g) = 8*b(g) + 5*k(g). Is q(-9) a multiple of 14?
True
Is (-932)/(-4) - (2 - 9) a multiple of 3?
True
Suppose -2*r + 1472 = 3*u, -4*r - 1448 = 51*u - 54*u. Is 13 a factor of u?
False
Suppose 0*q - 6*q + 12 = 0. Suppose -q*t - 16 = -0. Let m(w) = -3*w + 13. Does 15 divide m(t)?
False
Let d be 130/14 + 4/(-14). Suppose d*g = 7*g + 64. Is g a multiple of 8?
True
Let t = 4972 - 2273. Suppose -10*c + 421 + t = 0. Is c a multiple of 12?
True
Let d(n) = n**3 + 9*n**2 + 3*n + 12. Suppose -2*o - 6 = -4*x, 0 = -4*o + o + 4*x - 15. Let m be d(o). Is 3 a factor of (-70)/m + 8/(-12)?
False
Let j = 100 - 242. Let q = j + 96. Let o = q + 82. Does 11 divide o?
False
Suppose 52 - 162 = -11*u. Let p(l) = -l**3 + 13*l**2 - 25*l + 8. Is p(u) a multiple of 20?
False
Suppose 0 = -4*u + 16, 3*z - u = 2254 - 383. Is 25 a factor of z?
True
Let t be 2448/(-33) - 4/(-22). Let g(h) = -h**3 + 15*h**2 - 8*h + 26. Let p be g(14). Let u = p + t. Is u a multiple of 16?
False
Is (-304)/(-20)*5 - (-21)/3 a multiple of 83?
True
Let g = 322 - -158. Suppose 0 = -2*o + i + 3*i + g, -4*i = -16. Is o a multiple of 14?
False
Let a(g) = g + 40 + 4*g - 2*g**2 - 4*g + 114. Is 22 a factor of a(0)?
True
Let a be (6 - (3 - 1)) + -234 + 1. Let o = a - -541. Is o a multiple of 26?
True
Let y(t) = 10*t**3 + 76*t**2 - 28*t + 14. Let c(q) = 7*q**3 + 51*q**2 - 19*q + 9. Let v(s) = -7*c(s) + 5*y(s). Is 40 a factor of v(-23)?
False
Let d = 35 - 33. Suppose 3*k + d*n - 153 = 0, 0*k - 5*n - 34 = -k. Is k a multiple of 17?
False
Suppose -30 = 24*g - 27*g. Let