False
Let f be (-84)/(-30) - 2/(-10). Suppose -c - f = -4*v, -4*c - 5*v = -6*c. Is 3 a factor of c?
False
Let n(s) = -10*s - 46. Let p be (-5 + 3)/((-8)/(-76)). Is n(p) a multiple of 18?
True
Let i(n) = n**3 - 3*n**2 - 5*n + 2. Suppose 3*g - j - 43 = -g, 2*g - 26 = -4*j. Suppose -3*c - 5*v + g = 1, -11 = -2*c + v. Is i(c) a multiple of 7?
False
Let k = 29 - 24. Suppose -17*x = -k*x - 60. Is 5 a factor of x?
True
Suppose -j + 5*j = 0. Let l be 1*-4 - (-3 - j). Does 4 divide (15/9)/(l/(-12))?
True
Suppose 0 = 9*r - 16*r + 14. Does 2 divide r?
True
Suppose s + 140 = 3*p, 234 = -0*p + 5*p - 2*s. Is 3 a factor of p?
False
Let q = 78 + -88. Is 42 a factor of 206 + 4/q*-10?
True
Let d = 3310 - 2000. Is 5 a factor of d?
True
Suppose 40*b = 139*b - 130779. Is b a multiple of 5?
False
Let l = 164 + -110. Let k = 14 + l. Is k a multiple of 21?
False
Let r(w) = w**3 + 9*w**2 - 5*w - 17. Let a = -9 + 0. Is 4 a factor of r(a)?
True
Let m = -42 - -22. Is 2 a factor of 5*(-16)/m - -5?
False
Let u = 256 + -486. Is 10 a factor of 1/((-4)/(-2 + u))?
False
Let g(t) = 2*t**2 - 1. Let o be g(-2). Let y be 0*((-9)/27)/(2/(-3)). Suppose y = w + 3*n - 14, 5*w - 3*n - 23 + o = 0. Is 5 a factor of w?
True
Suppose 0 = 3*p - p + 2*h - 14, -3*p = 5*h - 11. Suppose 0 = 2*w - 0*w + 4*z + 16, -3*z - p = -4*w. Is (-24 - w)/(-11 + 10) a multiple of 12?
True
Let d(w) = -w**3 + 9*w**2 + 14*w - 5. Let q be 4 - (2 + -1)*-6. Is 7 a factor of d(q)?
True
Let r(x) = x**3 - 4*x**2 + 5*x - 2. Let c be r(3). Does 23 divide (37 + -15)/(c/6)?
False
Suppose 16*s + 65 = -95. Suppose -5*o + 3*v - 18 = v, 5*v - 14 = -3*o. Does 12 divide (-965)/s - 3/o?
False
Is (-154)/66*(-3)/7 + 451 a multiple of 4?
True
Let l be -6*9/(27/10). Does 26 divide (235/l + 2)*-8?
True
Does 18 divide (-105)/(-70)*88*6?
True
Let s(j) = 5*j + 5*j - j**3 - 6*j**2 + j**2 - 6 + 2. Is 8 a factor of s(-7)?
True
Let t(c) = 40*c - 4. Let u(q) = -41*q + 5. Let a(n) = 6*t(n) + 7*u(n). Does 13 divide a(-4)?
False
Suppose 4*t - 5*q - 175 = 0, -3*t = -0*q + 2*q - 114. Let g be (-395)/t + (-2)/16. Let l = g - -17. Does 2 divide l?
False
Let l be -1*((1 - 10) + -4). Let g(c) = -6*c**2 - 6*c**2 + l - 7*c - 6*c**2 + 17*c**2. Is g(-6) a multiple of 7?
False
Let r(p) = -4*p - 14. Let g = -23 + 12. Is r(g) a multiple of 7?
False
Let k(g) = 52*g + 5. Let h be k(3). Let w = h - 83. Does 11 divide w?
False
Let d be (-44)/7 - 4/(-14). Let f = -4 - d. Does 11 divide f/(-14) - (-1405)/35?
False
Let d be ((-8)/(-4) + -1)*0. Suppose z - 58 - 160 = d. Is z a multiple of 42?
False
Suppose 6 = i + 5*i. Let u be 9/(-18)*(-8)/i. Suppose -5*w + 0*w = -u*b + 31, -41 = -4*b - 5*w. Is 3 a factor of b?
True
Let m be -18*(-9)/12 + 2/(-4). Let b(d) = d**3 - 12*d**2 - 11*d + 1. Is 5 a factor of b(m)?
False
Let j = 82 + -12. Is 7 a factor of j?
True
Suppose 5*m - 2805 = -5*b, 4*m = -b - 2*b + 2246. Does 22 divide m?
False
Suppose 3*i = 3*m - 1179, -3*i - 373 = -m - 7*i. Does 24 divide m?
False
Let d be 2/((-80)/30)*1*-4. Suppose -g + 2*o + 1 = 6, 0 = 5*g - 5*o + 5. Suppose 45 = 3*l + d*y, -g*l + 3*y + 29 = 2*y. Is 4 a factor of l?
False
Let i(v) = -11*v**3 - 4*v**2 + 4*v + 9. Let o be i(-3). Suppose 0 = 3*k + 2*k + 4*y - 322, -3*y + o = 4*k. Is k a multiple of 22?
True
Suppose 0 = -45*d + 44*d - 10. Let q = 45 + d. Is q a multiple of 35?
True
Let f be -5 + 3 + 0 + 2. Let y be (-4)/10 - (-402)/5. Suppose 0 = -2*p - f*p + y. Is p a multiple of 15?
False
Suppose m - 5*b = -13, 5*m - 3*m = -5*b + 4. Is m/(-6) + 173/2 a multiple of 29?
True
Suppose -4*v + 452 = -7*h + 9*h, -3*v = 2*h - 447. Does 36 divide h?
True
Let j(v) = -v**3 - 17*v**2 + 15. Let d be j(-17). Let f(c) = c**2 - 14*c + 8. Does 23 divide f(d)?
True
Suppose 5*b = 4*c + 10662, 5*b + 2*c = 3*b + 4254. Does 10 divide b?
True
Is 38 a factor of 3190/5 + 16/2?
True
Let w(i) = 4*i**2 + 13*i - 137. Is w(14) a multiple of 22?
False
Suppose f + 2*m - 37 = 127, -3*f + 492 = -m. Is 17 a factor of f?
False
Let d = -13 - -8. Let z be 21/(-35) + 12/d. Is ((-2)/6 - 4)*z a multiple of 9?
False
Suppose -23*s = -30*s + 2037. Does 11 divide s?
False
Suppose 45*t = 2009 + 2581. Does 8 divide t?
False
Suppose -11 + 74 = 3*f. Let c = f + -15. Is c/8*(-224)/(-7) a multiple of 8?
True
Suppose 7*u - 8 = 9*u. Is 6 a factor of (30/(-21) - u)/((-2)/(-14))?
True
Suppose -3*b = -5*w - 243, -2*b - 53*w + 143 = -50*w. Is 4 a factor of b?
True
Suppose 3*k + 3*s = 21, 3*k - 23 = -6*s + 4*s. Let f = k - -7. Let u = f - 0. Is u a multiple of 3?
False
Let m(c) = c**3 + 21*c**2 - 23*c - 42. Is m(-15) a multiple of 57?
True
Let h be (-2)/(-7) - (-54)/(-42). Is 6 a factor of (0 - -13) + 1/h?
True
Let d(s) = s + 5. Let v be d(-4). Suppose -n + 4 = v. Is 9 a factor of 18/((-6)/(-27)*n)?
True
Let q(d) = d**2 - 11*d. Let k be q(11). Suppose k = 5*t - 54 - 121. Does 14 divide t?
False
Does 18 divide (-85 + -995)/((-2)/2)?
True
Suppose -o + 4*b = 32, 2*o - 3*b - 147 = 6*o. Let f = 8 - o. Is f a multiple of 44?
True
Let w be -18*(-132)/(-18)*1. Let x = -84 - w. Does 8 divide x?
True
Let v(l) = -l**2. Let h(q) = 3*q**2 - 21*q + 53. Let n(y) = h(y) + 2*v(y). Does 12 divide n(29)?
False
Is 93 - (-7 + 0 + -1) a multiple of 20?
False
Suppose 0 = -0*a - 5*a - 5*l + 2640, 0 = 2*a - l - 1056. Is 24 a factor of a?
True
Let i(r) = -r**3 + 23*r**2 + 20*r - 138. Does 6 divide i(19)?
True
Suppose -4*u + 2*u = -50. Let f = -45 + 40. Let b = f + u. Does 4 divide b?
True
Let m(k) be the third derivative of -k**5/60 + k**4/3 - 5*k**3/6 + 5*k**2. Let d be m(6). Suppose -6*q + d*q - 53 = 0. Does 14 divide q?
False
Suppose s = -g + 413, 0 = -5*s - 8*g + 13*g + 2085. Is s a multiple of 19?
False
Let v = -406 - -279. Let u = -83 - v. Is u a multiple of 13?
False
Let j(y) = y**2 + 4*y - 1. Let u be j(-4). Let k be (957/(-44))/(u/(-4)). Let t = -47 - k. Does 8 divide t?
True
Let l be (-2 - -3) + 32 - 3. Suppose l = -4*a - 2*a. Let i(y) = -y**3 - 3*y**2 + 8*y - 5. Is 5 a factor of i(a)?
True
Let i be 8/(-56)*-7 - (1 - 40). Does 7 divide (100/i)/(2/24)?
False
Let t(u) = -2*u**3 + 2*u**2 - 1. Let y be t(-1). Let w be 3 - ((-312)/2)/2. Suppose y*x - w - 21 = 0. Does 11 divide x?
False
Let x = -119 + 1348. Does 8 divide x?
False
Let c(b) = b**2 - 3*b. Let g be c(3). Suppose 73 = o - g*o. Is o a multiple of 25?
False
Let g = -3822 + 5598. Is 18 a factor of g?
False
Let c = 112 - 105. Let i(d) = 2*d - 1 + 2 - 5. Does 8 divide i(c)?
False
Suppose -8*z + 4*x = -4*z - 660, 5 = x. Suppose -3*f + z = -f. Is 13 a factor of f?
False
Suppose 5*p - 223 = 52. Is 9 a factor of p?
False
Suppose 8 = -g + 9. Does 13 divide g + 94 - (-64)/(-16)?
True
Let d be 1*(0 - (-162)/(-2)). Suppose -u - 331 = 5*q - 41, 166 = -3*q + u. Let g = q - d. Is g a multiple of 24?
True
Let s(t) = 18*t - 12. Let i be s(7). Suppose 4*o - i = 3*o. Suppose d = -3*p + o, -d - 3*d + 3*p = -381. Is 22 a factor of d?
False
Let w be 2 + -4 - 4*-1. Suppose -373 = -4*b + s, 0 = 3*b - w*s - s - 282. Is 10 a factor of b?
False
Let c(r) = 2*r - 18. Let b be c(12). Suppose 4*j = -b*j + 310. Does 31 divide j?
True
Suppose 6*m = 746 + 424. Is 15 a factor of m?
True
Suppose 633*d - 641*d = -14080. Is d a multiple of 16?
True
Is 8 a factor of -1 + (2 - -220) + (5 - 2)?
True
Let c = 46 + -42. Suppose -l - 3 = 0, 0 = -c*a - 4*l - 0*l + 312. Is 9 a factor of a?
True
Suppose 0 = 11*f - 6*f - 185. Suppose -4*h - 4*o + 248 = 0, h - o - 3*o = f. Is h a multiple of 19?
True
Let x(i) = -i + 18. Let k be x(13). Suppose k*c = 5 + 5. Suppose 0*r = -c*r + 66. Is r a multiple of 12?
False
Let u(w) = -16*w + 61. Is 11 a factor of u(-3)?
False
Is ((-228)/7)/((-44)/308) a multiple of 38?
True
Let c(p) = p + 1. Let z(h) = 16*h**2 + 3*h + 1. Let s(y) = -6*c(y) + 2*z(y). Suppose -735 = 11*q - 713. Is 31 a factor of s(q)?
True
Suppose -68 = 6*d - 26. Let b = d - -11. Suppose -b*o + 64 = u, -5*u + 4*o + 147 + 77 = 0. Is 13 a factor of u?
False
Let r = 948 + -708. Is r a multiple of 60?
True
Suppose -2*c - 65 + 67 = 0. Is 6 a factor of ((-63)/(-3) + -2)/c?
False
Let n(w) = -3*w**2 + 5*w + 14. Let j(x) = 2*x**2 - 4*x - 13. Let t(z) = -6*j(z) - 5*n(z). Is 44 a factor of t(-5)?
True
Let x(v) = 6*v**3. Let p be x(1). Suppose 879 = p*f - 129. Does 8 divide f?
True
Let x = -49 - -18. Let w = x + 49. Is w a multiple of 5?
False
Let r(j) = 48*j**3 + 2*j*