0, 0*n + 4*n - 4*a - y = 0. Is 11 a factor of n?
False
Let q(u) = -u**2 - 33*u - 219. Does 17 divide q(-13)?
False
Suppose 5*p = -321 - 139. Does 22 divide 4/(-16) + 30*p/(-32)?
False
Let k(f) = -f**3 + f**2 - 1. Let y(m) = 3*m**3 - 15*m**2 + 18*m - 17. Let d(g) = -2*k(g) - y(g). Suppose -3*s + 1 = -32. Does 11 divide d(s)?
False
Suppose 4*w - 24 = -m, 2*m = -4*w + 13 + 11. Let s(g) be the third derivative of g**6/120 - g**5/20 - g**4/3 + g**3/2 + 18*g**2. Is 13 a factor of s(w)?
False
Let m(i) be the first derivative of -i**4/4 + 7*i**3/3 + 9*i**2/2 + 3*i + 3. Suppose 4*f - 2*d - 52 = 2*d, -30 = -5*f - 2*d. Does 8 divide m(f)?
False
Let j(y) be the first derivative of y**4/4 - 5*y**3 + 15*y**2/2 - 11*y + 5. Let n be j(14). Suppose 5*w - n*w - 124 = 0. Is w a multiple of 7?
False
Let s(a) = a**3 + 20*a**2 + 52*a - 12. Is s(-14) a multiple of 25?
False
Let o(d) = d**3 + 11*d**2 + 9*d - 2. Let b be o(-10). Let l(y) = -3*y. Let g(x) = -x. Let m(p) = b*g(p) - 3*l(p). Is m(12) a multiple of 6?
True
Let o(k) = -2*k - 13. Let u be o(-9). Let m = u - -3. Let x = -4 + m. Does 4 divide x?
True
Let t = 155 - 176. Does 15 divide t/(-14) - (-828)/8?
True
Suppose 0 = 2*g - 2*o - 114, 2*g - 117 = -0*o + 3*o. Let y = g - 35. Does 8 divide y?
False
Let p be (1/4*9)/(6/368). Suppose 0 = -5*v + 2*v + p. Is v a multiple of 9?
False
Let l(n) = -n**2 + 48*n - 48. Does 23 divide l(39)?
False
Let j be 918/(-4)*(-20)/30. Let u = j + -81. Does 18 divide u?
True
Let j = -461 - -237. Is (-4)/(-5)*1 - j/20 a multiple of 3?
True
Suppose -154*w + 98*w = -59640. Does 12 divide w?
False
Suppose 2*c - 3456 = -5*d, 9*c - 8578 = 4*c + 3*d. Is c a multiple of 15?
False
Suppose 2*a + i = 75, 0 = -4*a - 4*i + 196 - 56. Suppose -a - 24 = -4*h. Is 7 a factor of h?
False
Let i(r) = r**2 - r + 2. Let l be i(-4). Suppose -3*y - m = 4*m - l, 0 = 4*y - m - 37. Suppose 0 = y*d - 355 - 401. Does 20 divide d?
False
Suppose 33 = -5*x - 3*n, 3*n + n - 16 = 0. Let b(o) = -o**2 - 12*o - 5. Does 7 divide b(x)?
False
Suppose 0 = -m + a + 524, -m = 3*a - 23 - 513. Is m a multiple of 9?
False
Let h(t) be the first derivative of t**6/120 + t**5/10 - t**4/3 - 2*t**3/3 - 2*t**2 - 2. Let k(f) be the second derivative of h(f). Is k(-5) a multiple of 22?
False
Let l = 88 - 66. Let q(v) = 98*v**2 + 1. Let u be q(-1). Is (u/l)/(2/44) a multiple of 21?
False
Let x(q) = 2*q**3 - 4*q**2 - 11*q - 12. Suppose i - 3*i + h = -9, -21 = -4*i + h. Is 36 a factor of x(i)?
False
Let s(t) = t - 5. Let b be s(9). Let l(d) = -d**3 - 21*d**2 - 22*d. Let k be l(-20). Let u = k - b. Is u a multiple of 27?
False
Suppose -47 = -6*g - 575. Is 295 - (39/(-33) - 16/g) a multiple of 37?
True
Let s(d) = -101*d + 99*d - 54 + d**2 - 32 - d**3. Let z be s(0). Is 12/(-42) + z/(-7) a multiple of 4?
True
Let n = -12 + 60. Let s = n - -110. Is 22 a factor of s?
False
Suppose 0 = -9*d + 15 + 12. Suppose 0 = 3*o - 0*o + 345. Is 13 a factor of (-8)/(-12) - o/d?
True
Let c = 8622 - 5561. Is 11 a factor of c?
False
Suppose -2*q + 4*k + 44 = 0, 5*q - k - 109 = q. Suppose q*u = 27*u + 89. Is 11 a factor of u?
False
Let k(y) = 19*y**2 + y + 1. Let l be k(-1). Suppose -17 = -3*f + l. Is f a multiple of 7?
False
Suppose r = 18 - 4. Let t(w) = w**3 - w - 1. Let v(m) = -2*m**3 - 14*m**2 + 2*m - 9. Let c(z) = -3*t(z) - v(z). Does 24 divide c(r)?
False
Let w(t) = 10*t**2 + 10*t + 36. Is w(-7) a multiple of 46?
False
Let j(o) = 9*o - 1. Let f be j(2). Let r = f - 20. Let u(s) = -24*s - 4. Is 17 a factor of u(r)?
True
Does 28 divide (-4 + 32)/((-8)/(-56))?
True
Let y be 16/40 + 3274/(-10). Let m = y + 558. Does 15 divide m?
False
Suppose 3*s - s + b - 257 = 0, -142 = -s + 4*b. Let a = 267 - s. Suppose 3*u - 4 = a. Does 11 divide u?
False
Let o(a) = 29*a**2 - 32*a - 27. Does 59 divide o(-6)?
False
Let v(s) = 4 - 52*s**2 - 3*s**3 - 7*s**3 + 3*s + 52*s**2. Does 18 divide v(-2)?
False
Suppose 25480 = 88*r - 74*r. Does 65 divide r?
True
Suppose 20*l - 12 = 16*l. Suppose 3*u - c = -4*c + 132, l*c = 2*u - 108. Is 4 a factor of u?
True
Let z(b) be the third derivative of b**4/3 + b**3/3 + b**2. Let s(w) = w**3 + 5*w**2 + 5*w + 1. Let q be s(-3). Is 17 a factor of z(q)?
True
Suppose -4*z + 2 = -102. Is 17 a factor of 4/z - (-20713)/143?
False
Let z = 16 + -10. Let r be z/(5*(-6)/(-15)). Suppose r*x - 55 = 38. Does 7 divide x?
False
Let p be -3 + 5 - 12 - -3. Let l be 0/p - (-52 - 1). Let b = -5 + l. Is 12 a factor of b?
True
Let d = 1537 + -889. Is 72 a factor of d?
True
Is (451 - 3)/(2/4) - -1 a multiple of 17?
False
Suppose -4*v = -4, 4*u + 2*v - 1 = -39. Let b(d) = -d**3. Let p(j) = -4*j**3 + 9*j**2 - 8*j + 11. Let f(r) = 5*b(r) - p(r). Is 3 a factor of f(u)?
True
Suppose -27*g - 4743 + 14571 = 0. Is 13 a factor of g?
True
Let j(x) = -2*x - 4. Let f be j(-3). Suppose 2*k - 21*m = -24*m - 9, -15 = k + 5*m. Suppose k*t - 190 = -f*t. Is 32 a factor of t?
False
Suppose -5*h + 3*x + 19437 = 0, -70*x - 19429 = -5*h - 69*x. Is h a multiple of 49?
False
Let a(b) = b**3 - 4*b**2 + b + 741. Is a(0) a multiple of 20?
False
Let w(b) = b**3 - 26*b**2 + 4*b + 111. Is w(28) a multiple of 48?
False
Let a be 582/8 - (-15)/60. Let o = 145 - a. Let k = o + -37. Does 7 divide k?
True
Is (2 - (1 + 2)) + 169 a multiple of 7?
True
Let t(x) = 26*x**2 + x - 100. Is t(-10) a multiple of 74?
False
Let d = -33 - -33. Suppose -10*s + 369 + 111 = d. Is s a multiple of 24?
True
Let z = -2367 + 4047. Is 20 a factor of z?
True
Let g(i) = -45*i - 3. Let m be g(-1). Let o = m + -6. Is o a multiple of 12?
True
Suppose 3*b + 238 = f, -4*f + 4*b - 547 = -1499. Is f a multiple of 119?
True
Let n(u) be the third derivative of 49*u**5/60 + u**4/24 - u**3/6 - 18*u**2. Does 7 divide n(1)?
True
Let n = -115 + 207. Let t = 32 - 24. Suppose -n = -t*v + 4*v. Is v a multiple of 13?
False
Let j(b) = b + b**3 - 6*b**2 + 4*b + 4*b**3 - 4*b**3 - 3. Let y be j(4). Is 13 a factor of (-1)/(-5) - 777/y?
True
Let m be (-2)/(174/(-57) - -3). Suppose 0 = -2*o - m + 74. Is o a multiple of 6?
True
Let q be -3 + -3 + 0 + 3. Let s be (3 + q)/(-3) - -3. Let k = 47 + s. Is 17 a factor of k?
False
Let d = -44 - -105. Suppose 4*s + 68 = 4*t - 8, 3*t = -3*s + 75. Let n = d - t. Does 12 divide n?
False
Suppose -65*y = -59*y - 1794. Is 18 a factor of y?
False
Let k be -2 + 4 + 2 - -6. Suppose -2*i + u - k = -61, 81 = 3*i - 3*u. Is 14 a factor of i?
False
Suppose 0 = -5*r - 104 + 14. Let t = r - -90. Is t a multiple of 11?
False
Suppose 27*i - 3168 = 15*i. Is i a multiple of 11?
True
Let n = 21 - 26. Is 4 a factor of n + 1 - (-3 + -13)?
True
Is 102*(-3)/(-30)*5 a multiple of 17?
True
Let w(i) be the second derivative of i**4/12 + i**2 - 2*i + 4. Suppose r - 6*r + 20 = 0. Does 18 divide w(r)?
True
Suppose -4*c + 11 - 3 = 0. Suppose -4*y - 38 = 5*n - 153, 0 = -2*n - c. Does 5 divide y?
True
Is 4/(-16) + (-9303)/(-28) + 4 a multiple of 24?
True
Suppose -6*i - 82 = -22. Let q = i - -16. Suppose 0 = -3*d + q + 21. Is 3 a factor of d?
True
Suppose -3*o = 3*u + o - 1718, 5*u - 3*o - 2873 = 0. Does 27 divide u?
False
Let w(y) = 51*y**2 - 37*y + 151. Does 26 divide w(4)?
False
Let g(x) = -x**3 + 29*x**2 - 29*x + 28. Let u be g(28). Is (-77)/(-2)*(u + 7 + -5) a multiple of 11?
True
Let f = -2 + 59. Suppose -2*w = w + 3*h - f, -w - 2*h = -22. Is w a multiple of 6?
False
Let j = -6 - -6. Suppose x + 3*x - 436 = j. Suppose x = 5*o - 251. Is 18 a factor of o?
True
Suppose 0 = 5*y + 5*p - 45, 3*p - 12 = -5*y + 31. Let j(b) = y - 5*b**2 - 1 - 5*b + 13*b**2. Does 13 divide j(3)?
False
Let r be (4/16)/((-2)/(-16)). Let j(i) = i**2 + 8. Let w be j(6). Suppose -28 = -r*o + w. Does 9 divide o?
True
Let a(o) = 9*o**2 + 5*o + 4. Let d be a(-2). Does 6 divide (-2)/(-2 - (-56)/d)?
False
Does 36 divide 3 + 198/((-42)/(-7))?
True
Let n(c) = 4*c - 2*c**2 + 7*c + 15 + 3*c**2. Suppose 6*l = -71 + 11. Is 3 a factor of n(l)?
False
Is 34 a factor of 133 + ((-3)/(-9))/((-1)/(-9))?
True
Suppose -64*d = -59*d - 4135. Does 54 divide d?
False
Suppose 0 = 5*c + 7*x - 3*x - 580, -5*x = 2*c - 215. Is 6 a factor of c?
True
Suppose 0 = -6*c + 6. Let v = 3 + c. Suppose 3*y - 88 = -5*l, 34 = 2*l - v*y + 4. Is 7 a factor of l?
False
Let l(q) be the second derivative of -3*q - 1/6*q**4 + 7/2*q**3 + 0 + 2*q**2. Does 14 divide l(10)?
True
Suppose 401 = 5*w - 2*k, w - 77 = 