 = -48 + -7. Let x = f - -57. Suppose -x*q - 2*m + 82 = -4*m, 0 = -q - m + 37. Does 3 divide q?
True
Let n be 3 - (6/(-2 + 4) - 6). Suppose n*q - 2531 = -875. Is 23 a factor of q?
True
Let c = -53 - -147. Suppose 0 = c*w - 92*w - 96. Is 4 a factor of w?
True
Suppose -4*o - 48811 = -3*l, 270*o - 65113 = -4*l + 269*o. Does 16 divide l?
False
Let p = -270 + 274. Suppose 0 = o - 3*o - 3*v + 289, -p*v - 548 = -4*o. Is o a multiple of 20?
True
Let r = 21 - 21. Suppose r = -10*k + k - 1089. Let v = k - -130. Does 2 divide v?
False
Let i = 676 + -373. Suppose 0 = -2*r - 4*l + 1842, -i + 3990 = 4*r + 5*l. Is r a multiple of 12?
False
Suppose 4*w + w + 35 = 0. Let a be w*((0 - -4)/(-2) - -1). Suppose -2*i + 4*o + 76 = 0, 154 = -2*i + a*i + 2*o. Is 4 a factor of i?
True
Let n(w) = w**2 - 4*w + 2. Let b(s) = -s**3 + 6*s**2 + 8*s - 2. Let z be b(7). Let f be n(z). Suppose f*h - 2085 = -510. Does 25 divide h?
True
Let s = -8 + 19. Suppose 280 + 380 = s*z. Does 10 divide z?
True
Let l(y) = 189*y**2 + 2*y - 11. Is l(-2) a multiple of 19?
True
Let m be ((-4)/(1 - -3))/(-1) - 1. Suppose 3 = -3*f - m, 3*f + 984 = -3*o. Let z = -232 - o. Does 9 divide z?
False
Let y = 20 + -56. Let i = 38 + y. Suppose -i*d + 16 = -90. Is 7 a factor of d?
False
Let s(o) = -54*o + 1. Let p be s(-1). Let j = -36 + p. Let r = j - -57. Does 38 divide r?
True
Is 4 - ((-34)/68)/(1/(-8728)*-1) a multiple of 78?
True
Let t(m) be the second derivative of m**3/3 + 7*m**2/2 - 26*m. Let h be t(-2). Suppose -2*k = -4*y - 374, -y + 659 - 119 = h*k. Does 28 divide k?
False
Let s(w) = w**3 + 4*w**2 + 7*w + 10. Let o be s(-3). Let x(m) = -18*m**3 + 2*m**2 - 5. Is x(o) a multiple of 21?
True
Let k(c) = 10*c**3 - 7*c**2 - 6*c + 18. Is k(9) a multiple of 5?
False
Let p(i) = i + 10. Let h(n) = -30*n**3 + 2*n**2 - 1. Let q be h(-1). Let f = 29 - q. Does 2 divide p(f)?
True
Let j be -5 + 8 - (-3940)/15*3. Let n = -453 + j. Is n a multiple of 13?
True
Let r(l) = l**3 + 193*l**2 - 849*l + 2436. Does 232 divide r(-196)?
True
Let y = -222 - -226. Is 2 a factor of ((-36)/5)/(3/((-30)/y))?
True
Let h(m) = m**3 - m + 10. Let a = 7 - 4. Suppose -a*d = -2*x, 8*d - x = 3*d. Is h(d) a multiple of 2?
True
Suppose -6*j + 164930 - 444950 = -19*j. Is 10 a factor of j?
True
Let b = -60 - -51. Let p be b/63 - (-13)/(-7). Does 17 divide p - (-237 + -3 - 2)?
False
Let t = -344 - -348. Let z(m) = 5*m**3 + 6*m**2 - 6*m + 13. Is z(t) a multiple of 45?
True
Let g(r) = 2*r + 27. Let l be g(-11). Suppose -35 = -l*q + 5*o, 2*o + 2 = -3*q + 2*q. Is ((-22)/q - 6/(-2))*-68 a multiple of 13?
False
Suppose 4*d - 3*h - 35 = -d, 0 = 3*h + 15. Suppose -4*y + d*a = -28, -5*y + 6 + 19 = -3*a. Is y/((-4)/(-14)) + (4 - 5) a multiple of 3?
True
Let g = -7610 - -12231. Is 14 a factor of g?
False
Suppose 151 = 17*s - 3453. Does 2 divide s?
True
Let q = -100 + 62. Let n be q/(-9) + (-10)/45. Suppose -7*l - n*l + 253 = 0. Is l a multiple of 23?
True
Let p(b) = 73*b**2 - 5*b + 18. Is 3 a factor of p(5)?
True
Suppose b - 19 = -3*z - 0, 4*b = -4*z + 100. Is 3 a factor of b?
False
Let q = 772 + -1297. Let c = -413 - q. Is 14 a factor of c?
True
Is 0 - 3 - 153829*(-342)/741 a multiple of 15?
True
Suppose -5*u + 0*z - 933 = z, 5*z + 15 = 0. Let j = 113 - u. Is 23 a factor of j?
True
Let g = 4010 + 7807. Does 101 divide g?
True
Suppose -13*c + 5*c = -13*c + 34200. Is c a multiple of 90?
True
Let a(u) = 444*u - 59. Let h be a(-6). Let y = 3907 + h. Is y a multiple of 14?
False
Suppose 4*x - 5*r - 88 = 0, -2*x + 42 = -40*r + 37*r. Suppose -c - 27664 = -x*c. Does 14 divide c?
True
Suppose 3*h = 3 + 6. Suppose 0 = 3*g - 3*a - 1251, 0*g - 819 = -2*g - h*a. Is g a multiple of 43?
False
Let k(m) = -12 + 23 + m + 2*m. Does 3 divide k(14)?
False
Let p(o) = -o**3 + o**2 - 2*o - 14. Let m be p(-6). Suppose -m = 4*k + q, -5*q + 10 + 0 = 0. Let c = -38 - k. Is 25 a factor of c?
True
Suppose -10 = -4*v - z - 5, 5*v = -3*z + 15. Suppose v = 4*h - a - 436 - 525, -h = -2*a - 235. Is 25 a factor of h?
False
Let a = 83 + 108. Let z be (-1 + 4 + -4)*-107. Let n = a - z. Does 28 divide n?
True
Let c(d) = -d**3 - 10*d**2 - 9*d - 24. Let j be (-1)/3*((-2 - -4) + 28). Does 7 divide c(j)?
False
Let u(p) = 3 + 8 + 6*p + 6 - 3. Let j be u(-2). Let y = j - -80. Is y a multiple of 11?
False
Suppose 3*g + 43837 + 16643 = 18*g. Does 84 divide g?
True
Let q = -22144 - -43512. Does 39 divide q?
False
Suppose -63*m = -64*m + 228. Let o = m - 108. Does 15 divide o?
True
Suppose 21*o + 7805 = 20200 + 16585. Is 10 a factor of o?
True
Let j(t) = -t**3 - 20*t**2 - 36*t + 2. Let z be j(-18). Suppose -2*l + 0*l - z*g = -694, -l + 365 = -5*g. Does 7 divide l?
True
Let m be 3 + (36646 - 9) - -8. Suppose 27*k = m - 846. Is k a multiple of 43?
False
Let g = -11 + -15. Let l be -5 + (1 - -159) + 3. Let r = g + l. Does 11 divide r?
True
Suppose 0 = -4*k + 32, -x + 5*k + 84440 = 7187. Is 88 a factor of x?
False
Is -2661*(69/9 - 9) - 3 a multiple of 9?
False
Suppose 0 = -9*j - 7*j - 144. Is 6/j - ((-2589)/9 - -2) a multiple of 15?
True
Let z(o) = 47*o + 2. Let a be z(-1). Let b be (-64)/36 - (-10)/a. Is ((-3)/18 + 1/b)*-75 a multiple of 10?
True
Let n = 100 - 89. Suppose -n*y + 265 - 89 = 0. Suppose -i = i - y. Does 2 divide i?
True
Let s(t) = -3017*t + 6008. Does 48 divide s(-8)?
True
Suppose u + 1 = -2*r + 7, 5*u + 12 = 4*r. Let w be (-1)/(r/8)*(-3)/2. Does 29 divide (-1392)/w*6/(-18)?
True
Does 14 divide ((-105)/(-14))/(-6 - ((-8073)/672 - -6))?
True
Let b(o) = 356*o**2 + 290*o - 1165. Does 15 divide b(4)?
False
Is 17 a factor of (-846)/(-1974) - 67134/(-7)?
False
Let p(d) = 2*d**2 + 16*d - 59. Let w be p(-11). Suppose -2*z + w*z - 4780 = 0. Is 16 a factor of z?
False
Let x be 4 + -1 - (1 - 1). Let j = -1044 - -1047. Suppose 144 = j*l + x*r, -179 = -4*l + 2*r + 7. Is l a multiple of 6?
False
Suppose n - 5 - 9 = 0. Let z = 11 - n. Is 3 a factor of -4 - z*(-7)/(-3)?
True
Suppose -7*p + 14 - 63 = 0. Let y be ((-18)/p)/((-6)/(-28)). Let t = 44 - y. Does 3 divide t?
False
Suppose 4*b + r - 49145 = -4818, -3*b = 3*r - 33252. Does 68 divide b?
False
Let f = -482 - -4530. Does 22 divide f?
True
Let o = 456 + -801. Let p = o + 974. Does 8 divide p?
False
Suppose 3 = 2*x - 3. Suppose x*l - 5*s - 295 = -110, 3*l = -4*s + 230. Is 27 a factor of l?
False
Suppose 0 = 13*n - 25952 + 13784. Is n a multiple of 4?
True
Suppose -2*d + 7526 = 3*o - 762, 0 = 5*d - 35. Is o a multiple of 7?
True
Let f = 2864 - -2786. Suppose 15*n + 1345 = f. Is n a multiple of 41?
True
Does 52 divide (3 + -2)/((-79)/(-185887))?
False
Let w(j) = -267*j - 2265. Is 9 a factor of w(-55)?
True
Let r(i) = i**2 - 6*i + 15. Let x be r(6). Suppose -x*u + 82 = -188. Is 2 a factor of u?
True
Does 104 divide (-128)/112 + 2 - ((-759120)/(-28))/(-3)?
False
Let w(y) = 5*y. Let i(v) be the third derivative of -v**4/4 - 10*v**2. Let s(z) = -4*i(z) - 5*w(z). Is s(-10) a multiple of 10?
True
Let h(l) = 11*l - 32. Let i be h(4). Let u(k) = -7*k + 64. Let n(s) = 4*s - 32. Let t(d) = 7*n(d) + 3*u(d). Is 13 a factor of t(i)?
True
Let m = 67 - 65. Suppose m*x = o - 11, 0 = -6*o + o + x + 82. Let q = o + 74. Is q a multiple of 12?
False
Suppose 0 = 11*f + 13 + 42. Does 93 divide (f + -6 - -8)/(2/(-496))?
True
Let g(q) = -q**3 + 8*q**2 - 7*q - 12. Suppose -5*r - j + 3 = -13, 5*j - 5 = 0. Suppose -2*n + 6*n + 32 = 2*d, -15 = r*n. Does 13 divide g(d)?
False
Suppose 4 - 224 = 5*z. Let w = z + 61. Is 17 a factor of w?
True
Is 1/((-1)/(-5052))*981/436 a multiple of 29?
False
Is 5 a factor of 435/40 - 11 - 27748/(-32)?
False
Let c = 26 - 19. Let r = 9 - c. Suppose -r*l + 3*l - 68 = 0. Is l a multiple of 17?
True
Suppose 0 = 3*g + q - 3367, -2*q + q = 2*g - 2245. Is g a multiple of 102?
True
Is 75 a factor of (41609 - -11)/10 + -1?
False
Suppose -2*j + 5*c + 35673 = 0, j + 4*c - 15852 = 1978. Is 271 a factor of j?
False
Suppose -8*w = -141 - 27. Let s = 23 - w. Suppose -s*k + 195 = -k. Is k a multiple of 31?
False
Suppose -3*n = 4*s + 8 + 3, 5*s = -25. Let r = n + 271. Let j = r - 161. Does 14 divide j?
False
Let l = 25 + 55. Suppose -196 = x - 6*x + 4*y, 2*y = 2*x - l. Let o = 126 - x. Is 15 a factor of o?
True
Let x(b) = -2*b**2 - 45*b - 25. Suppose 64*c - 33*c + 589 = 0. Is x(c) a multiple of 3?
True
Suppose 42*g - 46*g + 3336 = 0. Suppose g = -12*k + 3678. Do