False
Let m be (-1040)/(-18) - (-6)/27. Let t = 136 - m. Does 19 divide t + (-1 - (-15)/(-5))?
False
Suppose 0 = -13*t - 770 + 6399. Let z = t - 25. Does 24 divide z?
True
Suppose 0*y + z - 112 = -y, 0 = -4*y + z + 428. Let x = -103 + y. Is (-5)/(x/(-31))*1 a multiple of 31?
True
Is 154 a factor of ((0 - 2/(-4))*-165)/((-158)/8848)?
True
Suppose 144*t + 3115760 = -190*t + 414*t. Is 29 a factor of t?
True
Is 26 a factor of 3/(-13) - (-743584)/494?
False
Let r(q) = -25 + 3*q**2 - 7*q**2 - 32*q - 56*q + 26*q. Does 44 divide r(-12)?
False
Suppose -n = -218 - 384. Let s = 1187 - n. Is s a multiple of 13?
True
Let h = 37 - 26. Let v(c) = 111*c - 416*c + 105*c + 107*c + 103*c - c**2 + 23. Is 3 a factor of v(h)?
True
Suppose 177 = z - 3*l, 5*l = -2*z + 132 + 178. Suppose 15 = 170*r - z*r. Suppose 118 + 146 = r*f. Does 8 divide f?
True
Let q(n) = 8*n**2 + 3*n + 9. Let f(v) = 20*v**2 + 8*v + 26. Let a(u) = -3*f(u) + 8*q(u). Let m(s) = -s**2 - 2*s + 3. Let l be m(-4). Is a(l) a multiple of 9?
False
Suppose 11*b - 10*b = 8. Let q(h) be the third derivative of -h**6/120 + 2*h**5/15 + h**4/4 + 4*h**3/3 + 4*h**2. Does 14 divide q(b)?
True
Suppose -50*u + 3680 = -45*u. Suppose u = 4*a + 16. Is 15 a factor of a?
True
Let n = 11 - 11. Suppose 5*t - 365 + 1070 = n. Does 54 divide (-20)/15 - 11*t/9?
False
Suppose 0 = 17*n - 7481 - 61063. Does 8 divide n?
True
Let j = 15 + -21. Let n(m) be the third derivative of m**6/120 + m**5/12 - 5*m**4/12 + 25*m**3/6 - 9*m**2 + 29. Does 18 divide n(j)?
False
Is 8 a factor of -6 - (2/(-10) + (4 - 10658/10))?
True
Suppose -3*q - 8*w + 12*w = -72692, 4*q - 96939 = 3*w. Is 12 a factor of q?
True
Let t(w) = -w**2 - 5*w + 2. Let l be t(-5). Suppose 12*o = l + 70. Does 4 divide (-1038)/(-54) - o/27?
False
Suppose 4*o = 5*i + 22, -4*o + 5*i + 25 = o. Suppose -3*g + 3*f + 6 = 0, -5*g + o*f = -0*g - 10. Suppose -g*m + 14 = -92. Is m a multiple of 19?
False
Let y(h) = h**3 + 44*h**2 - 10*h - 63. Is 113 a factor of y(-41)?
False
Let o(r) = r**3 + 48*r**2 - 286*r + 77. Is 13 a factor of o(-53)?
False
Is (-2939)/((-289)/34 - -8) a multiple of 89?
False
Let u(y) = -y + 113. Let f be 5/30 + 262/12. Is 13 a factor of u(f)?
True
Let m(t) = t**3 - 29*t**2 + 40. Let o be m(29). Let g be (-64)/o - (-2 - (-36)/15). Is (g - -17)*165/25 a multiple of 11?
True
Let z(n) = n**2 - 6*n + 46. Let u(q) = -2*q**2 + 27*q + 88. Let c be u(16). Is z(c) a multiple of 4?
False
Let p(o) = -4550*o + 179. Does 52 divide p(-4)?
False
Let x = -101 - 47. Let t = 478 + x. Does 30 divide t?
True
Let x(y) = -4*y**3 + y**2 - 2*y + 22. Let i(c) = -c**3 - c**2 + c - 1. Let j(v) = -6*i(v) - x(v). Is j(4) a multiple of 39?
False
Let m be ((-9)/6)/(2/4 - 1). Suppose m = 2*c - 1. Suppose -4*z = a - 59, c*a - 41 = -z + 84. Does 9 divide a?
True
Suppose 21354 = 3*z - 3*c, 0 = -2*z - 3*c + 4160 + 10081. Suppose z = -4*d + 11*d. Is d a multiple of 57?
False
Suppose -4*f + 16 = -3*a, -4*f = -5 + 1. Let p = 24 + a. Is p a multiple of 4?
True
Let b be ((-12)/(-1))/(3/(-2)). Let a be -46 + (b/(-6) + -1)*-9. Does 10 divide 14/a - 564/(-14)?
True
Let s(m) = m**2 - 19*m + 48. Let o = -118 + 94. Let n(a) = -a. Let j be n(o). Does 24 divide s(j)?
True
Suppose -4*a - 76*a + 21630 = -44610. Is 6 a factor of a?
True
Let k = 7210 - 2570. Is 145 a factor of k?
True
Is 6 a factor of (-7)/((-252)/(-41592))*-9?
True
Suppose 2*g - 3*f = 15720, 5*g - 4*f + 23546 = 8*g. Is 42 a factor of g?
True
Let p = -160478 + 246482. Is 12 a factor of p?
True
Suppose 252 = u + 3*r, 0 = -0*u + 4*u + 2*r - 988. Suppose 4*d = -d. Suppose d = 6*o + 72 - u. Is 5 a factor of o?
False
Let l = 4966 - 4266. Is l a multiple of 102?
False
Let x(w) = 97*w + 7. Let k be x(2). Let j be k/1 + -4 - 5. Suppose 48*u - 52*u + j = 0. Is 8 a factor of u?
True
Suppose 11*w - 81 = 84. Suppose -j + w = 12. Is j*18 + -4 - 4 a multiple of 9?
False
Suppose -n - 27 = -0*q - q, -61 = 3*n + 2*q. Let z(p) = p + 83. Is 9 a factor of z(n)?
False
Let k be 1*(-7 - 4 - -1). Let c(y) = -y**3 - 9*y**2 - 6*y - 8. Let i be c(k). Let l = -62 + i. Is l a multiple of 12?
False
Let s be (-5)/(-2)*(-4)/(-2). Let c(j) = 4*j + 4. Let n(u) = 2*u + 3. Let h(d) = -2*c(d) + 6*n(d). Is 6 a factor of h(s)?
True
Let u = -756 + 468. Let f = u - -344. Is 28 a factor of f?
True
Let a(o) = 9 + 7*o**2 + 11*o + o**3 + 11 - 15. Let f be a(-5). Suppose f*u = -5*u + t + 238, 0 = -2*u + t + 94. Is u a multiple of 25?
False
Suppose -3*f = -2*f - 2. Let n be (9/6 + 0)/(f/4). Is 80/n*(1 + (-6)/(-3)) a multiple of 22?
False
Is -8*(-13)/(-78)*-2445 a multiple of 6?
False
Let l = -105 - -411. Suppose 42*b - l = 41*b. Is 12 a factor of b?
False
Let a be (7/3 - 50/(-75)) + -221. Let p = -97 - a. Does 10 divide p?
False
Let c(g) = 10*g + 3. Let h be c(1). Let r(y) = -5*y + 13. Let q(s) = 11*s - 27. Let t(d) = h*r(d) + 6*q(d). Is 2 a factor of t(0)?
False
Let d(l) be the second derivative of -4*l**3 - 154*l**2 - l - 257. Does 28 divide d(-49)?
True
Let o(z) = z**3 + 7*z**2 + z + 3. Let x be o(-3). Is 51 a factor of (x - 34)/(1/153)?
True
Is ((-4)/(-10) + 176/60)*(-827145)/(-198) a multiple of 125?
False
Is 6104848/240 + ((-510)/(-450) - (0 - -1)) a multiple of 139?
True
Let s(h) = 22*h**2 - 22*h + 59. Is s(3) even?
False
Suppose 0 = -4*t + 23 - 3. Suppose -147 = -t*r + 48. Is 3 a factor of r?
True
Let f be 4/16*25*-12. Let z = f + 343. Is z a multiple of 18?
False
Let a = -26208 + 70006. Does 122 divide a?
True
Suppose w - 19140 = s, 8*w - 7*w = 3*s + 19126. Is w a multiple of 8?
False
Is 61 a factor of ((-330)/495)/((-3)/177057)?
False
Suppose -2*f - 44*y = -39*y - 1103, 2766 = 5*f + 4*y. Does 3 divide f?
False
Let j(c) = -c - 8. Let h be j(-8). Suppose 0 = -2*k + k - 2, h = 3*b + k - 538. Is b a multiple of 18?
True
Is (-27 + 1)/(-26)*29*517*1 a multiple of 11?
True
Does 23 divide ((-3619)/308)/(1/(-828))?
True
Let j = -61653 + 109494. Does 111 divide j?
True
Let k be -7 + 44/6 + 4/(-3). Is (1200 + k)*(-9 + 10) a multiple of 23?
False
Let p = -8967 + 18510. Does 7 divide p?
False
Suppose 21 = f + 3*m, 2*m + 5 = 3*f - 14. Suppose f*o - 583 = 389. Suppose 6*q - 3*q = o. Does 9 divide q?
True
Let m = -1381 + 1970. Suppose 6*r - 5089 = -m. Is r a multiple of 50?
True
Let z(b) be the second derivative of 2*b**3/3 + 17*b**2 - 14*b. Suppose t + 0 = 22. Does 16 divide z(t)?
False
Let n = 41704 + -344. Is 220 a factor of n?
True
Let m(c) = c**3 + 27*c**2 - 61*c + 3. Is 11 a factor of m(-27)?
True
Suppose -2 + 67 = 13*t. Suppose -t = -11*a + 6*a. Is (-2)/3 + a + (-452)/(-12) a multiple of 38?
True
Let x = -48 + 48. Suppose y = x, -5*f + y + 6 = -3*f. Suppose -4*c = c - 5*s - 490, -282 = -3*c - f*s. Does 8 divide c?
True
Is (2/8)/((-116)/24 + 5)*2776 a multiple of 12?
True
Suppose 4 = 4*t, -2*v + 2*t = -8090 + 2446. Does 12 divide v?
False
Let v = 884 + 1318. Does 42 divide v?
False
Let v be (-23)/(-7) + 2/(-7). Suppose 4*j - 1062 = -g + 9*j, -4*g = -2*j - 4230. Suppose -v*x - 4*x + g = 0. Does 32 divide x?
False
Let w = 37 + -34. Suppose -736 = -w*j + 350. Suppose y - 5*y + 3*f = -j, 5*y + 2*f - 441 = 0. Does 18 divide y?
False
Does 27 divide (28/(-24))/(19/(-114)) - -4313?
True
Let m(i) = -7400*i - 13347. Does 217 divide m(-5)?
True
Let g(p) = 697*p**2 - p + 4. Let l be g(3). Suppose 4*a - 7*s + 5*s = 5006, 5*a - l = -3*s. Suppose -41*u + 34*u + a = 0. Is u a multiple of 19?
False
Let c(x) = x**3 + 6*x**2 + 8*x + 6. Let j be c(-5). Let a(b) be the second derivative of b**5/20 + 2*b**4/3 - 3*b**3/2 + 13*b**2/2 + 5*b. Does 3 divide a(j)?
False
Let c(j) = 7*j + 18. Let n be c(-6). Let z be n/21*-7*1. Is 33 a factor of (z*(-3)/(-15))/((-2)/(-55))?
False
Suppose x = 2*i + 5, 0 = -11*i + 9*i - 6. Does 6 divide 63 + (13/4 - x/(-4))?
True
Suppose 0 = 90*o - 73*o - 6696 - 6530. Is o a multiple of 29?
False
Let o = -99 + 111. Let b = 110 + o. Is b a multiple of 2?
True
Is 3 a factor of (-11)/66*-18*(-1 + (9 - -1))?
True
Let m be (-7)/(-49) - (-1)/(-7) - -546. Suppose 4*o - 34 = m. Let z = -84 + o. Is 11 a factor of z?
False
Let k(f) = 8*f + 3. Let j be k(0). Suppose -6*w = -j*w - 12. Let o(v) = 7*v**2 - 5*v + 4. Is 24 a factor of o(w)?
True
Suppose -2*o - 4933 + 15427 = 0. Is o a multiple of 20?
False
Let d = -24475 - -48257. Does 94 divide d?
True
Suppose 0 = 3*t + 4*q - q - 207, 5*t - 4*q = 363. 