-23 = 3*m + v + 8, 1 = -v. Is 7 a factor of k/5 + 4/m?
False
Let t = -1 - -4. Suppose -2*q - 11 = n, 6 = t*n - q + 46. Let a = n - -23. Is 6 a factor of a?
False
Suppose 3*q - 5*g = -q + 644, 5*q - g - 784 = 0. Is 33 a factor of q?
False
Suppose -2*a = 3*a - 4*w - 354, 5*a + w - 374 = 0. Is 37 a factor of a?
True
Let q be 172/12*(-2 - -5). Suppose 4*p = 3*h + q, 3*h + 7 = -8. Is p a multiple of 3?
False
Let v be 2*7/((-28)/(-30)). Let r = -12 - -17. Suppose 2*l = l + y + v, 5*l - 25 = -r*y. Does 10 divide l?
True
Suppose 3*b = 5*x - 160, -5*x + x + 128 = 4*b. Suppose 0 = -4*g + x. Is g even?
True
Let g = -14 - -24. Does 10 divide g?
True
Let d(m) = 8*m**2 + 13*m + 3. Is d(-4) a multiple of 5?
False
Let m be (57/(-9) + 3)*3. Does 5 divide 208/20 - (-4)/m?
True
Suppose -3*q + 5*t + 44 = 0, 2*q + 2*q - 3*t - 55 = 0. Is q a multiple of 6?
False
Suppose -2*c + 0*l - l = -128, -c + 64 = -4*l. Let z = c + 188. Suppose -4*k + 5*h = -z, 0 = -k - h + 5*h + 74. Does 20 divide k?
False
Let j be (24/15)/((-8)/(-60)). Suppose -4*k - j = 0, 127 = 5*p + 4*k - 156. Is 20 a factor of p?
False
Let b(l) = -1 - 2*l - 6 - l. Is b(-8) a multiple of 9?
False
Let y = 28 - 5. Is y a multiple of 11?
False
Let t be 37 - (-2 - (2 + -4)). Let s = 79 - t. Is 16 a factor of s?
False
Let y(d) = d**3 - 8*d**2 + 4*d - 4. Let m(l) = l**2 - 6*l - 4. Let o be m(7). Suppose -5*t = o*c - 4, -5*c + 3*c = -3*t - 28. Is y(c) a multiple of 12?
False
Let d = 131 + -86. Does 10 divide d?
False
Suppose 3*c - 4*c = 6. Let y = 9 + c. Suppose -y*s + s + 24 = 0. Does 6 divide s?
True
Suppose 30 = 2*r + 3*n + 7, 3*n = -4*r + 61. Is 6 a factor of r?
False
Let i = -13 + 15. Suppose 169 = i*v - 5*n, -3*v + n + 293 = v. Is v a multiple of 24?
True
Let u(c) = -c**3 + 2*c**2 + 2*c + 3. Let y be u(3). Suppose -5*b - 4 + 19 = y. Is b a multiple of 2?
False
Let m = 88 + -24. Is 64 a factor of m?
True
Suppose h - 40 = -h. Is 10 a factor of h?
True
Suppose 5*q - 12 - 33 = 0. Suppose 3*r + x = 15, 3*r + 6*x = 3*x + q. Is 5 a factor of r?
False
Let s(x) = 8*x**2 - x - 5. Is s(3) a multiple of 16?
True
Suppose d + 28 = -3*d. Does 17 divide (-2)/(-7) + (-271)/d?
False
Let u(p) = -p - 1. Let g be u(-3). Let t be 228/20 - g/5. Let n = 21 - t. Does 4 divide n?
False
Let b(n) = -2*n + 7. Is 19 a factor of b(-6)?
True
Let d(y) = y**2 + y - 1. Let a be d(2). Let n(m) = m - m**2 - a + 8*m - m. Does 2 divide n(7)?
True
Suppose j - 100 = -5*k + 3*j, 60 = 3*k - 4*j. Suppose d - 40 = -k. Is d a multiple of 10?
True
Let k(w) = w**2 + 3*w + 1. Let r be k(-8). Suppose 3*m = 2*b + 8*m - 5, 3*m = -5*b + r. Suppose -b - 26 = -y. Is y a multiple of 12?
True
Let z(p) = 7*p**2 - p. Let d be z(-1). Is 3 a factor of 52/d*(1 - -1)?
False
Suppose 578 - 2006 = -4*v. Is v a multiple of 51?
True
Let j = 51 - 40. Is 11 a factor of j?
True
Suppose -2*x + 11 = -3. Is x a multiple of 2?
False
Suppose 16 = 2*p + 2*p. Suppose -q = -p*q + 75. Let c = -11 + q. Is 5 a factor of c?
False
Suppose 0 = f + 12*f - 1170. Is 18 a factor of f?
True
Let r(m) be the third derivative of 4/3*m**3 - 2*m**2 + 0*m + 0 - 1/24*m**4. Is r(4) a multiple of 4?
True
Let w(b) = b**3 + 13*b**2 + 14. Let h be w(-13). Let m be (-18)/(-6) + (h - 1). Let k = 26 - m. Does 6 divide k?
False
Let x(l) = -23*l - 19. Is x(-6) a multiple of 9?
False
Let h = -65 - -113. Is h a multiple of 6?
True
Let l be -1 - (-5 + -1) - 1. Let h be l/5*5/2. Suppose h*g - 84 = -28. Is 14 a factor of g?
True
Let h = 399 + -232. Is 20 a factor of h?
False
Let t(n) = n**3 + 5*n**2 - 5*n + 6. Let q be t(-6). Suppose 5*c - 349 + 104 = q. Is c a multiple of 9?
False
Let a = -132 + 275. Suppose k + a = 5*d + 8, 3*k = 0. Let q = 48 - d. Is 11 a factor of q?
False
Let w(g) = g + 6. Let c be w(-4). Let u = c - -5. Is u a multiple of 3?
False
Let h be 4 + -1 + (-126)/2. Let k be (-10)/4*h/6. Suppose s - 2*s = -k. Is 15 a factor of s?
False
Does 16 divide (3/(-6))/((-5)/640)?
True
Let n(a) = a. Let f(r) = -r**3 - 2*r**2 + r + 3. Let q(o) = f(o) + n(o). Does 10 divide q(-4)?
False
Let u be (0 - (-4 - -2))/(-1). Let r be (2 - (-4)/u) + 135. Suppose 3*x = -2*x + r. Does 11 divide x?
False
Let x be (-2 - -3)*(-1 + -1). Is 11 a factor of x/6*(-99)/3?
True
Suppose -5*g + 2*j = -21, -13 = -g - 2*g + j. Let z be (-78)/(g/(10/(-4))). Suppose -z - 30 = -3*k. Does 23 divide k?
True
Let b be (-2)/(-4)*1*4. Suppose 4 = i + b. Suppose i*j - 80 = -3*j. Does 12 divide j?
False
Let g(b) = b**3 - 12*b**2 - 12*b + 2. Is 3 a factor of g(13)?
True
Suppose 2*v - 16 = -2. Suppose v*p - 2*p = -3*h + 44, 2*p - 29 = -5*h. Is p a multiple of 2?
False
Let r(a) = -3*a**2 - 28*a + 17. Is 26 a factor of r(-9)?
True
Let t = -33 - -12. Is (t/6)/(1/(-2)) a multiple of 6?
False
Let z = 0 + 3. Suppose -y - 2*y + 4*g = -31, 4*y + z*g = 83. Is 6 a factor of y?
False
Let j = -253 - -578. Suppose -j = -6*c + c. Suppose 0 = -d - 5*w + 89, w = d - 0*w - c. Is d a multiple of 26?
False
Let g(r) = 4*r**3 - 8*r**2 + 18*r - 5. Let b(c) = c**3 + c + 1. Let s(j) = -5*b(j) + g(j). Is 20 a factor of s(-10)?
True
Let n = -11 - -21. Let j(v) = -v**2 + 11*v - 1. Does 9 divide j(n)?
True
Suppose -5*q - 19 = -5*a + 6, -a = -5*q - 45. Let c be (6/4)/(5/q). Let b(f) = 2*f**2 - 1. Does 14 divide b(c)?
False
Suppose 3*m + 20 = -0*p + 4*p, -2*p + 2*m + 10 = 0. Let s(o) = -o**3 + 7*o**2 - 2*o - 7. Is 10 a factor of s(p)?
False
Suppose -r + 0*r = 11. Let f = 17 - r. Is f a multiple of 7?
True
Suppose 0*j = -3*j + 5*w + 495, -4*w - 332 = -2*j. Does 32 divide j?
True
Let r(x) = 3*x + 17. Let p = -4 + 0. Let z(v) = 4*v + 16. Let o(f) = p*z(f) + 5*r(f). Is 12 a factor of o(0)?
False
Is 8 a factor of (-4)/6 + 524/12?
False
Suppose -5*w + 0 + 15 = 0, -m = 4*w - 37. Let g = 49 - m. Does 12 divide g?
True
Let k be (1 - 2)*(-4 + 3). Is 2 - ((-1)/k + -16) a multiple of 17?
False
Is 31 a factor of (-372)/(-9)*((-5)/(-2) + -1)?
True
Let n(o) = -3*o**3 + 2*o**2 - o + 7. Does 23 divide n(-4)?
False
Let p be (-215)/(-4) - 2/(-8). Suppose 0 = -4*f + p + 90. Is 7 a factor of (f - 0)*1/2?
False
Let a = -10 + 28. Is a a multiple of 11?
False
Suppose -4*w + 235 = -5. Does 14 divide 4/(-1 - w/(-56))?
True
Let a = -5 + 11. Suppose 3*h = a, l = 3*h - 2 - 5. Is (l - -3)/(1/13) a multiple of 18?
False
Let m be -6*1/(-2)*1. Suppose -m*j = -j - 12. Suppose 2*b + j = 70. Is 16 a factor of b?
True
Let y be (-10 - -7)/(3/4). Let g(j) = 3*j**2 - 5*j + 5. Let w(k) = -k**2 - 1. Let b(c) = g(c) + 4*w(c). Does 4 divide b(y)?
False
Let n = 63 - -36. Does 33 divide n?
True
Suppose 0 = 3*i + 5*k - 11, 2*i - 3*k + 10 = 49. Suppose -5*s - 90 = -2*w, 0*s + i = 3*s. Is 16 a factor of w?
False
Suppose 2*t - 3*t + 26 = 0. Let o(n) = -3 - 5*n + t*n + 2. Does 10 divide o(1)?
True
Let g = -6 + 12. Let p(h) = 3 - h + 4*h - 2*h + 3. Is 6 a factor of p(g)?
True
Let n(l) = -32*l**3 + l**2 + l. Is 32 a factor of n(-1)?
True
Let l(p) = p**3 + 7*p**2 + 5*p + 8. Does 8 divide l(-5)?
False
Suppose -2*a = -5*a + 3*w + 9, -5 = 5*w. Suppose 6 = a*j - 0. Suppose 5*d = 0, 0*v = 3*v - j*d - 54. Does 9 divide v?
True
Let i = -130 - -58. Let x = i - -107. Is 14 a factor of x?
False
Let j = 5 - 1. Does 13 divide ((-156)/8)/((-3)/j)?
True
Suppose 0 = 4*i - 7*i + 126. Is 3 a factor of i?
True
Suppose 0*m - 3*m = -w - 1, -3*m + 31 = 5*w. Is m/5*220/11 even?
True
Let x be (-154)/(-126) + (-4)/18. Does 7 divide (5 - 7)/(x/(-12))?
False
Suppose -5*f = -59 - 66. Is f a multiple of 25?
True
Let g = -3 + 5. Let p = g - 2. Suppose p = -f - f + 56. Does 14 divide f?
True
Suppose r = 2*i + 22, -4*i = 5*r - 0*r - 40. Does 10 divide 3/r*-10*-8?
True
Let r(t) be the second derivative of t**3/6 - 5*t**2/2 - t. Let q be r(8). Let l(u) = 2*u - 1. Does 5 divide l(q)?
True
Let b(l) = l**2 - 3*l - 3. Let n be b(4). Suppose 4*g = 2*x + 82, 8 = g - 5*x + n. Suppose -p = p - g. Is p a multiple of 3?
False
Is 2*1/(-2)*-43 a multiple of 5?
False
Suppose -4*f + 7*f = -4*x + 55, -4*f = 5*x - 69. Is 12 a factor of x?
False
Suppose 0 = -2*n + 4*s + 40, -2*s = 4*n - 0*n - 80. Suppose 4*m = -4*f + 48, -4*f = -3*m - n - 14. Let g(c) = -c**3 + 10*c**2 + 12. Is g(f) a multiple of 6?
True
Let y(i) = 12*i - 15. Does 9 divide y(5)?
True
Suppose -32 + 122 = 3*t. Let z = t - 18. Does 6 divide (z + 0 + 0)*1?
True
Let i be (-10)/(-25) - 66/(-10). Let v(w) = 28 - i*w 