 divide a(1)?
True
Let y = -27 - -16. Let n(p) be the first derivative of p**4/4 + 4*p**3 + 7*p**2/2 + 4*p - 424. Is 8 a factor of n(y)?
True
Let f(m) = 143*m + 70. Does 16 divide f(3)?
False
Let c = -260 + 371. Does 4 divide c?
False
Suppose 0 = 3*v - 12 - 12. Suppose -v = -f + 45. Does 24 divide f?
False
Suppose -16*y - y = -1139. Is 3 a factor of y?
False
Is 8 - (-470)/30*33 a multiple of 63?
False
Is 79 a factor of 3/(-2)*13564/(-6)?
False
Let n(m) = 16*m**2 - 5*m. Let l be n(5). Suppose -11*h + 16*h = l. Does 13 divide h?
False
Suppose -6 - 14 = 5*d. Let u be (5/2)/(d/(-8)). Suppose 5 = u*j, 0 = -0*h - h - 4*j + 49. Does 15 divide h?
True
Let m(o) = -15 + 7 + 6 + o. Let q be m(2). Suppose 4*b - v - 83 = q, -5*b + 153 - 47 = -2*v. Is 16 a factor of b?
False
Suppose -2*p = -21 + 1. Let a(v) be the first derivative of -v**3/3 + 5*v**2 + 4*v + 1. Is 3 a factor of a(p)?
False
Let n be 2/6 - 3410/(-30). Let d = -22 + n. Does 23 divide d?
True
Suppose 0 = 16*x - 12063 - 64977. Is x a multiple of 67?
False
Is 610 + (0 - 0) + (-55)/11 a multiple of 121?
True
Let j be (6/(-9))/((-3)/18). Suppose -4*g - 208 = -3*b, -2*g + j = -0*g. Does 18 divide b?
True
Suppose 0 = -2*b + 5*t + 145, 0 = -5*b + 18*t - 20*t + 290. Does 20 divide b?
True
Suppose -11*j = -10*j - 247. Suppose 3*g - j = -100. Is 7 a factor of g?
True
Suppose -i - 2*i = -4*b + 11, -2*i + 21 = 3*b. Suppose 2*p - 50 = -i*p. Is p even?
True
Suppose -9 - 11 = -2*r. Suppose -5*y - 300 = -r*y. Is 10 a factor of y?
True
Is (17 + -35)*(-40)/3 a multiple of 16?
True
Let p(k) be the second derivative of 5*k**4/12 + k**3/2 - 3*k**2/2 - 12*k. Is p(-3) a multiple of 8?
False
Let p = -21 - -6. Let z = 42 + p. Is z a multiple of 6?
False
Suppose m - 9 = -2*m. Suppose -m*t + 10 + 26 = 0. Let b = t - 5. Is 3 a factor of b?
False
Let h be 4/((-6)/3*1). Let f be (-1)/(-3 - h)*0. Suppose 6*i - 8*i + 28 = f. Is i a multiple of 6?
False
Is 16 a factor of (-499)/(-3) - (-1 + 12/9)?
False
Suppose -t + 530 = 3*d + t, -5*t + 709 = 4*d. Is 86 a factor of d?
False
Let s = 0 - 3. Let g(y) be the third derivative of y**5/60 + y**4/12 + y**3/3 + y**2. Is g(s) even?
False
Suppose k - 50 = 3*u, -k = 3*u - 1 + 59. Let y be (16/(-24))/(2/u). Is 31 + y/3*-1 a multiple of 11?
False
Let x = -2070 - -2192. Does 35 divide x?
False
Let x(y) = 143*y**2 - 7*y + 7. Is 20 a factor of x(1)?
False
Let y be 4/(-10) + 104/10. Let g = y + -9. Suppose 2*h - g - 87 = 0. Is h a multiple of 22?
True
Suppose 0 = -5*l + 2*m - 17, l - 5 = 2*l - 2*m. Does 15 divide (-8)/(-12)*(63 + l)?
False
Let m be -2 - (((-24)/2)/4 + -7). Suppose -w + m*w = 1099. Is w a multiple of 41?
False
Let o = 2045 + -61. Does 32 divide o?
True
Let y(b) = 2*b**2 - 5*b**2 - 15 + 2*b**2 - 10*b. Suppose -2*d = 5*l + 24, 4*d + 9 = -5*l - 9. Is 6 a factor of y(l)?
False
Suppose -9*s = -11*s. Suppose s*z + 9 = -z. Is z/(-12) - 708/(-16) a multiple of 15?
True
Let u(b) = 434*b - 2. Does 24 divide u(1)?
True
Is 2 a factor of 9 - -203 - -6*3/(-18)?
False
Let a = 13 - 2. Suppose 0 = 3*d + a - 68. Let p = d + 21. Does 12 divide p?
False
Let f(q) = -q**2 + 4*q. Let p be f(3). Suppose -5*c + 200 = p*c. Does 12 divide c?
False
Let a(w) = -w**3 + 7*w**2 + 8*w + 5. Let u be a(8). Suppose -7*p + 8 = -u*p. Suppose -4*z = -3*s + p*s - 116, -3*z + 2*s = -87. Is 11 a factor of z?
False
Let a = -19 + 4. Let s be 6/a + 176/(-10). Let y = s - -23. Is y a multiple of 5?
True
Let n = 1164 - 706. Is 11 a factor of n?
False
Is (-1)/((-4)/94) + 101/202 a multiple of 16?
False
Suppose -5*h = m - 20, -4*m - 3 - 27 = -2*h. Suppose h*p - 160 = 105. Let k = -37 + p. Is 12 a factor of k?
False
Let n(p) = p**3 + 17*p**2 + 12*p - 1. Let k be 539/(-35) - (-3)/(-5). Does 6 divide n(k)?
False
Let d(t) = -7*t + 5. Let o be d(1). Does 31 divide (o - 132/15)*-20?
False
Suppose -3*o - 72 = -840. Is 23 a factor of o?
False
Let l = -348 - -699. Is l a multiple of 36?
False
Let a = 144 - 96. Is (-32 - 4)/(2 + a/(-21)) a multiple of 21?
True
Suppose -6*l + 763 = -287. Does 5 divide l?
True
Let i = 0 - -2. Let y(k) = -2*k + 0*k**2 + 5*k + i*k**2 - k**3. Does 4 divide y(-2)?
False
Let j(l) = 6*l**2 - 29*l - 12. Let v(n) = -3*n**2 + 15*n + 6. Let a(k) = 4*j(k) + 7*v(k). Is a(9) a multiple of 23?
True
Suppose -2*b + 729 = -5*r, 36*b = 35*b - r + 382. Does 19 divide b?
False
Let p be (-3 - (-148)/(-16))*-8. Let u = p - 28. Is 14 a factor of u?
True
Let a(s) = -s - 12. Let w be a(-18). Does 4 divide ((-2)/w)/((-4)/120) + 2?
True
Let o = 378 - 123. Is o a multiple of 12?
False
Let g be 61*(-3)/(-9) + (-2)/(-3). Suppose -2*x + g*x = 3135. Is 11 a factor of x?
True
Let z be 11/66 - 25/6. Let r(x) = x + 4. Let f be r(z). Suppose -5*t + 0*q = 3*q - 73, -2*t + 4*q + 50 = f. Is 6 a factor of t?
False
Suppose -3*w = -w - 2. Let f(o) be the first derivative of 9*o**4/4 - o**3/3 + o**2/2 + 4. Is 4 a factor of f(w)?
False
Let g(d) = 2*d**2 - 19*d + 13. Let x(s) = s + 3. Let o be x(7). Does 15 divide g(o)?
False
Suppose -7 - 28 = 5*v. Let j = -4 - v. Suppose -4*w - 1 = h, -j*h + 3*w + 27 = -0*h. Is 2 a factor of h?
False
Let a(s) be the third derivative of -2*s**4/3 - 17*s**3/6 - 16*s**2. Does 21 divide a(-5)?
True
Let w(n) = 8*n**2 - n. Let j be w(-3). Let l = 12 + j. Suppose -g + 4*a = 2, 2*a + a - l = -4*g. Is 16 a factor of g?
False
Let m = -21 + 19. Is (177/6)/((-1)/m) a multiple of 6?
False
Let y(w) = -w**3 + 6*w**2 - 3*w + 1. Suppose k = 4*k - 6. Does 9 divide y(k)?
False
Let h = -859 - -1475. Is 8 a factor of h?
True
Suppose 0 = 5*y - 2*b - 525, 0 = -2*y - 5*b + 236 + 3. Does 15 divide y?
False
Let w = 125 - 209. Let k = 91 + w. Does 3 divide k?
False
Let h be (93/15 + -1)/(9/(-45)). Does 7 divide (-82)/(-12) - (h/12 + 2)?
True
Let s(c) = -50*c**3 - 2*c**2 - c + 1. Is s(-2) a multiple of 22?
False
Does 7 divide 13/((-13)/(-3)) - (-3415)/5?
True
Let v(w) = 43*w - 585. Is 2 a factor of v(21)?
True
Let y be ((-2)/8)/(1/(-172)). Suppose -68 = -g + y. Suppose -3*s = -9, -4*i + g = -5*s + 2*s. Is 15 a factor of i?
True
Let p = 2933 - 1522. Is 72 a factor of p?
False
Suppose -215*j - 69768 = -272*j. Is 72 a factor of j?
True
Suppose -5*p - 190 = 5*f, 0 = 5*f - 2*p - p + 158. Let h(n) = 9*n**3 + 2*n**2 - 1. Let c be h(1). Let y = c - f. Does 15 divide y?
False
Let o(a) = -a**2 - 55*a - 260. Is 68 a factor of o(-36)?
False
Suppose -4303 + 13851 = 7*b. Is 22 a factor of b?
True
Let p = 2009 + 366. Is p a multiple of 30?
False
Let f(a) = -a**3 - 8*a**2 - 13*a + 6. Let z be (105/(-45))/(2/6). Is 14 a factor of f(z)?
False
Suppose r = -0 + 5. Let f = -5 + r. Suppose -z + d + 66 = -f*d, -3*z - 3*d = -204. Does 13 divide z?
False
Suppose -3 - 2 = -5*t - 2*k, k - 1 = -4*t. Does 10 divide t + 1 - (-96 + 1)?
False
Is (-282)/((-138)/(-78) - 2) a multiple of 47?
True
Suppose -2*b - c - 6 = c, 2*b + 3*c + 11 = 0. Let f be -20*(14/(-4) + 2). Suppose 8 + f = b*m. Does 7 divide m?
False
Suppose -2*n - 6 = -2*o, 3*o + 2 = -1. Let y(s) = 18*s. Let c be y(n). Is 3/(-3)*3 - c a multiple of 18?
False
Let a(w) = w**3 + 14*w**2 + 6*w - 7. Is 65 a factor of a(-7)?
False
Does 5 divide 145 - 0/(3 + -9)?
True
Let g(r) = -r**3 - 4*r**2 - 7*r - 6. Let s = 82 + -58. Suppose s = -3*b + 3*u, -2*b + 3*u - 10 = 10. Is 7 a factor of g(b)?
False
Suppose -o + h + 44 = -6*o, 2*o - 2*h + 20 = 0. Let k(d) = -d - 3. Is 3 a factor of k(o)?
True
Let m(j) = -j**3 - j**2 - 2*j + 8. Let a be m(0). Is 236*(-2 + 18/a)/1 a multiple of 6?
False
Let y be ((-8)/(-5))/((-4)/(-10)). Is 4/(-1*y/(-66)) a multiple of 22?
True
Suppose -4*w - 4 + 24 = 0. Suppose -5*r - 4*n = -130, 1 = -r + w*n - 2. Is 13 a factor of r?
False
Suppose -26352 = -196*w + 188*w. Is 18 a factor of w?
True
Let u = 568 - -272. Is 30 a factor of u?
True
Let x(i) be the first derivative of -i**5/20 + i**4/6 + i**2/2 + 3*i + 7. Let a(j) be the first derivative of x(j). Is 4 a factor of a(-2)?
False
Suppose h - 356 = -5*x + 1118, -6011 = -4*h + 3*x. Is h a multiple of 54?
False
Let p(k) be the second derivative of k**4/12 + k**3/2 - 7*k**2/2 + 2*k. Let n be p(-5). Suppose -4*r + 98 = 2*w, 8*r - n*r + 4*w - 121 = 0. Does 9 divide r?
False
Suppose -3*u - 32 = -5*k, 2*k + 2*u = k + 9. Suppose -13 = -4*m + k. Suppose m*l + 0*l = 130. Is l a multiple of 26?
True
Let v(d) = -54 + 42 + d + 3*d + 2*d**2. Is v(-5) a multiple