 j be h(-1). Let s = j - -77. Is 8 a factor of s?
False
Suppose 0*k - k - 4*k = 0. Let i be (-304)/(-10) - k - (-75)/125. Let r = -6 + i. Is 2 a factor of r?
False
Let q = 103 - 100. Suppose s + 286 = q*s. Is s a multiple of 11?
True
Let z(a) = a**2 + 4*a + 10. Let f be z(6). Let y = f + -34. Is 9 a factor of y?
True
Suppose 0 = 2*c + 5*r - 24, 6 = -2*c + 5*r + 30. Does 3 divide (c/(-15))/(3*8/(-2820))?
False
Let i = -39 - 103. Let p = -70 - i. Suppose -4*m + 7*m - p = 0. Is 3 a factor of m?
True
Let h(o) = -2*o + o**3 + 0*o**3 - 5 + 105. Let a be 0/(-1)*(-2 - (-10)/4). Does 10 divide h(a)?
True
Let m = -770 - -3906. Is m a multiple of 28?
True
Let v(a) = a**3 + 8*a**2 - 4*a + 72. Is 91 a factor of v(15)?
True
Suppose 4*c = 7 + 1. Let h(u) = 12*u + c*u**2 + 5*u**2 - 11*u**2 - u**3 - 2*u**2 + 20. Is 13 a factor of h(-8)?
True
Let j(b) = -68*b - 5. Let m be j(14). Does 14 divide (-3 - -4)/(4782/m + 5)?
False
Let o = -229 + 233. Suppose -2*f + 1150 = 2*c, -2 = 6*f - o*f. Is c a multiple of 64?
True
Is (782/85)/((13/120)/13) a multiple of 16?
True
Let y = 47 + -45. Let k = -1 - y. Is 18 a factor of 154*2/4 - k?
False
Suppose -4*o - w + 3884 = 0, 3*w = 2*o - 4*o + 1932. Does 3 divide o?
True
Suppose 6191 = -14*n + 40631. Is 10 a factor of n?
True
Suppose 11*q + 23*q - 306 = 0. Suppose -3*b + 2*m = -176, 3*m - 44 = -10*b + q*b. Is 28 a factor of b?
True
Let v(q) = -1480*q + 840. Does 38 divide v(-2)?
True
Suppose -5*t + 8*t = -7*t. Suppose 5*b - 4*l - 4635 = -9*l, -2*b - 3*l + 1855 = t. Is (-6)/10 + b/10 a multiple of 19?
False
Is 9725 - ((-23)/138 - (-58)/(-36)*3) a multiple of 5?
True
Let f = 2 + -47. Does 52 divide (-15)/f + 10/(-3) - -159?
True
Let b(a) = -2*a**3 - 14*a**2 + 8*a + 11. Suppose 0 = 26*h - 15*h + 110. Is b(h) a multiple of 25?
False
Let a(w) = -237*w + 18. Let d(r) = -2*r. Let h(n) = -a(n) + 12*d(n). Is h(3) a multiple of 9?
True
Let b be ((-2)/6)/((-2)/192). Suppose -b - 8 = -8*i. Suppose 5*a = -i*p + 360, -p = -3*a + 46 + 158. Is 12 a factor of a?
False
Let r(d) be the third derivative of d**4/24 + 59*d**3/3 - 41*d**2 + d. Is 7 a factor of r(5)?
False
Suppose 82*d = 79*d + 144. Suppose 16*t + 1760 = d*t. Is 11 a factor of t?
True
Let u(l) = l**3 + 14*l**2 - 15*l + 24. Let y be u(-11). Suppose 2*w + 6*c = 7*c + y, 283 = w - 4*c. Is 27 a factor of w?
False
Let q = -39 + 42. Does 14 divide (12*14/(-10))/(q/(-40))?
True
Let j be (56/(-10) - -4)*(-6 + 1). Let z be (408/(-2))/((-4)/j*2). Suppose 12*w - 24*w = -z. Is w a multiple of 17?
True
Let p = -1892 - -3383. Is p a multiple of 3?
True
Let m(n) = 2*n**2 - 6. Let j be m(2). Suppose -4*z + z - 3 = 0, 0 = j*a - 3*z - 127. Is a a multiple of 15?
False
Suppose 2*y + 5*z + 26340 = -2*y, -z + 6594 = -y. Is (-26)/(-273) + y/(-42) a multiple of 28?
False
Let x(g) = 10*g**2 + 28 - 20*g - 3*g**2 + 2*g**2 - 4*g**2. Is 23 a factor of x(9)?
True
Let d = 41 + -29. Suppose -2*m - 6 = -d. Does 3 divide 34/(-6*(-1)/m)?
False
Let d be (17 - 18)*0*(-3)/6. Suppose -8 = -l - 3, 5*u - 3*l - 145 = d. Does 4 divide u?
True
Let v be (-2)/21 - 92196/378. Let i = 498 - v. Is i a multiple of 57?
False
Let b = -320 - -665. Suppose -2*q - 4*r + b = -9*r, 4*r = -20. Is q a multiple of 32?
True
Let z(c) = 5*c + 135. Let y be z(-25). Let m = 136 - y. Is m even?
True
Suppose -5*r + 1 + 9 = 0. Suppose -r*f - 106 = -24. Let d = 89 + f. Is 16 a factor of d?
True
Suppose -5*g + 3*z + 13291 = 0, g + 7967 = 4*g + 2*z. Does 23 divide g?
False
Is 143 a factor of (18 - 16)/(12/42) - -26162?
True
Suppose 4*z - h - 16 = 3*h, 0 = 3*z + h. Let b be -1 + 1/(4*z/20). Suppose -b*v + 22 = -142. Is 9 a factor of v?
False
Suppose -4*q - 12 = -4*j, -2*j = -4*j + 4*q + 16. Let g be 12/8*(j + 0). Is 3 a factor of (8/(-4) - 2) + (-141)/g?
False
Let s(o) = o**3 + 11*o**2 - 6*o - 6. Let j be s(-6). Let f = j - 134. Suppose -10*z = -12*z + f. Is z a multiple of 38?
True
Let g be 2515*(-1)/(3 + -8). Let s = -116 + g. Suppose 6*j + 27 = s. Is 21 a factor of j?
False
Let s = -28 - -202. Does 35 divide s?
False
Let s = 196 + -117. Let w = -107 + s. Let l = 64 + w. Does 9 divide l?
True
Let y(l) = l**2 + 16*l + 34. Suppose 14*g - 32 = 16*g. Let b be y(g). Is 15 a factor of ((-316)/(-6) - 0) + b/(-51)?
False
Let q = -114 - -116. Suppose -2*i + q*y + 1886 = 0, -5*i + 6*i + 4*y = 953. Is 21 a factor of i?
True
Let h = 91 + -51. Suppose 3*u + 80 = p, -3*u - 271 = -4*p + h. Is p a multiple of 11?
True
Suppose v - 2940 = -5*j, 4*j - 205 = -4*v + 2147. Suppose 2*n = 2*d + j, -5*n = -4*n + d - 292. Is n a multiple of 38?
False
Let u(q) = -q**3 - 5*q**2 - 6*q + 7. Suppose 4*b + 16 = -m, 0 = 3*b - 2*m - 3 + 15. Let y = -9 - b. Does 10 divide u(y)?
False
Suppose -2*m + 3*j + 23 = -20, 5*m - 4*j - 90 = 0. Let v = 43 + m. Let i = v + -45. Is i a multiple of 4?
True
Let a be (-166244)/(-65) - (16/10 + -2). Suppose -13*j = s - 11*j - 506, a = 5*s - 4*j. Is s a multiple of 10?
True
Let s = 180 - -195. Is s a multiple of 7?
False
Let i(j) = j**2 + 61*j + 1369. Let z be i(-50). Suppose -3*y + 6 = -9. Suppose -y*s + z = 3*f + 33, -2*s = -4*f - 330. Is 53 a factor of s?
True
Suppose -3*r - 7 = -16. Let y be -12*(-10)/(-45)*r/(-2). Suppose -200 = -4*c + y. Does 23 divide c?
False
Suppose -21*p + 5*l = -18*p - 1296, -3*p + 1320 = -l. Is p a multiple of 251?
False
Let l(q) = -2*q**3 - 20*q**2 + 47*q - 17. Let r be l(-13). Suppose -4*w = -r - 918. Does 15 divide w?
False
Let m(f) = 5*f**3 - 8*f**2 - 16*f + 1. Let y(w) = 4*w**3 - 8*w**2 - 15*w + 1. Let r(c) = 3*m(c) - 4*y(c). Let a be (-1 + -11)*34/(-51). Does 8 divide r(a)?
False
Suppose 0 = -5*o - 5*f + 19187 - 3417, 4*f = -8. Is 12 a factor of o?
True
Let n(o) be the third derivative of 2/15*o**5 - 5*o**2 + 0 + 1/8*o**4 - 1/6*o**3 + 0*o. Is 11 a factor of n(-3)?
False
Suppose 150 = 7*u + 129. Suppose -v - 4*n + 113 = -9*n, 0 = -v - u*n + 81. Does 19 divide v?
False
Let h be 1 - 1/(3/(-747)). Let p be 12/18 - h/(-3). Suppose 0 = -8*u + 14*u - p. Is 6 a factor of u?
False
Suppose 2*m + 5*l = 2835, -80*m = -78*m - 3*l - 2875. Is 11 a factor of m?
True
Let a be 1 - (6/2 + -1). Let i be (11/(-22))/(a/318). Suppose -3*o + 207 = -i. Is o a multiple of 17?
False
Is 43 a factor of (-6)/((-8)/(21024/27))?
False
Let x(f) = f**3 + 28*f**2 - 113*f - 50. Is x(-26) a multiple of 66?
False
Is 248 a factor of (-1 + (-173)/(-5))*(-6 - (-1914)/9)?
True
Let k = 79 - 73. Suppose 4*b + 34 = 2*d + k*b, -3*d + 41 = -2*b. Is (84/d)/(6/45) a multiple of 14?
True
Let v be (-564)/6*-1*4. Does 20 divide 9 + v/(-40) + (-1964)/(-10)?
False
Let n = 35241 - 20261. Does 6 divide n?
False
Let y(h) be the third derivative of -h**4/12 + 29*h**3/3 - 48*h**2. Is y(-8) a multiple of 8?
False
Let j(i) = i**2 + 1 + 17*i - 2 + 3 - 21*i. Does 9 divide j(6)?
False
Let o(m) = m**3 - 6*m**2 - 15*m - 4. Let g be o(8). Let i be (-12*(-12)/32)/(3/g). Suppose 0 = -i*x + 45 + 117. Is x a multiple of 6?
False
Let x(t) = 27*t - 104. Let y be x(4). Does 55 divide (20493/55 - -12) + y/10?
True
Suppose a + 2*i = 10, 0 = -4*a + 5*i - 2 + 3. Does 57 divide 0 + a + -4 + 285?
True
Suppose 2*s + 4 = -4*u + s, 20 = 5*s. Suppose 63 = -425*g + 418*g. Is 18 a factor of (10 - g)*(2 - u)?
False
Let x = 37891 + -17227. Is x a multiple of 18?
True
Suppose 6*h = -65*h + 426. Is h - 0 - -119 - 1 a multiple of 3?
False
Does 73 divide (12*(-133)/380)/(1/(-3545))?
False
Suppose h = -2*u + 3*u - 27, 4*u - 87 = -3*h. Let t be 144/(-6)*(-2)/(-16)*-58. Is t/10 + u/(-60) a multiple of 12?
False
Is 22 a factor of (-3872)/(-110)*670/4?
True
Let m(w) = -189*w + 70. Let y be m(-3). Let n = y + 66. Is 17 a factor of n?
False
Suppose 979*n = 926*n + 1024172. Is 51 a factor of n?
False
Let y(i) = 6*i**2 - 49*i + 310. Is y(38) a multiple of 49?
False
Let i(m) = -5*m**3 - 4*m**2 - 20*m - 3. Suppose 8*v = 7*v - 3. Is 13 a factor of i(v)?
True
Is ((-774)/(-36) - 20)*(44610/9 - -2) a multiple of 32?
False
Let c be -8 + 12 + -6 + (-2)/3*-6. Suppose -67 = -4*m + u + 4, 5*m - 97 = 4*u. Suppose -3*y + 60 = 3*z, 0 = c*z - 4*y - 23 - m. Is z a multiple of 12?
False
Suppose 10*l - 10*l - 62*l = -211978. Is l a multiple of 61?
False
Suppose -5*g = -g + 2*v + 10, -4*v - 20 = 5*g. Suppose g = 12*k - 129 - 63. Does 2 divide 18 + -5 + k/2?
False
Let b = -2442 - -2730. Does 24 divide b?
True
Suppose -11*v = -16*v + 