 + 14*a + 8. Does 8 divide q(8)?
True
Let i(v) = v**3 - 3*v + 3. Let k be i(-3). Is 2 a factor of (6/k)/((-3)/30)?
True
Does 20 divide 59 + (-6 - (-21)/3)?
True
Let j = -40 - -58. Does 4 divide j?
False
Let m be 1/2 - 540/24. Let x = m - -73. Is x a multiple of 17?
True
Suppose 0 = -c + 4*g + 22 + 23, -2*g = 2*c - 70. Is c a multiple of 7?
False
Let l(q) = -q**3 + 10*q**2 + 4*q - 7. Is 14 a factor of l(9)?
False
Let v(z) = 6*z**3 + 2*z**2 - 10*z - 2. Let f(m) = 6*m**3 + 3*m**2 - 11*m - 2. Let q(n) = 6*f(n) - 7*v(n). Is q(-2) a multiple of 17?
False
Let k(l) be the second derivative of l**5/10 - l**4/12 - l**3/3 - 3*l**2/2 - 2*l. Does 18 divide k(3)?
True
Let u = -3 - -2. Let c(z) be the second derivative of -5*z**3 - z. Does 15 divide c(u)?
True
Suppose -2*p = 5*v - 23, 2*p + 0 = -3*v + 17. Let f(q) = 10*q - 2. Let n be f(p). Suppose h - n + 8 = 0. Does 14 divide h?
False
Let p(x) = -x**3 - 5*x**2 - 3*x - 9. Let t = 0 - 6. Does 15 divide p(t)?
True
Suppose -2*n + 3*n - 31 = 0. Does 19 divide n?
False
Let g(h) = h - h + 4 - h - 2*h. Does 4 divide g(-6)?
False
Let a = 18 + -26. Does 4 divide a/((-2)/(-4)*-2)?
True
Suppose -4*i + 5*f - 21 = 0, 0*f + 4*f = -2*i - 4. Is 28 a factor of (-15)/(-10) - 414/i?
False
Let o be (-3 - -2)*1*0. Suppose 5*n + 3*l = 130, 0*n + n + 5*l - 26 = o. Is n a multiple of 12?
False
Let p = -22 + 134. Is p a multiple of 14?
True
Suppose 6*g = 3*g + 24. Suppose 0 + g = -2*h. Let v = 3 - h. Is v a multiple of 7?
True
Suppose 5*z = 5*x - 20, x = -z - 4 + 16. Suppose 3*i - i - x = 0. Suppose -5*r + 19 - i = 0. Is 3 a factor of r?
True
Suppose i + 5 = -3*i - t, 1 = -3*i + 2*t. Let j be -4 + 0/1*i. Let s = j - -8. Does 3 divide s?
False
Is 30 a factor of (-4)/12 + 214/3?
False
Let y = -63 + 99. Is 12 a factor of y?
True
Let t(u) = 2*u**2 - 6*u - 11. Let x(o) = 3*o**2 - 9*o - 17. Let d(f) = -8*t(f) + 5*x(f). Let k be d(3). Suppose -3*b + k + 6 = 0. Does 2 divide b?
False
Let s(c) = c**2 + 4*c + 7. Let y(d) = -d**2 + d. Let l(t) = -s(t) - 3*y(t). Let g be l(-6). Suppose 272 = 5*h + g. Does 16 divide h?
False
Let f(x) = 2*x**2 + 24*x + 16. Is f(-12) a multiple of 7?
False
Let u = -14 + 18. Suppose u*b - b - 9 = 0. Does 3 divide b?
True
Suppose 0 = -5*v - 15, 3*z + 6*v + 3 = 3*v. Suppose 4*k - 48 = -z*x, -2*k - 2*k + 2*x + 56 = 0. Suppose w = 2*w - k. Is 6 a factor of w?
False
Suppose 3*u + 6*v - 3*v = 18, -5*v = 3*u - 20. Suppose 2*z = -z - 5*a + 52, -u*z - 5*a = -100. Is z a multiple of 12?
True
Suppose 2*l - 6 = o + 14, 28 = 3*l - 2*o. Let v = l - 7. Does 5 divide v?
True
Suppose -11*m = -8*m - 477. Let i = m - 97. Is 13 a factor of i?
False
Suppose -4*p = -u - 755, -u = -4*u + 15. Is 18 a factor of p?
False
Suppose -4*h = -3*h - 150. Is 25 a factor of h?
True
Suppose -2*j = i - 9 - 9, 2*j + 92 = 4*i. Is 22 a factor of i?
True
Suppose c - 342 = -65. Does 16 divide c?
False
Let t(l) = 17*l**3 + l**2. Let n be t(1). Suppose 0 = -k + 2*x - 7*x + n, x = 3. Let q = k + 20. Is 8 a factor of q?
False
Suppose 20 = -4*q - 0*q + 4*z, -4*q = 2*z + 2. Is (-1 - q) + 2 + 8 a multiple of 11?
True
Let j(c) = 1 + c + 2 - 4 - 3. Let x be j(4). Suppose -2*u - 5*i + 0*i + 39 = x, 3*u - i - 67 = 0. Is 11 a factor of u?
True
Let n(m) = m**2 + 2*m - 48. Does 16 divide n(14)?
True
Let b be 118/(-10) + (-3)/15. Let r be (-11 - 1)/(b/32). Suppose -2*q + 3*s - 16 = -69, 0 = -q - 4*s + r. Does 13 divide q?
False
Suppose -i + 4*f = 6*f - 1, 4*f + 7 = i. Suppose -4*o + 1 = -z - 2, 2*z = -6. Suppose o = i*g - 3*p - 78, -4*p - 9 + 25 = g. Does 12 divide g?
True
Let c(x) = -5*x - 9. Does 7 divide c(-7)?
False
Let p = 18 + -14. Suppose -p*h + 32 = -20. Does 6 divide h?
False
Suppose 0 = a - 5*a - 8. Let s(q) = -4*q**3 - q**2 - q - 1 - 4 + 3. Is 15 a factor of s(a)?
False
Let q = -29 + 20. Let y = 9 + q. Suppose -g + 3*g = y, -5*g = -x + 7. Is x a multiple of 3?
False
Suppose 2*z = -0*z. Suppose z = -4*l + 18 + 6. Is l a multiple of 5?
False
Let s(t) = t**2 - t + 20. Let a be s(0). Let y be 8/4 + 1*a. Let c = y + -6. Does 14 divide c?
False
Let h(n) = n + 6. Does 2 divide h(8)?
True
Let b be -13*(-1 - 0) - -3. Let x = b - -1. Does 5 divide x?
False
Does 22 divide (18 - 2)/((-4)/(-22))?
True
Let k(l) = l**3 + 8*l**2 + 7*l + 4. Suppose -2*g + 2 = 14. Does 17 divide k(g)?
True
Does 26 divide ((-188)/8 + 4)*-8?
True
Let t be 9*(-5)/(15/(-2)). Suppose -t*o = -2*o + 12, 3*p + 5*o = -93. Let x = -15 - p. Does 7 divide x?
False
Let o(z) = -z**3 - 11*z**2 + 13*z + 14. Let j be o(-12). Let s(u) = u**3 + 2*u + 3*u - 3*u**j - 2*u - 2*u + 2. Is 2 a factor of s(3)?
False
Suppose m + r = 6*m - 1235, 4*m - 977 = 3*r. Suppose 83 = j - 5*c, 4*j + 4*c - 3*c - m = 0. Does 16 divide j?
False
Let j(p) = -44*p + 2. Let n be j(-1). Does 6 divide n/(-3)*(-15)/10?
False
Let b be (-28)/(-13) - 16/104. Suppose -2*r + 12 = b*r. Suppose r*z = 34 + 50. Does 11 divide z?
False
Let p(a) = 2*a - 6. Let n(v) = -3*v - 7. Let b be n(-5). Is p(b) a multiple of 10?
True
Suppose -5*v = -2*v - 198. Let h = v - 44. Is 10 a factor of h?
False
Let w(c) be the first derivative of -c**4/4 + 4*c**3/3 - c**2/2 + 5*c + 1. Let z be w(4). Suppose 0 = -m + z, -y = -2*m - 2 - 12. Does 8 divide y?
True
Is 466/9 - 4/(-18) a multiple of 26?
True
Does 13 divide -3 + (1177/22)/(2/4)?
True
Let s = -170 + 94. Let k = -44 - s. Does 16 divide k?
True
Suppose -4 = -3*v - 1. Let f be (v/(-4))/(8/(-64)). Suppose 0 = -f*j + r + 25, 4*j - 5*r - 7 = 46. Is j a multiple of 6?
True
Let y(t) be the second derivative of -t**6/180 + t**4/3 + 2*t. Let n(x) be the third derivative of y(x). Is n(-3) a multiple of 6?
True
Suppose -t - t = -36. Is t a multiple of 17?
False
Let h(s) = s + 6. Let i be h(-8). Let r be (1 + 3/i)*0. Suppose -5*m - 4*a - 4 + 48 = 0, -3*m + 3*a + 48 = r. Does 12 divide m?
True
Suppose 4 = 3*c + 5*t, 0*t = -4*c - 2*t + 24. Suppose -2*a + 2*k = 2, 0*k + 2*k = -a + c. Does 2 divide a?
True
Suppose -5*g + 20 = y, 3*g - 4 = 2*g - y. Suppose g = v + 1. Is 2 a factor of v?
False
Let t be (-2 + 3)/(1/3). Suppose t*x + 2*l = 5*l + 15, -3*l = 3*x + 3. Is 2 a factor of x?
True
Suppose 1 = 2*k + 9, m + 47 = -5*k. Let w be 2 - -1 - m - -3. Suppose j = w + 11. Is 22 a factor of j?
True
Let v(s) = s**2 - 2*s - 1. Let g be v(-2). Let w = 11 - g. Is w a multiple of 2?
True
Let b(i) = -i + 10. Let x be b(7). Suppose -r = 3*r + x*a - 123, -5*r = -5*a - 145. Does 15 divide r?
True
Suppose -v - 3 = 3. Let r be (0/4 - -2) + -11. Let m = v - r. Is m a multiple of 3?
True
Let c(x) = -7*x - 16. Let w be c(-13). Suppose -w = -5*n - 5*k, 4*n - 6*k - 28 = -2*k. Does 8 divide n?
False
Let u(m) = m**3 + 3*m**2 - 2*m + 1. Let q = -15 + 12. Is 4 a factor of u(q)?
False
Let h = 108 - -217. Is 39 a factor of h?
False
Let k = 273 - 143. Is 26 a factor of k?
True
Let s = 629 - 449. Is s a multiple of 20?
True
Let h(a) = a**3 + 4*a**2 - 4*a + 5. Does 15 divide h(5)?
True
Let p be 0*(10/4 + -2). Suppose p = -f + 4*m - 13, -4*f + 5*m - 11 = 8. Does 21 divide 34 - f - (0 - 0)?
False
Let g be (-5)/(-10)*(6 + 0). Suppose 4*a + 2*y + 136 = 6*y, -4*a - g*y - 143 = 0. Let b = -23 - a. Is 6 a factor of b?
True
Let u(l) = l**3 - 4*l**2 - l + 9. Is u(6) a multiple of 14?
False
Let a = -39 - -74. Is a a multiple of 3?
False
Does 8 divide (1 + 94/3)*(35 + -32)?
False
Suppose -4*q - 2*l = -82, 5*l = -4*q + 84 - 11. Suppose -a + q = -v, 0 = -3*a - a - 2*v + 88. Does 15 divide a?
False
Let q = 3 + -3. Suppose m = -q*m - 10. Is (48/m)/(2/(-10)) a multiple of 12?
True
Suppose 0*a - 5*a + 577 = 4*u, 0 = 5*u - 3*a - 675. Does 23 divide u?
True
Let g(l) = -l - 4. Let w be g(-7). Is 14 a factor of (-1 - (-6 + w)) + 40?
True
Let n = -4 - -4. Suppose 3*s = 30 - n. Suppose -p = -0*p - s. Is p a multiple of 3?
False
Suppose 2 = -q, -21 = -i - 3*q - 2*q. Does 25 divide i?
False
Let w(p) = -p**3 + 2*p**2 - 7. Let f be w(5). Does 4 divide 4/(-6) + f/(-6)?
False
Suppose -d + 12 = 2*d. Suppose 5*b = -4*h + 77, -3*h + d*b - 58 = -6*h. Is h a multiple of 18?
True
Let f(d) be the second derivative of d**4/6 + d**3 - 2*d**2 + d. Let r be f(-6). Suppose -9 - 7 = -w + 4*p, -p = -2*w + r. Does 8 divide w?
True
Let r be (9/(-15) - -1)*5. Let b be (-1)/(-6)*r*6. Suppose 2*j - f = 22, -j - 2*f + 4 = -b. Is 4 a factor of j?
False
Suppose 3*k + 0*k - 12 = 0. Suppose -k*y + 30 = -y. Is