 69 divide 187 + f - (1 - -4)?
False
Suppose 55899 = 8*w + 3*o, 27*o - 27981 = -4*w + 30*o. Does 22 divide w?
False
Suppose 86*k - 3597916 = -199*k + 7053104. Is 45 a factor of k?
False
Let x = 96 + 18. Suppose -3*l - x = -465. Does 3 divide l?
True
Let l = -156 - -159. Suppose 0 = l*i - 716 + 176. Is 12 a factor of i?
True
Let a be 1/((-508)/128 - -4). Let l be 8/(a/2340) + -1 + 3. Suppose -4*h + l + 53 = 0. Is h a multiple of 34?
False
Let o(c) = 16*c**2 + 34*c + 69. Let t be o(-2). Suppose -71 = -f + t. Is 2 a factor of f?
True
Suppose -19*a = 3*d - 17*a - 34162, d + 5*a - 11422 = 0. Is d a multiple of 23?
False
Suppose 2*k - 14 = -s + 3*k, -2*k - 17 = -s. Let y be 10/(-55) - (-2)/s. Suppose y = -2*f + 32 + 50. Is f a multiple of 41?
True
Let z be (-5)/(-10)*-2 - -89. Let j = z - -29. Let i = j - -15. Does 22 divide i?
True
Suppose 56*n - 174763 = 208608 + 462453. Does 257 divide n?
False
Suppose 0 = -44*i + 18*i + 69888. Suppose 11*w = 6101 + i. Is w a multiple of 17?
True
Let r = 476 - 440. Suppose 5*b - 3*h + 251 = 0, 2*b + 3*h - 4*h + 100 = 0. Let i = r - b. Is 29 a factor of i?
False
Let v = 141 + -136. Suppose t - 663 - 59 = -5*x, 0 = -4*x - v*t + 586. Is x a multiple of 48?
True
Suppose 3*a = 6*a + 75. Let r = 880 + -890. Let t = r - a. Is 5 a factor of t?
True
Suppose 0 = 1992*b - 2078*b + 6202836. Does 55 divide b?
False
Suppose 3*v = -j + 31, 0*v + 24 = 4*v - 3*j. Let s be (v/6 - 1)*(1 + 11). Let w = s + 47. Does 7 divide w?
False
Let s be ((-60)/(-36))/(2/6). Suppose s*x = 5*p - 140, 0 = 2*p - 9*x + 6*x - 61. Is 4 a factor of p?
False
Let b = -11 + 14. Let m be (19 - 23)/((-2)/6 - 1). Suppose -3*o - m*v = -4*o + 53, -b*v = -5*o + 277. Is 22 a factor of o?
False
Suppose 5*b = 17*b - 492. Let c = -39 + b. Suppose 0 = -2*r + 5*i + 123, c*r - 5*r = -i - 191. Is r a multiple of 26?
False
Suppose -5*c - 61 = -86. Suppose c*x = -x + 96. Suppose 4*v = x + 400. Does 11 divide v?
False
Let l(w) = 59*w**2 - 59*w + 344. Is 3 a factor of l(7)?
False
Suppose 19*r = -3*l + 24*r + 871, 2*l - 580 = 3*r. Let a = l + -222. Does 5 divide a?
True
Suppose 0 = -7*a + 21 + 14. Suppose a*d + 15 + 25 = 0. Is 0 - (4/d - 44/8) a multiple of 6?
True
Let b(y) be the second derivative of 0 + 1/20*y**5 - 44*y - 3*y**2 + 1/6*y**4 + 7/6*y**3. Does 27 divide b(6)?
True
Suppose -5*y - 3*n = 2*n - 90, -2*y = 4*n - 42. Suppose 3*v = -3*z + y, -4*v - z + 10 = z. Is -2 + v + 3 - -29*1 a multiple of 6?
True
Let t be ((-3)/2 - 0)*(-2 + 0). Suppose -5*y + t*u = -1188, y - 220 = -2*u + 7*u. Let m = -112 + y. Is m a multiple of 33?
False
Suppose 2*v + 14 = 4*v. Suppose b = -5*k + 33, -4*k = -v - 5. Suppose -l + 4*d + 28 = -b, -4*d + 80 = 2*l. Is 8 a factor of l?
False
Let d(l) = 11*l**2 + 11*l + 10. Let r(y) = -y - 6. Let v be r(-13). Let m(f) = 11*f**2 + 10*f + 10. Let z(b) = v*m(b) - 6*d(b). Is 10 a factor of z(-2)?
False
Let c = -17062 - -29016. Is 86 a factor of c?
True
Let o(h) = -3759*h + 2926. Is 280 a factor of o(-6)?
True
Let i be ((3 + -3)/2)/(-2). Suppose 6*f = 5*a + 4*f - 600, 0 = 5*a - 3*f - 600. Suppose 4*d - a = -i*s - s, 5*s = -2*d + 510. Is 25 a factor of s?
True
Does 14 divide 283158/29 + (-8)/116?
False
Let f(r) = r**3 - r**2 + 8*r - 2. Let p be (-2 - (-21)/12)/(12/(-240)). Suppose -4*b = w - p*w + 36, 4*b + 20 = 0. Is 6 a factor of f(w)?
True
Let s(w) = -w**3 + 7*w**2 - 9*w + 2. Suppose g - 4*g = 2*b - 10, -4*b = 2*g - 20. Let q be s(b). Suppose -p - 4 + q = 0. Does 3 divide p?
True
Is ((-6666)/231 - 26)*(-42)/1 a multiple of 18?
True
Suppose -2132 = 414*j - 431*j + 2594. Is 125 a factor of j?
False
Suppose t - 3*p + 7*p + 25 = 0, -4*t - 5*p - 45 = 0. Let h be (-348)/(-7) - (-4)/14. Let w = h + t. Is w a multiple of 5?
True
Suppose 5*a + 2*l - 5 = 0, 4*l + 6 = -3*a + l. Let x(b) = b**3 + b**2 - 4*b + 2. Let h be x(a). Suppose -31*r = -h*r - 265. Does 12 divide r?
False
Let a(j) = 2*j**2 + 33*j - 15. Let r be a(-17). Let q be (-5)/10*1*r - 5. Is 33 a factor of (q/9)/((-4)/462)?
False
Let u(b) = -b**3 + 9*b**2 - 14*b + 42. Let k be u(7). Is (-56)/k*(1992/(-3) + -2) a multiple of 24?
True
Let h(r) = 2424*r**2 - 106*r + 365. Does 50 divide h(4)?
False
Is 17 a factor of 16 + ((-688512)/2)/(-22)?
False
Suppose -48*p + 187712 = -273328. Is p a multiple of 17?
True
Suppose b = 11*m + 15012, m - 59747 = -4*b + 2*m. Does 29 divide b?
True
Let o(x) = -28*x + 95. Let z(a) = 26*a - 95. Let d(i) = 4*o(i) + 5*z(i). Does 2 divide d(12)?
False
Let y(j) = -223*j - 1768. Does 57 divide y(-20)?
False
Is (-2)/14*-2 + 942*650/1092 a multiple of 49?
False
Suppose -3*l = -45*a + 48*a - 4677, l + 3*a - 1571 = 0. Is l a multiple of 177?
False
Let g be 1 - 1/((-12)/(-9) + -1). Is g/(-8)*-1 + 46971/204 a multiple of 10?
True
Let m(y) = 2*y**2 + 2*y - 363. Is 182 a factor of m(39)?
False
Let u = 5459 + -2279. Does 5 divide u?
True
Let y be 2 + 191/(-7) + 8/28. Let q be (-1)/1*(-400)/y. Let h = 28 + q. Is 8 a factor of h?
False
Suppose u + 2*i = 3*i + 2, -5*i = u - 14. Suppose 5*h - 2*v + 106 = -3*v, -u*h = -5*v + 79. Let z = -17 - h. Is 3 a factor of z?
False
Suppose -179*l + 155*l = -12888. Is l a multiple of 179?
True
Let d(o) = 10*o**2 + 523*o + 178. Is d(-64) a multiple of 197?
False
Let o(f) = 2*f - 1607 + 796 + 799 + f**2. Let s(c) = -6*c**2 - c. Let z be s(1). Is o(z) a multiple of 4?
False
Let a(c) = -16*c**3 - 21*c**2 + 15*c + 26. Is a(-4) a multiple of 109?
True
Suppose 74367 = 14*o - 95649. Is o a multiple of 12?
True
Suppose 2106 = 3*u - 2*x, -20*x + 16*x = 3*u - 2124. Suppose 11*z - u = 913. Does 2 divide z?
False
Let g(m) = 13*m**2 - 8*m. Let o be g(-5). Suppose -3*d = -88 - o. Suppose -4*h = -8, -5*z - 4*h + 97 = -d. Is 12 a factor of z?
True
Suppose -f - 225 + 221 = 0, 0 = 5*c - 2*f - 40048. Does 129 divide c?
False
Suppose 0 = 6*q - 7*q + 5. Suppose q*c - 16 - 39 = 0. Let v(f) = 2*f**2 - 15*f + 14. Does 7 divide v(c)?
True
Suppose -q - 4*u - 61 = -u, 0 = -3*q + 2*u - 238. Let i = -184 - q. Let w = i + 198. Is 30 a factor of w?
True
Suppose l = -f + 6*f - 416, 4*f - 2*l = 334. Suppose 10*w - 751 = 99. Let n = f + w. Is 14 a factor of n?
True
Suppose 5*b + 242710 - 59788 = 2*t, -5*t - 2*b + 457392 = 0. Is t a multiple of 189?
True
Let a = -3312 + 16881. Is a a multiple of 56?
False
Suppose -8 = -2*f + 3*v, -6*v + 7*v = 3*f - 12. Suppose 2*p - 194 = -4*m + 362, 2*m + f*p = 290. Is m a multiple of 5?
False
Let y(b) = -4*b**2 - 25*b + 40. Let k be y(-13). Let a = -131 - k. Is a a multiple of 6?
True
Suppose 1065*v - 1039*v = 33592. Is 21 a factor of v?
False
Suppose 3*y = -5*o + 4*y + 17, -5 = -5*o - 5*y. Let t be 0/(((-1)/o)/(4/24)). Let i(a) = 2*a**2 + 2*a + 37. Is 14 a factor of i(t)?
False
Is 16 a factor of (10548/16)/(((-553)/560 - -1)*6)?
False
Let z(v) = v**3 + 10*v**2 - 10*v + 13. Let t be z(-11). Let p(c) = 6*c**2 - 1 + 13*c + 2*c**2 + 3 - 3*c**t. Is 15 a factor of p(-5)?
False
Let f be 35/20 + (-49)/28. Suppose 2*y - c - 1060 = f, 2*y + 257 = -5*c + 1329. Is y a multiple of 9?
True
Suppose -r + 5*l = -18614, -3*r - 2281 + 58066 = 4*l. Is r a multiple of 10?
False
Let d be (-12)/912*-15740 + 2/(-19). Let g = d + 843. Is 55 a factor of g?
False
Let w be (38/14 + -1)*(-96635)/(-110). Let p = -673 + w. Let h = 1168 - p. Does 35 divide h?
False
Let a = 8 - 7. Is (14*(-88)/(-16))/a a multiple of 12?
False
Is 9 a factor of 1/4 + (-235260)/(-48) + (-10)/4?
False
Let s = 19 - -407. Suppose -19*t + s = -17*t. Does 6 divide t?
False
Let o = 3044 - -52. Is o a multiple of 24?
True
Let m(q) = 22*q - 81. Let a be m(8). Let x = 246 - 107. Let p = x - a. Does 11 divide p?
True
Let r be (2 - 3)/(2480/825 + -3). Is 1663/15 - 22/r a multiple of 37?
True
Suppose 108 = -0*y + 3*y + 3*a, -a = -y + 46. Suppose 48*z - y*z - 4991 = 0. Is z a multiple of 31?
True
Suppose 6*r - 15998 = -8*r + 22194. Does 8 divide r?
True
Let b be (-1 - -1)/(4*-1 + 3). Suppose 0 = 5*q + 3*x - 2249 + 239, b = -3*x - 15. Does 15 divide q?
True
Let n = -4584 - -18301. Does 29 divide n?
True
Let i = 126 + -180. Let b = i - -57. Suppose b*k + 3 = -9, -5*z = 2*k - 97. Is z a multiple of 5?
False
Suppose -14*s + 3*s + 156130 = -32641. Does 131 divide s?
True
Let v = 9074 - 8963. Suppose 2*c + r = -r + 176, 5*c - r - 416 = 0. Let a = v - c. Is 9 a factor of a?
True
Suppose -o = -0*o - 4*p - 166, 3*p = -3*o +