 factor of u?
True
Suppose -1008*m - 1439424 = -1076*m. Is m a multiple of 196?
True
Let y(n) be the second derivative of -n**4/12 - n**3 + 3*n**2/2 + 29*n. Let u be y(0). Is 8 a factor of -2*u/(-24) + (-315)/(-20)?
True
Suppose -9*j + 35 = -5*k - 4*j, 4*j = -3*k - 56. Let w(q) = -3*q + 24. Is 36 a factor of w(k)?
False
Suppose -13*w = -15*w + 34. Let i(v) = 9*v - 116. Is 23 a factor of i(w)?
False
Let c = 35913 - 19776. Is 7 a factor of c?
False
Suppose 22*n - 23*n = 26. Is (-9520)/n + (-6)/39 a multiple of 28?
False
Let x be (-4 + (-7)/(-2))/((-2)/(-108)). Let p = 31 + x. Suppose p*t + s - 2*s = 599, t - 153 = -3*s. Is 30 a factor of t?
True
Let c be -15*(18/(-126) + (-2423)/(-7)). Is 24/132 - c/11 a multiple of 59?
True
Let p(r) = -5*r**3 - 11*r**2 + 9*r - 32. Let b be p(-9). Suppose 0 = 12*a + 469 - b. Is a even?
False
Let d(k) be the third derivative of k**7/1260 - 7*k**6/720 - 29*k**5/60 + 18*k**2. Let p(s) be the third derivative of d(s). Does 2 divide p(5)?
False
Let g = 683 - 683. Suppose g = 9*q + 57 - 2604. Is q a multiple of 13?
False
Let u(v) = -v**2. Suppose -4*p + 3*l = p, -l = 3*p. Let h be u(p). Let i = h - -120. Does 12 divide i?
True
Suppose -4*n = 2*r - 3*r - 16, 0 = 5*r - 5*n + 125. Let v be (74*-2)/((-7)/(r/(-8))). Let p = 112 - v. Is 3 a factor of p?
False
Suppose 0 = -3*m - 5*z + 2 + 660, z = -3*m + 682. Is 2 a factor of m?
False
Suppose 14 = -2*j + j - 5*y, 2*j + 2*y + 44 = 0. Let h = 0 + j. Does 8 divide (-2124)/h + 6/(-4)?
False
Let r = -3001 - -16592. Does 8 divide r?
False
Let j = -3295 - -3319. Is j a multiple of 12?
True
Let w(u) = -u. Let l(p) = -p - 477. Let m(v) = -l(v) - 4*w(v). Let q be m(0). Suppose -5*y = -183 - q. Does 33 divide y?
True
Let z(i) = i**3 - 7*i**2 + 4*i + 16. Let p be z(6). Suppose p*r = r. Suppose -3*k = 15, -3*k - 135 = -r*d - 4*d. Is 10 a factor of d?
True
Let g be 3*(0 + 5 + -2). Suppose g*r - 1331 - 3331 = 0. Is r a multiple of 39?
False
Let y(m) = -776*m - 61. Let x be y(-3). Let d = x + -1325. Does 42 divide d?
False
Does 41 divide ((-8)/(-10))/(55/((-24226950)/(-12)))?
False
Suppose 75*t - 27*t + 57594 - 487674 = 0. Is 46 a factor of t?
False
Let r = -1829 - -7529. Is r a multiple of 10?
True
Suppose 0 = -35*x + 48*x. Let z(o) = -6*o + 231. Does 11 divide z(x)?
True
Suppose -5*h - 4*k + 4 = 0, 5*k + 13 + 11 = h. Suppose -c = h*c. Suppose c = -t + 5, 0*g + 5*t = g - 14. Is 10 a factor of g?
False
Is 100 a factor of (-3)/(-3)*-24*(-1 + 17842/(-33))?
True
Let l = 826 - 369. Let a = l + -217. Does 44 divide a?
False
Suppose -236*k + 146211 = -220*k - 14493. Is 12 a factor of k?
True
Let g(p) = -226*p**3 + 8*p**2 - 80*p - 307. Is 162 a factor of g(-5)?
False
Let g(q) = -33*q**3 - q**2 - 2*q - 2. Suppose 4*f - 5 + 0 = -3*h, 2*f - h + 5 = 0. Is g(f) a multiple of 8?
True
Suppose 13*v = 7*v + 186. Suppose 0 = 9*h - v*h + 8932. Is h a multiple of 7?
True
Suppose -22*l + 1197 + 28609 = -13578. Is l a multiple of 202?
False
Let j(h) = -h**3 + 27*h**2 - 214. Is 20 a factor of j(19)?
False
Does 6 divide 147/(-7)*(-60 - (4 - 0/3))?
True
Suppose -3*o + 5*o = 4*s - 66, 53 = 2*s + 3*o. Let h = s - 16. Suppose -h*q + 36 = -3*m, -q - 10 = -2*q + 2*m. Does 4 divide q?
False
Suppose -4*n = -3*i + 2393, -2*i + 3*i - n = 797. Is 3 a factor of i?
True
Suppose a = 5*f + 55 - 7, -2*f - a = 15. Let l(h) = 6*h**2 + 29*h + 13. Is 15 a factor of l(f)?
False
Let p be (-4 - 35/(-10))*-822 - -5. Suppose -13*z + 1274 = p. Does 35 divide z?
False
Let q = -2175 + 2994. Does 13 divide q?
True
Suppose -5*o - 3*y + 8 = 0, -3*o - 5*y = 1 + 7. Suppose 2*f - 42 = -o. Suppose -14*d = -f*d + 110. Is d a multiple of 11?
True
Suppose 4*u - 9*u = -5*i + 6400, 0 = -5*i - 3*u + 6408. Is i a multiple of 21?
True
Suppose -37*m + 42*m + 45 = 0. Let t = m - -39. Is 980/t - (-4)/(-6) a multiple of 16?
True
Let s = 29 + -26. Suppose -5*u + 219 = -2*f - 337, -s*f = 5*u - 541. Suppose -5*w + u = 5. Is 3 a factor of w?
True
Let t be -6*24/32*2/(-3). Suppose -58*n + 4190 = t*i - 63*n, -4*n + 20 = 0. Does 13 divide i?
False
Let f(a) = 1155*a**2 - 167*a + 506. Is f(3) a multiple of 16?
True
Suppose 12853 + 6403 = 29*n. Suppose 560 = 3*o - n. Is o a multiple of 6?
True
Let p(v) = -10*v**3 - 11*v**2 - 73*v + 10. Let r(h) = 4*h**3 + 6*h**2 + 36*h - 6. Let a(o) = -3*p(o) - 7*r(o). Is 37 a factor of a(9)?
True
Suppose -w + 2*r = -14789, 8*w + 5*r + 29571 = 10*w. Is w a multiple of 113?
True
Suppose -6*a + 5 = 11. Let z(b) = 19*b + 1. Let f be z(a). Is 17 a factor of (33/(-4))/(f/240*1)?
False
Suppose 41835 = -20*i + 2*i + 168951. Does 33 divide i?
True
Suppose 4*k = -5*g + 40, g = 5*g - 16. Suppose -4*i + 5*v + 175 = -35, -3*v = k*i - 244. Is i a multiple of 8?
False
Suppose -118 = -22*p + 23*p. Let v = p + 121. Is 3 a factor of (75 - 0)/v - 4?
True
Suppose 4*b - 3*n + 2*n = 118, -4*b = -3*n - 122. Let x(i) = -i**3 + 30*i**2 - 22*i + 85. Is 18 a factor of x(b)?
True
Suppose -32*m + 14878 = -27*m + 4*r, 0 = m + 4*r - 2998. Does 90 divide m?
True
Suppose -4*k - p + 41186 = 0, 121*k - 117*k = p + 41190. Does 173 divide k?
False
Let n = 112 - 60. Let j = n - 64. Is (-868)/j - (2 - (-10)/(-6)) a multiple of 9?
True
Suppose -5*j + 73920 = 5*z - 0*z, 4*z - 59106 = 2*j. Does 77 divide z?
False
Let x = -10794 - -19686. Is x a multiple of 9?
True
Suppose 0 = -2*g + 4427 + 3163. Is g a multiple of 19?
False
Let w(h) be the second derivative of h**4/12 + h**3 + 2*h**2 + 27*h. Let b be w(-4). Let z = 118 + b. Is 38 a factor of z?
True
Let k(n) = n + 24. Let x be k(-15). Let c be (-21)/x + (2/3)/(-1). Is (10/4)/((c - -4)/16) a multiple of 7?
False
Let k(u) = -u**2 + 36*u**3 - 20 + 11 + 6 + 8*u. Is 9 a factor of k(2)?
True
Suppose w = -5*j + 174, 0 = -5*w + 3*j - 5*j + 755. Does 36 divide w + -1 - -12*1/(-3)?
True
Let t be 195/(-20)*(-16)/6. Let v = t - 6. Is 37 a factor of v/(-5) + (132 - -1)?
False
Let k(x) = x**2 - 6*x - 17. Let n = -31 - -40. Let w be k(n). Is 208/5 - (-4)/w a multiple of 14?
True
Suppose 5*o = 4 + 6. Let y be (75/27 - 6/(-27)) + o. Suppose 5*k + t = 3*t + 270, y*k - 305 = -5*t. Is k a multiple of 28?
True
Let j(t) = 4*t**2 - 2*t - 2. Let f be j(-3). Let g = -167 - -135. Let n = f - g. Is n a multiple of 12?
True
Let o = -48 + 69. Suppose 3*a + o = 24. Let l(i) = 188*i**3 - i**2 - 2*i + 2. Is 13 a factor of l(a)?
False
Let u(b) = 104*b**2 + 22*b + 84. Is 5 a factor of u(-5)?
False
Let m = 120 + -116. Suppose 1999 = 9*j - m*j + z, 4*j + 3*z - 1608 = 0. Does 21 divide j?
True
Suppose -26180 = 8*j - 118156. Is 27 a factor of j?
False
Let t(q) = -44*q + 33. Let x be t(-9). Is 14 a factor of x - 1 - (-15 + 9)?
True
Suppose 2*p - 14 = 0, -8115 + 32499 = 5*g + 2*p. Does 28 divide g?
False
Let q = 163 + -79. Suppose -3*y - 2*l + 92 = 30, -q = -4*y - 4*l. Is 15 a factor of y?
False
Is 179 a factor of -1 - -2 - ((-4)/8 + (-7890322)/212)?
False
Let t be (2/(-3))/(12/396). Let y be 1024/176 + (-4)/t. Suppose -y = -g + 84. Is 18 a factor of g?
True
Let p(w) = -w**3 + 21*w**2 + 4. Let h be p(21). Does 21 divide ((-6)/h)/((-18)/4632)?
False
Let v(o) be the third derivative of -o**4/12 + 8*o**3/3 - 120*o**2. Suppose 5*g + 43 = -w - 0*w, -2*g - 13 = -w. Does 7 divide v(g)?
False
Suppose 69*r + 18 = 63*r. Is 12 a factor of r + (-2)/12 + 6181/42?
True
Suppose 1 = x, -4*g = -0*g + 4*x - 56. Let p be (g/2)/((-3)/(-6)). Suppose 3*a + 480 = p*a. Is 11 a factor of a?
False
Suppose 2*v + 74 = 4*o, 10*v = 3*o + 11*v - 43. Suppose 0 = 2*i + o*i - 1152. Is 4 a factor of i?
True
Let v(y) be the first derivative of 3*y**3 - y**2 - 32. Does 7 divide v(-3)?
False
Let k(b) = -3973*b + 33. Let m be k(-3). Suppose 0 = -14*u + m - 3776. Is u a multiple of 31?
False
Let o = -151 + 46. Is 10 a factor of (1 - o/14)*8?
False
Let f(h) = -2*h**3 + 12*h**2 + 2*h + 13. Let j be f(6). Suppose 13*q - j*q = -3120. Is q a multiple of 20?
True
Does 3 divide 12/55 + 60/(-150) - 63373/(-11)?
False
Let j = -3409 + 7774. Is 15 a factor of j?
True
Suppose g - 2*g = -2*q + 6, 2*g = -2*q + 6. Is (-1)/(4 + (-5240)/748 + q) a multiple of 5?
False
Is (413*-44)/((-246)/984) a multiple of 176?
True
Let m(f) = 5*f + 27. Let w = 39 - 45. Let q be w/27 + (-476)/(-36). Is 18 a factor of m(q)?
False
Let j = 22126 - 11238. Does 23 divide j?
False
Let h(f) = -f**2 - 16*f - 14. Suppose -5 = 51*m - 50*m. I