f 9*-4*6/(-9)?
True
Let w be (752/20)/(4/10). Let k = w + -43. Is 17 a factor of k?
True
Let r(n) = 25*n - 1. Does 7 divide r(1)?
False
Is 34 a factor of ((-85)/(-5))/(2/4)?
True
Let a be (-22)/(-6)*(2 + 1). Suppose a + 4 = -5*g. Let m(x) = x**3 + 3*x**2 - 2*x + 4. Does 5 divide m(g)?
True
Let x(i) = 120*i**2. Is 37 a factor of x(1)?
False
Suppose -f = -10 + 4. Is f even?
True
Let t = -280 + 187. Let a = t + 130. Is 17 a factor of a?
False
Let s be 4/(-18) + (-526)/(-18). Let m = s - 45. Is 8 a factor of m/3*6/(-4)?
True
Let o = 2 - 2. Let k be (-2)/(-4)*o - 27. Let t = -16 - k. Is t a multiple of 4?
False
Suppose -3*b = -6*b + 6. Suppose 2 + 14 = b*f. Is 8 a factor of f?
True
Suppose y + 16 = 5*y. Suppose 3*h = -4*c + 575, 29 = 5*h + y. Suppose -4*f - k = -c, -178 = -4*f + k - 30. Is f a multiple of 18?
True
Suppose 0 = -t - 3*t. Is 2 - t - (0 + -18) a multiple of 12?
False
Suppose 0 = 2*m - 2*l - 14, 3*l + 2*l + 29 = 2*m. Suppose -2*a = -m*z - 114, a = -0*a + 5*z + 53. Is a a multiple of 16?
False
Let i(q) = -4 + 5 + 2 - 4 - 7*q. Is i(-4) a multiple of 9?
True
Let d(m) = 8*m**2 + 6*m - 24. Is 6 a factor of d(3)?
True
Let s = 6 + -10. Let w(h) be the third derivative of h**6/120 + h**5/10 + h**4/6 + h**3 - 3*h**2. Is 11 a factor of w(s)?
True
Let m(g) = 3*g**2 + 7*g + 16. Is m(-7) a multiple of 19?
True
Suppose u - 3*i = -0 - 4, -3*u = 2*i - 21. Let w be 2/(-9) - (-40)/18. Suppose 0 = -y - 2*b + 14, -36 = -w*y - u*b - 9. Is y a multiple of 8?
True
Let j be 1 + 1/(1/(-1)). Suppose -2*n = -j*n - 138. Is 23 a factor of n?
True
Let g = 6 + -1. Suppose -r + g*r = 104. Is 13 a factor of r?
True
Suppose 4*a = 102 + 78. Does 15 divide a?
True
Let x(i) be the third derivative of -5*i**4/12 - i**3 + 3*i**2. Is x(-5) a multiple of 18?
False
Let m(b) = -6*b + 1. Let s be (-3)/(6*(-3)/(-24)). Is m(s) a multiple of 11?
False
Let v(l) = -l - 7. Let p be v(-10). Suppose -p*d + 248 = d. Does 23 divide d?
False
Is 36/(-54) - 670/(-6) a multiple of 33?
False
Let r = 7 + -3. Suppose n - 5 = 0, r*n + 26 + 38 = 4*v. Does 7 divide v?
True
Suppose 21*h - 240 = 16*h. Does 16 divide h?
True
Let k be (158/(-3))/(2/(-6)). Suppose 5*h - k = 12. Is h a multiple of 13?
False
Let p(z) = -z**3 + 2*z**2 + z - 2. Let u be p(2). Suppose j = -j + 5*l + 30, u = -2*j + 4*l + 30. Is j a multiple of 15?
True
Let s be 22 + (1/(-1) - -2). Let o = -1 + 6. Suppose -s = -4*x + o. Is x a multiple of 4?
False
Suppose 2*c = 27 + 333. Is 10 a factor of c?
True
Suppose 0 = -3*t + t + 60. Is 3 a factor of t/(-9)*(-72)/20?
True
Suppose 233 = 6*l - l + 2*a, 4*a + 145 = 3*l. Is l a multiple of 9?
False
Is 2 a factor of 18*(6/12 + 2/4)?
True
Let b(t) = -6*t**3 - 12*t**2 + 7*t + 6. Let o(x) = -x**3 - x**2 + x + 1. Let w(d) = -b(d) + 5*o(d). Let p be ((-14)/(-8))/(6/(-24)). Does 13 divide w(p)?
True
Let r(t) = t**3 + 3*t**2 + t. Let m be (-4)/4*(-4)/(-2). Let b be r(m). Is (-38)/(-4) + 1/b a multiple of 5?
True
Let h be (-4512)/(-56) + (-6)/(-14). Suppose -7*n = -4*n - h. Is 9 a factor of n?
True
Let t = -6 + 10. Suppose 0 = -4*o - t*z + 116, 3*z - 198 = -5*o - 47. Does 12 divide o?
False
Suppose p = -2*p + 9. Suppose -p = x - 11. Does 8 divide x?
True
Let p = 104 - -25. Does 20 divide p?
False
Let s(m) = -m**2 - 6*m. Let u be s(-6). Let v be 1*14 - (2 + u). Let f = v - 6. Does 4 divide f?
False
Is 12 a factor of ((-12)/15)/(5/(-150))?
True
Let t(u) = u**3 + 8*u**2 + 8*u - 1. Let g be t(-7). Let w(b) = b**2 + b - 5. Is 17 a factor of w(g)?
True
Suppose -2*r + 3*u + 4 = 0, 3*r - 1 = -3*u + 20. Suppose -1 = -3*i + r. Does 2 divide i?
True
Let g = 42 - 0. Is 14 a factor of g?
True
Let i(q) be the second derivative of q**4/12 - q**3/6 + 11*q**2/2 + 4*q. Is i(8) a multiple of 17?
False
Let j(h) = h**3 - 4*h**2 + 5*h - 4. Let u be j(3). Does 12 divide (4/(-6))/(u/(-36))?
True
Let p = 111 + -78. Suppose 0*v - v = -p. Does 11 divide v?
True
Let f(n) = -6*n - 1. Let o be f(-3). Suppose -o = -5*y - 2. Does 4 divide 180/(-4)*(-1)/y?
False
Let c be 2/3*3 - 0. Suppose -4*y + 5*g = -79, 72 = 5*y - c*g - 14. Is y a multiple of 8?
True
Suppose -2*i - 3*p - 12 = 0, 3*p + 0*p = 0. Let b(s) be the second derivative of s**5/20 + 7*s**4/12 + s**3/6 + s**2 - 10*s. Is 16 a factor of b(i)?
True
Let g(s) = s**2 - 2*s - 2. Let b be g(6). Suppose -4*k = -b - 22. Is 9 a factor of k?
False
Let t(r) be the second derivative of r**4/12 - r**3 - 3*r**2/2 - 2*r. Is t(8) a multiple of 12?
False
Let s(k) = -6*k - 18. Is 28 a factor of s(-12)?
False
Let q be (3 - 5) + 5 + -3. Suppose -2*t + 101 = 3*y + 3*t, q = -2*t + 2. Is y a multiple of 8?
True
Let y(b) = -17*b + 5. Does 30 divide y(-5)?
True
Is (16/10)/(6/60) a multiple of 8?
True
Let k = 15 + -10. Suppose 2*j + 28 = k*o - 412, -4*o = -3*j - 359. Let f = o - 40. Is f a multiple of 23?
True
Let a(m) = 13*m - 14. Is a(7) a multiple of 17?
False
Suppose -v = 0, 0*a - 4*v = a - 112. Is a a multiple of 28?
True
Let q = 22 - 13. Does 3 divide q?
True
Let p be 0*-1*(-2 + 3). Let t(g) = -2*g + 37. Is 37 a factor of t(p)?
True
Suppose 4 = 2*y - 6. Does 5 divide y?
True
Let l be (2 + (-4)/10)*-5. Let z = -2 - l. Does 6 divide z?
True
Let o(x) = x**2 - x + 2. Let p be o(3). Let v be p/6*(-63)/(-14). Suppose 44 = v*s - 4*s. Does 6 divide s?
False
Let c = 38 - 60. Let d = 36 + c. Is d a multiple of 3?
False
Suppose m - c - 9 = -0, -3*c - 51 = -5*m. Is 5 a factor of m?
False
Let n = -106 + 50. Let v = -38 + 5. Let z = v - n. Is 8 a factor of z?
False
Suppose 36 - 73 = -x. Is x a multiple of 22?
False
Suppose -24 = 5*m - 8*m. Suppose 3*a = -m + 32. Is 2 a factor of a?
True
Suppose 65 = 2*n + 3*n. Suppose -5*h = -153 + n. Is 11 a factor of h?
False
Let g(c) = c**3 - c**2 + c + 7. Suppose 0 = -q, -f + 4*q - 1 = q. Let t be (f*2 - 0) + 2. Does 7 divide g(t)?
True
Suppose 6*i = 3*i. Suppose i = 14*v - 10*v - 200. Does 10 divide v?
True
Let g(m) = 29*m + 5. Let v be g(5). Suppose 4*i - 112 = -4*a, -5*i = 4*a - a - v. Is 11 a factor of i?
True
Suppose 8 = 5*j - j. Suppose -j*w + 2*b = -28, 3*b = 5*w - 0*w - 74. Is w a multiple of 8?
True
Let z = 10 - 9. Does 20 divide z/((-4)/8)*-11?
False
Suppose 2*g = g - 5, 5*l - 4*g = 100. Suppose -k = -52 + l. Does 14 divide k?
False
Suppose 3*c = -0*h + 2*h - 207, -102 = -h + 2*c. Is h a multiple of 36?
True
Let c = 226 - 105. Does 14 divide c?
False
Let h = -8 - -6. Let r be (-4)/((-14)/6 - h). Suppose r = 4*n - 2*n. Is 6 a factor of n?
True
Let c be 3/2*(3 + 9). Is 1*c - (-12)/(-4) a multiple of 15?
True
Let l = -1281 + 855. Let y = l - -597. Is y/12 + (-2)/8 a multiple of 4?
False
Let k(g) = -6*g + 6. Suppose 0 = 3*a + 5*d + 35, -31 = 2*a + 3*d - 9. Does 9 divide k(a)?
True
Let v(z) = 5*z**2 - 5*z + 4. Let h be v(4). Suppose 4*j - h = -g, -3*j + g - 5*g + 61 = 0. Does 12 divide j?
False
Suppose -5*u - 5*z = -335, 3*u - 82 = 2*u + 4*z. Is u a multiple of 10?
True
Suppose -3*r - 2 = -4*r. Suppose 47 = r*z - 7. Suppose -5*d + 0*k + z = k, 3 = -k. Is 3 a factor of d?
True
Suppose -2*q + 0*q - 2*w - 4 = 0, -5*q + 3*w - 2 = 0. Let p be (-11 - q)/(4/16). Let b = -24 - p. Is 16 a factor of b?
True
Suppose 0*g = 4*x + 3*g - 18, 4*x + 4*g - 20 = 0. Let m be 3 + 0 + 9 + -1. Let u = m + x. Does 4 divide u?
False
Let n(x) be the third derivative of x**6/120 - 2*x**5/15 + 5*x**4/24 - 11*x**3/6 + x**2. Suppose -4*d - 2*a + 29 = -3*a, -a = 2*d - 19. Does 16 divide n(d)?
False
Suppose y + 300 = 6*y. Does 8 divide y?
False
Suppose 7*p - 2*p - 270 = 0. Does 13 divide p?
False
Let r(p) = -p + 5. Let d be r(4). Suppose 18 = -3*w + 3. Is 2 a factor of w + 3 - d*-4?
True
Let y(n) = 4*n**3 + 3*n**2 + 3*n + 6. Let b(a) = -5*a**3 - 3*a**2 - 3*a - 7. Let s(d) = -3*b(d) - 4*y(d). Let x be s(-2). Is (4 + x + 10)*1 a multiple of 12?
False
Suppose -2*c + 39 = -c - r, -3*c + 4*r = -117. Suppose -3*w + c = -3*t, -3*w + 0*t + 47 = t. Is 5 a factor of w?
True
Let p(l) = -l**3 + l. Let a be p(-2). Let o be 5*(a/5)/(-1). Let r(j) = -j**3 - 5*j**2 + j + 3. Is r(o) a multiple of 16?
False
Let d be (-12)/8 + 10/4. Let g be (d + -1)*2/(-4). Suppose -3*w + g*w = -129. Is w a multiple of 13?
False
Suppose -2*p = -2*t + 34, -20 = 2*p + 3*p. Does 13 divide t?
True
Let r be (-134)/(-26) - (-2)/(-13). Let t be (-1 - -1)/(1 + 0). Let z = t + r. Is 3 a factor of z?
False
Let x(h) = -h**2 + 7*h + 11. Do