**3 + 2*c. Let u(a) = r(a) + 3*x(a). Is 2 a factor of u(-19)?
False
Let k be (-572)/(-132) + -1 + 5/3. Is k/(-2)*1638/(-315) a multiple of 13?
True
Let f(r) = r**3 - 32*r**2 + 226*r - 7. Is f(6) a multiple of 44?
False
Does 64 divide 4/10*(-145105)/(-2)?
False
Let q(z) be the first derivative of 2*z**3 + z**2 + 11*z - 36. Let r(v) = -v**2 + v. Let u(b) = q(b) + 3*r(b). Is 2 a factor of u(-2)?
False
Suppose -695 = 5*v - 1925. Let q = v + -214. Is q a multiple of 32?
True
Suppose 810 = 4*p - 142. Suppose -327 = -5*b + p. Suppose 6*m - 25 = b. Is m a multiple of 4?
False
Let q = 55 + -143. Let a = q + 99. Suppose -a*l - 3*l + 896 = 0. Does 8 divide l?
True
Let q(h) = 10*h**3 + 13*h**2 - 2*h + 5. Let k(t) = -11*t**3 - 16*t**2 + 3*t - 5. Let o(j) = -4*k(j) - 5*q(j). Is o(-3) a multiple of 7?
True
Let j(r) = 17*r**2 - 12*r - 89. Let c be j(-11). Suppose 2*m = 0, 27*m - 22*m = -5*x + c. Is 35 a factor of x?
True
Let w(u) = -4*u**3 + 5*u**2 - 7*u - 7. Let f be w(-6). Let i = f - 559. Is i a multiple of 20?
True
Suppose -3*s + w = -101, 0 = -s + 2*w - 0*w + 42. Let z(t) = 4*t + 50. Let p be z(-12). Suppose p - s = -3*b. Is b a multiple of 2?
True
Let h = 9631 - 4693. Is 50 a factor of h?
False
Let j(b) = b**3 + 2*b**2 - 2*b. Let o be j(-3). Is 53 a factor of 19/7 + o - (-54456)/84?
False
Suppose -3*p + 8568 = 5*y, -2*p + 1362 - 4802 = -2*y. Is 4 a factor of y?
True
Let b(f) = 3*f + 26. Let z = -3 - 5. Let i be b(z). Suppose -3*j - o = -19, -2 - 4 = -i*j - 2*o. Is j a multiple of 5?
False
Let s = -1215 - -6888. Is 3 a factor of s?
True
Is 38 a factor of ((-62)/713 + 64231/(-92))/((-4)/32)?
True
Let q(j) = -j**3 - 6*j**2 + 14*j - 4. Let l be q(-7). Let m = l + 56. Suppose y - 4*c = -3*y + 484, -y + 117 = m*c. Is 20 a factor of y?
True
Suppose 5*t - 1548 = -308. Let l = t + -66. Does 13 divide l?
True
Suppose 101*o - 40 = 106*o. Is 66 a factor of 484*((-4)/16 + (-20)/o)?
False
Suppose 55232 = -148*r - 10*r + 157932. Does 10 divide r?
True
Let u be (-12 + -1)/(6 + -7). Suppose -u*q = -16*q - 6. Is 395/6 + (22/(-12) - q) a multiple of 15?
False
Let k(l) = 293 - 10*l**3 - 2*l - 5*l**2 - 585 + 294. Let w be k(-2). Suppose -w = -142*n + 139*n. Is n a multiple of 22?
True
Suppose 0 = 7*t + 88 - 123. Suppose -4*d + 7*d - 6 = 0. Suppose -5*h + 375 = d*a - 0*a, 3*a - t*h = 525. Does 12 divide a?
True
Let f(i) = -4304*i - 332. Is f(-9) a multiple of 170?
False
Let y(g) = -312*g**3 - 2*g**2 + 56*g + 61. Does 125 divide y(-4)?
False
Let t(d) = -1029*d - 414. Is 73 a factor of t(-7)?
True
Let i = 2 - -479. Is 234 a factor of i?
False
Let w(n) = n**3 + 34*n**2 - 375*n - 97. Does 5 divide w(-29)?
False
Let q = 925 + 1592. Is 8 a factor of q?
False
Suppose 0 = 5*o, -5475 = -5*h - 693*o + 698*o. Is 32 a factor of h?
False
Let a(w) = -510*w**3 - 3*w**2 + 2*w + 2. Let c be a(2). Let h = -5762 - c. Is h/(-22) + 10/(-55) a multiple of 12?
False
Let y = 16449 + -6640. Is y a multiple of 4?
False
Let b(s) = 3*s**2 - 4*s + 2. Let o be b(2). Let m be o/4*(-20)/(-3). Is ((-1)/(8/m))/((-1)/44) a multiple of 32?
False
Suppose -31*x - x = -3*x - 88595. Is x a multiple of 53?
False
Let p be (30/6)/(2 - 1). Suppose 0 = p*z + 3*z - 3*z. Suppose z = -4*q + 9*q - 25. Does 3 divide q?
False
Let c be (-58266)/(-10) + (165/(-25) - -7). Suppose 2588 = 33*o - c. Is o a multiple of 23?
False
Let z = 65 + -62. Suppose -4*g - 162 = -2*b, -z*b + 21 = 2*g + 106. Is -1*(1 + g + 4) a multiple of 6?
True
Let z be (-6)/(-8)*(4 - 6)*-16. Is 43 a factor of (-21)/(-168) - (-5157)/z?
True
Suppose 825 = 21*c - 603. Suppose c*s - 2968 = 64*s. Does 14 divide s?
True
Let i(d) = -d**3 - d**2 + 7*d + 9. Let g be i(-12). Suppose 14*j - g = 4931. Is j a multiple of 24?
False
Is (((-1)/(-3))/(4/(-6)))/(344/(-4846272)) a multiple of 48?
False
Let l(n) = -46*n - 13. Suppose 9*a - 6*a + 5 = -2*x, -2*x = a + 3. Does 3 divide l(a)?
True
Suppose -7*x + 109 = 95. Suppose -4*u + 5*a - 12 = 0, 0 = -4*u - 5*a + 16 + 12. Is ((126/(-1))/x)/((-1)/u) a multiple of 18?
True
Let x(l) = 6*l - 12. Let j(f) = 0 - 1 + 17*f - 16*f. Let c(u) = -3*j(u) + x(u). Is 3 a factor of c(6)?
True
Let g = 119 - -252. Suppose 13*i - 2151 = g. Is i a multiple of 6?
False
Let t(h) = -2*h**2 - 19*h + 17. Let b be t(-9). Let k be 1200/b + 14/(-91). Let z = k + -26. Does 10 divide z?
True
Let m(i) = i**3 - 3*i**2 + 2392. Is 8 a factor of m(0)?
True
Let t(g) = -1781*g**3 + 46*g + 101. Is t(-2) a multiple of 138?
False
Let a(q) = 390*q - 2372. Does 10 divide a(17)?
False
Let o = 18 - 11. Suppose -o*n - 22 = -162. Suppose n = -4*m + 212. Is 24 a factor of m?
True
Let w(i) = -52*i - 43*i**3 - 3 + 95*i - 48*i - i**2 - 208*i**3 - 111*i**3. Does 11 divide w(-1)?
True
Suppose -5*z = -3*l + 113, 2*l - 3*z = l + 39. Suppose x - l + 15 = 0. Let q = x + -14. Is 6 a factor of q?
False
Suppose -415*c + 410*c - 4*r = -37692, 2*c - 15078 = -r. Is 65 a factor of c?
True
Let y(z) = 25*z - 2. Let l be y(-1). Let t = l + 32. Suppose t + 19 = 3*a. Is a a multiple of 4?
True
Let v be ((-32)/(-5))/(7/105). Suppose -14*r = -861 + 21. Let y = v - r. Is y a multiple of 8?
False
Let d(y) be the second derivative of y**3/2 + 17*y**2/2 - 12*y. Let r be d(3). Suppose -116 + r = -3*m. Is m a multiple of 7?
False
Suppose -3*a + 9 = 0, g + 153 - 9527 = 4*a. Suppose 0 = 27*t - t - g. Is t a multiple of 9?
False
Suppose 226 = 2*s - 2*g, 3*s + 0*g - 364 = -2*g. Let u = 447 - s. Does 10 divide u?
False
Suppose 0 = -18072*h + 18088*h - 3952. Does 24 divide h?
False
Is (-12448)/(-3)*2898/1288 a multiple of 24?
True
Let a(c) = -c**3 + 31*c**2 + 2*c - 50. Let y be a(31). Suppose -3*m = 16*j - y*j - 1228, -5*m = j - 307. Does 5 divide j?
False
Let b = -78 + 84. Suppose 0 = -10*g + b*g + 864. Is 18 a factor of g?
True
Let c be -22 - -6 - (-4 - 1). Let b(h) = 9*h**2 + 2*h + 0*h**3 + 3*h**2 + h**3 + 9. Is b(c) a multiple of 12?
True
Suppose 48*c = 102202 + 70132 + 116914. Is 25 a factor of c?
False
Let n(p) = -9*p - 42. Let s be n(-5). Suppose -6*b + s*b = -9. Suppose -7*g = -2*q - 3*g + 204, b*q = -g + 285. Is q a multiple of 14?
False
Suppose 74*y - 75*y - 3*r + 5325 = 0, y + 4*r - 5322 = 0. Does 51 divide y?
False
Suppose -4*v = 5*l - 10940, 0 = -4*l + 2*v + 3091 + 5635. Is 84 a factor of l?
True
Suppose -5*s - 103 + 76 = -r, 0 = -4*r + 2*s + 18. Let u = -1 - -4. Suppose -5*p = r*k - 165, 4*p - 99 = p + u*k. Is 13 a factor of p?
False
Let v(z) be the second derivative of -z**3/3 - 4*z**2 + 5*z. Let c be v(-2). Does 13 divide c/((-8)/162) - (2 - -1)?
True
Let d(j) = 2*j**2 + 54*j - 3. Let c be d(-27). Does 3 divide 44 + c + (-3 - -7)?
True
Suppose 3*p + 5*r = 4, 0 = -3*p - r + 11 + 9. Suppose 519 = p*i - 521. Does 13 divide i?
True
Let w(x) = -32*x - 880. Does 26 divide w(-36)?
False
Let r(v) be the first derivative of 11 + 3*v**2 + 2/3*v**3 + 11*v. Does 17 divide r(-8)?
False
Suppose 0 = -2*h - 4*q + 9316, 3*h - 63*q = -66*q + 13980. Does 42 divide h?
True
Let a = -2543 - -4239. Is 14 a factor of a?
False
Is -15*24/36 - (-4 + -1334) a multiple of 5?
False
Does 90 divide (3731 - -121)*(-5)/(-6)*3?
True
Suppose 0 = 2*h + h + h. Suppose -2*c + 3*d + 241 = h, -275 = -4*c - 5*d + 152. Is c a multiple of 66?
False
Let g = 22045 + -20382. Is 6 a factor of g?
False
Suppose 7*l = -5*l + 420. Does 2 divide 5 + l/(-10)*-22?
True
Let j(p) = -p**3 - 37*p**2 + 33*p - 4. Let z be j(-38). Suppose -5*q + 830 = 175. Let d = z - q. Is d a multiple of 8?
False
Let d be (-6)/(-15) + (-48)/(-5). Suppose g + 81 = -d. Let b = g - -208. Does 13 divide b?
True
Let r(h) be the second derivative of -h**7/420 - h**5/40 + 5*h**4/12 - 11*h**3/2 - 11*h. Let q(p) be the second derivative of r(p). Is 15 a factor of q(-5)?
False
Let w = 492 + -984. Let f = -237 - w. Let h = f - 129. Is 42 a factor of h?
True
Let g(x) = 12*x + 10. Let n be g(-3). Is 5 a factor of n/91 - (-219)/7?
False
Let b = 2783 + 1327. Suppose 5*k + 16*q = 14*q + b, -k - 2*q = -814. Is k a multiple of 46?
False
Suppose 7*u = 110 + 345. Let f = -52 + u. Suppose -93 = -8*p - f. Is 2 a factor of p?
True
Suppose -3*t - 5*d + 70 = -t, 2*t - 5*d - 90 = 0. Suppose -t*f - 364 = -44*f. Suppose 2*c - f = -i - 2*c, 0 = 5*c + 10. Is i a multiple of 25?
False
Suppose -408*t + 23598 = -390*t. Does 69 divide t?
True
Let k(y) = -5*y**2 - 13*y - 2. Let r(v) = 6*v**2 + 13