 a multiple of 4?
False
Let w(q) = -27*q**3 + q**2 + q - 4. Let b = -251 - -249. Does 22 divide w(b)?
False
Let w be 6/(-21) + (132/(-28) - -2). Let f(a) = a + 15*a - 8*a**3 - 12*a + 1. Is 41 a factor of f(w)?
True
Let h be (-4)/56*-1356 + (-30)/35. Let b(q) = q**3 - 4*q**2 + 4. Let j be b(3). Let g = h - j. Does 8 divide g?
False
Suppose 0 = -5*s - 0*s + 2*j + 31, -3*j = -s + 14. Suppose -r + 2 = -b, 2*b + r = 2*r - s. Let x = b + 35. Does 4 divide x?
True
Let p(g) = -6*g**2 + 2*g - 3. Let q be p(1). Let k(a) = a**2 + a + 22. Does 4 divide k(q)?
True
Let f(a) = -14 - 6*a + 54*a**2 - 29*a**2 - 24*a**2. Let h be f(11). Does 9 divide (-6)/(-4)*(h + -11)?
True
Let p(c) = c**2 + 14*c + 45. Let r be p(-7). Does 56 divide (-673)/4*-4 - r?
False
Let b(r) = r**3 - 6*r**2 + 10*r + 1. Let p be b(2). Suppose j - 2*q - 454 = -6*q, 458 = j + p*q. Is 12 a factor of j?
False
Suppose 0 = -270*r + 253*r + 43520. Does 8 divide r?
True
Let o(k) = k**3 - 33*k**2 - 39*k - 60. Does 4 divide o(36)?
True
Suppose 0 = -q - 6, 2*t - 222 = -2*q + 602. Does 14 divide t?
False
Let l be (-106 - (4 - 2)) + 3. Let i = l - -110. Suppose 2*t - 1 - 5 = 0, -5*v + i*t + 435 = 0. Does 18 divide v?
True
Suppose 5*s - 216 = -3*s. Suppose s*q = 37*q - 1140. Let m = 167 - q. Is 4 a factor of m?
False
Let l = -87 - -91. Suppose 287 = 3*g - l. Let c = g - 17. Is 12 a factor of c?
False
Suppose 3*j = -2*j + 3610. Let n = -1103 - -1297. Suppose -4*v = -j + n. Is v a multiple of 22?
True
Let m(b) = 14*b - 17. Let o be m(3). Suppose 3*y = -2*h - 3*h + o, 15 = y + 5*h. Does 8 divide 97 + (-25)/5 - y?
False
Let p be (26/(-4))/((-3)/(-6)). Let v(u) = u**3 + 5*u**2 + 25*u + 67. Let t be v(-4). Let d = p - t. Is 4 a factor of d?
True
Let j(p) = -4*p - 29. Let u be j(-8). Suppose 4*z - 3842 = 2*m, -6*z = -4*z - u*m - 1915. Is 74 a factor of z?
True
Let q = 6 + 17. Let j = -153 + 152. Let t = j + q. Does 5 divide t?
False
Suppose 2 = t, 4*a + 5*t = t. Let z(y) = -64*y + 13. Does 16 divide z(a)?
False
Let o(t) = -2*t - 28. Suppose 0 = -3*x, q + 3 = 4*x - 0. Let v be o(q). Is v/(-8)*(4 + -5 + 9) a multiple of 6?
False
Let l(u) = 19*u + 662. Let d be l(0). Suppose 3*k - 5*j - 1018 = 0, k + 5*j = -k + d. Is 7 a factor of k?
True
Let c(u) = u**3 + 2*u**2 + 2*u + 117. Let h be c(0). Let t = h + -45. Suppose 3*z - z = t. Does 12 divide z?
True
Suppose -4571 = -j + 4*l - 3*l, -4*l + 4 = 0. Suppose 0 = 15*g - 981 + 936. Is 46 a factor of (j/33)/g + 8/(-44)?
True
Suppose 0 = -862*a + 867*a - 61040. Is a a multiple of 166?
False
Let g(z) = 2208*z**2 - 399*z + 12. Is g(-4) a multiple of 108?
True
Suppose 5 = l, 0*l + 147 = 2*s - l. Let t = 44 - s. Let h = 48 + t. Is h a multiple of 16?
True
Let z(b) = -13*b + 158. Let u be z(23). Is 0 - (3*(-6)/9 + u) a multiple of 11?
True
Let i(c) be the first derivative of -c**4/4 - 4*c**3/3 + 9*c**2/2 + 2*c - 43. Does 11 divide i(-6)?
False
Is 30 a factor of (-10)/40 + (-696976)/(-64)?
True
Suppose -32509 + 188389 = 20*x - 84680. Does 62 divide x?
True
Suppose -7*y + 62 = -78. Let w = 33 + -48. Is w/y - (-2022)/8 a multiple of 17?
False
Suppose -3*i - 4*r + 33274 = 3023, 0 = -2*i - 2*r + 20170. Is 142 a factor of i?
False
Let c(t) = 6*t**3 - 51*t**2 - 12*t + 121. Does 41 divide c(11)?
True
Let h(a) = -2*a**3 - 2 + 68*a**2 + 12*a - 122*a**2 + 64*a**2. Let f be h(6). Is 20 a factor of (-5)/(-4) + f + 9204/48?
False
Let q(w) = -w**3 + w**2 + 1. Let v(a) = 6*a**3 - 14*a**2 - 8*a - 15. Let o(y) = 5*q(y) + v(y). Suppose -r = -2 - 8. Does 5 divide o(r)?
True
Let q = -10150 - -22628. Does 121 divide q?
False
Let a(u) = -124*u**3 - 2*u - 3. Let j = -4 - -18. Suppose 5*p = 20, -3*p - 1 + j = -q. Is 41 a factor of a(q)?
True
Suppose -8*t + 4*g + 3486448 = -10*t, -3*g = 0. Is (-4)/(-30) + t/(-1470) a multiple of 54?
False
Is 1*6867*(8 + -6) a multiple of 4?
False
Suppose 4*a = 3*a + 6. Let u(v) = 793*v**2 + 26 - 1587*v**2 + 798*v**2 + 10*v. Does 17 divide u(a)?
False
Suppose 2*i = -19*i + 2877. Suppose -4*t = -j + 537, 2*j + 3*t - 948 - i = 0. Is j a multiple of 7?
False
Let i(u) = 439*u**2 + 37*u + 38. Is 20 a factor of i(-5)?
False
Let x(y) = 6*y + 5. Let v be (-2)/(-7) - 12/(-7). Suppose -v*r = r - 15. Is x(r) a multiple of 11?
False
Let l = 96 + -93. Suppose 4*z = 2*f - 7*f + 295, -l*f + 305 = 4*z. Suppose z*d + 462 = 83*d. Is 22 a factor of d?
True
Let b(k) = -4*k + 20. Let u be b(5). Suppose u*z - 2*s = 5*z - 86, -4*s = -4*z + 80. Suppose -60 = -z*n + 8*n. Is n a multiple of 3?
True
Let y(v) = -7*v - 41. Let l be y(-21). Let n be 3*2 - (5 - 2). Suppose 0 = -n*d - 5*p + 75 - 6, 2*p - l = -4*d. Is d a multiple of 7?
True
Let l be 4 - (460/1)/5. Let v = l - -79. Does 6 divide (v/18)/(2/(-148))?
False
Let s be (17/(-5))/(24/(-240)). Let b = -27 + s. Suppose -185 = 3*t - b*t + a, 4*t - 3*a = 195. Is 8 a factor of t?
False
Suppose -2*p + 18 = -2*u, 5*p = -4*u + p + 4. Does 2 divide 36/8 - 6 - 346/u?
False
Let c(y) = -y**2 + 16*y - 35. Let j be c(14). Let k(n) = -n**3 - 2*n**2 + 3*n. Is k(j) a multiple of 16?
True
Let u be 0/(-3)*(5/4 + -1). Suppose 4*s + 2*z - 1110 = u, -5*s - z - 565 = -7*s. Is 28 a factor of s?
True
Suppose 164925 = 5*x + 5*b, -356*x = -361*x - 4*b + 164924. Is x a multiple of 76?
True
Let c = -874 + 823. Let i = 79 + -232. Does 32 divide 18/i - (1536/c + -2)?
True
Suppose 4*h = 4*c, -33 = -5*c - 13. Suppose -4*u - h = -3*t, 10 = u - 4*t + 6*t. Suppose -u*y + 5*z = -66, 5*y - 2*z - 184 = z. Does 2 divide y?
True
Suppose -9*b + 16 + 11 = 0. Let p(s) = -1 + 7 - 3 + s**2 + 1 - b*s. Is p(7) a multiple of 16?
True
Suppose -6*r = -r - 920. Suppose 5*y = -151 + 166. Suppose y*x - r = 506. Is x a multiple of 34?
False
Let c = 208 + -2. Suppose -4*j = -z + c, -343 = -3*z - 5*j + 292. Does 42 divide z?
True
Let j(o) be the first derivative of -o**3/3 - 17*o**2/2 - 31*o + 15. Let z be j(-13). Suppose 57 = 2*v - z. Is 3 a factor of v?
True
Let v = -31198 + 53095. Does 215 divide v?
False
Suppose -i - 4*y - 4 = 0, -5*i = 5*y + 1 - 11. Suppose -i*d + 29 = 17. Suppose 5*n - 3*j - 141 + 24 = 0, -4*n + d*j + 96 = 0. Does 21 divide n?
True
Let l be 164 + (39/((-9009)/(-42)) - (-9)/11). Suppose 5*q - 9 = 2*q + 4*t, -5*q = 3*t - 15. Suppose l - 45 = q*r. Does 14 divide r?
False
Let j be 2 + -2 + 3 + 3. Let x be -4*(-3)/(-12)*-3 + -1. Suppose 0 = j*q - x*q - 104. Does 26 divide q?
True
Suppose 0 = -2*y - 89 - 89. Let b = y - -75. Let s = b - -124. Is s a multiple of 22?
True
Let d = 66379 + -46891. Is d a multiple of 87?
True
Let g(f) = 17*f + 0*f**2 - 4*f - 18*f + f**2 + 528. Does 11 divide g(0)?
True
Suppose -25*c + 13244 + 48031 = 0. Is c a multiple of 10?
False
Suppose 11*s + 65*s = 296324. Is s a multiple of 11?
False
Let s = 19494 - 14842. Is 15 a factor of s?
False
Let l be (4 + -20)/((-1)/2). Suppose -q = -2*g - l, -g = 5*q - 2*g - 133. Is q a multiple of 4?
False
Let s = 547 + -313. Suppose -9240 = -s*u + 223*u. Is 60 a factor of u?
True
Suppose 5*l = 5*w + 1170, 2*l + 2*w = 7*l - 1158. Suppose -q = q + 208. Let u = l + q. Is 14 a factor of u?
True
Let b(l) be the second derivative of -1/2*l**5 + 0*l**2 + 13*l + 0 + 1/3*l**3 - 1/6*l**4. Is 34 a factor of b(-2)?
True
Suppose 0 = -5*y - s + 137, y + 50 = 3*y + 2*s. Suppose -4*t - y = -o, -o = 2*o + 4*t - 4. Is 25 a factor of (-1)/(-6)*1094 - o/(-12)?
False
Let w be 7/((12/(-8))/(-3) - 0). Suppose -21*b = -w*b - 1127. Is b a multiple of 11?
False
Let q(w) = -w**2 + 2*w. Let g(b) = 10*b**3 - 3*b**2 + 7*b - 2. Let m(p) = g(p) - 2*q(p). Let n(i) = i**2 - 6*i + 2. Let o be n(6). Is 20 a factor of m(o)?
True
Suppose -120*j - 18298 = -124*j - 2*r, -j + 4582 = -2*r. Is 32 a factor of j?
True
Suppose -2*r + l + 51 = 0, -69 = -2*r - 2*l - 3. Suppose -r*i = -37*i + 16965. Is i a multiple of 29?
True
Suppose 0 = 10*o - 3*o + 98. Let a(w) = w + 35. Let l be a(o). Suppose l = 4*x - 2*m - 473, 4*x - 512 = -4*m. Does 25 divide x?
True
Let x(f) = 11*f**3 - 6*f + 3. Let m be x(2). Suppose -2*k - m + 350 = q, 0 = 3*k - 3*q - 420. Let d = -59 + k. Is d a multiple of 13?
True
Suppose 0 = -m + 25 + 249. Let b = -127 + m. Is b a multiple of 15?
False
Let l = -41556 + 62342. Is l a multiple of 126?
False
Let h = 3670 + -1770. Suppose 5*b - 1910 = -3*q, -5*b + q = 2*q - h. Is 13 a factor of b?
False
Suppose 206868 - 538758 = -30*q + 210750. Is 17 a 