 -m + 2 = 2*n. Suppose -m*k = -2*k + 8, -15 = -b + 4*k. Does 4 divide b?
False
Suppose -42716*y = -42712*y - 4872. Is 3 a factor of y?
True
Let g be 5 - ((-3)/9)/(4/(-12)). Is 18 a factor of 69 - (-4)/6*18/g?
True
Let q = 3329 - 2931. Is q a multiple of 17?
False
Let j = 7659 - 5863. Is 31 a factor of j?
False
Is (-5)/(100/(-56888)) - -2 - (-6)/10 a multiple of 5?
False
Suppose -105*z + 1412896 = -1594304. Is 24 a factor of z?
False
Suppose 5*n + 19 = b - 61, b = -2*n + 87. Let d = b - 33. Does 10 divide 2/52*4 - (-2592)/d?
True
Let q(w) = -w**2 + 18*w + 28. Suppose -100 = -5*r - 0*r - d, -4*d + 39 = r. Let j be q(r). Let v(p) = -2*p + 21. Is v(j) even?
False
Let w be 1023/4 - ((-15)/(-20) + -1). Let r = w + -33. Suppose -4*s = -3*t - 185, 5*s - 4*t - r = -3*t. Is 41 a factor of s?
False
Suppose 4 = -4*a + 44. Does 47 divide 5316/9 - a/6?
False
Let m = 413 + -562. Let g = -2 - m. Is 7 a factor of g?
True
Does 16 divide 5/(-15)*(3954/(-8))/((-15)/(-60))?
False
Does 8 divide 1/(10/(-2)) + 11*22706/55?
False
Suppose 0 = -4*v - 2*i + 374, -i - 153 - 135 = -3*v. Let w = v - -10. Suppose w = 6*k - 135. Is k a multiple of 8?
True
Suppose 1476816 + 409748 + 65716 = 264*i. Is 145 a factor of i?
True
Let p be 5 - (0 + 1 + 0 - 1252). Suppose 17*w - p = 1209. Does 9 divide w?
False
Suppose -3*z - 40202 = 4*q - 171790, 5*z + 98720 = 3*q. Is q a multiple of 16?
False
Let p(a) = 4*a**2 - 40*a - 317. Is 94 a factor of p(-25)?
False
Suppose -22*w + 12232 = 22*w. Let t(f) = -4*f**2 - 6*f - 2. Let m be t(-6). Let u = m + w. Is 42 a factor of u?
True
Suppose -9*i + 6*i = 5*x - 60738, -5*x = i - 20226. Is i a multiple of 48?
True
Let q(i) = i**3 + 15*i**2 - 21*i + 10. Let s be q(-16). Let x = s - 160. Let o = x + 116. Does 5 divide o?
False
Let i(f) = f**2 - 3*f - 39. Suppose 713*v - 707*v + 54 = 0. Is 3 a factor of i(v)?
True
Suppose -6 = 4*j - 2, 4*j + 24 = 4*r. Suppose d = -r*d + 222. Does 5 divide d?
False
Suppose 0 = 2*p + 4*h + 96, -121 = 4*p + 3*h + 51. Let c = p - -49. Suppose -7*l = -6*l - c. Does 3 divide l?
True
Suppose 90*d = 59*d + 39060. Is 84 a factor of d?
True
Let n(q) = -5*q - 17. Let l be n(-6). Let m = l - -287. Suppose 0 = 4*p - 5*r - 606, 3*r = 2*p - r - m. Is 11 a factor of p?
True
Suppose -4*b + 104 = -76. Suppose -4*a - b = -5*y + a, 2 = 3*y + 2*a. Is 24 a factor of 3872/80 - y/10?
True
Suppose -4*i - 43100 + 118084 = 2*o, -5*o + 4*i = -187432. Does 160 divide o?
False
Let s be (-1 + 12/9)*0 + -393. Let o = 174 - s. Suppose -5*m + 97 = 4*i - o, -2*m - 5*i + 269 = 0. Is 11 a factor of m?
True
Let n(o) = -o**3 + o**2 - o + 4. Let c be n(0). Let f be 200/(-150)*3/(-2). Suppose -c*h + 4*q - 3*q = -478, -f*q - 123 = -h. Does 12 divide h?
False
Let g(p) = -2*p**2 - 15*p + 24. Let m be g(-9). Is 3/(-18)*4 - 497/m a multiple of 4?
False
Suppose -203*b = -136*b - 880822 - 965028. Does 58 divide b?
True
Let i = -231 - -225. Let k(s) be the third derivative of s**4/24 + 7*s**3/3 + 2*s**2. Does 4 divide k(i)?
True
Suppose -5*j + 15386 - 1280 = n, 3*n - 4*j = 42223. Does 14 divide n?
False
Let w be ((-184)/(-14) + -2)/(5/35). Let x = 82 - w. Suppose -u = -3*q - 19 - 94, 4*q = -x. Is u a multiple of 22?
True
Let m = 469 + -219. Suppose 13*f - 1830 - m = 0. Is 19 a factor of f?
False
Suppose 8*i + 4*r - 16800 = 5*i, 3*i - 2*r = 16818. Is 29 a factor of i?
False
Suppose 68 = g + g - 2*w, -4*g + 143 = 3*w. Suppose 3*y - g = 130. Let h = 91 - y. Is h a multiple of 18?
True
Let w = 79 - 79. Is 11 a factor of ((-58)/6 + w)*-36?
False
Let w(m) = 3*m + 20. Let x(b) = -b**2 - 4*b - 6. Let u be x(-4). Let h be w(u). Suppose -h = -2*r + 18. Is 5 a factor of r?
True
Suppose w - 3*n = 5750, 60*n = w + 58*n - 5746. Is w a multiple of 19?
True
Let m(f) = 64*f**2 + 421*f. Let j be m(-7). Let b = 3 + -1. Suppose 4*w - 6*w - g + 393 = 0, -j = -w - b*g. Is w a multiple of 10?
False
Let p(f) = f**2 - 4*f + 2. Is p(19) even?
False
Let w(m) be the first derivative of m**6/360 - m**5/120 - m**4/24 + 17*m**3/3 - 16. Let u(l) be the third derivative of w(l). Is u(3) a multiple of 2?
False
Let u(v) = 475*v**3 - 32*v**2 + 7*v - 18. Does 110 divide u(3)?
True
Suppose 27 - 22 = b + r, -2 = 2*b - 4*r. Suppose 3*x = -9, i - b*x - 1577 + 0 = 0. Is i a multiple of 56?
True
Suppose -2*m + 3138 = 2*f + 1172, 5*m = 20. Is f a multiple of 4?
False
Is 8 a factor of (1*(-11 + 1))/(668/(-220) - -3)?
False
Let g = -38608 + 60317. Is g a multiple of 11?
False
Let b = 103 - 212. Let j = 233 - b. Does 38 divide j?
True
Let c = 2753 - 2450. Is 15 a factor of c?
False
Suppose -7*s + 722 = 3193. Let r be (1 - 0 - (s + 6)) + -3. Suppose 2*b = 3*p + 141, -p - r = -4*b - 48. Does 25 divide b?
True
Let g(i) = -2*i**3 - 24*i**2 - 14*i + 164. Does 9 divide g(-16)?
False
Let s(c) = -c**2 + 16*c - 24. Let l be s(2). Suppose 0 = l*d - 13*d + 2106. Does 39 divide d?
True
Let d(y) = 7*y**2 + 2*y + 1. Let o be d(-2). Let a be (-30)/o*(-25)/10. Suppose -2*v + u + 18 = a*u, u = 4. Is 3 a factor of v?
False
Suppose -128469 = -111*t + 140166 + 273822. Does 51 divide t?
False
Let r = 10758 + -6622. Is r a multiple of 13?
False
Is 34 a factor of (-1 - 6268)/((-682)/44 - -15)?
False
Let p(a) = -a**3 - 2*a**2 + 10*a + 6*a - 5*a - 4*a - 13. Is p(-5) a multiple of 27?
True
Let t = 74 + 72. Let r(i) = i**3 + 8*i**2 + 3*i + 13. Let h be r(-7). Let u = t + h. Does 17 divide u?
True
Let s be 2/10 - (-133)/35. Suppose 0 = s*b - 0*w + w - 351, -173 = -2*b - w. Is 22 a factor of b + 1/(-5)*-5?
False
Let x = -3363 + 5664. Is x a multiple of 6?
False
Let o = 260 - 726. Let w = 484 + o. Is 12 a factor of w?
False
Let x be 0 - 3*(2 + -315). Suppose v = -4*i + x, 5*i + v - 1174 = -0*v. Suppose 5*g = 545 + i. Is 39 a factor of g?
True
Let g = -94 + 139. Let x(d) = 73*d - 33. Let s be x(0). Let r = s + g. Is 6 a factor of r?
True
Let q = 6837 + -2961. Is 27 a factor of q?
False
Let t = 12315 + -8247. Is 12 a factor of t?
True
Suppose 712 = 2*l + 716. Let o(t) = -233*t - 22. Is o(l) a multiple of 12?
True
Suppose -o = 8 - 11. Suppose -10*c + 8*c - 3*x + 211 = 0, -4*x = -o*c + 359. Is 7 a factor of c?
False
Let v = 38 + -33. Suppose 0*b + 1395 = v*b - f, 565 = 2*b + f. Does 40 divide b?
True
Let w(t) = 2*t**2 - 24*t - 24. Let u be w(13). Suppose -4*n + 60 = -n - 4*c, -u*c = -5*n + 114. Is n even?
True
Is 4 a factor of 2*(1276 + -1 - (15 - 17))?
False
Suppose 3*l = -l - 828. Let r = -124 - l. Suppose 568 + r = 7*g. Is 31 a factor of g?
True
Let r = 15 + 6. Suppose -22*b + r*b = -601. Does 38 divide b?
False
Let d(b) = -10*b - 273. Let p be d(-31). Suppose 0 = -p*c + 29*c + 168. Is c a multiple of 3?
True
Suppose -3*l + 8080 = 2*h - 7*h, 5*h + 2680 = l. Does 15 divide l?
True
Is 45 a factor of ((-81056)/10)/(517/(-55) - (-8 - 1))?
False
Let d = 32 + -26. Let j be (-6)/(-1*9/d). Is 6/(-2) + j + 5 even?
True
Let u(h) = 394*h**2 + 161*h - 1102. Is u(7) a multiple of 122?
False
Let t(b) = 10*b**3 + 31*b**2 + 12*b - 181. Is 128 a factor of t(9)?
True
Let r(n) = 4*n**2 - 69*n - 4. Let y = -886 - -909. Is 21 a factor of r(y)?
True
Suppose 0*u = 7*u - 28. Is 74 a factor of (370/(-8) + u)*-12?
False
Suppose 4*p + 767 = -s + 21267, 3*s - 5114 = -p. Does 22 divide p?
True
Let p = -14 + 10. Let n be -4*(16/p - 14). Let x = 180 - n. Does 12 divide x?
True
Let r be (-1)/(90/93 - 1). Suppose r*t = 14*t + 578. Is t a multiple of 7?
False
Suppose r - 851 = 5*h + 3892, 4*r - 19087 = -3*h. Does 26 divide r?
False
Suppose 0 = -5*h + 3*l + 420, 18*l = -3*h + 16*l + 252. Suppose 749 = 4*v - 5*y + h, 0 = v - 2*y - 167. Is 22 a factor of v?
False
Suppose 17*s - 7030 = -2*s. Let b = s + 39. Is b a multiple of 65?
False
Suppose -504*f = -502*f - 826. Suppose -4*n = -f - 3619. Is n a multiple of 48?
True
Let h be ((-316)/237)/(2/(-3)). Suppose h*v - 4*u - 615 - 1871 = 0, -2*v + 2450 = 5*u. Does 19 divide v?
True
Suppose 0 = -w + 81 + 99. Let g(k) = -k**2 - 13*k + 114. Let o be g(-19). Suppose -2*s = -o*s - w. Is s a multiple of 10?
True
Suppose -972*a + 970*a = -792. Is 22 a factor of a?
True
Let y be 32/(-144) - (-58)/18. Let p = 19 + y. Suppose -5*a + 2*c + p = 0, 5*c - 6*c = 3*a - 11. Is a a multiple of 4?
True
Is 179 a factor of (-2)/((-8)/(-3759))*500/(-375)?
True
Let q be (-4 + 79)/3 - 2. Suppose 2*n - q = 5*z, 2*n - 2*z - 3 = -z. Is 37 a factor of 3*(2 