 = 41759 + -28629. Is 11 a factor of h?
False
Let a be (-158)/(-8) - (-17)/68. Suppose 2*d = 6*d - a. Let y(m) = m**3 - 4*m**2 - 3*m + 10. Does 3 divide y(d)?
False
Suppose -8 - 7 = -3*k. Let n(u) = 2*u**3 - u - u**3 + k*u**3 + 72 - u**2 - 7*u**3. Is n(0) a multiple of 18?
True
Let u(v) = 2*v - 21. Let k be u(11). Suppose -2*c - k = 7. Is (1*14)/(c/(-50)) a multiple of 15?
False
Suppose 13*o = 11*o. Suppose 154 = 2*w - 4*r + 2*r, o = -4*w + 5*r + 310. Is w a multiple of 11?
False
Let n(f) = 19*f**2 + 98*f - 179. Is n(37) a multiple of 206?
True
Let s(f) be the first derivative of f**4 + 7*f**3/3 - 3*f**2 + 13. Let w(p) = 8*p**3 + 15*p**2 - 13*p. Let l(b) = 13*s(b) - 6*w(b). Is 14 a factor of l(2)?
False
Suppose 24 = 78*x - 72*x. Suppose r + 1420 = 4*t - x*r, -5*t = 5*r - 1775. Is t a multiple of 8?
False
Suppose 9*b + 2*b - 8217 = 0. Let c = b - 300. Does 21 divide c?
False
Let i(o) = -18679*o + 2864. Is 238 a factor of i(-2)?
True
Does 44 divide 4308/14 + (8/(-52))/(28/(-52))?
True
Suppose -5*w + 5*r + 10 = 0, -w - r - 7 = -5. Is 55 a factor of (-1 + 292)/1 + (4 - w)?
False
Suppose -t - 7 = -15. Let b(d) = 7*d**2 + 5*d - 2. Let p be b(2). Does 18 divide (p/t + -4)/((-1)/(-144))?
True
Suppose -2*m = 2*o - 14520, -188*m + 187*m - 4*o = -7278. Is m a multiple of 9?
True
Suppose 2*f = 10 + 6. Suppose -f*h = -16*h + 2240. Is 14 a factor of h?
True
Suppose -4*u + 44072 = 5*k + 13038, -3*u = 2*k - 12408. Is 135 a factor of k?
True
Is 795124/264 - (70/(-36))/7*-3 a multiple of 13?
False
Suppose 146 = 14*i - 12*i. Let f be -1 + 1 - (-180)/(-3). Let p = i + f. Is 13 a factor of p?
True
Suppose 5*p - 76 = 24*p. Is 13 a factor of (-18)/p*3432/18?
True
Let s(k) = k**3 - 113*k**2 + 111*k + 701. Is s(113) a multiple of 154?
True
Let s(l) = 4*l**3 + 3*l**2 + l - 2. Let b be 6/(-9) + 35/21. Let n(m) = -m**3 + m**2. Let h(c) = b*s(c) - n(c). Is h(2) a multiple of 12?
True
Suppose 2*b - 13*b + 22 = 0. Suppose -2 = -l, 455 + 147 = b*p + l. Does 30 divide p?
True
Suppose q + 4 = 29. Let y(j) = -j**3 - 2*j**2 + j - 1. Let n be y(-4). Suppose -n*f + 448 = -q*f. Is 14 a factor of f?
True
Let j(u) = -u**3 + 7*u**2 + 1095*u - 53. Does 14 divide j(-31)?
True
Let b(o) = -54*o - 70. Let d(k) = -55*k - 70. Let i(s) = -3*b(s) + 4*d(s). Does 20 divide i(-5)?
True
Suppose 124*n - 267869 - 768340 = 619811. Is n a multiple of 227?
False
Let h(b) = 1055 + 48*b**3 + 2*b**2 - 1055. Is h(2) a multiple of 65?
False
Let s(o) = 249 + 24*o + 8*o - 15*o - 41. Does 26 divide s(0)?
True
Suppose 21*v = 17*v - 8. Let h(j) = 3*j**2 + 5*j - 1. Let u be h(v). Is 9 a factor of -19*(1 - (u + (0 - -1)))?
False
Suppose -3514 = -4*s + 2*r, -2*s + 9*r = 4*r - 1777. Let u be s/10 - ((-128)/(-40))/(-8). Suppose 0 = 17*c - 15*c - u. Is c a multiple of 17?
False
Let o(v) = -50*v**3 - 6*v**2 - 2*v + 2. Let p be o(-2). Let h = p + -87. Is 6 a factor of h?
False
Let i be -3 + 7 + 213/(-1 - -4). Let o = -73 + i. Suppose 3*v = t + 196, v - o*t + 184 = 4*v. Does 7 divide v?
False
Let s(m) = -41*m**3 - 3*m**2 - 3*m + 2. Suppose -u = 9*u + 20. Let v be s(u). Let g = -205 + v. Does 17 divide g?
True
Suppose o = -4*m - o + 278, -2*m = 3*o - 133. Let f = -77 + m. Let a(y) = -2*y**3 - 8*y**2 - 8*y + 3. Is a(f) a multiple of 20?
False
Let u(j) = 14*j - 174. Let z be u(9). Is 512/2 + z/(-24) - -1 a multiple of 6?
False
Let m = 1 + 3. Suppose -m*r - 3*t + 875 = 0, -4*r - 283 + 1148 = t. Suppose -4*u + 211 = 5*y, y - r = -4*u - 0*y. Is 9 a factor of u?
True
Suppose 5*t - 11*t = -228384. Is 22 a factor of (-2)/9 - (t/27)/(-8)?
True
Let q(s) = -2*s + 13. Let g be q(7). Is 46 a factor of (-2 - 42)/(0 + g) - -2?
True
Let p(i) = -2*i**2 + 14*i. Let v be p(7). Suppose v = n, -4*s + 666 = 2*n - 682. Suppose -5*q - f + s = 0, q - 2*f + 5*f - 73 = 0. Does 37 divide q?
False
Suppose 4*o + 4*w - 30 = 2*w, -3*o = w - 20. Suppose 0 = -2*a - 6, -5*k + o*a + 244 = 2*a. Suppose i - 5*y - k = -14, 60 = i + 4*y. Does 16 divide i?
True
Suppose -2*d - 3*i + 228 = -83, 0 = -4*d - i + 607. Let g = d + 173. Is g a multiple of 22?
False
Let s be 3/(-30)*-235*-4. Let m = s - -553. Does 19 divide m?
False
Suppose 0 = -3*i + 9164 + 25339. Is i a multiple of 16?
False
Let s(d) = -d + 51. Suppose 5*r - 290 = -3*n, 2*n - 3*r - 44 = 162. Let j be (-6)/(-5)*(0 + n/6). Is 31 a factor of s(j)?
True
Suppose -g + 7*g + 30 = 0. Let k be ((-3)/g)/((-12)/60). Let l(u) = 2*u**2 + 2*u - 4. Does 3 divide l(k)?
False
Let t(l) = -661*l + 1383. Is t(-3) a multiple of 66?
True
Suppose 3*d + 4*v = 5*v, 2*v = -d. Suppose -c = -d*c - 4. Suppose 0 = -c*i - 2*o + 6*o + 76, 0 = 2*i + 4*o - 26. Is 10 a factor of i?
False
Let l(y) = -y**2 - 39*y - 38. Let j be l(-1). Suppose 2*c = -2*c + 376. Suppose 2*s - c - 86 = j. Is s a multiple of 30?
True
Does 5 divide (-9 + 192)*864/32?
False
Suppose 8*t - 10*t - 2*j - 1808 = 0, 3*j + 9 = 0. Let c = t + 1533. Is c a multiple of 23?
False
Suppose 4*h - 6*r + 2*r = -292, 0 = -h - 4*r - 63. Let t = -71 - h. Suppose 2*z + 2*d = 3*d + 205, 5*z - 5*d - 525 = t. Is 8 a factor of z?
False
Suppose 5*k - 50*t + 46*t - 2680 = 0, -5*k + 5*t + 2685 = 0. Is k a multiple of 19?
True
Suppose -4*z - 31 = -3*j, -2*z = j + j - 30. Suppose 0 = j*k + 49 - 1050. Is 11 a factor of k?
True
Suppose 15 = 4*f - 3*k + 6, k = 3*f - 3. Does 59 divide 1 - (f/(-11) - (-470)/(-2))?
True
Suppose -10*i + 229 = 719. Suppose 84 = -r - r. Let g = r - i. Does 2 divide g?
False
Let u(v) = -55*v - 1057. Is u(-32) a multiple of 3?
False
Let h(a) = 5*a**3 - 15*a**2 - 3*a - 1. Suppose -4*o - 3*x + 10 = -7, 0 = -4*x - 4. Is h(o) a multiple of 17?
False
Let l = -668 + 672. Suppose 7*z + 143 = 4*s + 2*z, -108 = -3*s + l*z. Is s a multiple of 6?
False
Suppose 5*u = -20, -12*u + 11*u - 21637 = -3*z. Is 13 a factor of z?
False
Let j = -8509 + 15295. Does 13 divide j?
True
Suppose o - 3*a = -3*o + 23, 0 = 3*a + 15. Suppose -2*f + 192 - 2132 = -3*s, -660 = -s - o*f. Is s a multiple of 26?
True
Let o(a) = a**2 - 9*a + 1656. Is 5 a factor of o(46)?
False
Suppose -6*t - 29280 = -0*t - 18*t. Is t a multiple of 61?
True
Let s = -1926 + 24451. Is 17 a factor of s?
True
Let o(z) = 845*z + 828*z - 1720*z - 50. Is o(-5) a multiple of 39?
False
Let b(w) = -4*w**2 + 15 + 2 - w**2 + 6*w**2 - 19*w. Let h be b(12). Let c = -30 - h. Is 7 a factor of c?
False
Let v = -5632 + 8008. Suppose -45*i + 36*i + v = 0. Does 33 divide i?
True
Let r(c) be the third derivative of c**6/120 - c**5/60 - c**4/3 - 5*c**3/6 + 10*c**2. Let f be r(-3). Let n = 95 - f. Does 28 divide n?
True
Let x be (-1)/2*(-16)/2. Let t = -39 + 44. Suppose -x*s - 2 = -3*s, t*z - 70 = -5*s. Does 8 divide z?
True
Let w = -7345 - -12188. Is 8 a factor of w?
False
Suppose -176*d - 270 = -177*d - 5*x, 710 = 3*d - 5*x. Does 3 divide d?
False
Let j(m) = 19*m**3 - 4*m**2 + 2*m + 5. Let x be j(-3). Let z = x - -861. Suppose 5*w = -86 + z. Is w a multiple of 14?
False
Let u(l) = -291*l + 165. Is 50 a factor of u(-35)?
True
Suppose 3*c + 2*b - 198720 = 0, -2*c - 34*b + 32*b = -132480. Is 320 a factor of c?
True
Let t be (-3)/1*(-9 + 8). Suppose -c = t*s + 4*c - 18, -4*c + 12 = 0. Is -58*s/(-4) + (-4)/(-8) a multiple of 3?
True
Let a(f) = f**3 - f**2 + 2*f + 6. Let u be a(0). Suppose 20*o = 18*o + u. Suppose 98 = o*i - i. Is i a multiple of 5?
False
Let k(v) = -50*v - 3. Let a(z) = z**3 - 7*z**2 + 1. Let h be a(7). Let u(n) = -4*n - 1. Let m be u(h). Does 12 divide k(m)?
False
Suppose -3*g + v = -44, 3*g - 3*v - 12 = 2*g. Suppose -f = -3*k - 28, 2*f = -g*k + 18*k + 41. Is f even?
False
Is 7 a factor of -1235*(2337/(-570) + (-2)/4)?
False
Let q be 2 - 6 - 2*3/6. Does 14 divide -5 + (q - (-8 + -174))?
False
Let o be (-4)/(-12)*-3 - -3. Suppose 0*k - k = 5*j + 14, -3*j - 7 = o*k. Let p(l) = 75*l**2 + l. Is p(k) a multiple of 7?
False
Suppose 171 = -5*u + 941. Suppose 5*f = m - 46, -4*m - 3*f + u = -8*f. Is 4 a factor of m?
True
Let g(w) = 8*w**2 - 5*w - 42. Let b be g(8). Suppose f = 4*o - 3*o - b, -2*f + 1732 = 4*o. Does 27 divide o?
True
Suppose -722 = -b + 255. Suppose 0 = 3*d + c - b, 3*d - 368 = 2*c + 621. Is 42 a factor of d?
False
Let y(h) = 6*h**3 + 184*h**2 + 98*h + 11. Is y(-29) a multiple of 4?
False
Suppose 2*r - r - 89 = 0. Let n = r - 75. Is 3 a factor of n?
False
Suppose -g - 42 = -15*g. Suppose -12*q = -9*q - g, -3*t - 4*q = 