ose -5*a = d*l - 3*a - 24, a + 3 = 0. Is l a multiple of 3?
True
Let f(p) = p - 18. Let u be f(16). Suppose 0 = 2*t - 2*h + 8, 4*t - 12 = -3*h - 0. Does 27 divide (u + t/(-1))/((-7)/602)?
False
Let w(i) = 4*i**2 - i - 14. Suppose n - 55 + 23 = 0. Suppose -4*c + 0*c = -4*s - n, 4*c - 31 = 3*s. Is w(c) a multiple of 19?
False
Suppose 4*q + 19 = i - 20, -4*q - 20 = 0. Suppose 28*r - 10152 = -i*r. Is 4 a factor of r?
True
Let o = 91 - 86. Let u(c) = -o - 5*c + 1 + 102*c**2 - 98*c**2. Is u(4) a multiple of 5?
True
Let y = -331 + 335. Is 8 + (-4 - (-20)/4)*y a multiple of 2?
True
Let r be (-2 + (-20)/(-6))*14805/6. Suppose 0 = q + 9*q - r. Let f = q - 215. Is 14 a factor of f?
False
Let k(c) = -c**3 + 11*c**2 + 11*c - 55. Let h(j) = j**2 + 9*j + 16. Let p be h(-8). Is 20 a factor of k(p)?
False
Suppose -7*z = v - 4*z - 4, -4*v + 2*z - 40 = 0. Let x = v + 8. Let a = x - -24. Is 8 a factor of a?
True
Let d = -97 + 143. Suppose d = 7*j - 339. Does 21 divide j?
False
Let y(m) = -m**3 - 8*m**2 + 4*m + 4. Let u be y(-7). Is 11 a factor of 70 + u - (-873 + 1)?
True
Suppose -25*a + 38*a = -5564. Let x = a + 669. Is 21 a factor of x?
False
Suppose 0 = 63*p - 68*p + 310. Let y = p + -21. Suppose 12*a - 391 = y. Is a a multiple of 26?
False
Let s(a) = -55*a**3 - 7*a**2 - 10*a - 6. Suppose 4*g - 49 = -61. Let m be s(g). Is 45 a factor of -3 - (1/5 + m/(-30))?
True
Let b be -1*(3 + -3 + -2). Let c(m) = 2*m + 7 - 6 - b*m**3 + 20*m**2 - 9*m**2. Is 12 a factor of c(5)?
True
Let q(n) = -2*n**3 - 42*n**2 - 17*n - 28. Let s be q(-21). Suppose -s*a = -335*a + 1074. Is 11 a factor of a?
False
Is 16 a factor of -2 + (-525105)/(-36) + (-14)/(-8)?
False
Let x be 16/4*(-436)/(-16). Let l = 111 - x. Suppose l*z = -v + 65, v + 2*z - z - 69 = 0. Is v a multiple of 17?
False
Let u(r) = -4*r**3 - 5*r**2 - 25*r - 139. Is u(-8) a multiple of 15?
False
Let d = 168 + 741. Suppose -3*l = -a - d, -3*l + 921 = -a + 4*a. Suppose -23*b = -27*b + l. Is 36 a factor of b?
False
Let d be (5 + -20)/((-2)/(-6)). Let w be (-3)/(-2)*2040/d. Is 15 a factor of (w + 3)*(2 - 3)?
False
Suppose -4*k + 8701 = p, -5*p + 5*k + 23081 = -20474. Is 14 a factor of p?
False
Suppose 2*h + 360 = 478 + 748. Does 13 divide h?
False
Suppose 6*q - 56 - 16 = 0. Does 4 divide (((-342)/3)/(-2))/(9/q)?
True
Let u(j) = -2*j**3 + 4*j**2 - 9 - 2*j**3 - 10*j**2 - 6*j + 3*j**3. Let n be u(-6). Suppose -139 + n = -4*h. Does 13 divide h?
False
Let p(t) = 53*t + 3143. Does 112 divide p(-53)?
False
Let z(s) = 699*s**2 + 31*s + 99. Is z(-3) a multiple of 153?
False
Suppose -9*k + 97 + 164 = 0. Suppose 2*d - 3*p = 603, -20 = 25*p - k*p. Does 21 divide d?
False
Let a = 129 - 162. Let b = -10 - a. Is b a multiple of 2?
False
Let q be (6/(-7))/(1/(-7)). Suppose c + 850 = q*c. Does 19 divide c?
False
Suppose 49*n = 39*n + 4350. Is n a multiple of 17?
False
Suppose 0 = -5*i - 4*g + 83273, -4*i - g + 105922 = 39286. Is 10 a factor of i?
False
Suppose 4*s + 24 = 0, -11*p + 6*p - 5*s + 3920 = 0. Is 5 a factor of p?
True
Let d(b) = -b**2 + 10*b + 4. Let a be d(8). Suppose 6*g - g = -a. Is g/10 - (-1281)/15 a multiple of 14?
False
Let c(x) = 79*x**2 + x - 4. Let s(g) = g**3 + 3*g**2 - g - 5. Let y be s(-3). Is 9 a factor of c(y)?
False
Let i be 10/(65/30 + -2). Suppose 12 = -6*w + i. Is 6 a factor of w?
False
Suppose -4*o + 4*d + 4652 = 0, o + 5*d - 477 = 638. Does 20 divide o?
False
Let l be 2*(1150/5 - (3 - 7)). Suppose -o + 236 = z, 2*o + 2*z - z - l = 0. Is 19 a factor of o?
False
Suppose z - 2102 = -2*m + 1943, -3*m + 3*z = -6045. Is m a multiple of 149?
False
Suppose -28 = -14*l, 5*l = -3*y + 21393 + 10672. Is y a multiple of 23?
False
Let w(u) = 6*u + 54. Let t be w(-10). Let f = t - -244. Is 14 a factor of f?
True
Let b(u) = 136*u + 34202. Is 14 a factor of b(0)?
True
Let c = 2406 - 166. Suppose -2*z - 3*z = -c. Is 13 a factor of z?
False
Let u = 3457 + -913. Is u a multiple of 25?
False
Let r(g) = 20*g - 28*g - 6 - 6. Let f be r(-9). Suppose 2*x - f = x. Is 15 a factor of x?
True
Suppose -14202 = -4*b - 3*g, -2*b + 21*g + 7104 = 22*g. Is 16 a factor of b?
False
Let j = -431 + 1465. Suppose -310 + j = 4*v. Does 18 divide v?
False
Let c = -89 - -77. Is -392*(30/c - 0) a multiple of 10?
True
Let k = -10291 + 20254. Does 27 divide k?
True
Let a(l) be the first derivative of -31*l**4/4 + l**2 - 6*l - 73. Is a(-2) a multiple of 17?
True
Let w be (3 - (1 + -2)) + -75 + 2. Let y = -29 - w. Is 5 a factor of y?
True
Suppose 4*q + 5*v - 8710 = 0, v - 8686 = 114*q - 118*q. Is 31 a factor of q?
True
Suppose -l = -3*g - 16330, -l - 118*g = -123*g - 16322. Is 26 a factor of l?
False
Let r be (10/(-15))/((-3)/45). Let b be r/(-5) + 6 + (109 - 1). Let d = b - 15. Is 8 a factor of d?
False
Let n(f) = -434*f**2 + 427*f**2 - 4 - f**3 + 24*f + 16. Does 29 divide n(-11)?
True
Suppose 0 = -6*n - 0*n + 348. Suppose -4*q + 4*h + 149 = 33, 2*h = -2*q + n. Does 29 divide q?
True
Does 261 divide (-23 - (-102)/(-6))*(-39672)/20?
True
Suppose 4*b + 99 = 39. Let t be (-2)/(-15) + 5 + 77/b. Suppose 2*r = -t*r + 282. Does 10 divide r?
False
Let d(z) = 3*z. Let t be d(5). Let o(s) = -2*s**3 + 29*s**2 + 17*s + 35. Let g be o(t). Is 19 a factor of -8 + g - (-1 + 1)?
True
Let s be 1/3 - (-5)/(-18 + 3). Suppose s = 3*h - 764 + 59. Is h a multiple of 7?
False
Let t(n) = -n**3 - n**2 - n + 1. Let c(z) = 10*z**3 + 5*z**2 + 17*z - 16. Let h(j) = c(j) + 4*t(j). Does 9 divide h(4)?
False
Let i(v) = v**2 - 11*v + 46. Let k be (-23 + 23)*(-1 - -2). Let t be k - -4 - 0 - (-19 + 11). Does 12 divide i(t)?
False
Suppose 0 = 361*c - 3684854 + 2854275 - 5869581. Is c a multiple of 56?
False
Suppose 0 = -4*r + 3*h + 5430, 0 = -r + 663*h - 666*h + 1350. Is r a multiple of 4?
True
Let h(a) = -13*a + 6*a + 9 - 2*a + 20. Is 5 a factor of h(-3)?
False
Let r(x) be the second derivative of 2*x**3/3 + 40*x**2 + 21*x. Is r(0) a multiple of 29?
False
Let a(q) = -27*q**2 - 10*q - 10. Let d(u) = u. Let w(j) = -a(j) - 3*d(j). Let s be w(-5). Suppose -s = -4*r + 2*z, 7*r - 4*z = 2*r + 817. Does 9 divide r?
False
Is 52 a factor of (-9 - (-621)/63) + 8688/56?
True
Let z be 460/(-25) - 4/(-10). Let j = 64 + z. Is 8 a factor of j?
False
Suppose -3*g + 13 = -2*l, g - 36 = -4*l - 13. Suppose 0 = 2*i + 2*j - 1098, g*j - 2206 = -4*i + 8*j. Does 12 divide i?
False
Suppose z = -5*l + 21, -2*z - 3 = 3*l - 10. Suppose 11*w - 7*w - 16 = 0. Suppose 0 = l*t - 5*p - 280 + 65, -p = -w*t + 184. Is t a multiple of 17?
False
Let r(n) = 3*n**3 - 202*n**2 + 206*n + 118. Does 31 divide r(68)?
True
Suppose 2245 = -152*b + 178*b - 9455. Does 90 divide b?
True
Is 94 a factor of 6*2401/2 - -16?
False
Let g = 15 - 5. Suppose -535 = -15*j + g*j. Is 21 a factor of j - 1 - (-12)/(-12)?
True
Suppose -j - 13405 = -2*o + 9118, 56330 = 5*o + 5*j. Is 7 a factor of o?
True
Let y be 1*(4 + (-5)/(-5)). Suppose 1529 = 2*o + y*p - 1465, 5*o = -3*p + 7447. Does 69 divide o?
False
Suppose 0 = 2*t - x - 7441, 12*t - 3738 = 11*t - 3*x. Suppose -t = -7*s + 2255. Does 27 divide s?
False
Suppose -5*p - 3*i - 79 - 12 = 0, -p - 3*i - 23 = 0. Let u be 1*6 + 17 + p. Is 21 a factor of 3771/18 - (-3)/u?
True
Suppose -3*i - 3*f + 2 = -5*f, 4*i = 4*f. Suppose y - i*o = -3 + 2, 0 = -4*y + 2*o + 2. Let c(m) = 147*m**3 + 2*m**2 - m. Does 37 divide c(y)?
True
Let c = -2272 - -2457. Does 2 divide c?
False
Let m = 7902 - 3654. Suppose -s + 4*b = -m, 6*s + 3*b + 4250 = 7*s. Suppose 11*w = -5*w + s. Is 14 a factor of w?
True
Let c(z) = 34*z + 16. Let q be c(6). Suppose 3*s - w - q = 3*w, 0 = s - 5*w - 66. Is s a multiple of 76?
True
Suppose 16*o = -863 + 5199. Suppose 0 = 7*m + o - 3995. Is m a multiple of 14?
True
Suppose o = 4*c - 1, 23*c + 1 = 18*c - o. Suppose c = -z - 46 + 592. Is z a multiple of 26?
True
Suppose -h = -5*w - 24, 6*w = w - 20. Suppose -3176 = -h*a - i, -2*i = -a - a + 1598. Is 15 a factor of a?
True
Suppose 7*g = 2*g + 4*v + 2246, 3*g = 3*v + 1350. Let u = g - 394. Is 15 a factor of u?
False
Suppose 0 = 43*k - 536789 + 177653. Is 29 a factor of k?
True
Suppose 9180 = 5*l + 5*n, 0*n + 4*n - 1824 = -l. Let m = l - 912. Is m a multiple of 58?
True
Suppose -4*w = -133 - 87. Let b(r) = r - w - 4*r + 52 + 256*r**2. Is 16 a factor of b(-1)?
True
Let k(g) = -g**3 - 16*g**2 - 32*g + 2. Suppose -211 = -4*c - 267. Is k(c) a multiple of 3?
False