66 + -27. Suppose b + k = 4*b. Let a = 25 - b. Is 12 a factor of a?
True
Suppose -17*n + 2*n = -109020 - 55320. Does 66 divide n?
True
Let f(b) = -b**3 - 10*b**2 + 36*b + 21. Let s be f(-16). Let y = s - 613. Is 23 a factor of y?
True
Let c be (-26)/(-65) + (-15892)/(-20). Let j = c - 369. Is 72 a factor of j?
False
Let q(a) = 35*a**3 - 14*a**2 - 36*a**3 + 4*a - 11 + 22*a - 27. Is q(-17) a multiple of 56?
False
Let y = -227 - -166. Let n = -54 - y. Is n a multiple of 2?
False
Suppose 5*s + 28*s = 132 + 2211. Suppose -3*t + 98 + 81 = 2*f, -5*t = 5*f - 300. Let m = s - t. Is 3 a factor of m?
True
Let w = 43 + -23. Let n = 18 - w. Is (16/6 - 1)*(5 + n) a multiple of 3?
False
Let u(k) = 8*k + 152. Does 21 divide u(-6)?
False
Let g(u) = -u**2 + 3*u. Let q be g(2). Suppose -4*i - q*d + 4 - 2 = 0, -d = -5*i + 20. Suppose 0 = i*y - 19 - 185. Is y a multiple of 10?
False
Suppose -l + 105 - 265 = -17*l. Let w(q) = 44 - 2 + 4*q - 8. Is w(l) a multiple of 37?
True
Let d = -173 + 176. Does 44 divide (-3003)/(-6) + (-25)/10 + d?
False
Does 179 divide (-22150 - (-1 - -8))/(1 + -2)?
False
Let w = 74 - 67. Let g(u) = u**3 - 7*u**2 - u + 10. Let s be g(w). Suppose s*o + 5*f - 253 = 0, 4*o - 241 = o + f. Does 12 divide o?
False
Let i(r) = -11*r**2 + 13*r + 112. Let j be i(-8). Let z = -444 - j. Is 42 a factor of z?
True
Suppose 0 = 4*t + 4, -29*l + 3*t = -28*l - 1812. Does 9 divide l?
True
Suppose -43 = -3*q - 28. Suppose -3*r + 2*r + q*d + 27 = 0, 4*r = -5*d - 17. Is 75*-4*r/(-12) a multiple of 18?
False
Suppose 38989 = 3*l - c, -3*c - 38746 - 239 = -3*l. Is 66 a factor of l?
False
Is 882/(0 - -6) - -15 a multiple of 81?
True
Let u(m) = -6*m + 3. Let t(h) = h. Let q(c) = -45*t(c) - 3*u(c). Let b be q(-3). Let y = -40 + b. Does 32 divide y?
True
Let b = 11131 + -6678. Does 24 divide b?
False
Let s(f) = 154*f**3 + 6*f**2 - 69*f + 182. Does 10 divide s(3)?
False
Suppose -w - 15817 = 3*i - 210725, 5*i - 4*w - 324858 = 0. Is i a multiple of 13?
False
Let b be 50/(-20)*64/(-40). Let y(d) = 47*d**2 + 17*d - 5. Does 46 divide y(b)?
False
Suppose -18*t + 250 = 7*t. Let w = 254 + t. Does 11 divide w?
True
Suppose -146*t - 337*t = -29*t - 9636604. Does 50 divide t?
False
Let d(m) = -12*m**2 - 20*m - 90. Let w(h) = 13*h**2 + 20*h + 94. Let y(i) = -6*d(i) - 5*w(i). Does 5 divide y(-8)?
False
Let m(z) = -8*z**2 + 6*z + 22. Let r(s) = -s**2 - s + 4. Let o(j) = -m(j) + 5*r(j). Does 14 divide o(-10)?
False
Let q = 374 - 636. Let v = q + 286. Does 3 divide v?
True
Suppose 3*r - 28*y = -23*y + 6784, 0 = -4*y + 16. Does 108 divide r?
True
Let y(n) = 8*n - 216. Let h(f) = -4*f + 106. Let l(b) = 13*h(b) + 6*y(b). Does 45 divide l(-4)?
False
Let m(l) = 5398*l**2 - 8*l - 14. Does 15 divide m(-1)?
False
Let j = 4408 - 3124. Suppose -4*g = -3*a - j, -a + 2*a + 968 = 3*g. Is 12 a factor of g?
True
Let b(f) = -33*f - 26. Let w be b(6). Let s = w + 371. Let x = s - 70. Is 23 a factor of x?
False
Let m(o) = o**3 - 16*o**2 + 4*o - 18. Let w be (3 + -2)/(1/1). Let s be (24/(-30))/(w/(-20)). Is 23 a factor of m(s)?
True
Let q(x) = 845*x + 3860. Does 12 divide q(6)?
False
Let x be (-183588)/(-144) + 4/48. Suppose -12*l = 13*l - x. Is 17 a factor of l?
True
Is (-163750)/(-15) - (2/(-9) + (-230)/207) a multiple of 53?
True
Suppose -2*h + 4393 = 5*n, 4*h + 0*h - 5*n = 8771. Does 81 divide h?
False
Let d = 182 - 155. Let q = d + 462. Does 11 divide q?
False
Suppose 569 = -k + 573. Suppose 0 = -5*s - 32 + 17, 296 = r - k*s. Is r a multiple of 3?
False
Suppose 3 + 5 = 4*n. Let u be 3/(9/n*(-4)/24). Does 4 divide 4 - (2/1 - (-2 - u))?
True
Suppose 3*d - 2*d = 3. Let w be 85/(-15) + d/(-9). Is (4/(-12))/((-1)/w) + 38 a multiple of 12?
True
Suppose 14 = 5*d - 1. Suppose 5*o = 15, 5*l + 2*o - 62 = -2*o. Suppose -l = d*u - 55. Is 5 a factor of u?
True
Suppose 2*k - 6*k = -2*z - 562, -5*k = -5*z - 1390. Let y = -70 - z. Does 29 divide y?
False
Let g(a) be the second derivative of a**4/12 + 7*a**3/6 + 33*a**2/2 - 9*a. Suppose 0 = 5*y - 3*s + 55 - 3, 0 = -y + 2*s - 16. Is 37 a factor of g(y)?
False
Is -49*(-16 + (-3 - (-10)/(-2))) a multiple of 21?
True
Let v = -12090 + 16420. Is 2 a factor of v?
True
Let s = 759 - 704. Suppose -s*y = -1431 + 111. Does 3 divide y?
True
Let b = -653 - -320. Let g = b + 498. Is 33 a factor of g?
True
Let q = 435 - 711. Is 15 a factor of (7 + q/(-84))*4*7?
False
Suppose 19*m - 13130 = 172481 + 344774. Is m a multiple of 167?
False
Let y(k) = 2*k + 36. Let d be y(-17). Let i(q) = -9*q**2 - q**3 - 12*q**2 + 44 + 8*q + d*q + 4*q. Is i(-22) a multiple of 21?
False
Let s = -1952 - -6512. Is 60 a factor of s?
True
Suppose 3*w + 595 = -4*m + 1580, -2*m - 1711 = -5*w. Does 10 divide w?
False
Let n(o) = 2256*o**3 + 16*o**2 - 20*o + 3. Is 3 a factor of n(1)?
False
Suppose -5*b = 4*b + 477. Let q = 825 + b. Does 39 divide q?
False
Let l(a) be the first derivative of 44*a**3/3 - 13*a**2/2 + 41*a + 9. Is l(4) a multiple of 8?
False
Suppose 4*v - 16 + 2 = -2*x, -v + 5 = 2*x. Suppose 8 + 1 = v*t. Suppose -t*o = o - 120. Is o a multiple of 3?
True
Suppose 0 = 246*i - 234*i - 564. Suppose i*j = 44*j + 3072. Is j a multiple of 19?
False
Suppose -7*m = 5*l - 2*m - 23065, 23060 = 5*l + 6*m. Does 159 divide l?
False
Suppose 18 + 24 = 6*v. Let y(o) = 5*o**2 - 5. Does 8 divide y(v)?
True
Let a be 200/(-125)*(-6596 + 1) - 2. Suppose a + 5002 = 32*f. Is 17 a factor of f?
False
Let x = 122 + -108. Suppose -d = 9*b - x*b + 3375, 0 = 4*b - 4*d - 2700. Is b a multiple of 12?
False
Let o(f) = 9*f + 89. Let b be o(-8). Let u(p) = 49*p - 92. Does 39 divide u(b)?
True
Let r(g) = 2*g**3 + 21*g**2 + 11*g + 13. Let o be r(-10). Let t(u) = o*u**3 - 3 - 72*u**2 - 4*u**3 + 5*u + 80*u**2. Is t(5) a multiple of 15?
False
Suppose -107*g = -156*g + 206192. Is 16 a factor of g?
True
Let n(v) = 86*v + 79. Let j be n(-6). Does 50 divide (-1 - 3) + (-11 - j)?
False
Let f(o) = o**3 - 13*o**2 + o + 29. Suppose 0 = -4*k - 41 - 47. Let u = -9 - k. Does 21 divide f(u)?
True
Suppose 4*q - 42 = 5*v, 36 = 2*q + 2*v + 3*v. Suppose -8*f = -q*f + 1530. Does 6 divide f?
True
Suppose 126*w + 30*w = 3224364. Is 155 a factor of w?
False
Suppose 0 = -12*p + 54255 - 795. Is 69 a factor of p?
False
Let t(p) = 15*p - 28. Let o be t(2). Does 8 divide 295/o*(-10 - -12)?
False
Suppose 4 = 4*f, 4*m + 3*f - 2191 = 3696. Is m a multiple of 81?
False
Let s(p) = -p**3 - 32*p**2 + 5*p - 99. Let l(k) = k**3 - 19*k**2 + 9*k + 129. Let z be l(18). Is 15 a factor of s(z)?
True
Let m(j) = -4*j**3 + 95*j**2 - 12*j - 52. Does 5 divide m(19)?
False
Suppose 5*t = -n + 6 + 20, 2*n - t - 85 = 0. Suppose -2*c = -4*y + 1978, -y + n*c + 481 = 36*c. Is 14 a factor of y?
False
Suppose 0 = 4*b + 12, 3*u = 3*b - 9498 + 97803. Is u a multiple of 16?
False
Suppose 9*q + 18 - 54 = 0. Suppose 2*z + 8 = 0, q*z - 984 = -7*d + 2*d. Is 22 a factor of d?
False
Let t = 7280 - 1428. Is t a multiple of 38?
True
Suppose 0 = w - 5, -4*w - 9320 = -2*j + 12776. Is j a multiple of 97?
True
Let n = -1734 + 11142. Does 21 divide n?
True
Suppose 6212 = 3*u + 4*h, -11*h = -5*u - 7*h + 10300. Does 6 divide u?
True
Suppose 0 = -8*o - 7 - 17. Let y be (-1)/(-1) - (10 - o). Does 11 divide (-2)/(y/(-81)*(-18)/132)?
True
Does 83 divide -83*((-2)/16 + (3409/(-56) - 8))?
True
Suppose 145*b + 47*b - 5642130 = -3*b. Does 46 divide b?
True
Let c = 43 - 45. Let b be c/(-4)*3*2. Suppose -b*r + 2*g + 94 = -38, -86 = -2*r + 2*g. Is 10 a factor of r?
False
Let v(y) be the first derivative of -y**7/420 - y**6/180 + y**5/40 + 8*y**3/3 + 6. Let t(p) be the third derivative of v(p). Does 9 divide t(-3)?
True
Suppose 2*u = 16, -4*u - u + 68368 = 4*s. Is 73 a factor of s?
True
Is ((-9)/9 + -866)/((-3)/15) a multiple of 85?
True
Let j(l) = -l**2 - 19*l - 34. Let m be j(-17). Let s be (-3 - 1)*(-1084)/16 + 3. Suppose m = -4*t - 38 + s. Is t a multiple of 21?
False
Suppose 25*m - 28*m - 5 = -g, 4*m - 10 = -2*g. Is 15 a factor of (2 - m)*(16 - -783)?
False
Let s = 70 - 57. Let f(i) = 2*i**2 - 19*i - 13. Let j be f(s). Let w = 116 - j. Does 38 divide w?
True
Suppose -2*f - 8 = j - 0*j, 2*j - 4*f + 8 = 0. Is 59 a factor of (274/j)/(160/24 - 7)?
False
Suppose -2*i + 3*k = -16 + 6, -5*i - 4*k = -2. Suppose i*j = -4*a + 884, 0*a - 3 = -3*a. Is 9 a factor of j?
False
Let o be -6 + 2 + -4 + 3 + 1. Is 13 a factor of 2