 -5*a - 1 - 3/2*a**2 + 1/3*a**3. Is 3 a factor of p(5)?
False
Does 2 divide (7 - 0) + -2 + 5?
True
Let r = 9 - 14. Is r*((-112)/20 - -2) a multiple of 6?
True
Is ((-578)/4)/((-4)/8) a multiple of 17?
True
Let j(x) = 6 - 9*x + 3 - 7. Does 18 divide j(-3)?
False
Let u(k) = 2*k**2 + 3. Let d(g) = -6*g**2 - 8. Let o(i) = -3*d(i) - 8*u(i). Does 8 divide o(-2)?
True
Let o be ((-3)/(-2))/(6/(-8)). Let z be -2 - o*2/4. Does 13 divide z/(1/(-28)) + -2?
True
Suppose 6 = -5*d + 21. Suppose 0*a + 33 = r - 5*a, r + 4*a + d = 0. Is r a multiple of 3?
False
Let q = -63 + 21. Let i = q - -94. Does 26 divide i?
True
Suppose 2*p = -0*p + 24. Let m = p - 7. Suppose m*c = -2*s + 25, 4*c - 7*c - 16 = -5*s. Is c even?
False
Suppose 0*a = -l + 5*a + 28, -3*l - a + 4 = 0. Suppose 15 = -3*b, -2*b = l*j - 2*j + 18. Let i(k) = -k**2 - 9*k + 1. Is 9 a factor of i(j)?
True
Let v(r) be the second derivative of -7*r**6/720 - r**5/12 + r**4/12 + r. Let f(l) be the third derivative of v(l). Is 16 a factor of f(-7)?
False
Let g = -8 + 13. Suppose -l = -g*t + 7, 2*t - 10 = 5*l + 2. Does 15 divide t + (-28)/(-2) - -1?
False
Let i = 73 + -43. Is i a multiple of 7?
False
Let b(y) = -4*y**2 - 2. Let q be b(-2). Let u = q + 38. Does 9 divide u?
False
Suppose 3*p - p = 4*x - 118, -2*x + 65 = -3*p. Is x a multiple of 4?
True
Let f(r) = 2*r**3 + r**2 - 3*r - 2. Let d be f(-2). Let j(b) = 19 - 5*b - 8 - 9*b + 15*b. Does 3 divide j(d)?
True
Let q = -5 + 132. Does 22 divide q?
False
Suppose 95 = 5*z + 5*u, -5*z + 2*u + 1 = -122. Let s = z + -7. Is s a multiple of 7?
False
Let o(m) = 11*m**3 + 3*m + 7 + 12*m**2 - 19 - 12*m**3. Suppose 5*q - 56 = v - 2*v, 0 = -4*v - 16. Is 12 a factor of o(q)?
True
Suppose 3*z = -51 + 165. Does 17 divide z?
False
Let x = 8 + -3. Suppose -m - 3*m = -j + 56, -x*j + 216 = -4*m. Is j a multiple of 20?
True
Let r be 9/(-12) + 69/12. Let y(u) = -u + 4*u - 5 + 0*u. Does 10 divide y(r)?
True
Let o = 302 + -141. Is o a multiple of 23?
True
Let i be (2/6)/((-5)/(-45)). Suppose -q + 69 = i*u - 2*u, -5*q = -4*u + 303. Does 18 divide u?
True
Suppose 3*j - 11 = 22. Is 11 a factor of j?
True
Suppose -47 = -5*m + 8. Suppose -k - 5*c - 23 = 0, 0*c - m = -3*k + c. Suppose 0 = -2*q - k*q + 80. Is 20 a factor of q?
True
Let f(w) = w**2 + 4*w + 5*w**2 + 0*w - w. Is 15 a factor of f(2)?
True
Does 4 divide 30 + (-3 + 3 - -2)?
True
Let f(x) be the first derivative of 4*x**3/3 + 2*x**2 - 5. Is f(-3) a multiple of 12?
True
Let q be 1 - (1*-3 - -1). Let v(y) = -2*y**2 - y**2 + y**3 + y**2 - 4. Is 2 a factor of v(q)?
False
Let t be (0 - (-22)/6) + 3/9. Let m(v) = -4*v**3 + 19*v**2 - 13*v. Let i(d) = 2*d**3 - 9*d**2 + 6*d. Let u(s) = 5*i(s) + 2*m(s). Does 13 divide u(t)?
False
Let b(a) = 11*a + 21*a - 19*a. Let f = -2 + 5. Is b(f) a multiple of 10?
False
Let m(h) = -h**3 + 2*h**3 - 7 + 3 + 6*h**2 + 0*h**3 - 3*h. Is 7 a factor of m(-6)?
True
Let o(m) = m - 6. Let f(w) = w - 1. Let v(l) = 6*f(l) - 2*o(l). Is v(11) a multiple of 8?
False
Let j be (-4)/(1 + (-5 - -3)). Suppose j*l - 53 = 51. Is l a multiple of 9?
False
Let x(l) = -20*l - 10. Is 30 a factor of x(-5)?
True
Is ((-51)/34)/(1/(-12)) a multiple of 6?
True
Let k(s) = 25*s + 9. Let t be k(9). Is 20 a factor of t/8 + 3/(-12)?
False
Let v = 181 + -124. Suppose v = 2*k + 2*k + 3*u, 3*u = 9. Does 5 divide k?
False
Suppose l = h, -l + 6 - 4 = -3*h. Let p(c) = 11*c**2 - 4*c + 0*c**2 + 9 - 10 + 3*c. Does 7 divide p(h)?
False
Let g(k) = -35*k - 5. Let j be g(6). Let t be j/(-3) - 2/3. Let h = t - 43. Does 12 divide h?
False
Let a = 13 - -12. Suppose 0 = -2*b + s + a, 3*b - 2*s - 44 = -9. Is b a multiple of 5?
True
Let s(m) = 31*m**3 + m**2 - 2*m - 1. Let c(v) = -v**3 + v + 1. Let i(u) = c(u) + s(u). Suppose -3*h + 5 = 2. Does 15 divide i(h)?
True
Suppose r = 154 + 142. Does 16 divide r?
False
Suppose -13 = -w + 3*p + 2*p, 4*w + 5*p = 2. Let q(c) = 26*c - 4. Does 15 divide q(w)?
False
Let r be 1*(-16 - (0 - 3)). Let b = 19 + r. Suppose 4*x - 36 = 3*z, b*z = 2*z. Is x a multiple of 9?
True
Let s = 123 - 73. Is s a multiple of 25?
True
Let d(b) = b**2 - 21*b + 22. Is 2 a factor of d(20)?
True
Does 24 divide (432/(-30))/((-1)/5)?
True
Let p = 90 + -61. Let u = p - 19. Is 10 a factor of u?
True
Suppose -1 - 94 = -5*r. Is 19 a factor of r?
True
Let w be (1 + 1/(-2))*-4. Is 13 a factor of (1/w)/((-5)/170)?
False
Suppose -3*o + 3 = -5*m, o = -2*m - 2 - 8. Let d be (o*1)/(2/(-60)). Is 8 a factor of ((-6)/(-5))/(9/d)?
True
Suppose 6 + 21 = j. Is 9 a factor of j?
True
Let q(n) be the third derivative of n**6/120 + n**5/60 - n**4/24 + 17*n**3/2 + 3*n**2. Is 17 a factor of q(0)?
True
Let p(y) = -y**3 - 5*y**2 + 10*y + 2. Let z be p(-7). Suppose 3*a + 2*a - 31 = -4*f, 4*a = 3*f. Suppose k = -4*s + 4*k + z, -2*k = -f. Does 4 divide s?
False
Let i(v) = -v**3 - 8*v**2 - 9*v - 4. Let a(n) = -n**3 - 8*n**2 - 10*n - 4. Let u(g) = 6*a(g) - 7*i(g). Let w be u(-7). Suppose w = 2*p + 4. Does 7 divide p?
True
Suppose 4 + 0 = a. Suppose 0 = -a*z - z - 80. Let g = z - -42. Is g a multiple of 13?
True
Suppose -2*g - v = -205, -3*g + 141 = -4*v - 194. Let x = g + -75. Is 15 a factor of x?
True
Suppose 3*j - 5*t - 3 = -j, -4*t = -j - 2. Let o(s) = s**2 + 3 + j - 4 - s**3 + 3*s. Is 2 a factor of o(-2)?
False
Let c(a) = 2*a**2 + 9*a + 7. Let o be c(-6). Let b = 13 + o. Is b a multiple of 15?
False
Let k(s) = 2*s - 1. Let y be k(3). Suppose -y*v - p - 48 = 0, -3*v - 24 = -0*p + 3*p. Does 2 divide 2/(-5) - 54/v?
False
Let c be (2 - -1) + 10 + -1. Let w(y) = y**3 + 10*y**2 + 15 - 2 + 2*y**3 - 4*y**3 + c*y. Does 12 divide w(11)?
True
Let c(g) = -17*g**2 + 4*g - 3 + g**3 + 5*g**2 - 9. Let b = -24 - -36. Is 12 a factor of c(b)?
True
Suppose -4*i + r = -239 - 134, 0 = -r - 5. Suppose -3*k = -a + i, 4*k + 128 = 2*a + 2*a. Let l = -12 - k. Is 9 a factor of l?
True
Let n be (-2)/7 + 380/7. Let r = n - 2. Is r/6 - (-1)/3 a multiple of 9?
True
Let w(j) = -5*j**2 - 1 + 0*j**2 + 4*j**2 + 2*j**2 - 7*j**3. Is 7 a factor of w(-1)?
True
Is 14 a factor of 2 + (30 - 2) + 0?
False
Suppose p = 3*y - 119, -y + 5*p = -5*y + 184. Is 9 a factor of y?
False
Let c(z) = 11*z + 8. Is c(8) a multiple of 32?
True
Let i be -3 - 4/((-2)/(-1)). Let j be (4 + i)*(-10)/2. Suppose j*n - 13 - 2 = 0. Is n a multiple of 2?
False
Is 26 a factor of (4/6)/1*(92 + 1)?
False
Suppose -2*m - 2 = -6. Suppose m = -3*t + 32. Is 3 a factor of t?
False
Suppose -41 + 1 = -4*o. Does 5 divide o?
True
Let h = 10 + -6. Does 22 divide 635/10 + 2/h?
False
Let g(l) = l**2 + 6. Suppose -5*v + 75 = 8*z - 4*z, 3*v = -2*z + 35. Suppose 2*p - z = -3*p. Is 13 a factor of g(p)?
False
Let x be ((-6)/(-1))/(2/7). Suppose -x = -5*f + 2*f. Does 6 divide f?
False
Let g be (-2 - (0 - 0)) + 1. Let q be ((-5)/10)/(g/(-8)). Is 12 a factor of 1/4 - 47/q?
True
Suppose -2*q + 3*k = -2 - 18, -k + 8 = 3*q. Suppose -5*b = 4*i - 30 - 18, -24 = -2*i - q*b. Does 6 divide i?
True
Let c(s) = s**3 - 2*s**2 - s - 3. Let b(a) = 2*a**3 - 3*a**2 - a - 7. Let p(q) = -3*b(q) + 7*c(q). Let x be 2/(-3*(-3)/27). Does 6 divide p(x)?
True
Suppose 7*t - 576 = -t. Is t a multiple of 6?
True
Let z(w) = w**2 - w - 1. Let j be z(-1). Suppose 0 = o + j - 9. Is 4 a factor of o?
True
Is (702*4/20)/(12/40) a multiple of 13?
True
Let c(p) = 4*p - 14. Suppose -3*s = q - 2*q + 7, -5*s - 35 = -4*q. Let y be c(q). Suppose 0 = -5*w - 15, -w + 2*w = -f + y. Is 14 a factor of f?
False
Let f(w) = -w**2 - 8*w - 8. Let p be f(-6). Let l be 1/p + 3/4. Is 2 - (-24)/3*l a multiple of 10?
True
Suppose 9*j - 20 = 5*j. Suppose 0*b + 135 = j*b - 5*q, 4*q = b - 24. Does 7 divide b?
True
Suppose -5 - 1 = s - 2*k, 16 = -2*s + 5*k. Suppose 0 = -7*h + s*h + 235. Is h a multiple of 11?
False
Let i = -3 + 3. Let f(d) be the second derivative of d**3/6 + 11*d**2 - d. Is f(i) a multiple of 11?
True
Let q = -31 + 87. Is q a multiple of 7?
True
Suppose 0*c = 4*c - 28. Suppose -s + 5*a + c = 0, -2*s = 4*a - 33 - 51. Does 20 divide s?
False
Suppose 8 = 3*z + 2*u + 1, 2 = -2*z - 3*u. Is ((-4)/z)/((-7)/35) a multiple of 4?
True
Suppose 17 = -a + 89. Is a a multiple of 9?
True
Suppose -15 + 3 = -3*f. Suppose f*y = p - 1, 16 = 3*p - y + 2. Suppose -p*z + 108 = -67. Is 9 a factor of z?
False
Let m be (-1 - -1) + 11 + -3. Suppose 2*x + 2*x = m. Suppose x*o - 8 - 6 = 0. Does 5 divide o?
False
Let k(x) = -x**2