100) a multiple of 20?
True
Let o = -94 - -176. Is 11 a factor of o?
False
Let l(n) = 12*n**2 + n. Is l(-1) a multiple of 3?
False
Let v(j) = j**3 + 9*j**2 + 2*j + 4. Does 20 divide v(-8)?
False
Let i(c) = 15*c**2 + c - 1. Let h be i(1). Let g = h + -3. Does 6 divide g?
True
Suppose 5*o - 214 - 156 = 0. Is o a multiple of 15?
False
Suppose 18 = 4*r - 18. Let g = 15 - r. Suppose y - g - 6 = 4*x, -4*y + 3*x + 100 = 0. Is y a multiple of 17?
False
Suppose 0 = 8*o + 34 - 394. Is 7 a factor of o?
False
Let j be (3/(-2))/(3/8). Let v(g) = -g**3 - 4*g**2 - 2*g + 2. Let b(u) = u**3 + 4*u**2 + 3*u - 1. Let i(o) = -3*b(o) - 2*v(o). Is i(j) a multiple of 16?
False
Let y be 4 + -1 + 185 + -3. Suppose 6*a + y - 557 = 0. Is a a multiple of 31?
True
Let k = 69 - 33. Does 12 divide k?
True
Suppose 2*p - 9 = -p, 5*c - 484 = 2*p. Does 12 divide c?
False
Let j be 1/((-140)/138 - -1). Let a = -15 - j. Is 27 a factor of a?
True
Suppose 2*g + 4 = -8. Is 9 a factor of (-110)/g + 2/3?
False
Let w(r) = 2*r + 18. Is 10 a factor of w(15)?
False
Let z(g) = g**3 + g**2 - g + 6. Let m be z(0). Suppose 5*u = -4*r + 80, -u + r + 1 + m = 0. Is 3 a factor of u?
True
Let g(x) = x**3 - 3*x**2 - 2*x + 4. Let c be g(3). Let w be (-68)/(-6) - c/3. Does 19 divide 447/w - (-9)/12?
True
Suppose 0 = -u - r + 13, -2*r - 17 + 1 = -u. Does 11 divide u?
False
Suppose 0*y = -2*y + 68. Is 6 a factor of (-30)/(-10)*y/6?
False
Let y(b) = -4*b + 55. Is 17 a factor of y(-26)?
False
Let f(g) = 5*g - 1. Let m be f(1). Suppose 2*c + 3*d - 60 = 2*d, -m*c + 4*d = -120. Does 22 divide c?
False
Let h = 1 + 8. Let s(j) = 6*j - 11. Does 11 divide s(h)?
False
Suppose -248 = -4*u - 0*u. Let f = 30 - u. Let b = 1 - f. Does 14 divide b?
False
Let o = 8 + -2. Let x(s) = s**3 - 9*s**2 + 7*s + 7. Let m be x(8). Is (m + 6)*o/10 a multiple of 3?
True
Is 28 a factor of (-250 + 8/(-4))*(-6)/9?
True
Suppose 9 = 4*p - 7. Suppose p*q = -33 + 121. Is 11 a factor of q?
True
Suppose -3*c - 4*p = 2, -2*p = 5*c + p + 7. Let z(q) = -3*q**2 + 3. Let a(b) = -b - 1. Let t(l) = c*a(l) - z(l). Does 3 divide t(-2)?
False
Suppose 110 = 4*d + 22. Does 12 divide d?
False
Suppose m = z - 498, 5*m - 766 - 209 = -2*z. Is 31 a factor of z?
False
Suppose m + 168 = 5*m. Is 21 a factor of m?
True
Let u = 0 + 0. Suppose -139 = -4*s - 3*x, u*x - x + 71 = 2*s. Is 11 a factor of s?
False
Let r = 0 - -42. Does 10 divide r?
False
Let h = 8 - -28. Is 12 a factor of h?
True
Suppose 17 = -y + 67. Is 26 a factor of y?
False
Let q(n) = 10*n**2 - n - 1. Let r be 6/(-4)*(-8)/(-6). Is 10 a factor of q(r)?
False
Let t = -6 - -71. Does 13 divide t?
True
Let r(b) = -16*b. Let u be r(-1). Let q = -18 - -18. Suppose -2*p - u + 92 = q. Does 19 divide p?
True
Let z(d) = d**3 - 5*d**2 + 5*d - 5. Let u be z(4). Is 9 a factor of (-51)/u + 9/(-3)?
False
Let n(l) = -l**3 + 4*l**2 + 5*l - 4. Let w(v) = v**3 - 11*v**2 + 4. Let u be w(11). Is n(u) a multiple of 16?
True
Suppose 0 = -14*d + 13*d + 7. Does 11 divide -38*(d/(-2) - -3)?
False
Let n(o) = -3*o**2 + 95. Is n(0) a multiple of 18?
False
Let c(r) = 3*r**2 + 1. Is c(2) a multiple of 13?
True
Is (4 - 0/(-1)*1)*8 a multiple of 8?
True
Suppose 0 = -4*f + 5 - 1. Suppose -7 = -n - f. Does 17 divide 234/14 + n/21?
True
Is 30 a factor of (-4)/(-10) + (-3312)/(-20)?
False
Suppose 2*v + r = -r + 12, -3*r = 0. Is 17 a factor of 1/2 + 303/v?
True
Suppose 0 = 5*o - 57 + 232. Let r be (-10)/o + (-114)/7. Is 6 a factor of 8/10*(-120)/r?
True
Is 9560/56 - 6 - 2/(-7) a multiple of 55?
True
Suppose 4*v - 7 - 5 = 0. Is 3 a factor of v?
True
Let k = -331 + 505. Does 29 divide k?
True
Suppose -6*q = -q - 65. Is 5 a factor of q?
False
Suppose y + 38 = -5*i, -7*i - 47 = -2*i + 4*y. Let d(s) = -6*s - 7*s**2 - 9 - s**3 - 9*s + 12*s. Is 6 a factor of d(i)?
True
Suppose 0 = 7*u - 2*u - 95. Does 9 divide u?
False
Suppose -2*l + 5 + 1 = 4*h, 0 = -2*l + h - 19. Let u = 17 + l. Is u a multiple of 3?
False
Let g(k) = k**3 - 4*k**2 - 4*k - 2. Let n be g(5). Suppose -15 = -n*m + h - 2, m - 5 = h. Is 2 a factor of m?
True
Let k(f) = -f + 3 + 13 - 3. Suppose -6*o = 15*o. Is k(o) a multiple of 5?
False
Let w = 5 + -5. Let k(s) = s**3 + 30. Is k(w) a multiple of 15?
True
Is 2 a factor of 3 - 40*-2*4/8?
False
Suppose 6 = 8*b - 218. Does 4 divide b?
True
Let x = 5 - -8. Let w(t) = t**3 - 12*t**2 - 8*t - 5. Is w(x) a multiple of 12?
True
Let f = 28 - -88. Is f a multiple of 29?
True
Let t(d) = d**2 - 5*d + 4. Let y be t(4). Suppose 4*p - 16 = -y*p. Suppose -p*m = -2*g - 64, 2*m + 0*m = -4*g + 12. Does 14 divide m?
True
Is 19 a factor of -14 + 13 - (-20)/1?
True
Suppose 0 = 3*g - 4*x - 177, 3*g - 2*g - 51 = 4*x. Is g a multiple of 21?
True
Suppose 4*r + 5*q - 1 + 2 = 0, 1 = -r - 2*q. Is 14 a factor of (-10)/(r*1/(-2))?
False
Let s = 282 + -124. Suppose 2*a - s = a. Does 16 divide 2/10 - a/(-10)?
True
Let v = -2 - -7. Let p = v - 3. Suppose p*x - 52 = 4*o, -x + 60 = 3*x + 3*o. Is 9 a factor of x?
True
Let i = 22 + 4. Is i a multiple of 13?
True
Let d(x) = x**3 + 5*x**2 + 4*x + 2. Let b be d(-4). Suppose -3*m = -3, 2*o = b*m - 3*m + 49. Is 24 a factor of o?
True
Is 14 a factor of (-8)/12 + 10/(-3) - -25?
False
Suppose -5*p = -g - 180, 3*g = 2*p - 52 - 7. Is 31 a factor of p?
False
Let h = 9 - 6. Suppose s + h*b + 10 = 0, 4*b = -4*s - s - 17. Does 2 divide (s + 0)*(-3 + 0)?
False
Let r(a) be the first derivative of -a**3/3 - 7*a**2 - 12*a + 1. Does 6 divide r(-12)?
True
Let c(s) = 13*s**2 - 2*s. Does 12 divide c(2)?
True
Suppose -4*f + 131 = -665. Let w = f + -115. Suppose 2*d = -5*y + 108, -w = 3*y - 7*y - d. Does 6 divide y?
False
Let j(d) = -d**3 + 8*d**2 + 13*d - 8. Is 8 a factor of j(9)?
False
Let g(x) = x**3 + x**2 - x + 63. Let l be g(0). Suppose k + l = 4*k. Is k a multiple of 7?
True
Let o(g) be the third derivative of g**4/3 + 5*g**3/6 + 2*g**2. Let b be o(7). Suppose 0 = 3*a - 35 - b. Is 17 a factor of a?
False
Let a = 338 + -119. Let r = -156 + a. Is 21 a factor of r?
True
Suppose 0 = -r + 2*s - 3 + 11, 3*s = -r + 33. Does 14 divide r?
False
Suppose 0 = -5*p + 4*v + 260, 0*v + 225 = 5*p + 3*v. Is 12 a factor of p?
True
Does 40 divide 4/(-10) - 1402/(-5)?
True
Let k(n) = -n**3 - n + 110. Let c be k(0). Suppose -5*g - x = -c, 5*g - 80 = -x + 6*x. Is g a multiple of 21?
True
Suppose -3 = 3*l, 2*l - 6 = -2*y - 4. Does 15 divide (y/(-4) - 0)*-62?
False
Let o(a) = -a**2 + 21*a - 10. Does 4 divide o(19)?
True
Suppose u + 256 = 4*q, -3*q + 0*q + 209 = -5*u. Suppose 6 = 2*t + t, -q = -3*r - 3*t. Is r a multiple of 19?
True
Let b(k) = -2*k - 3. Is 5 a factor of b(-6)?
False
Suppose -11*m = -6*m - 75. Is 2 a factor of m?
False
Let n(t) = -t**2 + 30. Let p be n(0). Does 3 divide (3 + p/(-8))*-4?
True
Let g(a) = a**3 - 4*a**2 - 2*a + 8. Does 23 divide g(5)?
True
Is 53 a factor of 6/4 + 2615/10?
False
Let u = 21 + 22. Is 9 a factor of u?
False
Let k(d) = d**3 - 3*d**2 + 7*d - 8. Is 15 a factor of k(4)?
False
Let p be (1 - -1)/((-1)/(-2)). Suppose 0 = -d + p*d - 195. Is 15 a factor of d?
False
Suppose 2*d = 3*d - 89. Is d a multiple of 26?
False
Let l(p) = p**3 + 3*p**2 - 4*p - 8. Does 24 divide l(4)?
False
Let b(h) = -h**3 - 10*h**2 - 2*h + 9. Let r(y) = -y**2 + 1. Let p(q) = b(q) - 2*r(q). Is 13 a factor of p(-8)?
False
Let a(s) = 8*s**2 + 10*s + 5. Let v be a(-6). Does 15 divide 9/12 + v/4?
False
Suppose 17*n - 18*n = -19. Is 19 a factor of n?
True
Let k = -40 - -48. Does 8 divide k?
True
Let m = -3 + 5. Let d = m - -2. Is 5 a factor of (26/d)/((-2)/(-4))?
False
Suppose 7*y - 3*k = 2*y - 60, 5*y + 90 = -3*k. Let w(n) = -n**3 - 14*n**2 + 13*n + 20. Is w(y) a multiple of 10?
True
Let v = 92 - 58. Does 17 divide v?
True
Suppose -4*d + 20 + 0 = 0, -3*w + 4*d - 44 = 0. Let c(b) be the third derivative of b**5/60 + 3*b**4/8 + 2*b**3 + b**2. Is 4 a factor of c(w)?
True
Let k = 37 + -53. Let s = k - -24. Is 4 a factor of s?
True
Suppose -11 = 5*t - 41. Suppose p - 5*n = 23, 0 = -t*p + p - 5*n + 25. Suppose -6*q - 10 = -p*q. Does 5 divide q?
True
Suppose 270 = 5*q - 5*i, -2*i + 248 = 4*q + 2*i. Does 29 divide q?
True
Let q = 1 - -1. Suppose -3*a - n + 57 = -48, -5*n - 70 = -q*a. Suppose 0 = -2*y - 9 + a. Is 6 a factor of y?
False
Let h = -11 + 8. Does 31 divide 12/h - -2 - -57?
False
Suppose 0*q - 5*q + 4*x + 14 = 0, q + 3*x + 1 = 0. Suppose q*k - 28 = -2*o, 