ctor of b(n)?
True
Let m(z) = 37*z**2 + 2*z + 1. Suppose -4*o - 5 + 1 = 0. Let w be m(o). Let i = w + -26. Is 5 a factor of i?
True
Let j(y) = 16 + 4*y**2 + 0*y**2 - 3*y**2 + y**3 + y. Is 16 a factor of j(0)?
True
Let a(m) = -m + 2. Let o be a(2). Suppose o = -r - 3*r + 92. Let d = r - 3. Is d a multiple of 10?
True
Let o(n) = -n + 60. Is o(0) a multiple of 20?
True
Let o be -43*(-1)/((-2)/(-2)). Let l = o - 29. Is 7 a factor of l?
True
Suppose 5*n = -2*b + 99, 0*n + b + 36 = 2*n. Suppose -13 = -2*o + n. Does 7 divide o?
False
Suppose -4*a = -2*m - 3*m - 6, -4 = 4*m - 3*a. Let c(b) = m*b - b**3 - 2*b + 8*b**2 - 7. Does 21 divide c(7)?
True
Suppose -5*m - 3*h + 2 = 0, -4*m - 3*h = -6*h - 7. Suppose -5*a = -m - 74. Does 15 divide a?
True
Is 4 a factor of 1/2*(-7 - -111)?
True
Suppose 2*i - 5*t - 38 = 0, -4*i - 47 + 133 = -5*t. Does 16 divide i?
False
Let w(k) = k - 3. Let t be w(5). Let b = t - -1. Is -18*b/(6/(-5)) a multiple of 15?
True
Is 2 a factor of (-7 - -1)*(2 + (-7)/3)?
True
Let k = 73 - 42. Does 8 divide k?
False
Let k(p) = 8*p**2 - 7*p**2 + 0*p**2 + 11 + 12*p. Is k(-15) a multiple of 14?
True
Let q(n) = 5*n**2 + 4*n + 2. Is q(-3) a multiple of 9?
False
Suppose -6 = 3*o, 3*d - 6 = -2*o - 1. Suppose -33 = -2*y + 3*q, -29 + 8 = -4*y - d*q. Does 4 divide y?
False
Let b = -186 + 22. Let l = -100 - b. Is l a multiple of 19?
False
Let s be ((-1)/(-2))/(1/10). Suppose x = -s*a + 85, x - 4*x = 4*a - 244. Does 22 divide x?
False
Is (-10)/(-15) + (-160)/(-3) a multiple of 25?
False
Suppose 3*o + 3*z - 465 = 0, 2*o + 3*o - 735 = 3*z. Is o a multiple of 15?
True
Suppose 0*h - 2*h = 0. Does 7 divide (h - -13 - -1)/1?
True
Let c be ((-8)/8)/(2/(-166)). Let w = -58 + c. Is w a multiple of 25?
True
Suppose -7 = 4*r - 27. Suppose -3*l = 2*n - 57 - 1, r*n - 75 = -4*l. Suppose -4*v - v + l = 0. Is v a multiple of 4?
True
Let p = -2 - 7. Is 16 a factor of (12/p)/((-2)/72)?
True
Suppose 19 = 3*p - 5*v + 5, 0 = 5*p + 4*v - 11. Is 16 a factor of p + -7 - (-52 + 0)?
True
Suppose 5*y + 61 = -2*l - 38, -4*y - 70 = -3*l. Suppose 0*q + 3*q = -117. Let t = y - q. Is t a multiple of 10?
True
Let m(o) = -o**2 - 12*o - 12. Suppose -3*g + 8 = -g + 5*b, -g + 3*b - 18 = 0. Is 8 a factor of m(g)?
True
Let w(f) = 5*f**2 + f - 3. Let y be (3 - 10/4)*-4. Is 4 a factor of w(y)?
False
Suppose w - 2*x - 4 = -w, -x = 4*w - 33. Is (-1371)/(-21) + (-2)/w a multiple of 10?
False
Suppose -4*w + 5*w = 144. Let x = w + -97. Suppose 0*i - 20 = -2*i + 2*q, 0 = 4*i + 3*q - x. Is 6 a factor of i?
False
Suppose 0 = 6*z - 2*z - 432. Is 18 a factor of z?
True
Let n(j) = 2*j**2 - 10*j + 3. Let p(u) = 2*u**2 - 11*u + 2. Let a(f) = 4*n(f) - 3*p(f). Is a(4) a multiple of 5?
True
Suppose -3*n + 157 - 43 = 0. Does 9 divide n?
False
Suppose 0*p = -5*p - 15. Let s be (-4)/((-4)/207) - p. Suppose o - 85 = -o - t, 5*o - s = -2*t. Does 13 divide o?
False
Suppose -3*j + 0*j = 5*i - 5, 4*j - 2*i = 24. Let r be (j/(-10))/((-1)/88). Suppose 2*o + 4*t = 96, -3*o - t + r = -75. Does 19 divide o?
True
Suppose -430 = -v - 4*v. Does 21 divide v?
False
Suppose -2*z = -z - 4. Let o be 4*(45/z)/(-5). Is 6 a factor of (4 - -2)*o/(-3)?
True
Let m(s) = 2*s - 4. Let t be m(3). Let u be 156/(-15) + t/5. Is 11 a factor of (14/(-5))/(2/u)?
False
Let u = -3 - -9. Let z be (-3 - 0)/(u/(-4)). Suppose -z*j = 3*l - 19, j - l + 7 = 3*l. Is 4 a factor of j?
False
Let i(a) = -2*a**2 + 2*a + 17. Let f be 1/1*(-5 - -2). Let l(d) = d**2 - d - 9. Let v(s) = f*i(s) - 5*l(s). Does 12 divide v(-5)?
True
Suppose 0 = -5*o + 6 + 14. Suppose -v = -o*m - 75, 0 = 4*v + 2*m - 55 - 173. Is 15 a factor of v?
False
Let a(y) = y**3 + 6*y**2 - 4*y + 10. Let o be (2 + -1)*1*-7. Let k be a(o). Let n = 35 + k. Is n a multiple of 15?
False
Let b(m) = -18*m - 14. Let c be b(-8). Suppose 4*o - 125 = h, -c = -3*o - o + 2*h. Does 12 divide o?
False
Let h(x) = x**3 + x - 174. Let q be h(0). Is q/(-14) - (-15)/(-35) a multiple of 8?
False
Suppose 3*k + 24 = k - 4*m, 5*k + 5*m = -45. Is (-2 - (k + 3))*7 a multiple of 3?
False
Suppose l + l = -36. Does 3 divide (l/4)/(9/(-24))?
True
Suppose -4*g - 257 = -757. Let v = g - 45. Suppose 2*p - 60 = t, 6*p - 3*p = 4*t + v. Does 11 divide p?
False
Let f be 9/4 - (-3)/(-12). Suppose f*o - 24 = 24. Is 4 a factor of o?
True
Suppose -4*j + 154 = -3*k, -1 + 141 = 4*j + 4*k. Let q = -1 + j. Does 12 divide q?
True
Let w(d) = -6*d - 12. Is 10 a factor of w(-7)?
True
Let u(x) = -x - 1. Let r be 12/(-9) - (-2)/(-3). Let v be -1 + 0 + r + -2. Is u(v) a multiple of 2?
True
Let v = 2 - 6. Let o be 17 + (-2)/v*2. Let h = -6 + o. Is h a multiple of 12?
True
Let u(z) = 9*z**2 + 1. Suppose -2*s + 5*s - 6 = 0. Is u(s) a multiple of 11?
False
Is (1/(15/(-440)))/((-4)/6) a multiple of 11?
True
Suppose -4*i + 2*k + 6 = 0, -16 - 9 = -5*k. Suppose 0 = i*c + 5*r - 2, c = -9*r + 4*r - 7. Suppose -c*a = 5*t - 80, 5*a + 5*t + 4 = 144. Is 15 a factor of a?
True
Suppose -332 = -3*p + 9*b - 5*b, -5*p + 4*b = -556. Does 14 divide p?
True
Suppose 3*n = 2*f - n - 34, -3*f = -2*n - 63. Let m = f + -37. Does 9 divide (-4 - m)/((-2)/(-5))?
False
Let x = 291 - 137. Does 14 divide x?
True
Suppose 5*q = 232 + 18. Is q a multiple of 10?
True
Let x = 1 - -4. Suppose -x*v + 85 - 20 = 5*h, v + 2*h - 15 = 0. Is 11 a factor of v?
True
Let m = 82 + -4. Is m a multiple of 26?
True
Let z(a) = -a**3 - 6*a**2 - 6*a + 3. Is z(-5) a multiple of 4?
True
Let y = 0 + 3. Let k = y - 0. Is 3 a factor of k?
True
Suppose 3*s = 21 + 6. Is (18/7)/(s/84) a multiple of 12?
True
Let j(x) = x + 9. Let o be j(-9). Let f = o + 13. Is f a multiple of 4?
False
Let v(g) = g**2 - 12*g - 1. Let j(p) = -2*p**2 + 25*p + 2. Let b(k) = 3*j(k) + 7*v(k). Does 9 divide b(10)?
True
Let h(l) be the third derivative of 11*l**4/24 - l**3/2 + 6*l**2. Does 4 divide h(2)?
False
Suppose 4*f + 74 = 5*x, x - 3*f = 5*x - 53. Is x a multiple of 7?
True
Suppose -2*q + 5*p - 7 = 0, -q + 5*p + 0*p - 11 = 0. Suppose 5*g - 5*z - 85 = 0, 3*g = -q*z + 12 + 60. Does 7 divide 288/g + (-4)/10?
True
Let n = 20 - 15. Suppose 11 = 3*b - a - 12, -4*b = -n*a - 49. Is b a multiple of 6?
True
Let n(p) be the third derivative of -p**6/120 + p**5/10 + p**4/8 + 4*p**3/3 - p**2. Is 9 a factor of n(6)?
False
Let i(l) be the third derivative of l**5/60 - l**4/8 + l**3/6 + l**2. Let p(m) = 2*m + 5. Let h be p(-4). Is 19 a factor of i(h)?
True
Let i = 19 + 32. Let a be ((-3)/18)/((-2)/(-4))*-219. Let p = a - i. Does 11 divide p?
True
Let m(x) = -x**3 + 7*x**2 + 7*x + 9. Let q be m(8). Let u(b) = q - 6 + b + 3*b + 2*b - b**2. Is u(4) even?
False
Let s(d) = -d**2 - 2*d - 2. Let p be s(-3). Let z = p - -7. Suppose 3*t + 39 = 5*x, x + 3*t = -z*t - 9. Is 6 a factor of x?
True
Suppose 4*n - 3 - 13 = 0. Suppose n*i = -11 + 75. Suppose m + i = 2*m. Is m a multiple of 11?
False
Let d = 23 + -3. Does 3 divide d/(-3)*(-18)/15?
False
Let l = 183 + -87. Is l a multiple of 32?
True
Let x be (-4)/1*-1*1. Suppose -2*l = 2 - 0, -4*d = -4*l - 16. Suppose x*j + 5*z = 11, -2*z - d = -2*j - 7*z. Is j a multiple of 4?
True
Let m be (2/(-2))/((-2)/6). Let q = -1 - -1. Suppose q = 2*w + m*w - 115. Is 10 a factor of w?
False
Does 8 divide 4/30 - 354/(-45)?
True
Let t(p) = -p**3 - 10*p**2 - 9*p + 3. Suppose 0 = 4*x + 16, -j + 2*x + 44 = -5*j. Is 3 a factor of t(j)?
True
Let z = 3 - -1. Suppose -3*r = k - 28, 2*r + z*k - k = 14. Is 10 a factor of r?
True
Suppose 2 = -2*h + 8. Let s(m) be the third derivative of m**6/120 + m**5/60 - m**4/24 - m**3/2 + 6*m**2. Is 15 a factor of s(h)?
True
Let i = 135 - 120. Is 2 a factor of i?
False
Suppose -3*l = -3 - 15. Does 11 divide 273/11 + l/33?
False
Suppose -58 - 50 = -4*v. Is 2 a factor of v?
False
Suppose 2*p + 4*r = -89 - 3, 4*p - 2*r + 174 = 0. Is 390/33 - 8/p a multiple of 5?
False
Suppose -4*r = -26 - 10. Does 19 divide 349/r + (-6)/(-27)?
False
Let a be 18/(-12)*(-68)/6. Let h = a - -24. Does 17 divide h?
False
Let g(o) = -40*o + 1. Does 16 divide g(-1)?
False
Let x(u) = -u**3 - 2*u**2 + u + 4. Let v be x(-3). Let b = 0 + v. Is b a multiple of 10?
True
Let c = 373 - 90. Is c a multiple of 12?
False
Let z(m) = -9*m + 7. Let p(r) = -4*r + 3. Let o(s) = 5*p(s) - 2*z(s). Is o(-5) a multiple of 7?
False
Let i = 6 + -5. Let r = 0 + i. Suppose 0 = -5*o + 26 - r. Is 5 a factor of o?
True
Let d(s) = 8*s + 3. Is 