5*k + 3*f - 465, p*k = -4*f + 192. Does 9 divide k?
True
Let c(g) = -2*g**3 + 6*g**2 - 13*g + 18. Let s(n) = 5*n**3 - 11*n**2 + 26*n - 32. Let o(y) = 5*c(y) + 3*s(y). Is 18 a factor of o(6)?
True
Suppose -r = -5*p - 14709, -4*r + 3*p - 29483 = -6*r. Does 139 divide r?
True
Suppose 0 = -2*x - 10, x = 2*f - 173 - 686. Let w = 562 - f. Does 3 divide w?
True
Suppose t = 4*h - 12110, -7375 - 1694 = -3*h + 3*t. Does 233 divide h?
True
Let h = -28835 - -41042. Does 13 divide h?
True
Suppose -2*d - 3 = -3*d. Suppose -2*n - 310 - 203 = -d*o, -2*n - 4*o = 520. Is (n/(-9))/((-4)/(-6)) a multiple of 10?
False
Let w(x) = -x**3 + 19*x**2 - 4*x + 1. Let n = 190 - 183. Does 17 divide w(n)?
True
Suppose 0 = 23*i - 11*i - 24. Suppose -1193 = -i*l - p, 5*l + 3*p - 4*p = 2965. Is 22 a factor of l?
True
Let x(o) = -o**3 + 3*o**2 - 3*o + 2. Let a be x(2). Suppose -5*m - 5*m = a. Suppose m = 3*l + 5*s - 97, l + s - 3*s = 36. Is l a multiple of 10?
False
Let q(w) = w**2 + 15*w + 19. Let g(c) = -c - 1. Let p(u) = 6*g(u) + q(u). Let k be p(-8). Suppose -k*x + 115 = -65. Is 4 a factor of x?
True
Is 4 a factor of (1143 - -2)/(35/196)?
True
Let v(y) = -7*y**2 + 13*y - 1. Let d(h) = -4*h**2 + 6*h - 1. Let w(c) = 5*d(c) - 3*v(c). Let z be w(9). Does 25 divide (0 + 3 + z)*50?
True
Is 174 a factor of (-7345)/(-130)*8/(-5 - -1)*-263?
False
Let r(d) = 12*d**3 + 7*d**2 - 2*d - 12. Let b(x) = -11*x**3 - 8*x**2 + x + 12. Let p(f) = -5*b(f) - 6*r(f). Is 24 a factor of p(-3)?
True
Is 80 a factor of 84/147 - 243860/(-35)?
False
Let c(g) = 5*g**2 - 34*g - 3319. Does 7 divide c(70)?
False
Is (9692 + 1)/(135/90) a multiple of 29?
False
Let f(b) be the third derivative of -b**4/6 + 11*b**3/2 - 9*b**2. Let p be f(18). Let m = p - -87. Is 5 a factor of m?
False
Suppose 0 = 8*f - 16 + 8. Let t be (-2)/(0 - f) + 3. Suppose -40 = -4*o + 4*h, t*o = -0*o - h + 68. Is 3 a factor of o?
False
Let g = -76 - -81. Suppose 30*t - 25*t = -g. Let k(n) = -67*n**3 + 3*n**2 + n - 1. Does 4 divide k(t)?
True
Suppose -69582 = -8*o - 3*q, -11*o = -14*o + 2*q + 26112. Is 150 a factor of o?
True
Let q(w) = -5*w**2 - 8*w. Let n(t) = -5*t**2 - 9*t + 1. Let l(o) = 6*n(o) - 5*q(o). Let h(z) = -z**2 + z - 1. Let x(v) = 4*h(v) - l(v). Does 15 divide x(-20)?
True
Let p(f) = -f**2 + 8*f - 2. Suppose -8*g + 21 = -5*g. Let c be p(g). Suppose -25 = -2*b + 3*m - 8, -4*m = -c*b + 32. Is 4 a factor of b?
True
Let t(l) = l**3 - 12*l**2 - 12*l - 10. Let a be t(13). Suppose 75 = a*h - 75. Suppose -b + 3*w = 5*w - h, -3*b + w = -122. Is b a multiple of 12?
False
Let f(n) = 1075*n + 10911. Is 14 a factor of f(39)?
True
Let f(o) be the second derivative of o**4/2 - 14*o**3/3 + 15*o**2/2 - 20*o. Is f(8) a multiple of 17?
False
Let m be -1*(2 + -1) + 0 - -3. Suppose 3*n - m*r = 211, 2*n + 0*n - 4*r = 138. Is 3 a factor of n?
False
Suppose 0 = 35*f - 367441 + 73266. Suppose 6695 = 25*p - f. Is 45 a factor of p?
False
Let l(q) = q**2 + 11*q - 8. Let g be l(7). Suppose 0 = 2*k + 4*p + 94, 0 = -2*k + 4*p - 2*p - g. Let i = k + 106. Is i a multiple of 44?
False
Let b = 2554 - 658. Does 8 divide b?
True
Suppose k - 3*l = 31751, 8945 = 4*k - 4*l - 118107. Is 15 a factor of k?
False
Suppose -4*l + 37 = -95. Suppose 4*f = 2*w - f + l, 0 = -4*w - 3*f - 1. Is w + (-3)/(3/(-164)) a multiple of 32?
True
Let r(v) = -2*v**3 - 13*v**2 + 7*v + 7. Let b be r(-7). Suppose 0 = b*x - 2*x + 20. Is (-473)/(-22) + 2/x a multiple of 5?
False
Let y(x) be the second derivative of x**5/20 + 5*x**4/6 - 11*x**2/2 + 2*x. Is 8 a factor of y(-7)?
True
Suppose w + 4*x - 650 = 0, 2*x + 485 + 3259 = 6*w. Is w a multiple of 2?
True
Suppose -5*b = 2*a - 10, 12 = 4*a + 5*b - 8. Suppose 395 = 3*l - 5*u, -a*l + 8*u - 3*u = -645. Does 3 divide l?
False
Suppose -2*o = -5*g + 6, -o + g - 6 = -3*o. Suppose 2*l = -o*x + 14, -12 = -4*l + 5*x - x. Suppose -t - 342 = -5*n, l*t - 93 = -4*n + 198. Is 23 a factor of n?
True
Suppose -4*s + y = -1074, 1792 = 5*s + 2*y + 430. Does 5 divide s?
True
Suppose -27509 = -4*a + 5*z, -1049*a = -1047*a + 2*z - 13786. Is 22 a factor of a?
True
Does 132 divide (72749/92)/(1/8)?
False
Let r(a) = a**2 - 17*a + 2. Let f be r(12). Suppose 3*k - 22*z = -18*z + 512, -2*k + 313 = 3*z. Let q = k - f. Does 27 divide q?
False
Suppose -58170 = -11*y + 5*y. Does 35 divide y?
True
Let k(f) = -5*f - 93. Let b be k(-18). Is 23 a factor of (b/2)/(9/(-138) - 0)?
True
Let k = 190 + 119. Let r = k + -122. Is r a multiple of 53?
False
Suppose 0 = 5*t - 4*r + r - 9, 0 = t + 4*r - 11. Does 10 divide (-1 - t) + -2 + 66?
True
Let f = -5667 - -9898. Is 12 a factor of f?
False
Suppose 2*t - 3240 = -3*q, 3*t - 3*q = t + 3240. Suppose -7*r + t = 325. Is 6 a factor of r?
False
Let j = 430 + -424. Suppose j*y + 1512 = 15*y. Is 28 a factor of y?
True
Suppose 31*o + 10*o + 11*o = 73164. Is o a multiple of 21?
True
Let b = -43 + 46. Is 93 - 1 - (b - 4) a multiple of 3?
True
Let b be (-2)/(-13) + (-264)/(-143). Suppose g + 3*g = -12, 2*i = -b*g + 1184. Is 14 a factor of i?
False
Let b(d) = 4*d**2 + 21*d - 341. Is 23 a factor of b(-49)?
True
Let g(h) = -4*h**3 - 17*h**2 - 15*h + 27. Let m be g(-10). Let w = m - 1742. Is 49 a factor of w?
True
Suppose -180145 = -81*p - 35827 + 116826. Is 68 a factor of p?
False
Let r(h) = 36*h**2 + 16*h - 19. Let o be 6 + (-2 - -5)*-1. Is 53 a factor of r(o)?
False
Suppose 69*k - 66*k - 6 = 0. Let l be (k - -8) + 3 + -3. Suppose -l*u - u + 242 = 0. Is 22 a factor of u?
True
Suppose 1853 = 5*u - 5*l - 962, u + 2*l = 581. Is 4 a factor of u?
False
Let d = 16 + 14. Suppose 3*r = 9*r - d. Suppose -4*w - w - 3*z + 619 = 0, -r*z - 229 = -2*w. Is w a multiple of 29?
False
Let g be (-78)/(-52)*262/3. Let j = 199 - g. Does 14 divide j?
False
Is (9165/(-450) - 18/60)*1350/(-2) a multiple of 327?
False
Let s = -421 - -4201. Does 18 divide s?
True
Let o(p) = 45*p**2 - 5*p - 121. Does 13 divide o(23)?
True
Let t be (12/(-10))/(5/(-25) + 0). Suppose t*q = -3*q + 954. Is 5 a factor of q?
False
Suppose 0 = h - 4*v - 16545, -499*h - v + 66129 = -495*h. Does 11 divide h?
True
Let i(c) = -c**3 - 19*c**2 - 35*c - 32. Let p be i(-17). Is 4 a factor of (0 + -6 + 5)*p?
False
Suppose 0*l + 236 = -4*l. Let x = -57 - l. Suppose -5*q - t - 188 = -7*q, 0 = 4*q + x*t - 360. Does 46 divide q?
True
Does 107 divide (173 - 171) + 39796/12*(-6)/(-2)?
True
Let r = -4 + -20. Let b be 0*((-3)/5 + r/(-15)). Suppose b*f = 5*f - 5*m - 60, 3*m = -9. Is f a multiple of 2?
False
Let g(x) = 2*x**3 + 2*x**2 + 11*x**2 - x**3 - 5*x + 24*x - 20. Is 9 a factor of g(-10)?
True
Let p(i) = i**2 + i + 33. Suppose -5*t - 47 = 3*w - t, -5*t = -3*w - 2. Is p(w) a multiple of 7?
True
Let b be (0 - (-36)/(-14))*(5 - 12). Suppose 2*c - 8*c = -b. Is c a multiple of 2?
False
Suppose 23 = 4*k + g, k - 10 = -5*g + 10. Let q(i) = -1 + 0 + k*i - 22 - 24. Does 19 divide q(21)?
False
Let h(q) = -8*q**3 - 5*q**2 - 2*q + 1. Let b be h(-1). Let n be (-5)/((-15)/b) + -8. Let d(z) = -z**3 - 4*z**2 + 3*z - 5. Is 20 a factor of d(n)?
False
Is (17*-23)/(58/(-174)) a multiple of 69?
True
Let x(u) = 13*u**3 + 72*u**2 + 55*u + 20. Let f(b) = 3*b**3 + 18*b**2 + 14*b + 5. Let c(i) = 9*f(i) - 2*x(i). Suppose 146 = -11*a - 30. Does 17 divide c(a)?
False
Does 13 divide (-849)/(-5*21/70)?
False
Let v = 91 + 61. Suppose y = -y + v. Is 20 a factor of y?
False
Let d = 24637 + 4671. Is 39 a factor of d?
False
Suppose -44*r + 39*r = 60. Is 52 a factor of r/(-20) + (-13452)/(-30)?
False
Suppose -91*o + 80*o + 59048 = 0. Suppose 0 = 3*q - o + 421. Does 97 divide q?
True
Suppose -38 = 2*s - 20. Let v be ((-3)/s)/((-3)/(-81)). Suppose -v*o + 43 + 281 = 0. Is o a multiple of 18?
True
Is 2 a factor of 2 + 16 - -6030 - 10?
True
Let u(j) = -19 - 160*j + 18 - 5. Does 14 divide u(-1)?
True
Let a = -125 - -127. Let k(c) = 66*c - 4. Is 4 a factor of k(a)?
True
Let m(g) = 26*g**2 - 82*g - 803. Does 42 divide m(-22)?
False
Suppose 2*w + 3*b = 8*b - 102, -2*b = 2*w + 102. Let m = 58 + w. Let o = 227 - m. Is o a multiple of 20?
True
Let q(d) = -d**3 - d**2 - d - 62. Let l be q(0). Let c = l - 28. Is (-84)/(-10)*c/(-4) a multiple of 27?
True
Let j(h) = 41*h**2 + 218*h + 53. Is 21 a factor of j(13)?
False
Let h(w) = w**3 + 16*w**2 - 6*w - 24. Let k(a) = -a**2 - a + 5. Let g be k(4). Is 14 a factor of h(g)?
False
Suppose 5*k - 2616 = -541. Suppose m 