rd derivative of j**4/24 + 2*j**3/3 + j**2. Let p(i) = 4. Let w(t) = 4*p(t) - 5*s(t). Does 14 divide w(-9)?
False
Let l(r) = r + 12. Is l(9) a multiple of 7?
True
Suppose -5*i + 78 = 4*v, v + 21 = 2*v + 2*i. Is 3 a factor of v?
False
Let r(n) = -4*n**2 + 2*n + 2. Let o = -5 - -3. Let b be r(o). Does 7 divide (15/(-9))/(2/b)?
False
Let h = 40 - 19. Suppose -k = -5*w + 52, 4*w - h = 3*k + 14. Is 11 a factor of w?
True
Let h = 40 + -22. Does 3 divide h?
True
Does 5 divide (108 + -15)*2/6?
False
Let c(a) = -6*a. Let j be c(1). Let y(w) = 2*w**2 + 4*w - 6. Does 8 divide y(j)?
False
Let s(m) = 2*m**2 + 6*m + 4. Suppose 0 = 2*b + 5 + 3. Let d be s(b). Suppose i = 8 + d. Is i a multiple of 9?
False
Let s(b) = 6*b**2 + 5*b + 8. Let d(g) = -g + 1. Let z(w) = 13*w**2 + 14*w + 12. Let x(m) = 5*d(m) + z(m). Let p(k) = 5*s(k) - 2*x(k). Does 21 divide p(-4)?
True
Let v be 8 + (2 - 3) + -1. Suppose 8 = -4*c, 3*c - v*c = 5*x - 139. Is x a multiple of 13?
False
Suppose -2*r - 15 = -5*r. Suppose 5*f + 4*g + 16 = 0, 7*f - r*g = 4*f + 20. Suppose 0 = -f*m - m + 3. Does 3 divide m?
True
Suppose r + 9 = 2*d, -6*r = 2*d - 2*r - 34. Suppose -265 = 2*w - d*w. Is 21 a factor of w?
False
Let o(s) = 0 - 1 + 2*s + 29*s**2 - 2*s. Does 14 divide o(-1)?
True
Let u be 1/(-5) + 16/5. Suppose 8*d - 135 = u*d. Is 9 a factor of d?
True
Let j(c) = -41*c - 1. Suppose -2*k = -4*l, l + 3*l = k - 2. Is 13 a factor of j(l)?
False
Suppose 88 - 254 = -2*m. Let h = m - 47. Is 13 a factor of h?
False
Let i = -15 + 15. Let u(x) = x**3 - x**2 + 49. Does 8 divide u(i)?
False
Is (-97)/(-6) - -3*3/(-54) even?
True
Let n be 0 + (-1 - -1) + -3. Let o = 4 + -3. Does 11 divide o*(-17)/n*3?
False
Suppose -3*d + 5*q = -7*d + 453, 4*q - 228 = -2*d. Suppose d = 2*t - 4*t. Is 14 a factor of (-6)/4*t/6?
True
Suppose 2*l + 28 = 3*f, -32 = -4*f - l + 5*l. Let c = f + 18. Is 10 a factor of c?
True
Does 4 divide 16/3*(11 - -1)?
True
Suppose -226 = -9*c + 98. Is c a multiple of 12?
True
Let u = 11 - 7. Suppose -3*d + 110 = 4*w - 42, -w = -u*d - 57. Let q = -24 + w. Is q a multiple of 17?
True
Let p(i) = -i**3 - 5*i**2 + i + 7. Is 9 a factor of p(-6)?
False
Suppose 3*u + u - 16 = 0. Let c be 4/18 + 34/9. Let f = c + u. Does 7 divide f?
False
Let a(b) = -5*b**3 - 45*b**2 - 10*b - 50. Suppose -5*d - 6 = 4. Let r(m) = -m**3 - 9*m**2 - 2*m - 10. Let s(c) = d*a(c) + 11*r(c). Is 8 a factor of s(-9)?
True
Let m be (-3)/((-3)/(-2))*5. Let p = -46 - m. Let a = p + 64. Is 18 a factor of a?
False
Let x(q) = -37*q + 1. Let m be x(3). Let s = m + 78. Is 2/(-3) + s/(-3) a multiple of 6?
False
Is (-1)/(-4) - (-134)/8 a multiple of 17?
True
Suppose 3*y - 73 = 35. Does 8 divide y?
False
Suppose -2*j - a = -4*a - 54, -4*j + 5*a = -104. Is j a multiple of 21?
True
Let h be (-3)/6*1*-6. Let q be h - 2*(-11 + 1). Suppose -4*c + q + 1 = 0. Does 3 divide c?
True
Let s(k) = 37 - 44 + 57 + 62 - k**2. Is 28 a factor of s(0)?
True
Let g(q) = 6*q - 6. Let a = -2 - -5. Does 4 divide g(a)?
True
Suppose c - 6*c + 2*l + 34 = 0, 4*l + 14 = c. Let f = c + -4. Suppose f*k - 8 = k. Is k a multiple of 8?
True
Let v = -3 - -3. Suppose v*z + 5 = z. Is 4 a factor of z?
False
Suppose -4*b = 2*q - 38, 2*b = -2*b + 3*q + 63. Suppose 0*f + 4*g = 5*f + 10, 0 = -g + 5. Suppose b = f*k - 54. Is 11 a factor of k?
True
Let t(g) = -g**3 - 15*g**2 - 17*g + 18. Does 6 divide t(-14)?
True
Let p(s) = 6*s + 3. Is p(8) a multiple of 25?
False
Suppose 0*q + p + 8 = 2*q, 2*q + 2 = -4*p. Does 2 divide q?
False
Suppose -2*r - 3 - 3 = 2*t, 3*r = -4*t - 8. Let q be (-1)/(t/(1 - 0)). Is (q - -2)*-2*-3 a multiple of 6?
True
Suppose 10 = k - 9. Suppose -3*h = -5*t + 8, 4*h - 34 + 6 = -3*t. Suppose t - k = -n. Does 12 divide n?
False
Let j(s) = s**3 - 14*s**2 + 13*s + 12. Is 12 a factor of j(13)?
True
Let b be (-9)/2*(-8)/12. Let s(z) = 5*z + 2. Let w be s(3). Suppose -b*g + m + w = -35, -4*m = -3*g + 46. Does 12 divide g?
False
Let z = 11 - 6. Suppose z*v - 13 = 117. Is 13 a factor of v?
True
Suppose -14*w = w - 3105. Is 23 a factor of w?
True
Suppose -i = 2*i. Suppose r - 20 = -i*r. Suppose -5*h + r + 170 = 0. Is 13 a factor of h?
False
Does 4 divide (3/(-6))/(3/(-72))?
True
Suppose 0 = -2*g + g + 4. Suppose g*m - 4*c = 16, 3*m - 2*c + c = 4. Suppose m = 7*r - 2*r - 25. Does 3 divide r?
False
Suppose 8 = 5*h - 17. Suppose j = h*j - 8. Does 2 divide j?
True
Let k(p) = p**2 - 5*p - 5. Let c be k(6). Let u = c - -6. Let b = u - 1. Does 6 divide b?
True
Does 7 divide 49 - (3 - 6/2)?
True
Suppose -115 = -3*v + x, -2*v + 5*x = -4*v + 105. Suppose 0 = -5*n + v + 140. Is n a multiple of 18?
True
Let m(j) be the first derivative of 29/2*j**2 - j + 1. Is m(1) a multiple of 20?
False
Let s = -97 + 132. Is s a multiple of 5?
True
Let v(b) = 4*b**2 - 2*b + 3. Is v(3) a multiple of 11?
True
Let v(b) = -9*b + 1. Does 17 divide v(-7)?
False
Let j be (-3*2/3)/2. Is 15 a factor of (-1)/1 + j + 61?
False
Let y(h) = 8 + 9 - 3 + h - 1. Is y(0) a multiple of 13?
True
Suppose -2*x + 85 + 95 = 0. Is 15 a factor of x?
True
Let y be (-12)/10*5/(-2). Suppose -4*a = -2*x - 14, 3*a + 2*a + 2*x = 31. Suppose 3*c - 125 = -c + 5*q, a*q = -y*c + 85. Does 15 divide c?
True
Let w(p) = -3*p**3 + 6*p**3 - 5*p - 2*p**3 + 2 + 0*p**3. Let d(h) = h**2 + h - 1. Let r(j) = 4*d(j) + w(j). Is 5 a factor of r(-3)?
True
Let m = -9 - -18. Let k be (m/(-6))/((-1)/2). Suppose -4*r + 130 + 40 = -5*f, -194 = -5*r - k*f. Is 16 a factor of r?
False
Suppose 0 = 5*p - 20, s = 4*p - 0 - 13. Let x = s + 3. Is 3 a factor of x?
True
Let z = 21 - 8. Is 2 a factor of z?
False
Let k be (1/(-1))/((-2)/(-36)). Let m be -1 + 14/(-1 + -1). Let n = m - k. Does 8 divide n?
False
Suppose -2*y + 2*d - 30 - 12 = 0, 21 = -y + 5*d. Let c be 31/(-3)*(-1 - 2). Let z = c + y. Does 5 divide z?
True
Let d = -48 - -89. Is d a multiple of 7?
False
Let a = 0 - -83. Is a a multiple of 15?
False
Suppose 5*a + l = 24, 3*a + 2*l - 20 = -0*a. Suppose a*k + 0 = 64. Is 16 a factor of k?
True
Suppose 2*u + 19 + 5 = 5*h, -u = 4*h - 14. Suppose 0 = -3*s - 28 - 20. Is (u/(-1))/(s/(-136)) a multiple of 6?
False
Suppose -3*u = -34 - 80. Is 19 a factor of u?
True
Suppose -4*y - 26 = -3*k, -4*k - 4*y + 22 = k. Is 2 a factor of k?
True
Suppose 6 = l + 2*l. Suppose l*g + g = 75. Suppose 0 = -3*n + g + 32. Is n a multiple of 11?
False
Let f(y) = -y**2 + 12*y. Let d be f(10). Suppose n - 25 = 3*q + d, 2*q = -4. Is n a multiple of 13?
True
Suppose 5*b = 1 + 24. Let h = 1 + b. Does 3 divide h?
True
Suppose 2*w - 156 = -4*p, w = 4*p - p + 88. Let y = -10 + w. Does 24 divide y?
True
Let j be (2/3)/(6/45). Suppose 2*a = j*a - 78. Is 13 a factor of a?
True
Let m(j) be the second derivative of -4*j + 0 - 4*j**2 - 1/6*j**3 + 1/12*j**4. Is 24 a factor of m(-7)?
True
Let l = 13 - 8. Suppose -5*t = l*q - 45, -3*t + 45 = 2*t - 2*q. Is 3 a factor of t?
True
Suppose -607 = -6*m + 53. Is m a multiple of 10?
True
Let m be 12/(-30) - (-377)/5. Let o = m + -47. Is 14 a factor of o?
True
Suppose -g + 2*s = -188, -s - 196 = -g - 3*s. Does 48 divide g?
True
Let s = 21 + -13. Let f be s/20 + (-128)/(-5). Is 11 a factor of (-6)/8*(2 - f)?
False
Let l be (-50)/(-40)*-22*2. Is (-1738)/l + (-2)/(-5) a multiple of 10?
False
Let g(t) = 2*t**3 - t**3 + 4 + 0 + 3*t**2. Let c be g(-3). Let z = 2 + c. Is z a multiple of 3?
True
Let a = 181 + -82. Is a a multiple of 18?
False
Let c(j) be the first derivative of -7*j**2/2 - 6*j + 2. Is c(-5) a multiple of 15?
False
Let z = -6 + -4. Is ((-8)/(-10))/((-4)/z) a multiple of 2?
True
Let p be (4 - 2) + (-4)/2. Is 9 a factor of -1*((-30)/2 + p)?
False
Let j(z) = -5*z**2 + 5*z + 4. Let f(u) = -u**2. Let v(o) = 4*f(o) - j(o). Let h be v(7). Does 11 divide 1*6*55/h?
True
Let u(k) = -12*k + 14. Let d(w) = -4*w + 5. Let x(p) = 17*d(p) - 6*u(p). Let h(z) = z**2. Let l be h(1). Is 5 a factor of x(l)?
True
Suppose -4*h + 37 = 4*u + u, 13 = 2*h - 3*u. Suppose -19 = -g + h. Is 17 a factor of g?
False
Suppose -6*j + 4*j + 6 = 0, -2*u = 2*j - 120. Is u a multiple of 13?
False
Let u(r) = -r**3 - r**2 + 6*r + 4. Does 7 divide u(-4)?
True
Let f = -4 - -7. Let t(h) = -h**3 + h**2 - h + 4. Let o be t(0). Suppose z = f + o. Is 5 a factor of z?
False
Let o = -13 + 2. Let z = o + 46. Is 13 a factor of z?
False
Let s(h) = -9*h + 2. Let t be s(2). Let x = -11 - t. Is 4 a factor o