6 + 2. Is ((-7)/(-14))/(l/28) a multiple of 4?
False
Suppose -t = 4*t - g + 3, 4*t + 3*g - 9 = 0. Suppose t = -5*d + 17 + 648. Does 19 divide d?
True
Let k(o) = 9*o + 20. Let y be k(6). Suppose -4*s - 20 = 0, -2*x - s + y = 3*s. Is x a multiple of 6?
False
Suppose 3*r + 3*o = 1533, -4*o + 1526 = 3*r - 8*o. Does 18 divide -2 + 5 - r/(-5)?
False
Let q(w) = 26*w**2 - 6*w + 4. Is 16 a factor of q(5)?
True
Let y be (24/(-18))/((-1)/33). Is 22 a factor of 3/6*y/1?
True
Let g = 45 - 24. Suppose y + 5*a = 24, -4*a + 6 + 10 = 0. Suppose s - 6*s + 33 = y*n, 3*s + g = n. Is 4 a factor of n?
True
Let i(r) = r**3 + 24*r**2 + 65*r + 41. Does 36 divide i(-19)?
False
Let x = 20 + -17. Does 17 divide (1*x)/((-7)/(-119))?
True
Suppose 0 = 6*f - 16*f - 570. Let b = -46 - f. Is 6 a factor of b?
False
Suppose -3*o + 2*p = 5*p, 4*p + 32 = 4*o. Let c(j) = 4*j**2 - 8*j + 4. Is c(o) a multiple of 5?
False
Let r = 147 - 79. Is 6 a factor of r?
False
Let y = -139 + 281. Suppose y = -5*o + 622. Does 16 divide o?
True
Suppose r = 6*r - 4*i + 1000, -4*r - 791 = -5*i. Let t = 316 + r. Is 56 a factor of t?
True
Let w(g) = 8*g**2 + 31*g + 11. Does 18 divide w(20)?
False
Let v(f) = -1136*f + 1136*f - 2*f**2 - 16 + 3*f**2. Does 5 divide v(7)?
False
Let s(u) = 2*u**2 - 2*u + 11. Let r be s(-4). Suppose 5*w = 2*w + r. Is w a multiple of 9?
False
Suppose -2*f - 2*z + 8 = 2, 0 = 5*f - 5*z + 15. Suppose f = 2*t - 5 - 5, -w + 5*t + 119 = 0. Suppose -2*d - w = -6*d. Does 18 divide d?
True
Suppose -22*q = -21*q - 13. Suppose -7*t = -6*t - q. Is t a multiple of 2?
False
Let n = -103 - -108. Suppose -n*t = -87 - 78. Is t a multiple of 33?
True
Suppose 38 = 2*y + 3*t - 12, -5*y + 125 = 3*t. Suppose 50 = c + 4*x, -x - y = -c - 0*x. Does 5 divide c?
True
Let z = 297 + -207. Let s = z - -32. Is s a multiple of 12?
False
Let i be (-2)/(-6) - 18/54. Suppose 4*y = -4*z + 740, -5*y + 5*z - 303 + 1178 = i. Does 36 divide y?
True
Let t(l) = -1839 - 2*l - 3*l**2 + 1825 + 6*l**2. Does 21 divide t(-4)?
True
Let n(h) = 11*h**3 + 2*h**2 + 8*h - 8. Is 73 a factor of n(4)?
False
Is 24 a factor of (-658)/94 - (-849 - (-1 + 2))?
False
Suppose 0 = 9*l - 8*l. Suppose l*w + 245 = 5*i + 5*w, w - 96 = -2*i. Does 23 divide i?
False
Let s = 298 + -63. Suppose -2*u + s + 491 = 0. Does 32 divide u?
False
Let h(k) be the second derivative of 1/4*k**4 + 0 - 11*k + 1/2*k**2 + 1/6*k**3. Is 4 a factor of h(2)?
False
Let v be 3/(-12)*-2*-6 - -88. Let y = -43 + v. Does 7 divide y?
True
Suppose 4*h - 121 = -4*n + 499, -4*h = -4*n + 628. Is 26 a factor of n?
True
Let p = 321 - 167. Is p a multiple of 19?
False
Suppose -4*s = -0*w + w + 7, -5*w + 2*s + 53 = 0. Let t = w - 6. Does 17 divide 17/(4 - (t - 0))?
True
Let z = -51 + 52. Is 23 a factor of (5/(30/(-69)))/(z/(-2))?
True
Is -94*((-219)/30 - 12/(-15)) a multiple of 13?
True
Is 1144 + (621/(-162) - (-2)/(-12)) a multiple of 57?
True
Does 10 divide (-2)/3 + (10 - (-37456)/24)?
True
Suppose -k = 2*l + 41, -2*k - 65 = 3*l + 3*k. Does 2 divide (1 + 10 + -2)/((-30)/l)?
True
Let o(h) = -h + 95. Suppose -c = -5*b + 5, 4*c - 5*b - 1 = -6. Let z be o(c). Suppose -2*w = -33 - z. Is w a multiple of 11?
False
Suppose 5*s + 5*t - 3057 = -1062, 0 = -s - 5*t + 379. Is 4 a factor of s?
True
Let o = -13 - -9. Let f be (26/(-6))/(o/(-12)). Let g = f - -66. Is g a multiple of 15?
False
Suppose 55*b - 1296 = -306. Let f be (-340)/(-6) + (-1)/(-3). Suppose f = 21*g - b*g. Is g a multiple of 7?
False
Let v(j) = -j**3 + 10*j**2 - 10*j + 11. Let k be v(9). Let y(o) = -62*o + 22. Let s be y(4). Is 3 a factor of k/12 + s/(-12)?
False
Let n(q) = -q**2 + 6*q + 4. Suppose -8 - 17 = -5*y. Let a be n(y). Is a/(-9) - (-47 + 0) a multiple of 23?
True
Let m(i) = i**3 - 11*i**2 + 12*i + 10. Let u = -18 - -27. Let z be m(u). Let y = z - -114. Does 14 divide y?
True
Let x be (8/(-4))/(4/(-10)). Suppose 2*f = 3*t - 27, t - 2*f = -0*f + x. Is t a multiple of 2?
False
Let m(s) = 728*s + 56. Is 125 a factor of m(1)?
False
Let d(u) = 5*u**2 - 4*u + 8. Let q be d(6). Let g = q + -78. Suppose 5*n = 281 - g. Is 13 a factor of n?
True
Let i(g) = 5*g + 14. Let u be i(6). Let w = u + -36. Suppose w*v = 3*v + 405. Is 20 a factor of v?
False
Let q = 59 + -36. Suppose -h - 5*a = -q, 12 = h + 2*h - 4*a. Does 2 divide h?
True
Suppose 0 = -3*y + k + k - 22, 2*y + k = -24. Let m(u) = -u**3 - 11*u**2 - 9*u + 12. Let w be m(y). Let r = 19 - w. Is r a multiple of 17?
True
Let c = 524 + 1270. Is 69 a factor of c?
True
Let j be 1/(-6) + (-21)/(-18). Let i be j + (-4)/2 + 343. Is (-2)/6 - i/(-54) even?
True
Suppose 4*w - 4*p = 3*w + 13, 2*w = -3*p - 29. Is 3 a factor of (w - -4) + 12 - -3?
True
Let q(d) = d**2 - d - 2. Let n be q(-2). Suppose 0 = -2*c + 6*c + n*o - 320, 0 = -2*c + 3*o + 135. Is 15 a factor of c?
True
Suppose 3922 = -3*y + 6*y + r, -25 = 5*r. Is y a multiple of 11?
True
Does 91 divide ((-869)/3 + 1)*27/(-18)?
False
Let n = 232 + 296. Is n a multiple of 48?
True
Is 281*(3 + 0) + -3 a multiple of 13?
False
Let y(t) = t**2 - 1 + 0*t**2 - 16*t - 2*t**2 - 12. Suppose -26 = 3*p + 19. Does 2 divide y(p)?
True
Suppose 5*d = 3*c - 23, -5*d - 17 = c - 3*c. Let v be c + (-3 - -6) + -5. Suppose -w + 2*y = -15 - 12, -v*w - 5*y = -56. Is w a multiple of 4?
False
Let k be (-2)/4*(-2)/1. Suppose -d + k = -50. Is 5 a factor of d?
False
Is 5/(-2)*9240/(-10) a multiple of 14?
True
Let l = 1066 - 602. Does 16 divide l/18 + 10/45?
False
Let a be (-2)/(-6) + (-16)/12. Let z(b) = -11*b**2 + 1. Let o be z(a). Let v(s) = -5*s + 23. Is 20 a factor of v(o)?
False
Let j be 3*(-4)/(-6)*(-7)/2. Let v(x) = -7*x + 17. Does 12 divide v(j)?
False
Let g(l) = 7*l - 46. Is 17 a factor of g(9)?
True
Is 20/90 - 3045/(-27) a multiple of 23?
False
Let y(i) = -14*i**3 + 2*i - 1. Let d be y(-2). Suppose -108*m = -d*m - 96. Is 25 a factor of m?
False
Let v = 23 - 22. Is (v + (3 - 3))/((-3)/(-291)) a multiple of 23?
False
Let l(u) = u**3 + 28*u**2 + 16*u - 150. Does 21 divide l(-27)?
True
Let t = 1495 - -246. Is 90 a factor of t?
False
Let v(s) = -8*s**3 - s**2 - 2*s + 22. Is 19 a factor of v(-6)?
False
Let g(u) = 23*u - 105. Is 2 a factor of g(16)?
False
Let f be (1 + (-18)/8)/(4/32). Let m(s) = 9*s**2 + 17*s + 20. Let l(h) = -4*h**2 - 9*h - 10. Let p(i) = 7*l(i) + 3*m(i). Is 2 a factor of p(f)?
True
Let n(i) be the third derivative of 4/15*i**5 + 1/120*i**6 - 1/12*i**4 + 0*i + 0 - 8*i**2 - 8/3*i**3. Does 16 divide n(-16)?
True
Suppose -60*s + 30656 = -52564. Does 19 divide s?
True
Let z(j) = -909*j + 74. Is z(-1) a multiple of 57?
False
Suppose -3020 = 9*j - 7340. Is j a multiple of 20?
True
Let l = 156 + -86. Suppose p = -5*v + l, 351 = 3*p + v + 85. Is 9 a factor of p?
True
Let l(d) = 4*d**2 - 6*d - 9. Let a = -4 + 1. Is l(a) a multiple of 19?
False
Let t(a) = -a**3 + 20*a**2 - 2*a + 41. Let x be t(20). Suppose -4*n - 5*l + 235 = 0, 0 = l + 6 - x. Is 37 a factor of n?
False
Suppose 0 = -3*g + 342 + 477. Suppose 4*n = -6*y + 3*y + g, -2*n = -y + 91. Does 6 divide y?
False
Suppose t - 24 = -5*t. Suppose 0*a - 128 = -t*a. Does 25 divide a?
False
Let l(n) = -438*n + 2. Let v be l(2). Let y = 1365 + v. Suppose 0 = 5*x - y + 36. Is 32 a factor of x?
False
Let x be (0 - -1)/((-2)/(-54)). Suppose 0*m + 2*m - 30 = 0. Let o = x + m. Is o a multiple of 15?
False
Let d be (2/3)/(8/756). Let t = d + -23. Is t a multiple of 8?
True
Suppose 5*c - 200 = -0*c. Suppose 3*h = 4*h - c. Is 9 a factor of h?
False
Suppose 0 = -9*j + 17*j - 9944. Is j a multiple of 95?
False
Does 106 divide (2 + 210)*(-35 + 37)?
True
Suppose 31*l = w + 33*l - 318, l + 327 = w. Is w a multiple of 12?
True
Let s(x) = -x**3 - 2*x**2 + 4*x - 3. Let h be s(2). Let p(z) be the second derivative of -z**5/20 - 5*z**4/6 + 4*z**3/3 - 4*z**2 - 23*z. Is 17 a factor of p(h)?
False
Suppose 9*q - 12*q = 99. Is 31 a factor of ((-319)/q)/((-2)/(-18))?
False
Let r(x) = x**2 - 11*x + 54. Let h be r(19). Suppose 2*j - h + 34 = 0. Is 12 a factor of j?
False
Suppose 389*j = 380*j + 33372. Is j a multiple of 18?
True
Is 39 a factor of ((-14)/3)/((-46)/3933)?
False
Let q = 592 - 463. Is 45 a factor of q?
False
Suppose 9*o + 36 = 2979. Is 17 a factor of o?
False
Suppose -214 - 33 = -2*n + 3*y, 0 = n + 3*y - 110. Let t = -10 - 46. Let j = n + t. Is 14 a factor of j?
False
Suppose -5*a + 1445 = 5*j, -11*a + 6*a + 146