-298. Is l a multiple of 14?
False
Let s = 31 + -21. Is ((-12)/s)/((-12)/280) a multiple of 10?
False
Let q be (-768)/(-80)*(-5)/(-1). Suppose -5*k - m = -q, 2*m = -3*k - m + 24. Is k a multiple of 10?
True
Let m(y) = y**2 - 4*y - 6. Let l(b) = b**3 - b**2 - 2*b - 4. Let q be l(3). Let c = -1 + q. Is 12 a factor of m(c)?
False
Let f(y) = y**3 + 13*y**2 - y - 11. Let k be f(-13). Let b be (-4)/(-2) - 2 - -1. Suppose 0 = c - b, -36 = -k*z - 2*c + 12. Is 21 a factor of z?
False
Suppose 2*c + 0*c = 2*m + 28, -5*m - 38 = -3*c. Is c a multiple of 13?
False
Let h(n) = n**2 - 2*n - 7. Does 28 divide h(7)?
True
Suppose a - 3*q + 3 = 7, -3*a - 3*q + 12 = 0. Suppose -4*k + 0*k = -a*d - 112, -5*k = 4*d - 158. Is 19 a factor of k?
False
Let u(t) = 8*t - 2. Let m be u(5). Is m*(9/6 + 0) a multiple of 16?
False
Let v be ((-7)/(-4))/((-2)/(-24)). Let j be 78/v + 6/21. Does 8 divide j + -3 + 1 + 6?
True
Suppose 0 = f - 3*h - 21 - 50, f = h + 61. Is 28 a factor of f?
True
Let r(m) = -14*m**3 + 1 - 4*m**3 + m + 3*m**2 - 2*m**2 - 8*m**3. Is r(-1) a multiple of 9?
True
Is 4 a factor of 2 - 0 - 70/(-7)?
True
Let h(m) be the third derivative of -m**4/24 + m**3/6 + 5*m**2. Does 7 divide h(-6)?
True
Let t(p) be the second derivative of p + 0 + 1/2*p**2 + 1/2*p**3. Is t(3) a multiple of 9?
False
Suppose 544 - 184 = 6*m. Is 4 a factor of m?
True
Let j(y) = y**2 + 2*y - 1. Let i be j(-3). Suppose i*s = 3*f + 31 - 1, 5*f = s - 22. Does 5 divide s?
False
Let k(g) = 5*g**2 + g. Let i be k(1). Let b be ((-35)/21)/((-2)/i). Suppose 3 = b*n - 52. Is n a multiple of 4?
False
Let x(n) = n**3 + n. Let v be x(2). Suppose 0 = 5*c + 3*z - 18, -3 + v = c + 4*z. Does 15 divide (12/(-8))/(c/(-32))?
False
Let j = -68 - -158. Is j a multiple of 19?
False
Is -3 - 3*(1 - 4) a multiple of 4?
False
Suppose 0 = -2*u - 4*u. Suppose -2*r + 4*r - 32 = u. Does 4 divide r?
True
Let d = 21 + -11. Suppose 0 = 7*u - 2*u + d. Does 10 divide u/4 - (-115)/10?
False
Suppose 0*f - f + 18 = 0. Is (-436)/(-18) + (-4)/f a multiple of 22?
False
Let y be 3/(-3*1) - 2. Is -14*(1 - -2)/y a multiple of 14?
True
Let c(g) = 76*g**2 - 3*g + 1. Does 40 divide c(1)?
False
Suppose 5*p + 12 = 3*x + 2*p, -6 = -x + 2*p. Let f(z) = -46*z**3 + z**2 - z - 1. Let q be f(-1). Suppose 4*r = 2*y - 40, -2*y - 3*r = x*y - q. Does 10 divide y?
False
Suppose 34 = 5*p + 3*f, -2*f - 3 + 9 = 0. Suppose -x = -p - 11. Does 16 divide x?
True
Is 3 + 15 + (0 - 0) a multiple of 18?
True
Suppose i = -2*r + 162, r + 324 = 2*i - 0*r. Is 18 a factor of i?
True
Let i be (-4 + 5)*(4 - -1). Suppose s = i, -29 = -5*x - 2*s + 1. Does 4 divide x?
True
Is 18 a factor of (-1806)/(-78) - (-2)/(-13)?
False
Let b be (-4)/16 + 1/4. Suppose 0*z + 2*z - 26 = b. Is z a multiple of 10?
False
Suppose -22*d + 17*d + 610 = 0. Does 18 divide d?
False
Let d(r) = -12*r. Let z(k) = 3*k**3 + k**2 - k + 2. Let v be z(-2). Let x be (0 + -4)*(-12)/v. Is 18 a factor of d(x)?
True
Suppose 4*l = -l + 620. Suppose -l = -3*m - m. Is m a multiple of 21?
False
Let w = -19 + 49. Is w a multiple of 6?
True
Let o = 885 - 507. Suppose 0 = 4*q - o - 6. Suppose -4*w + q = -0*w. Does 12 divide w?
True
Let d be 2 + 0 + 1 + -2. Let v be (-109)/(-2) - d/2. Suppose 5*f - v = 2*f. Does 6 divide f?
True
Let x(h) = h**3 + h**2 - 3*h + 8. Is 8 a factor of x(4)?
False
Let k = -42 + 207. Is k a multiple of 33?
True
Let c(f) = 69*f**2 - 1. Suppose -u + 15 = 14. Does 19 divide c(u)?
False
Let y be 1/(4 - 3) - -1. Suppose y*i = -1 + 7. Is i a multiple of 3?
True
Let h(y) = -y - 3. Let r be 2/10 - (-31)/(-5). Let j be h(r). Suppose -q + 3*u = -4*q + 45, -5 = -j*q + 5*u. Does 7 divide q?
False
Let p be (-1 - -3) + -6 - 3. Let k = 19 + p. Is 6 a factor of k?
True
Suppose -k - 2220 = -5*g + 2*k, -1332 = -3*g + 5*k. Is 16 a factor of (-4)/(-14) + g/14?
True
Suppose -3*i = -5*i + 24. Is 12 a factor of i?
True
Let j = -40 + 88. Does 16 divide j?
True
Let q(f) = f**3 + 7*f**2 + 6*f + 2. Let g(c) = -c**3 - 7*c**2 - 5*c - 2. Let k(u) = -6*g(u) - 5*q(u). Does 8 divide k(-6)?
False
Suppose -5*m - 5*i + 420 = 0, -m + 5*i = 3*m - 345. Is 15 a factor of m?
False
Suppose 5*x - 5*a = 1070, -870 = -9*x + 5*x - 3*a. Is x a multiple of 24?
True
Let r = 25 + -3. Does 11 divide r?
True
Let m(u) = -5*u**3 - 4*u**2 + 4. Does 11 divide m(-2)?
False
Let h(i) = 3*i**2 + 8*i - 1. Is 14 a factor of h(-6)?
False
Suppose -2*n = -0*n - 8. Suppose i = -i + n. Suppose 0*z = -i*z + 30. Does 13 divide z?
False
Let m = 4 + -6. Is 1 - m - (-16 - -3) a multiple of 9?
False
Suppose 3*b - a - a = 10, 4*a - 2 = -5*b. Suppose -8 = -p + b. Does 5 divide p?
True
Suppose 4*c - 185 = -2*k - c, k + 5*c - 90 = 0. Does 7 divide k?
False
Suppose -59*k = -58*k - 64. Is k a multiple of 16?
True
Let y be -2 + 28/(1 - -1). Let i(v) = v**3 - 13*v**2 - 14*v + 3. Let b be i(14). Suppose -b*f = f - y. Is 3 a factor of f?
True
Suppose 2*a - 54 = -2*w, -3*a + 3*w + 60 = -w. Does 6 divide a?
True
Let h be (0 + 2)*(-9)/(-6). Suppose 0 = -r - 0*n - 3*n + 21, -153 = -5*r - h*n. Is r a multiple of 11?
True
Suppose 0 = 3*d - x - 91, 0*x = 3*d - 2*x - 92. Is d a multiple of 12?
False
Let o(x) = 19*x**2 + 1. Suppose -s - 1 = -0*s. Is 20 a factor of o(s)?
True
Let u be 1/(-4) + (-5)/(-20). Suppose 4*v = 3*g - 29 + 75, 5*v + g - 67 = u. Is 14 a factor of 2 + v + (-1)/1?
True
Let x(b) = 5*b**2 + 11*b - 14. Does 10 divide x(3)?
False
Let u = -7 + 11. Suppose -u*b + 11 = -5*t, 0*t - 4*t + 4 = 0. Does 10 divide 138/b + 1/(-2)?
False
Is ((3 - -2)*-16)/((-10)/15) a multiple of 8?
True
Let n(l) = 16*l**3 - 5*l**2 + 3*l - 4. Let i(g) = -48*g**3 + 14*g**2 - 8*g + 11. Let t(s) = 4*i(s) + 11*n(s). Does 16 divide t(-1)?
True
Does 11 divide -1 + -1 + 83/(5 - 4)?
False
Let c(k) = 47*k**2 + 1. Let j be (2/4)/(2/4). Does 16 divide c(j)?
True
Let f(b) = -2*b**2 - 41*b - 14. Does 12 divide f(-18)?
False
Let l = -7 - -4. Let q be 1/(2*l/(-24)). Is (-384)/(-27) - q/18 a multiple of 6?
False
Let h = 107 - 50. Does 15 divide h?
False
Suppose 6 = -2*v - 0. Let h(l) = 2*l**3 + 4*l**2 - 4. Let q be h(v). Is 11 a factor of 4/q - (-466)/22?
False
Let v(k) = -k**3 - 4*k**2 + k - 5. Let d be v(-7). Suppose -25 = -5*y + d. Is 16 a factor of y?
True
Let p be 6/9*3 - -59. Let g = p - 103. Is (g/(-2))/(0 - -1) a multiple of 21?
True
Let v be (6/(-4))/(3/(-6)). Does 6 divide -3 + 17 + -2 + v?
False
Suppose 477 + 2304 = 3*q. Suppose -2*y - q = y. Is y/(-21) - (-4)/14 a multiple of 15?
True
Suppose -d - 39 = -4*d. Does 13 divide d?
True
Let h = -134 - -270. Is h a multiple of 12?
False
Suppose -3*w + 14*f - 12*f = -407, -437 = -3*w - 4*f. Is 31 a factor of w?
False
Let b be (2 - 0) + (-1 - -1). Suppose -90 = -6*m + b*m + 2*v, 4*v + 12 = 0. Suppose a = m + 1. Is 11 a factor of a?
True
Let j(r) = r**2 + r - 1. Let w(p) = -11*p**2 - 3*p + 10. Let h(n) = -6*j(n) - w(n). Let u be h(4). Is (u/20)/((-4)/(-10)) a multiple of 4?
True
Let x(h) be the first derivative of h**3 - 3*h**2/2 + 3*h + 4. Is x(3) a multiple of 12?
False
Let s = -8 + 12. Suppose -5*p = -2*c + s*c - 98, 0 = 5*c + 5. Is p a multiple of 6?
False
Let i(a) = -4*a + 7. Let q be 3/((-6)/2) - -2. Let m be (q/3)/(4/(-60)). Is 11 a factor of i(m)?
False
Suppose 1207 + 224 = 3*s. Suppose -4*f - 4*m + 372 = 0, -3*f - 2*f + s = m. Is f a multiple of 32?
True
Let m = 30 - 18. Is m a multiple of 7?
False
Let j = -135 + 323. Does 32 divide j?
False
Let y(g) = g**2 - 4*g + 3. Let w be y(5). Let h be (-6)/24 - (-26)/w. Suppose -t - 2*q = q - 20, h*t = -2*q + 53. Is 17 a factor of t?
True
Let c(o) = o - 3. Is c(9) a multiple of 3?
True
Let s(b) = b**3 - 5*b**2 - 3*b + 3. Let u be s(8). Suppose 0 = -5*p - 74 - u. Let l = 72 + p. Is l a multiple of 10?
False
Let l(h) = h**2 + h - 1. Let p(q) = -2*q**2 - 11*q + 4. Let v(z) = l(z) + p(z). Does 6 divide v(-4)?
False
Let k(g) = 2*g + 10 - g + 0*g. Let i be k(-7). Let d(b) = b**2 + 3*b - 1. Is d(i) a multiple of 6?
False
Suppose -5*y = -g - 10, -2*g = -y + 3*y - 28. Suppose 1 - 9 = 2*q, -u = -3*q - g. Let m = 9 - u. Does 11 divide m?
True
Suppose -5*o = -2*n - 2*n + 88, -5*o = 20. Does 17 divide n?
True
Let z(o) = 2*o**3 - o**2 + 3*o - 2. Suppose 4*i - 2 = 3*i. Is z(i) a multiple of 8?
True
Does 5 divide (5 - -35)/(0 + 2)?
True
Let y(n) = 2*n**3. Suppose 5*a = -5*o + 20, 2*a - 4*a + 14 = 5*o. Does 8 divide y(a