pose 0 = 10*k - 2964 - 4226. Is k a multiple of 4?
False
Let b(g) = g**3 + 9*g**2 + 11*g + 15. Let f be 2 + (6 - 4)/((-4)/18). Let i be b(f). Suppose -7*o - i = -10*o. Is 4 a factor of o?
True
Let t = 379 - 374. Suppose -16*y + 860 = -12*y + 4*p, t*y - 5*p - 1105 = 0. Does 16 divide y?
False
Suppose -22*k - 88 = -11*k, 22678 = 2*u - 5*k. Does 19 divide u?
False
Let y be -1626 + -3 + 3 + -2. Let k = y - -2456. Does 9 divide k?
True
Let j(q) = 20*q**2 - 4*q - 5. Let v be j(-5). Suppose 2*t + 2036 = 7*n - 3*n, n + t - v = 0. Is n a multiple of 28?
False
Let p be (-9)/5*(-14 + 9). Suppose m - p = 91. Is m a multiple of 4?
True
Is 457/3*3 - (24 + -30) a multiple of 9?
False
Let b(d) = 5*d + 8. Let f(i) = 4*i + 9. Let p(s) = 2*b(s) - 3*f(s). Let v be p(-6). Is ((-14)/(-21))/(v/57) + -2 a multiple of 6?
True
Suppose 0 = -4*r - 2*g - 10, -4*r + 3*g - 4 = -g. Let q be 0 + -3 - 4/(r/2). Suppose -3*y = -3*o - 420, -3*o - 11 = q. Is 34 a factor of y?
True
Let b be (76 - 1) + (-8 - -5). Let w = 17 + b. Let h = w + -21. Is 34 a factor of h?
True
Suppose -2*w - w + 375 = 0. Let d = w - 53. Suppose -d*s - 216 = -74*s. Does 36 divide s?
True
Let p(m) be the first derivative of m**3/3 - 7*m**2/2 + 9*m + 1. Let h be p(6). Is h + -5 + 54 + -4 a multiple of 24?
True
Let b = -371 + 373. Suppose -7*p = -b*p - 3145. Does 32 divide p?
False
Let x = -227125 + 86272. Let g be x/(-145) - (-3)/5. Suppose 60*d = 66*d - g. Is d a multiple of 11?
False
Suppose -729 = 4*q + q - p, -q = 3*p + 133. Is 2 a factor of (5/(-2))/1*754/q?
False
Suppose -3*i = -3*g + 16902, -33*g + 30*g - 3*i = -16884. Is g a multiple of 18?
False
Let k(b) = 7*b**2 + 8*b - 1. Suppose 5*s + 6*y - 11*y - 40 = 0, 4*s + y - 7 = 0. Is 34 a factor of k(s)?
False
Is 63 a factor of 72585/60*4/1?
False
Suppose 14*b - 15*b + 2 = 3*p, -b = 5*p - 2. Suppose b = 2*k, k - 234 = a - 685. Is 40 a factor of a?
False
Let p = 290 - 313. Does 23 divide p/(3/(-12)*2)?
True
Suppose 0 = 6*i - 150 - 300. Suppose 0 = 2*z - 4*b - 42, i = 3*z + b - 3*b. Is z a multiple of 9?
True
Let v(f) = -33*f + 6864. Is v(102) a multiple of 72?
False
Suppose 1580 - 9002 = -5*j + 7418. Is j a multiple of 56?
True
Let a(s) = -s**3 + 24*s**2 + 185*s + 136. Does 208 divide a(-35)?
True
Let s(v) = 123*v**2 + 28*v + 97. Is 16 a factor of s(-3)?
True
Let c = -3192 - -7242. Is c a multiple of 8?
False
Let b(l) = -3*l**3 - 11*l**2 - 10*l - 3. Let s be b(-4). Suppose s*i - 576 = 47*i. Is 16 a factor of i?
True
Let s(u) = -u**2 - 18*u - 12. Let q be s(-19). Let w = 33 + q. Is 21 - (w + -2 + 2) a multiple of 13?
False
Let v = 499 - 494. Suppose -v*z + 9*z = 3120. Does 32 divide z?
False
Let k be (-1 + -3 - 0) + 98. Let q be (-12)/(-72) + k/12. Let o = 66 - q. Does 5 divide o?
False
Let t = 9868 + -4985. Is t a multiple of 12?
False
Suppose -g + 46 = 5*y, 3*g - 34 = -2*y - 13. Suppose -1523 = -y*k + 1249. Is 14 a factor of k?
True
Let l(z) = z**3 + 13*z**2 - 3*z - 25. Let m be l(-13). Suppose -4*a - m*w + 16*w = -4906, 4*a - 4911 = -3*w. Is a a multiple of 34?
False
Let c(x) = -59*x - 109. Let i be c(-26). Suppose -4*n + i = -12*s + 15*s, 5*n + 5*s - 1775 = 0. Does 30 divide n?
True
Let k(p) = -20*p + 4. Suppose 5*z - 2*n = 270, -z + 0*n = 4*n - 32. Let t = z + -53. Is 6 a factor of k(t)?
True
Suppose 86*l - 87*l - 4*f + 1556 = 0, 2*l + 2*f = 3130. Is 16 a factor of l?
True
Let j(h) = -14*h - 75. Let f be j(-11). Let y = f + -17. Is 8 a factor of y?
False
Let r(y) = 95*y**2 - 3*y. Let o be r(1). Let l = o + 514. Is l a multiple of 27?
False
Let p = 13332 + -2694. Is 25 a factor of p?
False
Suppose 4*f + 1 = 9. Let i(j) = 8*j**f + 7*j**2 - 14*j**2 - 9*j - 14. Is i(-4) a multiple of 17?
False
Let i(a) = 11*a**2 - 56*a - 150. Let k(n) = 7*n**2 - 37*n - 100. Let q(m) = -5*i(m) + 8*k(m). Does 2 divide q(21)?
False
Suppose 4*r - 65914 = 2*j, -5*r - 46658 = -j - 129049. Is r a multiple of 24?
False
Let o(l) = -l**3 - 5*l**2 + 11*l + 14. Suppose 111 + 54 = 5*y. Suppose y*b - 28 = 37*b. Is 7 a factor of o(b)?
True
Let y(n) be the third derivative of 7*n**5/60 - 5*n**3/3 - 3*n**2 - 29. Does 11 divide y(-6)?
True
Does 33 divide 183 - 170 - 10*-1516?
False
Let m = 36337 - 24373. Does 40 divide m?
False
Let j(f) = -517*f - 185. Let a be j(-5). Suppose v = 5*v - a. Does 15 divide v?
True
Suppose 23*l + 1148 = 7128. Does 4 divide l?
True
Let a be ((-35)/(-28))/((-1)/(-20)). Let q = 26 - a. Let h(t) = 105*t. Does 27 divide h(q)?
False
Suppose 3*w + 169 = 4*w. Suppose w - 7 = -9*c. Let l = -3 - c. Does 5 divide l?
True
Suppose -4*m + 582 = 138. Is (-15)/(6 - m/18) a multiple of 10?
True
Suppose -120 = 8*k - 0. Let m = k + 515. Is 20 a factor of m?
True
Let u be (-162778)/294 - 4/(-6). Let p = u - -758. Is 18 a factor of p?
False
Let y(r) = -13*r**3 - 361*r**2 + 47*r + 4. Does 41 divide y(-31)?
True
Let l = 569 - -337. Is l a multiple of 28?
False
Suppose 4*y - 51 + 27 = 0. Let i(n) = -n**3 + 7*n**2 - 7*n + 9. Let k be i(y). Suppose -r + 132 = r - k*m, 68 = r - m. Does 24 divide r?
True
Let g be ((-34)/17)/(1/(-1)). Suppose -4*z + 311 = 5*n - 10*n, g*n = -5*z + 430. Does 17 divide z?
False
Suppose -33 = -5*o + q, -3*o + 7*o - 5*q = 39. Suppose w + 3060 = 3*a, 5*a - o*a + 4*w = -1020. Is 14 a factor of a?
False
Suppose -2*m + 5*f + 254 = 0, m = -4*m - 4*f + 668. Let h = -357 + m. Let j = h - -391. Does 38 divide j?
False
Let k = -378 + 378. Suppose -z + 30 + 58 = k. Does 11 divide z?
True
Let a be 32 - 8/(-10)*5/2. Let c be a/3*(-3)/(-2)*1. Suppose -3*u + 28 + c = p, 4*p = -u + 147. Does 6 divide p?
True
Let b(i) = -6*i**3 + 3*i**2 - 3*i + 4. Let c be (-1)/(-3)*3*-3. Let a be b(c). Does 17 divide a/4 + 6/12?
True
Let h(r) = 3*r**2 - 13*r + 75. Let g be h(10). Suppose g*v = 242*v + 402. Does 2 divide v?
True
Is (80/90 - 14/63)*8790 a multiple of 147?
False
Let r(v) = -v**3 + 7*v**2 - 3*v - 2. Let d be r(6). Let l be 2*-1*(-40)/d. Suppose -l*f + 48 = -67. Does 7 divide f?
False
Suppose -69*v + 104845 = -311040 + 69850. Is 17 a factor of v?
True
Let b(c) = -1058*c - 3729. Is 85 a factor of b(-17)?
False
Suppose -273*c = -45*c - 1666452. Does 53 divide c?
False
Let o(g) = -3*g + 42. Let j(t) = -t + 14. Let r be 4/1*(-17)/4. Let l(p) = r*j(p) + 6*o(p). Is 5 a factor of l(-6)?
True
Suppose -3*f - p = -655, 2*p + 221 = f + p. Suppose g + g - 106 = -s, 3*g + f = 2*s. Is 6 a factor of (2 + 14/(-3))*s/(-24)?
True
Suppose 0 = 7*m - 2*m - 4*r - 1437, -5*m - r = -1422. Suppose k + 3*l - 291 = -k, 2*k + 5*l = m. Is (-3 - (-3 - 0)) + k + -2 a multiple of 34?
False
Let m(l) = 513*l - 1139. Is 63 a factor of m(13)?
False
Let j(n) = n**2 + 149*n + 1338. Is j(-9) a multiple of 13?
True
Let c(o) = -o**2 + 15*o - 50. Let k be c(10). Let q = k + 40. Does 8 divide q?
True
Let f = 35 + -38. Let w be 6/18*6*(-1 - f). Does 21 divide (w - (19 - -2))/(2/(-4))?
False
Let q = -85 - -88. Suppose -q*z + x = 140, 5*z + 138 = -x - 90. Does 10 divide -3 - (0 - z/(-6))*3?
True
Suppose 3*p - 25 = 8*h - 12*h, -3*h = -4*p. Suppose h*l + 930 = 14*l. Is 6 a factor of l?
False
Suppose 6*z + 2*z = 216. Suppose z = 9*f - 9. Does 39 divide f/6 + 844/12?
False
Let a = -12 + -11. Let l = 17 + a. Does 6 divide (l/(-3) + 4)/(5/35)?
True
Let g(k) = -581*k - 1905. Is 12 a factor of g(-9)?
True
Let k = -673 - -687. Let l(y) = -y**3 + 19*y**2 + 22*y - 224. Is l(k) a multiple of 14?
True
Suppose -16*x + 43528 + 15224 = 0. Is x a multiple of 68?
True
Suppose 4*s - 57 + 155 = -3*r, -4*s = 20. Suppose 2*x + 2*x - 148 = 0. Let a = x + r. Is a a multiple of 2?
False
Let r = -31 + 54. Suppose 0 = 5*w - 3*b + 75, -11*b = -9*b - 10. Let z = r - w. Is z a multiple of 22?
False
Let f = -349 + 896. Is 37 a factor of f?
False
Let g be -2*1 + (603 - 49). Suppose 13*t = 7*t + g. Is t a multiple of 46?
True
Let d(l) = 86*l + 631. Is d(37) a multiple of 33?
False
Let u be 6*(-4 - (43 - 3)). Is (-1)/(47/u - 4/(-24)) a multiple of 2?
True
Let z be (0 + 577/(-5))*285/(-57). Let l = z + -555. Is l a multiple of 22?
True
Let v be (2/(-4) - 1)/((-1)/2). Suppose 3*q + v*n = 6*q - 708, -2*q + 3*n + 475 = 0. Is q a multiple of 5?
False
Let x = 1104 - -1977. Is x a multiple of 28?
False
Let y(a) = a**2 + 5*a - 30. Let d be y(7). Suppose -2*s - 4*s = -d. Suppose 3*m = -15, -4*m - 255 = -5*t - s*m. Does 28 divide t?
True
Suppose 24*c - 42*c + 36 =