et w = 6886 + -4078. Is 104 a factor of w?
True
Let a be 42/70 - 6/10. Let d(u) = 8 + 13 + u + 12. Does 11 divide d(a)?
True
Suppose 16*w = 11*w + 10. Is ((-2)/w)/((-1)/9) a multiple of 4?
False
Suppose p - 2*p - 3*j - 6 = 0, -6 = 2*j. Suppose 4*k - 3 = p*k. Suppose 2*f - 35 = -k*f. Is f a multiple of 3?
False
Suppose -21*n + 225 + 195 = 0. Is 10 a factor of n?
True
Let p = -1277 + 2287. Does 13 divide p?
False
Let u(s) be the first derivative of -2*s**3/3 - 11*s**2/2 - 12*s + 8. Let o be u(-13). Let d = -84 - o. Is 31 a factor of d?
False
Let j be (2/(-2))/(7/(-21)). Let p be (-4 - (-6 + j))*1. Does 5 divide (-32)/12*6/p?
False
Let p(z) = -z + 16. Let o be p(18). Let b be o/(-8)*0 + 157. Suppose f = 4*n - b, 50 = 2*n + 4*f - 24. Is 13 a factor of n?
True
Let a(j) = 22*j - 1. Let l be a(2). Let d be (-4 - -3)/((-1)/l). Let v = d + -25. Does 18 divide v?
True
Suppose -2*z + 2 = 0, -4*o - 4*z + 10 = -150. Suppose -r - o = 2*r. Is (r/52)/(1/(-148)) a multiple of 14?
False
Let y(w) = 2*w**3 - 5*w**2 + 8. Let j be y(5). Suppose -2*b + 511 = j. Is b a multiple of 35?
False
Suppose -8*r = -9*r. Suppose -4*n + m + 677 = r, -5*n - 3*m + 815 = 2*m. Does 16 divide n?
False
Suppose -2225 = -0*j - 5*j - u, -5*j - 5*u + 2225 = 0. Is j a multiple of 45?
False
Let o(d) = -5*d**3 + 8*d**2 + 4*d + 2. Let i(h) = 11*h**3 - 16*h**2 - 8*h - 3. Let c(f) = -6*i(f) - 13*o(f). Let j be c(-6). Let x = j + 83. Does 18 divide x?
False
Let g = 2011 + -877. Is g a multiple of 12?
False
Suppose -9*y + 6775 + 3323 = 0. Is 34 a factor of y?
True
Let h = 649 - 552. Does 2 divide h?
False
Let y(h) be the second derivative of h**3/6 - 11*h**2/2 - 3*h. Let z be y(9). Is 7 a factor of z/7 + (-596)/(-28)?
True
Let u(q) = -q**2 + 19*q - 38. Let g be u(16). Is 2 a factor of -2 - (-5*g)/5?
True
Let u(s) = 4*s**2 + 2*s + 2. Let j(k) = k**3 - 6*k**2 - 7*k + 1. Let p be j(7). Let m(t) = -3*t**2 + 2*t - 1. Let o be m(p). Is u(o) a multiple of 6?
False
Let q(v) = 21*v + 263. Let w(j) = -5*j - 66. Let f(p) = -2*q(p) - 9*w(p). Let o be f(0). Let y = o + -38. Is 4 a factor of y?
False
Suppose 337 = 5*i - 3*o, -51 = -2*i - 5*o + 90. Does 2 divide i?
True
Suppose -20*q + 3*q = -8109. Does 44 divide q?
False
Suppose 2*r - 10 = -0*r. Suppose -3*h + r*h = 40. Does 8 divide h?
False
Suppose 0*o - 3*o = -45. Let f(a) = -a**3 + 16*a**2 - 14*a - 21. Let n be f(o). Let p(s) = s**2 - 3*s - 5. Is p(n) a multiple of 7?
True
Suppose -712 = -2*g + 5*t, 8*g - 3*g - 3*t = 1761. Does 27 divide g?
True
Let n be 12090/104 + 1/(-4). Let l = n - 40. Does 11 divide l?
False
Let p be 8/2*35/14. Let b = p - -3. Is b a multiple of 13?
True
Is 12 a factor of 1/(-4) + 322/8?
False
Suppose -n - 343 = -c, -4*c = n - 0*n - 1357. Is 30 a factor of c?
False
Let s(q) be the second derivative of q**4/12 + 5*q**3/2 + 9*q**2/2 + 15*q. Does 2 divide s(-15)?
False
Let w(a) = 6*a**2 - 5*a**2 - 15*a + 3*a**2 + 0*a**2 - 1. Does 20 divide w(8)?
False
Let b(j) = 8*j**2 - 3*j + 2232. Does 8 divide b(0)?
True
Is 3990/18 + (-1)/(-3) a multiple of 7?
False
Suppose 0 = -4*x - 4*l + 56, -4*x - x + 3*l + 102 = 0. Is x a multiple of 16?
False
Let n = 1010 - 557. Let l = 717 - n. Is 44 a factor of l?
True
Let m = 375 - 309. Is m a multiple of 22?
True
Let p be (-30)/(-8) - (-95)/76. Let h(w) = 4*w + 2 - 4*w**2 - 3*w - 5 + w**3. Is h(p) a multiple of 9?
True
Let w(c) be the second derivative of 7*c**4/12 + 2*c**3/3 - 2*c**2 - 4*c. Is w(2) a multiple of 8?
True
Suppose 2*g + 4 = -0*g, 5*b - 2*g - 3349 = 0. Is b a multiple of 10?
False
Let n(x) = -x**2 + 2. Let t be n(0). Suppose 0 = i + t*a - 4*a - 64, 5*i - 299 = 3*a. Is 4 a factor of i?
False
Let m(q) = -319*q - 4. Is 21 a factor of m(-1)?
True
Let d = -15 - 13. Let r = d - -178. Suppose -r = -9*o + 6*o. Is o a multiple of 13?
False
Let v(l) = 2*l + 3. Let r be v(-2). Let j(o) = 24*o**3 - 8*o**2 - o. Let t(s) = -25*s**3 + 7*s**2 + s. Let g(u) = 6*j(u) + 7*t(u). Is g(r) a multiple of 9?
False
Let g = 13 - 13. Suppose 0 = -3*v - 2*i + 24, -4*i + g*i = 3*v - 24. Does 4 divide v?
True
Let g(w) = w**3 - 13*w**2 + 8*w + 8. Suppose -5*j = 2*j - 91. Let u be g(j). Suppose -u = -4*d + 4*r + 44, -2*r = 5*d - 160. Is 16 a factor of d?
False
Suppose 0*r - 2*r + 5*a = -8, 5*r + 15 = -5*a. Is 20 a factor of (-2967)/(-23) - 3*r?
False
Suppose 236 - 66 = 2*z. Suppose -5*q = 2*l - 140, q - l + z = 4*q. Does 3 divide q?
True
Suppose 4*n + n = 20, 4*n = 3*q - 1076. Is 14 a factor of q?
True
Let c(l) = -2*l + 22. Let h be c(13). Is (2 - -19)*h/(-1) a multiple of 28?
True
Let c(g) = 6*g - 10. Let l be c(11). Let q = l - 9. Does 11 divide q?
False
Suppose 3*b + 173 = x - 69, 4*b - 2*x + 326 = 0. Let d be 1/2 + b/(-2). Let c = d + 15. Is 11 a factor of c?
True
Let n be ((-8)/(-2) - 2) + 2. Suppose -3*z - n*r + 45 = 5, z + 4*r = 8. Is 16 a factor of z?
True
Let x(y) be the second derivative of y**5/20 + y**4/2 + 7*y**3/6 + 5*y**2/2 + y. Let l be x(-5). Let i(k) = -7*k + 4. Is 16 a factor of i(l)?
False
Let b be 56/(-21)*57/(-4). Let w be (31/(-2))/((-19)/b). Is 18 a factor of w - (-4 - -5)*-2?
False
Let o be ((-1)/3)/(9/(-324)). Suppose -o*p + 9*p = -216. Is 14 a factor of p?
False
Let v(k) = -2*k - 2. Let c be (7/(-3))/(1/(-18)*-2). Is 6 a factor of v(c)?
False
Let r be (-9)/6 - (-255)/(-6). Let i = -25 - -89. Let n = i + r. Is n a multiple of 5?
True
Suppose 19101 + 37774 = 65*m. Is 35 a factor of m?
True
Let k(i) = 14*i - 9. Let b be k(5). Suppose 0 = -t + o + b, -4*t - o = -180 - 84. Let p = t - -8. Does 18 divide p?
False
Let c be -5 + -1*(-2 - 0). Let q(d) = -8*d**3 + 3*d**2 + 3*d + 1. Let i(x) = 7*x**3 - 2*x**2 - 3*x - 1. Let n(l) = -5*i(l) - 4*q(l). Is n(c) a multiple of 14?
False
Let i be (-7)/2*(-14 - -16). Does 20 divide (-2 - -22)*(-7)/i?
True
Let l(d) = -d**2 - 11*d + 12. Let q be l(-11). Suppose -8*m - 48 = -q*m. Is m a multiple of 2?
True
Let f(r) = -137*r**3 + 4*r**2 + 6*r - 8. Is f(-2) a multiple of 26?
True
Let l = -831 + 1293. Is 12 a factor of l?
False
Let b(y) = -2*y**3 + 23*y**2 - 5*y + 4. Let m(z) = 6*z**3 - 69*z**2 + 15*z - 13. Let d(u) = -11*b(u) - 4*m(u). Is 35 a factor of d(11)?
False
Let k be 6/(-4) - (-509)/2. Suppose -190 = -3*m + 2*v, k = 4*m - 0*m - 3*v. Does 31 divide m?
False
Suppose 443 + 467 = 5*l. Let j be (288/(-3))/(2 - (-22)/(-8)). Suppose j = 5*h - l. Is 20 a factor of h?
False
Let n be (-4)/(-4)*4*2. Let t be (-1 - 1)/(n/(-20)). Suppose 3*f = -3*l + 111, t*f - 12 - 37 = -l. Is 17 a factor of l?
True
Let t = -16 - -26. Suppose -2*y + 0*c = -c - t, y - 15 = 3*c. Let a = 3 + y. Is 4 a factor of a?
False
Let f(x) = -2*x**3 - 15*x**2 - 24*x + 5. Is 41 a factor of f(-6)?
True
Let p = 661 + -413. Suppose -2*n + p = 88. Is 16 a factor of (-3)/(2 + (-172)/n)?
False
Is 680 + 8*(4 + (-9)/2) a multiple of 26?
True
Is 16 a factor of (-12)/((-4)/(-928)*-6)?
True
Suppose -5*o - 2770 = -j, 70*o = -5*j + 75*o + 13790. Is 29 a factor of j?
True
Is 50 a factor of 4/18 - (-541628)/774?
True
Let w(d) = -10*d - 16. Let r(m) = m - 16. Let t be r(0). Is w(t) a multiple of 36?
True
Suppose -11*u + 284 = -15*u. Let v = u - -114. Is v a multiple of 13?
False
Suppose 5*u - 4737 - 213 = 0. Suppose -4*y + u = 7*y. Does 15 divide y?
True
Let p(n) = n**3 - 10*n**2 + n + 2. Suppose 2 = -h + 12. Is p(h) a multiple of 4?
True
Let r = 1120 + -595. Does 35 divide r?
True
Let t(s) = -18*s**2 + 2*s + 1042. Is 19 a factor of t(0)?
False
Suppose -4*f + 308 = -4*o, -5*f + 3*o = -f - 306. Let c = f + 46. Is c a multiple of 27?
False
Let g be (-11 - -7) + 2*-1. Let o = g - -7. Is 1 + -2 + (o - -15) a multiple of 5?
True
Let x be (22/33)/(2/204). Let s = x - 31. Let z = s + -16. Is 4 a factor of z?
False
Let n(l) = -2*l + 2. Let c be n(1). Suppose c = -h - 2*x, 3*h - 4*x - 21 = -1. Suppose 3*b - 16 = -h. Does 4 divide b?
True
Let t(v) = -2*v**3 - 20*v**2 + 15*v + 43. Does 15 divide t(-11)?
True
Suppose -122 = -j + 102. Is 28 a factor of j?
True
Suppose -g - 12 = -4*y, 5*g - 2*g + 4*y = 12. Suppose 80 = a - g*a. Is a a multiple of 15?
False
Suppose s - 14 = -2*p, 0*p - 26 = -4*s - 2*p. Suppose -s*u + 540 = -10*u. Is 21 a factor of (-15)/u + 563/6?
False
Suppose -10*k + 55 = -2605. Is k a multiple of 15?
False
Let z(r) = 6*r**2 - 5*r - 1. Let d(n) = 5*n**2 - 6*n - 1. Let m(v) = 5*d(v) - 4*z(v). Let a be m(9). Is (4 + 2