(b) = -b + b**2 - 10 - 15 + 7*b + 0. Is 3 a factor of l(4)?
True
Let n be -162 + (0 - -6) + 3. Let s = 254 + n. Is 8 a factor of s?
False
Let m = -144 - -931. Is 21 a factor of m?
False
Let t be 1012/(-242) + 4/22. Let v(x) = -4*x**3 + 1 - 4 - x - 3*x**2 + 1. Does 23 divide v(t)?
False
Suppose 20 = -6*y + 740. Let h(w) = 18 + y*w - 123*w + 2*w**2 - 3*w**2. Does 13 divide h(0)?
False
Let v(g) be the second derivative of -11*g**5/20 + 5*g**4/12 + g**3/6 - 5*g**2/2 + 5*g. Let m be v(-4). Suppose 0 = -104*u + 109*u - m. Is 23 a factor of u?
False
Let u be (1/2)/(5/120*3). Suppose 5*b = 5*n - 70, 0 = 2*n + 2 + u. Let j(q) = -q**2 - 23*q + 33. Does 9 divide j(b)?
True
Suppose 3*v - 165 = 135. Let j = v - -65. Is j a multiple of 15?
True
Suppose -4*t = -2*j + 1320, 2*t - 721 = -4*j + 1869. Does 50 divide j?
True
Is 30 a factor of (35667918/(-465))/(-18) + 3/((-15)/2)?
False
Let b(c) = c**3 - 28*c**2 - 25*c + 22. Let j be (69/6 - -3)*(-4)/(-2). Is 23 a factor of b(j)?
True
Suppose 25310 - 106493 = -21*b + 72096. Is 41 a factor of b?
False
Let g be ((-168)/(-7))/(-4) + -2. Does 17 divide (-160)/(-2) - (3 + g)?
True
Let m = 71054 + -48083. Is m a multiple of 13?
True
Let t(x) = x**2 - 4*x - 3. Let u be t(4). Suppose -18 = 38*l - 32*l. Does 20 divide u*((-1 - -4) + 109/l)?
True
Suppose 0 = 18*b - 21*b + 6. Suppose -b*u = -5*h + 18, 0 = -3*u - 2*h + 6*h - 20. Is 13 a factor of -2*(u - -3) + (-22)/(-1)?
False
Does 12 divide (-1957)/515 - (-549084)/30?
False
Let h be 126/(-10) + (-42)/105. Let a = 16 + h. Suppose d - 32 = -2*g, -a*d = -4*d + 4*g + 20. Is d a multiple of 7?
True
Let a be 4/22 - (72562/77)/2. Let h = -331 - a. Does 11 divide h?
False
Let i = -24 + 21. Suppose -4 = -14*a + 10*a. Is (-2)/(-8)*9*(a - i) a multiple of 4?
False
Suppose 5*v + 340 - 6054 - 13191 = 0. Is 6 a factor of v?
False
Let u(c) = -26*c - 19. Let o(m) = 2*m**3 + 2*m**2 - 3*m + 2. Let n be o(1). Let f be u(n). Is 1 - (-8)/(-4)*1 - f a multiple of 12?
True
Let b(x) = 5*x**3 - x**2 - 2*x + 2. Let v be b(1). Suppose -2*k = -v - 0. Suppose -337 = -5*r + 2*h, k*r + 3*h - 81 = r. Is 44 a factor of r?
False
Suppose -3*k - 8*k + 1672 = 0. Let i = 66 + k. Is 29 a factor of i?
False
Suppose 138*f - 104889 - 341676 = 103*f. Does 9 divide f?
False
Let d(u) = u**3 + 19*u**2 - u - 16. Let k be d(-19). Suppose 2*a - k*b + 18 = -75, -5*a - 3*b = 222. Let v = a + 78. Does 3 divide v?
True
Let q = -2915 + 4610. Is q a multiple of 5?
True
Is (-36)/(-14)*22722*16/96 a multiple of 28?
False
Suppose -493 = -b - 14*y + 17*y, 2*b = -2*y + 1002. Suppose -2*f = 3*s - b, s + 3*f - 180 + 23 = 0. Is s a multiple of 16?
False
Let c(i) = 2*i**3 - 15*i**2 + 21*i + 88. Does 8 divide c(17)?
True
Let b = -216 - -312. Suppose 23*l = 27*l - b. Is l a multiple of 4?
True
Let h(c) = 320*c + 62. Let i be h(12). Suppose -14*w + 6458 = -i. Does 13 divide w?
False
Suppose -5*n - 4*c + 0 + 3 = 0, -3*n = 3*c. Let x(v) = -v**3 + 5*v**2 - 5*v + 7. Let h be x(n). Is 24 a factor of -5*(0 + (-96)/h)?
True
Let d(l) = 2*l**2 - 11*l + 21. Let b(o) = o**2 + 11*o - 9. Let z be b(-14). Let n = 42 - z. Is d(n) a multiple of 21?
True
Let j(z) = 2*z**2 - 12*z - 8. Let q be j(7). Suppose 5*r - 3315 = 2*l, 2*r - 5*l - 1326 = -q*l. Suppose r + 162 = 11*t. Is t a multiple of 15?
True
Suppose 0 = 4*f + 34*x - 39*x - 8340, 4*x = 0. Does 15 divide f?
True
Let n(t) = t**2 - 43*t - 3. Let b be n(43). Is 18 a factor of 1*448 - (1 + b) - 3?
False
Let z = 2861 - 1923. Suppose -z = 11*l - 12*l. Is l a multiple of 47?
False
Let x(o) = 93*o - 72. Let j be x(1). Suppose -3*p - 840 = -3*h, -5*p - j + 325 = h. Is 4 a factor of h?
True
Let w = 7943 - 2987. Is 42 a factor of w?
True
Let q(w) = -w**2 - 20*w - 94. Let m be q(-15). Is (-863)/(-8) - m/152 a multiple of 12?
True
Let y(c) = 21*c**2 - 4*c + 1. Let q(l) = l**2 + 5*l + 10. Let g be q(-7). Let j = g - 23. Is 10 a factor of y(j)?
False
Let i(w) = 10*w + 2*w - 20*w + 39. Let f be i(4). Suppose f*u - 65 = 19. Is u a multiple of 12?
True
Let f(g) = 17*g - 21. Let r(w) = 2*w. Let c(v) = f(v) - 2*r(v). Is c(5) even?
True
Suppose -6*g - 4*d = -11*g + 20, 12 = 3*g + d. Suppose 5*y - g*n + 1068 = 9*y, -5*y + 3*n = -1343. Is y a multiple of 8?
False
Let t be (-2*1)/(-2) - (173 + 20). Let n = t - 74. Let o = -102 - n. Does 15 divide o?
False
Suppose -156 = -24*p - 28*p. Suppose -3*z + 3942 = -2*k, 10*z - p*k = 13*z - 3957. Is 14 a factor of z?
True
Suppose 106548 = -103*i + 106*i + 2*h, -2*i + 71032 = 4*h. Does 52 divide i?
True
Suppose -2221*w + 4412*w + 195072 = 2207*w. Does 16 divide w?
True
Let b = 120 + -111. Let v(z) = z - 2. Is v(b) a multiple of 7?
True
Let n = 4358 + -4180. Is 6 a factor of n?
False
Let l(k) = -k**2 + 49*k + 39. Let r(b) = -b**3 - 6*b**2 + 2*b - 14. Let y be r(-7). Is l(y) a multiple of 57?
True
Is 30 a factor of 40/(-60) + (2/(-4) - (-818358)/36)?
False
Suppose 6*u - 4 = 2*u. Let x be (0/13)/(3 - u). Suppose x = 2*m - 6*m + 612. Is m a multiple of 37?
False
Let r = -5329 - -6140. Is 6 a factor of r?
False
Suppose 2*r = -5*v + 5475, 0 = -5*r + 2508*v - 2510*v + 13656. Is 30 a factor of r?
True
Let s(m) = -10*m**2 + 3*m - 10. Let q(j) = 13*j**2 - 4*j + 9. Let g(r) = 4*q(r) + 5*s(r). Suppose 2*k = -5*o - 0*o, 0 = 5*k + 4*o - 17. Is 5 a factor of g(k)?
False
Suppose 14590 = -5*v + 5*v + 5*v. Does 71 divide v?
False
Let s(r) = 30 - 5*r + 46*r**2 + 19 + 0*r - 44. Is 11 a factor of s(1)?
False
Let h = -3127 + 3810. Is h a multiple of 3?
False
Let u = -10 - -14. Let r be u + (-1)/1 + (-3 - -49). Suppose 2*v - 41 = r. Does 5 divide v?
True
Let s(b) = 31*b - 1. Let q be s(1). Let z be q/(-2)*3/(-5). Suppose z = 2*w - 127. Is 13 a factor of w?
False
Let h(q) = 5*q + 24. Let s be 5*(3/(-5))/1 - -115. Suppose 7*x - 14*x = -s. Is 7 a factor of h(x)?
False
Let j(c) = c**2 - c - 1. Let p(h) = -2*h**3 - 14*h**2 - 2*h - 2. Let a be 78/14 - (-76)/(-133). Let f(m) = a*j(m) + p(m). Is f(-5) a multiple of 7?
False
Suppose 3 = -r, 655*r - 650*r = 3*m - 9240. Does 75 divide m?
True
Does 15 divide 9/252*-8 + ((-432640)/(-28))/5?
True
Suppose 5*g = -n - 1, g + 4 = 3*n - 9. Suppose n*x - 6*x + 500 = 0. Does 28 divide x?
False
Suppose 19*a - 3290 = -440. Suppose 0 = -o + 4*z + z + 51, -a = -4*o + 2*z. Is o a multiple of 9?
True
Suppose -6*r + 5908 = -203642. Is 17 a factor of r?
False
Let n = 388 + -553. Let d be 682/n - 4/(-30). Does 47 divide (((-32)/10)/d)/(14/1190)?
False
Let s(r) = r**2 - 13*r - 26. Let q be s(14). Let h(v) = v**3 + 12*v**2 + 2*v + 13. Let y be h(q). Is 3*y/6*(-156)/6 a multiple of 41?
False
Let z(n) = -n**3 - 10*n**2 - 27*n - 60. Is 40 a factor of z(-20)?
True
Let y be (-18)/12 + 890/4. Let t = y + -47. Is 9 a factor of t?
False
Let j = -10377 + 10790. Is 20 a factor of j?
False
Let a(d) = 6*d**2 - 12*d + 70. Let g be a(9). Suppose -1998 = -451*v + g*v. Is v a multiple of 37?
True
Let x be (9/(-6))/((-3)/62). Suppose -2*y + 39 = x. Suppose 9*n - y*n - 2*v = 987, 4*v + 595 = 3*n. Does 34 divide n?
False
Let f(o) = o**2 - 24*o - 75. Let g(s) = -39*s + 30. Let t be g(0). Is f(t) a multiple of 22?
False
Let j = -96 - -418. Let z = j + -73. Does 5 divide z?
False
Let x be 229*1*-2*2/(-4). Let m = -125 + x. Let f = m + -91. Is 2 a factor of f?
False
Suppose -4*k + 11 = z, 0*k = 2*k - 2*z + 2. Let g be 2/(k*3/12*1). Suppose -w + g*x = w - 308, -3*w - 2*x = -486. Is 32 a factor of w?
True
Let p be (-6)/((-5)/4400*(-5)/(-2)). Suppose 2*k = 5*a + 6*k - 2640, -4*a = 2*k - p. Does 22 divide a?
True
Let r be (4 - 1) + 60/(-15). Let n be 5*(-2)/(-3 - r). Suppose -7*l = -k - 3*l + 44, -n*k + 145 = -5*l. Is k a multiple of 8?
True
Is 14/8 + (-116577)/(-36) a multiple of 15?
True
Let i = -2525 - -3221. Is 191 a factor of i?
False
Let n(m) = -73*m + 112. Let x be n(-23). Let i = x + -985. Is i a multiple of 31?
True
Let j(y) = y**3 + 3*y**2 - 8*y + 6. Let k be j(4). Let p = 96 - k. Suppose -5*u = 6*f - 7*f - 130, 2*f = -p. Is 5 a factor of u?
True
Let m be 182/234 - (-4)/18. Does 10 divide (-1790)/(-12) - m/30*5?
False
Let l(t) = -12*t + 61. Let j be l(5). Suppose -4*z - w = 5, 8 = z + 3*w + j. Is 7 a factor of (-84)/14*(z - 2/(-12))?
False
Let b be ((-6)/(-4))/(20/3880). Suppose 5*s - 25 = 0, -5*k = -5*s - 96 + b. Let u = k + 40. Is u a multiple of 3?
True
Suppose 0 = -60*a + 65*a - 60. Suppose 1380