 a factor of r?
False
Let s(a) = a**3 - 6*a**2 - 12*a + 5. Let v be (30/5)/((-3)/(-4)). Is 18 a factor of s(v)?
False
Let a be 24 + (-1)/((-3)/6). Let x(h) = h**3 - 5*h**2 + h - 3. Let f be x(4). Let g = a + f. Is 3 a factor of g?
False
Suppose 0 = -3*b - 4*z + 128, -2*b + 0*z + 90 = -2*z. Does 44 divide b?
True
Suppose -2*m - 2*m - 5*x + 245 = 0, m - 62 = -2*x. Is 30 a factor of m?
True
Suppose 74 = n + 6. Suppose -5*g + n + 42 = 0. Is 22 a factor of g?
True
Let q = -306 + 507. Is 15 a factor of q?
False
Let r(t) = 3 + 6 + 0 - 6*t - 3. Is 15 a factor of r(-9)?
True
Let k(y) be the second derivative of -y**3/2 - y**2/2 - 2*y. Let t be k(-6). Suppose t = g + 4*f + f, 0 = 2*f - 6. Is g a multiple of 2?
True
Suppose -k - 20 = -5*o, -k - 3*k = 2*o - 30. Suppose 0 = o*b - 5*f - 40, 2*b - 2*f = 4*b - 16. Is b a multiple of 4?
True
Let w be 0 - 2/1*-1. Suppose -w*o = -3*o. Suppose o = -2*z + 4 + 8. Does 6 divide z?
True
Let q(b) = -9*b - 55. Is q(-10) a multiple of 16?
False
Let p(s) = 2*s - 12. Let u be p(7). Let z = u - -14. Is z a multiple of 8?
True
Suppose -3*l + 18 = -30. Let m = -8 + l. Is m a multiple of 4?
True
Let i be (-3)/(-6)*(-1 + 5). Suppose -59 = -5*o - i*j, -j + 3*j = o - 7. Let x = 15 - o. Is 3 a factor of x?
False
Let c(a) = -a**2 - a. Let f be c(-3). Let x be f/(1 - 39/33). Does 22 divide x*1*(-6)/(-9)?
True
Let y(r) = r**3 - 20*r**2 + 23*r + 19. Is y(19) a multiple of 18?
False
Let o be 1740/18*18/4. Does 23 divide 3/(-18) + o/18?
False
Let n(k) = 4*k + 4. Let m be n(4). Suppose 8*f - m = 4*f. Suppose f*z - 4 = 21. Is 2 a factor of z?
False
Suppose -p - 2*p = -432. Let i = -7 - -12. Suppose -3*g + g = 4*q - p, 0 = i*g - 10. Is q a multiple of 12?
False
Does 29 divide 5*(770/(-15))/(2/(-3))?
False
Let x(j) = j + 11. Let f be x(-8). Suppose -h - 77 = -f*k + 13, 60 = 2*k + 5*h. Is k a multiple of 15?
True
Let r be 26/(((-28)/(-32))/7). Is r/10 + (-4)/(-20) a multiple of 14?
False
Let p = 0 - -5. Suppose -p*c + 2*j + 99 + 371 = 0, 0 = -3*c - j + 271. Let o = c + -59. Is 13 a factor of o?
False
Let f be (-2)/4 + (-30)/(-4). Let m(y) = -y**3 + 6*y**2 + 10*y - 5. Is 16 a factor of m(f)?
True
Let j(x) = 4*x**2 + 2*x + 2. Let g be j(-3). Suppose -5*y + g = 7. Is y a multiple of 5?
True
Let g = 146 + -104. Is g a multiple of 14?
True
Let l = 9 - 15. Let s = 32 + l. Is 26 a factor of s?
True
Suppose 7*h = 3*h + 68. Is h a multiple of 15?
False
Let u = 232 - 161. Is 11 a factor of u?
False
Let d be (12 + -2)/(-3 + 1). Is 18/d*(-5)/1 a multiple of 18?
True
Let f(m) = 31*m**3 + 12*m - 4*m - 9*m. Is f(1) a multiple of 15?
True
Let u(i) be the second derivative of -i**5/20 - i**4/4 + i**3/6 - 4*i**2 - 3*i. Is 21 a factor of u(-6)?
False
Let i(f) be the second derivative of -2*f**3/3 - 9*f**2/2 + 6*f. Does 2 divide i(-4)?
False
Let p = -36 - -221. Is p a multiple of 37?
True
Let g(n) be the third derivative of 5*n**4/12 - 5*n**3/2 - 2*n**2. Does 15 divide g(8)?
False
Suppose 0*w + p = -4*w + 44, 4 = -p. Let f(t) = t + 4. Let q be f(1). Let a = w - q. Is a a multiple of 7?
True
Let x = 464 - 139. Is 65 a factor of x?
True
Let l(f) = 5*f**3 + 6*f**2 + 5*f - 10. Let m(n) = -n**3 - n**2 - n + 1. Let h(x) = -l(x) - 6*m(x). Let o be h(0). Is 10 a factor of (5/1)/(1/o)?
True
Let i(j) = 11*j**2 + 4*j - 39. Is 32 a factor of i(5)?
True
Let y(c) = -5*c - 62. Is 3 a factor of y(-19)?
True
Let h(v) = -v**2 + 5*v + 3. Suppose 0 = -4*r + r - 6. Let s be 1/(((-6)/15)/r). Is h(s) even?
False
Let q(b) = b - 3. Let s be q(7). Suppose -s*u = -0*u - 96. Suppose 4*j - 28 = u. Does 10 divide j?
False
Suppose 4*l = 5*g + 5*l - 45, 3*g = 4*l + 50. Does 10 divide g?
True
Let o(c) = c - 11. Let j be o(8). Let v be (-2)/(-6) - 32/j. Suppose t - 35 = -v. Does 14 divide t?
False
Let t(i) = i**2 - 5*i + 9. Is 2 a factor of t(5)?
False
Let k be 5/3*(35 + 1). Let f = -8 - -10. Suppose 4*r - 4*h = 60, -3*r - f*h + 0*h + k = 0. Does 18 divide r?
True
Let v be (1 - 4)*14/6. Is 19 a factor of (-1)/(1/9)*v?
False
Let r be 2 + (-2 - -2) + 1. Let t(z) = -1 + 1 + 5*z - 2 + z. Does 8 divide t(r)?
True
Suppose -3*a + 6 = 0, 4*a = 5*t - 309 - 228. Let d = 45 - t. Let y = d - -93. Does 17 divide y?
False
Let k be -205*(16/10 + -2). Suppose k = m + 17. Does 20 divide m?
False
Is 39 a factor of (78/9)/(30/(-27))*-5?
True
Let f = -6 + 30. Is 8 a factor of f?
True
Suppose a - 140 = -3*k, 4*k - 4*a + 10 - 218 = 0. Suppose -5*m - t = -17, 3*m = -m - 5*t + 1. Suppose m*p = 8 + k. Is 12 a factor of p?
False
Is 5 a factor of (-90)/(-4)*(-4)/(-6)?
True
Suppose 2*q - 275 = -3*q. Suppose 5*m = -5*y - q, 3*m - 3 + 24 = -2*y. Is 6 a factor of (y/10)/(2/(-10))?
True
Let w be ((-3)/9)/(2/(-174)). Suppose -2*n = o - w, 0*o = 5*n - 3*o - 45. Is n a multiple of 6?
True
Let a = 6 + -2. Suppose a*y - 209 = f, -265 = -5*y + 2*f - 0*f. Let b = y + -32. Is 14 a factor of b?
False
Let k(w) = w**2 - 15*w - 3. Let s(z) = -z**2 + 14*z + 2. Let r(f) = -5*k(f) - 6*s(f). Let x be r(9). Suppose -190 = -2*q - x*q. Does 18 divide q?
False
Let y(r) be the first derivative of 3*r**2/2 - 8*r + 2. Let p be y(8). Does 6 divide (p/(-12))/(1/(-9))?
True
Let c = 13 + -9. Is 17 a factor of (-68)/3*(-6)/c?
True
Suppose 3*h - 44 = 4*y + 6, -2*h + 3*y = -32. Let u = h + -13. Let l(n) = -n**2 + 12*n + 8. Is l(u) a multiple of 13?
False
Suppose -6*q + 8*q = 364. Is q a multiple of 13?
True
Let f = 118 + -42. Let z = 1 + f. Does 15 divide z?
False
Let c(m) be the second derivative of -5*m**3/2 + 9*m**2/2 + 5*m. Does 33 divide c(-6)?
True
Suppose -2*l - 16 = -4*d, 0 = 5*d + 5*l - l - 7. Suppose -d*s - 17 + 65 = 0. Is s a multiple of 16?
True
Suppose 4*m - 13 = h, 3*m + 3*h - 21 = -0*h. Suppose 0 = -5*a - 2*u - 2*u + 12, 4*u = -m*a + 8. Is (-67)/(-2) + 2/a a multiple of 17?
True
Does 5 divide (-10 - -5)/((-3)/6)?
True
Let x(o) = -o**3 + 13*o**2 + 20*o - 20. Does 12 divide x(14)?
False
Let i = 285 - 187. Is i a multiple of 21?
False
Suppose -v + 5*l = -0*v + 21, 3*l = -3*v - 153. Let s = v - -99. Is 25 a factor of s?
False
Let r(b) = -b**2 - b + 4. Let d be r(0). Suppose -d*g - g + 78 = -3*t, -g = -t - 16. Suppose -y + 3*o + g = 0, 5*y - 3*y - 5*o - 27 = 0. Does 6 divide y?
True
Suppose -99*w + 104*w - 865 = 0. Does 12 divide w?
False
Let t(p) = -p**3 - 6*p**2 - p - 6. Let d be t(-6). Let w = 12 + -7. Suppose w*j + 0*j - 75 = d. Does 15 divide j?
True
Let w(l) = l**2 + 2*l - 3. Let h be w(2). Let t(p) = p**2 + p + 8. Let s be t(0). Suppose -h*z + 33 = s. Is z a multiple of 4?
False
Is 15/(-20) + 131/4 a multiple of 4?
True
Let w = 112 + -91. Is w even?
False
Let g(b) = -22*b**3 - 2*b**2 + 1. Let m be g(1). Let x = 43 + m. Does 20 divide x?
True
Let p(v) be the third derivative of -v**5/60 - 5*v**4/8 + 5*v**3/3 - 4*v**2. Is 22 a factor of p(-8)?
True
Let i be (2 + 0)/((-14)/(-21)). Suppose -c - i = 3*y - 7, 4*c - 4 = 0. Suppose 9 = m - y. Is 5 a factor of m?
True
Suppose 2*v + 25 = 5*y, 3*y - 3*v - 15 = -v. Suppose -5*i + y*n + 50 = 0, 5*i - 4*n = 52 + 3. Is 8 a factor of i?
False
Let z(q) = q**3 + 3*q**2 + 4*q + 4. Suppose -2 = -h - 6. Let s be z(h). Is (s/(-6))/(1/3) a multiple of 14?
True
Suppose 9 = -4*a + 1. Let g be (-206 - -2)/(-3) + a. Suppose -4*m - 4*p + 96 = 0, 2*p - g = -5*m + 42. Does 10 divide m?
True
Let f(x) = 2*x**2 + 3*x - 3. Let c(r) = 2*r**2 - 3*r - 4. Let s be c(3). Suppose -3*a = 5*l - a + 30, s*l - a + 15 = 0. Is f(l) a multiple of 7?
False
Suppose -5*g = -3*c + 25, -5*c + 35 = -3*g + 4. Let p = -33 - g. Let d = -15 - p. Does 8 divide d?
True
Let l(k) = 9*k - k + 0*k**2 - 8*k**2 + 7 + k**3. Is l(7) a multiple of 14?
True
Let t be 4/14 - 873/(-7). Suppose 4 = x, 94 = 5*o + x - t. Does 13 divide o?
False
Suppose 5*w = -2*y - 1, y = w + 15 - 5. Let g be (-26)/7 + (-2)/y. Let s(b) = b**2 + 4*b + 3. Is 3 a factor of s(g)?
True
Does 12 divide (-130)/(-4) - (-21)/(-14)?
False
Suppose 15 = 5*x - 40. Let s = 2 + -33. Let b = x - s. Is 20 a factor of b?
False
Suppose 2*t - 7*t = 0. Suppose 5*v = 2*b + 280, t*b - 224 = -4*v - 3*b. Does 26 divide v?
False
Let r = -170 - -348. Is r a multiple of 6?
False
Let x(q) = -6*q**2 + 5 - 1 + 0 - q**3. Let y be x(-6). Suppose 0 = -y*j - 16, 0*r + r - 3*j - 26 = 0. Is r a multiple of 14?
True
Let q = 20 + -14. Is 2 a factor of (-4)/1*(-9)/q?
True
Let i(g) = 3*g**3 - 2*g**2 + 3*g + 1. Let