Let y be t(-3). Let h = 8 - 3. Let b = y - h. Is 12 a factor of b?
False
Let l be 2 + -16 + (1 - 1). Let t(c) = c**3 + 5*c**2 + 8*c + 10. Let p be t(-4). Let a = p - l. Is a a multiple of 4?
True
Suppose 2*v = -3*v + 20. Suppose -8 = -v*y + 8. Suppose g - 4*g = 4*o - 52, y*o = -4*g + 56. Does 10 divide o?
True
Let j = 141 + -79. Does 8 divide j?
False
Let u be (-3)/(-27)*3*6. Suppose -c = -4*c - 2*o + 29, 0 = u*o + 10. Suppose -2*v + c = 3*m, m + 0*m = -v + 8. Does 10 divide v?
False
Is 14 a factor of 141/2 + 5/(-10)?
True
Let i = -89 + 176. Is i a multiple of 29?
True
Let l be (-3)/(-12) - 161/4. Let c = -18 - l. Does 11 divide c?
True
Let l(x) = -4*x**2 - 4*x + 13. Let h(p) = p**2 + 4*p + 6*p**2 - 27 + 3*p. Let c(n) = -3*h(n) - 5*l(n). Does 7 divide c(0)?
False
Let i(y) = -8*y**2 - y - 1. Let g be i(-2). Let h be (-1)/6 - g/6. Suppose 5*k - h*o - 100 = 0, k + 31 = 3*k - 5*o. Is k a multiple of 17?
False
Let h(f) = f**2 - f + 1. Does 11 divide h(-6)?
False
Let g(d) = 92*d**3 + d**2 + d. Suppose -o - 1 = -0. Let b be g(o). Let t = -61 - b. Is 11 a factor of t?
False
Is (-54)/(-4) - (-1)/(-2) a multiple of 11?
False
Suppose 0*j + 5*j - 20 = 0. Suppose j = -s + 26. Is 11 a factor of s?
True
Let w be -3*(-1 - 13/3). Let p = -10 + w. Is p a multiple of 3?
True
Let a = 22 - 23. Is a - (-17*3)/3 a multiple of 7?
False
Suppose 7 = f - 6. Is 13 a factor of f?
True
Suppose 0 - 24 = 2*u. Is 16 a factor of u/(-4) + (-1 - -30)?
True
Suppose 3*j - 690 - 435 = 0. Suppose -2*h + 280 = 3*o, 5*o - o = -3*h + j. Is 23 a factor of o?
False
Is ((-72)/(-20))/((-2)/(-20)) even?
True
Let r(n) = 20*n**2 + n - 2. Is r(1) a multiple of 5?
False
Let b(m) = m**2 - 7*m - 3. Let f be b(7). Let p be f*1/(-3) - -13. Suppose -20 = -2*a - 2*t + p, 0 = -5*a - 4*t + 90. Does 11 divide a?
True
Suppose 0 = -5*j + 4*j + 17. Is j a multiple of 5?
False
Suppose -5*g - 5*k + 160 = 0, -g + k + 3*k + 17 = 0. Suppose -d = -n - 2*d + 1, 5*n - g = d. Suppose n*w - 49 = -q, -5*q - 4*w + 70 = -91. Is 10 a factor of q?
False
Suppose y - 1 = -0*y, 2*z - 82 = -4*y. Is 13 a factor of z?
True
Let t(z) be the first derivative of -z**4 - z**3/3 + 2*z**2 + 3*z + 2. Is t(-2) a multiple of 6?
False
Let t(m) be the first derivative of -m**4/4 + 16*m**3/3 + 21*m**2/2 - 17*m - 1. Is t(17) a multiple of 15?
False
Suppose -3*m - m = -48. Is 12 a factor of m?
True
Suppose -k = -5*v - 2 - 8, 3*k - 10 = -5*v. Suppose -4 = -k*x + 4*x. Is 5 a factor of (-235)/(-20) - (-1)/x?
False
Let m(b) = 3*b + 3. Let h = 15 - 6. Let q = -3 + h. Does 21 divide m(q)?
True
Let v(d) = 2*d + 16. Is 5 a factor of v(-5)?
False
Let r(p) = -3*p - 12. Let z be (1 + -2)*(15 - 8). Does 5 divide r(z)?
False
Let i = -17 - -19. Let v be 1*(0 + -2 - -5). Suppose 0 = i*y + v*w - 62, -y = 5*w - 21 - 3. Does 15 divide y?
False
Is 6 a factor of (-38)/(-1) + (6/3 - 2)?
False
Let y(w) = -w**3 + 8*w**2 + w - 4. Is 16 a factor of y(4)?
True
Is 2 a factor of 2 + 0/(-1 + -3)?
True
Suppose 4 = q - 32. Let n = q + -17. Does 19 divide n?
True
Suppose -9 = -3*f, -5*m - 5*f - 15 = 5. Let v = -8 + 22. Let w = m + v. Is w a multiple of 3?
False
Let s be (45 - 1)/((-3)/18). Let b(f) = 9*f + 9. Let z be b(-4). Does 5 divide s/z + (-4)/(-18)?
True
Let y(g) = g + 2. Let o(j) = -3. Let l(n) = 2*o(n) + 3*y(n). Does 3 divide l(2)?
True
Let w = 9 + -4. Suppose -70 = -0*m - w*m. Does 14 divide m?
True
Suppose 0*v + 6*v = 1872. Is v a multiple of 26?
True
Suppose c - 177 = -5*v, -4*c + 0*c + 4*v + 636 = 0. Is 18 a factor of c?
True
Suppose -k - 15 = 2*k. Is 2 a factor of 1*-1 - (2 + k)?
True
Suppose -3*u - 5*v + 62 = -9, 0 = -4*u - 5*v + 103. Does 4 divide u?
True
Let u = -2 + 168. Does 17 divide u?
False
Suppose 8*y - 372 - 388 = 0. Is y a multiple of 11?
False
Let s(y) = -2*y**3 - 6*y**2 - 7. Is s(-5) a multiple of 31?
True
Let c(m) = 2*m**2 - 3*m - 7. Let x be c(-3). Let i = 45 - x. Is i a multiple of 25?
True
Let p(r) = r**3 + r**2 + 5*r - 6. Is p(3) a multiple of 9?
True
Suppose 4*d + 0*d = 0. Suppose d = -2*o - 3*o - 5. Is o/(2*(-1)/48) a multiple of 24?
True
Let i(b) be the third derivative of b**6/120 - b**4/24 + 7*b**3/3 + 3*b**2. Does 8 divide i(0)?
False
Let k be 204/10 + 30/50. Let o(p) = 16*p**3 - 2*p**2 - 2*p. Let t be o(2). Does 3 divide t/14 - 6/k?
False
Suppose 80 = 2*g - 128. Suppose -2*j + 4*j - 104 = -4*v, 2*j - v = g. Is 26 a factor of j?
True
Suppose 4*m + 36 = 5*m. Is m a multiple of 23?
False
Let u(h) = h**2 - 4*h - 5. Let w(q) = -q**2 + 7*q - 1. Let y be w(6). Let l be u(y). Suppose l = 5*z + c + 3*c - 223, 2*z - 3*c = 80. Does 16 divide z?
False
Suppose -15*l + 16*l - 11 = 0. Does 7 divide l?
False
Let q(m) = -m + 4*m - m. Let p be q(2). Suppose -165 + 33 = -p*a. Is 12 a factor of a?
False
Let j(p) = -3*p**2 - p. Let k be j(2). Does 7 divide k/6*(3 + -9)?
True
Suppose 0 = -4*k - 30 + 10. Let i(x) be the third derivative of x**5/60 + x**4/24 + 7*x**3/6 - 2*x**2. Is i(k) a multiple of 13?
False
Let a be (0 + -3)*(-1 + 3). Let q = a - -20. Is 7 a factor of q?
True
Let y be 5/(10/(-3))*-2. Suppose 6 = y*a - 0. Does 11 divide (a/6)/((-1)/(-123))?
False
Suppose -2*m + 47 = -0*m + 5*s, -5*m - s = -129. Suppose -4*x = -2*x - m. Is x a multiple of 13?
True
Is 4 a factor of 2 + 3 + 38*(-4)/(-8)?
True
Let t = 82 - -16. Does 12 divide t?
False
Let u be (-33)/(-27) - (-6)/(-27). Let x = u - -13. Is 14 a factor of x?
True
Let f(q) = -2*q + 2. Suppose -17 = 4*z + 3. Does 4 divide f(z)?
True
Let j(c) = -5*c**3 + 13*c**2 + 17*c - 15. Let v(a) = 3*a**3 - 9*a**2 - 11*a + 10. Let f be (-2)/10 + 104/20. Let y(s) = f*j(s) + 8*v(s). Does 11 divide y(-7)?
False
Let t(r) = r**2 - 2*r - 3. Does 3 divide t(-4)?
True
Let o be 257 - (1 - (2 - 2)). Let s be (-6)/(-15) - o/(-10). Suppose -2*l + 2*b = -0*b - s, 5*l - 35 = -b. Is 8 a factor of l?
True
Suppose 15 = 5*t + 3*p, -4*p = -2*t + 13 - 33. Suppose t = -3*i + 75 + 3. Is i a multiple of 13?
True
Suppose 4*h - 3 = -4*q + 17, q - 8 = -4*h. Suppose 2*l = -3*y + 130, -1 = -q*l + 7. Is 21 a factor of y?
True
Let c = 88 + -42. Does 7 divide c?
False
Suppose -4*h + 98 = -182. Is 10 a factor of h?
True
Let d = -26 + 51. Is 9 a factor of d?
False
Let z(c) = -3*c**3 - 16*c**2 - 20*c - 17. Let o(w) = 26 - w**2 - 16*w + 46*w + 5*w**3 + 25*w**2. Let m(k) = -5*o(k) - 8*z(k). Does 15 divide m(9)?
True
Let l(k) = k**3 - 9*k**2 + 6*k. Does 21 divide l(9)?
False
Suppose 0 = -3*v + 9, -5*m + 2*v = -22 - 97. Is 12 a factor of m?
False
Let k(t) = t**3 - 3*t**2 - 7*t - 7. Let r be k(6). Suppose 0 = 5*x + 15, r - 208 = -2*c + 3*x. Is 18 a factor of c?
False
Let k be ((-4)/10)/(4/(-20)). Let r be (k - 0) + 4/(-1). Let f = r + 14. Is 12 a factor of f?
True
Let a be ((-22)/3)/(4/12). Let b = -16 - a. Let r(h) = -h**3 + 7*h**2 - 4*h - 6. Does 6 divide r(b)?
True
Let w(f) = f**2 + f - 1. Let o = 7 - 4. Is 8 a factor of w(o)?
False
Let w be 6/(-4)*4/6. Let o be 6*(-1)/(w/(-1)). Is 4 a factor of (o/9)/((-2)/33)?
False
Suppose -w = -5, -16 + 5 = -4*i + w. Suppose i*x - 6*x = 0. Suppose x = n - 4*n + 126. Is n a multiple of 16?
False
Let o be (-4)/(-14) + 552/28. Does 10 divide (-1)/(-2)*(o + 2)?
False
Let o(p) = -p**2 + 3*p + 3. Let a be o(3). Suppose -4 = -a*j + 11. Suppose -j*b = -6 - 14. Is 4 a factor of b?
True
Let d be 36/21 - (-4)/14. Suppose -d*z = -4*z + 68. Suppose 2*o = 2 + z. Does 9 divide o?
True
Let g = 10 - 7. Suppose -4*n = g*m - 90 + 12, 4*n = 2*m + 88. Is n a multiple of 8?
False
Suppose 9*l = 153 + 162. Is 7 a factor of l?
True
Let d be 1*(2 - (0 + 8)). Let z(l) = l**2 + 4*l + 2. Is 4 a factor of z(d)?
False
Let c be ((-9)/(-12))/((-1)/(-4)). Suppose -4*s - 2*v - 2*v = -20, c*s = 4*v + 50. Suppose 2*n + 20 = 4*h + 6*n, 3*h = -4*n + s. Is h a multiple of 10?
True
Suppose 5*l - 45 - 30 = 0. Is l a multiple of 13?
False
Let p = 135 + -60. Is p a multiple of 11?
False
Let u = 3 - -1. Is 4 a factor of u?
True
Suppose -4*r + 32 = -3*i, 19 = -i + 3*r + 5. Is 3 a factor of (-32)/(i/2) + -2?
True
Suppose 2 = 3*c - 7, -50 = -5*d - 5*c. Is d a multiple of 6?
False
Let w(g) = -g**2 + 16*g - 8. Is 31 a factor of w(7)?
False
Let v(x) = -3*x - 22. Is 31 a factor of v(-23)?
False
Let f(a) = -2*a - 6. Let m be f(-5). Suppose 48 = m*k - 0*k. Is 6 a factor of k?
True
Does 36 divide (-60)/(-30)*(1 - -43)?
False
Suppose -4*c = -9*c + 150. Is 6 a