 7 divide m?
True
Let k(i) = 37*i - 1. Suppose 2*y - 36 + 12 = -4*v, 2*y = 2*v. Suppose -3*x = 1 - y. Does 18 divide k(x)?
True
Suppose -2*k - 4*a + 90 = 0, -2*a + 118 = 2*k + 26. Let s = k - 21. Does 13 divide s?
True
Let g = 10 - 8. Suppose -g*p + 6*p = 48. Does 4 divide p?
True
Let u = -7 - -76. Let m = -135 + u. Let g = -44 - m. Is 11 a factor of g?
True
Let v(h) = -h + 2. Let t be v(2). Suppose 3*x - 22 - 32 = t. Does 9 divide x?
True
Suppose 0 = 5*h - 1052 - 3823. Suppose 0 = 3*k - 8*k + h. Suppose 2*f = -3*f + k. Does 14 divide f?
False
Is (-1)/(165/85 + -2) a multiple of 17?
True
Let l = -2 + 0. Let g = l - -4. Suppose -100 = -4*u + 4*s, -2*u = u - g*s - 77. Is u a multiple of 9?
True
Let f(n) = -n**3 + n**2 - n. Let s be f(0). Suppose 0*o = 5*o + 2*v - 180, -4*o + 4*v + 172 = s. Is o a multiple of 13?
False
Suppose 0 = 4*g - 3*o + 6, 0 = 5*g - 0*o - 2*o + 11. Let i = -1 - g. Is i a multiple of 2?
True
Suppose -49 - 66 = -5*y. Is y a multiple of 5?
False
Let q = 1 - 1. Is 20 a factor of q - (-4)/(4/31)?
False
Let v(j) = 6*j**3 + j**2 - j - 2. Let n be (8/(-12))/((-1)/3). Let k be v(n). Is 2/5 + k/5 a multiple of 10?
True
Suppose -4 + 7 = -a. Let k(m) = 6 - 4 + 1 + 5*m + 4*m**2. Is 8 a factor of k(a)?
True
Let x be (-5 - -3)*51/(-2). Let p = x - 21. Does 10 divide p?
True
Suppose 0 = -p + 5*b + 18, -p - 5*b = 4*p - 150. Suppose 2*a + p = 4*a. Suppose -3*o - 5*w = -5*o + a, o = w + 13. Is o a multiple of 10?
False
Let x(t) = t**3 - 5*t**2 + t - 3. Suppose -3*h - 4*l = -0*h + 2, 4*l + 14 = -h. Is x(h) a multiple of 20?
False
Let j be 1 + 4 + (0 - 3). Let f = j - -2. Does 2 divide f?
True
Let r(m) = -m**2 + 10*m - 8. Suppose -3*g = -5 - 19. Let w = -1 + g. Is r(w) a multiple of 7?
False
Let s be (23/4)/((-2)/(-8)). Let b = s + -4. Is b a multiple of 9?
False
Suppose -3*s + s = -4*c + 186, 0 = 2*c - 4*s - 96. Is 8 a factor of c?
False
Let m be 2/(-2) - (-8)/1. Let p = m - -3. Is p a multiple of 10?
True
Let n(r) = r + 2. Let y be n(-2). Suppose 0 - 10 = -5*t. Suppose y = -2*d - t*d + c + 139, d - c - 31 = 0. Is d a multiple of 14?
False
Let j(f) = -f**2 + 5*f - 3. Let g be j(4). Let n = g + 1. Suppose n*d + 0 - 8 = 0. Is 4 a factor of d?
True
Let h = -3 - 0. Let g(r) = -r**2 - 3*r + 1. Let f be g(h). Let c = 19 + f. Is c a multiple of 20?
True
Is 27/5 + -6 + 246/10 a multiple of 8?
True
Suppose 2 = -4*j - 14. Is ((j - -2)*14)/(-1) a multiple of 14?
True
Suppose 36 = -0*l + 4*l. Does 9 divide l?
True
Suppose 0 = -d - d - 10. Let g(u) = -13*u + 2. Let a(i) = 4*i - 1. Let k(s) = -14*a(s) - 4*g(s). Is k(d) a multiple of 15?
False
Let b(k) = -2*k**2 + 3*k + 0*k**2 + k**2. Let h = 7 + -5. Is b(h) even?
True
Let k be 17/(-4) + (-1)/(-4). Let t be k/(-2)*(-1 + -3). Is 5 a factor of 4/t*(-26)/1?
False
Suppose 0 = -0*w + 2*w, -4*w = -5*d - 30. Does 17 divide (-549)/(-6)*(-4)/d?
False
Let a = 57 - 43. Let d = -8 - -13. Suppose -a = -d*q + 4*q. Is 7 a factor of q?
True
Suppose -8 = -u + 1. Let b be (30/(-12))/(1/2). Let p = u - b. Does 14 divide p?
True
Is 18 a factor of (10/30)/(1/162)?
True
Let h be (-3)/18*-2*57. Suppose -h - 20 = -3*v. Let w = v - -2. Is 6 a factor of w?
False
Let z = 569 - 281. Is z a multiple of 19?
False
Suppose 15 + 10 = 5*r. Suppose 5*s - 10 - r = 0. Does 2 divide s?
False
Let f = 14 + -9. Does 5 divide f?
True
Let l(w) = 14*w**2 - 4*w + 5. Does 16 divide l(2)?
False
Let p be ((-1)/(-2))/(1/290). Suppose p - 5 = 5*r. Is 11 a factor of r?
False
Let m(s) = 2*s**2 - 9*s + 10. Suppose 0 = 2*l + 2*l + 4*y - 24, 3*y + 10 = l. Does 15 divide m(l)?
True
Suppose n = 2*n - 12. Is 2 a factor of n?
True
Let c(a) = -a**3 - 5*a**2 - 3*a + 4. Let b be c(-4). Is b*1/(-2) - -18 a multiple of 9?
True
Is 5 a factor of (66/12 + 3)/((-1)/(-10))?
True
Let n(h) = -4*h - 3. Let r be n(-2). Is -2 + r/(20/152) a multiple of 9?
True
Let f = 33 - 13. Is 10 a factor of f?
True
Let l be (2 + 3)*(4 + -3). Suppose 3*m + l*s = 44, -2*m + 22 = -s - 16. Is m a multiple of 9?
True
Let j = 46 + -12. Is j a multiple of 22?
False
Let b(s) = s + 6. Let t be b(-8). Let x = t - -14. Is x a multiple of 12?
True
Let p(f) = 4*f - 2. Let w be p(5). Let c be 1760/w + 2/9. Suppose 102 = 5*b - c. Is b a multiple of 20?
True
Let x = 64 + 113. Suppose 0 = 2*c + c - x. Is c a multiple of 25?
False
Suppose -4*b - 238 = -2*k, -4*k + 131 = -3*k + b. Suppose -4*u + n + 75 = -31, 0 = -5*u + 4*n + k. Is 24 a factor of u?
False
Suppose 3*o - 105 = 3*u, -2*o + 4*u + 36 = -38. Does 33 divide o?
True
Let j(n) = 2*n + 9. Let h be j(-6). Does 2 divide (1 - (-7 + 1)) + h?
True
Suppose 3*y + 39 = -4*t + 5*t, 2*y = -3*t + 62. Is t a multiple of 12?
True
Let y = -135 - -233. Is 7 a factor of y?
True
Suppose -v = 4*v - 10. Suppose 64 = 2*n + 2*b, 0 = -n - 5*b + v*b + 34. Is n a multiple of 10?
False
Suppose 0 = 5*j - 15 - 10. Suppose 0 = u - j*u + 20. Let y = u + 5. Is y a multiple of 7?
False
Let v = -3 - 1. Let q be (v/6)/((-4)/(-6)). Is 13 a factor of (-3)/q + (19 - 8)?
False
Is 17 a factor of (3/(48/68))/((-2)/(-40))?
True
Suppose 9*u = 5*u + 244. Is 17 a factor of u?
False
Let y be 2*1*1/(-2). Let w be y/3 - 13/(-3). Is ((-2)/5)/(w/(-60)) a multiple of 6?
True
Suppose -f + 5*f - 5*y = 65, 5*f + 4*y - 112 = 0. Is 10 a factor of f?
True
Suppose -2*p + 34 = 6. Let s = p + -8. Is 9*-3*(-2)/s a multiple of 6?
False
Let v = 2 - 0. Suppose 0 = -v*y + 6*y - 116. Is 8 a factor of y?
False
Suppose 0 = -0*i - 3*i + 18. Suppose 5*z + 3*s = i*s + 161, -105 = -3*z - s. Does 13 divide z?
False
Let v be (-2)/3 - (-11)/3. Let o = 9 + -9. Suppose -v*i - 5*n + 24 = o, 0 = 2*i + i - 4*n - 24. Does 8 divide i?
True
Let p(u) = -2*u**3 + u**2 + 2*u + 5. Is p(-4) a multiple of 24?
False
Suppose -3*k + 9 = -0. Suppose 0 = -k*x + 5*p - 14, -x + 4*p + 0*p = 14. Suppose -x*q + 3*q - 7 = -t, -2*q = 3*t - 10. Is q a multiple of 11?
True
Suppose 0 + 3 = -3*w. Does 16 divide (-8)/(-3)*w*-12?
True
Let y be 5 + -2*3/2. Is 11*y + (-9)/(-3) a multiple of 7?
False
Let h(f) be the third derivative of f**6/120 - f**5/12 - f**4/4 + f**3 - 9*f**2. Is h(7) a multiple of 19?
False
Suppose 3*d - 3332 = 4*o, -5*o + 2229 = 2*d - 0*o. Suppose -5*f - m + 2*m - d = 0, 5*f = -3*m - 1104. Is (-3)/15 + f/(-10) a multiple of 8?
False
Let z = -3 - -7. Is 43/z + 7/28 a multiple of 11?
True
Suppose -66 = -i + 19. Does 17 divide i?
True
Let x(a) = a**2 - a + 5. Let n(f) be the third derivative of f**4/24 + 7*f**3/3 + f**2. Let i be n(-10). Is x(i) a multiple of 7?
False
Let u(c) = -c**2 - 16*c - 13. Let k be u(-6). Suppose k = 4*b + g, 2*g + 36 = 3*b - b. Is 13 a factor of b?
True
Let o(v) = 2*v + 4. Is 2 a factor of o(0)?
True
Let k(y) = -y**2 + 2*y + 3. Let z be k(-2). Let s be ((-4)/z)/(6/15). Does 8 divide (-2)/s*(-20 + 0)?
False
Suppose 3*v + 194 = m + 55, m - 5*v = 147. Is 23 a factor of m?
False
Let q(r) = -3*r - 7. Does 4 divide q(-9)?
True
Suppose 5*x - 3*x - 160 = 0. Suppose -9 = -5*f + 11. Suppose -u - f*u = -x. Is u a multiple of 11?
False
Let r(l) = -2*l**2 + 7*l - 4. Let a(z) = -z - 1. Let i be a(-5). Let d be r(i). Let s = -5 - d. Is 2 a factor of s?
False
Suppose 92 = 2*p + 5*v, p = v + 3*v + 46. Is 14 a factor of p?
False
Suppose -2*n + 0*c + 4 = -5*c, -2*c - 16 = 4*n. Does 25 divide ((-25)/n)/(1/3)?
True
Suppose j - 74 = -m + 54, m - 128 = 3*j. Is m a multiple of 16?
True
Let m(p) = -6*p**2 - 4*p - 4. Let z be m(-2). Suppose 67 + 83 = 4*d - 3*y, 5*d + y = 178. Let x = d + z. Is x a multiple of 8?
True
Let r(y) = -y**3 - 7*y**2 - 7*y - 5. Let b be r(-6). Suppose h - b = 3. Does 4 divide h?
True
Suppose t + t = 12. Let f be (-37)/(-2) + t/(-4). Let l = f + -5. Is 10 a factor of l?
False
Suppose 4*a = -v + 32, 2*a - 10 = -3*v + v. Is 3 a factor of a?
True
Let d(b) = b**2 + 11*b + 6. Let a be d(-9). Let g = -7 - a. Is g a multiple of 5?
True
Let p(y) = y**2 - 9*y. Let s be p(9). Let l = 60 + s. Is l a multiple of 27?
False
Suppose 0 = a + 4*x - 18, -5*a + 3*x - 6 = -x. Suppose 1 + 7 = a*n. Is 4 a factor of (-27)/2*n/(-6)?
False
Suppose -k - 4*k = 20, 4*a = 4*k - 36. Let f = a - -25. Is f a multiple of 7?
False
Let x = -62 + 114. Is 26 a factor of x?
True
Suppose 0 = 4*a - 7*a + 12. Suppose 4*n + 3 = a*v + 31, -5*n - 10 = 4*v. Is 16 a factor of ((-3)/n)/(9/(-240))?
False
Suppose 0 = 3*k + l - 13, -3*l + 5 = -2*k - 1. Suppose 15