factor of n?
True
Let f(k) = -k + 4. Let d = -24 + 16. Is f(d) a multiple of 6?
True
Suppose -13 = -3*g + 107. Is (6/(-5))/((-6)/g) a multiple of 8?
True
Suppose -11 = 2*a - 3*n - 0*n, -4 = 3*a - 2*n. Suppose 5*x - 4*s = 23, -a*x + 29 = 3*x - 2*s. Does 4 divide x?
False
Let m be ((-39)/6)/((-2)/4). Let r = m + -7. Is 2 a factor of r?
True
Let g be (3/3)/(2/10). Let w be 1/5 + 2394/30. Suppose g*t - w = t. Is 10 a factor of t?
True
Suppose 4*d + 54 = 3*i, -79 = -4*i - 0*d + 3*d. Is 4 a factor of i?
False
Let f(t) be the third derivative of t**5/60 + 5*t**4/24 + t**3/3 + 3*t**2. Let n be f(-7). Suppose -40 = -4*z + 3*w - 0*w, 0 = -4*w + n. Is z a multiple of 11?
False
Suppose 69 = 2*h - 47. Is 17 a factor of h?
False
Let m(k) = -2*k**3 - 18*k**2 + 11*k + 10. Does 20 divide m(-10)?
True
Let h(a) = a**2 - a - 33. Let r be h(0). Let d = r + 50. Is 17 a factor of d?
True
Let d be (-2)/(-6)*1*9. Suppose -d*z = -58 - 236. Suppose -2*s - 3*s + 118 = -4*i, 4*s - z = 5*i. Is s a multiple of 11?
True
Suppose -2*d + 13 = r, -5*r + 4*r + 13 = -2*d. Does 2 divide r?
False
Let d = -59 + 98. Is 8 a factor of d?
False
Let n be (36/15)/(6/15). Let z(k) = k**2 - 4*k + 8. Does 20 divide z(n)?
True
Let r be (-15)/(-20) - (-58)/8. Let o(c) = 3*c + 8. Is o(r) a multiple of 9?
False
Let c(b) = -4*b - 16. Let o(w) = w - 4. Let l be o(-8). Is c(l) a multiple of 8?
True
Suppose u + 4*l = 28, 2*u = -u + 2*l + 70. Is u a multiple of 3?
True
Is 1090/15 - 4/6 a multiple of 18?
True
Suppose -p = p. Suppose -2*d - 3*t - 8 = p, -t + 22 = -2*d + 3*t. Is 5 + d + (6 - -2) a multiple of 3?
True
Suppose 4*u = -u + 30. Suppose -7*h + 9 = -u*h. Is h a multiple of 5?
False
Let b = 1 + -1. Let c = b - -18. Suppose 5*q - c + 3 = 0. Is q a multiple of 2?
False
Suppose x - 66 = 4*x. Let n = 1 - x. Is n a multiple of 13?
False
Let u be 74/(((-8)/(-14))/(4/14)). Let j(r) = 8*r**3 + 3*r**2 - 4*r + 2. Let t be j(2). Let i = t - u. Is 11 a factor of i?
True
Let w(g) be the second derivative of -1/3*g**3 - g**2 - g + 0. Is 6 a factor of w(-7)?
True
Suppose -26 - 19 = -b. Does 9 divide b?
True
Let r = 6 + -4. Let p(n) = 2*n**r - n**2 - 1 + n**3 - 3*n + 2 - 4. Is 21 a factor of p(3)?
False
Let f(g) = -g**2 + 4*g + 4. Let p(b) = -b**2 + 6*b - 1. Let n be p(5). Is f(n) a multiple of 3?
False
Suppose 2*r - 78 = -4*f, 3*f + 6*r - 56 = 2*r. Does 14 divide f?
False
Let h(r) = r**3 - 4*r**2 + 5*r + 1. Does 7 divide h(4)?
True
Suppose -3*z + z - 44 = 0. Let y = -11 - z. Does 6 divide y?
False
Does 2 divide 1 - 3 - (-15 - -7)?
True
Let b(k) = -k**2 - 10*k + 8. Is 16 a factor of b(-9)?
False
Suppose 0*d = -2*d + 2*x + 2, -5 = -d + 5*x. Suppose d = -i + 4*i - 156. Is i a multiple of 26?
True
Suppose 0 = 2*j - 2 - 4. Suppose j*n - 4 = -2*b - 3*b, -20 = -5*b + 5*n. Does 6 divide b/6 + 60/9?
False
Let q = 1 + 0. Let l = -58 - -62. Does 16 divide q*-4*(-26)/l?
False
Does 5 divide 110/2 - (0/(-2))/(-3)?
True
Let q(r) = r**3 + 6*r - 3. Is 21 a factor of q(3)?
True
Let d be (16/(-6) + 2)*3. Let m be 0/(1/(1/d)). Is 4 a factor of 1 - (m + -5 + -2)?
True
Suppose 32 - 8 = -4*w. Let o(u) = 2*u**2 + 9*u + 7. Is o(w) a multiple of 19?
False
Let p = 216 - 112. Suppose -2*r = -4*h + 3*h + 26, -4*h + p = -2*r. Suppose -k = k - h. Is 12 a factor of k?
False
Suppose 2*v = 3*b + 24, 4*b = -4*v + 2*v - 4. Suppose s + 300 = v*s. Does 15 divide s?
True
Suppose 0 = 2*z - 6, -2*i - 4*z - 60 = -0*i. Does 5 divide 3/(i/39)*-4?
False
Let a(g) = -g**3 - g**2 - 2*g - 1. Let x be a(-1). Let y(w) = 59*w - 1. Does 13 divide y(x)?
False
Suppose 15 = 3*i + 2*i. Suppose 4*p - 175 = -i*r, 1 = -2*p + 3. Is r a multiple of 23?
False
Suppose 5*b + 125 = 2*u - 0*u, -4*b + 230 = 5*u. Suppose 176 = -h + 2*h. Suppose h = 3*p + u. Is p a multiple of 21?
True
Suppose -2*m = -0*m + i - 53, -20 = -4*i. Let y = 31 - m. Is y even?
False
Let z(s) = 2*s**3 - 10*s**2 - 5*s + 6. Is 6 a factor of z(6)?
True
Suppose 27 = w + 2*w + z, 5*z = -w + 9. Let q = 28 - w. Does 16 divide q?
False
Suppose 2*i = i. Suppose 2*w = -i*w + 24. Is w a multiple of 7?
False
Suppose 0 = 4*t - 7 - 1. Let f be t + 3 + 2 + -5. Suppose 3*a - 38 = f*a. Is a a multiple of 14?
False
Let v(x) = x**2 + 3*x + 1. Let c be v(4). Let y = c + -3. Is 16 a factor of y?
False
Suppose 0*q + 3*q - 15 = 0. Suppose -5*b = -q, 78 = 3*z + 4*b - 67. Let i = 105 - z. Does 22 divide i?
False
Suppose 5*h - 285 = 2*h. Is h a multiple of 13?
False
Does 2 divide 86/6 + (-3)/9?
True
Let o = -75 - -113. Let f = 89 - o. Is 17 a factor of f?
True
Let j be ((-4)/6)/(8/(-36)). Suppose 0 = j*c - c. Suppose 2*u + 4*b - 112 = c, 4*u - 3*b - 349 = -103. Does 20 divide u?
True
Let x(v) = 9*v**2 - 7*v + 4. Let g be x(4). Suppose -4*k = 2*h + k - 21, 0 = -5*h + k + g. Suppose -4*s + 76 = -4*r, -s + 2*r = -r - h. Is 10 a factor of s?
False
Let p(u) = 2*u**3 + u**2 + 2*u - 2. Let l be p(1). Suppose -3*t - 3*h + 66 = -57, -5*h = -l*t + 131. Is t a multiple of 14?
True
Let s(g) = -15*g - 9. Is 22 a factor of s(-5)?
True
Let s be 5 - -2*(0 + 1). Let w = 1 + s. Is 8 a factor of w?
True
Let x(b) = -33*b - 10. Is 19 a factor of x(-6)?
False
Let b(s) = -s**3 + 5*s**2 + 11*s - 14. Is b(6) a multiple of 10?
False
Let u be (-26)/(3*2/(-3)). Let x = u + -6. Is x even?
False
Suppose -3*b - 14 = 10. Let m = -6 - b. Is 18 a factor of m/(3/114*4)?
False
Let p(h) = 4*h**3 + 1. Let v be p(-1). Is ((-228)/(-8))/(v/(-6)) a multiple of 14?
False
Let t(j) = -2*j + 4*j + 5*j + 2 + 0*j. Does 8 divide t(2)?
True
Suppose 0 = 2*n - 5 - 9. Is n a multiple of 7?
True
Suppose 2 = 2*b, -36 = -t + b + 41. Does 39 divide t?
True
Let m = -119 + 205. Does 35 divide m?
False
Suppose 1 = -4*y - 5*a - 2, -2*y = -a - 9. Suppose y*l = -l + 104. Does 13 divide l?
True
Suppose 0 = -0*y - 2*y + 114. Let h = -36 + y. Does 15 divide h?
False
Let o(p) = -20 - 25 + 5*p - p**3 + 39 - 15*p**2 + 8*p. Does 21 divide o(-16)?
True
Suppose 2*j - 4 = 0, -t + 28 = 2*j - j. Let c be t/4 - 1/2. Does 19 divide (42/(-4))/((-3)/c)?
False
Let k = 30 - -4. Suppose -3*y + 5*y = k. Does 3 divide y?
False
Let f = 10 - 7. Suppose f*c + 25 = 7. Is 19 a factor of 3/(-2)*76/c?
True
Suppose -3*a = 3*p - 50 - 130, 264 = 4*p - 4*a. Suppose -5*j + 2*j + p = 0. Is 14 a factor of j?
False
Let v be (1 - -2) + (-1)/1. Suppose 4*s = 2*d - 28, v*s = 3*d + 3*s - 28. Does 6 divide d?
False
Suppose -r - 5*g = -55, -5*g = -4*r + 6*r - 85. Is 3 a factor of r?
True
Let s(x) = -x**2 + 5*x + 6. Let a be s(5). Let v(z) be the second derivative of 2*z**3/3 - 7*z**2/2 + 2*z. Does 17 divide v(a)?
True
Let b(g) = 2*g**3 - 2*g**2 - 3*g + 3. Let d be b(2). Suppose -50 = 4*c - d*c. Is 14 a factor of c?
False
Is 12 - (-7)/(14/(-6)) a multiple of 9?
True
Suppose -2*p + 0*p + 36 = 2*d, -p - 2 = 0. Suppose 4*l = -0 + d. Suppose 0 = 3*h - l*h + 94. Is h a multiple of 16?
False
Let r(u) = u - 10. Let l be r(6). Let a = l - -23. Does 5 divide a?
False
Suppose 25*o = 20*o + 150. Is o a multiple of 14?
False
Let p be (-4)/8 - 18/(-4). Suppose -5*l + 3*l - p = 0, -86 = -4*y + l. Let v = 31 - y. Is 10 a factor of v?
True
Let n = 243 + -135. Is n a multiple of 27?
True
Suppose -4*t = 3*y - 178, 147 = 5*y - 3*y - 3*t. Is 5 a factor of y?
False
Let k(j) = 2*j**3 + 6*j**2 + 4 + 3*j**3 - 4*j - 4*j**3. Does 14 divide k(-6)?
True
Suppose 10 + 15 = 5*a. Suppose -v = -0 - a. Suppose 8 + 13 = 4*g - v*w, 3*g + 2*w - 10 = 0. Is g a multiple of 3?
False
Let b(w) = 3*w**2 - 6*w + 6. Let s(f) = f**2. Let p(q) = b(q) - 2*s(q). Let l be p(5). Is 2 a factor of l/(-2) - (-22)/4?
False
Let w be (15/10)/((-3)/(-64)). Let j = -45 + w. Let k = j - -18. Is 5 a factor of k?
True
Let l be -1*(1 - -10)*-1. Let h = 17 - l. Is h a multiple of 4?
False
Let p = 18 - 14. Suppose p*l = -l + 240. Is 12 a factor of l?
True
Let z = -6 - -3. Let v be z/6*(-24)/4. Suppose -r = -v*r + 32. Does 8 divide r?
True
Is 6 a factor of 2 + (-51)/(-6) - 8/16?
False
Suppose 3*d - 21 = -w, 0*d = 5*w + 2*d - 144. Is w a multiple of 12?
False
Let r = -8 + 20. Suppose w - r = -0*w. Is w a multiple of 12?
True
Let h = -12 - -12. Is -1 + -2 + (10 - h) a multiple of 2?
False
Suppose -5*z + 0*s = -2*s + 31, 5*z + 10 = -5*s. Let y(o) be the first derivative of -o**3/3 - 3*o**2 + 6*o - 16. Is 8 a factor of y(z)?
False
Suppose -2*t + 156 = -24. Is t a multiple of 10?
True
Let c(n) = -