Let u(r) = -125*r + 7. Does 11 divide u(-1)?
True
Let j = -425 + 609. Does 23 divide j?
True
Let m(c) = c**3 - 38*c**2 - 35*c - 51. Does 34 divide m(39)?
False
Let h(o) = -o**2 + 2*o + 7. Let l be h(9). Does 13 divide 6/(2/(l/(-3)))?
False
Is (-1)/(-3 + 50/15) - -51 a multiple of 3?
True
Let t(s) = s**2 - 8*s + 9. Let a be t(5). Let m(r) = -15*r**2 + 45*r - 13. Let n(p) = 7*p**2 - 22*p + 6. Let h(v) = a*m(v) - 13*n(v). Is h(15) a multiple of 5?
True
Let t(l) = -4*l + 28. Let x(m) = -1. Let k(c) = t(c) + 5*x(c). Is 8 a factor of k(-10)?
False
Does 10 divide -7 + (76/(-209) - (-301)/11)?
True
Let r = -1775 + 3790. Does 11 divide r?
False
Suppose -2045 - 711 = -13*f. Does 3 divide f?
False
Let c(r) = r + 1. Let a(m) = 14*m + 10. Let g(s) = a(s) - 3*c(s). Is 5 a factor of g(3)?
True
Let c(f) = 28*f + 63. Let v be c(6). Let n = v + -144. Does 14 divide n?
False
Let t(w) = 10*w**2 + 19*w - 19. Let z(o) = -9*o**2 - 18*o + 19. Let n(x) = -6*t(x) - 7*z(x). Does 17 divide n(7)?
False
Let h(x) = -2*x - 4. Let m be h(-3). Let s(c) = 3*c**3 + 6*c - 1. Let p(u) = -7*u**3 + u**2 - 13*u + 2. Let w(r) = 4*p(r) + 9*s(r). Does 4 divide w(m)?
False
Suppose 0 = 5*d + 5, -6686 = -5*m - 5*d - 2511. Is m a multiple of 18?
False
Suppose -4*p - 15 = p. Is -6*(p/4 + 1)*-16 a multiple of 12?
True
Suppose -5*o - 8 = 2*b, -5*o - 15 = -0*b - 5*b. Let m be ((1 + -4)/1)/b. Let u(q) = -8*q. Is 8 a factor of u(m)?
True
Let i(z) = -7*z**3 - 4*z - 4. Let v(s) = -s + 2. Let h be v(-3). Suppose 5*c - h + 15 = 0. Is 9 a factor of i(c)?
False
Suppose -2*b + 13 = -11. Let i = 16 + b. Let h = i + -17. Is 3 a factor of h?
False
Suppose -4 = 3*d - 2*o, d - 3 = -3*d + o. Suppose -k = 5*i - 77, 2*k + 26 = d*i + 4*k. Is 10 a factor of i?
False
Suppose 0 = -70*o + 49531 - 5361. Is 22 a factor of o?
False
Let w = -665 + 734. Is w a multiple of 3?
True
Let t be (-3 - -5) + -2 + 50. Let p = -36 + t. Does 14 divide p?
True
Let q be 286 - (-1 - (0 + 1)). Suppose -4*a - 22 = -5*f - 52, 0 = -f - 4*a - 6. Is (q/f)/((-6)/4) a multiple of 21?
False
Let a = 52 - -32. Does 12 divide a?
True
Is 37 a factor of (-21)/(-7) - (-1 + -366)?
True
Let k(z) = -z**3 + 24*z**2 + z - 9. Let p be k(24). Let u = p - -207. Is 15 a factor of u?
False
Let d = -830 - -830. Let h be (-1)/((-1)/(279 - 0)). Suppose h = 5*g - 3*p - 240, 4*g - 2*p - 414 = d. Is g a multiple of 34?
True
Let d(l) be the third derivative of l**5/60 + 3*l**4/8 + 4*l**3/3 + 10*l**2. Does 3 divide d(-10)?
True
Let t be (-8)/((0 + 3)/30). Let h = t + 123. Let f = h - 28. Is f a multiple of 15?
True
Let o = 622 - 337. Is o a multiple of 57?
True
Let a be 1 + -43 - (9 + -7). Is 6 a factor of (-2)/11 - (228/a - 2)?
False
Is (482/4)/(7 - 65/10) a multiple of 6?
False
Let t be ((-2 - 94)/6)/((-1)/5). Let z = t - 35. Is z a multiple of 9?
True
Suppose 4*x = 419 + 589. Does 18 divide x?
True
Let l(x) be the second derivative of x**6/360 + 7*x**5/120 + x**4/12 + x**3/2 + 5*x. Let w(k) be the second derivative of l(k). Is w(-8) a multiple of 5?
True
Does 17 divide (2040/21)/((-2)/(-14))?
True
Let l = 2277 - 1613. Does 34 divide l?
False
Let z = -624 - -773. Is z even?
False
Suppose 0 = 4*g - 5*g - 3*s + 4037, 0 = g + s - 4027. Is g a multiple of 18?
False
Let t = 25 + -23. Suppose -3*v = 3 - 9. Suppose t*p - 38 = -4*k, 2*p + 5 = v*k - 29. Is 7 a factor of k?
False
Let s be (-4)/4*(2 + -3). Let q(m) = 2*m**3 + m**2 + 5*m - 5. Let l be q(-5). Is 11 a factor of l/(-6) - s/(-2)?
False
Let s be ((-124)/8)/(4/16). Let b = s - -112. Is b a multiple of 11?
False
Let j be (-3740)/(-16) - 3/(-24)*2. Let l = -78 + j. Is l a multiple of 26?
True
Suppose -c = -4*c + 18. Let r(w) = -c*w + w + w - 11 + w. Does 13 divide r(-8)?
True
Let y(p) = p - 2*p - 5*p + 1. Let f be (-42)/10 + (-3)/(-15). Is 13 a factor of y(f)?
False
Suppose 4*o - 2*u = 5*o + 147, 5*o + 761 = 3*u. Is 31 a factor of -4 + 3 - (-1)/(-1)*o?
False
Suppose -635*d + 1860 = -623*d. Does 13 divide d?
False
Suppose -4*h - 8 = -3*s, -4*s - 6 - 10 = 0. Let y = 55 - h. Is 20 a factor of y?
True
Let q(v) = -8*v + 14. Let h be q(7). Let y = 205 - h. Is 13 a factor of y?
True
Let f(g) = g**2 + 17*g + 15. Let o be f(-16). Let m(b) = b**2 - 5*b - 5. Let k be m(5). Let p = o - k. Is 3 a factor of p?
False
Let t(l) be the third derivative of l**4/24 - l**3/2 - 4*l**2. Let x be t(7). Suppose 0 = -x*q + 2*q + 46. Is 6 a factor of q?
False
Let a(w) = w**3 + 11*w**2 - 14*w + 9. Let l be a(-12). Is 22 a factor of (-194)/(-3) - (-44)/l?
True
Let r(o) = 2*o**3 + 4*o**2 - o + 2. Let y be r(2). Suppose 27*x = 25*x + y. Is x a multiple of 16?
True
Let d = -7 + 16. Let g = -5 + d. Is 7/(1/g*2) a multiple of 14?
True
Let h(x) = x**3 - 14*x**2 + 15*x + 3. Let y be h(13). Suppose y = z - 64. Is z a multiple of 30?
False
Suppose -5*y - 19 = 4*f, 0 = f + f + 2*y + 8. Let a be (-4)/f + (-15 - -9). Does 10 divide (-20)/(6/4 + a)?
True
Suppose -14*n + 4412 = -1846. Is 9 a factor of n?
False
Let x = 755 + -495. Is 65 a factor of x?
True
Let l = -1841 + 2207. Is 6 a factor of l?
True
Let z(y) = 2*y**2 + 16*y + 4. Is 72 a factor of z(8)?
False
Let b = -12 - -11. Let m(p) = 29*p**2 - 2*p. Is m(b) a multiple of 6?
False
Let r(n) = -2 + 9*n + n**2 + 15 + 2*n**2. Suppose -10*c - 7 - 53 = 0. Is 29 a factor of r(c)?
False
Let c(s) = 19*s**2 - 7*s + 42. Does 21 divide c(7)?
True
Let s be 405/36 - 2/8. Let l be (s - -127)*2/4. Suppose 4*o = 20, 0 = j - o - l + 10. Does 16 divide j?
True
Let t be (391/92)/(-1 + (-26)/(-24)). Suppose -275 = -4*p - t. Is p a multiple of 8?
True
Let j = 2 + 8. Suppose h + j = 6*h. Suppose -h*i = i - 84. Is i a multiple of 28?
True
Suppose -12*k = -23*k + 528. Is 12 a factor of k?
True
Let h(n) = -n**2 - 4*n + 8. Let l be h(-5). Suppose 3 = l*c, p + 0*c - 178 = -c. Suppose -63 - p = -3*x. Is 25 a factor of x?
False
Let w(n) = n**3 - 9*n**2 - 7*n + 6. Suppose -40 = -58*y + 54*y. Does 6 divide w(y)?
True
Suppose 6*r - 1780 = r. Let t be (r/(-2))/(-1 - 1). Suppose 4*h = 71 + t. Does 28 divide h?
False
Let o(q) = -2*q**3 + 6*q**2 - 5*q + 3. Let s be o(2). Is 2 a factor of s/(-5) + (-664)/(-20)?
False
Let t be 33/15 + 2/(-10). Suppose y + 0 + 4 = -4*q, y - 26 = t*q. Is 4 a factor of y?
True
Suppose 2*w = 3*w + 4. Let f(s) be the first derivative of s**4/4 + 4*s**3/3 - 3*s**2/2 + 5*s - 4. Is 6 a factor of f(w)?
False
Suppose 362*x - 349*x = 5746. Does 34 divide x?
True
Let z be (-5)/20 + 0 + 18/8. Suppose -4*f + 16 = 2*o, -4*f - 5*o + 2 + 14 = 0. Suppose 0 = -f*i + 3*t + 97, -3*i + 3*t + 119 = z*i. Is i a multiple of 22?
True
Let b = -1 - -37. Let v = b + -24. Is 12 a factor of v?
True
Let k(f) = -2*f**2 - f**3 + 7*f + f**2 - 10 - 5*f**2. Suppose -5*y = 3*w + 9, 6*y + 12 = -3*w + 2*y. Is 27 a factor of k(w)?
False
Let o = -69 + 32. Suppose -c + 1 = 5, 0 = -2*r + 2*c + 4. Does 18 divide 5 + r - 4 - o?
True
Let o(j) = j**2 - j - 10. Let w = 4 - -2. Is o(w) a multiple of 17?
False
Suppose 274*c = 277*c - 630. Does 10 divide c?
True
Suppose 0 = o + n - 23, -8*o - 60 = -10*o + 5*n. Does 5 divide o?
True
Suppose 0 = -7*z + 3*z + 5*p - 23, 0 = 2*z - 2*p + 14. Let v = 135 + z. Is v a multiple of 41?
True
Let k = 130 - 122. Suppose -2*r + k*r - 174 = 0. Does 7 divide r?
False
Is 46 a factor of (414*6/(-24))/(6/(-8))?
True
Suppose -11*s - 84 = -7*s. Does 6 divide (-6)/s - 204/(-21)?
False
Let i(o) = -7*o**3 - 3*o**2 + 2*o + 3. Let x be i(-3). Suppose -4*q + 3*k = -x, 0*q + 3*q + 3*k = 93. Is 3 a factor of q?
True
Let x(i) = 2*i**3 - 37*i**2 + 19*i + 41. Is x(21) a multiple of 43?
False
Let v(h) = -6*h + h + 14*h**2 - 28*h**2 + 13*h**2. Let r be v(-4). Suppose -5*c + 108 = r*j, -14 = c - 5*j - 53. Is c a multiple of 6?
True
Suppose -4*p = 2*v + 3*v - 1292, -5*v - 3*p + 1289 = 0. Does 23 divide v?
False
Suppose -30 = -9*p - p. Suppose -p*y - 80 = -d, 17 = d - 5*y - 53. Does 22 divide d?
False
Suppose 268 = 5*v - 357. Does 2 divide v?
False
Let c(g) = -g**3 + 9*g**2 - 4*g + 1. Let a be c(5). Suppose a*y - 79*y = 10. Is 3 a factor of y?
False
Let a(b) = -b**3 + 17*b**2 - 15*b + 11. Does 41 divide a(13)?
True
Let o(t) = -7*t + 5. Let l be o(8). Is 13 a factor of -2 + 0 - (l + -5)?
False
Let v(w) = -3*w - 22. Is 6 a factor of v(-11)?
False
Suppose 9*i - 3583 - 4076 = 0. Does 9 divide i?
False
Let d = -67 + 295. Does 57 divide d?
True
Let o