oes 19 divide g?
False
Suppose 0 = -4*a + 3*d + 15, 4*a + 0*a - 8 = -4*d. Let g(p) = -4*p**3 - p. Let z be g(-1). Is 6 a factor of (a/z)/((-8)/(-240))?
True
Suppose -2*z = -3*z + 36. Suppose -4*x = -5*b + z, 2*x - 7*b = -2*b - 28. Does 3 divide -1*(-6)/(-3 - x)?
True
Let u(k) = -5*k**3 + k**2 + 2*k. Let z(h) = -h**3 + h**2 + 1. Let g(d) = -u(d) + 6*z(d). Let q = -4 + 8. Is g(q) a multiple of 4?
False
Suppose -2*j - 10 = 0, -4*m = 4*j + 4 + 12. Is (-28)/(-1) - (m - 3) a multiple of 10?
True
Suppose 4*m = -8 + 24. Suppose 0 = m*d - 5*l - 410, -4*l + 26 = d - 87. Is d a multiple of 21?
True
Let d be (4/4)/((-2)/14). Let w be -4 - (1 + -2) - d. Suppose -3*a + 18 = 2*l, w + 7 = l + 2*a. Is l a multiple of 2?
False
Let k(s) = -s**3 + 25*s**2 + 30*s + 68. Is 43 a factor of k(26)?
True
Let b(p) = p + 6. Let m be b(4). Suppose -846 = -m*o + 64. Does 17 divide o?
False
Suppose 0 = -x - x - 40. Does 28 divide (24/x)/(3/(-140))?
True
Suppose 3*c - 231 = 3*f, 4*f - 9*f = -10. Suppose -8*z = -1 - c. Is z a multiple of 2?
True
Let a = 46 + -32. Suppose 5*o - a = 2*i, 4*o - 7 = -0*i + 3*i. Does 11 divide o/(-3) + (-372)/(-9)?
False
Suppose 23 = 2*d + 93. Let a = 12 - d. Is a a multiple of 6?
False
Suppose l - 5*l - 2044 = -3*w, w + 4*l - 708 = 0. Does 15 divide w?
False
Let l(p) = p**2 + 45*p + 38. Does 14 divide l(-52)?
False
Suppose -3*z - 308 = t - 5*t, 12 = -3*t. Let u = -74 - z. Suppose -4 = -w + u. Is w a multiple of 19?
True
Let k = -148 + 238. Suppose 54 = 2*g - 2*s, -5*g - 4*s + 0*s = -k. Is 5 a factor of g?
False
Let k(c) = -c + 1. Let x(q) = 30*q**2 - q + 6. Let v(z) = -4*k(z) + x(z). Does 14 divide v(-1)?
False
Suppose 3*v = 67 - 43. Is (v + -7)*358/2 a multiple of 29?
False
Let s be (-5)/(15/(-27)) + -5. Suppose 0 = -s*k + 7*k - 807. Is k a multiple of 29?
False
Let i(y) = -y**2 - 72*y - 26. Is i(-41) a multiple of 19?
False
Let k(o) = -2*o**3 - 4*o**2 + 7*o + 18. Is k(-4) a multiple of 9?
True
Suppose -r + 5*f = -10, -17 - 5 = r + 3*f. Let i = r - -16. Suppose -u + i = u. Is u even?
False
Let z = -50 + 37. Let y(q) = q**3 + 12*q**2 - 16*q + 6. Does 9 divide y(z)?
True
Let w(o) = -o**2 + 14*o + 52. Let y be w(16). Let x = 95 - y. Is x a multiple of 3?
True
Let f(y) = -y**3 - y**2 - y - 3. Let k be f(-2). Suppose n - 160 = -k*n. Is n a multiple of 8?
True
Let u = 86 - 89. Is 14 a factor of 252/(-15)*10/u?
True
Let k = -10 + 14. Let z(j) = -7*j + 2*j - 4*j + k*j**2 - 5 + 4*j. Is z(-4) a multiple of 14?
False
Let t(z) = 2*z**3 + 2*z**2 + 3*z - 28. Is t(8) a multiple of 21?
False
Let n = -10 + 2. Is -2 + -2 - -3 - n a multiple of 5?
False
Suppose 4*f = -2*x + 5716, f = 4*f + x - 4288. Is f a multiple of 14?
False
Suppose -5*z - 4*l = -9, 4*l + 2 + 39 = 5*z. Suppose z*a - 673 = -23. Does 25 divide a?
False
Does 11 divide (8/5)/(54/19305)?
True
Suppose -2*v + 12 = 2*v. Suppose -3*w - 17 = v*y - 4*w, 2*y = 4*w + 2. Let a(h) = -h**3 - 7*h**2 - 5*h + 7. Does 11 divide a(y)?
False
Suppose -1172 = 228*c - 232*c. Does 5 divide c?
False
Let x(g) be the first derivative of g**2/2 + 8*g + 4. Let h be (-2*1)/(3/(-12)). Does 4 divide x(h)?
True
Suppose 1150 = 6*q - 146. Is 40 a factor of q?
False
Suppose -4*q + 3*q - 2*h = -616, 0 = -3*q - 3*h + 1836. Does 73 divide q?
False
Does 33 divide ((-5778)/(-45))/((-4)/(-10))?
False
Suppose 26 = 2*s + 2. Let k(w) = w**3 - 11*w**2 - 9*w + 5. Let y be k(s). Suppose -4*i = -95 - y. Is 12 a factor of i?
False
Let h be (2/6)/((-2)/6). Let k = -502 - -504. Is h + 4 - k - -44 a multiple of 5?
True
Does 19 divide ((722/6)/1)/(19/399)?
True
Suppose -76*l + 79*l = 618. Is l a multiple of 26?
False
Let d(n) = -n**3 - 2*n**2 + 4*n + 343. Is d(0) a multiple of 10?
False
Suppose 1 - 5 = 2*r. Let k(f) be the second derivative of -f**3/2 - 8*f. Does 2 divide k(r)?
True
Let q(w) = 10*w + 32. Let c be 13/((-91)/(-120)) - 1/7. Does 15 divide q(c)?
False
Let i = -238 + 1057. Does 28 divide i?
False
Let i be (-6)/(-2) - (6 + -3). Suppose 4*r - 610 - 490 = i. Is r a multiple of 41?
False
Let z be (-6)/1*8/(-12). Suppose -z*m = -95 - 13. Is 13 a factor of m?
False
Let g(z) = z**3 - 3*z**2 + 11*z + 1. Is 53 a factor of g(5)?
True
Suppose 3*b - 8 + 1 = s, 0 = -3*b + 4*s + 10. Let f(h) = 10*h + 4. Is 12 a factor of f(b)?
True
Let t(n) = 6*n**3 - n**2 + n - 1. Let p be t(1). Suppose 15 = z + p*f, z - 5*f + 15 = -0. Suppose l + 3*l + g = 100, l + 4*g - 40 = z. Is l a multiple of 8?
True
Let i(g) = -g**3 - 18*g**2 + 19*g + 13. Let b be i(-19). Suppose -3*h + 182 = -b. Is 13 a factor of h?
True
Let n be (-4 - 16/(-2))*-1. Does 9 divide (-5 - 19)*6/n?
True
Suppose 9*w + 4*w - 6786 = 0. Is 29 a factor of w?
True
Let d be -2 + 77 + -1 - 1. Let z be -2 - (5 + (1 - -24)). Let g = z + d. Does 12 divide g?
False
Is 33789/70*2 - 2/5 a multiple of 22?
False
Let h(n) = 193*n + 2. Let a be h(1). Suppose 0 = 3*y + 2*y - a. Is y a multiple of 13?
True
Let z be (32/20)/((-2)/(-15)). Suppose -k = 9 - z. Suppose 0 = k*h - 2*h - 9. Does 9 divide h?
True
Let a = 78 + -71. Let f(x) = -x**3 + 10*x**2 - 10*x + 10. Does 29 divide f(a)?
True
Is (246/4 - -1)/((-71)/(-4260)) a multiple of 75?
True
Let m be (-2)/(-10) + (-588)/15. Let i = -8 - m. Does 3 divide i?
False
Let u be 1273/95 + (-4)/10. Suppose -2*f + 244 = s, -u*f = -9*f + 4. Does 41 divide s?
True
Let v(d) = d**3 - 2*d**2 + d + 1. Let z be v(2). Suppose -4*m + 2*c = -c - 1, -7 = -m + z*c. Is 12 a factor of (1 - -75)*m/(-4)?
False
Let a = -61 - -66. Let r(s) = s**2 + 5*s - 6. Let m be r(-6). Suppose -a*h + 5 = -5*b, h = -m*h - 4*b + 26. Does 2 divide h?
True
Let l(x) = x**2 + 6*x + 10. Let k be l(-4). Suppose k*z - 420 = -z. Suppose 6*y - z = 106. Is 20 a factor of y?
False
Does 15 divide -160*(30/(-3) - -7)?
True
Suppose -2*d + 5*d = -6786. Is d/(-27) - 12/(-54) a multiple of 7?
True
Let c(v) = 9*v**3 + 30*v**2 + 3*v - 5. Let j(u) = -5*u**3 - 15*u**2 - u + 3. Let r(x) = -4*c(x) - 7*j(x). Is r(-15) a multiple of 37?
True
Let n(p) = 107*p**2 + 21*p + 42. Is 4 a factor of n(-2)?
True
Let x(f) = 2*f**3 + 18*f**2 + 27*f - 16. Let a(b) = -b**3 - 9*b**2 - 13*b + 8. Let g(l) = -13*a(l) - 6*x(l). Let k be g(-8). Does 8 divide 17 - (-3 - -5) - k?
False
Let s(g) = 4*g**3 + 2*g**2 - 4*g + 4. Is 59 a factor of s(3)?
True
Suppose -6*r + 4*r = t - 207, r - 117 = -5*t. Let n = r - 68. Let b = -17 + n. Is b a multiple of 13?
False
Let p(x) = -x**2 + 33. Let u be p(0). Let l = 1310 - 1329. Let o = l + u. Does 2 divide o?
True
Let x(f) = f**2 - 15*f + 37. Let j be x(11). Let t(g) = g**3 + 8*g**2 + g. Is t(j) a multiple of 6?
True
Let o = 395 - 72. Is 17 a factor of o?
True
Let a be (-4)/22 + (-264)/(-121). Suppose 2*p = 4*w + 42, -w - 105 = -a*p - 3*p. Does 4 divide p?
False
Suppose 11*h = -5*h - 448. Suppose -52 = -2*n + n. Let d = h + n. Does 12 divide d?
True
Let f be (-10 + 3)*14/1. Let o = f + 196. Is 49 a factor of o?
True
Suppose -2*a - 3*a = -5*j - 1060, 0 = 2*a - 3*j - 429. Does 2 divide a?
False
Let b = -17 + 29. Let x(a) = a**3 - 11*a**2 - 10*a - 12. Does 4 divide x(b)?
True
Let f(h) be the third derivative of h**6/120 + h**4/24 - h**3/3 - 5*h**2. Let w(n) be the first derivative of f(n). Does 20 divide w(3)?
False
Suppose -150 = 2*z - 1746. Is z a multiple of 42?
True
Let n(o) = o**3 - o**2 - 9*o - 2 - 3 - 7*o**2 + o. Does 23 divide n(10)?
True
Let s(h) = h**2 + 24*h + 15. Does 26 divide s(9)?
True
Suppose -2*s = r - 25, 5*s = 5*r - 80 - 15. Suppose 22*b - 91 = r*b. Is b a multiple of 13?
True
Let u(l) = 8 - l + 24 - 11 + 6*l. Is u(0) a multiple of 8?
False
Let s(g) = g**2 - 7*g - 6. Let q be s(13). Suppose -5*z - q = -9*z. Is 18 a factor of z?
True
Suppose 6*u + 12008 = 85*u. Does 19 divide u?
True
Let k(j) = -j**3 + 7*j**2 - 6*j + 3. Let p be k(4). Let b = 49 - p. Is b a multiple of 3?
False
Let v(c) = 4*c**2 - c - 1. Let s be v(-1). Suppose -4*i + k = -k - 704, 3*k - 704 = -s*i. Is i a multiple of 11?
True
Is (-2 + 0 - 1) + 478 a multiple of 22?
False
Let v(g) = 8*g + 4. Let q be -2*-2*35/(-20). Let r be v(q). Let a = r + 118. Is a a multiple of 8?
False
Suppose 0 = -x + 3*g - 5, 3*g - 2*g = -2*x + 11. Is x - -19 - (-4)/1 a multiple of 3?
True
Let p(t) = -3*t - 19. Does 6 divide p(-9)?
False
Is 38/6*9*2 a multiple of 11?
False
Let r be (2 + -2)/(-1) + (-20)/(-10). Let n(i) = 65*i + 13. Is 13 a factor of n(r)?
Tru