Let x = -43 - -47. Suppose -4 = -2*o + 20. Suppose -b - o = -y, -x*b - 52 - 8 = -5*y. Does 12 divide y?
True
Suppose -3 = -3*p - 0. Is 8 a factor of ((-28)/(-8))/(p/4)?
False
Suppose -2*z = -6 - 30. Is 11 a factor of (-4)/z - 202/(-18)?
True
Let m(f) = 4*f**3 - 3*f**3 - 2*f**2 + 8*f**2 + 3*f. Is m(-5) a multiple of 5?
True
Suppose 1 = 2*x - z + 3, 8 = -4*x + 4*z. Suppose 14 + 2 = 4*y. Suppose x = -y*w - 4 + 64. Does 6 divide w?
False
Suppose -2*m - 13 = -i, 2*i + 2*i - m - 24 = 0. Suppose r + 204 = i*r. Is r a multiple of 15?
False
Let n(v) = -v**2 + v + 2. Let d be n(4). Is (8/d)/((-3)/30) a multiple of 4?
True
Suppose 0*y + 8 = -2*y, 144 = 4*b + 3*y. Suppose 4 = 4*d, d - 16 = 3*m - b. Is 4 a factor of m?
True
Suppose 0 = -9*v - 154 + 946. Does 5 divide v?
False
Let q be 4/5*10/4. Suppose -s + 6 = 2*y, -y + q*y = 2*s - 12. Is 3 a factor of s?
True
Let d = -11 - -23. Is 4 a factor of d*2*(-2)/(-6)?
True
Suppose 3*s + 21 = -2*w + 7*w, -s = 2*w - 4. Suppose -3*f - 4*y + 17 = 0, -y = -w*f + 6 + 1. Is 6 a factor of f/(-2) + 27/2?
True
Let b = 82 + 90. Is b a multiple of 23?
False
Suppose -19 = 5*w + 1. Let p = 7 + w. Is 2 a factor of p?
False
Suppose -4*l = 5*u + 11, 5*u - 4*u + 2 = -l. Suppose -2*j + 3*j = 1, 0 = 5*o - 4*j - l. Is 11 + o*(3 + -4) a multiple of 10?
True
Suppose 0 = -a - a - 4. Let v be (6 + -6)/(2 - 1). Is 0 + v + a + 20 a multiple of 6?
True
Let z = -32 - -43. Does 3 divide z?
False
Let j(v) = -2*v**3 - 2*v**2 + v. Let q be j(1). Let u = q - -11. Is u a multiple of 8?
True
Let d = 8 - 6. Let z(l) = l + 0*l**3 + 1 + 1 - d*l**2 + 2*l**3. Is 6 a factor of z(2)?
True
Let m(n) = 19*n**3 - n**2 + n - 3. Does 21 divide m(2)?
True
Let q(k) = -k**2 + 9*k. Let p be q(8). Let n = 12 - p. Is 20 a factor of n/(-14) - (-282)/7?
True
Let n(v) = -v**2 - 10*v + 16. Let j be n(-11). Suppose -j*t + 6*f - 4*f + 66 = 0, -f - 63 = -5*t. Suppose t = -0*y + y. Does 5 divide y?
False
Suppose -7 = 3*k - 2*k - 3*b, 2 = -2*b. Let v = k + 20. Is v a multiple of 5?
True
Let d(u) = 3*u**2 + 2*u - 6. Is 13 a factor of d(-5)?
False
Let i be (-14)/(-56) + (-11)/(-4). Suppose 0 = -2*o + i*o - 8. Does 8 divide o?
True
Suppose 0 = -5*q + 28 - 8. Suppose -3*y + u = 4*u - 12, 2*y + 4*u - 16 = 0. Suppose -4*k + 32 = 4*o - y*o, -q*k - 3*o + 32 = 0. Is 8 a factor of k?
True
Let t(x) = -3*x - 15. Let b(g) = -g**3 - 5*g**2 - 2*g + 1. Let v = -7 + 4. Let j be b(v). Is t(j) a multiple of 9?
True
Suppose -5*r + 5*o = -275, -3*r = r + 3*o - 234. Is 19 a factor of r?
True
Let p be 30/9*(-6)/(-4). Suppose p*o - 2*o - 84 = 0. Suppose 6*d = -x + 2*d + o, -4*x + 7 = -5*d. Is x a multiple of 4?
True
Let c(q) = q**3 - 10*q**2 + q - 5. Let z be 0 + (8 + -1)*-3. Let d = -11 - z. Does 2 divide c(d)?
False
Let m(r) = 7*r**2 - 6*r + 4. Let a be m(4). Suppose -5*i = -5*v - 182 + 67, -4*i - 5*v + a = 0. Does 12 divide i?
False
Let h be -1 - (0 - 88 - -2). Suppose 4*a + 21 = h. Is a a multiple of 15?
False
Let o(k) = 4*k + 0*k + 1 - 2 - 9. Is 4 a factor of o(6)?
False
Let o(w) = 7*w**3 + w**2. Let i be o(1). Let q = i + -5. Is q a multiple of 3?
True
Let x(r) = 0*r**2 - r**2 - r - 4*r + 0*r. Is x(-3) a multiple of 6?
True
Let d = -15 - -20. Is d a multiple of 2?
False
Suppose -4*i = 24 - 200. Is 22 a factor of i?
True
Suppose -1 = -x + 3. Does 4 divide x?
True
Let c(j) = -8*j**2 - 6*j + 8. Let r(o) = 7*o**2 + 5*o - 8. Let v(f) = -6*c(f) - 7*r(f). Suppose 0 = 3*t - u - u + 6, u - 3 = -t. Is 8 a factor of v(t)?
True
Suppose -4*b = 2*j - 9*b - 6, -2*j - 2*b + 6 = 0. Suppose s - 136 = -j*s. Does 16 divide s?
False
Let t = -74 + 137. Is 21 a factor of t?
True
Let u = 77 + 6. Suppose 4*n + 2*p = 5*p + u, 1 = -p. Suppose 0*v = 4*v + n, 4*v + 101 = 3*g. Is 9 a factor of g?
True
Let l = 59 - 34. Does 14 divide l?
False
Suppose z + 2*n = 3*n + 17, 9 = z + n. Does 4 divide z?
False
Suppose -30 = 4*g - 106. Is 6 a factor of g?
False
Let l be (-1 - (-2)/4)*0. Suppose l = -3*z + z + 172. Let i = z - 29. Is 20 a factor of i?
False
Let j(v) = v + 6. Let q be j(-12). Let r be (-2)/q - 20/(-12). Suppose -4*c + 18 = 4*d - r*d, 2*d = -c + 27. Is d a multiple of 4?
False
Suppose -5*a = -2*b - 73, 2*a + 2*b - 27 = 5*b. Suppose 5*l = 4*l + a. Is l a multiple of 15?
True
Let j(z) = 29*z + 1. Let w(d) = -d + 11. Let y be w(8). Suppose -y*m - 5*b = m - 14, -4*b = 5*m - 13. Does 11 divide j(m)?
False
Suppose 3*j = -7 + 73. Is j a multiple of 11?
True
Let r = -25 - -8. Let p = 34 + r. Is 9 a factor of p?
False
Suppose 26 = 2*k - 3*a, 3*k + 0 = 2*a + 34. Let x be ((-10)/(-3))/(k/15). Suppose -2*c - 54 = -5*l, -x*l + 4*c = 6 - 64. Does 5 divide l?
True
Let q be 1*3/(-6)*-6. Suppose -5*y = -4*r + 538, 4 = -q*y - 2. Suppose -5*d + 8 = -r. Is 10 a factor of d?
False
Let t(f) = 2*f**2 + 2*f + 4. Suppose 36 = u - 5*u. Let z be t(u). Suppose -4*q + 54 = 2*x, 0 = 4*x - q - z + 40. Is 19 a factor of x?
False
Suppose 0 = 5*h + 4*v - 822, -3*v = -5*h + v + 838. Does 22 divide h?
False
Let q = 3 + 0. Suppose 0 = -q*s + 6 + 6. Suppose -s*z + 48 = -0*z. Is z a multiple of 4?
True
Let g(m) be the third derivative of m**9/30240 - m**8/20160 - m**7/5040 + m**5/30 + 3*m**2. Let a(i) be the third derivative of g(i). Is 4 a factor of a(2)?
False
Let r(h) = -h**3 - 9*h**2 - 11*h - 9. Does 30 divide r(-9)?
True
Let z = 250 - 67. Is z a multiple of 28?
False
Suppose -4 = -4*n - 20. Is 14 a factor of (0 + (-38)/n)*2?
False
Let k(i) = -i**2 + 10*i + 7. Let w be k(11). Let g = w - 2. Let r(z) = -z**3 - 5*z**2 + 4*z - 1. Is r(g) a multiple of 8?
False
Let v = 2 + -13. Let h(z) = 2*z**2 + 6*z + 1. Let b be h(-3). Is 6 a factor of 1/(-1)*b*v?
False
Let v be (-3)/2*32/(-12). Suppose -v*z + 420 = z. Is 21 a factor of z?
True
Suppose 2*b = c + 5, -9 = -9*b + 4*b - c. Suppose -3 + 41 = b*t. Is 6 a factor of t?
False
Let t(f) = -f**3 + 5*f**2 + 1. Let q be t(5). Let k(d) = 3 + 2*d**2 - q + 3*d + d + 0*d**2. Is k(-3) a multiple of 8?
True
Let z = 94 + -7. Is z a multiple of 45?
False
Suppose -4*j = -3*c - 22, -9 = j + 5*c - 3. Suppose j = -2*l + 32. Does 4 divide l?
False
Let b(v) be the third derivative of 1/6*v**3 + 1/24*v**4 - 3*v**2 + 0*v + 0. Is b(4) a multiple of 5?
True
Let q(w) = w**3 - 2*w**2 - 2*w + 3. Let g be q(3). Suppose 2*n + 0*n = 808. Is (-4)/g - n/(-12) a multiple of 20?
False
Let k(a) = 3*a**2 - a. Suppose 0 = -4*u + 3*o - 2, -3*o + 4 = -3*u + 1. Let i be k(u). Is i*(-3)/(-6) + 29 a multiple of 15?
True
Let j = -2 - -3. Let x = j - -1. Is x a multiple of 2?
True
Suppose 2*t = -2 + 32. Is 15 a factor of t?
True
Let a be ((-2)/4*-356)/2. Let n = 137 - a. Is 11 a factor of n?
False
Does 3 divide 672/15 - 1/(-5)?
True
Let z be 292/6 + (-2)/3. Let a = z - 25. Suppose 0 = 4*l - 3*l - a. Is 23 a factor of l?
True
Let v = 4 + 1. Suppose -k - 33 = -2*q + q, -4*k + 192 = v*q. Let b = q + -8. Does 14 divide b?
True
Suppose 6*g + 24 = 2*g. Let i(h) = h**3 + 5*h**2 - 7*h - 3. Let r be i(g). Suppose n + r*n - 56 = 0. Is n a multiple of 5?
False
Let t(l) = l**3 - 2*l**2 - 3*l - 2. Let v be t(3). Let m(z) = 2*z**2 - 2. Does 2 divide m(v)?
True
Suppose 272 = 5*q - 3*r, 0 = 3*q + 6*r - 2*r - 169. Is q a multiple of 16?
False
Let k(f) = f**2 + 12*f + 24. Is 3 a factor of k(-11)?
False
Let s(b) = -2*b**3 - 4*b**2 - 4*b - 4. Suppose 3*m = 5*d - 34, -2*d + d = 5*m + 10. Is s(m) a multiple of 13?
True
Let v(x) = -10*x - 17. Does 16 divide v(-4)?
False
Suppose 0 = -6*d + 4*d + 66. Does 11 divide d?
True
Let j(l) = 2*l**3 - 4*l**2. Let w(m) = m**2 - 2*m + 3. Let h be w(2). Does 7 divide j(h)?
False
Let f = -1 - -13. Let b = -78 - f. Let d = b - -126. Is 14 a factor of d?
False
Suppose -4*t + 16 = 0, -4*o = o - 2*t - 892. Suppose 4*x - x + g = o, -3*g - 192 = -3*x. Is 14 a factor of x?
False
Suppose 2*k - 47 - 59 = 0. Is 12 a factor of k?
False
Suppose 2*o - 5*o = 6. Let s = 0 + o. Is 8 a factor of 1 - (s + 1) - -15?
False
Suppose s - 5*s = -8. Suppose 0 = s*j - m + 5*m - 170, -266 = -3*j + 5*m. Let a = -56 + j. Is 16 a factor of a?
False
Let n(c) = c**2 + c + 1. Let x(m) = -8*m**2 - 7*m - 6. Let f(s) = -6*n(s) - x(s). Let j be f(1). Is 3 a factor of -2 + 6 + -2 + j?
False
Let y(n) = -n**2 + 5*n - 2. Let g be y(5). Let d = g - -4. Suppose d*i - 4*h = 20, -5*i + 0*h = -h - 86. Is i a multiple of 7?
False
Let q(f) = -9*f - 14. Is q(-24) a multiple of 30?
Fal