5*g = 21, -3*g + 4*g = 1. Is 4 a factor of k?
True
Suppose -5*p + 185 = -y, 0 = 5*p - 3*p - 3*y - 61. Is p a multiple of 19?
True
Suppose 3*m = -2*t + 139, 4*t - 69 = 5*m - 330. Does 18 divide m?
False
Let a = 2 - -3. Suppose -3*n = -a*x - 130, n + 0*n - 3*x = 38. Is 25 a factor of n?
True
Let v = -5 - -8. Let z be 1/v - (-274)/6. Suppose -34 = -5*m + z. Is 16 a factor of m?
True
Let k(h) = -h**2 - 6*h - 6. Let j be k(-4). Suppose 0*x - 6 = -j*x. Suppose -d - 14 = -9*l + 4*l, 0 = x*d - 4*l - 2. Is 3 a factor of d?
True
Let o(b) = b**2 + b + 2. Let x be o(-1). Does 6 divide (-2)/4*x - -7?
True
Suppose 0 = -4*d + 33 - 1. Does 16 divide (-258)/(-8) + (-2)/d?
True
Let s(b) = 3*b**2 - 9*b - 19. Is 35 a factor of s(-8)?
True
Let x = 6 + -4. Suppose 2*h + x = 4*a, 3 = -2*a + 4*h - 7*h. Is 6 a factor of (-3 + 3 - -6) + a?
True
Suppose 4*w - 215 - 93 = 0. Is 9 a factor of w?
False
Is 11 a factor of ((-8)/4)/((-6)/99)?
True
Let j = -2 + 3. Is (-3 + -1)/(-1 - j) even?
True
Let a = 2 + 1. Let l = 3 - a. Let p = l + 3. Does 2 divide p?
False
Does 14 divide 59/2 - 15/10?
True
Does 7 divide 12/21 + 1782/42?
False
Let p = 204 - 122. Is p a multiple of 28?
False
Let j be 28/(-98) - (-65)/7. Suppose -w - j + 25 = 0. Is 6 a factor of w?
False
Suppose 2*d - 87 = -d. Is d a multiple of 12?
False
Let i(y) be the first derivative of -7*y - 1/3*y**3 - 1 - 4*y**2. Is 4 a factor of i(-5)?
True
Let g(m) = -m + 26. Is g(18) a multiple of 3?
False
Let b = 339 + -213. Is 32 a factor of b?
False
Suppose -3*v - 4*g = -v - 152, -2*g = -2*v + 122. Suppose -5*j = -5*u - 85, -5*u - v = -3*j + 17. Let w = 28 + u. Is w a multiple of 10?
False
Let n = -33 - -13. Let u be ((-6)/(-5))/((-8)/n). Suppose u*b + 0 = 57. Does 19 divide b?
True
Let j(q) = q**3 - 9*q**2 + 10*q - 11. Let i be j(8). Suppose -k + i*x + 38 = 0, -32 = 4*k - 4*x - 120. Does 6 divide k?
True
Suppose 4*l - 151 = q, 5*l + q = -2*q + 210. Suppose -5*t = -7*t + 4*j + 74, -t + 3*j = -l. Does 19 divide t?
False
Let k = 171 + -88. Suppose 4*t - 655 = -k. Is t a multiple of 36?
False
Suppose b - 22 - 30 = 0. Let d = b - 19. Does 11 divide d?
True
Let p = -15 - 5. Is 2 a factor of ((-10)/p)/(1/6)?
False
Let o(f) = -27*f. Suppose -5*t = -0 + 5. Is 9 a factor of o(t)?
True
Let f(c) = 1. Let x(u) = -16*u - 1. Let v(j) = -4*f(j) - x(j). Does 20 divide v(3)?
False
Let s = -39 - -70. Is s a multiple of 22?
False
Suppose -4*n - i + 1066 = i, -2*i = -4*n + 1062. Does 14 divide n?
True
Let n(j) = -j**2 - 10*j - 3. Is 9 a factor of n(-6)?
False
Let u = -17 - -43. Is u a multiple of 13?
True
Let s be 1464/21 - (-4)/14. Let t = 13 - 9. Suppose -2*m - 10 = -a, -m - m - s = -t*a. Does 6 divide a?
False
Suppose -5*k + 3*k + 184 = 0. Suppose 3*r - k = -r. Suppose 5*p - r = 12. Is 2 a factor of p?
False
Let n be 1/(5/3 + -2). Is 4 a factor of n*4/12 + 8?
False
Let z be 187 + -2 - (0 + 1). Suppose z = 3*f + f. Does 17 divide f?
False
Let j be 20 - 6/(-3 - 0). Suppose -j = -3*i + 2*i. Is 11 a factor of i?
True
Suppose 0*f = -f + 51. Is f even?
False
Suppose 2*m - 11 = c - 0, -25 = 5*c. Let g be m/(9/3) - 0. Let h = 14 - g. Does 8 divide h?
False
Is 13 a factor of ((-1)/(-6)*3)/((-3)/(-156))?
True
Let a(p) = p**3 - 11*p**2 - 9*p - 17. Does 19 divide a(12)?
True
Let g be (-1 + 2)*3 + 2. Suppose 5*c = -5*n + 2*n, 3*n = -4*c + 3. Suppose -n*r + g*f = -130, -r + 5*f - 2 = -44. Does 14 divide r?
False
Suppose -2*v = v - 9. Let j be 2/1*(v + -1). Suppose -j*f = -17 - 15. Does 4 divide f?
True
Suppose -85 = -4*z - d, 0*d + 90 = 5*z - 2*d. Let f = z + 2. Is 22 a factor of f?
True
Let f be (2 - 0)*37 + -3. Suppose -b + 2*h + f = -2*h, 3 = -3*h. Is 18 a factor of b?
False
Is 4 a factor of (66/18 - 4) + 518/6?
False
Let g(l) = 26*l**3 + l**2 - 1. Let y be (6 - 4)*1/2. Is g(y) a multiple of 8?
False
Suppose -b = 4*m - 31, m + 10 = 2*m - 2*b. Is 8 a factor of m?
True
Suppose 0 = -4*l + 6*l - 12. Suppose 14 = -4*z + 5*z + s, 0 = -z + 3*s - l. Is z a multiple of 3?
True
Let f(y) = y**3 + y**2 - 2*y + 111. Does 7 divide f(0)?
False
Suppose b - 66 = -2*p, 0*p = 2*p + 2. Suppose -4*g = m - 139, -2*g - 6 + b = 2*m. Let k = 85 - g. Is k a multiple of 21?
False
Let a(n) = -2*n**2 - 6*n - 5. Let g be a(-5). Let r = g + 94. Is 23 a factor of r?
True
Let s(g) be the first derivative of g**3/3 + g + 2. Does 2 divide s(2)?
False
Is (-1086)/(-17) + 16/136 a multiple of 16?
True
Let h be (-3)/9*-5*3. Suppose -2*r = 2*z - 2, -2*r - h*z + 3 = -4*z. Is 2 a factor of r?
True
Suppose 4*m - 34 = 2*x, 2*m - m + 4*x - 4 = 0. Suppose m = u + 1. Suppose 0 = 5*h + u - 77. Is h a multiple of 13?
False
Let g(u) = u**3 - 5*u**2 - 3*u + 5. Let y(m) = -m**2 + m. Let w(x) = -g(x) + 5*y(x). Does 27 divide w(-4)?
True
Suppose -2*s + 53 = -21. Let t = s - 20. Does 7 divide t?
False
Let q be -1 + (-267)/(-3)*-1. Does 12 divide 3/30*-4*q?
True
Let q = -12 - -104. Does 29 divide q?
False
Let z be (-3 - -7) + 0 - 2. Does 16 divide (-6)/z + (-92)/(-2)?
False
Let v be 22/5 + (-2)/5. Suppose 5*b + v = 9. Does 19 divide b/(1 + -2)*-41?
False
Suppose a = 8*a - 350. Does 5 divide a?
True
Suppose -q = -2*q + 2. Suppose 0 = -3*j + 2*x + 68, -x + 18 = q*j - 32. Is 11 a factor of 1*j/3 - -3?
True
Let t(p) = 11*p - 3. Does 6 divide t(3)?
True
Does 25 divide (-3)/((-1)/((-67)/(-3)))?
False
Is 2 a factor of (4/(-7))/((-6)/105)?
True
Let w = -1 - -4. Suppose w*h = -h. Suppose 2*l - 3*o - o = h, 4*o - 28 = -5*l. Is l a multiple of 2?
True
Suppose 0 = -5*f + 3*i + 29 - 7, -24 = -4*f - 4*i. Let h(z) = -z**2 + 9*z + 12. Does 16 divide h(f)?
True
Let r(c) = c**2 - 5. Let k be r(4). Suppose k = i - 19. Is i a multiple of 15?
True
Let q be (-14)/(-10) + (-8)/20. Let h be (q - -2)/(6/8). Suppose -m - 129 = -h*i, 2*m = 5*i - 2*m - 175. Is 11 a factor of i?
False
Let a(b) = 2*b + b - 6*b + b**2 - 4. Is a(7) a multiple of 8?
True
Is -8*(1345/(-130) + 4/(-26)) a multiple of 14?
True
Let t(p) = p**2 + 2*p - 3. Let l be t(-4). Suppose -l*j - 2*k = -178 + 63, 0 = 2*j - k - 46. Is j a multiple of 13?
False
Suppose -5*p + 20 = 2*d - 47, -d - 4*p + 41 = 0. Is d a multiple of 7?
True
Let t(l) = -l**2 - 7*l + 3. Let w be t(-7). Suppose 6*o = w*o + 36. Is o a multiple of 6?
True
Let s = -15 - -100. Suppose 27 = q - n, -2*q + 4*n + s = q. Let b = q + -9. Does 14 divide b?
True
Suppose 3*b + 12 = 7*b. Suppose 2*r - r - b*f - 1 = 0, 0 = f - 3. Is r a multiple of 5?
True
Let y = -1 + 4. Suppose y*j + 0*j - 15 = 0. Does 5 divide j?
True
Let u = 231 - 36. Does 39 divide u?
True
Suppose -4*l + 5 = l + 4*n, 4*l - 5*n - 45 = 0. Does 2 divide l?
False
Suppose 6*h = 475 + 155. Is 15 a factor of h?
True
Let x be 2/(-1) + (10 - 8). Suppose -k + 12 + 8 = x. Does 20 divide k?
True
Let v(b) = 3*b**3 + 2*b**2 - 4*b. Let g be v(-3). Let t = 91 + g. Is 15 a factor of t?
False
Suppose u - 3*i - 14 = 0, -70 = -5*u + i + 4*i. Let b be u/(-4) + 6/12. Let j(z) = -8*z. Is 9 a factor of j(b)?
False
Let s(l) be the first derivative of l**4/4 + 2*l**3 - l**2/2 + 3. Is s(-6) a multiple of 3?
True
Suppose -11 - 9 = -4*q. Suppose 15 = q*u - 0*u. Suppose g = u*g - 20. Is 10 a factor of g?
True
Let j(d) = d**2 + 2*d + 1. Suppose -4*u - 3 = -4*x + 5, -2*x + 5*u = -16. Let h be j(x). Is 7 a factor of (19 - h)/(3 - 2)?
False
Let h be ((-2)/5)/(4/(-120)). Suppose r = -3*a - h, -r + 4 = -3*a - 14. Let f = 10 + a. Does 3 divide f?
False
Let s(r) = -5*r - r + 2*r + 1. Does 9 divide s(-7)?
False
Let w = 0 - 5. Let h(i) = i**3 + 6*i**2 + 4*i + 2. Does 3 divide h(w)?
False
Let w(d) = -17*d - 6. Let g be w(-6). Let q be (-6)/9*(-3)/(-2) + 35. Suppose g - q = 2*z. Is z a multiple of 11?
False
Suppose u = 2*u - 3. Suppose 2 - 8 = -u*l. Suppose 5*y - 149 = 4*z - 38, 0 = -3*y + l*z + 67. Is 11 a factor of y?
False
Suppose 0 = -0*p - 2*p + 4. Suppose 5*l = -0*l + p*s + 100, s = 0. Does 10 divide l?
True
Suppose -b - k - 1 = -7, 2*k - 18 = -4*b. Let v(c) = -c**3 + 2*c**2 + 2*c + 3. Let y be v(b). Suppose 5*m + y = 25. Does 2 divide m?
False
Let x(q) = q**2 + 9*q + 12. Let a be x(-8). Let f(y) = 2*y - 6. Let p be f(a). Suppose -91 - 1 = -p*r. Is 13 a factor of r?
False
Suppose 0 = r - 4*n - 20, -r + n + n = -24. Does 12 divide r?
False
Let d = 83 - 44. Is d a multiple of 7?
False
Let b(h) = 3*h**2 - 5*h + 1. Let m be b(6). Suppose -4*w + m = -157. Is 22 a factor of w?
Fals