 f be (-17)/(-4) + 1/(-4). Let w(a) = 10*a**2 + 10*a + 9. Let z(n) = -3*n**2 - 3*n - 3. Let o(g) = -2*w(g) - 7*z(g). Does 6 divide o(f)?
False
Let i(b) = -4*b**3 - 20*b**2 - 9. Let d(s) = -s**3 - 5*s**2 - 2. Let k(c) = -9*d(c) + 2*i(c). Is 16 a factor of k(-4)?
True
Let z = -91 - -136. Is z a multiple of 12?
False
Does 4 divide (13 + -1)/(-3)*-7?
True
Let w(c) = c**3 - 3*c**2 + c - 5. Does 15 divide w(4)?
True
Let b(v) = v**2 + 6*v. Let p be b(-7). Let u(j) = -p*j + 6*j - 2*j. Is u(-5) a multiple of 6?
False
Let v(s) = 2*s**2 - s + 10. Does 11 divide v(12)?
True
Let h = 6 - 4. Suppose 75 = h*f + 9. Is f a multiple of 11?
True
Let g(b) = 92*b**2 - b. Let q be 2/(-4)*12/(-6). Let s be g(q). Suppose -r - t + 45 = 0, 2*r - s = -3*t - 0*t. Does 13 divide r?
False
Let j be (-1)/((-3)/72*-4). Let s be -1 - (1*-2 + 0). Is s/(j/(-9))*8 a multiple of 6?
True
Suppose -7*k + 12*k = 0. Let q = k - -18. Is 14 a factor of q?
False
Let r = -18 - -55. Is 10 a factor of r?
False
Let r = 102 + -54. Is 15 a factor of r?
False
Suppose -2*n = q - 668, -1688 = -5*n + 2*q - 0*q. Does 56 divide n?
True
Let p = -21 + 14. Let c(a) = -5*a**2 - 13*a + 8. Let z(d) = 11*d**2 + 27*d - 17. Let l(m) = 9*c(m) + 4*z(m). Is l(p) a multiple of 18?
True
Is 10 a factor of ((-60)/(-25))/(1/115)?
False
Suppose 157 = s - 3*q, -459 = -7*s + 4*s + 3*q. Does 14 divide s?
False
Let d(x) be the third derivative of x**7/840 + x**6/72 - x**5/60 + x**4/12 - x**3/3 + x**2. Let k(h) be the first derivative of d(h). Does 12 divide k(-5)?
True
Suppose 4*x - 209 + 53 = 4*f, 141 = 3*x + 5*f. Is x a multiple of 7?
True
Let s(y) = -4*y - 76. Is 14 a factor of s(-26)?
True
Let o be (-6)/9 + (-10)/3. Let b = o - -12. Does 4 divide b?
True
Let q = -2 + 4. Let b be 0 + (3 - q*-1). Does 12 divide b*(24/5)/1?
True
Let q(c) = -2*c**3 + 3*c**2 + 4*c + 5. Is 7 a factor of q(-3)?
False
Let m be (-82)/(-5) + (-4)/10. Suppose -4*g + 0*g - m = 4*u, 5*g - 4*u = -65. Let t(p) = -p**2 - 13*p - 6. Is 17 a factor of t(g)?
False
Let y(w) = w - 1. Let c(m) = -4*m**3. Let q be c(-1). Let k be y(q). Let a(z) = z**3 - 2*z**2 - 3. Is a(k) a multiple of 6?
True
Suppose 44 = -0*f + 2*f. Does 16 divide f?
False
Let x = 1 - 1. Suppose x = -i + 3. Suppose i*z = -2*z + 70. Is 14 a factor of z?
True
Suppose 2*w + 18 = 4*s + 4*w, -4*s + 5*w + 25 = 0. Suppose -s*d + 171 = 4*h, d + 0*d = 3. Is 13 a factor of h?
True
Suppose -2*t + 15 = t. Suppose 2*v = w - 20, -5*w + t*v = 9 - 104. Is 9 a factor of w?
True
Suppose 0 = 5*l + 3*d - 155, -4*l - l = 2*d - 150. Is 7 a factor of l?
True
Let w = 12 - -123. Is w a multiple of 45?
True
Let m = 35 + -5. Does 13 divide m?
False
Suppose 5*u = -15 + 40, 2*g - 3*u = 119. Let z = g - 44. Is 12 a factor of z?
False
Suppose v - 3*v = -378. Is 14 a factor of (-4)/(-3)*v/6?
True
Let j be 2 + -2 + 1 - -1. Suppose -h + 3 = r, j*h - r = -h + 21. Suppose -h*k + 3*k = 3*v - 84, 0 = 4*v. Is 14 a factor of k?
True
Let n(a) = -2 - 3 - 6*a**2 + 3*a**2 + a**3 + 0*a**2. Is 7 a factor of n(4)?
False
Let j = -77 + 40. Is 13 a factor of j/2*(-7 + 5)?
False
Let p be 6/9 - 335/(-15). Let a = p - 4. Does 17 divide a?
False
Let u(h) = -h**2 + 10*h - 6. Let p be u(4). Suppose 0 = p*q - 21*q + 75. Is 5 a factor of q?
True
Let w(k) = 7*k**3 - k + 0*k**2 + 0*k**3 + 2*k**2. Let t be 2/(-3)*6/(-4). Does 3 divide w(t)?
False
Suppose -l - 4*n - 4 = 3*l, -5*n = 4*l. Let h(m) = 2*m**2 + 8*m + 3. Does 6 divide h(l)?
False
Let u(w) = -w**2 + 4*w + 7. Let t be u(5). Suppose r = 43 - t. Suppose -5*f = -64 - r. Is 21 a factor of f?
True
Suppose -2*y + 5*y = 6. Suppose 0 = 5*p + 5, x - y*p = p + 18. Does 11 divide x?
False
Let g(x) be the third derivative of x**6/120 - x**5/30 - x**4/24 - x**3/3 + x**2. Let b be g(-2). Let u = 35 + b. Is 19 a factor of u?
True
Suppose -2*z = r - 5*z - 27, -2*z - 26 = -r. Does 24 divide r?
True
Let a(d) = d**2 + 6*d + 9. Let q be a(-8). Let r = -12 + q. Does 12 divide r?
False
Let l be 73 + (-12)/((-8)/(-2)). Suppose 205 = 5*o + l. Is o a multiple of 9?
True
Suppose -5 + 25 = -2*u. Suppose 0 = 7*p - 4*p + 54. Let s = u - p. Does 4 divide s?
True
Suppose -5*v = -2*k - 1786, -2*k + 270 = 2*v - 436. Suppose -5*j + v = -4. Does 12 divide j?
True
Suppose -10 = 3*z - z, z = 2*u - 29. Is 4 a factor of u?
True
Let j(h) = h**3 - 4*h**2 + 5*h - 2. Is j(5) a multiple of 9?
False
Suppose 3*i = 5*g - 21, -3*i + 17 = 5*g - 4*i. Suppose -5*y + 9 = g*j, 2*y + 5*j = -y - 1. Suppose -3*s + 165 = y*f, -4*s - 128 + 368 = -f. Does 15 divide s?
False
Let o(y) be the third derivative of -y**6/120 + y**5/20 + y**4/8 - y**3/2 - 2*y**2. Is o(3) a multiple of 3?
True
Suppose -j - 2*j + 15 = 0. Let y be 14/(-21)*9/(-2). Suppose -2*o - 2 = 0, 0 = -j*k - y*o - 2*o + 30. Is k even?
False
Let y(l) = 52*l**2 - 1. Is 17 a factor of y(-1)?
True
Suppose -p + 2*p = 0. Does 8 divide (p + 36)*4/6?
True
Let i(d) = 3*d - 6. Let b be i(5). Suppose -5*c = -4*m - 29, 2*m + 8 + b = 3*c. Suppose 2*r + 11 = -3*f + 28, c*r + 10 = 0. Is f a multiple of 7?
True
Suppose 5*m + 5*v - v - 2065 = 0, 0 = -2*v. Is 55 a factor of m?
False
Let b = -6 + 8. Suppose 6 = 5*y - b*q - 24, 3*q + 7 = -2*y. Suppose -3*g + 0*k - k + 100 = 0, y*g - 2*k = 120. Is 12 a factor of g?
False
Let t(s) = 70*s + 6. Let j be t(-5). Let n be j/(-40) - 2/(-5). Let r = n + -5. Is 3 a factor of r?
False
Let a be -1*5/((-15)/69). Let r = a - 11. Is r a multiple of 12?
True
Suppose 0 = -8*o + 53 + 83. Is o a multiple of 4?
False
Is 47 a factor of (-2289)/(-5) - 1/(-5 - 0)?
False
Let c = 134 + -107. Is 6 a factor of c?
False
Let h be 5/(-3)*(3 - 6). Suppose -3*a + h*u + 0*u + 62 = 0, 0 = 3*u - 6. Does 8 divide a?
True
Let w = 1 + 1. Suppose 0 = -w*h + 12 + 2. Let x = 0 + h. Is 5 a factor of x?
False
Let y(t) = 2*t**2 - 6*t + 6. Is 13 a factor of y(5)?
True
Let v = -192 - -297. Suppose -3*l = 2*l - v. Does 17 divide l?
False
Let d be 3 - (2 + 1 + -2). Suppose -b + 4*b - 64 = -h, -h + d*b = -64. Suppose h = 4*z - 152. Is z a multiple of 19?
False
Let o(h) = h + 5. Let l be o(0). Suppose -l*q + v + v = -208, -3*v - 12 = 0. Does 20 divide q?
True
Suppose -370 = -5*y + 8*a - 4*a, 0 = -4*y + 2*a + 302. Is 13 a factor of y?
True
Let y(x) = -x**3 - 3*x**2 - 2*x - 1. Let d be y(-3). Let f(b) = -b**2 + 4*b + 12. Does 7 divide f(d)?
True
Suppose -2*z - 3*c + 69 = -9, 184 = 4*z - c. Does 8 divide z?
False
Suppose 5*n = s + 5, 3*s = 2*n + 1 + 10. Suppose n*k = -a + 14, 2*k - 4*k = -3*a + 82. Does 12 divide a?
True
Let g be (-1 - 0)*477/9. Let v = -5 - g. Is 24 a factor of v?
True
Is (34/(-51))/(1/(-99)) a multiple of 9?
False
Let d be (-3)/9*(-6)/1. Let h be (-1 + d)/((-1)/(-11)). Is (6/(-2) + 4)*h a multiple of 4?
False
Suppose 5*f - 2*y = 2*f + 68, 3*f - 64 = y. Is 17 a factor of f?
False
Let t(f) = 17*f**3 - 2*f**2 + f. Suppose -5*o - 11 = 9, s + 3*o = -11. Does 16 divide t(s)?
True
Suppose 5*w - 244 = -3*j, 3*j = 3*w - 2*w - 56. Is w a multiple of 25?
True
Does 8 divide (6/12 - (-6)/(-3))*-12?
False
Suppose 0 = 5*x - m - 137, -5*x + m = 4*m - 129. Suppose 0 = -4*r + 109 + x. Is r a multiple of 23?
False
Suppose 0 = 2*m - 4*v - 14 - 60, -m + 41 = -4*v. Is m a multiple of 7?
False
Suppose 0 = 3*c + k - 43, -4*c + 0*k - k = -57. Suppose c = 4*j - 82. Does 12 divide j?
True
Let l(m) = 8*m + 2. Does 6 divide l(5)?
True
Let p = -93 - -254. Is 30 a factor of p?
False
Suppose -x = -0 - 4. Suppose 0*w + 2*w - 38 = -3*q, -x*q = -5*w + 118. Is 10 a factor of w?
False
Let x(i) = 21*i**2 + 5 - 4*i**2 - 3. Is 7 a factor of x(1)?
False
Let o(v) = -3*v - v**2 + v + 7*v**2 + 7*v**2. Is 28 a factor of o(-2)?
True
Is 21 a factor of (402/(-12) - -2)/((-2)/4)?
True
Suppose 4*n - 3*n - 4*g = 16, n + 3*g = 2. Suppose 11*h = 10*h + n. Does 4 divide h?
True
Let h be (3 - 2)*-6 + 3. Let a(y) = -y**2 - 5*y + 3. Does 9 divide a(h)?
True
Suppose 0 = 4*v - 2*v - 8. Suppose 0 = -q - 3, f - 2*q - v + 1 = 0. Is (f - -20) + 4 + -1 a multiple of 10?
True
Let m be 4/(-24)*-3*2. Is (m + 8)/((-6)/(-28)) a multiple of 14?
True
Let n be (0 - 9/(-6))*2. Suppose 0 = 2*c - n*c. Suppose c = -2*t - 2 + 38. Does 9 divide t?
True
Let z(w) = w**2 + 3*w - 24. Does 6 divide z(-9)?
True
Let f(s) = 4*s - 6. Let i be f(5). Is 8 a factor of 1 + (0 - i/(-2))?
True
Suppose -3*n + 4*n = -2*s + 41, 0 = 4*s - n - 85. Does 10 divide s?
False
Let y = -4