p - 3*h - 27. Let r = 38 - p. Does 8 divide r?
True
Let r(g) = -89*g - 780. Is 14 a factor of r(-72)?
True
Let y = 29 - -15. Suppose 3*l - y = -l. Suppose -1875 = -4*j - l*j. Is j a multiple of 15?
False
Suppose -14925 = -2*x - 5*s + 8355, 4*x = -3*s + 46574. Does 21 divide x?
False
Let x(h) = 16*h**2 + 18*h - 3. Let p(s) = 33*s**2 + 36*s - 7. Let t(c) = -3*p(c) + 7*x(c). Is t(7) a multiple of 53?
False
Suppose 0 = -3*g + 3*y + 234, -18 = g + y - 102. Let x be (42/(-9) - -2)/((-18)/g). Suppose 15*v - x*v = 648. Is v a multiple of 36?
True
Let i(y) = 6193*y**2 - 11*y - 16. Is 220 a factor of i(-1)?
False
Let y(q) = -774*q - 330. Is 16 a factor of y(-8)?
False
Let g = 812 + -806. Suppose 5506 = g*n - 2018. Is 65 a factor of n?
False
Suppose 0 = -123*r - 36413 + 3583241. Does 83 divide r?
False
Suppose -6*l = -3*n + 6726, -5*n - 2*l = -6454 - 4756. Is n a multiple of 13?
False
Suppose 6*g = 2*g + 4*p, g + 2*p - 6 = 0. Suppose s - 11 = -0*s + g*d, 5*s = -d. Is 14 a factor of (30/(-4))/(s - (-115)/(-100))?
False
Let x(i) = i**2 + 28*i - 479. Does 47 divide x(-79)?
False
Let h be (-34)/(-6) + -4 + (-117)/(-27). Suppose 35*q = 38*q - 1341. Suppose -q = -3*t - 2*v, v = -h*t + 4*t + 298. Is t a multiple of 19?
False
Suppose 11*p - 7*p = 16. Suppose 0 = -y + 5*s - 11, 2*s = p*y - 4 - 6. Suppose -3*x = 3, y*x = -4*h + x + 485. Does 16 divide h?
False
Suppose 2*g = -p + 5336, -4*p - 12542 + 33952 = -3*g. Does 14 divide p?
True
Suppose 31*l + 63725 - 184346 = 0. Does 11 divide l?
False
Suppose 12*f - 1676 - 51316 = 0. Is 92 a factor of f?
True
Let m be -1*(-2)/(-8)*0. Suppose 5*a - 294 - 131 = m. Is a a multiple of 5?
True
Let r(y) = 11*y + 39. Let s = -610 + 633. Is r(s) a multiple of 5?
False
Suppose 4*l + 82 - 194 = 0. Is 9 a factor of ((-58)/(-9) + l/(-63))*166?
False
Suppose 0 = 8*h - 32 - 72. Suppose h*r - 37536 = -10*r. Is 13 a factor of r?
False
Let q = 569 - 569. Suppose q = 143*b - 147*b + 2*k + 1784, 4*b - 1784 = k. Is b a multiple of 42?
False
Let t = -124 + 97. Let d = -30 - t. Is 25 a factor of -3 + (7*-12)/d?
True
Let v(n) = 12*n - 165. Let u be v(4). Let r = u + 813. Is r a multiple of 24?
True
Let t(v) = 19*v - 28. Let h be t(6). Let x = h + -70. Is 16 a factor of 120*(4/6 + x/30)?
True
Does 6 divide (0 + 1/2)/((10/5)/16804)?
False
Suppose w = 3*h + 481, -5*h - 354 = -3*w + 1093. Does 11 divide w?
True
Suppose -2*r - 2*q + 34 = 0, 3 = -2*r - q + 33. Suppose -9*i - 336 = -r*i. Does 42 divide i?
True
Suppose -484 = 2*r + c + 581, -15 = -3*c. Let l = r - -781. Is 12 a factor of l?
False
Let a(s) = 615*s**2 + 33*s + 34. Does 88 divide a(-1)?
True
Let k(y) = -y**2 + 25*y - 6. Let i be k(20). Let m(x) = x - 5. Let g be m(11). Suppose 7*s - g*s - i = 0. Is 17 a factor of s?
False
Suppose 182 + 91 = -13*k. Let q = -22 - k. Let j = q - -18. Is 2 a factor of j?
False
Let m(w) = -17*w + 2*w**3 - w**3 - 1 - 16 + 8*w**2 - 6*w. Let q be m(-10). Suppose 5*v + q = 623. Is 16 a factor of v?
False
Let y be (-8)/3*(-6)/8. Suppose 0 = 3*n - y*n - 44. Is n + (-5)/5*(-8)/2 a multiple of 8?
True
Is 21 a factor of (-19040)/(-850)*(-25)/(-1)?
False
Does 6 divide (1*-678)/((-40)/60)?
False
Suppose -9529 = -20*a + 5731. Let x = a + -383. Does 19 divide x?
True
Suppose -g + 1 + 4 = -j, g + 4*j = -5. Let a be (24/28)/g + (-822)/(-14). Let n = a - 25. Is n a multiple of 3?
False
Suppose -z = -2*y + 6080, 11*y - 12144 = 7*y - 2*z. Is 62 a factor of y?
True
Suppose i = -3*c + 33, -8 = 3*i - 4*i + 2*c. Let z(l) = -l**3 + 19*l**2 - 19*l - 38. Let n be z(i). Let k = n + 86. Is 5 a factor of k?
True
Let l = 21 + -45. Let o = 22 + l. Does 24 divide (-298)/(-2) + 0 + o?
False
Suppose 12*u + 18 = 21*u. Suppose -15*m + 5616 = -u*m. Does 12 divide m?
True
Let y(h) = -h**2 - 11*h - 9. Let c be y(-9). Suppose -8*v - 25 = -c. Does 43 divide 87 + v + (1 - 1)?
False
Suppose 13*d = 2*z - 94555, -z + 6305 = -2*d - 40986. Does 13 divide z?
False
Let m(t) = -1 + 8*t**2 + 10*t**2 - 19*t**2 + t**3. Let p(u) = -7*u**3 + 20*u**2 - 11*u + 24. Let i(v) = -6*m(v) - p(v). Is 28 a factor of i(14)?
False
Let c be (-47)/15 + 1 + (-26)/(-195). Let a be 2/(-18) + 690/135. Does 6 divide (-1)/(a/200*c)?
False
Let o(z) = z**3 - z**2 + 13*z. Let l be o(0). Suppose 3*b - 1086 = -3*f, l = -5*b - 2*f - 37 + 1841. Is 12 a factor of b?
True
Let d(x) be the second derivative of -x**5/20 + 5*x**4/12 + 2*x**3/3 - 9*x**2/2 - 3*x. Let q be d(5). Suppose 222 = -5*n + q*n. Is n a multiple of 8?
False
Let y = -95 - -97. Let k(q) = 60*q**3 + 2*q**2 - 5*q + 5. Does 69 divide k(y)?
True
Suppose 5*s = -3*n - 166, 2*n + 2*n - 4*s = -232. Let k be 11/(77/2) - n/21. Suppose 3*f = -2*h + 351, -k*h + 130 = -4*f - 354. Does 28 divide h?
True
Let c(i) be the first derivative of -i**4/4 - i**3 - 2*i**2 + 58*i - 49. Is c(-9) a multiple of 58?
True
Let z(k) = -24*k - 93. Let s(j) = -24*j - 90. Let g(r) = 3*s(r) - 2*z(r). Is 12 a factor of g(-7)?
True
Suppose 2*i - 5*s + 265 = 0, i + 43 = 3*s - 87. Let f = -30 - i. Is 23 a factor of f?
True
Let m = -118 - -117. Is (-7)/(-2)*(19 + m) - 3 a multiple of 12?
True
Suppose 2*y - 2 = s + 16, -2*s = 0. Suppose -j - 3*w = -63, -13 = -4*w - y. Does 15 divide j?
True
Let l be 2/(-11) - (-48)/22. Suppose -2*u + 10*x + 13 = 5*x, -2*x - 2 = 0. Suppose l*k = u*v - 62, -2*k + 36 = 2*v - 4*k. Does 2 divide v?
False
Let i(f) = -4*f - 108. Let c be (5 - 10) + 102/(-3). Does 12 divide i(c)?
True
Let j(q) = -54*q - 4. Let v(r) = -2*r - 38. Let b be v(-18). Is j(b) a multiple of 26?
True
Let d(p) = p**3 + 8*p**2 - 24*p + 32. Let a be d(8). Suppose -5*r - 1440 = -5*m, -m - a = -4*m - 3*r. Is m a multiple of 18?
True
Is -3 + (-105142)/(-54) + 14/(-189) a multiple of 12?
True
Does 41 divide (26322/(-18))/((-52)/156)?
True
Let r = -6651 + 23074. Is 6 a factor of r?
False
Let j(b) = 3*b**2 + 6*b + 3. Let c(p) = p - 30. Let n be c(10). Let t be ((-24)/n)/((-6)/20). Is 6 a factor of j(t)?
False
Suppose -1117 = -18*x + 11267. Is x a multiple of 3?
False
Let h be 150/(-6 + 8) - (0 - 1). Let a = h + 230. Does 18 divide a?
True
Suppose -9*u + 4*u - f + 3588 = 0, 720 = u - f. Let s = 1432 - u. Is 34 a factor of s?
True
Let w(o) = 6*o**2 + 3*o - 16. Let v = -33 + 41. Does 28 divide w(v)?
True
Suppose -5*d + 49 + 51 = 0. Let x be (-79)/(-4) - (-5)/d. Does 15 divide (-1 - 0)*-77 - (x - 24)?
False
Let g(i) = i**2 - 16*i - 22. Let j(u) = 3*u**2 - 33*u - 43. Suppose -6 = 3*x - 0*x. Let p(c) = x*j(c) + 5*g(c). Is 16 a factor of p(-10)?
True
Let c = 68 - 19. Suppose -6*s - 100 = -10*s + a, -2*s = 4*a - 68. Let r = c + s. Does 13 divide r?
False
Let s be (-2)/(-6) + (-38)/(-3). Suppose 4937 - 16052 = -s*u. Is u a multiple of 45?
True
Let z(h) = 8*h**2 + 3*h + 3. Let t be z(-1). Suppose 1656 = t*m - 0*m. Suppose -m = -9*s + 279. Is 8 a factor of s?
False
Suppose 92671 = -28*c + 955519. Is c a multiple of 32?
True
Let z(k) = -2*k + 15. Let d(u) = 2. Let n(b) = -2*d(b) + z(b). Is n(4) a multiple of 2?
False
Let w(r) = -2*r**3 - 24*r**2 - 21*r + 21. Let j be w(-11). Let n(f) = 2*f**2 - 11*f + 78. Is n(j) a multiple of 6?
True
Suppose 37477 = -1581*q + 1585*q - m, 5*q + 4*m = 46841. Is q a multiple of 59?
False
Let q(c) = 40*c - 30. Let s(i) = 40*i - 33. Let u(r) = 4*q(r) - 3*s(r). Does 17 divide u(2)?
False
Suppose -131*n + 4*h = -134*n + 5006, 4*h = 2*n - 3304. Is n a multiple of 6?
True
Suppose -3*l + 0*l + 4*u + 12 = 0, -6 = -4*l + 2*u. Suppose l + 1 = z - k, -3*k + 17 = 2*z. Suppose j = 20 - z. Does 8 divide j?
True
Is 69 a factor of 1/1*-21*(-20684)/84?
False
Let l be (-7 + 2 - 4) + (-12)/(-3). Let t(b) = 3*b**2 + 40*b + 164. Is t(l) a multiple of 2?
False
Let n = 26 + -24. Let m = n - -130. Suppose -4*y + a + m = -0*a, -4*a = 0. Does 16 divide y?
False
Suppose -3839 = -15*h + 3586. Is 10 a factor of h?
False
Let t(v) = v**3 + 10*v**2 - 12*v - 7. Let d be t(-11). Suppose -c - 668 = -4*p + p, d*p - 900 = -c. Is p a multiple of 32?
True
Is 39 a factor of 294/35*(-20)/(-16)*2884/3?
False
Let o = 5 + -2. Suppose k = 5*k - 16, 4*y - 3*k = 176. Is (-4)/((-12)/o) + -3 + y a multiple of 4?
False
Suppose 0 = -o - 4, -31*l + 2*o = -27*l - 88008. Is 125 a factor of l?
True
Suppose -h = -7*h + 12. Suppose -2*v - 169 - 66 = -3*i, -h*i - 2*v = -140. Suppose 251 = 4*b + u, -37 - i = -2*b + 4*u. Does 9 divide b?
False
Let q = 4 + -6. 