 91, k + p - 17 = 6*p. Does 27 divide k?
True
Let y = 15786 + -11656. Is y a multiple of 6?
False
Suppose -4*q - n = -15, 2*q = -4*n - 10 + 28. Suppose q*c = -k + 148, 0*k - 2*k + 4*c = -336. Is 10 a factor of k?
True
Let m(g) be the third derivative of -8*g**4/3 - 8*g**3 - 16*g**2 - 1. Is 9 a factor of m(-5)?
False
Suppose o - y = 3856, -3*o + 79*y - 77*y = -11567. Does 4 divide o?
False
Suppose -3*m - 1019 = -2*s, 3*s + 0*m = 5*m + 1528. Is 22 a factor of s?
False
Suppose 3*z - 3*f - 3 = -6*f, -11 = -3*z - f. Suppose -5*y - 5*r = -5115, -6*r + 2*r + 5116 = 5*y. Suppose -z*w - 249 = -y. Is 38 a factor of w?
False
Suppose 3*i = 3*l - 28275, -335*i + 28285 = 3*l - 336*i. Is l a multiple of 14?
False
Is 19 a factor of 19/(2 - ((-924)/(-858))/(124/230))?
True
Suppose -9*k - 4*i = -5*k - 484, -4*i = 3*k - 359. Suppose 0 = 11*l + 25*l - 4788. Let n = l - k. Does 2 divide n?
True
Let j(k) = -14*k - 94. Let x be j(0). Let l = x - -214. Is l a multiple of 8?
True
Suppose 15*k + 5*w = 16*k - 410, -3*k = 5*w - 1330. Let m = -215 + k. Does 11 divide m?
True
Let v(q) = 280*q + 7956. Is 6 a factor of v(0)?
True
Let j(f) = -4*f**2 - 21*f - 2. Let r(q) = -q**2 + 9*q - 19. Let o be r(7). Let a be j(o). Suppose t - 248 = -5*s, t - a*s - 248 = -4*s. Is 31 a factor of t?
True
Suppose 40*g = 99*g - 19824. Is 16 a factor of g?
True
Let v(y) = -y**2 - 11*y - 38. Let h be 4/6 - 78/9. Let a be v(h). Is 17 a factor of (-7)/(a/408)*12/24?
True
Let t = 5 - 0. Suppose 4*g - 871 = -11*b + 16*b, 3*b - 3 = 0. Suppose t*l = 8*l - g. Is 11 a factor of l?
False
Let w(l) = 5*l**3 - 31*l**2 + 32*l - 60. Is w(8) a multiple of 92?
False
Suppose 20824 = 41*j - 3*j. Suppose -3*i + 5*u - 100 = -440, 5*i - j = -u. Is 32 a factor of i?
False
Suppose 4*c = 10*c. Let f(b) = b**2 - 2*b - 2. Let k be f(-4). Suppose k*i - 20*i - 112 = c. Is 14 a factor of i?
True
Suppose -15 = -0*j - 3*j. Let u(b) = b**2 - b - 18. Let n be u(j). Suppose 3*p - 444 = -0*p - n*z, 0 = 5*p + 5*z - 735. Is 25 a factor of p?
True
Does 29 divide (-4)/30 - (-228)/(-315) - (-64800)/140?
False
Does 107 divide 41/((1/428)/((-4)/16*-1))?
True
Let g = 5354 - 2794. Suppose 0 = -3*s - 832 + g. Is 16 a factor of s?
True
Let b = 9795 - 6174. Is b a multiple of 17?
True
Let c be (5 - -4) + 9/(-3) - 3. Suppose 0 = -g - 5, 7*k = c*k + 3*g + 179. Let n = -30 + k. Is 3 a factor of n?
False
Let f be (-1)/(1*5/15). Let q be (f - 1) + -4 + 8. Suppose 0 = -q*a - 5*a + 560. Is a a multiple of 14?
True
Suppose 0 = -3*l + m + 14, 35*l = 39*l - m - 19. Suppose u = -3*z + 275, -2*z + 74 = -l*u - 81. Does 18 divide z?
True
Let f(h) = h**3 - 27*h**2 + 30*h - 99. Let j be f(26). Let c(w) = 0*w**2 - 4*w**2 + w**3 - w**2 + 11. Is 5 a factor of c(j)?
False
Let v = -83 + 3156. Is 19 a factor of v?
False
Let f(o) = -o**2 + 10*o - 11. Let j be f(9). Is ((-5280)/(-616))/(j/(-42)) a multiple of 16?
False
Let c(r) = -14*r**3 - 5*r**2 + 2*r - 1. Let q be c(-2). Let y = 399 - q. Is y a multiple of 24?
True
Let v = 13256 + -7395. Is 9 a factor of v?
False
Is 59 a factor of 82592/((-24)/(-3))*3/12?
False
Let v(j) = -6*j - 30. Suppose -4*y + 4*f - 3*f = 62, 5*f = 3*y + 38. Let w be 0 + y + (2 - 2) + 1. Does 20 divide v(w)?
True
Let q(m) = 1 + 4*m + 7 + 9 + 1. Let a be q(-3). Suppose a*h - 62 - 10 = 0. Does 4 divide h?
True
Let f be 0*((-8)/(-3) + -3). Suppose f = -5*j - 25, w = 4*j - 0*j + 153. Does 9 divide w?
False
Let d(t) = 2*t**3 - 14*t**2 + 45*t - 1. Is 5 a factor of d(9)?
False
Suppose -3*c + 4*i = -39532, 27*i - 24*i + 3 = 0. Does 216 divide c?
True
Suppose -o = -4, -2*c + 2392 + 3330 = -2*o. Is 15 a factor of c?
True
Let a(w) = 28*w**2 - 38*w + 387. Is 169 a factor of a(27)?
True
Let z be 1248/36*(-27)/(-12). Is 12/z + 7772/13 a multiple of 13?
True
Suppose 6 = 13*o - 10*o. Let n be 15*o/(4*(-3)/(-6)). Let z = 2 + n. Is z a multiple of 2?
False
Let p be (-3)/3*-49 + -4. Suppose -9005 = p*l - 68540. Is l a multiple of 15?
False
Suppose 5*z = -4*n + 1718, z + 2*n = n + 343. Does 3 divide -6 + (-2 + z)/4?
False
Let g(z) be the third derivative of 119*z**5/60 - 5*z**4/4 - z**3/6 - 159*z**2 + z. Is g(2) a multiple of 41?
False
Let n be 1 - (-3 - (-1 + 0)). Suppose -2*y + 7*y = 4*d + 1661, 3*y - d = 998. Suppose 0 = -0*t - n*t + y. Is t a multiple of 37?
True
Suppose -3*o - 453 = 5*a - 2*a, 0 = -2*a + 4*o - 308. Let i = a + 381. Does 18 divide i?
False
Suppose 6 = 2*y - 5*c + 2*c, 4*y - 12 = c. Suppose -y*r + 5980 = 43*r. Is r a multiple of 5?
True
Suppose 0 = -325*l + 76*l + 655861 - 1240. Is l a multiple of 11?
True
Suppose -2*k = 4*r - 3*k + 120, -2*r - 5*k - 82 = 0. Let c = r + 110. Is 8 a factor of c?
False
Let o(j) be the third derivative of j**5/15 - 3*j**4/8 - 17*j**3/6 - 10*j**2 + 1. Is o(5) a multiple of 4?
False
Suppose 0 = 4*o - j + 6222 - 34030, 13922 = 2*o - 5*j. Is 171 a factor of o?
False
Let v = 5373 - -4747. Does 20 divide v?
True
Let c(i) = 8*i - 31 - 12 + 2*i - 10. Let l be c(-20). Let x = l + 370. Does 16 divide x?
False
Let t = 123 + 9. Let x be 2 - t/(-5) - (-6)/(-15). Is 216/x - (-2)/7 a multiple of 3?
False
Suppose 48*c + 114511 - 159510 = 158185. Does 13 divide c?
False
Let o be ((-5)/(-30))/(2/12). Let b be (o + -5)*1*31. Let m = b - -196. Does 18 divide m?
True
Is ((-1767)/12)/((-218)/872) a multiple of 31?
True
Suppose -35*q + 31*q - 28 = 0. Is q/63 + (-1)/((-27)/10344) a multiple of 24?
False
Suppose 508*f - 511*f + 3 = 0. Suppose 2*q + 95 + 154 = -3*v, -v - 5*q = 83. Is 7 a factor of (9 - v)/(f + 1)?
False
Suppose -2*x = -v - 7217 + 2383, v + 9668 = 4*x. Is x a multiple of 49?
False
Let r be (15/10)/(1/6). Let w(t) = t**3 - 8*t**2 - 8*t - 5. Let y be w(r). Suppose -5*g - 5*s - 15 = -50, 2*g - 8 = y*s. Is 3 a factor of g?
True
Let i be 1 + -1 + (-6)/(-2). Let f = 70 + 15. Suppose 125 = i*d - f. Does 40 divide d?
False
Suppose 0 = -5*c + 5*g - 30, 0 = -5*c - 26*g + 28*g - 21. Is 13 a factor of (7 - (11 + c)) + 208?
False
Let n be 46/(-299) - (-2)/13 - -3. Suppose y - 112 = -n*i, -5*y - 4*i + 63 = -442. Does 9 divide y?
False
Let s = -9227 + 15051. Does 26 divide s?
True
Let i = 4485 - 2966. Is 31 a factor of i?
True
Does 108 divide -7 + 7 + (4945 - 14)?
False
Let d(z) = 185*z**2 + 10*z - 17. Is 6 a factor of d(-4)?
False
Let d be (-1)/3*12*-1. Suppose 253 = 5*z - d*v - 1209, -4*z + 4*v + 1168 = 0. Is z a multiple of 42?
True
Suppose 4*v - o - 13 = -2, -v - 2*o = -14. Suppose -u = v*g - 6, -7 = -u - 10*g + 5*g. Suppose 644 = 5*l - u*j + 157, 2*l + 5*j = 189. Is l a multiple of 15?
False
Is 7 a factor of 0/((-546)/(-13)) + 1 + (1 - -2672)?
True
Let g(l) = 2*l**3 + 9*l**2 - 78*l - 38. Does 23 divide g(15)?
True
Suppose 2*h + j - 13075 = 0, 57*h = 58*h - 3*j - 6548. Is h a multiple of 13?
True
Suppose 21*h - 64498 = 29519. Does 11 divide h?
True
Suppose -43*z + 76227 + 89155 = 27997. Is 5 a factor of z?
True
Let c(z) = 8*z**2 - 2*z - 9. Let y be c(-3). Let b = -64 + y. Suppose -2*t - 2*t - 5*s = -93, 5*t + b*s = 110. Is t a multiple of 13?
False
Suppose 4*j + 10*x - 41 = 15*x, 0 = -4*j - 4*x + 32. Suppose 2016 = 2*a - 3*o, -j*o + 13*o = 0. Is 63 a factor of a?
True
Suppose h + 1988 = 6*h - 4*g, 2*g = 3*h - 1194. Suppose 59 = 9*u - h. Is u a multiple of 4?
False
Suppose -3*s + 6 = -0*s. Suppose -4*l = l + s*f - 244, -f = 3. Is l a multiple of 5?
True
Suppose 217 = 6*y - 1799. Let u = y + -88. Is u a multiple of 31?
True
Suppose 118 - 359 = 75*x - 3016. Is x a multiple of 2?
False
Suppose -6*j + 5*j = -24. Does 22 divide ((-9)/5)/(j/(-880))?
True
Let h(f) = 90*f**2 - 174*f - 1352. Does 29 divide h(-8)?
True
Let p = -322 - -324. Suppose 0*g + 2*g = -p, -1005 = -l + 5*g. Does 21 divide l?
False
Let o = 41202 + -19783. Is o a multiple of 7?
False
Let r(u) = -u**3 + 20*u**2 + 45*u - 32. Let l be r(22). Let i(s) = s**2 - 16*s + 32. Is 8 a factor of i(l)?
False
Is 18 a factor of (-60694)/(-4) + (-10)/8 + (-280)/(-160)?
True
Suppose 2*v = 4*v - 5*p - 559, -v + 269 = p. Suppose 0 = 8*b - 4*b - 8. Suppose 4*s - v = b*s. Is s a multiple of 34?
True
Suppose 21*r - 2*r = 43624. Is 38 a factor of r/21 + (-2)/6?
False
Suppose -80*g = -85*g + 6700. Does 68 divide (1*-2)/((-5)/g)?
False
Is (-12)/(-32) - 7/(1008/(-5086170)) a multiple of 247?
True
Let s = 1259 + -1198. Does 7 divide s?
False
Suppose -5*z + 4*y + 2080 = -3*z, 0 = -4*z + 5*y +