 -2466 = -8*c + 10974. Does 7 divide c?
True
Suppose -a = -p + 41 + 43, 2*p - 5*a = 168. Suppose -5*d + p = 4*g - 355, -3*g + 333 = 3*d. Is 27 a factor of g?
False
Let q(f) be the second derivative of -f**4/12 + 8*f**3/3 + 3*f**2/2 + 7*f. Let p be q(16). Suppose 2*s - 33 = p. Does 6 divide s?
True
Let u be 0 + -2 + (-2 - -6). Suppose 0*p + p - 2*h = 8, -u = -p + 5*h. Let y = -7 + p. Is 2 a factor of y?
False
Suppose -4*b + 0*b + 1372 = 0. Suppose -b = -u - 2*u - 5*a, -4*u - 2*a = -434. Is u a multiple of 30?
False
Let x(t) be the first derivative of 3*t**2 + 274*t + 49. Is 12 a factor of x(0)?
False
Suppose 0*l + 8*l - 24 = 0. Suppose l*m = 4*m - 52. Is m a multiple of 10?
False
Suppose -t - 3*j = -47, t - 5*j = 3*t - 93. Suppose -t = -2*p - 0*p. Does 11 divide p?
True
Suppose -2*f = -3*m - 2863, 135*m - 139*m = -2*f + 2860. Is 26 a factor of f?
False
Let n = 4748 - 2754. Is 20 a factor of n?
False
Let b(p) = 43*p - 9. Suppose -4*k = 4*u - 8, 2*u + 4*k - 10 = 8*k. Does 12 divide b(u)?
True
Let q = 65 - -15. Is q a multiple of 40?
True
Let d(z) = z + 12. Let o be d(-7). Suppose -37 = -o*g - 12. Does 9 divide g/10 + 75/2?
False
Let i = 2224 - 965. Does 12 divide i?
False
Suppose -2*u - 8 = 2*v, u - 3*u = 3*v + 6. Let j = u - -11. Suppose -48 = -3*b - y + 42, -j*y = b - 16. Is 27 a factor of b?
False
Let q(m) be the first derivative of -27*m**2/2 + m - 25. Is q(-2) a multiple of 31?
False
Suppose -i = -4*h - 13, 0 = 2*i - 5*i + 4*h + 7. Let n be (18/(-15))/(i/20). Is ((-60)/n)/((-6)/40) a multiple of 25?
True
Let i(m) = 2*m**3 + 12*m**2 - m - 8. Let d be i(-6). Is 5 a factor of (9/(-2))/((-3)/d - 2)?
False
Let w = 1 + 2. Suppose -o - 3*o = -w*c - 8, c - 2*o = -6. Suppose 2*h - 76 = -3*q + 21, 0 = -h - c. Is 12 a factor of q?
False
Let f(b) = b**3 - 15*b**2 + b - 13. Let g be f(15). Suppose 3*m - 11 = d, g*d + 2*m - 2 = -0. Is 8 a factor of d + 31 + -2 + 1?
False
Suppose 0 = 3*a - 4*a + 2. Suppose -a*t = t - 6. Suppose -w = 3*z - t*w - 147, 5*w - 177 = -4*z. Is 12 a factor of z?
True
Let n be (1 + 2 - -2)*111. Let a = n + -379. Is 11 a factor of a?
True
Let g(h) = 11*h**2 + 8*h**2 + h**3 - 17*h**2 + 1. Is 8 a factor of g(3)?
False
Let v(y) = -2*y**2 + 13*y + 5. Let l be v(10). Let c = l + 108. Is 15 a factor of c?
False
Suppose 6*o - 299 = 241. Is o a multiple of 15?
True
Let c = -17 + 19. Suppose -c = l - 7. Suppose -l*g = 23 - 103. Is g a multiple of 10?
False
Let k(w) = -5*w. Let a be k(3). Let f = a + 31. Let y = 25 - f. Is y a multiple of 5?
False
Suppose 2*c + 278 + 6 = 0. Let y = c - -154. Is y a multiple of 12?
True
Let v(l) = l**3 + 9*l**2 + 14*l + 5. Let j be v(-7). Suppose -5*i + 111 = -j*b - 29, -5*b = 2*i - 63. Is i a multiple of 22?
False
Let z = 30 - 45. Let i = z + 10. Let t = i - -37. Is 7 a factor of t?
False
Suppose 38*k = 17*k + 714. Is k a multiple of 34?
True
Suppose 2*o - 8 + 50 = 0. Suppose 3*c = 3*k + 9, -5*c - 6*k + 3*k + 23 = 0. Let z = c - o. Is 8 a factor of z?
False
Let v(o) be the first derivative of -o**4/4 - 8*o**3/3 - 7*o**2/2 - 2*o + 1. Let n be v(-7). Is 4 a factor of 6/(n + -1) + 17?
False
Let g(m) = -m**2 + 7*m - 5. Let p = 5 - 0. Let f be g(p). Suppose 5*b - f*h = 30, 2*h - 4*h - 2 = 0. Is 2 a factor of b?
False
Let b(m) = -2*m**2 - 10*m + 6. Let z be b(-5). Suppose 0 = -5*p - 5, -z*p + 4*p - 6 = -w. Is w a multiple of 2?
True
Let f be ((1 - 3) + -16)*-2. Let w = f + -5. Suppose -t + x + w = -3, 4*t + 5*x - 91 = 0. Is 12 a factor of t?
False
Does 6 divide 859 + (-168)/154 + (-3)/(-33)?
True
Let b(y) = -2*y**2 + 14*y - 14. Let z be b(10). Let o = 47 + z. Is ((-36)/o)/(2/84) a multiple of 14?
True
Let z = -174 - -424. Does 10 divide z?
True
Let m(f) = -f**3 + 19*f**2 + 60. Does 58 divide m(-7)?
True
Suppose 5*t - 1021 = -4*d + 208, 3*t = 5*d + 730. Suppose 0 = 3*q - 0*l + 4*l - 736, q + l = t. Does 28 divide q?
False
Let g(q) be the first derivative of q**3/3 + 35*q + 2. Let u be g(0). Let z = -25 + u. Is 10 a factor of z?
True
Is 4 a factor of (464/3)/(-8)*-12?
True
Does 40 divide (-3834)/(-4) + -3 + (-72)/(-16)?
True
Let j = -31 - -69. Is 11 a factor of -12*(j/(-4) - -4)?
True
Does 15 divide -12 - -15 - (-532 - 1)?
False
Is 17 a factor of (-5610)/(-44)*(-64)/(-10)?
True
Suppose 0 = 5*g + 4*z - 13, -2*g = 4*z + 5 - 3. Suppose -2*n = -4*s - 396, -s = g*n - 2*n - 587. Is 23 a factor of n?
False
Let k(m) = m**2 - 7*m - 10. Let g be k(8). Let s = 30 + g. Suppose 3*i - s + 1 = 0. Is 6 a factor of i?
False
Suppose 0 = 5*i - f - 13, 0*f = -3*i + f + 9. Suppose 0*m - i*m = 2, 5*r - 4*m = 274. Is 7 a factor of r?
False
Suppose -f + a = -a + 1, 0 = 2*f - a + 5. Let d be 12/4 + f - 21. Does 10 divide ((-35)/d)/(1/15)?
False
Let z = -213 + 300. Is z a multiple of 3?
True
Let d(g) = 5*g**2 - 7*g + 19. Does 34 divide d(-9)?
False
Suppose -7*f = -4*f + 75. Let d(y) = y**3 + 25*y**2 - 6*y - 29. Is 18 a factor of d(f)?
False
Let x(b) = b**3 + 11*b**2 + 9*b + 2. Let i be x(-10). Let y(q) = 6*q**2 - 17*q - 12. Let a(o) = o**2 - o. Let m(n) = 5*a(n) - y(n). Does 6 divide m(i)?
True
Let g be 4*((-2)/(-8) - 2). Let s(v) = v**2 + 4*v - 8. Does 2 divide s(g)?
False
Let c(f) = -1067*f - 94. Is 40 a factor of c(-2)?
True
Let t(m) = 192*m - 14. Is t(1) a multiple of 14?
False
Let k(v) = -v - 1. Let q(j) = -15*j + 45. Let x(o) = 4*k(o) + q(o). Does 15 divide x(-10)?
False
Suppose j + 2*j = 9. Is (-406)/(-8) - -3 - j/4 a multiple of 17?
False
Suppose 4*y + y = -4*c - 4, 5*c = -4*y + 4. Suppose 5*o - 2*k - 44 = -k, 0 = -3*o + c*k + 40. Suppose o = 6*w - 184. Is 8 a factor of w?
True
Let f(h) be the first derivative of 32*h**2 + 29. Is 48 a factor of f(3)?
True
Let v(s) = -s**3 + 22*s**2 + 28*s + 10. Let o be v(21). Does 3 divide 20/(-170) - o/(-17)?
False
Let t be 4/(-1) + 5 - 5. Let f be 19/t*(-24)/1. Is (-32)/(-12)*f/4 a multiple of 19?
True
Let n(u) = u**3 - 2*u**2 - 3*u + 3. Let j be n(4). Suppose -j = -t + 92. Is t a multiple of 11?
False
Is 4/14 - (-71589)/343 a multiple of 11?
True
Let q be 12 + (0 + 1)*-2. Suppose 11*b = q*b. Does 18 divide (b - -1)*-4 - -94?
True
Is ((1 - -8)/(-1))/(9/(-27)) a multiple of 3?
True
Let s(v) = 74*v + 211. Does 11 divide s(4)?
False
Let l(r) = r**3 - 6*r**2 + r - 1. Let s be l(6). Suppose 5*n - 215 = -s*i, i - 179 = -4*i + 4*n. Suppose 4*k = i + 121. Does 20 divide k?
True
Suppose -5*d = -4*k - 12, -d + 3*d - 14 = -3*k. Suppose -24*p + 75 = p. Suppose -28 = -3*h + p*j + 113, 207 = 5*h + k*j. Is h a multiple of 16?
False
Let b(y) = 7*y**2 - 3*y - 8. Let p be b(-3). Suppose 0*j = -4*j + 28. Suppose 0 = 9*x - j*x - p. Does 29 divide x?
False
Let y(f) = -f. Let c(t) = -16*t - 17. Let k(u) = c(u) - 5*y(u). Let o = 17 - 24. Does 15 divide k(o)?
True
Suppose -3*t + 811 = 4*i - 841, -1256 = -3*i + 2*t. Suppose -v + i = 3*v. Is 27 a factor of v?
False
Let h(d) = 18*d + 52. Does 9 divide h(14)?
False
Is 17 a factor of -4 + -35*(-21)/35?
True
Is 9 a factor of (-2)/26 + (-400320)/(-312)?
False
Let k(d) = d**2 + 3*d - 26. Let j(z) = -z**2 - 2*z + 25. Let n(u) = 3*j(u) + 4*k(u). Does 42 divide n(-17)?
False
Let m(f) = -2*f**2 + 2 - 3*f**3 - 3*f**2 + 5*f - f**3 + 3*f**3. Let x be m(-6). Suppose -4*q + 2*b + 72 = -0*b, 2*b - x = 0. Does 10 divide q?
True
Let d = -4 - -24. Let l(k) = -k**3 + 10*k**2 - 8*k + 13. Let t be l(9). Let y = t + d. Is 14 a factor of y?
True
Let d(t) = -t**3 - 4*t**2 + 5. Let h be d(-4). Let g(v) = 5*v**3 - 3*v**2 + 1. Let m be g(2). Let p = m - h. Does 16 divide p?
False
Let a(y) = 3*y - 44. Let i be a(15). Does 10 divide 1 + (-390)/(-5) + i?
True
Suppose 9 = 7*b - 4*b. Let o be 20/b*6/5. Is 9 a factor of 9*o/6 - 3?
True
Let r = 33 + -31. Suppose -r*q + 5*x = -119, -3*q + 36 = -5*x - 130. Does 14 divide q?
False
Let r be 0 + (-4 - -4)/(-3). Suppose 5*q - u = 5, 2*q - 2*u + 10 - 4 = r. Is 2 a factor of q?
True
Let k = 422 - 380. Is 42 a factor of k?
True
Suppose -2*p - 2 + 8 = 0. Suppose 5*z - 20 = 2*l + 8, -p*z = 3*l. Suppose -m - 5*d + 39 = 0, z*m - m - 169 = -2*d. Does 14 divide m?
False
Suppose -3*h = -0*h. Let w(q) be the first derivative of -q**4/4 - q**3/3 + 24*q - 41. Is 7 a factor of w(h)?
False
Is (134/(-10))/((-20)/1700) a multiple of 67?
True
Let v = 17 + -63. Let r = v + 52. Is r a multiple of 5?
False
Suppose 3*o - 3813 = 264. Is o a multiple of 49?
False
Let x be ((-65)/5 -