hird derivative of 0 + 4*g**3 + 1/24*g**4 + 0*g + g**2. Does 12 divide a(0)?
True
Let v = 16 - 23. Let t = v - -11. Is 2 a factor of t?
True
Let k = 99 - -68. Suppose -73 - k = -5*u. Is 16 a factor of u?
True
Let j = 4 - -16. Is j a multiple of 9?
False
Suppose 0 = 2*q + 3*q + 485. Let c = q + 65. Let p = c + 51. Does 10 divide p?
False
Let u(g) be the third derivative of g**6/120 + g**4/8 - g**3/3 + g**2. Let f(q) = -q**2 + 6*q - 3. Let m be f(5). Is 5 a factor of u(m)?
False
Let x be 3/(-12)*(-9)/3*-4. Let s = 30 + -17. Let y = s + x. Is 7 a factor of y?
False
Let y = -117 + 194. Let d = y + -35. Is d a multiple of 21?
True
Suppose 97*r + 168 = 99*r. Does 12 divide r?
True
Let v be (0/1)/3 + 13. Is v/2 - 21/14 a multiple of 2?
False
Let o = -3 - -8. Suppose o*x = 2*x + 66. Does 10 divide x?
False
Suppose 4*o = 5*d + 79 + 207, 4*d = -5*o - 237. Let v = 106 + d. Does 16 divide v?
True
Suppose -16 = -4*y, -5*y + 6 + 11 = -z. Is (-3)/(z/2) + 15 a multiple of 13?
True
Let d = -17 + 19. Let m(h) = -39*h**3 - 39*h**2 + 12*h - 66. Let f(s) = 3*s**3 + 3*s**2 - s + 5. Let u(x) = 27*f(x) + 2*m(x). Is 12 a factor of u(d)?
False
Let r = -5 - -8. Let g = r - 0. Suppose 4*f - 39 + g = 0. Does 4 divide f?
False
Suppose -5*l = -3*l - 10. Let y(a) = -a**3 + 6*a**2 + a + 6. Is 18 a factor of y(l)?
True
Suppose -2*m - 80 = -3*p + p, 2*m = 6. Is (1 - p)*(-2)/6 a multiple of 3?
False
Let m be 8*2*3/(-4). Is 1/(-6) - 122/m a multiple of 9?
False
Is (1 + (-15)/6)/((-3)/70) a multiple of 22?
False
Let d(a) = 2*a + 14. Let r be d(-6). Let f(k) = 10*k**3 + k + 2. Is f(r) a multiple of 17?
False
Let a(w) be the third derivative of w**4/8 + w**3/2 - w**2. Let y be a(-2). Is 5 a factor of 21/((y/(-2))/1)?
False
Let u = -50 + 69. Does 4 divide u?
False
Let y be 2/(-4)*0/2. Suppose 4*r + 16 = w, 2*w - 48 = -w + 4*r. Suppose 4*i - 23 = 3*x + 41, i - x - w = y. Is i a multiple of 13?
False
Let r = 4 + -2. Suppose -r*d - d = -18. Is 6 a factor of d?
True
Let g(r) = 13*r + 2. Is 7 a factor of g(2)?
True
Suppose 0 = b - 2*b + 3*o + 1, -4*b - 35 = o. Let q = b - -15. Is q even?
False
Let f = -6 - -10. Is 4 a factor of f?
True
Let r = -68 + 99. Is r a multiple of 31?
True
Let k(p) = -64*p + 7. Does 44 divide k(-4)?
False
Suppose -f - 5 = -1. Let s(m) = -m**2 - m + 1. Let g be s(0). Is (-105)/(-4) + g/f a multiple of 13?
True
Let g(j) = j**3 - 4*j**2 + 3*j - 5. Suppose -6 = -4*r + 2*k, 0 = 2*r - 2*k - k + 7. Is g(r) a multiple of 7?
True
Is 18 a factor of (-2)/(36/(-78))*18?
False
Let t be -1 + 3/(-3) + 113. Let j = -67 + t. Is j a multiple of 22?
True
Suppose r - 3*r + 56 = 4*g, 4 = 4*g. Is r a multiple of 13?
True
Suppose w + 4*w + 20 = 0. Let z = 3 - w. Is 3 a factor of z?
False
Let w = -41 - -49. Does 4 divide w?
True
Is -1 + 2 + 38 + 0 a multiple of 12?
False
Suppose -3*d = -6*d - 3*a - 3, 8 = -2*a. Suppose -5*o + 17 + d = 0. Suppose h - b - 7 = -5*b, -39 = -h + o*b. Does 8 divide h?
False
Let k(l) = -l - 1 + l + 5*l. Suppose 0 = 5*x - 10 - 5. Is k(x) a multiple of 14?
True
Suppose -785 = -2*g + 3*v, 7*v + 15 = 2*v. Is g a multiple of 26?
False
Let c = 41 - 29. Let y be 6/c + 3/(-2). Is y/(-1)*(57 + -2) a multiple of 18?
False
Let h(g) = -g + 17. Let u be h(15). Suppose -3*l + 198 = 3*q, 0*l - 2*q - 140 = -u*l. Is 20 a factor of l?
False
Let d = -27 - -49. Does 7 divide d?
False
Let p = -4 + 8. Suppose 4*g + 5*y = 295, p*g - y - 4*y - 305 = 0. Suppose 7*s = 2*s + g. Is 15 a factor of s?
True
Let z = 538 - 366. Is z a multiple of 43?
True
Let m(d) = -d**3 + 8*d**2 - 8*d + 7. Let k be m(7). Suppose k = -5*j + 2*j + 585. Suppose -5*c + 0*g + j = 2*g, -106 = -3*c + g. Does 17 divide c?
False
Suppose -2*a - 20 = -7*a. Let o(i) = 4*i**2 - 2*i - 4. Is o(a) a multiple of 11?
False
Let t = -94 + 166. Is 10 a factor of t?
False
Suppose 2*j = 6*j - d - 146, -3*j - d = -106. Is j a multiple of 21?
False
Suppose 0 = -q + 106 + 4. Is q a multiple of 9?
False
Let u(b) = -b**3 - b**2 + 6*b - 4. Let p be u(-5). Is 8 a factor of p/8 - (-2)/(-8)?
True
Suppose 5*v + 56 = 3*v. Let x = v + 62. Is 17 a factor of x?
True
Let f be (-4 + 3)*(-2)/1. Suppose 2*x + f = 10. Is 19 a factor of 192/x - -2*1?
False
Suppose -114 = -7*z + 68. Does 10 divide z?
False
Let b(s) = -s**2 + 7*s - 2. Suppose 4*z - 4*a = 60, a + 2 = -1. Let c = z - 6. Is 4 a factor of b(c)?
True
Let b be 33/1 + -3*1. Suppose l - b = -0*l. Does 10 divide l?
True
Let u(g) = -g - 24. Let c be u(-12). Let o = 45 + c. Is 11 a factor of o?
True
Suppose -w = 4*w - 10. Let x = w - -2. Let f(d) = d**3 - 5*d**2 + 4*d + 4. Is f(x) a multiple of 4?
True
Let u(v) = 4*v**2 - 5*v - 21. Is u(-6) a multiple of 19?
False
Let o be (3 - (-12)/(-4))/1. Suppose 0*v + 2*v - 62 = o. Does 13 divide v?
False
Let i(r) = -r**2 + 19*r + 45. Does 21 divide i(15)?
True
Suppose -f + 2*f - 4*t = -76, 0 = 5*f - 2*t + 344. Does 19 divide (-1)/1 + 0 - f?
False
Suppose -f - 3 = -0. Let r(d) = -5*d - 2. Let l(z) = -z + 1. Let p(w) = f*l(w) + r(w). Does 15 divide p(-12)?
False
Suppose -4*k + 325 = -51. Is k a multiple of 18?
False
Let n(y) be the first derivative of y**6/120 + y**5/10 - 3*y**4/8 - y**3/2 + 2*y**2 - 2. Let w(t) be the second derivative of n(t). Is 18 a factor of w(-6)?
False
Let b = -22 - -247. Suppose -2*v = 3*v - b. Does 8 divide v?
False
Let c = 0 - 18. Let s = -7 - c. Does 11 divide s?
True
Suppose 4*x = 3*s + 97 + 209, 65 = x + 5*s. Is x a multiple of 25?
True
Let f(g) = 5*g**2 + 5*g - 1. Let j(q) = q**2. Let k(l) = f(l) - 6*j(l). Let x be k(2). Suppose 3*w + 82 = -0*s + 5*s, -74 = -x*s + w. Does 10 divide s?
False
Let l(b) = -98*b**3 - b**2 + b + 1. Let s be l(-1). Let d = -59 + s. Is d a multiple of 14?
False
Let c = 7 - 9. Let z = c - -7. Does 16 divide (-72)/((30/(-4))/z)?
True
Let f(p) = -8*p - 2. Let o be f(-1). Does 18 divide 120/(-5)*o/(-4)?
True
Suppose 3*s + 0 - 6 = 0. Is s a multiple of 2?
True
Let m be 2 - (-3 + 1 + 1). Suppose 6*f - 3*f = -m*l + 30, f - 5*l - 4 = 0. Is f a multiple of 7?
False
Let g be 14/(-2) - (0 + 1). Let h = 21 + g. Let j = 19 - h. Does 3 divide j?
True
Let d = -8 + 19. Is 2 a factor of d?
False
Let c = -3 + 5. Suppose 2*m + i + 28 = -i, c*i + 48 = -4*m. Is 8 a factor of (-4)/10 - 134/m?
False
Suppose -4*d - 4*y - y + 129 = 0, 2*d = 2*y + 78. Is 9 a factor of d?
True
Suppose 5*v - 2*n - 67 = 0, -51 = v - 5*v - n. Is 3 a factor of v?
False
Let f(i) = -i**3 - 15*i**2 - 15*i + 13. Is 13 a factor of f(-14)?
False
Let b(n) = 2*n**2 - n - 13. Let y be b(-11). Suppose y = o + 4*o. Is 16 a factor of o?
True
Let g(n) = n + 5. Let v be g(-5). Suppose 9 = 2*x - 3*x. Let z = v - x. Is 5 a factor of z?
False
Suppose 0*j = j - 10. Is j a multiple of 4?
False
Let d(m) = 79*m**2 + 1. Does 52 divide d(-1)?
False
Let o(x) = x - 9. Let q be o(9). Does 7 divide 18 - (q/(-2) - 0)?
False
Let j = -3 - -3. Let u be 3 + j - (0 - 1). Suppose 0 = -o + u*o + 12, 4*c = o + 100. Is c a multiple of 12?
True
Let m be (-816)/(-27) - 4/18. Suppose 10 = 5*u - a + 3*a, 29 = u - 5*a. Suppose -u*k + k = -m. Is k a multiple of 8?
False
Let t(i) = i**3 + 6*i**2 + 4*i - 1. Let p be t(-5). Is 46*2/p + -3 a multiple of 10?
True
Suppose 565 = 3*w - 404. Is w a multiple of 20?
False
Suppose 4*j - 9 = -1. Suppose -o = -3 + j. Is 8/(o/(3 + 0)) a multiple of 12?
True
Let a = -34 - -62. Let f(n) = -16*n**2 + n - 1. Let o be f(1). Let c = a + o. Is c a multiple of 12?
True
Is 352/2 - (4 + -12 + 4) a multiple of 12?
True
Let w be 12 + (2*1)/(-2). Let j(x) = -52*x - 12*x**2 + 67*x + 1 + 0*x**3 + x**3. Is 15 a factor of j(w)?
True
Suppose -4*s = p - 7, 6*s = s - 4*p + 6. Suppose -2*v - s = 4. Let y = v + 7. Does 2 divide y?
True
Let f = 51 + -35. Suppose o + f = 5*o. Does 3 divide o?
False
Suppose 0*k + 28 = 4*k. Suppose 11 = 3*g - 4*l + 8*l, 0 = 4*l - 20. Let b = k + g. Is 4 a factor of b?
True
Suppose -5*i - 4 = 16. Is -1*i/(-8)*-46 a multiple of 13?
False
Let r(n) be the first derivative of 5*n**3 + n**2/2 + n + 1. Suppose 5*q = 4*q + 2*h - 7, 4*q = h - 7. Is r(q) a multiple of 9?
False
Let q(a) = 8*a - 10. Is 18 a factor of q(8)?
True
Does 9 divide (-28)/(-7) + 57/1?
False
Suppose -3*g = -168 - 39. Is g a multiple of 12?
False
Let j(l) = l**2 - 2*l - 8. Let d be j(6). Let b be (-9)/4*d/(-6). Suppose -3*u - 53 = -b*u + 4*f, -2*f + 31 = u. Is u a multiple of 10?
Fa