176. Is a a multiple of 9?
False
Let g be (-1)/((-2)/(-324)*-1). Let w be (2/(-4))/(3/g). Let y = w - -69. Does 14 divide y?
True
Suppose -z - z + 26 = 0. Is z a multiple of 13?
True
Let m = 59 + 5. Let b = m - 34. Does 11 divide b?
False
Let m = 6 - 36. Is 18 a factor of (m - -3)/(3/(-4))?
True
Suppose 4 + 0 = p. Suppose -2*o + p*r + 42 = -0*r, 0 = -2*r - 8. Let m = 29 - o. Is 12 a factor of m?
False
Let o be 1*(33 + 1 - 3). Suppose -5*g + o = 6. Does 5 divide g?
True
Suppose 12*p - 8*p - 32 = 0. Let i(a) = a**2 - a - 8. Is i(p) a multiple of 12?
True
Suppose 4*l + h - 2*h = 21, 5*h = -25. Let z = l - -24. Does 16 divide z?
False
Let k = 17 + -3. Let b = 33 - k. Is 12 a factor of b?
False
Suppose 2*w = -9 + 3. Is w/4 + (-1386)/(-24) a multiple of 21?
False
Suppose 295 - 27 = 4*l. Suppose 0 = 5*x - l + 12. Is 4 a factor of x?
False
Let j(x) = 23*x**2 + 5*x - 5. Is j(1) a multiple of 5?
False
Let d(g) be the first derivative of g**6/120 - g**5/15 + g**4/8 + 2*g**3/3 + 2*g**2 - 1. Let o(k) be the second derivative of d(k). Does 4 divide o(3)?
True
Let k(u) = -3*u - 7. Let n be k(-3). Suppose n*h + 5 = -a - h, 0 = -2*a - 4*h. Is 2 a factor of a?
True
Let o(l) = -l**2 - 10*l - 4. Let m be o(-8). Let p = 18 - m. Does 3 divide p?
True
Let q(n) = 2*n**2 - 9*n - 10. Is q(-7) a multiple of 18?
False
Let a(k) = -k + 1. Let s(y) be the second derivative of -11*y**3/6 + y. Let i(n) = -4*a(n) + s(n). Is i(-4) a multiple of 12?
True
Suppose h + 5 = -1. Let b(c) be the second derivative of c**4/12 + c**3/3 + 2*c**2 + 4*c. Is b(h) a multiple of 14?
True
Suppose -4*x + 23 = -5*w - 9, 2*x = -5*w - 14. Suppose -348 = -2*r + x*t, 4*r - 4*t = r + 524. Suppose 9*m - r = 4*m. Is m a multiple of 12?
True
Suppose -2*f = 3*a - 4*f - 8, -3*a + 5*f = -11. Let j(o) = -o**3 - 10*o**2 - 11*o - 10. Let r be j(-9). Is a*(-30)/r*-2 a multiple of 8?
False
Suppose t = 4*p - 18, t - p - 55 = 5*t. Let l = 46 + t. Is 16 a factor of l?
True
Suppose 2*g = 2*n + 150, n + n + 384 = 5*g. Is g a multiple of 39?
True
Let v be (-2)/(-7) - (-33)/7. Suppose 0 = y + 5*q - 2*q + v, -3*q - 40 = -4*y. Is 7 a factor of y?
True
Is 6 a factor of 2/3 - 104/(-6)?
True
Let p be (-4)/(-14) - (-550)/(-14). Let i = p - -79. Is (1 - 1) + i + 3 a multiple of 17?
False
Let d be (-1)/(-1 - 0) + 65. Let y = d - 46. Does 10 divide y?
True
Let c = 30 + -20. Suppose 2*p - z + 12 = 3*z, -2*p - 3*z + 16 = 0. Suppose 0 = -p*g + 4*y + 42, 2*g - y - c = 23. Does 9 divide g?
False
Let b(d) = -2 - d**2 - 9*d + d**2 - d**2. Let v be b(-6). Let k = 12 + v. Is 14 a factor of k?
True
Let f(y) = 56*y - 1. Suppose -3 = -2*k + 1. Is f(k) a multiple of 37?
True
Let f = -54 + 114. Suppose -4*s + f = 4*i, -i + 0 = -5. Is s a multiple of 5?
True
Is (-4)/(-18) + (-2040)/(-54) a multiple of 17?
False
Suppose -3*w + 15 = 5*u, -2*u = 3*w - 7*u - 15. Suppose 0 = -2*l + 3*l - 5*b - 48, -3*l + 104 = -w*b. Is 7 a factor of l?
True
Suppose 0*m - 4*m - 72 = 0. Is (m/6)/(3/(-4)) a multiple of 3?
False
Let z(x) = 5*x**2 - 4*x + 6. Let k be z(5). Let d = -70 + k. Does 12 divide d?
False
Suppose 2*w = 4*p + 1 - 3, -5*p = -3*w - 5. Let s = w + 13. Is s a multiple of 8?
True
Let q(i) = -3*i + 21. Is 3 a factor of q(4)?
True
Let y = 39 - 31. Does 2 divide y?
True
Let t(o) = o + 18. Let z be ((-2)/2 - -1) + 2. Suppose -z*x = -0*x. Is t(x) a multiple of 8?
False
Suppose 3*v = -3*r - 15, 28 = -5*v + 2*r - 6*r. Is (-7)/((-7)/v)*-4 a multiple of 11?
False
Let c(i) = 33*i**3 - 2*i**2 + 2*i - 1. Suppose o + 3 = 4*o. Does 15 divide c(o)?
False
Let v be ((-5)/1)/((-2)/4). Let m(l) = l**2 + 5*l - 7. Let q be m(-7). Let o = v + q. Does 16 divide o?
False
Suppose -2*i + x - 5*x + 76 = 0, 229 = 5*i - 3*x. Suppose 11 = -g + i. Is 11 a factor of g?
True
Is 416/9 + (-14)/63 a multiple of 20?
False
Let i(h) = -2*h - 5. Let d be 4/(-8) - 13/2. Let f be i(d). Let r(s) = 2*s + 8. Is 13 a factor of r(f)?
True
Let a = 28 - 18. Does 10 divide a?
True
Suppose 5*n = -0*v - 5*v + 90, 3*n - 54 = -v. Let t be (3/(-2))/(n/48). Let i(o) = -2*o - 5. Is i(t) a multiple of 3?
True
Let w(c) = 2*c**3 - 5*c**2 + 4*c + 9. Is 7 a factor of w(4)?
False
Let s(f) = -f**2 + 3*f - 4. Let r be s(3). Let d = r - 0. Does 11 divide d/10 + 228/20?
True
Let g be 12/(-1)*(-9)/12. Suppose -5*r = -g*r + 104. Does 13 divide r?
True
Is 31 a factor of 4/((-48)/15)*-124?
True
Let o = -10 - -12. Suppose -21 - 5 = -o*y. Is 7 a factor of y?
False
Let c(h) = 18*h - 46. Is c(11) a multiple of 38?
True
Let i be (13 - 9) + (1 - 3). Suppose -i*x = -2*j + 94, -4*j = -2*x + x - 191. Is 24 a factor of j?
True
Suppose -b = 5*a - 249, 279 = 4*b - 3*b - 5*a. Is b a multiple of 44?
True
Let v(c) = -c**3 - 10*c**2 + 10*c - 9. Let x be v(-11). Suppose -u - x*h - 3*h = -44, 4*u - 197 = h. Is 12 a factor of u?
False
Let u be (8/5)/((-16)/(-40)). Suppose u*g + 3*a = 272, -4*g + 2*a + 172 = -80. Does 22 divide g?
False
Let q(b) = 5*b**2 + 2*b - 1. Let d(h) = h**2 + 1. Let v(t) = d(t) + q(t). Is v(-2) a multiple of 10?
True
Suppose -7 = -5*c - 2. Suppose 4*y + 10 = 5*u, 5*y - 1 = -u + c. Suppose -u = -i + 7. Is i a multiple of 5?
False
Suppose 0*n - 4*j + 1196 = 5*n, n + 4*j - 236 = 0. Is n a multiple of 48?
True
Let c(q) be the first derivative of -2/3*q**3 + 1/2*q**4 - 2*q**2 + 2 + 2*q. Is c(3) a multiple of 13?
True
Let k be (-6)/(-2) - -39 - -3. Suppose 9*h - 6*h = k. Does 8 divide h?
False
Let v(h) = -h**3 + 10*h**2 - 9*h + 1. Is v(7) a multiple of 19?
False
Let p = -15 - -21. Is p a multiple of 6?
True
Suppose 3*p = 0, -p = -0*n - 3*n - 708. Suppose -3*d + 50 = -34. Is n/(-7) + 8/d a multiple of 17?
True
Let j(f) = -f**2 - 7*f - 7. Let x be j(-5). Let o(a) = -a**2 + 5*a - 2. Let y be o(x). Suppose 5*h = -y*i + 95, -h + i = -5*h + 65. Does 8 divide h?
False
Let j(v) = v. Let h(u) = 5*u - 1. Let k(x) = 3*h(x) - 6*j(x). Does 7 divide k(3)?
False
Let z = 36 - 78. Does 9 divide (32/(-12))/4*z?
False
Suppose -4*k - 4*t = -t - 374, -280 = -3*k - 2*t. Is 16 a factor of k?
False
Suppose 0*c = -4*c + 124. Suppose -4*o = c - 79. Does 12 divide o?
True
Let j(c) = -4*c - 25. Is 2 a factor of j(-11)?
False
Suppose -13 = -2*l - w, 2*w + 2*w + 4 = 0. Let q = 18 - l. Does 4 divide q?
False
Let d be (-30)/25*(0 + -30). Suppose -6 = 5*h - d. Is h a multiple of 6?
True
Let n(j) = -247*j**3 - 4*j**2 - 2*j + 1. Does 41 divide n(-1)?
True
Is (-7)/((-28)/(-156))*(-8)/3 a multiple of 26?
True
Let k be (-5 - -2)*1 + -27. Suppose 2*s = 4*s + 20. Does 3 divide (24/s)/(9/k)?
False
Suppose 0 = -m + p + 49, -2*m = m - p - 145. Suppose -l + 4*l + 4*z = 105, -l + 3*z + m = 0. Is 13 a factor of l?
True
Suppose 1 = 4*v - 3*v. Let f(w) = -42*w - 2. Let x(h) = h + 1. Let i(d) = -f(d) - 3*x(d). Is 15 a factor of i(v)?
False
Let r = 115 - 69. Is r a multiple of 10?
False
Suppose -407 = -5*q + 118. Suppose -n = -6*n + q. Is n a multiple of 21?
True
Suppose w = 3*v - 10, -3*w = 5*v - 7 - 5. Let s(h) = -14*h. Does 9 divide s(w)?
False
Does 23 divide 7/((-28)/(-104))*1?
False
Let m(x) = -x**3 + 3. Let z be m(-3). Suppose 104 = 4*w - w + 2*p, -2 = p. Is w/z*10/4 a multiple of 3?
True
Let q(r) = -r**2 - 10*r - 8. Suppose 28 = n - 5*n. Does 13 divide q(n)?
True
Let p(z) = z**2 - z - 8. Does 32 divide p(-6)?
False
Let f = 9 - 44. Let n = 50 + f. Is n a multiple of 15?
True
Let n = -1 - -1. Suppose 2*d - 29 - 15 = n. Does 14 divide d?
False
Suppose -4*z + 8 = 4*k, 3*z + k - 4*k = 12. Suppose -z*y = 5*g - 165, -y = -4*g + 60 + 89. Suppose -g - 184 = -5*u. Does 17 divide u?
False
Let i = -1 - -1. Suppose i = -0*d - d + 3. Does 3 divide d?
True
Suppose y = 2 + 8. Is (-1)/(4/y)*-2 even?
False
Let c(h) = -h + 69. Is 2 a factor of c(22)?
False
Suppose 0*s + 4*s - 3*x + 49 = 0, -5*x = 5*s + 35. Let h(v) = v**3 + 11*v**2 + 9*v + 14. Does 9 divide h(s)?
False
Let q(f) = f**2 + 4*f + 5. Does 5 divide q(-4)?
True
Let x(m) = 2*m + 8. Let q be x(-8). Is (-30)/(-4)*(12 + q) a multiple of 15?
True
Let d = 102 - 79. Does 9 divide d?
False
Suppose 0 = z + 10 - 28. Does 18 divide z?
True
Is (-32)/(-3) + (-12)/18 a multiple of 5?
True
Let g be (2/3)/((-1)/(-3)). Does 14 divide 1090/20 - g/4?
False
Suppose -q - 3*s + 27 = -s, 4*q + 4*s = 104. Is q a multiple of 7?
False
Let c(l) = 47*l**2 - 2*l + 7. Let y(h) = -23*h**2 + h - 3. Let m(s) = -3*c(s) - 7*y(s). Is m(-1) a multiple of