4)/(-11). Let y(a) = -2 + 3*a**3 - 2*a + a**d + 0 + 3*a - 3*a**2. Is y(2) a multiple of 16?
True
Suppose 0*g = g + 3*m - 9, 0 = m - 4. Let v(s) = 2*s**2 - 2*s + 4. Is v(g) a multiple of 7?
True
Does 16 divide (-5)/20 + 5445/20?
True
Let i = -19 - -50. Let y = i + -11. Suppose -2*l + y + 44 = 0. Is 16 a factor of l?
True
Suppose 5*k + 2*m + 1 + 2 = 0, -4*k - m = 0. Is k/3 + (-188)/(-12) a multiple of 6?
False
Is 8 a factor of (-258)/(-8) - 8/32?
True
Suppose 2*h = j, -j - 3*j = -2*h + 12. Let n(u) = -2*u - 2. Let s be n(-2). Does 5 divide (0 - s)*5/h?
True
Let t = 179 + -19. Is 40 a factor of t?
True
Let s = 9 + -6. Let z(a) = 9*a**3 + 6*a**2 + 3*a + 8. Let p(v) = 4*v**3 + 3*v**2 + v + 4. Let y(t) = s*z(t) - 7*p(t). Is 3 a factor of y(-4)?
False
Let j = -23 - -90. Let c(w) = 3*w**2 + 33*w + 16. Let s be c(-13). Let p = s - j. Is p a multiple of 7?
False
Suppose 0 = 2*y + 2*y + 2*r - 66, 51 = 3*y + 2*r. Does 11 divide y?
False
Let n(g) = -g**3 + 4*g**2 + 3*g + 3. Is n(4) a multiple of 5?
True
Let v(g) be the first derivative of g**4/4 - 4*g**3/3 - 3*g**2 + 6*g + 3. Let o be v(5). Suppose a + 0*p = -5*p + 31, p + o = a. Does 3 divide a?
True
Suppose -3*m + 2 = -4. Is 5 a factor of m + (-24)/((-2)/1)?
False
Suppose -3*j + 0*j = -30. Does 10 divide j?
True
Let k(u) = -u**3 - 9*u**2 - 10*u. Let m = 2 + -11. Does 30 divide k(m)?
True
Suppose 0 = -0*q + q + 1, m - 4*q - 5 = 0. Is 7 a factor of 7*m/(-1 + 2)?
True
Let c = -32 + 86. Is c a multiple of 11?
False
Is 12 a factor of 1*-3*(-65)/15?
False
Let z(u) = -183*u + 9. Does 10 divide z(-1)?
False
Suppose 4*k - 5*q = 5, 5*q + 15 = 2*k - 0*k. Let t(c) be the third derivative of -7*c**4/24 - 2*c**3/3 - c**2. Does 15 divide t(k)?
False
Suppose -3*v = -0*v + 24. Is 4 a factor of 40/(-2)*v/20?
True
Suppose -r = 2*d - 4, -4*d + 4 = d + r. Suppose -2*a + 26 + 74 = d. Suppose 3*z + 2*z = a. Does 6 divide z?
False
Let i be ((-4)/3)/((-6)/117). Let g = i - 6. Is 8 a factor of g?
False
Let t(c) = -10 - 6*c**3 + 3*c**3 - 6*c**2 + 2*c**3 + 5*c. Is 4 a factor of t(-7)?
True
Let b(g) = -4*g. Let w be b(-2). Suppose 4*y - w - 4 = 0. Is y a multiple of 3?
True
Let a(t) = t**3 + 9*t**2 - 9*t - 4. Does 11 divide a(-8)?
True
Suppose 57 = -3*b - 5*w, 4*b + 29 = 3*b - 5*w. Let a = 23 + b. Is a + 3 - 0/(-2) a multiple of 11?
False
Suppose 0*g - g + w = 8, -w = -4. Let z = -2 - g. Does 2 divide z?
True
Suppose -6*o + 62 = -10. Does 6 divide o?
True
Let q(l) be the first derivative of l**2/2 - 6*l - 2. Let f be q(5). Let c(z) = 5*z**2 + z + 1. Does 2 divide c(f)?
False
Let s be (1/2)/(3/24). Is 5 a factor of ((-10)/s)/(6/(-12))?
True
Suppose -3*g - 2*g = 3*x - 22, -g + 6 = x. Suppose 3*c + 50 = -0*w + 2*w, 100 = -4*c - x*w. Let m = c + 35. Does 15 divide m?
True
Let v = 695 - 289. Is 47 a factor of v?
False
Let f(x) = 9*x + 3. Let v(t) = t - 1. Let a(j) = -f(j) + 4*v(j). Does 11 divide a(-6)?
False
Suppose 11*i - 4 = 9*i. Let h = -6 - -9. Let k = i + h. Is 5 a factor of k?
True
Let y = 10 + -2. Let j = -2 + -3. Let q = y - j. Does 4 divide q?
False
Suppose 0*q + 2*a + 13 = 3*q, 4*a = q - 1. Suppose q*g = -z + 14, 0 = 4*g + 4 - 12. Suppose f - z*f + 78 = 0. Is f a multiple of 13?
True
Does 18 divide (-108)/21*84/(-8)?
True
Let i(c) = -c**3 - 4*c**2 + 8*c + 2. Let o(q) = q**3 + 6*q**2 + 2. Let w be o(-6). Suppose 0 = 7*v - w*v + 30. Is 13 a factor of i(v)?
True
Suppose -140 = 3*a - 8*a. Let z = a - 4. Is z a multiple of 12?
True
Let z(k) be the first derivative of k**5/10 - k**4/24 - k**3/3 - k**2/2 - 1. Let u(f) be the second derivative of z(f). Does 13 divide u(3)?
False
Let f be (-9)/15 - (-4)/(-10). Does 18 divide (1*f)/(4/(-200))?
False
Suppose -2*u + 5 = -u. Suppose -3*q + a = 8, u*a = q + 4 + 8. Is q/(-6) - 284/(-12) a multiple of 9?
False
Let w(m) = m**3 + 6*m**2 + 6*m + 2. Let c be w(-4). Suppose c*n = 5*n - 3*d + 133, 0 = -4*n + 2*d + 102. Is 9 a factor of n?
False
Suppose 0 = l - 2*l - 1. Let w be -1 + 5 + (-1 - l). Suppose k - i = 20, -3*k + 2*k + 32 = -w*i. Does 16 divide k?
True
Let o(l) = 6*l - 4. Let x be o(6). Suppose -b - b = -x. Is 16 a factor of b?
True
Suppose 5*z - 5*i = 6 + 99, 2*z + 5*i = 7. Is 16 a factor of z?
True
Suppose 6*l = 2*g + 3*l + 4, -3*l + 16 = g. Suppose 0*o + 4 = 2*o + 4*z, -3*o = -g*z - 16. Suppose 10 = 2*s, o*k - k = -s + 89. Is k a multiple of 23?
False
Suppose 25 = -5*j, -4*h + 7*h - 2*j - 7 = 0. Does 20 divide (-246)/(-4) - h/2?
False
Is 18 a factor of ((-8)/20)/((-2)/90)?
True
Let x(h) = -h**3 + 5*h**2 - 1. Let y be x(5). Let j be (y/3)/(2/(-18)). Is 59/3 - (-1)/j a multiple of 10?
True
Let b be 4/(-6) + (-4)/(-6). Suppose -5*y + 10 = b, -3*m - 4*y + 7*y + 303 = 0. Suppose -2*c + 5*c + 5*x - m = 0, 5*c - 140 = -2*x. Is c a multiple of 24?
False
Let u be (-8 - -25)/((-1)/(-1)). Suppose 0 = z - u - 36. Is z a multiple of 26?
False
Let b(j) = j - 1. Let y be b(-5). Does 19 divide (-2)/(-3) - 110/y?
True
Suppose 275 = 4*h + l, -2*h + 0*h + 3*l = -127. Does 2 divide 348/h + (-2)/17?
False
Suppose -3*z + 271 = 5*y, 6*y - y + 5*z - 265 = 0. Is 8 a factor of y?
True
Let s be 2/3*-3 - -114. Let c = s - 42. Suppose -c = -8*r + 3*r. Is r a multiple of 10?
False
Let j = -10 - -5. Let b(t) = -8*t - 4. Let p be b(j). Suppose p = 3*v + v. Does 9 divide v?
True
Let m(b) = -49*b - 3. Is 19 a factor of m(-2)?
True
Let r = -21 - -39. Is 18 a factor of r?
True
Let o(p) = 5*p**3 + 6*p**2 - 16*p + 10. Let k(u) = -4*u**3 - 7*u**2 + 16*u - 9. Let d(f) = 6*k(f) + 5*o(f). Let r be d(11). Let b = -29 + r. Does 7 divide b?
False
Suppose 0 = 2*b + l - 455, -136 = -b - 2*l + 87. Is 46 a factor of b?
False
Suppose 5*a = 119 + 26. Is 9 a factor of a?
False
Let b = -5 - -2. Let d(s) = -4 + 3 - s - 4*s. Is d(b) a multiple of 7?
True
Let q = 68 + -10. Is 6 a factor of q?
False
Suppose -2*x - 4*c = -3*x + 4, -5*c - 68 = 4*x. Is 14 a factor of -207*(-2)/x*-2?
False
Let w(q) = 14*q**2 + q - 1. Is 26 a factor of w(4)?
False
Let c = 510 - 290. Suppose -3*s + 111 = 3*m, -6*m + c = -m - 2*s. Is m a multiple of 14?
True
Suppose 95 = 2*b - 3*c, -8 = -b - 4*c + 12. Is 4 a factor of b?
True
Let s = 582 - 342. Suppose 0 = -6*h + h + s. Is h a multiple of 16?
True
Is 11 a factor of (2 - (-30)/(-4))/((-3)/6)?
True
Let i(y) = 28*y + 4. Is i(5) a multiple of 31?
False
Let b be 58/18 - 14/63. Let q(k) = 3*k**2 - 7*k + 4. Let h(l) = -3*l**2 + 8*l - 5. Let u(s) = 3*h(s) + 4*q(s). Is u(b) a multiple of 6?
False
Let k(l) = 2*l - 9. Let s be k(6). Suppose -6*d + d = s*f - 24, -5*d = -4*f - 38. Is 3 a factor of d?
True
Let i(q) = -q. Let u be i(-2). Suppose 4*z - 16 = 0, -3*k + k - u*z + 14 = 0. Is k even?
False
Let f(h) = -21 - 7*h - 2*h + 17. Is f(-3) a multiple of 11?
False
Let f be (-2)/((-2)/(-5)) + -1. Let z(d) = -d**2 - 9*d + 12. Does 17 divide z(f)?
False
Does 6 divide 18/(-8)*(-84)/9?
False
Let r(s) = -s**3 + 3*s**2 + 5*s - 2. Let y be r(4). Let b(t) = t. Let f be b(y). Suppose f*l + 5*q - 93 = 0, q = -3*l + 89 + 31. Is 14 a factor of l?
False
Does 24 divide 36/54 + (-284)/(-6)?
True
Suppose 33 = 5*n + o + 4, 5*o = 5*n - 35. Is n a multiple of 4?
False
Let l = 34 + 0. Does 18 divide (l - (2 + -2)) + 2?
True
Let r = 21 + -19. Is 2 a factor of (24/16)/(r/4)?
False
Let v = -187 - -271. Suppose -x = x + 3*k - v, 2*k - 88 = -2*x. Is 16 a factor of x?
True
Let w be (-22)/(-6) - (-3)/9. Suppose 0 = -3*f + 4*h + 242, -300 - 40 = -w*f + h. Let i = 122 - f. Is i a multiple of 18?
True
Let f(o) = 3*o - 2. Let g be f(2). Suppose -g*a - 3 = -6*a - 3*n, 3*a - 4*n = 13. Suppose p + 66 = a*p. Is p a multiple of 14?
False
Suppose -5*l + 13 = 4*u, -2*l + 5*l = -5*u + 13. Let o = 8 - 13. Let f = l - o. Is 4 a factor of f?
False
Suppose -5*t + 52 = 3*p, -p - 3*t - 4 = -16. Does 4 divide p?
True
Suppose -s + 120 = 2*s. Suppose 5*t + y + 12 - s = 0, -y - 2 = 0. Is t a multiple of 6?
True
Is (26 + 4)*(-2 + 4) a multiple of 20?
True
Suppose -5*n + 141 = -2*n + 3*m, 2*n - 3*m = 109. Suppose -4*l - 3*h = -45, -4*l = -h - h - n. Let b(a) = a**3 - 12*a**2 + 3*a + 3. Does 10 divide b(l)?
False
Suppose 2*b - x - 51 = 0, 4*b - x = 45 + 58. Is 13 a factor of b?
True
Is 31 a factor of (10 - -1)/(11/110)?
False
Suppose 0 = 9*z - 2055 - 213. Is z a multiple of 28?
True
Suppose 2*k - 70 = -0*k. Does 7 divide k?
True
Suppose 4*p + r = -r + 150, 39 = p - r. Suppose