et t(z) = -88*z**3 - 6*z**2 - 3*z + 9. Is 117 a factor of t(-3)?
True
Let b(p) = p**3 - p + 9. Let w be b(-8). Let q = 50 + -62. Is 8 a factor of 3/q + w/(-12)?
False
Let x be 2 - 8/12*-3. Suppose z - 4 = -2*u - x*z, -2*u - 4*z = -2. Let t = 9 - u. Is t a multiple of 2?
True
Let s = 4029 + -77. Is s a multiple of 52?
True
Let p(z) = -192*z - 60. Let d = 361 + -371. Is p(d) a multiple of 20?
True
Suppose -159 - 161 = -4*k. Suppose -6*n + 22 = 4. Is k + (4 + 16/(-3))*n a multiple of 4?
True
Suppose o - s - 137 = -817, -3*o + 5*s = 2038. Let a = o + 772. Is a a multiple of 7?
True
Is 25 a factor of (3 - 27/6)/(33/(-2750))?
True
Suppose b + 3*y = -0*b + 1067, -2*b - 4*y = -2120. Is b a multiple of 12?
False
Suppose 2*x - 3*t - 22756 = 0, 0 = x - 129*t + 133*t - 11367. Is 5 a factor of x?
True
Suppose 2*r - 68799 = -49*r - 0*r. Is 19 a factor of r?
True
Let z = 38 - 36. Suppose 8 = -z*m + 214. Let w = m + -61. Does 14 divide w?
True
Let q = -3081 + 4090. Is q a multiple of 5?
False
Let d(f) = -f**3 + 6*f**2 + 10*f - 6. Let o be d(-9). Suppose 2*z = o - 85. Is z a multiple of 15?
False
Suppose 7*c - 45731 + 8232 = 0. Is c a multiple of 126?
False
Let j(z) = 2*z**3 + 19*z**2 - 7*z - 26. Let q(a) = -a**3 - 9*a**2 + 3*a + 13. Let v(y) = 3*j(y) + 5*q(y). Let s be v(-12). Let w = s - 34. Does 17 divide w?
False
Let c(n) = -6*n**2 - n + 1000. Let t be c(0). Suppose 0 = -28*p + 6420 + t. Is p a multiple of 53?
True
Suppose 605*w + 154*w = 3036. Let n = 0 + 0. Suppose 9*r + w*r - 2990 = n. Is 23 a factor of r?
True
Is (-89339)/(-41) - (3 - (-2 - -3)) a multiple of 7?
True
Let t(z) = 21*z**2 - 134*z - 3041. Does 6 divide t(-19)?
True
Let f(m) = -m**3 + 45*m**2 + 254*m + 35. Does 37 divide f(-31)?
False
Suppose -4*o - 150 = -p, -4*p = o - 5*o - 576. Is (p/(-20))/(4/30)*-4 a multiple of 5?
False
Suppose 0 = 4*l - 3*a - 48139, 5*a + 15582 = l + 3577. Does 56 divide l?
True
Let r be ((6/(-4))/((-5)/40))/2. Suppose 0 = -r*f - 24 - 6. Is (0 + 2)/(f/((-3975)/10)) a multiple of 16?
False
Let l = 21 + 46. Let w = -64 + l. Suppose -2*i + w*i = 73. Is 9 a factor of i?
False
Let n(a) = -4*a**2 + 6*a + 12067. Does 33 divide n(0)?
False
Let x(y) = 564*y + 20. Is 40 a factor of x(1)?
False
Is 2993/146*((2 - -1) + 4 + 879) a multiple of 6?
False
Suppose -188817 = -124*c - 58*c + 45963. Does 2 divide c?
True
Let r(y) = y**2 + 8*y + 14. Let v be r(-7). Let g be (0 - v)/((12/(-2))/(-6)). Let k(b) = 4*b**2 + 10*b - 6. Is k(g) a multiple of 12?
True
Let f(a) = 142*a**2 - 80*a - 827. Is 37 a factor of f(-14)?
False
Let u = 437 - 186. Let q = -163 + u. Is q a multiple of 2?
True
Suppose 5 = -4*u + 3*u, -g - 4*u - 22 = 0. Let s be ((-77)/g)/(0 + (-1)/(-2)). Let q = s + -61. Is 8 a factor of q?
True
Let j(g) = -25*g - 9. Let b(m) = -9*m + 2. Let w be b(0). Let r be (-2)/(5/(5/w)) + -2. Does 9 divide j(r)?
False
Let d(a) = -93*a + 30. Let k be d(4). Let c = k + 759. Is 25 a factor of c?
False
Let t be ((-57)/(-12) + 36/48)*14. Suppose 32*z - t*z + 108720 = 0. Is z a multiple of 16?
True
Suppose -w + 0*u - 5*u + 6665 = 0, 5*w - 2*u = 33244. Does 35 divide w?
True
Let k(s) = 6*s**2 + 3*s - 4. Let f be k(-2). Suppose f*c + 175 = 15*c. Is 20 a factor of c?
False
Let o = 324 - 204. Suppose -3*q = u + 9, -52*q = -3*u - 55*q - 9. Suppose u = 76*i - 72*i - o. Does 18 divide i?
False
Let l = 22 + -18. Suppose 0*v - 2*v - 6 = 0, -l*q + 2*v + 30 = 0. Does 23 divide (-346)/(-5) - 1/(q - 1)?
True
Let v be 12/(-39)*(-26)/4. Suppose 1768 = -v*q + 10*q. Is q a multiple of 13?
True
Let y(c) = -14 + c**3 - 4*c**3 + 0*c**2 + 4*c**3 - 5*c - 6*c**2. Let g be y(7). Is (116/145)/(g + (-2)/(-25)) even?
True
Suppose 453 = 3*m - 348. Suppose 3*o - 57 = -m. Is ((-16)/10)/(4/o) a multiple of 9?
False
Let j(c) = -117 + 602*c + 348 - 106 - 111. Is 58 a factor of j(1)?
False
Let t(j) = -40*j + 4656. Is t(-18) a multiple of 128?
True
Let t be (-6)/(-4) + 603/(-18). Is 3 a factor of t/(-5)*55/22?
False
Let j(q) = -q**3 - 2*q**2 + 7*q + 13. Does 3 divide j(-7)?
False
Let v(m) = 4*m**3 - 2*m**2 - 2*m - 1. Let k be v(-1). Suppose -50*t + 150 = -48*t. Is t*(5 - (-1 - k)) a multiple of 25?
True
Suppose -4*g + 10*g = 23*g - 32606. Is 14 a factor of g?
True
Suppose 29*d = -286 + 3070. Suppose d*w - 2640 = 90*w. Is w a multiple of 11?
True
Suppose -4*z = -3*b + 13632 + 17846, b - 3*z = 10481. Is b a multiple of 8?
False
Let z = 3210 + -2220. Does 8 divide z?
False
Suppose -5*c = 320 - 30. Let n = 101 + c. Is 2 a factor of n?
False
Let s(n) = 14*n - 30. Let j(b) = -13*b + 33. Let r(p) = 4*j(p) + 5*s(p). Let v be 6 - 0/(-1 + -1). Is r(v) a multiple of 10?
True
Let a = 13285 - 6045. Does 181 divide a?
True
Suppose 8 = 14*j - 48. Suppose 0 = -j*d - 4*h + 328, 0 = 2*d - 0*h - 2*h - 156. Is 13 a factor of d?
False
Let x = 306 + -290. Is 2 a factor of (0/(-5))/1 + x?
True
Suppose 3*i - 4*g = 26, -2*i + g - 16 = 5*g. Suppose 24 = i*d + 2*d. Suppose -d*t + 318 = 78. Is t a multiple of 8?
True
Suppose 2*f + q = 22795 + 13830, 2*f = -4*q + 36628. Is f a multiple of 109?
True
Suppose -108*a - 57279 = -113*a + 2*m, a = -5*m + 11418. Is a a multiple of 19?
False
Let o(p) = -71*p + 21. Let f be o(22). Let z = f - -2537. Is z a multiple of 83?
True
Let t(m) = -m**2 - 7*m + 2. Let j be t(-8). Let l be (3/2 + 54/j)*-14. Let v = -92 + l. Is v a multiple of 13?
True
Let v be (0 + 1)/(6/12). Suppose v*w = 4*y - 5*y + 6, -3*y = -3*w. Suppose -3*o + 227 = -w*s, -4*o - 9 = -2*s - 309. Does 13 divide o?
False
Suppose 55360 = 5*i + 5*z, -14*i = -9*i + 2*z - 55354. Is 27 a factor of i?
True
Suppose -24 = -3*n - n. Is 29 a factor of (-638)/3*(0 - n/4)?
True
Let l be (-4)/(-6)*(-44499)/(-26). Suppose -2*m + l + 465 = 0. Is 11 a factor of m?
True
Let j = -610 + 863. Suppose 79 = r - 3*g + 19, j = 4*r + g. Does 21 divide r?
True
Suppose d + 1 - 73 = 0. Let i = 72 - d. Suppose -3*u + 30 = t, 5*t - 132 = -i*u + 3*u. Is 9 a factor of t?
True
Suppose -1 = -p + j, -43 = -3*p + 5*j - 10*j. Suppose 4 = -2*r - p. Does 19 divide 588/30 + 3/r?
True
Let l be 30/(-8)*216/(-90). Is -150*(6/l + (4 - 6)) a multiple of 25?
True
Suppose -3*x - 8 = -4*x - 3*o, -4*o = -3*x + 11. Suppose j = 2, -60*z = -57*z + x*j - 1879. Is z a multiple of 14?
False
Is 14 - (6 - (-11979)/(-9)) a multiple of 8?
False
Suppose w - 1 = 0, -5*k + w = -39 + 250. Is (-844)/(-10) + k/105 a multiple of 6?
True
Suppose 4*a + 21*f - 26050 = 16*f, 4*a - 26044 = -2*f. Does 21 divide a?
True
Let r(g) be the third derivative of g**6/120 + g**5/15 + g**4/4 - 4*g**3/3 - 64*g**2 + 2. Is 6 a factor of r(4)?
True
Suppose 8*s + 29*s = 12*s + 85050. Is 14 a factor of s?
True
Let k(y) = y + 5. Let x be k(4). Let t = 1809 - 1093. Suppose 751 = x*n - t. Is n a multiple of 13?
False
Let q(t) = t**3 - 27*t**2 - 8*t + 60. Let x be q(27). Is (-63)/(-15)*(-11 - x) a multiple of 8?
False
Let d be (972/(-33))/(-3) - (-4)/22. Let w(u) = d - 7 + 7 + 7*u + 10*u. Does 11 divide w(2)?
True
Let u = 704 - 170. Let c = u - 174. Is 18 a factor of c?
True
Let w(v) be the first derivative of 0 - 16*v - 1066*v**2 + 1078*v**2 + 10. Does 15 divide w(6)?
False
Let b = 47 + -32. Suppose 2055 = b*y - 1470. Is y a multiple of 9?
False
Let d(h) = 4*h**3 - 5*h**2 - 6*h - 6. Is d(8) a multiple of 70?
False
Let m be 4/2 + -3 + 26 + -4. Suppose 8*g = m*g - 143. Let w = 5 + g. Does 4 divide w?
True
Let s = -726 - -728. Does 11 divide 16 - 21 - 29/s*-10?
False
Let h be ((-430)/(-11))/5 - 4/(-22). Let w be 462/h + 4/16. Let y = 181 - w. Is y a multiple of 23?
False
Let f = -255 - -483. Let j = 36 - 7. Suppose -f = 25*s - j*s. Is 19 a factor of s?
True
Suppose -2476*p - 15 = -2479*p. Let w(j) = -1. Let d(g) = 4*g**2 + 8*g + 2. Let i(t) = d(t) + 8*w(t). Does 17 divide i(p)?
False
Let j(v) = -v**2 - 14*v - 42. Let s be j(-11). Is 2/s + (-20955)/(-135) a multiple of 5?
True
Is (-50 - -55)*((-4)/(-30))/(11/198) a multiple of 2?
True
Let h = -8512 + 9090. Is h a multiple of 4?
False
Let k(t) = -3*t + 5 + 3*t**2 - 12*t**2 + 8*t**2 + 4*t**2. Let f = 0 - -7. Does 13 divide k(f)?
False
Suppose 2*h - 9 = -3. Suppose -3*d - 4*r + 17 = -3, d - 10 = -h*r. Suppose 5 = -d*y + 197. Is 16 a factor of y?
True
Suppose -7*g + 2859 = -2*g - 3686. Is 64 a factor of g?
False
Is (-2)/3*-458*3 - (-1 - -3) a multiple of 9?
False
Let w be 3 + -6 - -1 - -6. Suppose b = 