+ t. Is 12 a factor of u?
False
Let z be (2 - (2 - 6))*2. Let y be (-394)/6 - 4/z. Is 3 a factor of y/(-15) + (-2)/5?
False
Let n(h) = -h. Let l be n(0). Let x = l + 1. Is 9 a factor of (-2)/(-1) - (-6 - x)?
True
Suppose 7*v + 470 = 2*u + 5*v, 2*u + 3*v - 445 = 0. Is 9 a factor of u?
False
Let n = 27 + 1. Does 14 divide n?
True
Let u be (-646)/(-10) + 8/20. Suppose 2*i - 5*c - u = 0, 0 = -4*c - 0 + 4. Is 9 a factor of i?
False
Let h(l) = 4*l - 2. Suppose i - 60 = -3*i. Suppose -7*m = -2*m - i. Does 10 divide h(m)?
True
Suppose 2*x + f = 3*f + 160, 0 = 2*x - 5*f - 175. Suppose 0 = -0*h + 3*h - x. Does 25 divide h?
True
Let y(h) be the first derivative of h**4/12 + h**3 + 11*h**2/2 - 4*h - 2. Let j(o) be the first derivative of y(o). Is 13 a factor of j(-8)?
False
Let f = 93 + -57. Suppose -27 = -3*l + f. Is l a multiple of 7?
True
Suppose 2*s + 8 = 0, -7 = -f - 3*s - s. Suppose -f - 1 = -a. Let c = a - -6. Does 15 divide c?
True
Suppose -19 = -10*n + 9*n. Is 19 a factor of n?
True
Let x = 2 + 0. Suppose 0 = x*d - 6*d + 8, 18 = i - d. Is i a multiple of 20?
True
Let r be -2*(41/(-2) - -2). Let h = -22 + r. Suppose -p + h = -0*p. Is p a multiple of 5?
True
Let o = 3 - 4. Let d be (2/5)/(o/(-5)). Suppose -d*r + 3*s = -s - 42, -4*r = -3*s - 64. Does 9 divide r?
False
Suppose -3*o + 36 = o. Let x be 16/(-6)*o/(-6). Suppose x*l - l - 66 = 0. Is 22 a factor of l?
True
Let a be -3 + -3*141/(-9). Let y = 10 - 6. Suppose y*b = 4*x + a, 0 = 6*b - 3*b - x - 39. Does 6 divide b?
False
Let f(h) = -h**3 + h**2 + 20. Let t be f(0). Let x be 47/(-5) - (-8)/t. Does 6 divide 2/(3*(-1)/x)?
True
Let n = -5 - -3. Let l be (-5 + 98)*n/(-6). Suppose y = x - 9, 7*x = 3*x - y + l. Does 8 divide x?
True
Let d be 8/3 - 2/(-6). Let x(f) be the third derivative of f**5/60 + f**4/6 - f**3/2 + 6*f**2. Is 9 a factor of x(d)?
True
Let c = 29 + 10. Does 25 divide c?
False
Let m(o) = o**2 - 9*o + 3. Let c be m(9). Suppose -c*a = -7*a + 2240. Does 15 divide (-1)/(-3) + a/30?
False
Let y(j) be the second derivative of j**5/20 + 11*j**4/12 + 5*j**3/3 + 5*j**2 + 5*j. Does 10 divide y(-10)?
True
Let u be (-84)/(-22) - 2/(-11). Suppose 22 + 53 = 5*i + 5*l, u*i - 68 = 4*l. Is 6 a factor of (-51)/(-4) - 12/i?
True
Let t(s) = s**3 - 4*s**2 - 2*s - 6. Let q be t(5). Let f be 0 - (-5 + 0 + 1). Let z = q - f. Is z a multiple of 2?
False
Let y(n) = 11*n + 2. Let q be ((-4)/(-3))/(4/(-12)). Let j be y(q). Is 6 a factor of j/(-4) + 2/4?
False
Let g(h) be the second derivative of h**6/72 - h**5/120 - h**4/12 + 2*h. Let l(w) be the third derivative of g(w). Does 9 divide l(1)?
True
Suppose 2*j + v - 284 = -v, 0 = 4*j + v - 583. Is 21 a factor of j?
True
Let a(m) = -m**3 - 4*m**2 + 5*m + 3. Let k be a(-5). Suppose k*p + 0*o - 177 = 3*o, -3*o = -p + 65. Is p a multiple of 15?
False
Suppose -516 = -0*z + 4*z. Let v(b) = 6*b + 3. Let f be v(-3). Does 9 divide (-6)/(-15) + z/f?
True
Let i be ((-33)/(-12) + -2)*4. Does 23 divide 45 - (6/i)/(-2)?
True
Suppose 2*s - 5*s = 0. Suppose s = -t + 5*t. Suppose 95 = 5*o - 4*j, -5*o + 95 = -t*j + 4*j. Does 11 divide o?
False
Let t = 75 - 49. Is 7 a factor of t?
False
Let z = 1 + -2. Let a be (z/(-1) - 2) + 3. Suppose -a*s = s - 69. Does 9 divide s?
False
Let k(m) be the second derivative of -m**3/6 + 5*m**2 + m. Let v be k(9). Is 9 a factor of v + 2 + 16 - 1?
True
Let d = 20 - 1. Does 19 divide d?
True
Let i(y) = -y**3 + 3*y**2 - 1. Let j be i(2). Suppose 0*h = 4*h - 900. Suppose 8*r - 3*k = j*r + 229, -h = -5*r + 5*k. Does 18 divide r?
False
Let m be (3/(-2))/((-6)/(-36)). Let w(z) = z**3 + 10*z**2 + 3*z + 6. Is 15 a factor of w(m)?
True
Does 11 divide 40 + 6/2 + -3?
False
Suppose -4*a - 4*v = -296, 3 = v - 1. Is a a multiple of 35?
True
Is 19 a factor of (741/12 + 0)*(1 - -3)?
True
Let f(t) = t**3 + 9*t**2 - 12*t + 8. Does 9 divide f(-10)?
False
Let p = 17 - 7. Let h = p + -7. Suppose -5 + 29 = h*r. Is r a multiple of 8?
True
Let c(k) = -k**3 + 2*k**2 + 3*k. Let w be c(-2). Does 7 divide (w - 0) + -1*3?
True
Suppose -2*y + 2*g = -32, -5*g = 5*y - 39 - 11. Suppose -4*q + 5*i = -y - 29, -41 = -3*q - i. Suppose 0 = 4*x - q - 3. Is x a multiple of 4?
True
Is 7 a factor of 3 + (0/(-2) - -25)?
True
Let z(j) = 0*j**3 + 0*j**2 + 4*j**2 - 6*j**2 - 2*j + 9*j**3. Is 26 a factor of z(2)?
False
Let o be (4/(-8))/((-1)/14). Let a(v) = 3*v**2 - 9*v + 2. Let u be a(o). Let l = -60 + u. Is l a multiple of 13?
True
Let i(c) = -c**3 - 9*c**2 - 11*c - 10. Let z be i(-8). Let d = z - -5. Does 5 divide d?
False
Is 3/(((-24)/135)/(-8)) a multiple of 15?
True
Is 16 a factor of (-5)/(25/(-10)) + 1 + 38?
False
Let i(l) = l**3 - 3*l**2 - 2*l + 2. Suppose -2*b = 4*o - 5*b - 7, -3*o + 2 = b. Suppose -7 = -2*m + o. Is i(m) a multiple of 4?
False
Let n = 6 + -7. Let i be (n - 0)/((-4)/20). Suppose -i*g + 321 = 96. Is 17 a factor of g?
False
Let n = -24 + 62. Is 20 a factor of n?
False
Let w be (2 - 2) + 4 + -1. Suppose -w + 15 = 2*m. Is m a multiple of 2?
True
Suppose x - 104 = -4*n, -3*x = -0*x + 2*n - 362. Let s be 1/3 + 530/(-6). Let a = s + x. Does 18 divide a?
True
Suppose -45 = -2*y - 3*y. Let n(k) be the third derivative of k**5/60 - k**4/3 - 5*k**3/6 + k**2. Is 4 a factor of n(y)?
True
Let x(s) = -29*s + 11. Let p be x(-5). Suppose 5*h + p = 9*h. Is h a multiple of 17?
False
Does 5 divide 1/((-3)/(-15) - 0)?
True
Let t(l) = l - 1. Let w be t(7). Let g = w + -1. Suppose 11 = 2*a - v, 4*a - 31 = g*v - 0. Is 2 a factor of a?
True
Let p(h) = -11*h + 5. Let t(f) = 21*f - 11. Let j(l) = -13*p(l) - 6*t(l). Does 23 divide j(4)?
True
Let y(j) = -j - 2. Let b = 6 - 11. Let k be y(b). Suppose k*x = w + 89, x + 13 - 46 = w. Is x a multiple of 14?
True
Let p be (0 - (-6)/4)*-30. Let m = p - -67. Does 8 divide m?
False
Suppose -82 = -10*x + 238. Does 4 divide x?
True
Let h = 38 + -156. Let y be -2 - (h + -2 + 1). Is 18 a factor of y/(-6)*8/(-3)?
False
Suppose 384 = -j + 4*j. Is j a multiple of 19?
False
Suppose -o - 44 = 4. Let b = 0 - o. Is b a multiple of 24?
True
Let l(u) = 2*u**3 - 4*u**2 - 2*u + 4. Let t(y) = 3*y**2. Let w be t(1). Is l(w) a multiple of 6?
False
Suppose -3*v + 4 = 4*k - 5*v, -5*v = -5*k - 5. Is 9 a factor of ((-9)/k - -2) + 39?
False
Let o(c) = 11*c**3 + 3*c**2 + 3*c + 1. Let h(b) = -22*b**3 - 7*b**2 - 7*b - 2. Let d(i) = 4*h(i) + 9*o(i). Let r be d(1). Let v = 20 - r. Does 10 divide v?
True
Let z(t) = t**3 + 12*t**2 - 17*t - 17. Is 16 a factor of z(-13)?
False
Suppose -4*i = 3*d + 94, -3*d + 2*i + i = 87. Let s = d + 48. Is 6 a factor of s?
True
Let g = -8 + 5. Let j = g - -5. Suppose u - 3 = j. Is 4 a factor of u?
False
Let n be 6/(-8) + (-1518)/(-8). Suppose -4*a - 61 = -n. Is 10 a factor of a?
False
Let q(a) = 22*a**2 - a - 11. Does 28 divide q(-3)?
False
Let t be 12*(-2 - (-16)/6). Let f = t + 0. Does 4 divide (-1)/1 - (0 - f)?
False
Let k be (-1)/(-1) + (2 - -1). Let w(u) = k*u - 2*u + 3 + 1. Is w(3) a multiple of 8?
False
Suppose -5*v + 10 = 5*m - 0, 5*m = 0. Is 6 a factor of -1 - v - (-1 - 26)?
True
Suppose o = 5*g - 149, 2*g - 46 = -0*g - 3*o. Suppose h + 5 = g. Does 12 divide h?
True
Suppose -4*w = 2*t - 214, -3*t - t + 4*w + 368 = 0. Suppose -4*o + 3*z = -t - 54, 4*o + z - 163 = 0. Does 24 divide o?
False
Suppose 7*p - 100 = 2*p. Is 4 a factor of p?
True
Let r(l) be the first derivative of 4*l**3/3 + 2. Let o be r(1). Is 5 a factor of (o/10)/(2/40)?
False
Suppose 7*a - 341 - 702 = 0. Does 14 divide a?
False
Let l(w) = -w**3 - 5*w**2 + 2*w - 3. Is 7 a factor of l(-6)?
True
Let w(o) = 6*o**2 + o - 1. Let q be w(-3). Let x = q + -29. Does 8 divide x?
False
Let x be (-1 + 5 - -1)*1. Suppose 0 = 2*s + x*k - 36, -2*s - k = -3*k - 22. Let d = s + -7. Is d a multiple of 3?
True
Suppose 0 = 2*z + 4*o - 56, 3*o = -3*z + 4*z - 13. Is 4 a factor of z?
False
Let r be (-12)/(-5) - (-4)/(-10). Suppose 4*f + 15 + 1 = 0, z = -5*f - 21. Is 3 a factor of r*(10/4 + z)?
True
Suppose 0 = t - 5*h - 0*h + 11, 3*h - 9 = 0. Suppose -235 = -t*a - 75. Is 10 a factor of a?
True
Is 4 a factor of ((-1)/(-3))/((7/354)/7)?
False
Let n be -56*(1/1)/1. Let t be -4 - (0 + (-4)/(-2)). Does 7 divide (n/t)/(4/6)?
True
Suppose -h - 16 = 2*j - 4*j, -5*j + 15 = 0. Let z be (1*-2)/1 - h. Suppose -3*w + 5*b = -z*w + 50, -w = 5*b - 10. Does 5 divide w?
True
Let k(g) = -69*g + 12. Let p be k(-5). Suppose