actor of j(6)?
True
Let x = 4 - -28. Does 8 divide x?
True
Let i be (-4 - (-2 - 0)) + 5. Suppose -r + 16 = -2*m, 2*r - i*r + 24 = -4*m. Suppose 5*x = r + 82. Is x a multiple of 9?
True
Let f(g) = -8*g - 11. Does 27 divide f(-12)?
False
Let b = -31 - -27. Let c be 1*(-2 - -2) + -10. Is b/c + 528/30 a multiple of 6?
True
Let b(w) = -w**3 + 16*w**2 - 18*w + 10. Is 30 a factor of b(14)?
True
Does 8 divide 1 + 3 + -8 + 42?
False
Let p = -78 + 151. Is p a multiple of 15?
False
Let p = 5 + 107. Is p a multiple of 16?
True
Let g(i) = -i**3 - 6*i**2 - 4*i + 3. Let n be g(-6). Let v(m) = -m**2 - 3*m + 5. Let b be v(-4). Let l = n - b. Does 10 divide l?
False
Let r(i) = -3*i - 3. Suppose 0*s = -3*s - 2*u - 15, -5*u - 13 = 4*s. Is r(s) a multiple of 11?
False
Suppose 15 + 425 = 5*u. Is u a multiple of 37?
False
Let q be (-1286)/8 - (-1)/(-4). Let o = q + 359. Suppose 2*t - 5*r - 111 = -t, -4*r = -5*t + o. Is 15 a factor of t?
False
Let w = -36 - -64. Does 4 divide 12/w + 162/14?
True
Does 17 divide -2*(3 + (-147)/6)?
False
Let c(x) = -x**3 + 9*x**2 + 14*x - 14. Let k = 8 - -2. Is c(k) a multiple of 12?
False
Is (-224)/(-8) - 3/(-1) a multiple of 11?
False
Suppose 17*s - 16*s = 32. Does 16 divide s?
True
Let i = 70 + 30. Is 12 a factor of i?
False
Let c(v) = v - 14. Let d = -9 + 21. Let x be c(d). Is 13 a factor of -26*(x - (-6)/4)?
True
Suppose 0 = m + 3*m + 32. Let v(f) = f**3 + 9*f**2 + 13*f + 9. Let q be v(m). Is 14 a factor of -2 + 0 - q - -1?
False
Suppose 5*b + 10 = 5*c + 75, 3*c + b + 31 = 0. Let d(o) = -3*o + 0*o + 7 + 2*o. Is d(c) a multiple of 9?
True
Let j = 15 - 10. Is j even?
False
Suppose -8 = 5*i - 208. Suppose -44 = -2*g - 2*a, 0 = 4*g - 3*a - i - 69. Is 2 a factor of (30/g)/((-4)/(-10))?
False
Let y = 13 - 6. Suppose y = n - 1. Suppose -n*j + 72 = -4*j. Does 9 divide j?
True
Let m(v) be the first derivative of -7*v**3/3 - 13*v**2/2 - 5*v - 4. Let r(o) = -o**2 - o - 1. Let f(s) = m(s) - 6*r(s). Is 7 a factor of f(-6)?
True
Suppose 0 = -8*m + 3*m - 10. Is m/(-3) + 32/6 even?
True
Suppose -3*t + 2*t = -5. Suppose 28 = z - 2*x, t*x - 71 - 46 = -3*z. Does 14 divide z?
False
Let x be (-7)/(-3) - 4/(-6). Let l = 6 - x. Is 7 a factor of ((-52)/(-12))/(1/l)?
False
Suppose 2*n + c - 49 = 0, 2*c + 78 = 2*n + 2*n. Is n a multiple of 11?
True
Let j(h) = -h**3 - 5*h**2 - 2. Does 34 divide j(-6)?
True
Suppose -4*x - 3*q - 2*q + 26 = 0, -5*q + 10 = 0. Suppose 24 = x*d - 0*d. Is 3 a factor of d?
True
Suppose 285 = 7*m - 2*m. Is m a multiple of 9?
False
Let d = 7 + 0. Let h = 30 + -10. Let u = h + d. Does 12 divide u?
False
Let i = -10 - -26. Let s = i - 30. Let j = s - -32. Does 9 divide j?
True
Suppose -9 = -4*r - 3*x + 90, 27 = 2*r - 3*x. Let m be (-2 - -2) + r - 3. Does 6 divide 775/45 + (-4)/m?
False
Let m = 2 + 3. Let i = m - 1. Suppose -5*o - 55 = -i*t, -t - t + 35 = 5*o. Does 7 divide t?
False
Let g(f) = -f**2 + 8*f - 5. Let k be g(8). Let x = k + 8. Suppose 0 = -x*y + 30 + 12. Is y a multiple of 14?
True
Let s(j) = 53*j**3 + 2*j - 1. Let a(w) = -2*w - 3. Let t be a(-2). Let l be s(t). Suppose 0 = -2*y + 5*y - l. Is y a multiple of 9?
True
Suppose 2 = 2*p - 3*k + 14, 0 = -3*k - 12. Let u(q) = -q**3 - 13*q**2 - 13*q + 3. Does 13 divide u(p)?
False
Let o(t) = -t**2 + t. Let v(b) = b**2 - 3*b + 2. Let i(m) = -4*o(m) - v(m). Suppose 4*j = -15 + 7. Is 12 a factor of i(j)?
True
Let x(p) = -3*p - 3. Let b(a) = 6*a + 7. Suppose 0*f = f + 4. Let m(k) = f*b(k) - 9*x(k). Does 7 divide m(5)?
True
Let a = -6 + 28. Suppose 0 = 2*x + a - 54. Does 14 divide x?
False
Suppose -4 = -4*h + 32. Is 14 a factor of h/((-34)/(-28) + -1)?
True
Suppose 5*y - 1185 = -5*z, 0*z = 5*y - 4*z - 1158. Is y a multiple of 18?
True
Let k = 13 - -2. Let b = 31 - k. Does 4 divide b?
True
Let c(p) = -p**3 - p**2 + 9*p + 13. Is 29 a factor of c(-6)?
False
Suppose -h = 3*p - 47, 6*h - h - 31 = -3*p. Suppose -4*g - p = 7. Is (-4)/((g/4)/3) a multiple of 8?
True
Does 13 divide ((-5)/10)/((-2)/220)?
False
Let f be (-37 - -4)*(-2)/6. Does 22 divide 21/14*f*4?
True
Let h = 4 + -61. Let c(u) = 24*u**2 + u + 1. Let t be c(-2). Let f = h + t. Is 19 a factor of f?
True
Let w(d) = 59*d - 3. Is w(3) a multiple of 25?
False
Suppose 182 = 4*r + 2*g, 32 = r + 3*g - 21. Does 13 divide r?
False
Suppose -2*s - 7 = 27. Let g be s/(-5) + 2/(-5). Suppose 19 = g*o - 35. Is 9 a factor of o?
True
Suppose -j = -a + 2 - 3, 0 = -3*a - 4*j + 32. Suppose 0*q - q = a. Is 7 a factor of -1 + 19 + 2 + q?
False
Let x(l) = -2*l**3 + 5*l**2 - 4*l + 4. Let c be x(3). Let v = 30 + c. Is 13 a factor of v?
True
Suppose 3*n + 8 = -n. Let f = n + 0. Let k = 13 - f. Does 12 divide k?
False
Suppose j - 3*r + 5 = 10, -3*r - 15 = -3*j. Let q = 21 + -26. Let k = j - q. Is k a multiple of 5?
True
Let m = 10 - 5. Suppose -3*o + 18 = 3*s + 6, 3*s = m*o + 12. Does 16 divide 129/s - 1/4?
True
Is 18 a factor of 10/(-26)*-218 - (-28)/182?
False
Let j(t) = t**2 + 10*t - 1. Is 14 a factor of j(-20)?
False
Let q(p) = -p**2 - 9*p + 3. Let g be q(-9). Suppose 0*y - g*y - 6 = 0, -5*u - 131 = 3*y. Let d = -15 - u. Does 6 divide d?
False
Suppose 3*o + 0 = 2*z + 2, 5*z = 3*o + 4. Suppose -q = -3*i + 23, 2*q + 2 = -z*i + 4. Let f(n) = -n**2 + 8*n. Does 6 divide f(i)?
True
Let g(p) = -p**3 - p**2 + p + 1. Let k be g(-2). Let x = k - -3. Is 6 a factor of x?
True
Suppose 2*h - 4*b - b = 88, 3*h = 4*b + 118. Does 4 divide h?
False
Suppose 2*j = -2*f + 2, 3 - 7 = -3*f - 4*j. Let b = 14 - f. Does 7 divide b?
True
Let w(y) = -2*y**3 - 2*y**2 + 4*y + 4. Let h be 3/12 - 26/8. Does 18 divide w(h)?
False
Suppose -k + 5*k = 0. Let j be (k/5)/(-2*1). Suppose 0*g - 3*g + 36 = j. Is 6 a factor of g?
True
Suppose -5*a = 2*r - 21, 4*r - r = -3*a + 9. Suppose -a*l = -4*g + 60, -3*l - l = 0. Suppose -5*b + 110 = g. Is 12 a factor of b?
False
Let z be -5*(1 - (-9)/(-5)). Suppose -z = o, -4*o + 19 - 99 = -4*p. Is 3 a factor of p?
False
Let n = 14 - 3. Let w = -7 + n. Is 170/8 + (-1)/w a multiple of 12?
False
Suppose 0 = -7*d + 4*d + 69. Let x = -13 + d. Is 5 a factor of x?
True
Suppose 0 = n - 4*v + 8 - 32, -4*v = n - 24. Does 2 divide n?
True
Suppose 0 = -3*g + 6 + 6. Suppose -q - 20 + 0 = -5*w, -3*w = 5*q - 12. Suppose 4*l - 76 = g*d - 0*d, 2*l - 4*d - 38 = q. Is l a multiple of 19?
True
Let d(b) = -7*b + 7. Is d(-6) a multiple of 24?
False
Suppose x + 2 = 2*x + 4*l, -5*l = 4*x - 19. Is x a multiple of 5?
False
Does 8 divide (16/(-8))/(2/(-8))?
True
Let m(y) = 2*y**2 - 3*y + 2. Let l be m(4). Let j = l + -11. Does 11 divide j?
True
Let b(w) = w**2 + 8*w - 27. Does 7 divide b(-13)?
False
Suppose -7*h = -2*h + 40. Let v = -2 - h. Is -6*(-2 - 9/v) a multiple of 8?
False
Let a be ((-6)/(-9))/(2/6). Let c be (3 - 4)/((-1)/a). Suppose 8 = 5*v - c*h - 203, 3*v - 3*h = 132. Does 17 divide v?
False
Let l = -5 + 5. Suppose 5*t + 4*h - 169 = l, 3*t - 103 = -5*h + h. Is 16 a factor of t?
False
Let i(q) = -4*q**2 - 9 + 10*q + 4*q**2 + q**3 - q**2 - 6*q**2. Is i(6) a multiple of 6?
False
Suppose -1 + 5 = 5*d + 4*y, 0 = -d - y. Suppose -p - 3*p - 25 = -3*n, 0 = -d*n - p + 27. Is 2 a factor of n?
False
Let d be 4/26 + (-714)/(-91). Is (-3)/12 + 266/d a multiple of 8?
False
Suppose 0 = 3*r + 16 - 193. Is 35 a factor of r?
False
Let a be ((-455)/(-21))/((-1)/3). Let t be a/(-25) - 2/(-5). Suppose -3*f - t = -81. Does 15 divide f?
False
Let n(m) = 2*m**2 - 2*m**3 + 2 + 4*m**3 + 2*m**2 - 5*m - m**3. Does 11 divide n(-4)?
True
Let q be (0/(-1 + -1))/2. Suppose 2*x - 4 = -q*x. Suppose 0 = -x*a - 0*w - w + 20, -4*a + 24 = -2*w. Is 7 a factor of a?
False
Is 13 a factor of 1398/12 + (-2)/(-4)?
True
Suppose 20 + 15 = 5*g. Suppose 0 = -0*v - 3*v - 3*m + 48, -g = -v + 2*m. Does 5 divide v?
False
Let q = -9 - -11. Suppose -19 = -3*t + q. Is 2 a factor of t?
False
Let f = -7 + 10. Let m be 12/(1*(-2)/f). Let z = 31 + m. Does 13 divide z?
True
Suppose 2*d + 2*d = -5*l + 20, -2*d + 10 = -l. Let w = 15 - 7. Suppose 0 = 2*g + w, i - 17 = d*g + 15. Is i a multiple of 6?
True
Let j be (-1)/4 - 50/(-8). Suppose 0 = 4*q - 3*y - 7, -j*y = -q - 2*y - 8. Suppose 19 = 2*a - b, 3*b + 23 = q*a - 2*b. Is 6 a factor of a?
True
Suppose 4*m + 8 = 4*l, m = -2*m + l + 4. Suppose m*c = 2*c + 54. Is c a multiple of 13?
False
Let w be 4/14 - 52/(-14). Let o be (-228)/8*w/2. Let b = o - -87. Is b a multiple of 15?
Tru