). Let j = b + 44. Is 7 a factor of j?
True
Let d = 258 - 124. Let w(g) = g**2 + 53*g + 102. Let p be w(-51). Suppose 0 = v + 4*v - s - 126, p = 5*v + s - d. Does 5 divide v?
False
Let w = -1224 - -4131. Is 57 a factor of w?
True
Let h(i) = i**2 - 11*i + 44. Suppose 0 = -39*l + 25*l + 182. Is h(l) a multiple of 10?
True
Let x(l) = l**2 + 6*l - 2. Suppose 0 = -2*k + 5*k - 9. Let z be x(k). Is 1320/z - 1/(-2 + -3) a multiple of 18?
False
Let i(r) = 12*r + 49. Let f(p) = -p + 10. Let y be f(-3). Is i(y) a multiple of 22?
False
Let m(z) = z + 4. Let d be m(-13). Let o be (-2)/2 + (-5 - d). Suppose -156 = -4*b - 3*i, o*i = 2*b - i - 56. Does 9 divide b?
True
Let z be 130/39*(-120)/(-25). Suppose -5*s + z*c = 17*c - 4064, -s + 808 = -c. Is 22 a factor of s?
False
Does 52 divide ((-4)/(8/1))/(-8*(-22)/(-20103776))?
False
Let i(k) = -2*k + 60 - 237*k**2 + 24 + 236*k**2. Is 9 a factor of i(0)?
False
Let g = 2935 + 4976. Is g a multiple of 172?
False
Let d = 130 - 118. Suppose d*x - 1 = 23. Suppose 4*j - 84 = x*j. Is j a multiple of 29?
False
Suppose -4*k + 12597 = q, 29867 + 20409 = 4*q + 2*k. Does 8 divide q?
False
Let k = -2247 - -7617. Suppose 0 = -16*z - 1722 + k. Is z a multiple of 6?
True
Is 80 a factor of (-574)/(-35)*(-3 - -1208) + -2?
True
Let r be (-8)/6 + (-4610)/(-15). Suppose 23*c = 17*c + r. Is 9 a factor of c?
False
Is (-324)/(-20)*(-41000)/(-120) even?
False
Let a(l) = 3*l - 3. Let g be a(0). Let z be (-12)/(-10)*(3 + (-16)/g). Suppose z*s - 108 = 7*s. Is 19 a factor of s?
False
Does 81 divide (-43650)/(-8) - (-1)/8*6?
False
Let s(z) = z**2 + 12*z - 24. Suppose -13*c = -10*c - 30. Let m(n) = n**2 - 9*n - 24. Let t be m(c). Is s(t) a multiple of 2?
True
Suppose -3*y + 232 = -392. Suppose -342 = y*p - 210*p. Is 31 a factor of p?
False
Let o be 1 + 0 + ((-108)/4)/(-9). Suppose -36 = -4*r + o*w, w - 4 = 3*w. Is 4 a factor of r?
False
Let i be 15/3*12/20. Suppose -6 = i*r - r, -2*p - 4*r = -228. Is 12 a factor of p?
True
Let s(d) = 13*d**3 + 36*d**2 + 27*d + 4. Is s(8) a multiple of 56?
False
Suppose -22495 = 79*q - 84*q + 5*s, -18001 = -4*q - s. Is 15 a factor of q?
True
Let i = 1525 - -1057. Is i even?
True
Let b(w) = -5*w**3 + w**2 + 2*w - 1. Suppose u = 9*u - 104. Suppose u - 1 = -6*y. Is 13 a factor of b(y)?
True
Let u(k) = -k**3 + 47*k**2 + 55*k + 181. Is u(47) a multiple of 44?
False
Suppose 0 = 2*f - 6*f - 2*p + 24338, 3*f - 18253 = -2*p. Is f a multiple of 95?
False
Is (1*59936/48)/(2/3) a multiple of 32?
False
Let m(d) = 15*d**2 + 7*d - 53 - 10*d**2 - 4*d**2. Let o be m(-24). Let a = o - 102. Is 23 a factor of a?
True
Let l(o) = -29*o + 2. Let k(i) = -115*i + 10. Let u(h) = 2*k(h) - 9*l(h). Is u(4) a multiple of 21?
True
Let n be (-18)/(-15)*(72 + -37). Does 6 divide 250*n/(-2)*(-6)/35?
True
Let z(f) = 657*f + 5475. Is z(28) a multiple of 15?
False
Let a(c) = 2038*c**2 + 11*c - 2. Is a(-1) a multiple of 25?
True
Suppose 10*p + 5*y + 4198 = 13*p, 0 = 5*y - 5. Suppose 5*o - 3*n - p = 2*o, 3*o - 1405 = 4*n. Is o a multiple of 25?
False
Suppose 41 = 4*p - 23. Let t be (12/(-8))/(2/p). Does 12 divide (432/10)/(t/(-60))?
True
Suppose 98 = 2*i + 2*r - 14, -i + r + 56 = 0. Is 14 a factor of (235/20)/(1/i)?
True
Suppose -44 = -6*t + 10. Suppose -5*c - 2*u = -2286, c + 5*u = t*u + 444. Is c a multiple of 23?
False
Suppose -10*j + 1147 = -j - 4811. Does 11 divide j?
False
Suppose -6*v - 796 + 25060 = 0. Does 80 divide v?
False
Let f be 1 - (-1 - (-6)/(-3) - 62). Let p be f/(-363) - (-8)/11*-8. Does 20 divide 6/(-18) + (-596)/p?
False
Let v be 1/(2/(-430)) - (-6 - -7). Let t = 103 + -239. Let y = t - v. Does 8 divide y?
True
Let c(b) = -168*b**3 - 5*b**2 - 22*b. Does 31 divide c(-3)?
True
Suppose -412 = -4*u - 368. Let w = 19 - -49. Let q = w - u. Is 19 a factor of q?
True
Let i(a) = 2*a**2 + 46*a + 61. Let b be i(-22). Suppose -b*c + 22*c = 3825. Is 51 a factor of c?
True
Let f = -8685 + 13930. Is f a multiple of 17?
False
Let j = 2940 + -1530. Does 21 divide j?
False
Is 21/(-28)*-2092 + -10 a multiple of 2?
False
Suppose -101*s + 104*s - 3*c - 6171 = 0, -5*s - 4*c + 10348 = 0. Does 116 divide s?
False
Let a(g) = -351*g + 11088. Does 13 divide a(-89)?
False
Suppose -117*l + 279349 = 169293 - 306347. Is 78 a factor of l?
False
Suppose -29*d = 32*d - 0*d - 458171. Is 37 a factor of d?
True
Is 10 a factor of ((-6566)/147)/(1 - (-16)/(-15))?
True
Let b be 149 + (-15)/10*4/(-6). Let g = -70 + b. Does 44 divide g?
False
Does 117 divide -8 + 1168/(-4*10/(-120))?
False
Let t(c) = -8 - 22*c - 12*c + 39*c. Is 15 a factor of t(14)?
False
Let s(r) be the third derivative of r**5/30 - 5*r**4/24 - r**3/3 - 8*r**2. Let l be s(-1). Is -2*68/(-2) + l a multiple of 36?
False
Let b = -1204 + 2560. Suppose -f + 5*z + 266 = 8*z, 5*f = -2*z + b. Does 16 divide f?
True
Let n = -154 + 243. Suppose 5*j = 2*j - t + 6, 10 = 5*j - 5*t. Suppose -j*v = 57 - n. Is 2 a factor of v?
True
Let n(c) = -26*c - 76. Let k be n(-3). Suppose -5*t - 2*p + 162 = 0, 71 = k*t - 2*p - 5. Does 5 divide t?
False
Is 14 a factor of (-267684)/(-12) + -18 + 16?
False
Let c = 37 + -36. Let d be (-4 - -3)/(c/(1 + -6)). Does 7 divide (4/d)/(4*(-4)/(-360))?
False
Let i(q) = q**2 + 14*q + 18. Let t be i(-13). Suppose -3*j = -t + 17. Is (-4)/6*(j - 53) a multiple of 10?
False
Let v = 164 - 160. Suppose -3*k + v*o - 392 = -2153, -4*o = 4*k - 2376. Is k a multiple of 66?
False
Let k = -23401 + 39862. Is k a multiple of 177?
True
Let d = 422 + -415. Does 68 divide 28/(d - 1422/204)?
True
Let m be -1 - (-2 - (-1 + 2)). Let r = 90 + m. Suppose -c = q - 3*c - r, -2*q + c = -193. Is q a multiple of 10?
False
Let d be 10312/2 - 1/((-1)/4). Suppose 18*j - d = 6*j. Suppose -j = -3*a - w, 3*a + 147 = 4*a + 4*w. Does 11 divide a?
True
Suppose -3*t + 190 = h, t - 4*h - 6 - 53 = 0. Let z = t + -60. Suppose -z*o - 28 = -2*a + o, 0 = -a + o + 15. Does 8 divide a?
True
Let s(i) = -8 - 2*i + 14 + 16. Let j be s(14). Let g(m) = 2*m**3 + 13*m**2 - 4*m. Is 6 a factor of g(j)?
True
Let w = 31 - -205. Let r = w - 151. Does 5 divide r?
True
Let q(j) = 70*j - 5. Let v be q(-11). Let b = 463 + v. Is 19 a factor of 4 - b/9*3?
False
Suppose 0 = 3*m + c - 6735 - 2610, 0 = 3*m + 3*c - 9333. Is m a multiple of 14?
False
Is 31 a factor of (-96)/12 - -1 - (-7576 + -1)?
False
Suppose -3*y = -2*f - 22044, -2*y - 17*f = -13*f - 14664. Is y a multiple of 27?
True
Let j be (((-6)/(-3))/(-2))/1*-30. Suppose -2*r = -2*c + j - 12, r + 1 = -c. Is 2 a factor of c/(-12) - (1 + (-34)/3)?
True
Is 16 + 134*(-2 - -85) a multiple of 112?
False
Let h(o) = 11*o**2 + 3*o - 6. Let f be h(4). Is 8 a factor of f/4*504/294?
False
Suppose 2*y - 12 + 4 = 0. Let d be 5/(5/y)*(-2)/(-4). Suppose 52 = -d*m + 192. Is m a multiple of 13?
False
Suppose 0 = -4*u + 28 - 16. Suppose 0 = 2*k + 3*k - 15, -3*a + u*k - 24 = 0. Let t(q) = 3*q**2 + 7*q + 9. Is 40 a factor of t(a)?
False
Let n = 61 - 57. Suppose 0 = -4*h + n*v + 3456, -864 = -2*h + h + 5*v. Suppose 6*l - 438 = h. Does 23 divide l?
False
Suppose 2*g + 0*t - 67 = 5*t, -3*g = 5*t - 38. Suppose g = 2*l - 221. Is 11 a factor of l?
True
Let x = 58 - 3. Suppose -q + 4*q = -3*c + 33, -5*q = -3*c - x. Suppose 1698 = q*h + 213. Is 13 a factor of h?
False
Let t = 12 - 10. Suppose 50*d - t*b = 48*d + 1468, -b = 4*d - 2956. Is 40 a factor of d?
False
Let x = 91 + -69. Let v(k) = -k**3 + 20*k**2 + 46*k + 16. Let t be v(x). Suppose -t = 7*h - 13*h. Is 4 a factor of h?
False
Suppose i + o - 3173 = 0, -5*i + 213*o = 214*o - 15861. Is 4 a factor of i?
True
Let w be ((0/2)/(-3))/1. Let b be w/(0 - (-2 - -1)) - -40. Suppose a - 16 = b. Does 36 divide a?
False
Let y(d) = d**3 - 14*d**2 + 6*d - 8. Let r = 11 + -26. Let v be (114/15 - 2)*r/(-6). Does 31 divide y(v)?
False
Let s(m) = 11*m**2 - 8*m + 6. Let t be s(3). Let k be (4/(-5))/((-3)/15). Suppose 0 = -k*u + 71 + t. Is u a multiple of 7?
False
Let n = 197 + -124. Let p(o) = -142*o + 85*o + n*o - o**2. Does 7 divide p(14)?
True
Suppose -4*w - 4*v = -5*w + 28, -2*v + 76 = 4*w. Suppose -w = -5*s + 35. Is ((-72)/4)/(s/(-10) + 1) a multiple of 18?
True
Let f be (-61515)/25 - 0 - (-8)/(-20). Is f/(-214)*(0 - (0 + -2)) a multiple of 23?
True
Does 165 divide (-7 + 11)*1898 + 1*(4 + 2)?
False
Let w(i) = 16*i**2 - 8*i**2 + 10 + 6*i - 4*i. Let b be w(-6). Let t = -98 + b. Is 10 a