-3 - -4)/((-1)/2). Does 52 divide ((k - -1) + 46)*(-228)/(-18)?
False
Let i(f) = -10*f**2 - 183*f + 100. Is i(-8) a multiple of 11?
True
Let v(h) = -h**3 + 39*h**2 - 65*h - 877. Is v(36) a multiple of 40?
False
Suppose h = -5, -4*i + 4*h - 5795 = -9*i. Is i a multiple of 49?
False
Let j(q) = -61*q + 1852. Does 144 divide j(28)?
True
Let d(o) = 2*o**2 - 194*o + 85. Is d(-39) a multiple of 35?
False
Suppose -5*z + u + 310 = 0, 5*u = 3*z - 2*z - 86. Let m = 29 - z. Is (-4)/(-2*(-4)/m) a multiple of 3?
False
Is 346626/(-524)*(-3 + 1) even?
False
Let u(s) = -9914*s**3 + 2*s**2 + 36*s + 35. Does 20 divide u(-1)?
False
Let l = 1445 - -255. Suppose -2*j + 0*j - 2*c + l = 0, -3*j + 2566 = -5*c. Let q = j - 593. Is 13 a factor of q?
False
Suppose -672465 - 601045 = -70*v. Is v a multiple of 12?
False
Let o(f) = 29 + 6*f - 25*f + 15*f**2 + 9*f**2 + 0*f + f**3 + f**2. Is o(-25) a multiple of 42?
True
Suppose x = 3*n + 323, 2*x + 5*n = 10*n + 641. Is 44 a factor of x?
True
Suppose -4*s - 4*k = -12370 - 13362, 0 = -4*s - 3*k + 25731. Is s a multiple of 11?
False
Is 119 a factor of 5/((-30)/(-17046)) - -15?
True
Let z = 23 - 18. Suppose 5 = -5*n, -h - 3*h - z*n = -11. Suppose 4*u - 34 = 2*a, h*a - 28 = u - 5*u. Is u a multiple of 2?
True
Suppose 0 = -3*k + 4*n + 14 - 43, -4*k - 4*n - 76 = 0. Let y = 201 + k. Is y a multiple of 6?
True
Let g be ((-3)/(-4))/((-12)/(-16)). Let y be (g + -2)/(2*(-1)/4). Suppose -9*i = y*i - 814. Does 4 divide i?
False
Suppose 4*x - 3*p = -87, -p = 11*x - 9*x + 31. Is 9 a factor of x/30 - (-8211)/35?
True
Let r(p) = 15*p**3 - 18*p - 14. Is 50 a factor of r(8)?
False
Does 48 divide 6/9*(-83 - -3899)?
True
Suppose f + 0*f - 690 = 0. Suppose 4*w - f = -154. Suppose -142 = -3*p + w. Is 23 a factor of p?
True
Let d(i) = -i**3 - 13*i**2 + 22*i + 71. Suppose -41*g = -36*g - 4*k + 97, -57 = 3*g - 2*k. Is 51 a factor of d(g)?
False
Let g(r) = 39*r**3 - 15*r**2 + 65*r - 1. Does 7 divide g(3)?
False
Let w(t) be the third derivative of t**5/60 - 5*t**4/6 - 13*t**3/6 + 29*t**2 - t. Is 2 a factor of w(22)?
False
Suppose 0 = -4*n - 2*j + 3754, -44*n + 40*n = -5*j - 3789. Let d = n - 528. Is 62 a factor of d?
False
Let f(p) = 2*p**3 + 2*p**2 + 7*p + 16. Let o be f(-4). Let y = o - -134. Is y a multiple of 13?
True
Let s(d) = d**3 + 11*d**2 - d - 11. Let b be s(-11). Let r be ((-2 - b) + 3)*0. Suppose r = 5*t - 0 - 70. Is 7 a factor of t?
True
Let c = -456 - -783. Does 28 divide c?
False
Is 167 a factor of 5506 - (1/((-1)/(-10)) + (-162 - -156))?
False
Let o(h) = -148*h + 144. Does 23 divide o(-4)?
True
Suppose 0 = -4*w + k + 18902 + 56509, -4*k = -4. Does 17 divide w?
True
Suppose 5*x - 4*j - 15482 - 5257 = 0, 2*x - 8290 = 3*j. Is 105 a factor of x?
False
Does 9 divide (6/8)/((-18)/(-216))*27?
True
Suppose -54*w = -56*w. Suppose 1127 + 50 = 2*u + j, 4*j + 20 = w. Does 71 divide u?
False
Let y(p) = 9*p**2 + 59*p + 406. Does 173 divide y(-19)?
False
Suppose -11394 = -684*w + 666*w. Does 3 divide w?
True
Let i = -56 + 59. Suppose 0*h + i*h - 9 = 0. Suppose w = -2*m + 297, h*m - 5*w - 573 = -m. Is 39 a factor of m?
False
Let a(k) = -125*k**2 + 4*k + 5. Let i be a(-1). Let m = -52 - i. Is 36 a factor of m?
True
Let i(v) = -820*v + 16318. Does 5 divide i(7)?
False
Let r(i) = 40*i**2 + 16*i + 5. Let b be r(-4). Suppose -11*j + 475 + b = 0. Is 2 a factor of j?
True
Let t be ((-90)/(-120))/(-2 - 2277/(-1140)). Let k = -220 - t. Is k a multiple of 13?
True
Let h = 20250 - 55. Is 18 a factor of h?
False
Let a(m) = -m**3 - 6*m**2 + 15*m + 28. Let b be a(-8). Suppose b*r + 1620 = 42*r. Is r a multiple of 27?
True
Let w be (-1)/(-4 - (-4 + -1))*-2708. Suppose -w = -39*x + 4312. Is 17 a factor of x?
False
Let a = -1 - -4. Suppose f - 88 = z + 4*z, 3*f - 188 = -4*z. Suppose t - f = -a*t. Is t a multiple of 6?
False
Let o be 26 + -1 + 30/12*-2. Suppose o*m - 896 = 864. Is m a multiple of 22?
True
Let x(l) = 2*l**3 - 15*l**2 + 7*l - 8. Let v be x(7). Let s be -2 + 2 + (-5 - v). Is 5 a factor of (-90)/(3*((-10)/(-4) - s))?
True
Let s = 126 - 84. Suppose -s*w + 38*w - 624 = 0. Does 17 divide -1 + -3 - (-1 + w)?
True
Let r(t) = 5497*t**2 + 510*t - 21. Is r(3) a multiple of 87?
True
Let m = -5102 - -15107. Is 145 a factor of m?
True
Suppose -w - 342 = -20*w. Suppose w = t - 22. Is 5 a factor of t?
True
Let c(x) = -2*x**2 - 31*x + 88. Let g be c(-18). Does 10 divide (96/(-5))/(g/50)?
True
Let l = -724 - -1528. Suppose 5*x - 4*t - l = 1709, -2*x + 2*t + 1006 = 0. Is x/4 + (-40)/32 a multiple of 22?
False
Is 80 a factor of (1905/254)/(6/21376)?
True
Let r(u) = -2*u**3 + 2*u**2 + 4*u + 16694. Does 8 divide r(0)?
False
Suppose -5*i = -3*w - 17010, 28*i = 23*i - 2*w + 17035. Does 27 divide i?
False
Let s = 199 - 461. Is 12 a factor of (-5 - 2) + 4 - s?
False
Let g = -4083 + 6815. Is g a multiple of 12?
False
Suppose 0 = 3*x - 12 - 24. Let d(b) = -b**2 + 19*b - 14. Let i be d(x). Let f = i + 2. Is 24 a factor of f?
True
Let v(u) = 790*u**3 + 13*u**2 - 48*u + 42. Is v(2) a multiple of 100?
False
Is 1*-7 - (-20)/((-340)/(-10013)) a multiple of 7?
False
Suppose 2*g - 4*q - 12595 = -5*q, -4*g - 3*q = -25185. Is g a multiple of 25?
True
Let l(v) = -5 - 12 - 11 + 0 - 72*v. Is l(-3) a multiple of 10?
False
Let y = 6278 - 4456. Is y a multiple of 15?
False
Let f be (-33)/44*-4 + 8/(-2). Does 16 divide (-4)/(534/1056*-2 - f)?
True
Suppose -4*a = -3*x - 3, x + 6*a - 3*a = -1. Is (-3 - 1405/20)/(x/4) a multiple of 35?
False
Let x = -53 - -241. Suppose -11*d + 13*d - x = 0. Does 13 divide d?
False
Let z = -16 + 34. Let n = z + 222. Is n a multiple of 10?
True
Let a(q) = -3*q**2 + 5*q - 4. Let p be a(1). Let r be p/(-4) + (30/12 - 4). Is 12 a factor of 72*(2/12 - r/2)?
True
Let a be ((-12)/(-9))/(8/(-36)). Is 292*(-21)/a*1 a multiple of 73?
True
Let m(f) = 3*f + 5. Let b be m(6). Suppose 20*s - 9 = b*s. Is 11 a factor of ((-12)/s)/(-1) - -61?
False
Let h be ((0/(-5 + 2))/2)/(-1). Suppose 4*c - 56 = -h*c. Suppose 0 = -c*o + 10*o + 504. Is 14 a factor of o?
True
Suppose 5*j + 4702 = 4*y, 0 = 2*y - 5*j - 1452 - 904. Is y a multiple of 9?
False
Let l be 16 + -18 - (-2 + 0)*-9. Is 13 a factor of 319 + -1 - (-15 - l)?
False
Suppose 3*d - 48 = 6*d. Let m(a) be the first derivative of -a**2/2 + 40*a - 52. Is 28 a factor of m(d)?
True
Suppose 2*s = 2*l - 2, -l + 5*l + 5*s = 22. Suppose -l*m + 3*y + 39 = -3, -2*m + 4*y = -38. Suppose -57 = -12*h + m*h. Is h a multiple of 2?
False
Let b(n) = -2*n**3 - 43*n**2 + 60*n - 260. Is 5 a factor of b(-25)?
True
Let q(p) be the third derivative of 127*p**5/15 - 7*p**4/24 - 5*p**3/6 - 7*p**2 + 2*p. Is q(-1) a multiple of 10?
True
Suppose 0 = y + 2. Let a(t) = 3*t**3 - t**2 - 4*t - 6. Let c be a(y). Let p = c - -31. Is 5 a factor of p?
True
Let q(c) = c**3 - c**2 + c - 1. Let d(h) = 4*h**3 - 18*h**2 - 9*h - 19. Let n(v) = -d(v) + 5*q(v). Let w be n(-11). Let p = 137 - w. Is 7 a factor of p?
True
Let o be 0 + 34/85 + 28/5. Suppose -w = -3, 7*a - 264 = o*a + 3*w. Is 39 a factor of a?
True
Let x be (-1)/((30/16098)/(-5)). Suppose 4*a + 131 - x = -4*p, -5*p + 3204 = -2*a. Is p a multiple of 20?
True
Let p(m) be the first derivative of m**5/5 - m**4/12 - 5*m**3/2 + 18*m**2 - 15. Let a(t) be the second derivative of p(t). Is a(-4) a multiple of 14?
False
Does 84 divide (1 - 0)*(7461 + (-85)/(-5))?
False
Suppose d = -0 + 95. Suppose -76 = 3*x + d. Let o = 101 + x. Is o a multiple of 11?
True
Let h = -423 - -442. Suppose -546 = -h*a + 5458. Is a a multiple of 9?
False
Let d(p) = p + 16. Let i be d(-11). Suppose -4*g = 5*q + 4 + 1, 0 = -4*q - 3*g - i. Is -3 + (161 - (3/(-1) - q)) a multiple of 17?
False
Let f(v) = 1535*v**3 - 2*v**2 + 3*v - 2. Let r be f(1). Suppose 6*i - r = 746. Is i a multiple of 20?
True
Let p(t) = t**3 - 20*t**2 + t + 2670. Does 4 divide p(0)?
False
Suppose -2*y = -c + 60, -c - y - 233 = -5*c. Suppose 0 = 17*j + c - 772. Is (-17 + j)*54/10 a multiple of 15?
True
Let l be (-6)/12 - 174/(-12). Suppose -l*t = -1684 - 808. Is t a multiple of 15?
False
Suppose -8 = 2*x - 22. Let f(o) be the second derivative of o**4/6 - 5*o**3/2 + 13*o**2/2 - o - 88. Is f(x) a multiple of 3?
True
Let b = -41 - -5. Let c be (-5 + b/(-6))*(108 - 1). Suppose 0 = -8*s + c + 21. Does 4 divide s?
True
Suppose 0 = -7*i - 36 + 141. Let m = i + -11. Suppose -3*q + 369 = 3