2/4)?
False
Let q(w) be the third derivative of -w**5/60 - w**4/4 + w**3 - 17*w**2. Let d be q(3). Is (-4 - (-1227)/21) + 9/d a multiple of 6?
True
Let b = 219 - 197. Let h(t) = 7*t**3 - 44*t**2 - 23*t - 102. Let z(l) = 11*l**3 - 66*l**2 - 35*l - 153. Let q(y) = -8*h(y) + 5*z(y). Is q(b) a multiple of 16?
False
Let d = 82 - 79. Suppose 4*m - 167 = -n + 126, -944 = -d*n + m. Does 31 divide n?
False
Suppose 8983 = -0*y + y - 5*u, -3*y = -u - 26865. Does 24 divide y?
False
Let j = 451 + -19. Suppose 5*u - j = u. Is 18 a factor of u?
True
Let b = 7288 - 6388. Does 20 divide b?
True
Suppose -5*y + x = -2355, 2*x + 261 = y - 219. Let w = y - 350. Does 24 divide w?
True
Let q = 45507 - 28419. Is 4 a factor of q?
True
Let p(b) = 3*b**2 + 12*b - 63. Let a = -258 - -269. Is 24 a factor of p(a)?
True
Let g = -9495 + 22150. Does 104 divide g?
False
Let y(h) = -71*h - 1575. Is 25 a factor of y(-33)?
False
Let u = 14 - 21. Let h(n) = 4*n + 38. Let q be h(u). Let b = q + 37. Does 5 divide b?
False
Let x be 3 + 28648 - (20 - 21). Suppose -78*o - x = -97*o. Does 13 divide o?
True
Let z = 119 - 97. Is 35 a factor of ((-11)/z*-5)/((-2)/(-140))?
True
Let w(i) = 492*i**3 + 5*i**2 - 4*i - 2. Does 11 divide w(1)?
False
Suppose -18*o = -51133 - 70043. Is (o/165)/((-6)/(-15)) a multiple of 5?
False
Let w = 48818 + -29598. Is w a multiple of 180?
False
Let l(k) = -2*k**3 - 21*k**2 + 14*k - 6. Let v(o) = -4*o**3 - 43*o**2 + 30*o - 13. Let w(m) = 13*l(m) - 6*v(m). Does 16 divide w(-8)?
True
Let j(b) = -809*b**3 + b**2 + 2*b + 2. Let m be j(-1). Suppose -p = 4*p - m. Suppose 16*c - 13*c - p = 0. Is 14 a factor of c?
False
Is 7 a factor of 773210/30 + (-13)/(-39)?
True
Let l be (290/25 - -4)*(-1 - 4). Let x = l + 153. Let w = x - 52. Is w a multiple of 4?
False
Let k = 628 - -718. Suppose -9*p + 23504 = k. Is p a multiple of 13?
False
Suppose -8117 = 4*a - 28573. Is 12 a factor of a?
False
Let u be (-23)/(-69) + -2*502/(-12). Let d = 84 - u. Does 10 divide 20/(d - -2) + 1?
False
Let w(a) = -3*a**3 + 133*a**2 - 76*a + 151. Is w(42) a multiple of 41?
True
Let x = 245 - -78. Let c = x - 295. Does 4 divide c?
True
Let i(x) = 16*x**2 - 2*x + 7. Let d be i(-6). Let n(a) = 4*a - 86. Let y be n(22). Suppose -3*t + 4*z = -d, -6*t - y*z + 589 = -3*t. Is t a multiple of 14?
False
Suppose 0*r - 2*r + 18 = -2*z, 3*r + 2*z - 47 = 0. Suppose -r*v - 24 = -5*v. Does 2 divide (-7)/(4/(v - 1))?
False
Suppose -t = 3*g + 14, 0 = 5*g + 3*t + 18. Does 11 divide (114/(-76))/(g/5324 + 0)?
True
Let g(y) = y**2 + 3. Let b be g(0). Suppose -32*k - 42 = -53*k. Suppose k*i = -b*i - l + 540, 4*i - 432 = -l. Is i a multiple of 18?
True
Let f = -1161 - -2353. Is f a multiple of 4?
True
Suppose -g = -4*v - 7465, 5*g - 2*v + 22451 = 8*g. Is 16 a factor of g?
False
Let p(g) = 916*g - 2987. Is p(11) a multiple of 37?
False
Suppose -2*x + 48711 = -l, 0 = 119*x - 122*x + 5*l + 73091. Is 145 a factor of x?
False
Let a be (-4 + (5 - 0))*-1. Does 47 divide 97 - (a*4/(-2) + 2)?
False
Suppose 0 = 5*l + d + d - 30, 22 = 3*l + 2*d. Suppose 0 = 2*i - l*i + 22. Suppose i*f = 7*f + 232. Is f a multiple of 29?
True
Is ((-34)/119)/(4739/(-16586) + 36/126) a multiple of 296?
False
Suppose 212 = 13*d + 108. Does 21 divide 3*d*(-67)/(-3)?
False
Let t be (-58)/87 + 26/3. Suppose 557 - 3485 = -t*f. Suppose -f = -13*k + 10*k. Is 9 a factor of k?
False
Suppose 3*n + 0 - 12 = -2*d, -5*n + 2*d + 4 = 0. Let u(s) = -s + 4*s**n + 14*s**2 + 6 - 7 + 2. Is 6 a factor of u(1)?
True
Suppose 6 + 6 = 2*c. Suppose 0 = -2*m - 3*b + 5, 3*m - c = -b + 5. Suppose 172 = m*o - 148. Is 16 a factor of o?
True
Is 20 a factor of (-21*17/(-238))/(3/4638)?
False
Let b be ((-6)/12 - 4)/(3/(-2)). Suppose 4*r + b*j = 7*r - 498, -3*r + 5*j = -500. Does 3 divide r?
True
Let p(i) = 17 + 7*i + 14 - 46 + 18. Let b be p(0). Suppose 0 = -4*h + b*h + 28. Is 4 a factor of h?
True
Let a(g) = -2*g**3 - 13*g**2 - 6*g - 6. Let m(q) = 3*q + 9. Let x be m(-5). Let y be a(x). Is 14 a factor of ((-3)/y - (-63)/(-12))*-12?
False
Let u be 2 + 22/(-10) - (-1359)/45. Let o be (u/(-2))/(-5) + 1. Is o/(-26) - 8946/(-182) a multiple of 19?
False
Let w(p) = -217*p - 546. Does 7 divide w(-26)?
True
Suppose 510*x - 515*x + 51325 = 0. Is x a multiple of 34?
False
Let y(c) = -8*c + 19*c - 31 - 2*c + 4*c. Let d = -7 + 14. Does 19 divide y(d)?
False
Does 57 divide (12*(-3)/(-16))/(((-4)/23712)/(-1))?
True
Let f be 3/4 - 102/(-24). Let g be 2/(f - 4 - 0). Suppose g*r - 2*b = 44, -10*b + 7*b = -r + 22. Is 11 a factor of r?
True
Suppose -6*s + 3100 = -5*u - 2*s, -5*s = u + 620. Let k = u + 1010. Is 15 a factor of k?
True
Let g = 44818 + 7454. Does 101 divide g?
False
Suppose -5*x + 3*j = 474, 5*x + 2*j + 2*j + 453 = 0. Does 14 divide ((-62)/x)/(1*2/216)?
False
Let k be (-19235)/(-15) + (15/9 - 2). Let q = k - -2510. Is 6/(-45) + q/90 a multiple of 14?
True
Let l(y) = 2266*y - 5372. Does 4 divide l(6)?
True
Let y(d) = -d**3 + 6*d**2 + 7*d + 4. Let j be y(7). Let g be 31/j + (-7 - (-174)/24). Suppose 3*n + g*n = 979. Is n a multiple of 24?
False
Let v = 830 - 116. Suppose v = 3*c + z, -330 - 146 = -2*c - z. Is 17 a factor of c?
True
Let a(s) = -s**2 + s + 35. Let f be a(0). Let g = f - -1. Suppose -3*v = -g - 9. Does 4 divide v?
False
Let l(x) = 48*x**3 + 14*x**2 - 9*x + 16. Is 26 a factor of l(4)?
True
Suppose -65*z + 67*z + 10 = 0, 2*j = -z + 6043. Is j a multiple of 18?
True
Let i(z) = z**3 + 20*z**2 + 58*z - 37. Let q be i(-15). Let b = q - 95. Is b a multiple of 3?
True
Let o = 139 + -134. Suppose -264 = -o*q + 2*q + 4*c, 3*q + 5*c - 237 = 0. Is q a multiple of 21?
True
Is 2 a factor of 444/333 + 1*(-860)/(-3)?
True
Let j be (-1)/3 - 1033*3/(-9). Let t = j - 246. Let o = 172 - t. Is 14 a factor of o?
False
Let n(h) be the second derivative of h**4/12 - 7*h**3/6 - 4*h**2 + 26*h. Let d be n(-6). Suppose -5*f = 4*t - 280, 0*t + t = 2*f + d. Does 10 divide t?
True
Let f = 570 - 407. Let v = f - 99. Suppose -h = 2*d - v, h + 344 = 6*h + 4*d. Is 18 a factor of h?
True
Let f be 70/7 + 2*2. Let v be (-1)/2*f + 0. Let c = 33 + v. Does 26 divide c?
True
Is (-7)/((-560)/(-30)) - 3270/(-16) a multiple of 12?
True
Let k(x) = 4*x**2 - 7*x - 1. Let a be k(4). Suppose -f - 6 = -a. Is f a multiple of 3?
False
Let o be (-4)/6*(-6)/4. Let l = -19 + o. Is 5 a factor of l/(1/3 + (-44)/60)?
True
Let l = 15 - -6. Let t(u) = 12*u**2 + 22*u - 33*u**2 + 7*u**2 + 13*u**2 + 23. Does 22 divide t(l)?
True
Let t(g) = 10*g**3 - 30*g + 34. Let o(h) = 3*h**3 - 10*h + 11. Let a = -48 + 41. Let p(q) = a*o(q) + 2*t(q). Does 33 divide p(-5)?
True
Let l(w) = 12*w**2 - 8*w - 25. Let i = -220 + 215. Does 17 divide l(i)?
False
Does 313 divide (295354/(-944) + 2/(-16))/(2/(-8))?
True
Suppose -w - 6005 = -2*d, -2034 - 6991 = -3*d + 5*w. Is d a multiple of 25?
True
Let k = 737 + -737. Suppose 17*l + 7*l - 39648 = k. Is 59 a factor of l?
True
Let u = -2434 + 8328. Is u a multiple of 63?
False
Suppose -5704 = -c - 6*d + 17*d, 4*c = 4*d + 22896. Does 14 divide c?
True
Is 8 a factor of 816/11*407/74?
True
Let z = -12967 - -13228. Suppose 0*c = c - m + 110, 3*c + 3*m + 354 = 0. Let h = c + z. Is h a multiple of 34?
False
Suppose 47*k - 367768 = 289433. Is k a multiple of 79?
True
Suppose 2*z + 5*p + 3 = 0, -z + p - 10 + 5 = 0. Is (-402)/(-18) + (z + 2)/6 a multiple of 14?
False
Let c be 15 - (-1 - -2*1). Let k = -1167 - -1131. Let q = c - k. Is q a multiple of 12?
False
Suppose 4*i - 25897 - 16927 = -2*w, 3*w - 64224 = -4*i. Does 8 divide w?
True
Suppose -705*n + 87168 = -697*n. Is n a multiple of 16?
True
Suppose -2*s = -u + 3819, 3*u + 48*s - 43*s - 11457 = 0. Is u a multiple of 67?
True
Suppose -z - 454 + 456 + 1648 = 0. Is z a multiple of 11?
True
Let u = 2 + 1. Let j be (-5)/(u + (-55)/10). Does 25 divide j/(0/(-10) - (-2)/27)?
False
Let y(h) = 1448*h - 228. Is 60 a factor of y(2)?
False
Suppose 5*x + 6*l - 28499 = -6633, -17493 = -4*x - 5*l. Is 16 a factor of x?
False
Suppose -1050*x = -1045*x + 4*l - 18876, -11333 = -3*x + 5*l. Is x a multiple of 12?
False
Let p = -154 + 156. Suppose 4*w = p*t - 42, 40 = 5*t - 13*w + 16*w. Does 8 divide t?
False
Let z = 56 - 30. Suppose -22 = -4*n + z. Let f = n - -13. Does 5 divide f?
True
Let w(o) = 3*o**3 - 16*o**2 + 12*o - 1. Let p(m) = m**3 - m**2 - m + 1. Let x(q) = -2*p(q) + w(q). Let