es 16 divide f?
True
Let m(f) = -f**3 + 4*f**2 - 2*f + 4. Let x be m(4). Suppose -14 = -4*c - 6. Does 17 divide x/c - 60/(-2)?
False
Suppose 5*s - 100 = 2*k + 55, -3*s - 2*k + 109 = 0. Does 5 divide s?
False
Suppose -144 + 44 = -4*s. Does 22 divide s?
False
Let g(q) = -q. Let f be g(-7). Let s be (-22)/(-55) - 33/(-5). Let w = f + s. Is 7 a factor of w?
True
Let z = 8 - 11. Let f = z - -7. Suppose 0 = f*u + 3*q - 68, 10 = 5*u - 5*q - 75. Does 10 divide u?
False
Let r = -442 - -650. Does 26 divide r?
True
Is ((-166)/(-6) - 0)/(3/27) a multiple of 32?
False
Let c(q) = 4*q**2 + 12*q - 18. Does 10 divide c(4)?
False
Let a be 15/20 + 3/(-4). Is 6 a factor of (a + 2)*2 + 2?
True
Suppose 0 = 6*f - 5*f - 6. Suppose f = u - 13. Is 16 a factor of u?
False
Let j(z) = -7*z - 5. Does 7 divide j(-4)?
False
Suppose 277 = 9*r - 263. Does 5 divide r?
True
Suppose 70 = 3*c + 16. Does 6 divide c?
True
Suppose 4 = r - 5. Suppose 11 = -2*t - r. Is 11 a factor of 1 + t*(-6)/4?
False
Suppose -480 = -4*s - s. Does 12 divide s?
True
Does 4 divide 62/3 + 12/(-18)?
True
Suppose -171 = -7*c + 4*c. Is 14 a factor of c?
False
Suppose 260 = 4*p - 2*l + 6*l, -16 = -4*l. Does 18 divide p?
False
Let z = 1302 - 742. Does 12 divide z/24 + (-1)/3?
False
Let t(p) be the third derivative of 0 - 1/4*p**4 - p**2 + 0*p - 1/60*p**5 + 4/3*p**3. Does 3 divide t(-6)?
False
Let k(b) = b**3 + 7*b**2 + 3*b - 10. Let z = -12 - -7. Is 5 a factor of k(z)?
True
Let q(r) = r + 5. Is 13 a factor of q(8)?
True
Let m(x) = -29*x**3 + x**2 + x + 1. Does 15 divide m(-1)?
True
Let p(n) = -n - 1. Let l be p(-3). Suppose 0 = l*f + 4*o - 4 - 36, 5*o = -2*f + 39. Is 11 a factor of f?
True
Let b(v) be the second derivative of -v**5/20 + 11*v**3/6 - 8*v**2 - 4*v. Let k(m) = m**2 + 1. Let y(a) = b(a) + 6*k(a). Is 18 a factor of y(7)?
True
Suppose -3*l - 3 = -39. Suppose z - 2 = 5*y + l, -y - 14 = -3*z. Is y - 0/2 - -25 a multiple of 12?
False
Suppose 2*z + 2*w + 6 = 0, -4*w = 3*z + 7 + 3. Let o be -1 - (-3 - 2) - z. Let f = 10 - o. Is f a multiple of 4?
True
Let t be 826/9 - 2/(-9). Suppose -163 = -5*p + t. Does 21 divide p?
False
Let p(q) = 4*q**3 + 18*q**2 - 19*q - 16. Let d(h) = -3*h**3 - 12*h**2 + 13*h + 11. Let w(g) = 7*d(g) + 5*p(g). Is w(5) even?
True
Let x = -9 - -10. Is 8 + x + (-8 - -7) a multiple of 4?
True
Suppose -g - 5*p - 17 = -0*g, -3*p = 2*g + 13. Let r be (-1)/(10/6 + g). Suppose 0*a = r*a - 33. Does 4 divide a?
False
Suppose -t + 1 + 20 = 5*p, -2*t + 10 = 2*p. Let g(c) = 25*c**2 - c + 1. Is g(t) a multiple of 6?
False
Suppose 0 = -2*f + 6 + 2. Suppose 0*s = -5*u + f*s + 27, s = 5*u - 18. Suppose -x - h = -3*x + 67, 3*x - 99 = u*h. Is 17 a factor of x?
True
Let f = -32 + 158. Is 14 a factor of f?
True
Let b(o) = -34*o**3 - 5*o - 4. Is b(-1) a multiple of 7?
True
Let a(b) = -2*b**2 + 5*b - 3. Let j be a(4). Let f be (29/(-2))/((-2)/4). Let w = f + j. Does 5 divide w?
False
Let j(t) = -5*t - 3. Let p(v) = -11*v - 7. Let o(l) = 5*j(l) - 2*p(l). Let i be o(-2). Is 2 + i/(15/48) a multiple of 18?
True
Let u = 693 + -450. Is u a multiple of 11?
False
Suppose -2*y + 104 = -5*c, 6 = -c + y - 16. Let a = 46 + c. Is 13 a factor of a?
True
Let a(z) = z**3 + 9*z**2 - 11*z - 10. Suppose -1 = -q - 11. Let w be a(q). Suppose r = -w*r + 17. Does 17 divide r?
True
Let d(u) = u**3 - 4*u**2 - 2*u + 6. Let o be d(6). Let c be -4 + 4/(-6)*-3. Is c/(o/(-21) - -3) a multiple of 12?
False
Suppose -5*z + 104 + 451 = 0. Does 26 divide z?
False
Suppose -w + 126 = 2*w. Let z be w - (1 - (4 - 1)). Does 5 divide 1/(-3) + z/6?
False
Let h = 11 + -7. Suppose -h*c + 9 = -3. Is c a multiple of 3?
True
Let x = 15 + -1. Does 10 divide x?
False
Does 3 divide (-4 + (-30)/9)/((-1)/3)?
False
Suppose -101 - 47 = -4*s. Let d = s - 25. Let q = d - 7. Is q a multiple of 4?
False
Suppose 0 + 6 = 3*v. Suppose v*n + 2 = 3*n. Suppose -n*o + 3*u + 84 = 2*o, -5*u - 52 = -3*o. Is 10 a factor of o?
False
Let z = 208 - 68. Is 7 a factor of z?
True
Let c(v) = -v**3 - 4*v**2 + 3. Let x be c(-3). Let k(j) be the third derivative of -j**5/60 - 3*j**4/8 - 4*j**3/3 + 7*j**2. Is 5 a factor of k(x)?
True
Suppose -3*g + 0*g + c = 58, -46 = 3*g + 2*c. Let j = g - -24. Is j a multiple of 6?
True
Suppose -g = 2*g - 90. Let t = g + -6. Is t a multiple of 12?
True
Let z(g) = g + 3. Let n be z(-5). Let v be n*(-1 + (-65)/2). Suppose 5*r = h - 2*h + v, -15 = 5*h. Does 14 divide r?
True
Suppose 0*q = 3*q - 84. Does 14 divide q?
True
Let i(a) be the third derivative of 0 + 3*a**2 + 1/24*a**4 - 5/6*a**3 - 7/60*a**5 + 0*a + 1/120*a**6. Is 2 a factor of i(7)?
True
Let k(l) = -l - 81. Let j be k(0). Let z = j - -121. Does 18 divide z?
False
Let p be (-3)/(-1)*4/6. Let t = 45 - 3. Suppose -t = -5*v + p*v. Is v a multiple of 7?
True
Suppose 0*h + 4*h = 260. Suppose -5*d = -h - 60. Suppose 0 = c - 2*t - d, 4*c = c + 5*t + 71. Is c a multiple of 14?
False
Let a be -7 + 4 + 0 - 1. Is 16 a factor of (-1452)/(-30) + a/10?
True
Let r = 105 + -99. Does 4 divide r?
False
Let g(f) = 4*f**2 + 6*f - 4. Let t be (1/(-3))/(2/(-18)). Let a(l) = -l + 1. Let x(p) = t*a(p) + g(p). Does 15 divide x(3)?
False
Suppose 4*m = s + 572, 0 = -5*m - 3*s + 822 - 90. Let y be 6*(2/(-4))/(-1). Suppose -6*a - 2*i = -a - 173, 4*a + y*i - m = 0. Is a a multiple of 13?
False
Let t = 5 - 4. Let c be 0 + t - (-6)/(-3). Let v = 21 - c. Is 11 a factor of v?
True
Suppose s + 14 = 3*s. Suppose 0 = 5*n - s*n - 12. Is (-4)/n*(-102)/(-2) a multiple of 14?
False
Let a(j) = j**3 - j**2 + 4. Let p be a(0). Is (-267)/(-6) + 2/p a multiple of 10?
False
Let n(b) = -2*b**3 - 8*b**2 - 11*b + 5. Is n(-5) a multiple of 12?
False
Let d(x) = -3*x + 2*x - 3*x. Suppose 2 = 2*l - 3*l. Does 8 divide d(l)?
True
Let z(a) be the second derivative of a**3/2 + a**2/2 + 2*a. Let y be 1 - (0 + (-1 - 0)). Is 7 a factor of z(y)?
True
Suppose 0*z - 3*c - 33 = -2*z, -4*z + 33 = 5*c. Is 3 a factor of z?
True
Let r be (8/(-4))/(-1)*-30. Let b = -20 - r. Is 10 a factor of b?
True
Let v(j) = 7*j**3 + j**2. Let t(d) = -6*d**3 - d**2 - d - 1. Let k(a) = 3*t(a) + 2*v(a). Does 19 divide k(-2)?
False
Suppose 3*r = a - 23, 3*a - 4*r - 73 + 29 = 0. Is a a multiple of 3?
False
Let l(k) = 6*k**2 - k - 4. Is l(2) a multiple of 5?
False
Suppose -2*b = -7*b + 10. Let t = b - -3. Is t a multiple of 5?
True
Let q = 13 - 8. Suppose -12 - 58 = -q*m. Is m a multiple of 9?
False
Suppose 5*m = 4*i + 197, -i - 23 = -3*m + 7*m. Let h = 69 + i. Does 14 divide h?
False
Let o = 1 - 8. Let x(r) = -r**3 - 8*r**2 - 8*r - 5. Let d be x(o). Suppose 151 - 29 = 4*c + 2*v, -d*v + 62 = 2*c. Is c a multiple of 11?
False
Suppose -8 = -4*b, p + p - b = 0. Let d(j) = 122*j**2 + j. Let l be d(p). Suppose -43 - 38 = -4*v + 5*y, 5*v - l = -y. Is 12 a factor of v?
True
Let s(h) = -h - 3. Let z be s(11). Let j(c) = c**3 + 15*c**2 + 12*c - 18. Is 9 a factor of j(z)?
False
Suppose -4*j + 6*i - 65 = i, -3*i + 15 = 0. Let b = 26 - j. Does 13 divide b?
False
Let t be 14/8 + 2/8. Let u = 2 - t. Is u - 3 - -2 - -34 a multiple of 13?
False
Suppose 3*x = -3*g + 114, -4*x + 0*x = 4. Is 10 a factor of g?
False
Suppose 0*v - 3*n = v - 196, 826 = 4*v - 2*n. Suppose 53 - v = -4*g. Is 19 a factor of g?
True
Let w = 13 - 10. Let d be ((-4)/(-10))/((-2)/(-10)). Suppose -x = 2*n - 12, 2*x + w*n - 73 = -d*x. Is 8 a factor of x?
False
Does 16 divide (-305)/(-10) + 2/(-4)?
False
Suppose -4*d + 140 = 4*g, 2*d - 3*g - 77 = 2*g. Does 12 divide d?
True
Let a(g) = g + 0 + 5*g**2 + 2 - 3*g - 5. Is a(3) a multiple of 18?
True
Let b be (1 - 3) + 118 + -4. Suppose 5*i - 3*j = b, 19 + 69 = 5*i + 3*j. Does 10 divide i?
True
Let c(o) = -o**3 + 2*o**2 - 2*o + 1. Let n be c(1). Suppose 0 = -3*a + 7*a + 5*i - 32, -i + 4 = n. Suppose -a*g + 9 + 24 = 0. Is 6 a factor of g?
False
Let j = 10 + 207. Let b = j + -154. Suppose b + 5 = 4*u. Is u a multiple of 17?
True
Let x = 9 - -21. Does 17 divide x?
False
Let d(o) = -o**3 - 4*o**2 - 2*o. Let a be d(-4). Let i(k) = k**2 - 5*k + 2*k - 2*k - 4. Is i(a) a multiple of 12?
False
Let q be (-9)/((0 - 3)/12). Suppose 0*b + 2*b = q. Does 9 divide b?
True
Suppose 3*k - 19 = -2*d, 3*d - 5*k = d - 21. Suppose -19 = 2*o + 5*v, v + d*v = -2*o - 13. Let m(r) = -r**3 + 2*r**2 + 3*r + 3. Is m(o) a multiple of 7?
False
Suppose -5*a - 2*w + 3 + 3 = 0, 4*w - 12 = 0. Suppose a = 2*h - 41