 (3 + -1)). Is 14 a factor of k(b)?
True
Suppose -110 = -3*j + 34. Is j a multiple of 14?
False
Suppose 0 = u - 7 - 1. Suppose 5*m = -2*v + 44, -3*v - 2*m + 52 - u = 0. Suppose -d + 1 = -v. Is d a multiple of 6?
False
Suppose 3*g - 23 = 4*s, -2*g + 3*g + 4*s + 19 = 0. Suppose -q + g = -11. Is q a multiple of 7?
False
Let a = 0 + 4. Suppose -a*w = -5*q - 107 - 80, 5*w - 235 = 5*q. Is w a multiple of 11?
False
Suppose 5*p + 12 = -3*k, -2*k - 3*k = -5*p - 20. Is 9 a factor of -1*(k + (1 - 11))?
True
Suppose 8*b - 28 = -4*r + 5*b, -2*r + 5*b - 12 = 0. Let h = r - -1. Is 5 a factor of h?
True
Let n be (30/12)/((-1)/22). Let h = 78 + n. Is h a multiple of 9?
False
Let p(h) = -13*h + 2. Let s be p(2). Let z = s + 48. Is z a multiple of 12?
True
Let p(o) = o**3 - 8*o**2 - 8*o + 1. Let a be p(9). Let w = a - 6. Suppose w*n - 2*v - 24 = 2*n, 4*n - 54 = v. Is 7 a factor of n?
True
Let t = -62 + 96. Let h be t/(-8) + (-1)/(-4). Does 5 divide 1 + 1 - 44/h?
False
Let u be 28/4 + (-6)/2. Suppose 3*w + a + 12 = 0, a + 16 = -u*w + 2*a. Is 16 a factor of -5*(w + -3) - 3?
True
Suppose -3 = -3*p + 3. Let u be (-36)/8*(0 + p). Is 2 a factor of (-7)/(-3) - 6/u?
False
Let f(a) = a**2 + 7*a + 5. Let h be f(-7). Let k(i) = -2*i + 1. Let d be k(-2). Suppose 4*m - 10 - d = 5*z, 30 = h*m - 4*z. Does 5 divide m?
True
Let w = -11 + 4. Let l = w - -101. Does 19 divide l?
False
Suppose 5*m + 221 = 5*a + 71, -2*a + 5*m + 48 = 0. Let u(v) = v**3 - 13*v**2 + 11*v - 9. Let o be u(12). Let t = o + a. Does 11 divide t?
False
Suppose -28 + 196 = -4*q + 4*r, 0 = q - 5*r + 58. Let y = -11 - q. Is 14 a factor of y?
False
Let v(a) = -a**2 - 3*a + 4. Suppose 6 = -2*d - 0*d. Let k be v(d). Is 10 a factor of (k/(-6) + 0)*-15?
True
Suppose 8 + 5 = m. Is 13 a factor of m?
True
Suppose s + 25 = j + 6, 4*s + 5*j + 49 = 0. Let g be (-4 + 1)/(12/s). Does 10 divide -2 + g - -1*16?
False
Suppose -4*o = -6 - 14, -o + 14 = u. Let a be 1/1 + 2*7. Let q = a - u. Is q a multiple of 6?
True
Let y = 53 + -12. Is y a multiple of 8?
False
Let b = -84 + 153. Does 14 divide b?
False
Let m = 22 - 52. Let g = m - -52. Is 6 a factor of g?
False
Let r = -87 + 171. Is r a multiple of 14?
True
Let v = 30 + -15. Suppose 4*y - 5*y = -v. Is 5 a factor of y?
True
Let p = -1 + 2. Suppose -2*f - t = -16, 4*t - t = f - p. Does 5 divide f?
False
Suppose 53 = -4*o + 449. Is o a multiple of 11?
True
Suppose 2*x + 1612 = 3*h, -3*x + 0*x = -3*h + 1608. Is 18 a factor of h?
True
Suppose 0 = -2*y - 3*y. Let p = y - -1. Is (0 - -1)/(p/5) a multiple of 5?
True
Let x(y) = -y**3 - 16*y**2 - 16*y - 15. Let p be x(-15). Let n(k) be the third derivative of k**4/24 + 4*k**3 + k**2. Is n(p) a multiple of 12?
True
Let l = 9 - 6. Let w be (l + (0 - 2))*9. Does 5 divide 88/w + (-12)/(-54)?
True
Suppose 0 = 2*w + w + 6. Let f(m) = 7*m**2 + m + 1. Let s be f(w). Let a = 44 - s. Does 13 divide a?
False
Let z be 0 + (3 + -2 - 2). Does 4 divide ((-12)/10)/(z/5)?
False
Suppose -3*o + 4*p - 2*p + 99 = 0, 0 = -o + 2*p + 33. Let w = -17 + o. Is w a multiple of 3?
False
Let i = -13 + 82. Is 23 a factor of i?
True
Suppose -138 = 2*r - 6*r + 2*s, -4*r + 132 = 4*s. Does 8 divide r?
False
Suppose 4 = u - 3. Let p = 18 - u. Does 7 divide p?
False
Suppose 6 = -5*o + 26. Suppose o*l + 208 = 4*s, 5*s - l + 1 - 261 = 0. Does 13 divide s?
True
Let c = 0 - -7. Let t be c - 5 - (-12 + 0). Let f = t + -9. Is 5 a factor of f?
True
Let x = 5 + 1. Is 6 a factor of x?
True
Let p be 2 - (0 + -2 + 1). Suppose 3*w = j - 12, -j + 0*j + p = 0. Does 4 divide 10/(-15) - 14/w?
True
Let a = 87 - 42. Is a a multiple of 10?
False
Let x(a) = -a + 9. Is 11 a factor of x(-13)?
True
Let m(n) = n**3 + n**2 + 11. Suppose -2*v + 0 - 2 = -3*c, -c + 5*v = -5. Is m(c) a multiple of 4?
False
Let m be (-582)/4*60/(-45). Let o = m - 92. Is o a multiple of 30?
False
Let f = -375 + 628. Does 11 divide f?
True
Let m(f) = 0*f**3 + 5*f + 5*f**2 + f**3 - 3 - 7*f. Let j be m(-6). Let v = -13 - j. Is v a multiple of 5?
False
Let l(s) = -s**3 - 7*s**2 - 6*s + 3. Let y be l(-6). Suppose -3*u = -y*c - 45, -3*c - 3*u = c + 60. Let t = c - -34. Is 8 a factor of t?
False
Suppose -j - 4*p + 15 = -p, 4*j - 21 = p. Suppose 0 = -4*v - 5*y + 40 + 123, -j = -2*y. Is 27 a factor of v?
False
Let t(v) = -1. Let d(y) = -y + 14. Let i(m) = d(m) + 4*t(m). Let c be i(5). Let a = c - 3. Is 2 a factor of a?
True
Let z be (-28)/(-21) + (-4)/3. Let r(l) = 2*l**2 - 2*l - 8. Let h be r(-6). Suppose z = f + f - h. Is 19 a factor of f?
True
Does 23 divide 163/7 + (-6)/21?
True
Let g = 94 - 17. Does 11 divide g?
True
Suppose -29 = -2*v + x + 6, -3 = -3*x. Is v a multiple of 6?
True
Let j(n) = -3*n**3 + 2*n**2 - 1. Let m be j(-1). Suppose -4*b - m - 10 = h, -h + b + 6 = 0. Suppose 3*l - 36 = -4*c + h*c, -4*l + 49 = 3*c. Does 10 divide l?
True
Let q(z) = z**3 + 6*z**2 + 6*z + 6. Let a be q(-5). Is 14 a factor of 4/(-8)*-38*a?
False
Suppose 3*l - 2*m = 226, -l - 2*m + 22 = -48. Let d = -34 + l. Does 20 divide d?
True
Suppose -h = 3*r - 162, -4*h - 168 = -3*r - 3*h. Does 12 divide r?
False
Let p(h) = -h**2 + 5*h + 6. Let s be p(6). Suppose q = -3*g + 56, 3*g - 5*q = g + 60. Let a = g - s. Is 10 a factor of a?
True
Suppose -10 + 31 = 3*u. Let o(q) = -u - 2*q - q + 2. Is o(-4) a multiple of 3?
False
Let y = -7 - -26. Is 4 a factor of y?
False
Let g be 18/12*52/6. Suppose i - 2*k = -6*k + g, -3*i - 5 = k. Let n(v) = 2*v**2 - v. Is 21 a factor of n(i)?
True
Let n = 3 - 2. Suppose -f + n + 12 = 0. Does 13 divide f?
True
Let m = -5 + 5. Suppose -2*c + 4 = -3*l, -3*c + 3*l + 3 + 9 = m. Is c a multiple of 4?
True
Does 28 divide (-152)/2*(2 - -5)/(-7)?
False
Let w(b) = -19*b + 23. Let p(q) = -6*q + 8. Let d(c) = -8*p(c) + 3*w(c). Let z be d(7). Let h = z - -104. Is h a multiple of 12?
False
Let v be 102/21 - (-2)/14. Suppose 5*m - d = 140, -4*m + 46 + 37 = v*d. Is m a multiple of 9?
True
Let b(s) = 24*s + 40. Suppose -5*u = t + 20, -5*u + 94 + 86 = -4*t. Let n(i) = i + 1. Let p(h) = t*n(h) + b(h). Is p(-1) a multiple of 10?
False
Let u be -1*16*1 + -2. Let c = u + 48. Suppose -c = -5*s + 2*s. Is s a multiple of 5?
True
Let i(m) = 4*m**2 - 2*m + m**2 - 1 + 2*m**2 - 3*m**2. Does 5 divide i(2)?
False
Suppose 0 = v - 6*v - 265. Let p = -16 - v. Is p a multiple of 12?
False
Let s be ((-16)/40)/((-2)/10). Let l = 9 - s. Suppose 4*t = l*t - 66. Is 11 a factor of t?
True
Does 14 divide 142/5 - 12/30?
True
Suppose -5*n + 6*n - 97 = -2*k, -2*n = -k + 51. Let x = k - 34. Is 10 a factor of x?
False
Suppose -7*s + z = -3*s - 44, 0 = -s - 4*z - 6. Let b(r) = -r - 8. Let h be b(s). Does 3 divide h/(-1*3) + -1?
False
Let w(r) = 4*r**3. Let y be w(-1). Let v be y/(-1 + 15/13). Is v/(-8) + (-1)/4 even?
False
Let n be 8 + -2*1/2. Suppose o = n - 25. Let y = o - -46. Does 15 divide y?
False
Suppose -3*u = -5*x + 29, -3*x + 10 = x + 2*u. Suppose -l - 4*q + x = -9*q, 3*l = 3*q + 12. Suppose l*f - 38 = -2*y, y + 0*f - 22 = -f. Is y a multiple of 11?
False
Let r = 2 - 27. Let h = r - -46. Is 9 a factor of h?
False
Suppose 0*h = -5*k + 3*h + 156, -k = -4*h - 38. Is k a multiple of 30?
True
Suppose -u + 0*u = -50. Let d = 2 + u. Is d a multiple of 13?
True
Let y = -26 - -62. Is y a multiple of 9?
True
Suppose 0 = -t - 0*t + 3. Suppose t*m + m - 27 = -5*w, w = m - 9. Is m a multiple of 2?
True
Suppose 2*u = 2*z + 68, 74 = -z - 2*z - 4*u. Suppose -4*p + 165 = -h, 3*p - 5*h = 125 - 14. Let t = p + z. Does 12 divide t?
True
Suppose -2*y - r = -15, y - 2*r - 3*r + 9 = 0. Suppose 0 = k - y*k + 135. Is k a multiple of 9?
True
Suppose -2182 = -5*l - 2*x, 2*x - 426 = -l - x. Suppose -5*y = 2*t - l, y = -t + 99 - 9. Let g = y - 43. Is 16 a factor of g?
False
Suppose -x + 705 = 3*x + c, -4*c + 4 = 0. Is x a multiple of 16?
True
Suppose -4*z = -3*x - 4, -2*z + 3*x + 2 = -2*x. Let y = 7 - z. Let t(b) = b**3 - 7*b**2 + 8*b + 3. Is 11 a factor of t(y)?
False
Let r = -84 + 167. Does 20 divide r?
False
Let m = -11 + 11. Suppose 4*s + j - 13 = m, -4*s = -4*j - 6 - 22. Does 2 divide s?
True
Is (-54*1)/(5 - 7) a multiple of 9?
True
Let w(a) = 29*a**3 - a + 7*a**2 + 1 - 7*a**2. Does 8 divide w(1)?
False
Suppose 0 = -4*h + 3*g + 17, -3*h - 4*g = -2*h - 9. Suppose -4*i = 2*r - 16, h*i + 36 = 5*r - 4. Is 6 a factor of r?
False
Suppose 6 = 2*x + 2. Suppose 82 = 5*g + d, 23 = 4*g - 