= -r**2 - r + 87. Let q(h) = 3*i(h) - 4*s(h). Does 15 divide q(-16)?
False
Suppose -5*o = 6*v - 10*v - 308172, 2*o + 2*v = 123258. Does 24 divide o?
True
Let z = -61 - -61. Is 100 - (z + (1 - 2) + 2) a multiple of 5?
False
Let k = -51 - -222. Let u(i) = 7 + k*i + 7 - 15 + 4. Does 30 divide u(1)?
False
Let r(y) = -5*y + 52. Let h be r(11). Does 3 divide (-15)/(-25) - (6/(-15) + h)?
False
Let m(j) = -j**3 + 24*j**2 + 46*j - 137. Is 41 a factor of m(19)?
True
Suppose 3*n + 4*t - 2068 - 1831 = 0, -5250 = -4*n + 2*t. Is 187 a factor of n?
True
Let o(y) = -y**3 + 14*y**2 - 10*y + 4. Let h(n) = -n**2 - 16*n + 30. Let q(w) = w**2 + 25*w - 43. Let v be q(-26). Let p be h(v). Is o(p) a multiple of 12?
False
Suppose 0 = 23*m - 5*m + 576. Let t = m - -37. Suppose 0 = 3*d + 5*z - 32, z + 100 = t*d - 0*d. Is d a multiple of 10?
False
Suppose -45543 + 40103 = -10*m. Does 34 divide m?
True
Let u(z) = 15*z**3 - 5*z**2 + 6*z + 3. Suppose 0 = 25*w - 38*w + 26. Is 5 a factor of u(w)?
True
Suppose -5*t - g + 3320 = -3*g, 2*g = -3*t + 1992. Suppose 0 = -3*f + 3*v + 1714 - t, -3*f = v - 1046. Does 35 divide f?
False
Let u be (-6)/(-4) - (-1737)/18. Let q = -58 + u. Let i = q - 18. Is 7 a factor of i?
False
Let x(y) = 7332*y**2 - 43*y + 10. Does 24 divide x(-3)?
False
Suppose 44*q - 42*q = 2*w - 7354, 14732 = 4*w + 4*q. Is w a multiple of 117?
False
Suppose 6*d - 1296 = 10*d. Let v = -206 - d. Is 16 a factor of v?
False
Let x be 8/(-8)*(-1*13 + -1). Suppose x*j = 16*j - 30. Suppose 0 = -9*s + j + 1272. Is s a multiple of 22?
False
Let a = -213 - -218. Suppose -3*t = a*g - 370 - 224, -2*t + 396 = 4*g. Is 33 a factor of t?
True
Let j = 60 + -89. Let z be (-175)/(-2) + 2/(-4). Let m = j + z. Is m a multiple of 29?
True
Is 21 a factor of -8 + 3 - (-6159 + (5 - 2 - 2))?
True
Let k(l) = -1170*l - 76. Is k(-2) a multiple of 11?
False
Let c(z) = z**2 + 7*z - 3. Suppose 0 = 5*s + 5*h + 80, 15 = -2*s + 3*h - 7. Is 5 a factor of c(s)?
True
Let z = 304 - 274. Is z/(1 + 5)*242/10 a multiple of 11?
True
Let d be (1/(-1) + 8)*(-7830)/(-21). Suppose -20*r = -11*r - d. Is 29 a factor of r?
True
Let d = -86 - -58. Let l(n) = -23*n + 332. Let w be l(12). Let q = w - d. Is q a multiple of 21?
True
Let l = -27 + 29. Suppose -l*w + 2*v + 208 = -0*w, 4*w - 5*v - 418 = 0. Suppose -2*b = -c + w, 3*b - 15 = -2*b. Is c a multiple of 18?
True
Let i(a) = -4*a**3 + 4*a**2 + a - 10. Let g be i(-3). Let h = g - 130. Is 1*3*h/4*4 a multiple of 3?
True
Let h(z) = z**3 - 19*z**2 + 40*z - 55. Suppose -19 = -6*o + 83. Is 5 a factor of h(o)?
False
Let j(x) be the first derivative of -7*x**4/4 + 2*x**3/3 + 3*x**2/2 + 5*x + 65. Let n = 17 - 19. Does 17 divide j(n)?
False
Suppose 0 = -4*k + 4*i - 20, 5 - 2 = k + 3*i. Is 22 a factor of (-22)/5*-5*(9 + k)?
True
Let v(t) = 10*t - 86. Let z be v(9). Suppose 0 = 6*p - 4*p - z*w - 468, 4*p + w - 918 = 0. Is 55 a factor of p?
False
Let k(l) be the second derivative of 61*l**6/360 - l**5/60 - l**4/12 + 2*l**3 - 31*l. Let m(s) be the second derivative of k(s). Is 34 a factor of m(2)?
True
Let l = 4206 + -3832. Does 17 divide l?
True
Suppose 13*w + 13 = -z + 17*w, -3*w = 5*z + 65. Let v(n) = -n**3 - 10*n**2 + 27*n - 12. Does 7 divide v(z)?
False
Let d = -265 + 591. Suppose d = 6*y - 112. Is 7 a factor of y?
False
Suppose 0 = -2*s - 12, 3*s + 15190 = 4*j - 3904. Is 10 a factor of j?
False
Suppose 16*l - 15*l = -3. Let s be (((-3)/l)/3)/((-3)/(-54)). Is (140/14)/(1/s) a multiple of 15?
True
Is (3 + -3*40/9)*(-12 + -531) a multiple of 55?
False
Let v be (-51)/68*1/(3/(-12)). Suppose v*i = 3*t - 3411, -5*t = -i + 4*i - 5693. Is t a multiple of 33?
False
Suppose 4*v = -2*c + 41708, 2*c + 16798 = -2*v + 58498. Does 102 divide c?
False
Let i(h) = 10*h**3 + 2*h**2 - 30*h - 12. Is 60 a factor of i(6)?
True
Let a = -67 - -72. Let c(s) = 4*s**2 + 3*s + 4. Let w be c(4). Suppose 7*v - 2*v + a*l - w = 0, 3*v - l - 52 = 0. Is 2 a factor of v?
False
Let y = -1076 - -4148. Does 12 divide y?
True
Let c(s) = 8 - 2 - 10*s + 13 + 26*s. Suppose 7*v = 2 + 96. Is 12 a factor of c(v)?
False
Let r = -917 + 2460. Let q = r - 1095. Is 32 a factor of q?
True
Let o(s) = -12*s**2 + 81*s - 111. Let x(v) = -14*v**2 + 84*v - 112. Let f(a) = -6*o(a) + 5*x(a). Is f(46) a multiple of 31?
True
Let g = -2419 + 6694. Is g a multiple of 5?
True
Let z(x) = -x**3 - 2*x**2 - 3*x. Let u be z(-2). Let b be (-4)/u - (-24)/36. Suppose 335 = 5*v - 3*d, b*v - d + 75 = v. Is 14 a factor of v?
True
Let h(r) = -3*r**3 - 136*r**2 - 45*r + 77. Is 88 a factor of h(-46)?
False
Let k = 10 - 9. Suppose 4 = -h + k, 0 = 2*j + 5*h - 561. Suppose 0 = -6*a + 144 + j. Is 18 a factor of a?
True
Suppose -3*q + 5 = -d, -2*q - 1 - 1 = 2*d. Let g be ((872/(-5))/(-2))/(d/(-5)). Suppose 2*o + s - 89 = 0, -5*o + 0*o - s + g = 0. Does 7 divide o?
False
Let k = -94 - -88. Let h(a) be the first derivative of -a**4/4 + a**2 - 9*a - 15. Is h(k) a multiple of 37?
False
Let t be (139 - 1) + (-44)/(-22). Suppose -5*d + t = -670. Is d a multiple of 9?
True
Let f(h) = -3*h + 5. Let y be f(6). Let n(k) = 36*k**2 + 5*k + 3. Let l(a) = 7*a**2 - 2*a. Let z(b) = 5*l(b) - n(b). Is 4 a factor of z(y)?
False
Suppose 916 = -2*g + 904, -z - 4*g + 1614 = 0. Is 3 a factor of z?
True
Suppose 338*g - 12736 = 334*g. Is g a multiple of 11?
False
Suppose 3*z = -4*w + 170, -15*w + 46 = -14*w - z. Suppose w*n - 774 = 634. Is n a multiple of 15?
False
Let j(d) = 44*d**2 + 829*d + 82. Does 259 divide j(-38)?
True
Let i(j) = -j**2 + 9*j - 22. Let d be i(7). Let s be (d/12)/((-10)/915). Suppose -h + 93 = 3*h + 5*w, 3*h = -2*w + s. Is h a multiple of 17?
True
Let h = 333 + -163. Let a = -109 + h. Is 13 a factor of a?
False
Suppose -1088 + 7850 = 14*p. Let b = p - 147. Does 28 divide b?
True
Suppose 3*f + 30 = -5*p, -4*p - 3 + 15 = 0. Is 7 a factor of (-16)/(-40) + (-1509)/f?
False
Let u(y) = -57*y + 7. Let j be u(1). Let w = -64 - j. Does 7 divide 8/5*(-175)/w?
False
Let o = -4496 + 3014. Is (24/10)/(o/165 - -9) a multiple of 12?
True
Let q(x) = -60*x + 80. Let r be q(-12). Let y = -452 + r. Suppose t - y = -3*t. Does 17 divide t?
False
Let u(v) = 8*v + 29. Suppose 2*d + 4*g = 10, 3*g - 6 = -4*d + 39. Is 8 a factor of u(d)?
False
Let b = -46 + 70. Let x = b - -5. Is 11 a factor of x?
False
Let b(u) = -u**3 - 1. Let t(s) = -5*s**3 + 5*s**2 + 2*s - 4. Let y(r) = 4*b(r) - t(r). Let f be y(-3). Let v = f - -206. Does 28 divide v?
True
Suppose -93180 = -16*h + 250484. Does 68 divide h?
False
Does 4 divide 384/(16/((-832)/(-39)))?
True
Suppose 7*s - 5 - 23 = 0. Let n(o) = 22*o + s*o + 16 - 12*o + 8*o. Does 5 divide n(4)?
False
Let q be 89/2*(1 - -1). Let f be ((-126)/84)/((-3)/6 + 2). Is (-6 - -4)*(f - q) a multiple of 36?
True
Is 113 a factor of -3*(975/9 + 3)*1503/(-18)?
False
Let q be 1*(-7)/((-21)/(-234)). Let d be (-754)/q + (-2)/(-6). Suppose -2*b + 0*b + d = 0. Does 4 divide b?
False
Suppose 5*b = 3*k + 2*k + 10, 16 = -2*k + 5*b. Is 194/k + -1 - (-8)/(-2) a multiple of 11?
False
Let m = 7290 + -1742. Does 76 divide m?
True
Suppose 3*f - 105 - 1514 = -2*r, -5 = -f. Is r a multiple of 4?
False
Let y(g) = 14*g - 130. Let b be y(25). Suppose 4*x - 5*x + 352 = 0. Let t = x - b. Does 12 divide t?
True
Is 15 a factor of 19986/12 - (4/6)/((-60)/(-45))?
True
Let r = 5029 + -4301. Is r a multiple of 28?
True
Let p be -8 - -10 - ((-2 - 2) + 1). Suppose 0 = -3*g + 4*m + 27, p*g - 4*g = -5*m + 9. Is 12 a factor of 3/g - 395/(-3)?
True
Let c = -7338 - -11157. Does 57 divide c?
True
Does 9 divide 0 - 9*(-432 + 3) - 9?
True
Let t(u) be the third derivative of -13*u**4/24 - u**3/2 - 27*u**2. Let s be (-410)/35 + 4/(-14). Is 16 a factor of t(s)?
False
Suppose 2*h - 4*z = 16, 2*z + 14 = 2*h + 2. Suppose 0 = h*b - 0*b - 20. Suppose 160 = 5*i + b*l, i - 2*l - 26 - 15 = 0. Is i a multiple of 7?
True
Suppose 0 = -5*d - 20, l + 3*d - 33 = 57. Let s be 1 + 1 - 0/(9 + 7). Is 9 a factor of (l/24)/(-3*s/(-168))?
False
Let t be 1650/(-45)*((-45)/(-2))/(-5). Does 14 divide (-4 + (-144)/(-20))/(3/t)?
False
Let q(x) = -50 - 15*x + 139*x**2 + x**3 - 115*x**2 + 32*x. Is q(-23) a multiple of 3?
False
Suppose 12*a - 2058 = -7*a + 5*a. Does 14 divide a?
False
Let h be 0/(1/((-18)/4 - -5)). Suppose h = 16*k - 4*k - 2952. Is k a multiple of 7?
False
Suppose -42*i = 82*i - 934960. Does 65 divide i?
True
