e third derivative of d**4/8 + d**3/3 - 8*d**2. Is 5 a factor of o(6)?
True
Let t = 53 + -27. Does 15 divide t?
False
Suppose 0*y + 5*q - 69 = -4*y, 2*q = 2. Is y a multiple of 11?
False
Suppose 0 = -3*s + 812 - 221. Suppose -5*g + 3 + s = 0. Is g a multiple of 12?
False
Let z(m) = -3*m**3 + 5*m**2 + m - 4. Let o(d) = -d**3 + d**2 - 1. Let q(x) = -2*o(x) + z(x). Let y be q(2). Suppose y*j - 96 = -0*j. Does 18 divide j?
False
Suppose -v = 4*v - 50. Let q(g) = -g**2 - 7*g - 8. Let x be q(-6). Let t = v - x. Is t a multiple of 6?
True
Suppose -2*w = -0*w + 10. Let o = w + 25. Is o a multiple of 20?
True
Let v(p) = 2*p**3 - 5*p**2 + 4 - 3*p + 2*p**2 - p**3. Let o be v(4). Suppose 0 = o*h - 3*h - 95. Is h a multiple of 7?
False
Let q be (1 + (-3)/2)*116. Let f = q + 98. Is 2 a factor of f/12 + 2/3?
True
Does 11 divide ((-7)/(-14))/(1/66)?
True
Let l = -11 - -15. Suppose -4*p + 41 = 3*c, 3*c - 13 = -p + l. Is 4 a factor of p?
True
Suppose -3*w = 2*a + a - 162, 0 = 5*w + 4*a - 272. Does 7 divide w?
True
Let o(m) = m**2 + 4*m + 1. Let b be 3*(3 + (-32)/6). Does 22 divide o(b)?
True
Suppose -2*l - 8 = -l - 5*d, -3*l - 4 = -5*d. Suppose -4*y - 2*f = -l, -5 = 4*y + 4*f + 3. Suppose 6*j - 66 = y*j. Is j a multiple of 15?
False
Let l be (-2)/6 - 183/(-9). Let t = -24 + 15. Let c = l + t. Is c a multiple of 7?
False
Let b = 46 + 64. Does 22 divide b?
True
Let a(v) = -9*v**3 + 3*v**2 - v + 2. Let y be a(2). Let b = y - -86. Is 13 a factor of b?
True
Suppose -19 = n - 4*c, 16 = 5*c - c. Let h be ((-27)/6)/(n/(-44)). Is 5 a factor of (2/2)/((-6)/h)?
False
Let a be 5*(2 - 8/5). Suppose 3*f - 34 = 7*f + a*n, 5*f - 5*n = -65. Let j = f - -33. Does 14 divide j?
False
Let o(n) = -3*n**3 + 7*n**2 + 2*n + 4. Let x(t) = 16*t**3 - 36*t**2 - 10*t - 21. Let q(i) = -11*o(i) - 2*x(i). Let u be q(5). Let p = 35 + u. Does 8 divide p?
False
Suppose 10*j = 5*j. Is 1*(64 - 0 - j) a multiple of 16?
True
Let b(v) be the first derivative of -8*v**2 - 2*v + 2. Let h(o) = -o**2 - 8*o - 15. Let u be h(-6). Is b(u) a multiple of 23?
True
Let k be (-8)/(-16)*(-2 - -338). Let g = k + -101. Is 31 a factor of g?
False
Suppose i - t = 14, 3*i = 6*i + t - 34. Is i a multiple of 4?
True
Let t(i) be the second derivative of 5*i**4/12 - i**3 - 7*i**2/2 + i. Let j be t(5). Let a = j + -62. Is a a multiple of 7?
False
Suppose -3*m + 2*c + 20 = 0, 2*c - 14 = -3*m + 7*c. Suppose -2*b = -b + m. Let h(t) = -5*t + 7. Does 17 divide h(b)?
False
Suppose -6*r = -7*r + 86. Does 19 divide r?
False
Let t(d) = -70*d. Let h be t(-1). Let v = 101 - h. Is v a multiple of 11?
False
Let n = 492 + -312. Is 15 a factor of n?
True
Let j be 42/(-28) - (-125)/(-2). Let s = -30 - j. Is s a multiple of 15?
False
Suppose -u = -2*h - 45, -5*h - 7 = -22. Is 3 a factor of u?
True
Suppose 0 = 2*i - 4*i + 4*s + 48, 2*i = -4*s + 40. Let a(f) = 13*f**3 + 1. Let v be a(-1). Let c = v + i. Is 6 a factor of c?
False
Suppose 5*u - 27 = -2*n, 4*u - 3*n = -2*n + 19. Suppose 133 + 140 = i - 5*w, 4*i = -2*w + 1026. Is 14 a factor of i/15 - 1/u?
False
Is 0 + (-12)/4 + 7 a multiple of 4?
True
Is 6 a factor of (6 + -2)*(1 + 2)?
True
Let r(o) = 2*o**2 + 9*o + 13. Does 12 divide r(-7)?
True
Let p be (-8)/(-8)*-1*1. Is 8 a factor of (-5 - -3)*p*16?
True
Suppose -30 = -4*p - 3*b + 18, 5*b = -4*p + 48. Suppose -4*d - p + 64 = 2*y, 66 = 5*d + 2*y. Is 13 a factor of (-1 - -11)/(7/d)?
False
Let y(i) be the second derivative of -4*i**3/3 + 3*i**2 + 6*i. Is y(-5) a multiple of 12?
False
Is 3 a factor of (-50)/425 + (-2758)/(-34)?
True
Suppose 0 = -p + 6 - 0. Is ((-8)/p)/2*-15 a multiple of 5?
True
Suppose 7*p = 10*p - 45. Does 15 divide p?
True
Let i be (16/6)/((-1)/(-3)). Suppose 5*g + 149 = -126. Let a = i - g. Does 22 divide a?
False
Suppose 3*i - 4*z = -574, -i - 192 = -4*z + 3*z. Is 19 a factor of i/(-10) + (-4)/10?
True
Let g be 1*(-1 - 0)*-10. Suppose 4*a - g = 30. Does 5 divide a?
True
Suppose -5*x = -u + 11 - 58, 5*u - 35 = -5*x. Let n = -7 + x. Is 12 a factor of -1*n*123/(-6)?
False
Let h be -2*3*113/(-8)*-4. Let l = 7 + -3. Is 15 a factor of h/(-12) + (-1)/l?
False
Let p = -49 - -23. Let b be p/6*-3*1. Let n = b + 0. Is 13 a factor of n?
True
Suppose 21*l - 4 = 20*l. Suppose -2*w + 0 - 20 = -q, -4*q = l*w - 128. Does 7 divide q?
True
Let k = 126 - -231. Suppose -p = -4*p + k. Suppose 5*r = 2*o - p, -o + r - 33 = -85. Is o a multiple of 18?
False
Let t = -271 - -383. Is 28 a factor of t?
True
Let z be (16/(-2))/((-4)/8). Suppose 0 = 2*x - 6*x + z. Is x a multiple of 2?
True
Suppose 17 = 4*t + 3*l, -16 = -2*t + 5*l - 1. Suppose 2*m - t*m = -81. Is 8 a factor of m?
False
Let v(b) = 4*b**2 - 13*b - 9. Is v(6) a multiple of 19?
True
Suppose 0 = -5*t - y + 36 + 37, 5*y + 10 = 0. Is t a multiple of 7?
False
Suppose 2*i + 7 = o, -3 = -4*i + 9. Suppose o + 6 = v. Does 9 divide v?
False
Let n(g) = 3*g**2 - 10. Let p be n(-7). Suppose 3*t + p - 401 = -3*x, 1 = t. Is 23 a factor of x?
False
Suppose 1 = k - 1. Let r be k + 1/(-2)*-2. Suppose 141 - 21 = r*n. Is 14 a factor of n?
False
Let n(b) = 0*b**2 - 3 - 2*b**2 - 2*b**3 + 3*b**3. Suppose 5*c = 4*h + 3*c - 4, -c = -4. Is 3 a factor of n(h)?
True
Let m = 85 + -69. Is m a multiple of 4?
True
Let j = -19 - -73. Is 18 a factor of j?
True
Let v be (-2)/3 - (-177)/9. Let y = v + -10. Suppose 0 = -y*l + 4*l + 30. Does 3 divide l?
True
Let h(r) = -r**3 + 3*r**2 - 3*r + 3. Let s be h(3). Let l be (-2)/s - 7/3. Let x = 16 - l. Is 9 a factor of x?
True
Suppose -5*r = -w + 87, 3*w + 2*r + 2*r = 356. Is 28 a factor of w?
True
Let j = -140 + 229. Is 5 a factor of j?
False
Let o(p) = -2*p**2 + 8*p**2 + 10 - 7 + p**2 + 4*p. Let b be o(-2). Suppose -b - 1 = -2*q. Does 11 divide q?
False
Does 4 divide 20 + (-4)/12*3?
False
Let c = -21 - -9. Let b(g) = g + 25. Is 12 a factor of b(c)?
False
Suppose -439 = -5*w + 4*s, 350 = -w + 5*w - 2*s. Is w a multiple of 7?
False
Let a = 87 + -31. Is a a multiple of 18?
False
Let j = 6 - 6. Let m(z) = z + 17. Let u be m(j). Let n = u + -12. Does 2 divide n?
False
Suppose 0 = -4*x + 5*x. Let v(a) = -35*a + 1. Let m be v(-1). Suppose x*f + 5*b + m = f, f - b = 28. Is f a multiple of 13?
True
Let c = 4 + -2. Is 22 a factor of -88*(3/(-3))/c?
True
Suppose r = 3*r. Suppose -6*m = -2*m - 100. Suppose -5*z + m = -r*z. Is 5 a factor of z?
True
Suppose -x + 6*x - t = 418, 0 = 4*t - 8. Does 28 divide x?
True
Let a be (-2359)/(-21) - 2/(-3). Let r = a - 80. Is 7 a factor of r?
False
Let h be 4/(-4) + (-4 - -1). Is (h - 2)/(-3) + 14 a multiple of 8?
True
Let y(r) = 5*r**2 - 4*r - 4. Is 18 a factor of y(4)?
False
Let h = -70 + 104. Suppose -h = -4*g + 14. Does 6 divide g?
True
Suppose 3*v - 2 = 4. Is (45 - -2)*(v - 1) a multiple of 18?
False
Does 70 divide (-3)/(-3) - (5580/5)/(-4)?
True
Let j be 139/3 + (-2)/6. Let k(t) = -t**3 + 3*t**2 + 2. Let m be k(4). Let g = j + m. Is g a multiple of 16?
True
Let t = 17 + -14. Suppose 5*s - 25 = 0, t*q - s - 4*s - 80 = 0. Is q a multiple of 18?
False
Suppose -3 = k - 2*k. Does 3 divide k?
True
Let f(g) = -g - 1. Let o be f(-6). Suppose -o*b + 9 = -41. Is 4 a factor of b?
False
Let v(y) = y + 4. Let h be v(5). Suppose h = 4*b + 1. Suppose 4*r - 6*p = -2*p + 76, -b*r - 5*p + 66 = 0. Is 13 a factor of r?
False
Let u(s) = -4*s - 1. Let j be u(-1). Suppose j*w - 8*w = 0. Suppose -m - 2*o - 88 = -3*m, w = -4*m - 3*o + 162. Is m a multiple of 21?
True
Does 9 divide (18/24)/((-11)/12 - -1)?
True
Let d(p) = 5*p**2 - 7*p - 34. Does 14 divide d(-5)?
True
Let x(d) = -2*d + 2. Let n be x(0). Suppose -n*w - 4 = -2*r, 5*r = -7*w + 4*w + 34. Is w even?
False
Let o(m) = 8*m**2 - m + 12. Does 21 divide o(5)?
False
Let v(l) = 5*l**3 - 3*l**2 - 23*l + 4. Is 23 a factor of v(4)?
True
Suppose 5*x + 20 = -2*h, -x + 3*x + 8 = -h. Let d(k) = -4*k - 4*k**3 + 8 - 2*k**2 + 5*k**3 - 3*k**2 + h*k**2. Is d(6) a multiple of 10?
True
Suppose 3*k = 0, 2*k + 0*k = 5*x + 245. Let y = x - -78. Does 10 divide y?
False
Let l(o) = -2*o + 3. Let u be l(6). Let p be (-8)/6*u/6. Suppose 5*k = 2*j + p*j - 110, 0 = 2*j + 3*k - 44. Is 25 a factor of j?
True
Let d(x) = 3*x + 1. Let s be d(1). Suppose -2*o - s*z = -46, z - 80 = -4*o - 4*z. Does 9 divide o?
False
Let d(i) = -i**2 - 38*i - 10. Is 19 a factor of d(-19)?
False
Suppose o - 78 = 18. Is 12 a factor of o?
True
Let f be (-6)/24 - (-21)/4