 3*g - 4*z - 19 = 0. Suppose -g*w + 35 = -p, w - 5*w + p + 28 = 0. Let r(n) = -n**2 + 11*n - 5. Is r(w) a multiple of 5?
False
Suppose -7*d + 16*d - 27 = 0. Suppose m - 2*t - 216 = 0, 0*m + 663 = d*m - t. Does 27 divide m?
False
Let j(r) = 0 + 13*r + 2 - 4. Let y be j(1). Suppose -q - y + 43 = 0. Is 16 a factor of q?
True
Let l(f) = 0 + 2 - f + 0 + 0. Let t be l(4). Is 14 a factor of t/1 + 6 - -60?
False
Let l(n) be the first derivative of 2 + n**2 + 4/3*n**3 - 2*n. Is l(3) a multiple of 10?
True
Let a(f) = 224*f**2 - 9*f + 2. Is 55 a factor of a(2)?
True
Let r = -839 + 1211. Is r a multiple of 4?
True
Does 87 divide (-1333155)/(-671) - (-4)/22?
False
Let h = 309 - 246. Does 2 divide h?
False
Let l = 24 + -24. Suppose l*m = -5*m + 485. Is 1/(-8) - m/(-8) a multiple of 12?
True
Let i(b) = -115*b**3 - 2*b - 1. Let h be i(-1). Does 29 divide (h/(-8))/(4/(-72))?
True
Let y be (-5)/(100/(-8))*5. Let d be (-56)/6*(-3)/y. Suppose -a + 0*a = -d. Is 5 a factor of a?
False
Suppose 4*f - 13 = -1. Suppose 89 + 103 = f*n. Let g = n + -28. Does 18 divide g?
True
Let l(p) = p**3 - 2*p + 1. Let g be l(-2). Is (g/(-2))/((-6)/(-580)) a multiple of 31?
False
Suppose -3*g - 5*b = -19, -g - 3*g - b + 14 = 0. Suppose -g*a + 8 = -a. Does 27 divide -4 + -2 + a - -56?
True
Let w be (2 - (-3 + 8 + -3)) + 84. Let x be (-5 - -3) + (-8)/(-2). Suppose g = x*g - w. Does 17 divide g?
False
Let p be (-25)/(-15) - (-1)/3. Suppose -3*b + 2*g + 73 = 0, b + g - p*g = 26. Suppose b = 2*u - 9. Is u a multiple of 5?
True
Suppose -k - k + 4 = 0. Is ((-110)/(-4))/(1/k) a multiple of 11?
True
Does 7 divide (-110)/44*((-96)/10)/2?
False
Let x = 61 + -99. Is 31 a factor of 4*(3 - x/8)?
True
Let z(c) = -6*c - 14. Let i be z(-4). Is (-7 + i)/(2/20) a multiple of 6?
True
Let m be 12 - (-5 + 2) - 2. Let v = -11 + m. Suppose -v*g + 5 = -g, 4*u - 87 = g. Is u a multiple of 16?
False
Let q be (-48)/18*(-6)/4. Let b be (3/q)/(3/12). Let h(w) = 5*w**3 - 7*w**2 - w + 4. Does 20 divide h(b)?
False
Let a(g) be the first derivative of -11*g**2 - 8*g - 2. Does 18 divide a(-4)?
False
Let h = -5826 - -8714. Does 4 divide (2/(-4))/((-19)/h)?
True
Let z = 28 - 25. Let g be (5 + -8)/(z/(-2)). Suppose -35 = -g*a + 3. Does 8 divide a?
False
Suppose 4*l + 4*c + 48 = 0, -4*l + 5*c + 0 = 3. Let b(f) = f**3 + 6*f**2 - 6*f - 1. Let t be b(l). Is 16 a factor of t/((1 + -2)/4)?
True
Let o = 490 - 410. Is o a multiple of 20?
True
Let p(x) = x**2 + x + 1. Let h(q) = -2*q**2 - 7*q + 8. Let z be h(-4). Is 2 a factor of p(z)?
False
Let t be (-11)/(-5) + 4/5. Is 5 a factor of -7 + 7 - (-13 - (t + -1))?
True
Let p = 21 - -1347. Is 24 a factor of p?
True
Let f(p) = -p**3 + 5*p**2 - 5*p + 9. Let k be f(4). Suppose 3*s + 10 = -2*s, k*s + 435 = 5*a. Is 10 a factor of a?
False
Does 14 divide 4685*((-2)/5)/(-2)?
False
Let s = 3 - 5. Let l(n) = 3*n**3 - 4*n**2 + 4*n - 2. Let m(u) = -4*u**3 + 6*u**2 - 6*u + 3. Let h(f) = 7*l(f) + 5*m(f). Is 3 a factor of h(s)?
False
Let w be 0/(-2) - 5/(-1). Suppose s = -w*p + 4*s + 620, p - 4*s - 107 = 0. Is p a multiple of 22?
False
Let n = 46 + -44. Suppose -183 = -n*y - 2*y - r, -3*y = -4*r - 123. Is 31 a factor of y?
False
Let w(c) = 2*c + 19. Let i be w(-11). Let f(n) = -n**3 + 3*n - 2. Does 8 divide f(i)?
True
Let f = 13 - 8. Suppose 0 = 2*r - 2*m - 48, -2*m = r - f*m - 30. Does 10 divide r?
False
Suppose 150*d - 4200 = 143*d. Is d a multiple of 50?
True
Let q be (-156)/24 + (-1)/(-2). Let t = q - -8. Suppose -2*g - 172 = -6*g - 4*i, 0 = -g + t*i + 52. Does 18 divide g?
False
Let m be 1 - (-14)/(-18) - (-27828)/162. Suppose -3*c + 0*c - 4*b + m = 0, 4*c + 3*b - 227 = 0. Is 9 a factor of c?
False
Let t(r) = 47*r**2 + 2*r. Let q be t(-1). Let s = q + -27. Is s a multiple of 3?
True
Let p(o) = o**3 + 9*o**2 + 9*o + 10. Let l be p(-8). Let t(i) = -4*i + l*i - 3 - 2 - 1. Does 8 divide t(-7)?
True
Let p(c) = -c**3 + 27*c**2 - 73*c - 32. Is 72 a factor of p(23)?
False
Is (-9)/(-2)*1568/48 a multiple of 39?
False
Let a = 225 + -180. Is a a multiple of 45?
True
Let j = 396 + -48. Is j a multiple of 38?
False
Let y(b) = b - 3. Let a be y(2). Let q(d) = 78*d**2 + 2*d + 2. Is q(a) a multiple of 20?
False
Is (-8 - 301/(-35))*(3276 - 1) a multiple of 88?
False
Let w be 4266/5 - (-3)/(-15). Suppose -4*j + 47 = -w. Is j a multiple of 15?
True
Let n(w) = -14*w - 1. Suppose 4*l - 10 = -3*i + 2, -5*i - 5*l = -20. Suppose 0 = 5*t - 4*h + 36, -5*t = -4*t - i*h + 20. Does 18 divide n(t)?
False
Is 11 a factor of -1*(-539 - -10) - -6?
False
Let u(i) = 7*i - 8. Let x be u(4). Suppose -j + 2*j = x. Does 5 divide j?
True
Let c(r) = r**2 + 10*r + 5. Let w be c(-9). Is 8*(-3 - (-8 - w)) a multiple of 8?
True
Suppose l + 2*l - 2*o - 1339 = 0, -1782 = -4*l + 2*o. Does 24 divide l?
False
Let q = 116 - -187. Does 53 divide q?
False
Let w = -49 + 64. Suppose 0 = w*v - 259 - 116. Is 11 a factor of v?
False
Suppose -3*u - 3*l - 300 = -4*u, l - 900 = -3*u. Is u a multiple of 30?
True
Let h(d) be the third derivative of 1/120*d**6 + 3/20*d**5 + 1/2*d**3 + 0*d + 2*d**2 + 0 + 1/6*d**4. Is h(-7) a multiple of 21?
False
Suppose -15*r - 2*r = -12818. Is r a multiple of 17?
False
Let f be 41/(-1 + (-6)/(-4)). Suppose -2*y + 46 = 4*r, y - f = -3*y - 3*r. Let k = y + -6. Does 11 divide k?
False
Let i(n) = 2*n**2 + 6*n + 2. Let x be i(-6). Let u = x + -41. Is 13 a factor of u - (4 + -4) - -36?
False
Is ((-8)/6)/4 + 4864/12 a multiple of 9?
True
Let r = 9 + -6. Suppose 4*g - 248 = -4*m, -r*m = -4*m - 3*g + 64. Is m a multiple of 11?
False
Let v(j) = 13*j**2 + j + 30. Is v(-5) a multiple of 14?
True
Suppose -4*j + 132 = -4*p - 528, 0 = -3*j - 5*p + 455. Suppose 0 + j = 5*h. Is 12 a factor of h?
False
Suppose -c - 1 = 3, -4*l - 3*c = -428. Does 11 divide l?
True
Let d(w) = -w - 21. Let q be d(-13). Let r(a) be the first derivative of -a**3/3 - 9*a**2/2 + 8*a - 2. Is 16 a factor of r(q)?
True
Let f be -1*(-5 + 4) + -41. Let h = f + 58. Does 6 divide h?
True
Let i(h) = -h**3 + 6*h**2 + 8*h - 1. Suppose -g + 7 = -0. Is i(g) a multiple of 3?
True
Suppose -31*s + 14*s = -7480. Does 4 divide s?
True
Let x(z) = 40*z**2 + 43*z + 217. Is 28 a factor of x(-7)?
True
Let z = -640 - -1641. Does 28 divide z?
False
Suppose -2*y = -3*y - 328. Let k be (-4)/14 - y/(-28). Is (-4)/3*90/k a multiple of 6?
False
Let u(d) = 4 + 11 + 3 + 16*d + d**2. Let z be u(-15). Suppose 38 - 8 = z*q. Is q even?
True
Is (-8)/(13 - 11) - (0 + -29) even?
False
Suppose -5*z + 9*z = 12. Let a be 32/(3/z)*1. Let j = -4 + a. Is j a multiple of 7?
True
Is (-2)/((-12)/7227) - (-6)/4 a multiple of 37?
False
Let j(v) = -4*v**2 - 2*v - 3. Let d(p) = p**2 + p - 3*p**2 + p**2. Let f(h) = -5*d(h) + j(h). Does 9 divide f(10)?
True
Is 14 a factor of (15 - 21) + 145*4?
True
Let v(r) = r**2 + 3*r - 1. Let o be v(4). Suppose -2*w + 5*w = o. Does 9 divide (-6)/w - 56/(-3)?
True
Let w(h) be the second derivative of 7*h**6/360 - 7*h**5/120 - h**4/24 + h**3/6 - 12*h. Let l(j) be the second derivative of w(j). Is l(3) a multiple of 21?
False
Suppose -2*c + 5*p = 24, 8*c + 2*p = 13*c + 18. Is 35 a factor of (-1256)/(-12) + c/(-6)?
True
Let m(j) be the second derivative of 1/12*j**4 + 0*j**3 + j - 3/2*j**2 + 0. Does 11 divide m(-6)?
True
Let l be (-2)/(-10) + 328/(-40). Let y = -6 - l. Suppose z - 3*v + y = 0, 5*v - 32 = -z - 2. Does 4 divide z?
False
Suppose -10*m + 1 - 41 = 0. Is (m - (98 - -2))*-1 a multiple of 13?
True
Let o = 44 + -56. Is 3/18 + (-1222)/o a multiple of 17?
True
Let d(m) = 7*m**2 + 3*m + 2. Let r be d(3). Let x = -32 + r. Is x a multiple of 8?
False
Suppose 5*h = -0*h - 15. Let b = h + 21. Is 6 a factor of b?
True
Let h(s) = s**3 + 5*s**2 + 6*s + 4. Let i(q) = 4*q. Let m be i(-1). Let o be h(m). Does 7 divide o/26 - 2040/(-78)?
False
Suppose -5*h - 16 = 3*g + 67, 0 = 4*h + 5*g + 69. Let a = 21 + h. Suppose a*c - 96 = -1. Is c a multiple of 6?
False
Let u be (-24)/180 - 152/(-15). Suppose 4*p + 42 = -u. Let d = -1 - p. Is 12 a factor of d?
True
Suppose 59*h - 42840 = 49200. Is h a multiple of 13?
True
Suppose -9*x = -6*x - 111. Let h = 73 - x. Suppose h = -2*z + 110. Is 19 a factor of z?
False
Is 23 a factor of 8 - (-24)/(-4) - 1148/(-1)?
True
Let r = 24 + -21. Suppose 0 = 3*h + 2*b + 7, r*b - 7 = 5*h + 11. Let f = 8 + h. Is 3 a factor of f?
False
Suppose 0 = z - k - 2, 0*k 