Let m = 24522 - 17434. Does 16 divide m?
True
Suppose -2*f - 43*f + 747585 = 0. Does 28 divide f?
False
Let o = 9599 - 5273. Is 40 a factor of o?
False
Let m(g) = -g**3 + 26*g**2 + 2*g + 21. Is m(21) a multiple of 7?
True
Let w = 22222 + -16062. Is 176 a factor of w?
True
Let t = -9275 - -10406. Is 134 a factor of t?
False
Suppose -2*q = 3*i - 63351, 0 = -4*q + 19 - 31. Is i a multiple of 25?
False
Let y(p) = 62*p**2 - 111*p + 775. Is y(7) a multiple of 44?
True
Let n(b) be the third derivative of -b**4/12 + b**3/3 - 7*b**2. Let c be n(-3). Suppose 168 = 11*k - c*k. Is 14 a factor of k?
True
Suppose k - 5*c - 6458 = 0, 217*c = -k + 216*c + 6506. Is k a multiple of 6?
True
Suppose 187702 = 86*p - 943207 - 2551439. Is 79 a factor of p?
True
Let p(b) = -2*b - 6. Let a be p(-10). Suppose 3*h + 5*i = 31, 2*h + h - 4*i + a = 0. Suppose -h*x - 2*u = -64, -x - 2*u = -7*u - 20. Is 15 a factor of x?
True
Suppose 3*o + 18 = s, -6*s + 4*s - 2*o + 28 = 0. Suppose s*a - 315 = 8*a. Is 3 a factor of a?
True
Let y(b) = 20*b + 235. Let c be y(10). Suppose 12*f = 7*f - 5*r + c, 8 = 4*r. Does 6 divide f?
False
Let c(a) = -2*a**3 + 51*a**2 - 32*a - 79. Does 9 divide c(20)?
True
Suppose 2*m + 973 - 9979 - 140 = 0. Is 5 a factor of m?
False
Suppose -40 = -4*v + 24. Let r be (-8)/v + 6/4. Is 4 a factor of -17*(-4 - (-2 - r))?
False
Suppose -2*q - 2*r = r + 33, -q - 3*r = 21. Let p be (18/8)/(q/32). Does 17 divide ((-204)/(-8))/((-9)/p)?
True
Suppose -5*z = 194 - 219, -2*f = 3*z - 78743. Is 36 a factor of f?
False
Let t(k) = -2*k**3 - 42*k**2 - 12*k - 32. Let u = -721 - -700. Does 7 divide t(u)?
False
Let s(q) = -q**3 + 8*q**2 - 8*q - 2. Let n be s(7). Let d = n - -17. Suppose 5*w + 3*v = 86, -w + 2*v + 2*v = -d. Is w a multiple of 5?
False
Let c be ((-4708)/33)/(4/(-6)). Suppose 8*q = 194 + c. Suppose -q - 129 = -3*r. Is 20 a factor of r?
True
Let l(n) = 35*n**2 - n - 2. Let h be l(2). Suppose 2*m + h = -2*m. Let j = 47 + m. Is j a multiple of 13?
True
Suppose 0 = -242*v + 245*v - 288. Is v a multiple of 13?
False
Suppose 2*y - s + 17 = 7*y, 2*y - 8 = -s. Suppose -4*n = -4*r + 28, 0*n = 4*n + y*r + 7. Is 5 a factor of 337/4 + 1/n?
False
Is ((-135299)/(-38))/((-3)/(-12)) a multiple of 129?
False
Let w(q) = -q**2 + 17*q + 3. Let s(b) = 4*b - 99. Let v be s(29). Let a be w(v). Suppose g + 4*n = -a*g + 288, -4*g + 267 = -3*n. Does 10 divide g?
False
Suppose 1210*k = 1215*k - 560. Suppose -m + 485 = k. Is 21 a factor of m?
False
Let c = -22 + -10. Let n be c/20*345/2. Let o = -177 - n. Is o a multiple of 21?
False
Let g(h) = 38*h**2 - 96*h + 149. Does 8 divide g(12)?
False
Let s = -866 + 1835. Suppose -61*l = -10*l - s. Is 3 a factor of l?
False
Is (-84)/(((-11 + 9)*1)/613) a multiple of 21?
True
Suppose 2*y = 2*n + 676, 0 = 5*y + 5*n - 1817 + 87. Let x = 258 + y. Does 88 divide x?
False
Suppose -a = -4*s + 191, 2*s = -a + 5*a + 92. Let h be (-16)/(-12)*54*1. Let r = h - s. Does 8 divide r?
True
Let j be -15*(-4)/(-12) - (1 + -246). Suppose -245*s + j*s + 1870 = 0. Does 34 divide s?
True
Suppose 2*n = -2*w + 15 + 19, 4*n = -2*w + 66. Suppose -24 = -g - 5*s, -5*s - n = 4. Does 6 divide g?
False
Suppose 447040 = 206*s - 151*s. Does 16 divide s?
True
Let p be ((0 - 1) + 1)/(0 - 1). Suppose p = -5*c + 206 + 239. Suppose 3 = -q + c. Does 11 divide q?
False
Suppose 7*k - 149 = -16. Let r = k - 17. Suppose 179 = 3*t + 5*g, -2*g = -r*t + 66 + 48. Is t a multiple of 15?
False
Suppose -2*i + 7489 = l, 25*i = 29*i - 5*l - 14943. Is 47 a factor of i?
False
Suppose -26*g - 100489 + 335243 = 0. Is g a multiple of 11?
False
Let j be (0 + -2 + -4)*(-65)/78. Is 25 a factor of (-6303)/(-18) + j + (-31)/6?
True
Let p = 12344 - -949. Does 13 divide p?
False
Let w(l) = -l**2 - 3*l + 18. Let s be w(-6). Let z(g) = -g + 10. Let r be z(s). Does 18 divide (-18)/(-5)*r*1?
True
Let c be 6/(-28)*-94 - 25/175. Suppose -c*m + 3126 = -3554. Is m a multiple of 16?
False
Let s(i) = -7*i + 23. Let g(u) = -3. Let n(z) = -15*g(z) - 3*s(z). Is 11 a factor of n(20)?
True
Suppose 2*l = 57*t - 54*t - 4178, -t = -5*l - 1371. Is 4 a factor of t?
True
Let s be 6/(1 - 13)*(-1 + 311). Let m = 638 + s. Suppose -3*o + m = -0*o. Is o a multiple of 10?
False
Let a(w) be the third derivative of 5*w**4/8 + 7*w**3 + 36*w**2 + w. Is 27 a factor of a(8)?
True
Let h = -12 - -11. Let b be (-13)/(26/12)*h. Is 9 a factor of (-24)/b - (-112)/2?
False
Let d(a) be the first derivative of -a**4/2 - 31*a**3/3 + 14*a**2 + 59*a + 70. Is d(-17) a multiple of 50?
True
Suppose 2*l = 5*l + 201. Suppose -5*o - 290 = -2*x - 115, -3*x + 4*o = -259. Let v = x + l. Is v a multiple of 4?
False
Let b = 46863 - 29288. Is 86 a factor of b?
False
Let p(x) = -8*x**3 + 12*x**2 - x - 18. Let z be p(5). Let a = 1977 + z. Is 19 a factor of a?
True
Suppose -11*a = 7120 + 5761. Let s = -496 - a. Is s a multiple of 9?
True
Let h = 57 - 57. Let n be h/(2 + (-5 - 0)). Suppose -9*i + n*i + 1638 = 0. Is 13 a factor of i?
True
Is 23 a factor of ((-12)/(-4))/(-18) - 5743240/(-240)?
False
Let c(i) = i**2 + i + 1. Let o(l) = l**3 - 17*l**2 - 18*l + 3. Let m(d) = -4*c(d) - o(d). Is 40 a factor of m(7)?
False
Let u(r) = 219*r**3 + 2*r**2 - 1. Let l be u(1). Is (l/(-3))/((-10)/135) a multiple of 33?
True
Let s(l) = -l**3 - 17*l**2 + 9*l + 61. Let z be (3 - 35/11) + (-2548)/143. Is 18 a factor of s(z)?
False
Suppose 34398 = 5*g - i, -4*g - i + 23022 = -4491. Does 195 divide g?
False
Let j be (126/8)/((-48)/(-1024)). Suppose j + 644 = 5*v. Suppose 15*y = 13*y + v. Is y a multiple of 14?
True
Suppose 0 = -2*g - g - 4*r - 437, 4*g + 3*r + 585 = 0. Is 16 a factor of -2 + -2 + (4 - g) + -3?
True
Suppose -83*s + 175 = -88*s. Suppose 5*w - 256 + 6 = -5*t, 0 = -t - 3*w + 44. Let u = t - s. Is u a multiple of 8?
True
Let i = -2895 - -6088. Suppose 5*v + 643 - i = 0. Is v a multiple of 17?
True
Does 26 divide (13/351*12)/(6/(-27)) - -18588?
False
Let q = -73 - -75. Let j be q/4 - (-28)/8. Let z(w) = w**3 - 2*w**2 - 5*w. Is z(j) a multiple of 4?
True
Let d = 11171 + -7612. Does 22 divide d?
False
Let k be (-2)/5 + (-332)/(-5). Suppose o - 222 = -2*n, n - 5*o - 90 = -9*o. Let i = n - k. Is i a multiple of 16?
True
Let k(s) = 17*s. Let f be k(1). Suppose 2*n - f = -5*i + 553, -2*i + 234 = 2*n. Is i a multiple of 7?
True
Let y = 8402 + -4895. Does 21 divide y?
True
Let t = 72 + -69. Let d(w) = 5*w**3 - w - 2. Let f(k) = 5*k**3 - 1. Let o(q) = t*f(q) - 2*d(q). Does 9 divide o(2)?
True
Let b be (-13748)/(-70) + (-7)/5. Suppose -2*g - b = -2*v + g, -2*g + 398 = 4*v. Does 11 divide v?
True
Let h(v) = 3*v**2 - 44*v - 8. Let n be h(15). Suppose 0 = 17*z - n*z - 120. Does 19 divide (-6)/(-8) + 2067/z?
False
Let f be 0 - (2 + -2 + 5) - -278. Let r = -117 + f. Does 2 divide r?
True
Let i(j) be the first derivative of 9*j**2/2 + 400*j + 173. Is 57 a factor of i(-30)?
False
Let t(q) = 15*q - 63. Let i be t(11). Suppose 4*p - 32 = 2*x, 0 = -2*p + 1 + 1. Let m = x + i. Does 22 divide m?
True
Suppose -5*h - 84137 = 32*k - 41*k, -2*h = 5*k - 46738. Does 3 divide k?
True
Suppose 0 = 2*l + d + 706, l - 4*d + 103 + 241 = 0. Let k = 597 + l. Is k a multiple of 5?
True
Let x(t) = -15*t - 9*t - 7 - 10*t. Let y be x(6). Let r = y + 400. Is r a multiple of 33?
False
Let i(p) = -361*p - 300. Does 36 divide i(-7)?
False
Suppose -481218 + 6400482 = 93*p. Is p a multiple of 36?
True
Let v = 32 + -30. Suppose -9 + 31 = 2*s + 2*d, -v*d = 0. Suppose -s*r + 8*r + 135 = 0. Is r a multiple of 15?
True
Let w = 8455 - 4800. Is w a multiple of 85?
True
Let y(l) = 44*l**2 + 123*l + 1528. Does 20 divide y(-11)?
False
Let v(m) = 19*m - 62. Let p be v(4). Suppose 9*l + 3*z + 796 = p*l, -2*l - 5*z + 337 = 0. Is 12 a factor of l?
False
Is 9 a factor of (1 - -17)/(195/78 - 474/190)?
True
Let q(y) = 4*y**2 + 3*y + 53. Is 152 a factor of q(-85)?
False
Suppose 5*t - 3*d = 245, -3*t + 5*d + 136 = d. Let c = t + -48. Suppose -c*i + 15*i = 506. Is 11 a factor of i?
False
Let j(s) = 2*s**2 - 4*s - 6. Let a be j(-3). Is -25 + a - 1*(-288 + 1) a multiple of 11?
True
Suppose 0*o - 280 = -5*o. Let u be 8/(-4) - (1 - 55). Suppose o*w - u*w = 84. Is w a multiple of 21?
True
Let g = 3532 + 328. Does 56 divide g?
False
Suppose 3*n + 2*l = 101, 4*n - 4*l - 163 = -15. Is 28 a factor of (-4)/(-2)*n/15*42?
True
Suppose -176*u = -61896 - 5