**2 - 3*g + 46. Let x be 45*(-26)/(-65)*2/4. Does 46 divide v(x)?
False
Suppose 2*f - 37*z - 946 = -35*z, 3*z + 467 = f. Is 2 a factor of f?
True
Is 41 a factor of 1388/3*2052/144 - -8?
True
Let x be (-5 - -6)/(2/20). Suppose 5*k = 0, 0*w = 2*w + 5*k - x. Is w/(-2)*(-168)/15 a multiple of 7?
True
Let b = 24 - -16. Let q be (339/7 + (-4)/(-7))*1. Suppose q = a - b. Does 11 divide a?
False
Let b(m) = -39*m**2 + 2*m - 3. Let s be b(1). Let j = s + 43. Suppose -j*l - 264 = -11*l. Is l a multiple of 3?
True
Let i(u) = -u**3 + 21*u**2 + 7*u - 48. Is 14 a factor of i(16)?
True
Let x(k) = -k**2 - 14*k - 9. Let h be x(-10). Suppose 0 = 30*w - h*w + 30. Suppose 0 = 2*g - 3*g + w. Is 15 a factor of g?
True
Suppose 2*n = 608*d - 603*d - 20697, -8278 = -2*d + n. Is 41 a factor of d?
True
Is 45 a factor of 2/6 + (-4)/12 + (-1238251)/(-161)?
False
Is (12/(-21) - (17 + -18)) + (-24695)/(-35) a multiple of 24?
False
Suppose 1026946 = 112*c - 202142. Is 62 a factor of c?
True
Let s(g) = 3*g - g - g**3 + 5*g**2 - 5 - 5. Let w be s(5). Is 10 a factor of w - (-3)/((-6)/(-190))?
False
Let n(h) = 2*h**3 + 13*h**2 - 21*h + 25. Let p be n(-13). Let m = p + 2946. Does 14 divide m?
False
Let f(s) = -5*s**3 + 3*s + 14*s**2 - 7*s + 4*s**3 + 9 + 5*s. Let q be f(11). Suppose -4*z + 7*z - q = -5*t, -t + 539 = 4*z. Is 31 a factor of z?
False
Suppose 0 = -h + 4*g - 26 - 20, 5*h + 208 = -2*g. Let w be (-24)/(h/(-16) - 3). Suppose -3*j = 2*q - 71 - w, -3*q = -j - 175. Is q a multiple of 12?
True
Does 2 divide 3 - (0 - 26385/15)?
True
Let l(p) be the first derivative of -29 + 8/3*p**3 + 6*p + 1/4*p**4 + 3/2*p**2. Is 7 a factor of l(-6)?
False
Suppose -199 = -4*i - j, j = i - 42 - 14. Suppose -a = 2*a - 111. Let k = i - a. Does 4 divide k?
False
Let x(p) = p**3 - 5*p**2 - 23*p - 6. Let q be x(8). Is 3 a factor of ((-18)/12)/(2/(-28)) - q?
False
Suppose 2473344 = 47*p - 441952 - 496528. Is 13 a factor of p?
True
Suppose 2*v = 5*z - 4470, -3*z + 3*v - 7*v + 2708 = 0. Let j = z + -347. Does 61 divide j?
True
Suppose -110 = -k + 81. Let d = k + -50. Suppose w - d = -a, -2*a - 3*a = w - 141. Is w a multiple of 17?
False
Let a(z) = -2*z - 11 + 1 - 7 - 1 - 2*z. Is a(-31) a multiple of 20?
False
Let h(v) = -7*v + 5*v + v + 5 + 14. Let w be h(-5). Suppose 2*f - 58 = w. Is f a multiple of 17?
False
Let l = -983 + -254. Let p = 2473 + l. Does 17 divide p?
False
Let r(b) = 2*b**3 - 49*b**2 - 75*b + 351. Is r(31) a multiple of 67?
True
Let h(k) = -k**2 + 7*k + 4. Let v be h(7). Let f(l) be the second derivative of -l**5/20 + 7*l**4/12 - 5*l**3/6 - 4*l**2 + 518*l. Is 11 a factor of f(v)?
False
Let w = -8268 + 9748. Is w a multiple of 20?
True
Let c(i) = 80*i**2 - 542*i - 2185. Does 19 divide c(-4)?
False
Let t be (-64)/(1*(-5)/10). Suppose -t = 19*k - 793. Is k a multiple of 8?
False
Is 39 a factor of -111159*20/(-60) + -3?
True
Let v be 1/(-7) - (-9582)/42*1. Suppose 3*b - 436 = -4*j, -4*b = -2*j - 3*b + v. Does 8 divide j?
True
Is -187 - -7097 - (0 + -15) a multiple of 277?
True
Let g be -4 - ((-6)/(-2) - (9 + 1)). Suppose -g*x + 5*m - m + 560 = 0, 4*x + 2*m - 710 = 0. Does 9 divide x?
True
Let z(q) = -5159*q - 13322. Does 76 divide z(-6)?
True
Let i = -3557 + 5213. Is 23 a factor of i?
True
Let r be (-28)/(-15) + 2/15. Suppose 33 = -p - r*p. Let v = p - -59. Does 8 divide v?
True
Let g(j) = 50*j - 2. Let y be g(1). Let i be (-1)/(((-35)/120)/7). Let u = y + i. Does 12 divide u?
True
Suppose 83*o - 84*o = -43. Let t = 22 - 18. Suppose -t = 4*n, 2*s + n = -o + 288. Is s a multiple of 41?
True
Let u(v) = -143*v + 810. Does 78 divide u(-16)?
False
Let l(o) = -o**2 - 8*o - 8. Let c be l(-6). Let h(z) = 3*z + 38. Let y(v) = 2*v - 6. Let g(t) = h(t) + 5*y(t). Is g(c) a multiple of 12?
True
Let l(h) = -4 - 6*h**3 + 13*h + 10*h**2 + 2*h**3 + 5*h**3 + 11. Does 4 divide l(-8)?
False
Suppose 4*u + 3*m - 10 = 0, 0 = -16*u + 15*u + 2*m - 3. Is 4 a factor of 4*(u + 0) - 9700/(-97)?
True
Suppose 0 = 112*n - 109*n - 3. Let f(d) = d**2 - 4*d + 2. Let g be f(n). Does 7 divide g/((8/(-364))/2)?
True
Let b be (-2)/6 + 80/24. Suppose 3*y - 39 = -5*s - 0*y, b*s - 21 = -y. Let t(w) = w**3 - 4*w**2 - 8*w + 3. Does 6 divide t(s)?
False
Let k(y) = -19*y + 91. Suppose 0*t - 43 = 5*t + 2*i, -3*t - 5*i - 41 = 0. Is k(t) a multiple of 7?
True
Let v = 23 - 22. Suppose 0 = 2*k + 2*g + v + 5, 0 = 5*k - 3*g - 9. Let n(r) = r**2 + 2*r + 54. Is 18 a factor of n(k)?
True
Does 51 divide (-6)/(-24)*324*952/24?
True
Let n = 12462 + -1646. Is 32 a factor of n?
True
Suppose 23 = 11*g + 1. Let r(m) = 19*m**2 - m**3 - m - 23*m**g - 5 + m**2. Does 5 divide r(-4)?
True
Does 10 divide 3 + -4 - (1 + (-30610 - 4 - -2))?
True
Let s(w) = 30*w**3 - 7*w**2 + 57*w + 6. Let d be s(5). Suppose 14*l - d = 1174. Is l a multiple of 40?
True
Let w(b) = -11*b**2 - b + 100. Let a(m) = -4*m**2 + 33. Let f(u) = -8*a(u) + 3*w(u). Let v = 1434 + -1434. Is f(v) a multiple of 6?
True
Let n = 3771 + -2241. Is n a multiple of 45?
True
Let m = 3013 - 1761. Suppose -2*y + 2499 = -4*k + k, 4*k = y - m. Is y a multiple of 16?
True
Let y(j) = 22*j**3 - 3*j**2 + 21*j - 6. Is y(3) a multiple of 39?
True
Is (-91956)/(-28) - -1 - (-4 - (-116)/28) a multiple of 15?
True
Suppose -3*s + 4443 = -2*w + 875, -s + 5*w + 1211 = 0. Is s a multiple of 7?
False
Suppose 5*r - 40*r + 683850 = 15*r. Is r a multiple of 47?
True
Let t(s) = 5*s**2 + s + 16. Let v(q) = q + 15. Let o be v(-7). Is 19 a factor of t(o)?
False
Let h = 251 - 247. Suppose -884 = -h*d - 156. Is 7 a factor of d?
True
Is 208 a factor of (-1)/13 + -140609*(-2)/26?
True
Let w be (-7)/(21/8)*(-62 + -4). Suppose 2*d = -9*d + w. Does 2 divide d?
True
Let i(g) = -11 + 0*g - g - 6 + 2*g. Let c be i(8). Is (-2 + (-21)/c)*111 a multiple of 18?
False
Suppose -9158392 + 1655994 = -254*u. Does 13 divide u?
False
Let s(h) = -h**2 + 23*h - 3. Let r be s(7). Suppose 0 = 5*f + r - 859. Does 15 divide f?
True
Suppose 0 = -3*d + 3*h + 2*h + 124, 2*d = -h + 87. Suppose d*f - 10 = 48*f. Is 13 a factor of f/6*-3 - (-25 + 0)?
True
Let d = -103954 + 156915. Does 18 divide d?
False
Suppose -9280 = 8*u - 28*u. Let d = 934 - u. Is d a multiple of 19?
False
Let s(x) = x**2 - 2*x. Let m be s(-3). Suppose 0 = 5*c - 5*i - m, 3*i - 2*i = -c + 1. Is 1/c - (-550)/4 a multiple of 38?
False
Suppose j = 2*y + 298, 2*j - 4*j - 3*y = -582. Let b = -228 + j. Is 6 a factor of b?
True
Suppose -2*b = -1 - 3. Let l be (b - -2)*(-3 + 0). Let t(d) = -2*d - 17. Is t(l) a multiple of 7?
True
Let g = 88556 - 54848. Is g a multiple of 212?
True
Suppose 130 = -10*j - 0*j. Let g(l) = -l**3 - 13*l**2 - 9*l - 13. Does 52 divide g(j)?
True
Let z(a) be the first derivative of -a**5/20 + 13*a**4/12 - 5*a**3/6 + 14*a**2 - 15*a + 25. Let v(x) be the first derivative of z(x). Is 12 a factor of v(12)?
False
Is 27 a factor of (-8167250)/(-800) + 6/(-96)?
False
Let m = -44 + 110. Is (-3 - -3 - 27)/((-9)/m) a multiple of 18?
True
Suppose -4*d = b - 6871, 2*b + 4*d - 7355 - 6399 = 0. Is 72 a factor of b?
False
Suppose -8 = -6*f + 5*f. Suppose 2 = -7*q + f*q. Suppose 10 = 5*z, 2*a + 3*z + q*z - 192 = 0. Is a a multiple of 17?
False
Suppose 5*b = 33676 - 11731. Does 57 divide b?
True
Let g = 22 + -50. Let o = g - 2. Let m = o - -75. Is m a multiple of 9?
True
Let f(x) = -2*x**2 + 12*x - 112. Let j be f(8). Does 22 divide 13088/18 + 12 + 1744/j?
False
Let u = -11880 + 20228. Does 5 divide u?
False
Suppose 26*s = 12*s + 98. Suppose 1739 = s*d + 437. Is 16 a factor of d?
False
Let x(w) = -10*w - 1. Let z be x(2). Let t = z - -21. Is 20 a factor of t + -3 + -249*3/(-9)?
True
Suppose 228*z + 60 = 218*z. Let w(u) = 7*u**3 + 6*u**2 - 36*u - 28. Let l(p) = -4*p**3 - 3*p**2 + 18*p + 14. Let j(q) = -5*l(q) - 3*w(q). Is 7 a factor of j(z)?
True
Suppose 181 = -f + 5*c, 5*f + 22*c = 23*c - 1001. Let d = 862 + f. Is 13 a factor of d?
False
Suppose 5*r - 2*v - 617 = 0, 7*v + 495 = 4*r + 4*v. Let t(m) = -21*m**2 - 2*m - 1. Let f be t(-2). Let y = f + r. Does 6 divide y?
True
Let a be -1 + -5 + (-13 - -12)*-11. Suppose -2*j = a*s - 3023, 5*s - 12*j - 3011 = -11*j. Is s a multiple of 66?
False
Suppose 40 = 3*b - 2*b + 3*k, 55 = 2*b + k. Suppose 655 = b*w - 2370. Is w a multiple of 17?
False
Let u = -24127 + 53839. Is u a multiple of 280?
False
Let q be (-48)/36 + (-1384)/(-3). Let n = q + -2