s be 34/4 + (-6)/(-12). Suppose 5*b + 10*f = s*f + 1464, -280 = -b + 3*f. Does 8 divide b?
False
Let l be 1*(0 + -2) - -3. Let g be (-276)/48 - l/4. Does 22 divide (g + (-3 - -5) - -7) + 173?
True
Let i = 3997 - 1831. Is 38 a factor of i?
True
Suppose -449*u + 17238 = -423*u. Is u a multiple of 2?
False
Let f(x) = -2*x**3 - 62*x**2 - 29*x + 108. Is f(-33) a multiple of 16?
False
Let b = 20343 + 27. Is 15 a factor of b?
True
Let p = 16 - 11. Suppose -p*n = n - 888. Let z = n + -3. Is 29 a factor of z?
True
Let l = -12 + 17. Suppose -l*d = k - 3 - 8, 4*k + 28 = -2*d. Let p(y) = -y**3 - 10*y**2 - 11*y + 4. Is 5 a factor of p(k)?
False
Suppose -5*j + d = 89, 5*d = 3*j - 8*j - 95. Let s(q) = q**2 + 18*q. Let r be s(j). Suppose n + 0*x + 3*x - 36 = r, 0 = 2*x - 2. Is 17 a factor of n?
False
Suppose -8 = 2*b, -5*b - 52 = -5*o - 2*b. Let l(i) = 3*i - 18. Let x be l(o). Suppose -x*g - 203 = -833. Does 21 divide g?
True
Suppose 2 = -2*c + 3*n, 5*c + 5*n - 34 = 11. Suppose -194 = 2*u - m - 756, u - 303 = -c*m. Does 32 divide u?
False
Let t(g) be the second derivative of 161*g**4/12 + 3*g**3 + 9*g**2 + 19*g. Does 17 divide t(-1)?
False
Let w(o) = -o**3 - 17*o**2 + 20*o - 34. Let c be w(-18). Let i be (-230)/c - (-6)/(-21). Suppose -i*d + 34 = -d. Is 5 a factor of d?
False
Let m(s) = 3*s**2 - s + 8. Let d be m(-3). Suppose -4 - d = -7*l. Is 12 a factor of (-28)/l*(-108)/14?
True
Let f be (-1034)/(-44)*(-2 + 4 - 0). Suppose -30*d = -f*d + 8160. Does 32 divide d?
True
Suppose 0 = -3*h - j + 11233, -5590 = 5*h + 2*j - 24312. Suppose 17*v = 41*v - h. Is v a multiple of 12?
True
Suppose 66*x - 276690 = -89646. Is 3 a factor of x?
False
Suppose -153*x - 2253485 = -218*x. Does 14 divide x?
False
Suppose 304*a - 490698 = 286*a. Is a a multiple of 19?
False
Let i(s) = 25*s**2 - 14*s - 13. Suppose 4 = 23*m - 27*m. Does 9 divide i(m)?
False
Suppose 9*q - 32 = -m + 6*q, 0 = -5*q + 25. Suppose 1724 = 20*x - m*x + 4*b, 3*x = b + 1729. Is x a multiple of 9?
True
Suppose 1266 = 3*n - 2*s, -105*n + 106*n + 2*s = 414. Does 14 divide n?
True
Let j(d) = 130*d + 742. Is 5 a factor of j(3)?
False
Let v(b) = b**3 + 7*b + 13*b**2 - 9*b**2 - 6*b**2 - 4 - 6*b**2 + b. Is 16 a factor of v(9)?
False
Let k(y) = -877*y - 10. Let u be k(-11). Is u/92 + 1/4 a multiple of 21?
True
Let v(x) = -x**3 + 6*x**2 + 15*x + 16. Suppose -j = 4*h + 5, -5*j - 3*h + 19 = -j. Is v(j) a multiple of 9?
True
Let n(s) = 115*s**2 - 4*s - 4. Let m be n(-2). Is 12 a factor of (m/(-348))/(((-4)/285)/2)?
False
Suppose -3*t + 12 = 0, -h - 5*t = -0*h - 1568. Suppose -h = 29*n - 32*n. Suppose -19*k = -17*k - n. Is 43 a factor of k?
True
Let i = 563 + -557. Is 13 a factor of (i - (-2020)/52) + (-2)/(-13)?
False
Suppose -35809 - 138101 = -17*j. Is 30 a factor of j?
True
Let p = 6592 - 4850. Is 10 a factor of p?
False
Suppose n - 583 = 2*t, -4*t = -t + 3*n + 870. Suppose -15401 = 65*l + 13524. Let z = t - l. Is z a multiple of 22?
True
Let q be (38 - -10)/(-2)*1/(-2). Is 16 a factor of (325/(-10))/((-2)/q)?
False
Let g(t) = -t**2 - 6*t - 3. Let o be g(-5). Suppose -2*r - o = j + 1, -9 = -j + 2*r. Suppose 0 = -j*m + q + 127, -2*q - 3 = q. Does 6 divide m?
True
Let x(k) = 7705*k**2 + 52*k + 50. Does 90 divide x(-2)?
False
Let x(y) = 1096*y**3 - 26*y**2 + 29*y + 35. Is x(2) a multiple of 9?
True
Let y = 9779 + -6879. Is y a multiple of 20?
True
Let l(m) = -m - 22. Let b be l(-16). Let u be ((-8)/b - 3)/(6/(-18)). Suppose 0 = -u*k - 4*j + 1498, -k + 0*j + 4*j = -314. Is k a multiple of 49?
False
Does 9 divide 16638 + -247 - (2 + 2 + -2)?
True
Let p(c) = 73*c - 2233. Let q be p(35). Let s = 338 + -100. Suppose 0 = 7*o - s - q. Is o a multiple of 5?
True
Suppose -12*n + 2843 = -560905. Does 19 divide n?
False
Let l(b) = -b**3 + 6*b**2 + 6*b + 1. Let y = -47 + 52. Let g be l(y). Suppose -x + g = 3*x. Does 8 divide x?
False
Let n be -13 + 5 - 50*-4. Let m = 15 + -9. Suppose m*f = 2*f + n. Does 12 divide f?
True
Let o(a) = 1140*a - 4023. Does 9 divide o(6)?
True
Let b(o) = -24*o + 35 - 11 + 21 - 89*o. Does 12 divide b(-3)?
True
Suppose 2*u + 3736 = 4*f, -2*f + 23*u + 1892 = 28*u. Does 52 divide f?
True
Let c(o) = -4*o**3 + 4*o**2 - 100*o - 675. Is c(-8) a multiple of 7?
True
Suppose -14*n + 8*n = 0. Suppose -5*m = m - n*m. Suppose -3*o - o + 464 = m. Is o a multiple of 7?
False
Let h(s) = -13*s + 3921. Is 2 a factor of h(87)?
True
Is 31 a factor of (-3)/5*-20 + 19503?
False
Let n be ((0*(-4)/(-16))/4)/(-1). Suppose -2*s + a = 3*a - 104, 98 = 2*s - 4*a. Suppose n = o - l - s, 6*o - 5*o + l - 57 = 0. Does 3 divide o?
True
Suppose -14771 + 1730 = -9*r. Suppose 7*s - r + 238 = 0. Is 6 a factor of s?
False
Let n = 14262 - 1371. Is n a multiple of 24?
False
Let h = -335 + 348. Suppose 11*z + 228 = h*z. Is z a multiple of 9?
False
Suppose 362*a = 336*a + 1369368. Is a a multiple of 11?
True
Suppose 3*q = -15*q - 288. Is 31 a factor of q/4 - (-391 + 2 + -3)?
False
Suppose -l + 6 = -3*d, 2*d - 18 = -2*l + 6*d. Suppose l*a + 7*a = 14784. Does 6 divide a?
True
Let m(n) = n**2 - 11*n + 6. Let p(r) = -5*r - 30. Let i be p(-19). Suppose -2*q + 7*q = i. Is 32 a factor of m(q)?
True
Let k = -24 + 8. Let z(n) = -2*n**2 + 50*n - 6. Let i(v) = 3*v**2 - 53*v + 6. Let g(j) = 5*i(j) + 6*z(j). Does 14 divide g(k)?
False
Suppose -3*a - 4*o + 3 = -2*a, 9 = 3*a - 2*o. Let t be -2*3*(a + 40/(-12)). Is 10 a factor of t/(-4) - (-202)/4?
True
Let j = -10108 + 27111. Is j a multiple of 27?
False
Let f(r) = 313 + 530*r - 1068*r + 537*r. Does 13 divide f(31)?
False
Let h = -37824 - -47834. Does 154 divide h?
True
Suppose -5*l = -7*l + 14. Suppose m + n - l = -52, -2*n + 30 = -m. Let f = m + 136. Is 24 a factor of f?
True
Suppose 5*q = -2*l + 560, -420 = -6*q + 2*q + 4*l. Let w = q + 505. Is 6 a factor of w?
False
Let t = 104360 - 72120. Does 80 divide t?
True
Let j(x) = 6 - 13 + 3*x + 7. Let m be j(1). Does 15 divide (-1*4)/(2/(-57)*m)?
False
Let r = 99 - 94. Suppose r*n - 6*n - 3*j + 216 = 0, 5*j = 3*n - 648. Is 6 a factor of n?
True
Suppose 0 = 6*i - 38471 - 83167. Is i a multiple of 11?
True
Let z(k) = 14*k**2 - 7*k - 8. Let f(r) = 41*r**2 - 21*r - 24. Let p(w) = 3*f(w) - 8*z(w). Let s be 2 - ((-87)/9 - -8)*-3. Is p(s) a multiple of 14?
True
Let m(a) = 19*a - 117 - a**2 - 127 + 3*a**2 + 253. Is 23 a factor of m(-12)?
True
Suppose 3 = -3*h - 6, 0 = 4*t - 4*h - 3720. Suppose -1023 - t = -3*g. Is g a multiple of 50?
True
Suppose 13 - 38 = 5*u, -356 = -2*i + 4*u. Is 24 a factor of i?
True
Let j(w) = 46*w**2 - 24*w - 52. Is 45 a factor of j(-2)?
True
Let a = -2166 - -2174. Let k be (-381)/(-6) - (-2)/4. Let o = k - a. Does 10 divide o?
False
Suppose s + 104 = 121. Let v(u) = 76*u - 176. Is 31 a factor of v(s)?
True
Let m(l) = 2*l**3 - 8*l**2 - 4*l + 5. Let h be m(4). Let x be (786/9)/(h/(-3) + -3). Suppose -558 = -4*z + a, z - x = 5*a - 1. Is 14 a factor of z?
True
Let v(z) = 192*z**2 + 4*z - 3. Let l be v(1). Suppose -2*h - 312 = -5*y, 4*h - l = -5*y + 113. Let t = 176 + y. Does 31 divide t?
False
Let g(x) = -x**2 + 37*x + 28. Let o be g(21). Suppose 5*u - 1457 = 4*r, -r + 0*u + u = o. Is 5 a factor of 2/(-9) + r*(-20)/108?
False
Let y(i) be the second derivative of -26*i**3 + 10*i**2 + 14*i. Is y(-5) a multiple of 50?
True
Let v(p) = 176*p**2 - 142*p + 13. Does 128 divide v(-7)?
False
Suppose -2*p + 13*p - 230588 - 35117 = 0. Does 22 divide p?
False
Suppose -3*t + 476 + 1624 = 0. Does 19 divide t?
False
Suppose 2273*y - 2293*y - 40578 + 226058 = 0. Does 5 divide y?
False
Suppose -6*s + 9*s + 6*s - 94851 = 0. Is 4 a factor of s?
False
Let n be 11/5 - (-44)/55. Let k(s) = s**2 + 6*s - 18. Does 9 divide k(n)?
True
Let m(d) = -341*d + 3495. Is 23 a factor of m(6)?
True
Let y be 0*(-4)/(-16)*(-2)/(-2). Suppose y = -3*b + 2238 + 165. Does 13 divide b?
False
Let t(s) be the first derivative of 118*s**3/3 + 3*s**2 - 4*s + 20. Does 7 divide t(1)?
False
Suppose -2*g - g - 3*h - 6 = 0, -3*h + 22 = -g. Let v(n) = -n**3 - 5*n**2 - n - 13. Is v(g) a multiple of 6?
False
Is 3 a factor of 2/(-8) - (10411540/(-80))/41?
True
Let u(b) = 2*b**2 - 6*b + 12*b - 8*b - 87 - 5*b. Is 31 a factor of u(17)?
True
Let f = 4962 - -3511. Is 19 a factor of f?
False
Let n(u) = -3*u + 3. Let v be n(2). Let o(r) = 2*r + 6. Let m be o(v). Suppose m = -5*d + 54 + 46. Does 4 divide d?
True
Le