z = 2*b + 5*p - 149, -p - 3*p = 2*b - 150. Is 3 a factor of b?
False
Let g = -491 + 762. Suppose -3*d - g = -5*q, -q + 2*d + 68 = 6*d. Let v = -12 + q. Is v a multiple of 4?
True
Let k(v) = 35*v**2 - 40*v - 227. Is k(13) a multiple of 76?
True
Is ((-27 + 31)*974/4)/(4/8) a multiple of 13?
False
Suppose -2*h = -3*l + 56, -4*l - 298*h + 293*h + 113 = 0. Let x(i) = 2*i**2 + 3*i - 3. Let f be x(6). Suppose -19*n - f = -l*n. Is n a multiple of 4?
False
Let w = -2314 + 7319. Is 143 a factor of w?
True
Suppose 45*c = -21*c + 2*c + 78400. Is 35 a factor of c?
True
Suppose y = 6*y - 20. Suppose p - 47 = -5*d + 7, 4*p + y = 0. Let x(k) = -k**3 + 11*k**2 + 9*k + 6. Does 14 divide x(d)?
False
Let o(j) = 394*j**2 + 92*j - 42. Is 17 a factor of o(5)?
True
Let w = -22 - -15. Let y = w - -7. Suppose y*k = -k + 80. Does 20 divide k?
True
Let p = 52 + -38. Let r be (12/p)/((-1)/(-7)). Let c(b) = b + 8. Does 14 divide c(r)?
True
Does 10 divide 18396 - (24 + (-10 - -2))?
True
Let x = 15534 + 3181. Is x a multiple of 19?
True
Let o be (-6157)/(-4) - -4*(-9)/(-48). Is (-10)/(4/(-2)) + o a multiple of 18?
False
Let p be 3/(-12)*-2*(-16)/(-4). Suppose -3*q + 275 + 474 = -5*o, -721 = -3*q - p*o. Is 42 a factor of q?
False
Let n(s) = -2*s**3 + 8*s**2 + 3*s - 4. Suppose -3 = -f + 1. Let h be n(f). Suppose 13*u - h*u - 160 = 0. Is 9 a factor of u?
False
Suppose 3*q + 2610 = 2*a, 3*q + 5226 = -0*a + 4*a. Suppose 12*l - 14388 = a. Is l a multiple of 12?
True
Is (8240/60)/((-44)/(-3597)) a multiple of 103?
True
Let v(y) = 2*y**2 + 34*y + 261. Is 5 a factor of v(-68)?
False
Let i(s) = -17*s**2 + 7*s - 13. Let x be i(7). Let h = -557 - x. Suppose q - 320 = -5*n + n, 0 = -3*n - 4*q + h. Is 20 a factor of n?
True
Let k(c) = -15*c + 42 - 64 + 8*c - 2*c**2 - 12*c**3. Is 14 a factor of k(-4)?
True
Let v = -612 - -2988. Suppose -8*g - v = -19*g. Suppose 2*i - g = -i. Is 6 a factor of i?
True
Let u(w) = 20*w**2 - 85*w - 530. Is 85 a factor of u(43)?
False
Suppose -105 = -4*b + 5*o + 39, 5*b - 5*o - 180 = 0. Is 34 a factor of (-376)/3*(-459)/b?
True
Let c(h) = -2*h + 32. Let n be c(15). Suppose 5*r - 706 = -2*x, 3*r = n*x + 2*r - 730. Is 27 a factor of x?
False
Let q(s) be the second derivative of s**5/20 - 2*s**4/3 - s**3 - 5*s**2/2 + 15*s. Let t be q(9). Does 38 divide (-1674)/(-11) - 4/t?
True
Let f = -117 + 114. Is (2214/(-36))/((-1)/(-10)*f) a multiple of 18?
False
Let v(t) = 249*t**2 + 154*t - 1. Is 37 a factor of v(-6)?
False
Let f be (-811)/2 + (-8)/16 - 2. Let j = f - -741. Is j a multiple of 12?
False
Let q = 2577 - 2557. Is q a multiple of 5?
True
Let w be -1 + 3 + 1 + -5. Let j(z) = 3*z**2 - 375*z**3 + 1 + 2 + 1 - 2*z**2 + 371*z**3 + 2*z. Is j(w) a multiple of 12?
True
Let p(t) = 4 - 3*t - 24 + t + 3*t. Let o be p(23). Suppose 0 = -h, -o*z + h = -0*z - 180. Is 20 a factor of z?
True
Suppose 9*u - 7*u - 5*c = -15, 3*u = -c + 3. Let j be -2 + (-3 - -5) + 16. Suppose 12*n - j*n + 132 = u. Does 7 divide n?
False
Suppose 4*s - z = 18798, 3*z + 46 - 52 = 0. Is 47 a factor of s?
True
Is (3642/(-18))/(3/(-9)) a multiple of 2?
False
Suppose 5*u - 8997 = -b, 5*b - 5*u - 53580 = -8505. Does 4 divide b?
True
Let k(x) = 2*x**2 - 75*x - 52. Let o be k(38). Is 3 a factor of 7920/56 - (-6)/o?
True
Let j = 4979 + 211. Is j a multiple of 15?
True
Let u(r) = 25*r**2 - 2*r - 14*r**2 - 4*r + 3*r + r**3 - 8. Let w be u(-11). Suppose -w*l + 24*l = -45. Is l a multiple of 11?
False
Suppose 0 = 21*f - 89 + 824. Is 30*((-168)/f + -4) a multiple of 8?
True
Let x(v) = 1038*v + 270. Is x(3) a multiple of 55?
False
Let g be (4/5)/(-2) + 64/(-40). Let y be g*2/(-2) + 2. Suppose -y*n = -16, 5*p + 5*n - 412 = 2*n. Is 18 a factor of p?
False
Suppose -p - 2217 = -2*p - 3*q, -5*p + 11097 = 3*q. Suppose -44*n + p = -40*n. Is 32 a factor of n?
False
Let h be ((-9)/2)/(-3)*-276. Let p = 3581 + -4191. Let n = h - p. Does 35 divide n?
False
Let y(h) = h - 11. Let c be y(6). Let v be ((-4)/12*-1)/((-7)/(-42)). Does 14 divide 6 + v + c - -39?
True
Let o(y) = 46*y**2 + 16*y - 478. Is 29 a factor of o(-32)?
False
Let k = 25 - 16. Let s be -109*k - 15/3. Does 24 divide s/(-18) + (-8)/(-36)?
False
Suppose -20990*m + 20977*m = -4966. Is m a multiple of 27?
False
Suppose 20*j + 8674 = 25*j - 3*c, 1740 = j + 2*c. Is j a multiple of 105?
False
Let f be (11/(132/16))/(2/9). Suppose q - f*q + 516 = 3*t, 0 = t + 3. Is 35 a factor of q?
True
Let i be ((-6)/(-15))/(3/15). Let u be i/4*(4 + -3)*-6. Is u/(((-3)/4)/((-3)/(-1))) a multiple of 3?
True
Suppose 241*w - 238*w - 7687 = -d, 5*d + 4*w - 38512 = 0. Does 82 divide d?
True
Suppose -3*a - 4*b + 43605 + 9827 = 0, 3*b + 17841 = a. Is a a multiple of 198?
True
Let r(p) = 3*p**3 - p**2 + 10*p + 891. Let n(c) = -c**3 - 3*c - 297. Let o(j) = -7*n(j) - 2*r(j). Does 66 divide o(0)?
False
Let h = 47101 + -14624. Does 11 divide h?
False
Suppose 19*t + 29*t = 11280. Suppose 0 = -215*c + t*c - 24960. Does 32 divide c?
True
Does 10 divide (-4)/(-4)*3727 - -14?
False
Suppose 78*k - 80*k + 2946 = 3*i, 30 = -5*k. Is 34 a factor of i?
True
Let c = -10815 - -11543. Is 14 a factor of c?
True
Let r(f) = 2*f**2 - 15*f + 43. Suppose -3*u + 5*u - 44 = -2*b, -b + 2 = -4*u. Is 19 a factor of r(b)?
False
Let j(c) be the second derivative of c**5/20 - 3*c**4/2 + 41*c**3/6 - 31*c**2/2 - 50*c - 1. Is 9 a factor of j(16)?
False
Let w(g) = -2*g**3 + 5*g**3 - 3*g - g**2 + 5*g**3 + 79 - 9*g**3. Is 2 a factor of w(0)?
False
Let a be 80/15*12/((-1)/1). Is 8 a factor of a/2*(-2)/8*26?
True
Does 26 divide (-2298)/(-24)*4 - 14?
False
Let m = 26 + -26. Suppose -6*g - 567 + 2115 = m. Suppose 0 = 22*r - 19*r - g. Is 6 a factor of r?
False
Let h be -12*(40/(-12) + 3). Suppose h = -m + 5. Is 24 a factor of m/((-22)/(-1544)) - (-2)/(-11)?
False
Let w(b) = -b**3 + 11*b**2 - 13*b - 30. Let o(j) = -3*j**3 + 32*j**2 - 40*j - 90. Let u(q) = 2*o(q) - 7*w(q). Does 2 divide u(12)?
True
Let c(g) = 16*g**2 + 5*g + 5. Suppose 0 = 2*k - 3*k - z - 78, -2*k - 136 = -2*z. Let h = -75 - k. Does 4 divide c(h)?
False
Let y(c) be the third derivative of 0*c + 11/24*c**4 + 0 - 6*c**2 - 35/6*c**3. Is y(7) a multiple of 6?
True
Suppose -38*z + 35*z = -1341. Let k = z + -229. Let t = k - 128. Is t a multiple of 10?
True
Let y(g) = -13*g + 2. Let z be y(2). Let m be 1 - (4 + z/3). Suppose -2*l + t + 84 = 0, -l - 126 = -4*l - m*t. Is l a multiple of 6?
True
Let b(d) = -37*d - 1. Let g be b(2). Let p be (2 + 65/2)/(-9*(-10)/(-120)). Let h = p - g. Is 4 a factor of h?
False
Let g = 28001 - 15383. Is 9 a factor of g?
True
Let v be 8/32 - (100/16 - 2). Let u(z) = -96*z - 48. Is 48 a factor of u(v)?
True
Let t be (-2)/(24880/8296 - 3). Suppose -4*b + 9*a = 12*a - 2787, 3*b - t = a. Is b a multiple of 79?
False
Let k = 273 + -210. Suppose -5*m + 453 - k = 0. Does 18 divide m?
False
Suppose -w + 2*m + 28 = -2, -95 = -4*w + 3*m. Let g be (-5 - -2) + w/4. Suppose 3*a - g*a = 89. Is a a multiple of 8?
False
Let x = 19871 + -17232. Is x a multiple of 7?
True
Let s = 255 - 97. Let p(x) = -x**3 - 5*x**2 - 2*x - 6. Let c be p(-5). Suppose c*d - 3*v - 125 = 0, -2*v - s = -d - 4*d. Does 21 divide d?
False
Suppose 2*j + 4 = 0, -62*b + 67*b = -j + 28903. Is 18 a factor of b?
False
Suppose -g - 6 - 3 = 3*r, -4*r + g = 12. Is 9 a factor of 2*r - 6603/(-31)?
True
Let z(v) = v**3 - 14*v**2 + 14*v + 8. Let r be z(13). Suppose 23*y = r*y + 820. Is y a multiple of 41?
True
Suppose 3*g = 10*g - 56. Suppose 1949 = g*k + 509. Let w = k + -88. Is w a multiple of 20?
False
Suppose -10*w = -24*w + 9898. Let g = -377 + w. Is g a multiple of 31?
False
Suppose 24 = 45*d - 39*d. Suppose 3*m - 90 = 5*x, -60 = -4*m + 2*m + d*x. Does 15 divide m?
True
Let d be (-1 + (-156)/(-5))/(2/10). Let g(p) = 78*p - d*p + 102*p. Does 2 divide g(1)?
False
Let a(g) = g - 7. Let b(f) = -22*f + 449. Let y(c) = 4*a(c) + b(c). Does 8 divide y(-16)?
False
Let t(f) = -17*f + 136. Let j be t(8). Suppose w = -2*o - j*o + 360, 5*w = -2*o + 1768. Is 22 a factor of w?
True
Suppose -38*y + 65346 = -46298. Is y a multiple of 8?
False
Let z(f) be the first derivative of -11*f**2 - 198*f - 16. Is z(-51) a multiple of 66?
True
Suppose 108*z - 270*z + 1820880 = 0. Is z a multiple of 8?
True
Suppose 4*b + 2*z = 100587 - 14217, -4*z = -5*b + 108008. Is 13 a factor of b?
False
Does 11 divide ((-474124)/(-246