+ 28*b**2 + 31*b + 74. Does 10 divide o(h)?
False
Suppose -b + 1392 = 4*n, 62*b - 64*b + 2794 = 3*n. Does 7 divide b?
True
Let i = -63 - -61. Let k be (2/i)/(1 - 25/20). Suppose k*m - 343 = 105. Is m a multiple of 16?
True
Suppose 0 = -22*c + 21*c + 5. Suppose -9*q + 11*q - 3*n = 151, -4*q - c*n + 313 = 0. Is q a multiple of 8?
False
Suppose -n = -2*n + 3162. Is n a multiple of 20?
False
Let z = 544 + -527. Let t(q) = -23*q + 3 + 30 + 5*q + q**2. Does 2 divide t(z)?
True
Let t = 2287 + 334. Is 6 a factor of t?
False
Let b(s) = 81*s + 813. Does 30 divide b(-3)?
True
Let d = 37278 + -34086. Is 6 a factor of d?
True
Let b(o) = o**3 - 23*o**2 - 21*o - 68. Let j be b(24). Suppose -410 = -3*l - j*w, -l + w = -138 + 6. Is 3 a factor of l?
False
Let w = -106 + 91. Is 9 a factor of 3*(-5 + (-835)/w)?
False
Suppose -36*g + 35*g = -124. Let m = g + -119. Suppose -m*z = -88 - 562. Is z a multiple of 34?
False
Let s = 1460 + 508. Does 82 divide s?
True
Let q be 2 + -1 + 19 + 0. Let k be 3*7/(-56)*-8. Suppose -k*a + 3*v + 363 = 0, 2*v + 103 = a - q. Does 10 divide a?
False
Let s(f) = -f**3 - f**2 - 2*f - 3. Let u be s(0). Let c be 4/6*u/(-1). Suppose c*g - 89 - 23 = 0. Is 28 a factor of g?
True
Let i(s) = s**2 - 16*s - 129. Let b be i(-6). Suppose 117 = b*z + 21. Is 3 a factor of z?
False
Let m(c) = 356*c**2 - 89*c - 418. Does 25 divide m(-5)?
False
Suppose 7*k = -9*k - 15680. Let p = 1734 + k. Does 75 divide p?
False
Let l be 1/3 - (122/6 + 1). Let a = l - -26. Suppose -3*s + 291 = 3*g, 2*g = a*s + 3*g - 493. Is 11 a factor of s?
True
Suppose 303 = 6*i + 483. Let p = i - -166. Is p a multiple of 3?
False
Is (-2)/(-13) - 10283192/(-1118) a multiple of 21?
True
Suppose -8*d = 5 + 67. Is 57 a factor of 862 - d/6*6/9?
False
Let s(v) = 34*v - 5. Let k(y) = -100*y + 15. Let p(u) = -2*k(u) - 7*s(u). Let j be -3 - (-2)/6*-3. Does 35 divide p(j)?
False
Suppose -60*f - 93 = -63*f. Let i(a) = -a + 49. Does 5 divide i(f)?
False
Let w(n) = -6*n**2 - 17*n + 13. Let x be w(-12). Let g = 676 + x. Does 6 divide g?
False
Let o(u) = 1 + 2 + 16*u**2 - 7*u**2 + 3 + u**3 + u. Let i be o(-10). Let y = i - -177. Does 12 divide y?
False
Suppose 29*n - 35700 = 7*n - 12*n. Is n a multiple of 7?
True
Let h(l) = l**2 + 8*l + 16. Suppose -5*j - 19 = 4*c, -14 = -3*j + c - 39. Let z be h(j). Is ((-3)/z)/(4/(-912)) a multiple of 19?
True
Suppose -22*m + 5111 + 11913 = -13116. Is 10 a factor of m?
True
Suppose 5*u + 2 = 2*g - 14, 0 = -5*g - u + 13. Suppose -5*f - g*f = 0. Suppose f = -2*t + b + 62, 184 = 3*t + 5*b + 65. Does 25 divide t?
False
Let w be (-16)/(-20) + (-48)/10 - -6. Let i(h) = -10*h + 4. Let b be i(4). Is 90/w*b/(-60) a multiple of 23?
False
Suppose 2*l = 4*s - 480, 10*l = 15*l - 3*s + 1235. Let m = 199 - l. Is m a multiple of 52?
False
Suppose 3*m - 6*g + 3*g + 81 = 0, 4*m + g = -93. Let s be 36/m*-2*1. Suppose -40 = 2*x - 4*x - s*a, 0 = -4*x - 5*a + 78. Is x a multiple of 15?
False
Suppose -3*s = -2*g - 0*g + 3807, -2*g - s = -3803. Let y = g + -1069. Is 7 a factor of y?
True
Let j(w) = w**2 + 1. Let g(o) = 7*o**2 - 18*o + 3. Let d(s) = -g(s) + 6*j(s). Let y be d(12). Let l = y + -9. Is 15 a factor of l?
False
Suppose -152*d + 175 = -147*d. Is 3 a factor of (-6)/10 + ((-8064)/d)/(-9)?
False
Let j = -72 - -48. Suppose 0*d = 23*d - 7544. Let k = j + d. Is k a multiple of 54?
False
Let x = 37 - 34. Let w(q) = -2*q**2 - 4*q + 6. Let p be w(x). Does 33 divide ((-18)/p)/((-2)/(-264))?
True
Let d be 0 - -3 - (-1 - 14). Does 30 divide (5*27/d)/((-6)/(-1232))?
False
Suppose -34*x + 6762 = -13*x. Suppose -x*v + 326*v = 1052. Does 9 divide v?
False
Let j = 481 + -406. Let h(l) = l**3 + 4*l**2 - 2*l - 6. Let g be h(-4). Suppose 9 = g*s - j. Does 21 divide s?
True
Suppose -l + d + 20 = 0, 5*l = -0*d + d + 84. Let k be (-36)/22*(-1243)/113. Suppose -l*j = -k*j + 10. Does 2 divide j?
False
Let t(h) = 2*h**2 + 14*h - 12. Let b be t(-8). Suppose 0 = -f - r + 195, b*f - 2*r - 763 + 7 = 0. Is 8 a factor of f?
False
Let x(r) = -3 + 575*r - 1154*r - 2*r**3 + 575*r. Let i = 4 - 5. Is 2 a factor of x(i)?
False
Does 2 divide 84/18*14697/46?
False
Let o be 372/(-6) + 7 + -2. Is 18/(-171) - 2970/o a multiple of 13?
True
Let z be ((-24)/(-54))/((-12)/(-54)). Suppose -z*p = p + 3*v - 291, 5*p = -2*v + 494. Does 3 divide p?
False
Does 13 divide 30*(119 - 17) + (-2 - -10)?
True
Let a(q) = 254*q - 588. Is 6 a factor of a(15)?
True
Suppose 466*w - 106 = -2*i + 465*w, 0 = -5*i - w + 265. Is i even?
False
Let u(p) = 212*p + 2205. Is u(18) a multiple of 223?
True
Let d = 38099 - 17546. Is 31 a factor of d?
True
Let q be 2*-218*(-4)/(-16). Let i be q/(-2) + (-25)/10. Suppose -i = 9*f - 1168. Is f a multiple of 31?
True
Suppose 40*r - 116865 = -35*r + 12*r. Does 53 divide r?
True
Let h = -23608 + 26721. Does 18 divide h?
False
Let w be 7*(-5)/25*5. Let r(j) = -j**3 - j**2 + 9*j - 10. Does 7 divide r(w)?
False
Let k(r) = -45*r + 51 - 9*r**2 + 23*r**2 + 2*r**2. Let n(l) = -3*l**2 + 9*l - 10. Let o(t) = -2*k(t) - 11*n(t). Does 34 divide o(-9)?
True
Let o = 14735 - 2954. Is 28 a factor of o?
False
Suppose -5*x + 4*i - 480 = 0, 3*x - i - i + 290 = 0. Let f = x - -98. Is (0 + -1)*(-335)/((-10)/f) a multiple of 15?
False
Let o(y) = -24*y + 21. Let w(h) = -48*h + 42. Let r(k) = 7*o(k) - 4*w(k). Suppose 5 = 3*f - 10. Is 11 a factor of r(f)?
True
Let c be (10/(-4) + 2)*(2 + -8). Suppose 0 = -3*v - 5*o - 362 + 1406, -1014 = -c*v + 5*o. Suppose 3*h - v = 2. Is h a multiple of 23?
True
Let f(w) = 2*w**2 + 4*w + 2. Let j be f(-5). Suppose -2*v = -v + 3*p + 20, -2*p = -4*v - 10. Let z = v + j. Is z a multiple of 9?
True
Suppose 6*v + 492 = -180. Let b = v + 281. Let a = b + -105. Does 11 divide a?
False
Suppose 5*b = -23*q + 19*q + 8479, -4*b + 6804 = -2*q. Suppose 0 = -15*r + 7541 + b. Is 22 a factor of r?
True
Let r(b) be the second derivative of -b**5/20 + b**4/4 - 5*b**3/6 + 5*b**2/2 + 17*b. Let n be r(2). Does 9 divide 101 - (n/2)/((-1)/4)?
True
Suppose 88*b = 1205587 + 2040117. Does 77 divide b?
True
Suppose 7*c - 15*c = 21960. Let u = c + 4043. Is u a multiple of 22?
True
Let t(x) = x**3 + 15*x**2 + 7*x - 49. Let y be (-125)/75 + (-37)/3. Is 16 a factor of t(y)?
False
Suppose -209*g + 62514 + 28401 = 0. Does 145 divide g?
True
Let n(f) = 44*f**2 - 30*f - 776. Is n(-16) a multiple of 12?
True
Let x(y) = -y**3 + y + 18. Let w = 39 - 34. Suppose 2*z - w*c = -15, 2*z + 6 = -0*z + 2*c. Is x(z) a multiple of 5?
False
Suppose 4*z + 6*z = 50. Suppose -v + 1064 = 2*h, h + z*v + 1052 = 3*h. Is 17 a factor of h?
False
Suppose -5*l + 50 = -z, 2*l + 3*z - 8 = z. Let t be (l/(-2))/(2/(-40)*-2). Let h = 73 + t. Is 7 a factor of h?
True
Let x(c) = -c**2 - 9*c + 4. Let v be x(-9). Suppose 75 = -3*k + 4*k - 3*n, -v*k + 293 = -5*n. Does 15 divide k?
False
Suppose 2403*c = 2320*c + 945038. Does 13 divide c?
False
Suppose -19 = -10*q + 9*q. Let b = 40 - q. Suppose -n + 16 = -w, -2*w + b = 4*n - 13. Does 8 divide n?
False
Suppose 0 = 3*r - 3 - 0. Is 14 a factor of 16/20 + 6862/10*r?
False
Let x = -795 - -791. Does 18 divide (x + 5)*(-5)/(5/(-72))?
True
Is 74 a factor of ((-88)/6)/(32/176064*-7)?
False
Let z = 6034 - 2997. Is 40 a factor of z?
False
Suppose -41*o - 77290 + 273271 = -1517942. Does 190 divide o?
False
Let s(f) = -444*f - 2580. Does 6 divide s(-15)?
True
Suppose 93*c + g - 115239 = 89*c, 0 = -4*g - 36. Does 17 divide c?
False
Let a = -47 - -83. Suppose 60 = -a*f + 40*f. Is 1983/f + (-8)/(-10) a multiple of 18?
False
Suppose 3*j + 2*b + 267 = -8, 2*b - 4 = 0. Let q = 95 + j. Suppose c = -3, 5*i - 405 = q*i - 4*c. Is i a multiple of 28?
False
Let t(m) = 197*m - 1130. Let b be t(6). Let h = -113 - -161. Suppose -b*j + h*j + 240 = 0. Is j a multiple of 12?
True
Suppose 5 + 1 = 2*b. Let i(z) = -z**3 + 6*z**2 - 10*z + 6. Let f be i(b). Suppose -5*q = -10, -f*q + 4*q = 3*t - 373. Is t a multiple of 25?
True
Is 58 a factor of 5*28191/(-30)*(-8 - -2)?
False
Let y(c) = -c + 2. Let u(k) = 2*k - 4. Let w(t) = u(t) + 3*y(t). Is 5 a factor of w(-9)?
False
Suppose -5*i = -i + 2*i. Suppose -5*a - 5*m + 1375 = 0, 0 = -4*a - i*a + m + 1085. Is a a multiple of 8?
True
Let r(g) = 17*g**2 - 46*g + 321. Does 100 divide r(16)?
False
Let p = 513 + -3. Does 15 divide 155754/p - (0 + (-6)/10)?
False
Let n(x) = -x**3 + 37*x**2 - 119*x + 173. Is 5 