 g be (-9)/(-6)*t*19/2. Suppose 3*d - g = 3*l, -4*d - 2*l = -34 - 42. Does 19 divide d?
True
Let d = 2925 - 146. Is d a multiple of 17?
False
Let x(z) = 481*z**2 - 3*z + 4. Suppose 19*p + 10 = 29. Does 5 divide x(p)?
False
Let m(r) = -r**3 + 112*r**2 + 199*r - 777. Is 113 a factor of m(110)?
True
Suppose 3*v = -19*i + 21*i + 6, 4*v - 16 = 0. Suppose i*h = 5*b - 4116, 2*b = -b - 5*h + 2456. Does 10 divide b?
False
Suppose 0 = -137*f + 141*f + 5*y - 176264, -f = 5*y - 44081. Is 73 a factor of f?
False
Let m = -81 - -83. Is 43 - (m + (-1 - 4)) a multiple of 8?
False
Let r(a) = a**2 - 21. Suppose -2*u - 28 = -3*j - 2*j, 4*u - 4*j + 32 = 0. Let w be -12 - u/((-12)/(-9)). Does 13 divide r(w)?
False
Let s(n) = -5*n**2 + 13*n + 33. Let h(u) = -u - 3. Let j(l) = -3*h(l) - s(l). Is j(-5) a multiple of 9?
False
Let u(y) = 90*y**2 + 3*y - 2*y**2 - 10 + 6. Let g be u(1). Suppose -21 = -3*c + g. Is 12 a factor of c?
True
Let l(z) = 301*z - 5011. Is l(23) a multiple of 78?
False
Let s(i) = -5*i**3 - 6*i**2 - i + 7. Let c be s(-4). Suppose -5*n = c - 2285. Suppose 86 = -12*r + n. Is 3 a factor of r?
True
Let y(g) = 77*g + 168. Let p(n) = 232*n + 502. Let a(v) = -6*p(v) + 17*y(v). Is a(-12) a multiple of 15?
True
Let g(z) = 410*z - 260. Does 13 divide g(118)?
False
Suppose -3*d = 3*x - 19347, -5*x = -3*d + 17655 + 1684. Is 10 a factor of d?
False
Suppose 6*z = 8*z - 310. Let r = 206 - z. Is r a multiple of 2?
False
Is (22*(-16)/528)/(2/(-134532)) a multiple of 22?
False
Let y be (-6)/(-3)*28/(-2). Let o = y + 288. Is 29 a factor of o?
False
Let z(u) = -2*u**2 - 27*u + 36. Let b be z(-15). Is (5/(-2))/(b/414) a multiple of 23?
True
Let s(c) = -7*c - 48*c**3 - 30*c**3 - 19*c**3 - 12 + 64*c**3 - 6*c**2. Is 47 a factor of s(-3)?
True
Suppose 11*p - 36896 = 25221 + 18469. Does 33 divide p?
True
Let t(r) be the second derivative of r**6/120 - r**5/15 - 5*r**4/12 + 5*r**3/3 - 19*r**2/2 - 10*r. Let s(n) be the first derivative of t(n). Does 3 divide s(6)?
False
Let n be (-10)/((-30)/9) - (2 - 1). Suppose c + 0*s + 3*s = 141, n*c - 5*s - 315 = 0. Does 15 divide c?
True
Let q be 1/((-5)/15*1). Let i(j) = -9*j + 4*j**2 + 2*j - 7 - 2. Does 12 divide i(q)?
True
Let z be (-2)/15 - (-304)/30. Suppose 0 = -2*n - 8, -2*m - n = z + 60. Let o = 39 + m. Is 2 a factor of o?
True
Is 193280/32 - -8*1 a multiple of 24?
True
Let c(l) = l**3 + 4*l**2 - 2*l - 8. Let f be c(-4). Suppose 135 - 335 = -2*h. Suppose f = -11*o + 6*o + h. Does 9 divide o?
False
Let b = -28 + 31. Suppose 6*z - b*u + 48 = 2*z, -5*u + 11 = z. Let g = z + 26. Does 17 divide g?
True
Suppose 2*h - 793 = 2*g + 7651, -2*g = -5*h + 21098. Does 37 divide h?
True
Suppose w + 0*w = 234. Let n(z) = 15*z**2 + 23*z + 10. Let j be n(3). Suppose 8*t - j - w = 0. Does 8 divide t?
True
Suppose j = w - 3, 4*w - 3*j = -w + 13. Let z(l) = -3 + 1 - 74213*l + 74280*l. Does 13 divide z(w)?
False
Let a be (-12 + 8)/8 - (-21)/2. Is (16*(-403)/130)/((-4)/a) a multiple of 10?
False
Let g be (-2)/8 + (1650/(-24))/(-11). Suppose -20 = 2*d - g*d. Let w(h) = 10*h**2 - 4*h. Does 23 divide w(d)?
True
Let p(c) be the first derivative of -c**4/24 + 35*c**3/6 - 3*c**2 + 12. Let t(u) be the second derivative of p(u). Is 27 a factor of t(0)?
False
Let h(o) be the second derivative of -34*o**5/5 - o**4/4 - 7*o**3/6 - 3*o**2 + 8*o - 1. Is 4 a factor of h(-1)?
False
Suppose -454478 = -98*v + 563546. Is v a multiple of 49?
True
Let x be (-16)/32*(1 + -5). Is (x/(-4))/(((-15)/(-18))/(-5)) a multiple of 3?
True
Let x be (-8 - -2) + 6 - (0 + -3). Suppose -5*t - x*y = -4*y - 274, 3*t - y = 166. Is 10 a factor of t?
False
Let l(a) = 5*a**3 + 2*a**2 + 3. Let d be l(2). Let y = d - -91. Is 16 a factor of y?
False
Let h(b) = -52*b - 1368. Is 10 a factor of h(-44)?
True
Let k(q) = 2*q**3 - 6*q**2 + 9*q + 22. Let c be k(7). Let p = 520 - c. Is 4 a factor of p?
False
Let y = -265 - -865. Suppose 11*s - y = 3*s. Suppose -3*q - s = -8*q. Is q a multiple of 3?
True
Suppose 0 = y - 1098 - 1028. Suppose 2*c = 2*x + 706, 5*c - 3*x + 365 = y. Is 13 a factor of c?
True
Let s(z) = 278*z**2 - 186*z**2 + 1 - z - 461*z**2. Let o be s(1). Let u = o - -542. Does 14 divide u?
False
Let z(k) = -k**3 - 19*k**2 - 2*k + 9. Let h be z(-19). Let i = h + 35. Does 5 divide i?
False
Suppose 53*y - 4111 - 1821 = 26928. Is y a multiple of 10?
True
Let d(h) = -h**3 - 20*h**2 - 40*h - 38. Let g be d(-17). Let t = -175 - g. Is t a multiple of 12?
False
Let o(l) = l**2 + 12*l - 285. Is 118 a factor of o(32)?
False
Let z(n) = -244 + 53*n**2 - 94*n**2 + 43*n**2 + 61*n. Is z(-45) a multiple of 16?
False
Let o(l) = l**2 - 3*l - 16. Suppose 111 = 4*f - 3*n, f + 2*n + 110 = 5*f. Suppose -4*d + 5 = -f. Is o(d) a multiple of 12?
True
Let g(l) = -6*l + 40. Let a be g(6). Suppose -5*h + 2*w = -7103, -11*h - 1417 = -12*h + a*w. Is h a multiple of 29?
True
Suppose -6*w - 54 = -24*w. Suppose -645 = -z + 3*k, w*z - 5*k - 1170 = 769. Does 41 divide z?
False
Let t(p) = -648*p - 2868. Is 147 a factor of t(-87)?
True
Let w be (-4 + 2)/(14/(-35)). Let a = w - -22. Is a a multiple of 9?
True
Suppose -2*x = 5*k + 50, -30*k + 27*k - 29 = x. Does 11 divide (16/k - 0) + 31?
False
Let w = 1 - 1. Suppose -3*c - 3*p - 9 = 0, -105*c + 100*c = -p - 21. Suppose w = -c*i + 166 + 8. Does 13 divide i?
False
Suppose 5*p + 10350 = 4*c, -4*p + 2577 = c - 0*c. Let x = -1808 + c. Is x a multiple of 52?
False
Let w = 0 + -2. Does 28 divide -2 + 1 + 139 - w?
True
Let t(l) = 18*l - 150. Let w(r) = -6*r + 50. Let z(j) = -5*t(j) - 16*w(j). Let k be z(7). Let u = 171 - k. Does 24 divide u?
False
Suppose 47*h + 4950 = 69*h. Suppose 0 = 17*o - 20*o + h. Is o a multiple of 18?
False
Let b = 526 + -568. Is 20 a factor of (424/(-10))/(b/735)?
False
Let v = -660 - -654. Does 15 divide ((-16)/v)/(4/216)?
False
Let b(l) = 26*l**3 + 2*l**2 - 60*l + 10. Is b(7) a multiple of 331?
True
Let h be (18/12)/((-2)/(-44)). Suppose -p + 3*p - 27 = -3*v, 5*p - 39 = 2*v. Suppose -p*o - h = -10*o. Does 33 divide o?
True
Suppose 2*o + 11*o - 54720 = -5*o. Is o a multiple of 8?
True
Suppose 5*u - 3502 = -2*w, 9*w + 3*u = 6*w + 5262. Suppose -11*j + w = -1412. Does 18 divide j?
True
Let m(d) be the first derivative of -d**3/3 - 43*d**2/2 - 253*d + 268. Is 53 a factor of m(-9)?
True
Let a = -80 + 83. Suppose -a*n - 54 = -99. Is 15 a factor of n?
True
Let f(k) = -3*k**2 + 22*k - 3. Let y be (13 + 2)*(-6)/(-18). Is 6 a factor of f(y)?
False
Let n(f) = -13*f**2 - 2. Let c(t) = -t**2 - t. Let v(r) = 2*c(r) - n(r). Let a be v(1). Suppose 14*w = a*w + 54. Is 9 a factor of w?
True
Let a = -110 + -243. Let x = a + 760. Is 55 a factor of x?
False
Let l(m) = 3*m**2 + 42*m + 85. Let x(u) = 2*u**2 + 28*u + 57. Let p(a) = -5*l(a) + 8*x(a). Let k be p(-7). Is 9 a factor of (272/(-10))/(1 - k/(-15))?
False
Let u(c) = -6*c**2 + 43*c + 8. Suppose -51 - 3 = 9*s. Let h(k) = 2*k**2 - 14*k - 3. Let w(i) = s*u(i) - 17*h(i). Is 13 a factor of w(14)?
False
Suppose 3*t - 154470 = -5*y, y - t = 2773 + 28121. Does 271 divide y?
True
Let u(w) be the second derivative of -13*w**6/90 + w**5/40 + 17*w**4/12 + 19*w. Let c(i) be the third derivative of u(i). Is c(-1) a multiple of 14?
False
Suppose 3*g - 143931 = 3*w, -39*w = -5*g - 36*w + 239887. Is 149 a factor of g?
True
Suppose 5*j - 186 = 3*i, -i + 2*i + 66 = 3*j. Let l = -86 - i. Let f = l - -89. Does 10 divide f?
True
Let f(d) = 18*d**2 + 9*d**2 + d - 10*d**2 - 2*d**2 - 9. Is f(4) a multiple of 26?
False
Let j(x) = -6*x - 19. Suppose 0 = -15*i + 18*i - 54. Suppose -7*k = -4*k + i. Does 17 divide j(k)?
True
Let q(j) = -1039*j - 770. Does 59 divide q(-5)?
True
Let q be 1/(4/39) + 3/12. Suppose j - 550 + q = 0. Is j a multiple of 25?
False
Let d(u) = u**2 + 5*u + 24. Let w(q) = -2*q**2 - 5*q - 23. Let p(c) = -2*d(c) - 3*w(c). Let m be p(-9). Suppose -4*r = r - m. Is 10 a factor of r?
True
Suppose 110*v - 115*v = -10. Let p be (2/6)/((-1772)/888 + v). Let k = 326 - p. Is 18 a factor of k?
True
Suppose 2*z - p = 128076, -5*p + 7*p = 3*z - 192114. Is z a multiple of 14?
False
Let z be 41/2*2 - -4. Suppose -r - z = -6*r. Suppose r*h = 11*h - 70. Is h a multiple of 9?
False
Let y(w) = -77*w - 1. Let p(s) = 231*s + 3. Let v(o) = 6*p(o) + 17*y(o). Suppose -4*u - 2*c + 60 = 58, 2*c = 2*u - 10. Is 33 a factor of v(u)?
False
Let t(x) = x**2 + 22