s 7 a factor of h(z)?
False
Let u(h) = -h**3 - 25*h**2 + h + 60. Does 12 divide u(-25)?
False
Is (-14 - -8)*13*(-1)/2 a multiple of 4?
False
Let g be 3/(30/(-88))*(-8 - 2). Let d = 8 + g. Does 11 divide d?
False
Let t(b) = 32*b - 214. Let m be t(7). Suppose -6*n + 195 = -3*n. Does 7 divide 572/n*m/4?
False
Is 4 a factor of 27174/22 - ((-88)/(-121))/4?
False
Let j(w) = -w**2 - 22*w + 9. Let c be j(-23). Does 13 divide (c + -2)/((12/26)/(-3))?
True
Let m = -6 + 21. Let b = m - 42. Let a = 49 + b. Is 8 a factor of a?
False
Suppose 61*f + 70 = 63*f. Does 7 divide f?
True
Suppose 24 = 16*l + 616. Let s = 76 + l. Is 23 a factor of s?
False
Let t = -38 - -82. Suppose t = 3*b + i, -5*b - 5*i = -87 + 7. Does 14 divide b?
True
Let n(a) = a**2 - 12*a + 8. Suppose 5*x + 2*y = -0*y - 81, -4*x = 2*y + 64. Let p = 29 + x. Is 5 a factor of n(p)?
False
Let c = 13 + -6. Suppose -3 + c = k. Suppose k*g - 26 = 2*g. Is g a multiple of 12?
False
Let w = -30 + 33. Suppose -z = -3*o + 534, w*z - z = 0. Suppose -4*l = -o + 58. Is 10 a factor of l?
True
Suppose 19*r - 26356 - 4633 = 0. Is r a multiple of 20?
False
Suppose -z - 27 = -5*f, -4*f = -0*f - z - 21. Let d = -5 + f. Is 11 a factor of 3 + -3 - -13 - d?
False
Let x(y) = 3*y + 19. Let n = -17 + 17. Suppose n = -5*v - 0*v + 80. Does 15 divide x(v)?
False
Suppose 5*g - 1564 = 2*u, 0 = -2*g + 5*u + 464 + 149. Let q = -162 + g. Does 15 divide q?
False
Suppose 42 = -3*h - 51. Let f = 17 + h. Does 3 divide ((-18)/(-21))/((-2)/f)?
True
Let g(l) = 3*l**2 + 2*l - 5. Suppose -8*c - 10 = -10*c. Let w be 7*(2 - (c - 2)). Is 34 a factor of g(w)?
False
Suppose 2 = x - 7. Let u = -2 + 5. Suppose -u*p = -12 - x. Is p a multiple of 3?
False
Let d be -5 + 3 - (2 + -11). Let k(g) = -g + 10. Is 2 a factor of k(d)?
False
Suppose 5*o - 86*r - 6128 = -83*r, 3*o - 2*r = 3677. Is 49 a factor of o?
True
Let t(m) = 3*m + 1. Let b be t(0). Let v = b - -11. Does 3 divide v?
True
Let b(h) = -10*h - 42. Suppose 7*a + 3*i = 2*a - 15, -5*i + 25 = 0. Is b(a) a multiple of 8?
False
Suppose -8 = 4*f - 24. Suppose -p - f*p = 205. Let l = p - -63. Does 11 divide l?
True
Suppose 3*o - 36 = 2*v, 5*o + 0*v = -4*v + 38. Is o a multiple of 10?
True
Let z(q) = q**2 + 2*q - 8. Let j be z(-4). Suppose j = -f + 2*b, 5*b - 12 = -f + b. Let n(t) = 22*t - 2. Is 24 a factor of n(f)?
False
Let n(w) = -62*w + 10. Let g(u) = -21*u + 3. Let h(y) = 8*g(y) - 3*n(y). Let j(z) = -z + 3. Let k be j(0). Is h(k) a multiple of 16?
True
Does 10 divide (7/14)/(1/(-2)) - -51?
True
Is 25 a factor of (6 + -7)*-359 - (2 + -1)?
False
Let j = 392 - -59. Is j a multiple of 2?
False
Let h(z) = -2*z**2 + 2. Let i(y) = -y**2 + y - 1. Let w(v) = -h(v) - 3*i(v). Does 12 divide w(2)?
False
Let f(b) = 5*b**2 + 22*b - 19. Does 9 divide f(-10)?
True
Let o(y) = 9*y**2 + 33*y - 1. Let c(v) = -4*v**2 - 16*v + 1. Let l(n) = -7*c(n) - 3*o(n). Let m be l(-13). Is (m/(-12))/((-3)/(-225)) a multiple of 5?
True
Let n be (0/(-5))/5*-1. Suppose k + 0*k - 12 = n. Does 10 divide k?
False
Suppose -3*t + 14391 = 3*g, 4*g = -14*t + 13*t + 19200. Is g a multiple of 18?
False
Is 28 a factor of 3244/14 - (18/(-63) - 0)?
False
Let x be 1035/(-25) - 4/(-10). Let i = x - -58. Suppose -22 - i = -3*p. Is 4 a factor of p?
False
Let v = 44 - 20. Let d = v + -17. Does 10 divide 6 - d - (-11)/1?
True
Is 31 a factor of (-18168)/(-108) + -13 + 4/(-18)?
True
Does 17 divide (0 - -3)*(-9)/6*-34?
True
Suppose 0 = 4*b - 19 - 61. Let z = b - -43. Is z a multiple of 16?
False
Let o = -427 - -945. Suppose 5*k = -o + 48. Let m = 136 + k. Is m a multiple of 21?
True
Suppose -7*y + 21 = -399. Does 4 divide y?
True
Let k(n) be the first derivative of n + 4 + 1/3*n**3 + 1/2*n**2. Is k(4) a multiple of 7?
True
Suppose -5*a = -15, 5 = -2*v + 2*a + 3*a. Suppose 5*y - 3*y + 1 = -i, -i + v = 0. Is 8 a factor of y + (1 - (0 + -34))?
True
Is 27 a factor of (-43575)/(-147) + (-2)/((-14)/(-3))?
False
Let f = -1075 + 2155. Suppose 4*b = 9*b - f. Suppose 6*r = 2*r + b. Is 18 a factor of r?
True
Let w(h) = h**2 - 3*h - 3. Let p(k) = -2 - k**3 + 0*k**2 - 6*k - 2*k**2 - 3*k**2. Let a be p(-4). Is 5 a factor of w(a)?
True
Does 6 divide (-4)/(-8)*-773*(36 + -38)?
False
Let i be (-3 + (-56)/(-3))*3. Suppose -113 = 5*s + 3*d, 3*d + 0*d = -2*s - i. Let h = 27 + s. Does 5 divide h?
True
Suppose 0 = -2*j + 3*v + 3055 + 2458, -j = -5*v - 2767. Is 12 a factor of j?
False
Let s = 711 - 411. Does 25 divide s?
True
Let s(r) = 1000*r**3 - 9*r**2 + 8*r + 1. Is 4 a factor of s(1)?
True
Let n(l) = l**3 - l**2 - l + 35. Let t be n(0). Let x = 125 - t. Is x a multiple of 18?
True
Suppose 2*s - 3*v - 157 = 4*s, -s - 5*v - 89 = 0. Let g = 11 - s. Does 10 divide g?
False
Suppose -3*n = -25*b + 29*b - 1209, -2*n - 1494 = -5*b. Does 20 divide b?
True
Let b = 4 + -4. Suppose b = 3*o - 30 - 21. Is o a multiple of 17?
True
Let w be (18/4)/((-3)/(-2)). Let v = 6 - w. Suppose -v*f + 75 = -3. Does 15 divide f?
False
Suppose 0 = -m + 6*m - 3*l - 1, 14 = m + 4*l. Suppose -m*b + 0*b = 82. Let z = -18 - b. Is z a multiple of 5?
False
Suppose 80*s - 73327 - 84593 = 0. Does 16 divide s?
False
Let m = 53 + -51. Let q = 14 - -28. Suppose 0 = -m*a - 2*a - 2*g + q, 3*g = -2*a + 23. Is 9 a factor of a?
False
Suppose -48032 = -16*j - 5792. Is 20 a factor of j?
True
Suppose -2*d = 4*u - 72, 3*u - 138 = -3*d + 7*u. Suppose 7*h - d = 6*h. Is h a multiple of 22?
False
Let y = 312 - 148. Does 13 divide y?
False
Let m = 350 + -287. Is m a multiple of 7?
True
Let g(u) = u - 3*u + 3 + u**2 + 3*u**2 - u**3 + 2*u**2. Is g(5) a multiple of 11?
False
Let y = -2 - -3. Let c be (1/8)/(1/8). Does 14 divide (51 + 1)*y/c?
False
Suppose 4*y + 4*u = 100, -2*y = 2*y - u - 75. Let w(f) = y + 17*f**2 - 5*f**2 + 2*f - 21. Is 17 a factor of w(2)?
True
Does 20 divide 1 - -1*(-1 - -60)?
True
Let m(b) be the second derivative of 0 + 1/6*b**4 + 2*b**2 - 12*b + 5/6*b**3. Does 5 divide m(-4)?
False
Suppose 5*w - 10 = 3*w. Suppose -n + 99 = 3*b, w*b - 281 = -3*n - 0*n. Is 5 a factor of n?
False
Let k be ((-7)/((-147)/(-330)))/((-4)/28). Suppose -6*f + 136 = -k. Does 9 divide f?
False
Does 10 divide (9/6*-230)/(27/(-18))?
True
Suppose -11*m - 1166 = -13*m. Does 11 divide m?
True
Let w = -45 + 39. Is ((-220)/w)/(6*(-1)/(-18)) a multiple of 15?
False
Let n = 478 - 270. Suppose 2*a + 88 = n. Is 5 a factor of a?
True
Let s(p) = 22*p + 10. Suppose 0 = -o + 3*f + 2, 6*o = 3*o + 2*f + 6. Does 9 divide s(o)?
True
Let u be 2 - (0 - 0/2). Suppose 4*w - 4 = u*w. Let y(p) = 3*p**3 - 4*p**2 + 2*p + 1. Is 13 a factor of y(w)?
True
Suppose -2*v = 3*v - 370. Let l be -3 - (-3 + (-7 - -7)). Suppose -v = -l*m - m. Is 19 a factor of m?
False
Let x be 3*(3 - (-21)/(-9)). Suppose 3*u - 187 = 4*t, -5*u = -4*t + x*t - 293. Does 19 divide u?
True
Suppose 0 = -x + 3*w - 1, 3*w - 2 = 2*x + 8*w. Let v be ((-6)/(-4))/((-2)/(-12)). Let f = v - x. Is f a multiple of 3?
False
Let c = -677 + 1085. Is 4 a factor of c?
True
Let b(v) = v**2 - 3*v + 4. Let h be b(7). Suppose -4*q - h = 32. Let x = q + 25. Does 4 divide x?
False
Let m be -2 - (-3 - 3) - 26. Let r = -90 - -159. Let x = r + m. Does 14 divide x?
False
Let v = -192 - -265. Is v a multiple of 7?
False
Let v(g) = -1 - 7*g + 3*g**2 - 4*g**2 - 3. Suppose -50 = 11*c + 16. Is v(c) a multiple of 2?
True
Let x = -53 + 50. Does 8 divide x + 1 - -25*(1 - -1)?
True
Suppose 5*t + k = 6*k - 70, 2*t + 5*k = 0. Let o be (-4062)/30 + 6/t. Is 5 a factor of o/10*5/(-2)?
False
Let x(b) = 23*b**3 - 2*b**2 + 4*b - 1. Is 3 a factor of x(1)?
True
Let g(a) = 419*a**2 - a + 2. Let q be g(1). Suppose 2*c = 4*c - q. Is 14 a factor of c?
True
Is (-2334)/(-42) - (-24)/(-42) a multiple of 11?
True
Let m(v) = -12 - v + 3*v**3 + 5*v - 2*v**3 + 5*v**2 + 15. Is 2 a factor of m(-4)?
False
Let z = 80 - -587. Does 29 divide z?
True
Let h = -153 + 104. Let f be ((-2)/3)/((-21)/2709). Let a = h + f. Is a a multiple of 12?
False
Suppose 2 = x, 5*f - 15 = 4*x - 63. Let d = 33 + f. Suppose -4*m - m + d = 0. Is m a multiple of 5?
True
Suppose -z = -2*z. Let d = z + 2. Suppose 5*f - 20 = 0, 3*i + f = d*f + 8. Does 2 divide i?
True
Let n(p) = -193*p - 135. Is n(-2) a multiple of 27?
False
Does 36 divide (9/12)/((-11)/(-5280))?
True
Let b be ((-38)/8 + -2)/(2/(-32)). Suppose 15 = -0*c + 3*c. Suppose -p - 2*d = -c - 7, 4*d + b = 4*p. 