False
Does 10 divide (3 - (-515 - 1)/(-4))/(-2)?
False
Let i(t) = -4*t + 6. Is 6 a factor of i(-3)?
True
Suppose -8*n + 4*n = 0, -3*g + 243 = -5*n. Does 19 divide g?
False
Let s = 7 + -14. Let z(o) = -8*o - 3. Let y be z(s). Let m = 94 - y. Does 14 divide m?
False
Suppose 5*i - i = 8. Suppose 0 = b - i*b + 30. Is 10 a factor of b?
True
Let y(r) = -r**3 - 6*r**2 + 5*r - 10. Let w(s) = s**3 - 4*s**2 + 2*s - 5. Let l be w(4). Let o(g) = -g - 4. Let a be o(l). Is y(a) a multiple of 4?
True
Let w(v) = v**3 + 12*v**2 - 7*v + 17. Let a be w(-12). Let k = a + -68. Is k a multiple of 11?
True
Does 20 divide 1*(-32)/(-4)*20?
True
Let k = 16 + -11. Suppose 6*q - 2*q = -t + 3, -2*q = 2*t - 12. Suppose -t = -4*g + 3*a, -g - k*a + 11 = -2*g. Is g a multiple of 4?
True
Suppose 5*i - 3*k = 24, 5*i - 9 = -0*i - 2*k. Let l = -1 + i. Suppose -3*d - l*p + 176 = 0, -3*p - 98 = -d - 32. Is 20 a factor of d?
True
Suppose 4 = -2*r, -r + 4*r = -5*m + 344. Is 14 a factor of m?
True
Let r(b) = -2*b + 7. Let a be 3*2/(-3)*4. Let l = a - -3. Is 17 a factor of r(l)?
True
Let w be (1*-2)/(2/29). Does 15 divide 5 - 3 - (w - 2)?
False
Does 7 divide (-532)/(-19)*(-5)/(-2)?
True
Suppose 2*s = -s - 69. Let g = 45 + s. Is 10 a factor of g?
False
Let t(j) = 25*j**2 - 1. Let f(m) = -m**2 - 8*m - 5. Let z be f(-7). Suppose -i - 16 = 4*p + z*i, 0 = 4*i + 16. Is t(p) a multiple of 12?
True
Let l = 12 + 118. Does 13 divide l?
True
Suppose -2*d + 16 - 8 = 0. Suppose -d*h + 155 = h. Is h a multiple of 13?
False
Let v = -379 + 537. Is v a multiple of 33?
False
Suppose 0 = 2*f + 3*f + 5. Does 6 divide f/(23/6 + -4)?
True
Suppose 5*g = -4 + 14. Let p = -5 + g. Is 6 a factor of (-56)/p + 2/(-3)?
True
Suppose 3*y + 2*o + 1 - 4 = 0, 5*y - 5*o = 30. Suppose y*w - 43 = 4*w + 5*h, w + 2*h = -28. Let s = w + 31. Is 5 a factor of s?
False
Let f(g) be the third derivative of -g**4/24 + 16*g**3/3 - 4*g**2. Let w(q) = -q**3 + 2*q**2. Let d be w(2). Does 16 divide f(d)?
True
Let x = -10 - -12. Suppose 0*y + x*y = 132. Is y a multiple of 15?
False
Let a(p) = 6 + 4*p**2 + 0*p**2 + 11 - 7*p - 3*p**2. Is 18 a factor of a(9)?
False
Let o(a) = 5*a**2 - 4*a + 3. Let r(q) = -q**2 + 9*q - 6. Let i be r(8). Let g be o(i). Is 6/g*(78 + 2) a multiple of 12?
False
Let q = -195 + 273. Is 29 a factor of q?
False
Suppose -2*w = -5*k - 3*w + 300, 0 = k - w - 60. Is k a multiple of 15?
True
Let n(i) = -3*i**3 + 4*i**2 + 2*i + 7. Does 24 divide n(-4)?
False
Let u = -5 - -3. Let i(s) = -s**3 + 2*s - 1. Let o be i(u). Is 12 a factor of (4 - 13)/(o/(-4))?
True
Let x(u) be the first derivative of u**2/2 + 30*u + 2. Is 5 a factor of x(-14)?
False
Let n(f) = f**3 - 5*f**2 - 2*f - 4. Let k be -2*(-12)/(4 + 0). Is 10 a factor of n(k)?
True
Let o(d) = d + 11. Does 6 divide o(7)?
True
Suppose -5*x + 2*a + 115 + 275 = 0, 0 = -2*a - 10. Suppose 4*t + q = -3*q + x, 4*t + 2*q = 82. Is 11 a factor of t?
True
Suppose 3*r = -r - 16. Let k be (-6)/(-12) + 106/r. Let w = -12 - k. Is 14 a factor of w?
True
Let y(m) = -m**3 - m**2 - 12. Let i be y(0). Does 7 divide (1 + (-52)/i)*3?
False
Let y = 20 + -12. Does 14 divide (20/y)/(-5)*-28?
True
Suppose 0 = 2*x - 2 - 2. Does 4 divide (0 + -2)/((-1)/x)?
True
Suppose -2*f + 60 = -4*m, 4*m - 80 = -3*f - 0. Is f a multiple of 28?
True
Let b = 101 + -94. Is 7 a factor of b?
True
Let a = 1 + -1. Suppose 30 = g - a*g. Suppose 3*w - 4*w + g = 0. Does 16 divide w?
False
Let p = -9 - -15. Let s(n) be the second derivative of 5*n**3/6 - 4*n**2 + 4*n. Does 11 divide s(p)?
True
Suppose -g - g = -10. Suppose 0 = -5*b + g, -4*b + 0*b = f - 7. Is 3 a factor of f?
True
Let p = 1 + 3. Suppose 4*m = -p*q - 24, -q - 3*m + 4*m - 6 = 0. Let b = q - -23. Is b a multiple of 9?
False
Let n(i) = 2*i**2 - 3*i + i**3 - 4*i**2 + 2 + 0*i**2. Suppose -4*q = -2*q - 8. Is 9 a factor of n(q)?
False
Let u(s) = s**2 - 4*s. Let o be (-62)/(-8) - (-6)/24. Is u(o) a multiple of 18?
False
Suppose 4*o - w = -4*w + 353, 5*w = -5*o + 435. Does 23 divide o?
True
Suppose -3*a - a + 5*i + 64 = 0, -a = 5*i - 16. Let l = a + -4. Is l a multiple of 6?
True
Suppose 4*d + 0 = -12. Let w = 13 + d. Does 9 divide w?
False
Let n be ((-5)/(-2) + -2)*8. Does 20 divide (-363)/(-12) - (-3)/n?
False
Let c(k) = k. Let d be c(5). Suppose -d*l + 10 + 10 = 0. Does 4 divide 14/(-2)*(l - 5)?
False
Let h(m) = m**3 + 6*m**2 + 7*m + 5. Does 3 divide h(-4)?
True
Let n be 0*(-2)/6 - -2. Suppose q + 45 = n*q. Does 15 divide q?
True
Let f = 41 + -5. Is 18 a factor of f?
True
Let c(g) be the second derivative of -1/3*g**4 - 1/20*g**5 + 0 + g**2 - 2*g - 2/3*g**3. Is c(-4) a multiple of 18?
True
Suppose 0*j = -2*j - 4. Is 11 a factor of (-14)/j*3*1?
False
Suppose 0 = m + 3*m - 20. Suppose -s = m*r + 15, 4 = -2*r - 2. Suppose s = 5*v - 3*k - 0*k - 86, -50 = -2*v - 4*k. Is 19 a factor of v?
True
Let p(c) = -2*c**3 + 0*c**3 - 8 - 6*c**2 - 3*c + c**3. Let w be p(-6). Suppose r = w - 1. Is 9 a factor of r?
True
Let f(s) = -s**3 - 18*s**2 - 20*s - 3. Is f(-17) a multiple of 9?
False
Suppose -5*b + 2*h - 3*h = 0, -4*h - 21 = -b. Suppose b + 29 = 2*d. Is d a multiple of 15?
True
Let f be (-2)/(-5) - 72/(-20). Suppose 2 = -q + f. Suppose -q*c - 2*c = -36. Is 9 a factor of c?
True
Suppose 2*f - 16 - 14 = 0. Suppose -5*y = -5*w + 5, 0 = -2*w - 3*w + f. Suppose -13 = -3*t + y. Does 5 divide t?
True
Is 14 a factor of 303/6 + 4/(8/(-3))?
False
Let l(d) be the third derivative of -d**4/24 - 2*d**2. Let i be l(0). Suppose 2*c + i = 14. Is 7 a factor of c?
True
Suppose d = -5, -d - 175 = -3*a - 5*d. Suppose 2*r + 3*r - a = 0. Suppose r + 3 = w. Is w a multiple of 6?
False
Suppose 2*m - 36 = 6*m. Let d = m - -19. Is d a multiple of 5?
True
Let j = -36 - -96. Does 20 divide j?
True
Let j = -37 + 55. Is j - 3 - (0 - 2) a multiple of 6?
False
Let j(r) = 1 - 5 + r**3 - 2*r**2 + 5. Does 11 divide j(4)?
True
Suppose 5*i + 11 = -0*i + r, -4*i + 4*r + 4 = 0. Is i/(-15) + 178/10 a multiple of 18?
True
Let d = 4 + -6. Is 6 a factor of (-1*9 + 2)*d?
False
Let f = -247 - -59. Does 19 divide f/(-1 - 1) - -1?
True
Let s(v) = v**3 + 2*v**2 - 3*v - 1. Let b be s(-3). Is 5/(b + 72/69) a multiple of 31?
False
Let n(p) = 4*p**3 - 27*p**2 + 2*p + 31. Let o(y) = -y**3 + 9*y**2 - y - 10. Let q = 0 - -2. Let s(f) = q*n(f) + 7*o(f). Is s(-9) a multiple of 9?
False
Suppose -60 = 2*a + 2*a. Let n = 2 + a. Does 13 divide n/2*-2 + 0?
True
Let q be ((-4)/6)/((-3)/9). Let j(b) = 4*b**3 - 2*b**2 + 3*b. Is j(q) a multiple of 11?
False
Suppose -3*i = 2*q - 3, -2 = 3*i - 5*i + 5*q. Let v be (-2)/(-6) + i/(-3). Suppose -5*j - n + 34 = 0, -3*j - 3*n + 30 = -v*j. Is j a multiple of 3?
True
Let q(c) = -c**2 + 4*c + 1. Let x be q(5). Let l(v) = 2*v**2 - 10*v - 1. Let p be l(5). Does 9 divide (2/x)/(p/36)?
True
Let q(u) = 7*u - 2. Is 33 a factor of q(5)?
True
Suppose 877 - 62 = 5*n. Let l = n + -115. Is l a multiple of 21?
False
Suppose 5*i = -2*h + 5*h + 91, 4*h - 12 = 0. Let g = i - 14. Does 3 divide g?
True
Is (-547)/(-9) - (-8)/36 a multiple of 22?
False
Is 22 a factor of 20 + 3 + (-1 - 0)?
True
Suppose 27 = 3*v - z, 0*v = 2*v - 5*z - 5. Let d = v + -7. Does 2 divide d?
False
Suppose 11*n - 15*n = -160. Is n a multiple of 10?
True
Let x = -180 + 229. Does 7 divide x?
True
Let k be -12*(-4)/48*-33. Let f = k + 79. Is 23 a factor of f?
True
Let o be 2*(2 + 29/(-2)). Let g = o + 36. Is g even?
False
Let f(y) = -11*y + 1. Does 12 divide f(-2)?
False
Let r be -9*(-2 - -1)*7. Let i = r + -45. Suppose i = 6*f - 3*f. Is f a multiple of 4?
False
Suppose 268 = 4*v + 2*d, v + 3*d - 138 = -v. Does 66 divide v?
True
Let l(d) = -9*d + 8*d**2 - 1 + 6*d**3 - d**3 - 4*d**3 - d**2. Is 7 a factor of l(-8)?
True
Let p(u) = -u**3 + 7*u**2 - 5*u - 2. Let x be p(6). Let z(a) = -5*a + x*a + 6*a. Is z(1) a multiple of 2?
False
Suppose m - 25 = -24. Is (-1)/((2/(-56))/m) a multiple of 14?
True
Suppose -7*k + 1219 - 141 = 0. Is k a multiple of 22?
True
Does 48 divide (-1914)/(-8) + 15/20?
True
Suppose 0 = -2*b + 4*b - 12. Suppose w - b = -4*w + 2*k, k - 2 = 0. Suppose -w*t - t + 78 = 0. Is t a multiple of 13?
True
Let r = -540 - -860. Does 10 divide r?
True
Suppose 4*o + 2*w = 352, -o + 3*o + 4*w - 176 = 0. Does 11 divide o?
True
Let j(y) = -2*y**3 + 4*y**2 - y. Let m be j(3). Let r = 23 + m. Does 2 divide r?
True
Let r(t) = -2*t - 5. Let s be 