. Is 149 + q/(35/(-25)) even?
True
Let f be (-8)/(-10)*(-855)/18. Let h be 0 - (-81 - 1*(-2 + -1)). Let n = f + h. Does 16 divide n?
False
Let o = -1873 + 1867. Let g be 8/(-28) - (-264)/(-7). Does 3 divide g/(-6) - (-2)/o - -3?
True
Suppose 19*y + 141571 = 23*y + 7*u, 2*y - u - 70763 = 0. Is 130 a factor of y?
False
Suppose 4*y + f - 23805 = 0, 5173 = -2*y + f + 17068. Does 18 divide y?
False
Suppose 13*f - 20*f + 3787 = 0. Suppose -3*v + f = -2*a, -3*v + 4*a = -0*a - 551. Is 15 a factor of v?
False
Suppose -4*w = 3*g - 92, 0 = 7*g - 2*g - 2*w - 162. Let x = -44 + g. Let n = 36 + x. Does 3 divide n?
True
Suppose 6*p - 16*p = 40*p - 335600. Does 4 divide p?
True
Let o(f) = 12*f**2 - 7*f + 12. Let v(w) = w**3 - 3*w**2 + 6*w - 2. Let u be v(2). Let x be o(u). Is ((-6)/(-9))/(2/x) a multiple of 11?
False
Suppose 0 = 235*s - 237*s + 10. Is -8 + s + 371 + 1 a multiple of 41?
True
Suppose -43*k + 13056361 - 2903169 = 153*k. Is k a multiple of 118?
True
Let v be 4/8*(-2 + 4). Let t be v*-3 - 84/(-28). Suppose 2*h = -t*z - 2*z + 54, -3*h + 116 = -4*z. Does 5 divide h?
False
Is 4415 - (-147)/(-168)*24 a multiple of 26?
True
Suppose 6*v - 25 = v. Suppose -10*a + 150 = -v*a. Does 5 divide (-116)/(-5) + (-6)/a?
False
Let u be (-3 - 0) + 0 - -132. Let f(v) = 74*v**2 - u + 131 + 93*v**2 + 2*v - 45*v**2. Does 32 divide f(-1)?
False
Suppose -7*t = 6*t - 338. Suppose -t + 89 = 3*o. Is o a multiple of 21?
True
Suppose 2*u + 3*y - 13 = 7*u, 2*u - 4*y = 6. Let l be (u/5 - -4)/(9/276). Let v = l + -56. Is v a multiple of 3?
True
Let q = -179 - -272. Suppose -2*h - 109 = -3*x - 7, 3*x - 5*h = q. Is 88/9 - (-8)/x a multiple of 5?
True
Let y be 3/((-154)/26 + 6). Suppose -y*t + 987 = -36*t. Does 20 divide t?
False
Suppose -926*g = -908*g - 602550. Is 27 a factor of g?
False
Let l = -336 - -2858. Does 42 divide l?
False
Suppose -u - 72 = 2*z - 1061, 0 = 3*z + 3. Is 13 a factor of u?
False
Suppose -92*h = -43285 - 7315. Does 11 divide h?
True
Let i(c) = 10*c - 5*c + 73 - c**2 - 4*c. Is 8 a factor of i(0)?
False
Suppose 100 = 4*z + 84. Suppose -z*s - 3*f = -9, 6*f = 5*s + f + 15. Suppose 2*h - 10 = 0, s*a - 3*a - 2*h + 139 = 0. Does 8 divide a?
False
Let d(m) = -3*m**3 - 21*m + 102. Is d(-9) a multiple of 177?
True
Let i(v) = -108*v**3 - 36*v**2 - 179*v - 6. Is i(-6) a multiple of 28?
True
Let o = 8477 + -5741. Does 29 divide o?
False
Suppose 0 = -o - 2*a + 816, 2038 = -4*o + 2*a + 5302. Let u = -400 + o. Is u a multiple of 30?
False
Let n(v) = 9*v**2 - 7*v - 4. Let d(t) = 14*t**2 - 10*t - 6. Let r(j) = -5*d(j) + 8*n(j). Let q be 9 + -7 + 1 + 4. Does 13 divide r(q)?
False
Suppose p = -4*m + 84, 2*m + 2*p = 3*m - 21. Let t(g) = -22 - 5*g - 32 + m. Is t(-10) even?
False
Let i = 48 - 45. Suppose i*o + 265 = 1105. Suppose 19*y - o = 12*y. Is y a multiple of 4?
True
Suppose -2*u + 5*h - 908 = 0, -4*u - 1462 = -5*h + 334. Let c = 747 + u. Does 15 divide c?
False
Suppose 5*w = -4*d + 213, -8*w + 3*w = -5*d - 240. Does 9 divide -848*(-18)/w*5/4?
False
Let v(c) = -2*c**2 + 181*c - 39. Does 28 divide v(23)?
False
Suppose 0 = -4*c + 85 + 227. Is 2 a factor of (1*(0 + -2))/((-26)/c)?
True
Is 17 a factor of ((-156)/286)/(24/(-60324))?
False
Suppose -w - 745*n + 748*n = -2475, -2*n + 6 = 0. Does 23 divide w?
True
Let h = -456 + 904. Suppose 2*t + 2*t - 1078 = -5*a, 4*t = 2*a - h. Suppose -2*n + 2 = -a. Is n a multiple of 11?
True
Let s(a) = -a**2 + 31*a + 2. Let z = 220 - 195. Does 19 divide s(z)?
True
Suppose 0 = -s - a + 1048, -126 = -3*a - 141. Is 27 a factor of s?
True
Suppose 12 = -4*t - 2*t. Let o be (-2 - t) + -2 - (-3 + 1). Suppose -2*b = -5*k + 51 + 12, -2*k + b + 25 = o. Is 10 a factor of k?
False
Suppose -2364 = 20*s + 11376. Let p = -246 - s. Is p a multiple of 63?
True
Let k(i) = 15*i + 116 - 186 + i. Does 31 divide k(15)?
False
Let b = 444 + -445. Is b/2*10 - 1652/(-28) a multiple of 5?
False
Let o(a) be the third derivative of -a**5/60 + a**4/24 + a**3 + 11*a**2. Let s be o(-7). Is 5 a factor of (-2)/(-5) - 480/s?
True
Let s(t) = t + 7. Let d be s(-5). Suppose -2*h - 12 = -4*b + d*b, 2*b = 6. Is 2*(h - 147/(-6)) a multiple of 32?
False
Let m(h) = 2*h**2 + 19*h - 232. Is m(-36) a multiple of 2?
True
Let i(o) be the third derivative of o**4/12 + 19*o**3/6 - 39*o**2 + 3. Suppose 0 = -3*x + 3*n + 25 + 14, -5*x + 53 = n. Does 10 divide i(x)?
False
Let j = 19082 - 60123. Is 8/10 - j/55 a multiple of 14?
False
Let x(d) = -d**2 + 8*d - 3. Let u be x(7). Let s = 2173 - 2168. Suppose -5*l + a = -775, 10*l - u*a - 775 = s*l. Does 14 divide l?
False
Let q = -20318 + 42998. Is 105 a factor of q?
True
Let y(n) = 52*n + 24 + 36*n - 77*n. Is y(21) a multiple of 14?
False
Let k be (-200)/(1 - -3) + 10/10. Let a = k - -840. Does 6 divide a?
False
Let v = 127 + 184. Suppose -2*u - v = -3*y - 117, -y = -3*u - 67. Suppose -a + 36 = -y. Is 10 a factor of a?
True
Let v be 3 - (-28)/(-8) - (-35)/10. Suppose 0 = -i - 3*f + 75, f = -v*i - i + 245. Does 3 divide i?
True
Does 13 divide 1305300/2250 + 2/(-15)?
False
Suppose 3*y - 22*y = -171. Is 36 a factor of 1957/5 + 4 - y/(-15)?
True
Suppose -804*t + 59138 = -802*t. Does 9 divide t?
False
Suppose 31*y - 194946 + 36009 = 0. Is 52 a factor of y?
False
Let o(a) = a**2 - 99*a + 355. Is 2 a factor of o(99)?
False
Is (189620/(-7))/(-10) + (-12)/14 a multiple of 2?
True
Is (1946*52/(-546))/((-3)/54) a multiple of 8?
True
Suppose -v = -4*s + 7539 - 644, 0 = -5*s + 3*v + 8610. Is 25 a factor of s?
True
Let j(w) = w**2 + 3*w + 4. Let y(b) = 2*b**2 + 9*b + 2. Let v be y(-4). Let k be j(v). Suppose 5*r - 4*r = 3*i, -k*i = -8. Does 4 divide r?
True
Let n(r) = -492*r + 9. Let x be n(1). Let s = -323 - x. Is 11 a factor of s?
False
Let l(a) = -a**3 - 2*a**2 - 10*a. Let w = 63 - 44. Let y = w + -24. Is 5 a factor of l(y)?
True
Let z = -109 - -130. Let t = -203 + z. Let o = 278 + t. Is o a multiple of 16?
True
Suppose -20*b + 240730 = -37350. Is b a multiple of 88?
True
Let n = 273 + -271. Is 27/n + ((-66)/12 - -6) a multiple of 7?
True
Suppose 30*a = 33*a - 9. Suppose 0 = 4*l + 8, -a*f + l + l + 265 = 0. Is f a multiple of 3?
True
Suppose 0 = 4*n - 12 - 4. Suppose -5*b = -p - 9*b + 8, 4 = n*b. Let a(r) = 18*r + 33. Is a(p) a multiple of 35?
True
Let o = -5204 - -7238. Is o a multiple of 113?
True
Let d be 41781/(-76)*32/(-6). Is (-70)/(-15) - 5 - d/(-12) a multiple of 4?
True
Let c(v) = -6*v + 16. Let b = -81 + 65. Let z be -3*b/18*(-63)/12. Is 10 a factor of c(z)?
True
Let h be -969 - (-7 - (-5 + -1)). Let t = 1440 + h. Is 34 a factor of t?
False
Let q(r) = -r**2 - 12*r - 29. Let t be q(-7). Let k be 39/t + (-12)/8. Is 2/k - 1512/(-70) a multiple of 11?
True
Let i(l) = -2*l + 20. Let t be (-8 + 6)*(-20)/4. Let q be ((-22)/(-4))/((-5)/t). Is 6 a factor of i(q)?
True
Suppose 2*j - 3*o - 6461 = 7*j, 1295 = -j - 2*o. Let k = j - -1961. Does 10 divide k?
True
Is (9 + (-12 - 3) - (-54)/(-1))/(-1) a multiple of 20?
True
Let g = -56 - -57. Let q be (-5)/10*g + 5/(-2). Is (-20)/2*(20/8 + q) a multiple of 2?
False
Let s = 41795 + -22711. Suppose -2*k - 11*k + s = 0. Is k a multiple of 21?
False
Let j be (30/(-35))/(2/(-42)). Let q = 185 + j. Is q a multiple of 5?
False
Suppose c - 18 = -4*w - 0, -5*c + 2*w = -2. Let h(x) = -12*x + 21*x**c + 1 + 19*x**3 + 5*x + 3*x**3 - 15*x**2. Is 17 a factor of h(2)?
True
Let n be 14/7*(-73)/2. Let t = 74 + n. Let k(b) = 15*b**2 - 2*b + 2. Does 9 divide k(t)?
False
Let w(o) = -o**3 + 7*o**2 - o + 6. Let m(z) = -z - 10. Let f be m(-12). Suppose 0 = -4*d + f*v + 24, 5*d - 3*v = -8*v + 15. Is w(d) a multiple of 17?
True
Let z(w) = 5*w + 93. Let c be z(-18). Suppose c*i - 3*l = 1857, -1268 = -i - i - 4*l. Is i a multiple of 15?
False
Suppose -37*h + 62048 = -5*h. Suppose 0 = -17*o + 849 + h. Is o a multiple of 82?
True
Suppose 68 = g - 58. Let q = -119 + g. Let l(k) = -k**3 + 8*k**2 + 7*k + 14. Does 8 divide l(q)?
True
Suppose -5*q = -2*w - 152645, 3*q - 9*w - 4477 = 87149. Is 240 a factor of q?
False
Let b be (-21)/(-63) + (-9800)/(-12) + 2. Let n = -766 + b. Does 7 divide n?
False
Suppose 0 = -18*v + 14*v + 32. Suppose 32 = -v*s - 0*s. Is 17 a factor of ((-160)/(-3))/s*(-6)/4?
False
Is 54 a factor of (-281*1)/((-1)/(4 - -11))?
False
Suppose 2*n = c - 2*n - 410, -4*c + 4*n = -1652. Does 3 divide c?
True
Let y(m) = -2*m**3 + 80. Supp