pose 8*a = -3*f + 9*a + 3414, -5*f - 3*a + 5718 = 0. Is f a multiple of 19?
True
Is ((-2)/6*(1 + 0))/(15/(-417915)) a multiple of 182?
False
Suppose -2*h - 109*v + 871 = -110*v, 0 = h + v - 437. Does 4 divide h?
True
Let c(h) = 80 + 22*h**2 - 85 + 12*h - 49*h. Is c(8) a multiple of 41?
True
Let q(n) be the second derivative of 9/2*n**2 - 10*n + 1/6*n**3 + 5/12*n**4 + 0 - 1/20*n**5. Does 39 divide q(-4)?
False
Let p(s) = -s**2 + 0*s**2 + 33 - 817*s + 814*s. Is 5 a factor of p(4)?
True
Suppose -6*y - 9231 = 3141. Let n = -619 - y. Is 37 a factor of n?
True
Let f be -1*(-3 + 1) - 3/(-1). Is 28 - ((-4)/f + 638/110) a multiple of 4?
False
Let f = -825 + 263. Does 20 divide f/(-7) + (-28)/98?
True
Is 41 a factor of 33/31 + (-12)/186 - -5930?
False
Let l = 4883 - -6943. Is 73 a factor of l?
True
Let c = -7239 + 12519. Does 30 divide c?
True
Let w(g) = 2*g + 55. Let c be (2/(-4))/((-8)/(-448)). Let n be w(c). Let x(y) = -100*y**3 - 3*y**2 - y + 2. Is 50 a factor of x(n)?
True
Let w = -543 + 952. Let z = w + -103. Is 18 a factor of z?
True
Let t be 140/(-24) + 1/(-18)*3. Is ((-1127)/(-14))/(-7)*t a multiple of 12?
False
Suppose 203*p - 206*p + 1391 = 5*v, 2329 = 5*p + 3*v. Is 4 a factor of p?
False
Suppose 0 = -237*s + 249*s - 83220. Is s a multiple of 73?
True
Suppose d - 6*d - 53863 = -208563. Is d a multiple of 342?
False
Suppose -4*t + r + 10688 = 0, 2*t - 7212 = 3*r - 1878. Does 26 divide t?
False
Suppose 11*q - 1867 = 95*q - 179275. Does 33 divide q?
True
Suppose 216 = -3*y + 9. Let a be y/115 - (-18)/5. Suppose 4*n - 70 + 398 = a*t, -3*n + 15 = 0. Is t a multiple of 29?
True
Let h(a) = 42*a + 3. Let c = 132 + -130. Is h(c) a multiple of 5?
False
Suppose -2*r + 3*h = -325, -3*r + 338 = h - 144. Suppose -4*z - 5*c + r = 0, z = 5*c - 3*c + 24. Suppose 144 = 38*j - z*j. Is 3 a factor of j?
True
Suppose 3*p + 2*p = u - 7, 3*u - 7 = p. Does 5 divide p/4 - (-637)/52?
False
Let m be 8549/11 + (-6)/33. Let c = m - 458. Is c a multiple of 29?
True
Suppose 5*r + 181 = -4*b, -133 + 19 = 3*r - 3*b. Suppose 4*a = -i + a + 43, -3*a = -2*i + 122. Let g = i + r. Does 18 divide g?
True
Suppose -3*q - 3 = -3*j, 2*q = -j + 4*j - 3. Suppose -3*v - j = -13. Suppose 3*u + 121 = 6*s - v*s, 0 = -2*u + 6. Is s a multiple of 13?
True
Let g = -13 - -18. Suppose 0 = 3*n - 5*m - 268, 0*m = -5*m + g. Suppose -2*d + 495 = -3*f, d = -2*f + n + 146. Is d a multiple of 20?
False
Suppose 6762*n - 6790*n + 457912 = 0. Does 199 divide n?
False
Let a(b) = -b**3 - b**2 - 2*b + 3. Let u be a(0). Suppose -45*g - u*x - 56 = -46*g, 4*x + 12 = 0. Is g even?
False
Suppose -s - 109 - 262 = -5*g, 0 = 2*s + 2. Suppose 1044 + g = w. Does 20 divide w?
False
Let k(j) = 2*j**2 + 18*j + 18. Let u be k(-8). Suppose -37*g = -u*g - 22400. Is 10 a factor of g?
True
Let z(s) = -2*s**2 - 33. Let v be z(0). Let k be 1065/11 + (-6)/v. Let u = k + -9. Is 11 a factor of u?
True
Let w = -43 + 223. Let p = 22 + w. Does 6 divide p?
False
Let f be -4 - (8/10 - 2/(-10)). Let r = f + 14. Does 19 divide (-72)/324 - (-695)/r?
False
Let g = 192 + -299. Let t = -97 - g. Suppose 0 = p - 5*d + t - 2, 3*d - 44 = -5*p. Is p even?
False
Does 53 divide 3 + (-159)/51 + (-16)/((-7616)/17331692)?
True
Suppose -5*s + 3*s - 4*d + 18 = 0, -2*s + 2*d + 6 = 0. Is 58 a factor of (-27 + -601)*s/(-4)?
False
Suppose 440213 = 97*l + 429471 - 876226. Does 16 divide l?
False
Suppose 4*y = -8, -63*q - 2*y + 8162 = -60*q. Does 14 divide q?
False
Let y(q) = -3*q**3 - 72*q**2 - 2*q - 46. Let o be y(-24). Suppose -o*n - 2*x + 32 = 0, -29*n + 34*n = -x + 80. Is n a multiple of 4?
True
Let q be 20954/26 - 7/(-91). Suppose -2*h + q = 3*r, 49*r = 53*r - 16. Is 10 a factor of h?
False
Suppose 3*x - 75813 = -3*w + 29895, -w = -5*x + 176156. Does 16 divide x?
True
Let i(t) = -982*t - 428. Is i(-4) a multiple of 35?
True
Suppose -3*h = -5*b + 658, b + h = 74 + 56. Is 18 a factor of b?
False
Let x(f) = 3*f**2 + 24*f + 25. Let i be x(-1). Let b = 56 + -24. Suppose -i*u + b = -80. Is 14 a factor of u?
True
Let p(r) = -4*r**2 + 18*r - 4. Let o be p(4). Suppose 0 = 4*n - 8, -m - 2*m + 3035 = o*n. Suppose -m = -8*x + 287. Is 54 a factor of x?
True
Suppose -2*o - 4*o = -96. Let h(q) = 2*q**3 - 4*q**2 - 3*q - 1. Let i be h(4). Let l = i + o. Does 30 divide l?
False
Is 75 a factor of (9/(162/390) + -9)*18027/6?
False
Let a(v) = 10*v + 8. Let c be a(-3). Suppose -2*g - 5*f + 46 = 0, 0 = 9*g - 6*g + f - 95. Is (-169)/(-3) - c/g a multiple of 19?
True
Let q(u) = -441*u - 6. Let s be q(-6). Suppose 3*b - 4*r = 3946, -s = -2*b + 11*r - 6*r. Is 18 a factor of b/8 - 3/4?
False
Suppose -26*i - 440 = -518. Let m be 4/6 + (-4910)/(-6). Suppose i*v + m = 3*a, -a = 2*a - v - 819. Is 13 a factor of a?
True
Suppose 0 = 4*x + 4*q - 32208, -28*x + 3*q + 40292 = -23*x. Does 38 divide x?
True
Suppose -1936 = 2*i - 2211 - 4945. Is i a multiple of 38?
False
Suppose 2*v + 2*m = 1090, -4*v - m + 1117 + 1051 = 0. Does 5 divide v?
False
Suppose -d - 2*g = -2*d + 20, -5*g + 41 = d. Suppose -5*p - k = -32, -5*p + d + 18 = -3*k. Suppose 6*n = p*n - 237. Is 16 a factor of n?
False
Is (2/6*-61)/(93/(-12834)) a multiple of 73?
False
Suppose 0 = -2*s - i + 11649 + 398, -i - 18063 = -3*s. Is 12 a factor of s?
False
Let p(o) = 3*o + 6. Let g be p(-6). Let q = 8 - g. Let y(z) = z**3 - 21*z**2 + 20*z + 10. Does 2 divide y(q)?
True
Let y(f) = -373*f - 2503. Is 288 a factor of y(-47)?
False
Let g(s) = s**2 - 2. Let a be g(-4). Let o be ((-36)/63)/(-2 - (-24)/a). Suppose z + 70 = 3*x + 2*x, 0 = -3*x + o*z + 49. Does 4 divide x?
False
Suppose 5*h = s + 73994, 17 = 4*s - 7. Is 37 a factor of h?
True
Suppose 3*h - 58962 = -3*o, -6*h + 15*o + 117847 = 10*o. Is 59 a factor of h?
True
Does 69 divide (-1 - 67990/14)/(8*(-96)/3584)?
False
Suppose -9*b + 504 = -0*b. Let i = -58 + b. Let j = 72 - i. Does 15 divide j?
False
Let q be (6/33 + (-2)/11)/5. Does 4 divide 191*(-6 + q - -7)?
False
Let i = -196 - -209. Suppose -204 = 10*j - i*j - 4*d, -4*d - 12 = 0. Does 24 divide j?
True
Suppose -7*c + 6*c = -9*c. Suppose -30*b + 3724 + 12266 = c. Does 13 divide b?
True
Let z(i) = 5220*i**2 - 4*i + 32. Is 40 a factor of z(3)?
True
Let m(d) = 175*d**2 - 22*d - 114. Is 38 a factor of m(-4)?
True
Let i be ((-1527)/2)/(1 - (-35)/(-28)). Let k be ((-2)/9 + i/(-108))*12. Let f = -167 - k. Is 17 a factor of f?
False
Let z(d) = -21*d - 83. Let x be z(11). Let o = -111 - x. Is o a multiple of 7?
True
Let i(c) = 58*c**2 - 20*c + 15. Does 4 divide i(3)?
False
Suppose 170*h = 149*h + 85995. Does 105 divide h?
True
Let y be 4 - (-1 + 27/15)*260. Let m = 537 + y. Is 4 a factor of m?
False
Suppose -82*j - 85*j + 77156 = -90679. Is 7 a factor of j?
False
Suppose 0 = y - 8, -4*c = -144*y + 140*y - 75244. Is 27 a factor of c?
True
Is (-12)/(-26) + (-24852)/(-1417) a multiple of 3?
True
Let k = -70 - -48. Suppose -h - 2*l = -101, 15*h = 17*h - 4*l - 234. Let q = k + h. Is q a multiple of 15?
False
Suppose -47 = -6*n - 119. Let w be 1 - 16/n*186. Suppose 328 = 4*x + 2*d, -3*x - 3*d = -0*x - w. Is 8 a factor of x?
False
Suppose 9 = 3*y + 15. Let a = y + 39. Suppose 5*c = 272 - a. Does 6 divide c?
False
Let w = 2082 + -51. Does 140 divide w?
False
Let t(i) = i**3 + 16*i**2 - 18*i - 14. Suppose 5*s + 85 = -0*s. Let c be t(s). Does 26 divide -4 - (-83 - 2) - c?
True
Let k(j) = j**3 + 141*j**2 - 152*j - 484. Is 8 a factor of k(-142)?
True
Let z = 1167 + 351. Suppose 1632 = -2*d + 4*j, 3*j + 948 = -3*d - z. Is 10 a factor of 1/(-2) - d/40?
True
Let v = 9772 + -9736. Does 12 divide v?
True
Let w = 88 - 84. Suppose -5*z = -7*u + 10*u - 949, 2*u + w*z = 632. Is u a multiple of 35?
False
Suppose 24*x = 11*x + 11*x. Suppose 3*y - 5*s - 200 = x, -3*y = 6*s - s - 160. Suppose -6*i + 6 = -y. Is 5 a factor of i?
False
Suppose -14687 - 5884 = 2*r - 5*r. Does 99 divide r?
False
Let x(f) = 2. Let s(u) = -471*u + 23. Let z(w) = 2*s(w) - 18*x(w). Is 68 a factor of z(-1)?
True
Suppose -182 = 2*i + 5*z, 4*z = -i - 12 - 79. Let f = -17 - i. Does 20 divide f?
False
Suppose k - 7 = -4*s + 6, -k + 9 = 2*s. Suppose 0 = 3*a - 6*t + 2*t - 17, -5*t + 2 = 4*a. Suppose -k*q = 10, 168 - 44 = a*i + q. Is i a multiple of 14?
True
Suppose 1011721 + 398162 = 227*d + 45613. Does 10 divide d?
True
Suppose 261717 - 854741 = -32*t. Is 15 a factor of t?
False
Let u(j) = 