 j(p) = -4*m(p) + 9*t(p). Is 16 a factor of j(-28)?
True
Suppose 981 = 8*b + 237. Let f = b + -83. Suppose 0 = 9*a - f*a + 3. Is 3 a factor of a?
True
Suppose -4*y - 16 = -4. Let d be (-399)/(-2) + (0 - y/6). Suppose z - d = -4*z. Does 13 divide z?
False
Let r be ((-22)/(-44))/((-1)/(-2)). Let q be -28*((-185)/10)/r. Is 18 a factor of (-10)/(-45) - q/(-18)?
False
Suppose -248 = 2*v + 3*h, 2*h - 31 + 157 = -v. Let y = v - -120. Suppose 439 = y*p + 55. Does 32 divide p?
True
Let t(w) = w**2 + 34*w + 333. Let f = 570 - 597. Is 9 a factor of t(f)?
True
Suppose -4*x = -5*v + 4068, -2*v + 5*x = -2071 + 454. Suppose v = 3*k + 14*k. Does 8 divide k?
True
Suppose 0 = 5*o - t + 5, 5*o + t + 11 = 2*o. Is 42 a factor of 14*o/((-16)/356)?
False
Suppose 189383 - 272014 - 235375 = -39*u. Is 151 a factor of u?
True
Is 16 a factor of (-373408)/(-35) - (0 - 8/(-10))?
False
Let b be (-2875)/23 - (1 + 2). Let l = b - -206. Does 64 divide l?
False
Let j(y) = -7 - 16*y - 25*y + 28*y + 6*y**2. Is j(-6) a multiple of 41?
True
Let q = -1064 - -1949. Suppose -5*x = -x - 2*r - 3500, -x + 3*r + q = 0. Is x a multiple of 21?
False
Let h(s) = s**2 + 15*s + 18096. Let a be h(0). Suppose 11*k = -18*k + a. Is 46 a factor of k?
False
Let t = -132 + 222. Let r = 443 - t. Let n = -220 + r. Is n a multiple of 19?
True
Let g(x) = 4*x**3 - 2*x**2 + 3*x - 2. Let f be g(1). Suppose -3*o = f, -4*k - 4*o = -3*k - 1163. Is k a multiple of 74?
False
Let u(g) = g**2 - 2. Let l be u(2). Is 5*((2 - (l + -15)) + 3) a multiple of 5?
True
Suppose 0 = -3*t + 9, 11*j - 60483 = 7*j - t. Does 15 divide j?
True
Let g = 1468 - -5946. Is g a multiple of 79?
False
Let h = -51 + 59. Suppose h*n - 217 - 471 = 0. Suppose -6*i + n = 2. Is i a multiple of 2?
True
Suppose -4*a - 5481 + 15529 = 0. Does 26 divide a?
False
Let o(u) be the first derivative of -u**2 + 112*u + 2. Is 10 a factor of o(-16)?
False
Suppose -2*u + 19145 = 4*a - 21923, 3*a - 4*u = 30812. Is 46 a factor of a?
False
Suppose 146*m - 143*m = 4*w + 1270, 2*m - 856 = -2*w. Is m a multiple of 6?
True
Suppose 0*m + 2*m + 600 = 6*m. Is m a multiple of 6?
True
Is 38 a factor of -38*(60/(-12) + -12)/(1/23)?
True
Let p(v) = v**2 + 11*v. Let g be p(-11). Suppose -2*m - 3*o - 125 = 0, g = -4*m - m + o - 270. Let h = -37 - m. Is h even?
True
Let x(w) = 29*w. Let c be x(3). Let k = 93 - c. Does 35 divide k/14 - 8279/(-119)?
True
Let t be (-1)/(-2) - (-1127)/46. Let n = -5 + 3. Does 4 divide n/(-10) - (-95)/t?
True
Suppose r - l - 249 - 144 = 0, 5*l = -25. Let w = r + -356. Is 32 a factor of w?
True
Suppose -88 = -82*l + 74*l. Suppose 14*j = l*j + 303. Is j a multiple of 66?
False
Let t = 5810 + -1512. Does 7 divide t?
True
Suppose 4*b - 14*f = 42410, -19379 = -4*b - 5*f + 23126. Does 181 divide b?
False
Let b(d) be the first derivative of 1/4*d**4 - 1 - 4*d**3 + 7*d**2 - 9*d. Is b(11) a multiple of 24?
True
Let n(h) = -h**2 - 11*h + 226. Let w be n(-21). Is 31 a factor of -4*(-8)/w*62?
True
Let v = -159 - -96. Let s be (42/(-9))/(14/v). Is 204 - (-1 - s/(-15))*-5 a multiple of 16?
False
Let o(j) = -3*j - 7. Let x be o(-3). Does 12 divide (x/(-4))/(((-30)/(-1032))/(-5))?
False
Suppose 18*d + 66031 = 181285. Is 19 a factor of d?
True
Does 24 divide -1*(-14 + (-3 - 989))?
False
Suppose -b + 5*b + 676 = 4*d, -4*d + 346 = -2*b. Let r = -20 - b. Is r a multiple of 5?
True
Let c(h) = 528*h**3 - 3*h - 2. Let v be c(-1). Let y = v + 1044. Is 7 a factor of y?
False
Suppose -4*c - c - 3*v + 4135 = 0, -v = -2*c + 1654. Let f = c + -413. Is f a multiple of 46?
True
Let x(j) be the second derivative of j**4 - 2*j**3/3 - 7*j**2/2 - j. Let a = -527 - -532. Is x(a) a multiple of 13?
True
Let v(j) be the first derivative of 2*j**3/3 + j**2/2 - 12*j - 17. Suppose 0 = 2*h - 8*h - 30. Is 3 a factor of v(h)?
True
Let t be (-5 - (-115)/20)/((-1)/(-8)). Let l be (8 + 13)*(-4)/(-6). Suppose l*v - t*v = 208. Is 26 a factor of v?
True
Suppose -3*l + l = -5*m - 28, 2*m = -4*l + 32. Suppose -5*i - l = 4*x, -x + 0*x - 5*i - 6 = 0. Is 41 a factor of ((-10)/6 - x)*(-194 + -7)?
False
Suppose 0 = 10*q + 78 - 18. Is 21 a factor of (15 + -12)*(-460)/q?
False
Let s = 83 + -77. Suppose -1653 = s*b - 11*b - 3*w, -b - 2*w + 332 = 0. Does 33 divide b?
True
Let n = -9346 - -17829. Is n a multiple of 17?
True
Suppose -233 + 56 = 3*c. Let r = c + 1. Let z = r + 78. Is z a multiple of 3?
False
Let n(a) = -a**2 - 4*a + 195. Let q be n(-16). Suppose -q*m + 315 = 5*d, 315 = 6*d - d - 2*m. Is d a multiple of 21?
True
Let w(v) = -6*v**3 + 43*v**2 + 519*v - 56. Is w(-17) a multiple of 14?
True
Suppose -288*n + 279*n - 18 = 0. Is 96 - n - (-50)/25 a multiple of 5?
True
Let u(v) = 4*v**2 - 9*v + 41. Is 62 a factor of u(-47)?
True
Let r be 65 - (3 - (4 - 1)). Let a = r - 41. Is ((-483)/63)/((-1)/a) a multiple of 17?
False
Is 24 a factor of ((-34136)/10)/(-2) - (759/55 - 14)?
False
Let a be (-2 + 1)*-2 - 30/(-1). Let f = 4 + a. Let c = f - 12. Is 14 a factor of c?
False
Let p = -268 - -271. Suppose -189 = -i - 5*f + 21, 5*i = p*f + 966. Is 6 a factor of i?
False
Let x(g) = 1905*g - 77. Does 16 divide x(3)?
False
Suppose 5*n - 41415 + 1393 = b, 3*b + 24018 = 3*n. Suppose 34*h + 12*h = n. Is h a multiple of 3?
True
Is 312/(-72) - (-3)/9 - -15594 a multiple of 10?
True
Suppose -2 = -352*k + 350*k. Is 2 a factor of (k - 2)*1*(-83 - 0)?
False
Let t(a) = 3*a**3 + 3*a**2 + 15. Let u be t(4). Is 10 a factor of u*1 - (0 + -5)?
True
Suppose 4*s - 4*q + 4 = 0, 5*q - 10 = -s + 1. Suppose -3*f + 6 = 0, -4*t + 3 = -5*f + s. Is 9 a factor of (39 + 0)/(t - 2)?
False
Let l(t) = -6*t - 34. Let z = 110 - 137. Let v be l(z). Does 28 divide 122 + (v/40 - 1/5)?
False
Suppose -2*s - 80 = -7*s. Suppose -s = -f + 5*c, -4*f = -0*c + 2*c - 20. Suppose 4*a = f*a - 52. Is 17 a factor of a?
False
Let b = 3293 - 543. Does 10 divide b?
True
Let q(m) = -9*m**2 + 286*m + 17. Is q(23) a multiple of 18?
False
Suppose -120870 = -39*p - 33237. Does 7 divide p?
True
Let h(s) = -s**3 - 25*s**2 - 11*s + 30. Let y be h(-24). Let k = y - -469. Does 17 divide k?
True
Let j(l) = l**3 + 12*l**2 + 23*l + 25. Let u be j(-10). Is 15 a factor of -349*(u + 3 + 1)?
False
Suppose 0 = -3*f + 3*t + 32739, -f + 3*t = 1898 - 12825. Is f a multiple of 19?
True
Let r(a) = -a**3 - 4*a**2 + 7*a + 7. Let h = 12 + -17. Let o be r(h). Does 17 divide 1/(o/(-5))*51?
True
Is ((-244)/(-8))/(9/24*(-2)/(-60)) a multiple of 20?
True
Let k(s) = -28*s + 14. Let x(l) = 14*l - 7. Let g(n) = 3*k(n) + 5*x(n). Does 7 divide g(-7)?
True
Let p(w) be the first derivative of 9*w**2 - 11*w + 94. Is 23 a factor of p(7)?
True
Suppose 360*w = 350*w + 72310. Is 21 a factor of w?
False
Suppose 8*i + 90 = 2*i. Let g be 5*((-42)/i)/7. Suppose 103 = 3*p - l, 35 = p + g*l - 11. Is p a multiple of 9?
True
Suppose -4*l + 36 = 5*l. Let j(k) = 9*k**2 - 2*k + 2. Let w be j(1). Suppose w*a - 112 = -4*f + 6*a, l*f - 112 = -5*a. Is 3 a factor of f?
False
Let k be (22/(-11))/(2*1/(-14)). Let p = k + 3. Is (3 + p)*(-2)/((-16)/86) a multiple of 44?
False
Let b(t) = 41*t + 5. Let g(p) = 19*p + 153. Let u be g(-8). Is b(u) a multiple of 21?
False
Suppose 10*t - 12*t - 9490 = -2*a, 2*a = -2*t + 9470. Does 16 divide a?
False
Let n(y) = 21*y**2 + 14*y + 19. Let i(f) = 7*f**2 + 5*f + 6. Let k(z) = -17*i(z) + 6*n(z). Is 24 a factor of k(4)?
True
Let f(r) = r**3 + 13*r**2 + 12*r + 2. Suppose -60 = -44*x + 49*x. Let y be f(x). Suppose 0 = y*k + d - 80 - 103, k + d - 93 = 0. Is 30 a factor of k?
True
Let f(i) = i**3 + 20*i**2 - 18*i + 9. Let n be f(-21). Let w be ((-2)/3)/(267/n + 5). Does 45 divide (-18)/(-15)*(-2440)/w?
False
Let y = 114 - 114. Suppose 116*s - 111*s - 1410 = y. Is s a multiple of 62?
False
Let m = 1971 - -579. Is 3 a factor of m?
True
Suppose -i = -4 - 2. Does 14 divide (28/7)/(i/1137)?
False
Let c(p) = -p**2 - 5*p - 3. Let y be c(-4). Let m be y - 5 - (-4)/2. Does 16 divide -205*(-3)/(-15)*m?
False
Let z be 314/(-6) - 6/(-54)*3. Let w = z + 120. Suppose -2*x = -o - 44, -2*x = 5*o - w - 0. Is x a multiple of 12?
True
Suppose 0 = -2*x - 4*p + 8, 3*x = -p - 3*p + 2. Is (-2 - 2438/x) + 2/3 a multiple of 5?
True
Suppose -150*i + 922848 = -327252. Is i a multiple of 33?
False
Let i = -279 - -285. Does 10 divide ((-12)/2)/i*-116?
False
Let d be (-14)/(-5)*65/(-26). Let t(a) = -6*a**2 + 9*a + 16. Le