y) be the second derivative of y**4/12 - y**3/2 - y**2 + 2*y. Is 4 a factor of v(5)?
True
Let u(p) = -4*p - 9. Let d(w) = -8*w - 18. Let r(y) = -2*d(y) + 5*u(y). Is 7 a factor of r(-8)?
False
Let b be 4/14 + (-66)/(-14). Let m = b - 4. Does 5 divide 36/(-3)*m/(-2)?
False
Let i(c) = -6*c. Let f be i(-3). Let n = 10 - 19. Let r = n + f. Is 9 a factor of r?
True
Let s(g) = g**2 - 3*g - 1. Let k be s(4). Suppose 0 = k*q - 53 + 17. Does 12 divide q?
True
Let a be -652 + 2*(-3)/(-6). Does 18 divide (-4)/24 + a/(-18)?
True
Suppose 0 = 3*c - 3*j - 138, -2*c = -5*c + 4*j + 142. Is 14 a factor of c?
True
Let l(g) = g**3 - 5*g**2 + 3*g + 6. Is l(4) even?
True
Let b = 154 + -90. Is b a multiple of 5?
False
Is 18 a factor of (-6)/(-18) + ((-1288)/6)/(-4)?
True
Let k be (5 + -4)/(2/(-2)). Is 16 a factor of -2 + 5 + k + 38?
False
Does 18 divide -12*(-4)/(16/18)?
True
Suppose -3*d + 4*r - 3*r = -110, -5*r - 25 = 0. Is d a multiple of 12?
False
Let q be (1/3)/((-2)/(-36)). Let l(o) = 7*o + 2. Is l(q) a multiple of 22?
True
Let h = 5 + 7. Is 4 a factor of h?
True
Let k(n) = -n**3 + 10*n**2 - 5*n + 11. Is k(9) a multiple of 19?
False
Does 12 divide 157 - (1 + -5 + 3)*1?
False
Let o(w) be the second derivative of -29*w**3/6 - w**2/2 + w. Let u(n) = 3*n + 17. Let y be u(-6). Does 14 divide o(y)?
True
Let k(w) = -w**2 - 3*w - 2. Let h be k(-2). Suppose 3*o + 30 - 87 = h. Suppose -3*u - s + 4 = -2*u, 5*u - o = -4*s. Does 3 divide u?
True
Let v = -64 - -128. Let o = v - 3. Let w = o + -37. Is 12 a factor of w?
True
Suppose -1 + 157 = 3*r. Is 13 a factor of r?
True
Suppose -5*o + 0*o = -25. Let r = o - 2. Is r a multiple of 3?
True
Suppose 0*s = -5*p + 4*s + 483, -p + 5*s = -105. Suppose 3*d + 4*a = -0*a + 97, 3*d - p = -2*a. Is d a multiple of 31?
True
Let i = 313 - 222. Let h = i + -55. Is 9 a factor of h?
True
Let w(j) = j**3 - 13*j**2 + 6*j - 13. Does 22 divide w(13)?
False
Let z(q) = -76*q - 1. Let a be z(-1). Let d be 88/(-2) - (0 + -2). Let k = d + a. Is 11 a factor of k?
True
Suppose -i - 2*q + 65 = 0, q - 126 = -2*i - 2*q. Is 19 a factor of i?
True
Let s = 10 - 8. Suppose w = -k + 5, -s - 4 = 3*w. Is k a multiple of 2?
False
Let a be (0 + (-4 - 173))/(-1). Suppose -a + 30 = -3*z. Is 10 a factor of z?
False
Let v(z) = -z**2 + 223. Is v(0) a multiple of 47?
False
Let f(i) = i**3 - 6*i**2 + 4*i + 6. Suppose 2*s - 7 = 2*j - 25, j - 5*s - 21 = 0. Is 8 a factor of f(j)?
False
Suppose 99 = 5*g - 201. Is g a multiple of 30?
True
Let b(g) = g**2 + 6*g + 1. Suppose 4*n + n = 35. Is b(n) a multiple of 27?
False
Let m(w) be the first derivative of w**3 + w**2 + 6*w - 4. Does 13 divide m(-4)?
False
Suppose y + 4*y + 5 = 0. Let l = y + -39. Let d = -14 - l. Is 13 a factor of d?
True
Let a(v) = v**2 - 9*v + 2. Let p(z) = -z**2 + 10*z - 2. Let s(g) = 4*a(g) + 5*p(g). Does 7 divide s(11)?
False
Let g be (-2)/(-5) + (-48)/(-5). Suppose -n - 3*y = 20, 2*y + 3*y + g = -n. Let z = 61 + n. Is z a multiple of 13?
True
Let j(t) = -t**3 + 4*t**2 - 2. Let i be j(3). Suppose -c + 4*n + 11 = -4*c, c = -2*n - i. Is 2 a factor of c?
False
Let j(i) = -i**3 - i**2 + 2*i + 1. Is 8 a factor of j(-4)?
False
Let p(y) = y**3 + 2*y**2 + y + 3. Let x be p(-3). Suppose 1 = 2*f + 13. Let u = f - x. Is 2 a factor of u?
False
Let f = -22 - -28. Suppose 16 = 2*d - f. Is 3 a factor of d?
False
Suppose -2*g + 4*g - 202 = -4*n, 2*n = -4*g + 98. Does 17 divide n?
True
Let l = -18 + 69. Let g = l - 16. Let s = 59 - g. Does 16 divide s?
False
Let j = 45 - 31. Is 7 a factor of j?
True
Suppose u - 12 = -2*u. Suppose -4*n + 9 + 7 = 0, 5*f = u*n + 9. Suppose -11 - 9 = -f*j - 5*i, 0 = -5*i. Is 4 a factor of j?
True
Let i be (4/(-3) - -2)*-3. Let v be (1*-6)/(i/(-7)). Let l = v - -45. Is l a multiple of 12?
True
Let n = -15 - -21. Suppose 0 = -y + n + 10. Does 8 divide y?
True
Suppose -3*f + 4 = 10, 2*b + 4*f - 208 = 0. Is b a multiple of 36?
True
Suppose 4*s + 130 = -2*i, -31 = -5*s - i - 186. Let y be (-27)/6 - (-6)/12. Is ((-6)/y)/(s/(-200)) a multiple of 5?
True
Let f be (-224)/36 - 2/(-9). Is f/(16/6 + -3) a multiple of 18?
True
Suppose 4*p + 0*p = 0. Suppose -3*k + k + 10 = p. Suppose 0 = -s + 2*d + 8, k*d = 2*s - 2 - 10. Is s a multiple of 5?
False
Suppose 2*g - 187 + 79 = 0. Suppose 0 = 4*c - z - g - 150, 3*z + 102 = 2*c. Suppose 6*i - c = 3*i. Is 7 a factor of i?
False
Suppose 2*q = 8 + 78. Does 15 divide q?
False
Suppose -4*t + 4 = -i + 3*i, i - 2 = 5*t. Suppose t = -2*l - 4 - 34. Let u = l + 44. Does 17 divide u?
False
Let j(q) = 4*q - 3*q - 2*q. Let a be j(-2). Suppose -210 = -a*r - 3*r. Is 21 a factor of r?
True
Suppose -b = -21 - 14. Does 7 divide b?
True
Suppose -4*f = j - 13, -2*f + 3*j = 2 + 9. Let c(w) = 8*w**2 - w + 2. Does 16 divide c(f)?
True
Let u(s) = 2*s**2 + s + 4. Is 18 a factor of u(3)?
False
Let g = 289 + -190. Is g a multiple of 20?
False
Suppose 5*t - t = -b - 8, -5*b = -3*t - 52. Suppose 0 = -3*h + 4*h - b. Is 4 a factor of h?
True
Let k be 9/(-2)*12/(-18). Suppose s - k*s = -92. Is s a multiple of 23?
True
Let q be 2 - -3*1 - 2. Is 3 a factor of 1 + q + (1 - -1)?
True
Let f(s) = -6*s + 6. Is f(-7) a multiple of 24?
True
Suppose 0*b = -5*b + 45. Let a = b - -19. Let h = a + -19. Does 9 divide h?
True
Let k(y) = -5*y**3 - y**2 + y + 1. Let q be k(-2). Let m be (4/14)/(5/q). Suppose -21 - 15 = -m*s. Is 18 a factor of s?
True
Let t be ((-1)/(-2))/((-2)/64). Let m be t/12*(-6)/1. Suppose 0 = 3*v + 2*q - 55, -4*q + 0 = -m. Is v a multiple of 12?
False
Let r(v) = -v**2 + 24. Let g = -11 + 11. Is r(g) a multiple of 24?
True
Let w(d) = -8*d - 4. Let t(f) = -1. Let a(o) = 5*t(o) + w(o). Is a(-6) a multiple of 13?
True
Suppose 0 = -2*p + 2 + 8. Suppose 0 = -p*f - 11 + 51. Let l = f - -4. Is l a multiple of 9?
False
Let d(v) = -v**2 + 2*v + 2. Let g be d(3). Let u be g*(0 - (-1 + 72)). Let i = u + -39. Is i a multiple of 20?
False
Let z be 3*(2/(-3))/(-1). Suppose z*v - 30 = y + y, -2*y = -3*v + 48. Is v a multiple of 6?
True
Let a = -189 - -245. Does 8 divide a?
True
Let x = 8 + -16. Let n = 11 + x. Is n a multiple of 3?
True
Let h(u) = 7 + 0 + 8*u - 12*u. Let d be h(-5). Is d/(-12)*-1*20 a multiple of 16?
False
Suppose 0 = -2*w + 7*w - 90. Let g be 80/12 + (-2)/3. Suppose -2*r + w - g = 0. Is r a multiple of 3?
True
Let t(u) = 2*u**2 - 3*u - 4. Let r be t(3). Let h(y) = -y**3 + 4*y**2 + 8*y - 7. Does 8 divide h(r)?
True
Let y = 12 + 3. Is 3 a factor of y?
True
Let q be -2*(-3 + 6 - 4). Suppose l - p + 3 = q, 0 = -2*l + 5*p - 8. Is l - (-10 + -1)*1 a multiple of 7?
False
Let r = 7 + -6. Let c be (-10 + -1)/(r/(-4)). Suppose c = 3*q - 61. Is q a multiple of 17?
False
Is 8 a factor of (3/6)/(3/168)?
False
Suppose 2*g - 81 = 45. Let r = -1 - -16. Let x = g - r. Is 16 a factor of x?
True
Let i = -46 - -145. Is 12 a factor of i?
False
Let l = -6 - -4. Let p = -8 + l. Is 11 a factor of ((-55)/p)/((-2)/(-12))?
True
Let r be (-4)/(-20) + (-243)/15. Let z = r - -21. Does 5 divide z?
True
Let f be (-2)/(-1) - (-2 + 0). Suppose -314 = 5*i - f*t, -59 - 81 = 2*i + 2*t. Let r = -46 - i. Is 20 a factor of r?
True
Suppose 2*k + 23 = -2*l + 7*l, -5*k = -4*l + 32. Let w(x) = 8*x - 3. Let b be w(k). Let z = -1 - b. Is z a multiple of 17?
True
Let x = 111 - 11. Does 20 divide x?
True
Suppose -3*v + 6*v - 39 = 0. Does 4 divide v?
False
Suppose 4*z - g = 23, 4*z = 4*g - g + 13. Is 2 a factor of z?
False
Suppose 2*p + 0*p = -10, 4*p = -2*h - 14. Suppose -h*s = -2 - 28. Does 10 divide s?
True
Suppose 4*c - 35 = -2*t - 3*t, -5*t = -2*c - 5. Let s be (c - (-2)/(-1)) + 0. Is 3 a factor of 14/s - (-10)/(-15)?
False
Let t(x) = 3 + 3*x + 3*x + 0*x - x**3. Let c be t(-4). Suppose -3*d - 2*l = -90, -3*l - 2*l = d - c. Is 14 a factor of d?
True
Does 15 divide -9 + 4 + 4 - -78?
False
Let f = -7 - -17. Does 2 divide f?
True
Let y be -1 - (-3)/(-3) - -6. Suppose -2*d + 4*u = -d - 14, -y*d + u = -71. Does 9 divide d?
True
Suppose 4 = -4*r + 5*r. Does 4 divide r?
True
Suppose -4*t + 164 = 5*g, 1 + 3 = 4*t. Is g a multiple of 11?
False
Suppose -6*w = -w. Suppose w = -m - 3*m + 88. Is m a multiple of 11?
True
Let c be 2 + -1*1 - -1. Suppose 20 = u + 4*u. Let n = u + c. Does 3 divide n?
True
Let s = 369 - 249. Does 20 divide s?
True
Let i(k) be the first derivative of 2 + 8/3*k**3 - 4*k - 1/4*k**4 - 5/2*k**2. Is i(7) a multiple 