597 = -d + 6044. Is u a multiple of 64?
False
Let y(b) = -56*b**2 - 16 + 68*b**2 + 11*b - 26*b - b**3 + 2*b**3. Is 5 a factor of y(-13)?
True
Let c(g) = g**3 + 20*g**2 - 5*g - 22. Let a(l) = l**3 + 19*l**2 - 4*l - 22. Let x(t) = -7*a(t) + 6*c(t). Suppose -5*d + 117 = -14*d. Is x(d) a multiple of 16?
True
Suppose -5*w - 13*x + 14*x = -723, 0 = -w + 2*x + 159. Is w a multiple of 10?
False
Suppose -9*n - 155 = 592. Let h be (2 - 0) + -5 - -1. Let r = h - n. Does 19 divide r?
False
Suppose -w - 2*v = 458, -3*w + 3*v - 1372 = 7*v. Let b = -346 - w. Does 10 divide b?
True
Let u = 968 + -331. Suppose -u = -k + 18. Is k a multiple of 26?
False
Let r(z) = 28*z**2 + z + 40. Let g(d) = 27*d**2 + 2*d + 40. Let h(o) = 6*g(o) - 5*r(o). Is h(-7) a multiple of 18?
False
Suppose 6*c - 58*c = 13*c - 16705. Does 11 divide c?
False
Let v(g) = g**3 - 3*g**2 - 4*g. Let f be v(4). Let s be (1 - f)/((-7)/(-203)). Suppose 0 = -2*m + s + 19. Is m a multiple of 12?
True
Is 3/8 - (-2246136)/192 a multiple of 122?
False
Let t(x) = x**3 + 20*x**2 + 20*x + 24. Let n be t(-19). Suppose 4*f - 1476 = n*u - u, 0 = 5*f - u - 1841. Does 23 divide f?
True
Suppose -4*r + 107 - 27 = 0. Let a = r - 16. Suppose -2*k - a*n + 2 = 0, 3*n = k + 2*k - 21. Is k a multiple of 4?
False
Suppose 24 = 2*h + 2. Suppose -h*o + 60 = o. Suppose o*j - 518 = 2*a, -3*j + 0*a + 316 = 4*a. Is 26 a factor of j?
True
Let v = 36 + -32. Is 11 a factor of (-4215)/(-6) - v*24/(-64)?
True
Suppose -127*a + 15889 + 429287 = -1024722. Is 36 a factor of a?
False
Let f = 6746 - 5183. Is 2 a factor of f?
False
Does 2 divide ((235 + -231)*(0 - -1))/(4/3242)?
True
Let p = -3168 - -3403. Does 4 divide p?
False
Let o(a) = 20*a**2 - 3*a + 8. Let y be o(4). Suppose -5*h + 315 = -2*z, z + y = 5*h + 1. Does 21 divide h?
True
Let q(f) = -31*f - 204. Let b be q(-7). Suppose -30*t = -b*t - 11662. Does 14 divide t?
True
Let g(f) = -782*f - 1120. Is 134 a factor of g(-10)?
True
Let v = -379 - -386. Suppose 0 = v*f - 107 - 166. Does 16 divide f?
False
Suppose -4*i = -2*j + 676, 15*i + 507 = 12*i + j. Let h = i + 179. Is h a multiple of 4?
False
Suppose 2*i - g - 28737 = 0, -19*i - 5*g - 57501 = -23*i. Is 36 a factor of i?
True
Let r(t) = 687*t + 814. Is 68 a factor of r(11)?
False
Suppose 5*n + 79*n = 249984. Is 12 a factor of n?
True
Let c be (1368/33)/8 - (-4)/(-22). Suppose -13 = -i - 2*o + 59, -5*i - c*o + 335 = 0. Is 25 a factor of i?
False
Suppose 5*h - n = 4975, -2*n - 402 = -h + 602. Is h a multiple of 10?
False
Let j(s) be the second derivative of s**5/20 - 5*s**4/4 - 13*s**3/6 - 17*s**2/2 - 41*s. Let g be j(16). Suppose -342 = g*b - 34*b. Is b a multiple of 19?
True
Let b = 287 + -284. Suppose -4*f = -2*l - 704, -233 = -4*f + b*l + 473. Is 13 a factor of f?
False
Let g = 94610 - 60136. Is g a multiple of 11?
True
Suppose -4*c + 22 = 3*z + 1, 5*c - 35 = 5*z. Suppose -c*k = -5*k - 1. Does 6 divide 7*k*(3 - (-1 + -1))?
False
Let m(z) = 41*z + 5796. Is m(0) a multiple of 12?
True
Let r be ((-7)/2 + 3)*-2. Let q = 159 + -130. Is q + -10 - (-2 - (3 - r)) even?
False
Let g be ((-40)/(-6))/((-2)/(-15)). Let n = 54 - g. Suppose 4*f + n*d = 436, d = -f - 2*f + 337. Is 19 a factor of f?
True
Let u = -490 - -238. Does 2 divide (4/1)/((-42)/u)?
True
Suppose -5*m - 180 = -9*m. Let r = m + 130. Is 25 a factor of r?
True
Let o(u) = 613*u**3 + 2*u**2 - 8*u + 3. Does 15 divide o(2)?
False
Let j(y) = 5*y**2 + 11*y + 15. Let k be j(-9). Let h = -139 + k. Is 2 a factor of h?
True
Let u be ((-3)/2 + 0)*280/(-84). Suppose u*d - 133 - 107 = -4*y, -4*y + 136 = 3*d. Does 4 divide d?
True
Suppose -204*c + 2078085 - 4626727 = -14794762. Is c a multiple of 90?
True
Suppose z = -3*l + 172, 83*l - 87*l + 8 = 0. Let s be (46 + 1)*4/2. Suppose 5*j + t = z, 5*t + 0*t + s = 3*j. Does 11 divide j?
True
Let q(k) = 6*k**2 - 40*k + 547. Is q(27) a multiple of 41?
False
Let p(l) = -5157*l - 71. Let t be p(-3). Is 15 a factor of t/22 + -2 + 0 + 7?
True
Let a be 1*(-3 + 5 + 5). Suppose 898 = a*f - 768. Let m = f - 16. Is 37 a factor of m?
True
Let b(l) = l**2 - 26*l - 132. Let k(p) = 14*p + 148. Let y be k(-11). Does 5 divide b(y)?
True
Suppose -74013 = -2*f + 5*n, 0 = -5*f + 7*n - 11*n + 185049. Is f a multiple of 140?
False
Suppose 20*g + 312 = 28*g. Suppose 3*q = -5*b + 1229, -b - g*q + 239 = -35*q. Does 13 divide b?
True
Let p(g) = g**3 + g**2 - 60*g + 42. Is 9 a factor of p(14)?
True
Suppose 3*j - 33282 = 46237 + 36896. Does 65 divide j?
True
Does 7 divide ((-3 - 13)*(-1)/(-6))/(122/(-101199))?
True
Let o be (-7 + -1)*(-500)/16. Let t = o + 113. Is t a multiple of 33?
True
Suppose 5*n - 23525 = -5125. Is ((-2)/(-10)*-42)/((-138)/n) a multiple of 13?
False
Let v = -4636 - -3247. Let g = 2206 + v. Is 75 a factor of g?
False
Let m = 23 + -27. Let f = -26 + m. Is 12 a factor of f/(4 + (-95)/20)?
False
Suppose q + 1566 = -3*o, -18*q = 3*o - 20*q + 1575. Let d = o + 1005. Is d a multiple of 22?
False
Let i(g) = -79*g + 345. Does 14 divide i(-9)?
False
Let q = -161 + 266. Is q a multiple of 35?
True
Suppose 5*d = 73*u - 68*u + 78270, -d - 4*u + 15644 = 0. Is 43 a factor of d?
True
Is 12/(-108)*12*-3027 a multiple of 131?
False
Let p(b) be the second derivative of 0 - 13*b + 1/20*b**5 + 3/4*b**4 + 0*b**2 + 5/3*b**3. Is p(-6) a multiple of 12?
True
Let y(v) = -v**3 - v**2 - 3*v + 15. Let i be y(3). Does 25 divide 1 + 320 + 24/i*-5?
True
Suppose -25754*d + 25753*d + 1338 = 0. Does 16 divide d?
False
Suppose -2*v + 19*y - 21*y = -1046, 0 = v - y - 523. Suppose -h + 9*m = 5*m - 179, -3*h - 2*m + v = 0. Does 20 divide h?
False
Suppose 0 = -4*h - 4*s - 4036, 5*h + 428 + 4613 = -4*s. Let z(g) = 3*g**3 - 4*g**2 - 10*g - 10. Let w be z(-2). Does 10 divide h/w - (1/(-2) - -1)?
False
Suppose -6*w = -1188 - 30. Does 14 divide (3 - w/63) + (-1498)/(-18)?
False
Suppose 10*a = 7*a + 213. Suppose -19*y + 48 = -7*y. Suppose o = -w + 12, -o = 2*o - y*w - a. Is 17 a factor of o?
True
Suppose 0 = 3*s - z - 10401, 3*s + 4859*z = 4863*z + 10383. Is 15 a factor of s?
False
Is 1 + 7 - (-4 + -198 + 12) a multiple of 22?
True
Let m(f) = f**2 + 10 + 5*f**3 + f - 6*f**3 + 2*f**3. Let s be m(-5). Let c = -47 - s. Does 13 divide c?
False
Let b be -2 - ((-22)/6 + 6/(-18)). Suppose -8*q = b*q. Suppose 8*f - 3*f - 230 = q. Does 13 divide f?
False
Let j = 220 + 106. Let d = j - 213. Does 13 divide d?
False
Let g = -3820 + 4075. Does 21 divide g?
False
Suppose -68 = -7*v + 2. Suppose -5*p - 2*f = -1654, -p = v*f - 9*f - 329. Is p a multiple of 3?
False
Let v(p) = 2*p**2 + 14*p + 2. Let f be v(-26). Suppose 24*x = 14*x + f. Does 3 divide x?
True
Let a be (217 - 10) + (-2 - -3). Suppose -4*u = 4*t - 160, 5*t + 2*u - u - a = 0. Let d = -18 + t. Is 8 a factor of d?
True
Let y = -77 + 2. Suppose 30*z - 3*g - 39 = 35*z, 3*z - 4*g = -6. Is z/(-21) - y/7 even?
False
Let j = 289 + 514. Suppose -7*v + j = -163. Does 6 divide v?
True
Let k(t) = -t**2 + 11*t - 16. Let c be k(14). Let b = 34 + c. Let j = 38 - b. Does 31 divide j?
True
Let y(g) = 215*g**2 - 11*g - 11. Let k be y(-1). Suppose -k = 60*t - 65*t. Does 3 divide t?
False
Suppose -11542*q + 1179374 = -11481*q. Does 60 divide q?
False
Suppose -18 = -3*o + 2*l, -2*l = -o + l + 13. Let g be o + 108 - (6 - 2). Let c = g + -88. Does 10 divide c?
True
Let r(c) = -8 - 4*c - 5*c - c**3 + c - 5*c**2 + 4. Let x be r(-3). Is 80 - -3 - x/(-2) a multiple of 28?
True
Suppose -6*g + 777 + 87 = 0. Suppose -2*k + 0*p - 3*p = -g, 0 = -3*p. Let t = k - -168. Does 24 divide t?
True
Suppose 221 = 43*b + 49. Suppose 2*a + 2*a - 20 = 0. Suppose a*d - 5*o - 110 = 0, -2*o + 19 = d - b*o. Does 11 divide d?
False
Let h(n) = -4*n**2 - 12*n + 7. Let i be h(-6). Let v = -31 - i. Suppose -b + 21 = -v. Does 9 divide b?
False
Suppose 0 = -z + 2*o + 350, -4*o = 64*z - 63*z - 320. Is z a multiple of 2?
True
Suppose -36915 = -5*r - 960*d + 963*d, 0 = -2*r + 5*d + 14785. Is 180 a factor of r?
True
Let q = 1814 - 976. Let k(d) = -3*d**3 + 831 - q - d + 2*d**3 - 3*d**2. Is k(-4) a multiple of 3?
False
Suppose 1282*s - 1251*s - 215481 = 0. Is 7 a factor of s?
True
Let z(s) = 109*s**3 - s**2 + 3*s + 1. Let h be z(-2). Let o = 627 + h. Let d = -169 - o. Is d a multiple of 17?
True
Suppose 0 = 17*w - 14*w + 4*g + 15, -w + 5 = -2*g. Let t(s) = 125*s**2 - 2*s - 3. Is t(w) a multiple of 8?
Fal