se -y = l - c. Is 2 a factor of l?
False
Suppose -4318 = 3*h + 4*p, -13*h + p = -15*h - 2877. Let r = h - -2092. Is 26 a factor of r?
False
Let w(b) be the second derivative of b**6/36 - b**5/40 + b**4 + 11*b. Let j(m) be the third derivative of w(m). Does 13 divide j(4)?
False
Suppose -203*l + 27190 = 5*q - 208*l, -4*q - 2*l + 21764 = 0. Is q a multiple of 16?
True
Suppose 4*j - 3*f - 14 = 0, -f = -2*j + j + 4. Is 102 + -4*3/j a multiple of 8?
True
Suppose -37*y - 3*s = -36*y - 2379, -3*y + 7127 = -s. Is y a multiple of 104?
False
Let f(j) = -13*j**3 - j**2 - j - 4. Let o be f(-2). Let g = 413 - o. Is 63 a factor of g?
True
Let n = 2227 - 673. Suppose -4*q = -1978 + n. Is q a multiple of 53?
True
Is 103 a factor of 120201/(-6)*(-19)/(95/10)?
True
Let o = 46 + -44. Suppose 3*h = 4*s + 6, 0 = h + 3*s - 5*s - o. Suppose u - h*u - 5*t = -51, 0 = -4*u - 4*t + 220. Does 23 divide u?
False
Let v be 6/10 - (-43985)/25. Suppose 2*l + v = 3*x, 3*l - 413 - 181 = -x. Does 14 divide x?
True
Let z(i) = -8*i**2 - 26*i - 42. Let t(q) = 17*q**2 + 52*q + 85. Let c(x) = -4*t(x) - 9*z(x). Is 47 a factor of c(-13)?
True
Suppose -38*h + 12604 = -48*h + 234214. Is h a multiple of 7?
False
Let q be (-1)/((-4)/(-24)*-3). Let n(r) = -4 + 6*r + 1 + q - r. Does 6 divide n(5)?
True
Suppose -2*w + 68 = -0*w - 4*c, -4*c - 140 = -4*w. Let n be (4 - 16/(-6))*w/15. Is 3 a factor of ((-14)/(-35))/((-4)/(-15))*n?
True
Suppose 5*q - 943 = 707. Let d = q + 28. Is 17 a factor of d?
False
Suppose -t = 5*g - 0*t + 101, -4*g - t = 81. Let m = g - -147. Suppose 393 + m = 5*c. Is c a multiple of 31?
False
Let h = 5248 + 32372. Is h a multiple of 33?
True
Is 22 a factor of 8/84 + 3018148/588?
False
Suppose 29*j + 2301 = 32*j. Suppose -j = -5*a + 348. Is a a multiple of 12?
False
Let l(j) = j**2 - 17*j + 8. Let i be l(18). Let b = i - 22. Suppose -56 = -4*u - 4*y, -3*y = u - b - 2. Is u a multiple of 3?
True
Let t be 3*((-866)/(-3) - (-14)/21). Let v = t + -829. Is v a multiple of 13?
True
Let z(a) be the third derivative of 5*a**7/504 + a**6/240 - a**4/3 - 12*a**2. Let g(j) be the second derivative of z(j). Is 13 a factor of g(-2)?
False
Let y(u) = -1881*u - 56. Is 38 a factor of y(-1)?
False
Suppose 0 = k - 2*q - 14, -5*q - 54 + 10 = -4*k. Let w be (-1)/2 + 3/k. Is 12 a factor of (2/(-3))/(w - (-1)/(-18))?
True
Let o = 1974 - 521. Suppose -4*h = -d + 278, 7*h + o = 5*d + 8*h. Is d a multiple of 29?
True
Let a be 5 + (1 - 0 - -1). Suppose a*l = -10*l + 7599. Does 39 divide l?
False
Suppose 7*d = -5*p + 11*d + 20, -4*d - 20 = -4*p. Suppose 2*r = -5*u + 181 + 231, -5*r - 20 = p. Is u even?
True
Let z(c) = -c**3 + 8*c**2 - 4*c - 9. Let g(f) = -4*f**3 + 25*f**2 - 13*f - 27. Let t(u) = 2*g(u) - 7*z(u). Let s be t(-6). Does 29 divide (s/9)/(5/(-1740))?
True
Suppose -4*s + 2*a + 6 = s, 4*s - 4*a - 12 = 0. Suppose s = 4*q - 0*q - 10044. Suppose -q = -10*m + m. Does 52 divide m?
False
Let m(s) = 9*s - 66. Let a be m(8). Does 55 divide 30/(-8)*-16*11/a?
True
Let z = 156 + 137. Let d = z + 183. Is d a multiple of 19?
False
Suppose 157*f - 139*f = 362142. Does 276 divide f?
False
Suppose 5*c + 2*j - 1705 = 0, -1004 = -3*c + 15*j - 20*j. Let b = c - 63. Does 35 divide b?
True
Is 11 a factor of (-139)/(-2919) + (-442973)/(-21)?
False
Suppose a = 2*g - 71, 107 = 5*g + 3*a - 76. Let k be 80/g + (-1)/((-36)/(-8)). Suppose 100 = -k*x + 7*x. Does 2 divide x?
True
Let h = 72694 - 43116. Is h a multiple of 46?
True
Let w = 42 + 36. Does 29 divide 2132/w*9*(-1)/(-2)?
False
Suppose -6*m = -m + 80. Let r = m + -13. Let k = r + 37. Does 4 divide k?
True
Suppose -84*j = -24*j - 31*j - 399301. Does 281 divide j?
True
Let b = 59 + -102. Let j = 35 + b. Let p(s) = s**3 + 10*s**2 - 3*s + 8. Does 32 divide p(j)?
True
Suppose -20*p + 14*p + 2316 = 0. Let n = -144 + p. Is n a multiple of 22?
True
Let m(a) = a**2 - 28*a - 5. Let c be m(28). Is 19 a factor of (52 + c)/((-1)/(-8))?
False
Let x(p) = -6*p - p**3 - 2*p**2 + p - 7*p**2. Let u(k) = k**3 - 18*k**2 - k + 9. Let m be u(18). Does 9 divide x(m)?
True
Let n be 5*(-2 - (-4)/10). Suppose 0 = -10*i + 8 + 2. Does 23 divide i + 4/(n/(-122))?
False
Suppose -8043 = -9*m + 24375. Suppose 4*l + a - m = 0, 372 + 4124 = 5*l - 2*a. Does 15 divide l?
True
Let a(o) be the first derivative of -23*o**2/2 - 203*o + 223. Is 27 a factor of a(-27)?
False
Let s = 888 + -959. Let l = s + 377. Is 9 a factor of l?
True
Suppose -4*t + 43*h - 3048 = 39*h, 0 = 3*h. Let m = t - -2148. Is 22 a factor of m?
True
Let u be (-54)/(-1*(-4)/(-12)). Is 52 a factor of ((-13)/((-195)/140))/(1/u)?
False
Suppose -18 = -t - 4*w, 3*t - 2 = 5*w + 1. Is 9 a factor of 122 - ((-8)/12)/(1/t)?
True
Let a(t) = 6*t**3 + 159*t**2 - 37*t + 19. Is 21 a factor of a(-20)?
True
Suppose -c + 419 = -4*g, -20*c + 19*c + 3*g + 414 = 0. Does 57 divide c?
True
Let s be 11/(-11)*(-2 + -1082). Suppose 15*m = -s + 15439. Does 19 divide m?
False
Let j be 1/(-4) - 15093/(-52). Let p = j - -25. Is p a multiple of 15?
True
Let y = 56 + -61. Is 26 a factor of (-5 - 21/y)/((-3)/1365)?
True
Let p(y) = 5*y**2 + 11*y + 18. Let f be p(-7). Let q = f + -124. Is q a multiple of 7?
False
Let w be 3 - (-7)/((-7)/9). Let t be (-114)/(-14) - 4/(-168)*w. Is (-2)/t - (117/(-4) - 0) a multiple of 21?
False
Let t = 1464 + 6908. Is t a multiple of 13?
True
Suppose 0*y = -4*y + 28. Suppose 6*l = 5*l - y. Let a(o) = 2*o**2 + 9*o - 10. Does 18 divide a(l)?
False
Suppose -3*h + 0 = -4*n - 17, 2*h + 4*n = -22. Does 37 divide (22/6 - h)*111?
True
Suppose 0 = -z + 2*r + 11*r + 11864, -35592 = -3*z - 5*r. Does 8 divide z?
True
Let q = 9177 + -1692. Is 216 a factor of q?
False
Suppose 0 = -w - 4*w + 15. Let a(t) = -53*t - 15. Let b be a(w). Let u = 249 + b. Is 25 a factor of u?
True
Let p be ((-5424)/27)/(-4) + (-26)/117. Suppose -11*r = -12*r + p. Is r a multiple of 11?
False
Let b = 4652 - 4192. Is b a multiple of 46?
True
Let f = 6096 - 3357. Is f a multiple of 11?
True
Let b = -73 - -96. Let m = b - 11. Suppose m*r - 337 = 1991. Is 14 a factor of r?
False
Suppose -42*v + 38*v = -12. Let w be (0 - -1)/(v/6 + -1). Does 16 divide ((-22)/(-33))/(w/(-381))?
False
Let r = 5226 - -794. Does 10 divide r?
True
Let f(x) = 3*x**3 + 5*x**2 - 27*x + 479. Does 298 divide f(15)?
True
Let k(z) = -3*z**2 + z - 25. Let a be k(0). Is a/(-15) + 13/3 a multiple of 2?
True
Let z(b) = -4*b**3 - 4*b**2 + 58*b + 62. Is z(-11) a multiple of 82?
True
Suppose 5*l + 2 = -4*f + 55, -2 = -2*l. Suppose g - 134 = 2*x, -f - 118 = -g - 2*x. Let k = g + -14. Is k a multiple of 18?
False
Let w be 6/84*9428 + 12/21. Suppose -r + 2*k + w = 0, -k + 1608 = 2*r + 270. Is r a multiple of 61?
False
Is 14 a factor of -9 - -9 - -12 - -5854?
True
Is 26 a factor of 258531/51 - 52/221?
False
Suppose -5*a + 2*t = -92412, 3*a - 110890 = -3*a - 2*t. Is 201 a factor of a?
False
Suppose -3*w = 4*h - 27680 - 6954, 0 = 8*w + 3*h - 92388. Is 35 a factor of w?
True
Let t(j) = -4*j**3 - j**2 - 3*j - 2. Let y be t(-1). Suppose -4*r + 88 = -y*g, -14 = -3*r - 2*g + 52. Let u = r - 8. Is u a multiple of 14?
True
Let x be 3*(1 - 2) - -160. Let u = 13 + 27. Let z = x - u. Does 35 divide z?
False
Let r(k) = -3*k + 21. Let v be r(7). Does 51 divide 68*((-126)/(-24) - v)?
True
Let o(i) = 4*i**3 - 5*i**2 - i - 8. Let y be o(4). Let r = 188 - y. Does 11 divide r?
False
Suppose -13*x = -14*x + 2. Let s(f) = 7*f**2 - 2*f + 6. Let u be s(3). Suppose 147 = x*d - u. Is d a multiple of 35?
True
Let a be (2 + 431)*8/20*5. Let f = -227 + a. Let p = f - 454. Is 24 a factor of p?
False
Suppose -4*l - 5*q = -0*l - 20828, l - 5*q - 5182 = 0. Is l a multiple of 17?
True
Suppose 3*j = -q - 2, -2*j + 4 = q + 7. Suppose 5*w + v - 1 = j, v - 2 = 5*w. Suppose 7*h - 45 - 165 = w. Is 5 a factor of h?
True
Let f(y) = -y**2 - 109*y - 483. Is f(-5) a multiple of 2?
False
Suppose 0 = 9*o - 43350 - 152670. Is 16 a factor of o?
False
Suppose w = 3*z - 2253, -3*w + 7*w - 1488 = -2*z. Suppose -12*j - z = -17*j. Does 2 divide j?
True
Let l(j) be the second derivative of 13*j**4/6 - j**3/6 - j**2/2 - 21*j. Let m be l(-2). Suppose -285 = -2*f - m. Does 18 divide f?
True
Suppose 6 = 4*a - 4*h - 26, a + 2*h = 11. Suppose 3*m - 30 = a*m. Let b = 44 + m. Does 39 divide b?
True
Let x = -54 + 60. Let c(s) = x + 8*s**2 - 14*s + 20*s + 19*s**2. Is 17 a fact