 - 63. Does 7 divide (6/5)/(s/240)?
False
Let j(b) = -b**2 - 18*b + 46. Does 2 divide j(-20)?
True
Let h = 153 - 108. Is 15 a factor of h?
True
Let w = -47 + 98. Is 10 a factor of w?
False
Let p be 2/(-4)*0/9. Suppose 0 = -p*a + a - 23. Is 19 a factor of a?
False
Suppose 0 = 3*d + 5*b - 30, 2*d = -3*d + 3*b + 16. Suppose 6*w - 4*w - 99 = 3*k, d*w + 3*k - 195 = 0. Is 14 a factor of w?
True
Suppose -4*v + g = -83, 5*v - v - 4*g - 92 = 0. Does 4 divide v?
True
Let l(s) = s**3 - s**2 - 2*s + 3. Let q be l(2). Suppose 5*i = -5*j, -3*j = -4*i - q - 18. Suppose j*f + 3*p = 138, 30 + 8 = f + 5*p. Is 18 a factor of f?
False
Let v = -142 + 176. Is 10 a factor of v?
False
Let v(d) = -d**3 - 3*d**2 - 3*d - 4. Suppose 3*k - 8 = 5*k. Does 6 divide v(k)?
True
Let w = 26 + -14. Suppose 0 = 2*j - 0 - w. Is 6 a factor of j?
True
Does 42 divide (16/(-6))/(14/21) - -88?
True
Let n(c) = -c**3 - 8*c**2 - 10*c + 3. Let z = 0 - -3. Suppose -2*f = -z*s + 30 - 1, 32 = -f + 5*s. Is 12 a factor of n(f)?
True
Let l = 30 - -21. Suppose l + 27 = 2*c. Does 15 divide c?
False
Let v(m) = -29*m + 1 - 21*m + 18*m - 15*m. Is v(-1) a multiple of 18?
False
Let l(v) = v**3 - 3*v**2 - 3*v. Let k be l(4). Suppose -2*c + 0*h = k*h - 18, -4*h = c - 9. Does 4 divide c?
False
Let l be (1 + 0)*41/(-1). Let v = l - -70. Does 22 divide v?
False
Suppose 120 - 309 = -t. Is 11 a factor of t?
False
Let g(l) be the first derivative of l**5/60 - l**4/8 + l**3/3 - l**2/2 - 2. Let j(u) be the second derivative of g(u). Does 2 divide j(3)?
True
Let z be 1 - (-6 + 2) - 0. Suppose 7 - 42 = -z*y. Let d(x) = 2*x + 2. Is 6 a factor of d(y)?
False
Suppose 0 = 2*z - 9 + 3. Suppose -z*j + 75 = 18. Is j a multiple of 15?
False
Let s = 2 + 20. Does 6 divide s?
False
Suppose 4*h - 6 = 14. Suppose -3*k + 21 = 5*i - 26, 0 = 2*k - h*i + 2. Does 3 divide k?
True
Let p = 63 + -26. Suppose -d + p = 15. Is 11 a factor of d?
True
Suppose -5*y + 4*y = -12. Does 4 divide y?
True
Let g(p) = p**3 - p**2 - 7*p + 6. Let n be g(4). Let f = -10 + 0. Let j = f + n. Is j a multiple of 13?
False
Let d = 24 + -11. Suppose d*n + 50 = 14*n. Is n a multiple of 15?
False
Let v = 106 - -11. Is 10 a factor of v?
False
Suppose -y + 9 = -2. Does 2 divide y?
False
Suppose 0 = 7*u - 9*u + 178. Does 16 divide u?
False
Let s = -99 + 154. Is 12 a factor of s?
False
Does 19 divide 4*(-4)/((-16)/123) - 3?
False
Does 22 divide (-20)/(2/(-11)*1)?
True
Let j(t) = -4*t. Let b be j(-2). Is 28 a factor of 84/b*(-24)/(-9)?
True
Let m(x) = x**2 + 6*x + 4. Let w be m(-5). Does 3 divide 6 + w - (5 - 3)?
True
Let d(x) = -x + 6. Let s be d(14). Is (-2)/s - 45/(-12) even?
True
Let r(v) = -v**3 - 9*v**2 - 1. Let l be r(-9). Is (-3 - l)*(-11 - -4) a multiple of 7?
True
Suppose 0 = -4*b + 7 + 9. Let v be b*(7/(-2) - -1). Is (-4)/v + (-206)/(-10) a multiple of 11?
False
Let r(l) = -4*l**2 - 7*l - 1. Let x(p) = -5*p**2 - 8*p - 1. Let k(b) = 6*r(b) - 5*x(b). Let d be k(3). Suppose 19 = d*u + 3. Does 4 divide u?
True
Suppose -o + 2 + 1 = 0. Suppose o*z + 5*q = 29 - 0, -5*q = 5*z - 35. Suppose 0 = -z*p + 66. Is 11 a factor of p?
True
Let u(l) = l**3 + 5*l**2 + 2*l - 5. Let j be u(-4). Let h be (j/(-3))/(2/(-8)). Suppose -3*x - h + 16 = 0. Is 3 a factor of x?
False
Let d be (-2)/(-4) + (-30)/4. Let s = -5 - d. Suppose s = 3*i - 16. Does 6 divide i?
True
Let z(w) = -3*w**3 - 20*w**2 - 15*w - 18. Let a(n) = -5*n**3 - 39*n**2 - 30*n - 37. Let g(q) = 4*a(q) - 7*z(q). Is 11 a factor of g(17)?
False
Suppose -305 = -5*u - 0*u. Suppose -k = 2*k + 4*n + u, 0 = -4*k + 2*n - 96. Let w = k - -49. Is w a multiple of 10?
False
Let w be -5*1 - 6/3. Let l = 12 + w. Suppose l*n + 4 - 29 = 0. Is 3 a factor of n?
False
Let p be 6/(-2)*(-4)/6. Suppose -4*x + 62 = q, x - p*x = -4. Suppose 4*a - 5*a + q = 0. Does 24 divide a?
False
Suppose 2*j - 15 = -3*j. Let y be 3*(-1 - (-8)/j). Suppose 87 = 3*l + y*x, -6*x + 4*x = -2*l + 42. Does 12 divide l?
True
Let z(i) = -i**3 - 5*i**2 + 2*i + 8. Does 12 divide z(-6)?
False
Let l = 96 + -63. Suppose -102 = -5*g + l. Suppose -3*n = -5*w + 18 + 19, 3*w - 3*n = g. Does 2 divide w?
False
Let j be (-720)/35*(-28)/6. Let c = 0 + 2. Suppose -c*g - g = -j. Is 16 a factor of g?
True
Suppose -3 = -b - 0. Suppose b*k - 3 = 3. Suppose -k*l = l - 3*f - 9, 2*f - 29 = -5*l. Is l a multiple of 5?
True
Is 9 a factor of ((-65)/10)/(4/(-16))?
False
Let b(x) = -x**2 + 10*x - 8. Suppose 5*m - 32 = -2. Is 10 a factor of b(m)?
False
Suppose -166 = -3*q + 11. Is 9 a factor of q?
False
Let u(r) = 4*r**3 - 4*r**2 + 2*r. Does 17 divide u(3)?
False
Let t be (4/6)/(4/66). Suppose 0 = 4*c + 5*l - 76, -2*c - 5*l + t = -37. Does 7 divide c?
True
Let z = 1 - -42. Suppose x = 4*c + z, 0 = -x + 3*x - c - 58. Is x a multiple of 9?
True
Let h be (-38)/6*(-6 - -3). Let q = h - 8. Does 2 divide q?
False
Let a = -33 - -65. Does 15 divide a?
False
Let j be 2/(-6) - (-7)/3. Suppose j*m = 2 + 2. Suppose m*n + 38 - 5 = 3*y, 4*n - 6 = -2*y. Is 7 a factor of y?
False
Suppose -3*k + 36 = 5*a, -3*k + 11 = a - 25. Let g = k - -15. Is 20 a factor of g?
False
Let d = 23 - 17. Is -4 + -18*(-4)/d a multiple of 4?
True
Let x(r) = r**3 + 5*r**2 + 6*r - 1. Let n = -8 + 14. Let k(g) = -g + 1. Let t(j) = n*k(j) + x(j). Is 9 a factor of t(-4)?
False
Let h(b) = -b**3 - 5*b**2 + 4*b + 2. Suppose 0 = -2*a + 2*u - 18, 4*a + 2*u + 33 = 5*u. Let y be h(a). Let s = y - 1. Is s a multiple of 10?
False
Let w(v) = -v**2 + 8*v + 11. Let h be w(9). Suppose -h*f + 4*c - 40 = -3*f, -3*f + 195 = -3*c. Suppose f = 6*y - y. Is y a multiple of 6?
True
Is 15 a factor of 53*2 - (-14)/(-14)?
True
Suppose -q + 0*c + 11 = c, -3*q + 27 = 5*c. Does 5 divide q?
False
Suppose 7 + 0 = -h. Does 10 divide (3/1)/(h/(-77))?
False
Suppose j = 1 + 1. Suppose 4*r - 8 = j*r. Suppose -19 = -r*z + 57. Is 12 a factor of z?
False
Let b(k) be the third derivative of -k**6/120 + k**5/15 + k**3/6 + k**2. Is 4 a factor of b(3)?
False
Let z(v) = 2*v**3 - v**2 + 3*v - 3. Is z(2) a multiple of 3?
True
Let p be 2 - (-2 - -1) - 0. Suppose -p*v = -2*v - 24. Does 8 divide v?
True
Let j = 6 + 1. Suppose 2*a + b + 652 = j*a, -b = 2*a - 258. Suppose -5*z + 10*z = a. Is z a multiple of 12?
False
Let f = 2 - -16. Does 5 divide f?
False
Let d(l) = l + 13. Let o be d(-9). Suppose o = 2*u - 2. Suppose 0 = s, 2*s - 4 = u*a - 34. Does 5 divide a?
True
Let k(v) = -v**2 + 2*v - 3. Let u be k(2). Let i = u + 18. Does 5 divide i?
True
Suppose -5*u + 3*k + 20 = 0, -3 = 2*u + 3*k + 10. Let f(r) = 15*r**2 + 1. Is f(u) a multiple of 8?
True
Let t = 231 + -110. Does 28 divide t?
False
Let w(m) = 0*m**3 + m**3 + 4*m**3 - 3*m**2 - 3*m**3. Does 4 divide w(2)?
True
Let r(d) = 13*d. Let p be (-8)/20*(1 - 6). Does 13 divide r(p)?
True
Let m = 76 - -55. Is 22 a factor of m?
False
Let a be (-4)/(-10) + 46/10. Let m(l) = 2*l + 5. Is 5 a factor of m(a)?
True
Suppose -4*y - 2*o = -572, 4*o = -2 - 6. Is y a multiple of 6?
True
Let z(p) = p - 3*p**2 - 7*p - 2 + p**3 + 3 + p**2. Does 9 divide z(4)?
True
Let x = 10 + -15. Is (-4)/10 + (-142)/x a multiple of 11?
False
Does 15 divide 14 - (-6 - -4)/2?
True
Let m(z) be the first derivative of -z**4/4 - 4*z**3/3 + 1. Let u be m(-4). Suppose g + g - 10 = u. Is g even?
False
Let h(l) = -l**3 - 3*l**2 + 3*l - 2. Let d be h(-4). Suppose -d*i + 7*i + 175 = 0. Let w = i - -52. Is 9 a factor of w?
False
Let x(a) = 2*a**2 - 3*a - 8. Does 12 divide x(-4)?
True
Let i be (-3)/12 + 101/4. Suppose l = 6*n - n - 22, 5*l + 2*n = i. Is 3 a factor of l?
True
Let n = 15 + -10. Is 3 a factor of n?
False
Suppose 2*i + 500 = 4*w, 0*i = 5*w - 5*i - 635. Suppose 0 = n - 4*n + w. Is 15 a factor of n?
False
Suppose 0 = 5*a - 2*c - 90, -2*c - 29 = -4*a + 41. Is (-18)/(-3)*a/6 a multiple of 7?
False
Let y be 3/(-2)*656/(-6). Suppose -2*m = -4*m + y. Is 23 a factor of m?
False
Let i(t) = 4*t**2 - 5*t - 3. Let c(u) = -7*u**2 + 9*u + 5. Let d(k) = -3*c(k) - 5*i(k). Let j be d(-2). Suppose -2*s + j = -8. Is s a multiple of 3?
False
Let d = -3 - -4. Let h = -7 + d. Is 5 a factor of (-450)/20*4/h?
True
Suppose g + 2 = w, 4*w - 2*g = w + 7. Let v be 1/(w + -1)*4. Suppose 0 = -v*c - 2*c + 112. Does 14 divide c?
True
Suppose 4*g + 2*u - 3*u = 225, -4*g = -4*u - 228. Is 14 a factor of g?
True
Suppose -4*g = 5*k + g - 340, -135 = -2*k - 3*g. Is k a multiple of 10?
False
Let 