w = v + -7. Does 38 divide w?
True
Let i = -52 + 34. Let o = 16 + i. Is 14 a factor of 54*(-2)/o - 2?
False
Let v(f) = -f**2. Let c(w) = -8*w**2 - 11*w - 3. Let d(z) = c(z) - 6*v(z). Let x be d(-9). Let y = -27 - x. Is 13 a factor of y?
True
Suppose -5*p - 5*m + 6615 = 0, -197*p + 5*m + 1311 = -196*p. Is p a multiple of 18?
False
Let w(h) = -30*h**3 - 2*h**2 - 10*h - 22. Does 8 divide w(-3)?
True
Suppose -3*p + 4*p + 18 = 0. Let w = p - -164. Is 17 a factor of w?
False
Let l = 6 + -19. Let z = -2 - l. Suppose -3*o + z = -16. Is 9 a factor of o?
True
Suppose 950 = 2*w + 328. Suppose 3*t + 71 = w. Does 14 divide t?
False
Let m = 2496 - -1350. Is m a multiple of 19?
False
Let z(d) = -d**3 - 6*d**2 - 3*d + 9. Let h be z(-8). Suppose -3*l + 1 = -h. Let c = -33 + l. Is c a multiple of 11?
False
Suppose p + 0*p + 1 = 0, -3*p + 72 = 5*t. Does 13 divide 220/t*(-15)/(-2)?
False
Let z = 29 - 18. Suppose y = -16 - z. Let k = 17 - y. Does 13 divide k?
False
Let j(s) = 5*s**3 - 15*s**2 + 10*s + 14. Let n(t) = t**3 - t**2 + 1. Let i(q) = -j(q) + 4*n(q). Is 29 a factor of i(9)?
False
Does 31 divide ((-1108)/((-8)/(-2)))/(-9 + 8)?
False
Let z be ((-192)/56)/((-1)/7). Suppose 0 = z*t - 23*t - 226. Is t a multiple of 10?
False
Suppose 0 = 15*b - 728 - 772. Is 8 a factor of b?
False
Suppose -k = -3*v - 376, -3*k + 255 = -2*v + 2*k. Let f = -2 - v. Does 41 divide f?
True
Suppose 5*q - 3*q = 0. Suppose 5*r - 11 - 69 = q. Is r a multiple of 4?
True
Let g(q) = 3*q**2 - 23*q - 110. Is g(27) a multiple of 70?
False
Suppose 125 = 7*h + 13. Does 7 divide h?
False
Let o be (-4)/((-7)/(4074/(-4))). Let z be (o/8)/((-15)/40). Suppose z = 4*a - 102. Is a a multiple of 37?
True
Let b = 11 - 10. Suppose 0 = m - 5 - b. Is 4/6*m + 76 a multiple of 20?
True
Let h(y) = -3730*y**3 + 2*y**2 + 11*y + 8. Does 11 divide h(-1)?
True
Suppose -54 = 3*y - 4*x, -9 = -4*x + 3. Let l = -105 + 50. Let p = y - l. Does 16 divide p?
False
Let u(c) = -50*c + 34*c + 30*c + 28 + 0*c**2 + c**2. Is u(-16) a multiple of 6?
True
Let h = -3 - -3. Suppose h = 4*o + o. Suppose o*y = -y + 8. Does 6 divide y?
False
Let n = -16 + 17. Let r be (-2)/(-6)*12*n. Suppose -j + r*j = 21. Does 6 divide j?
False
Let g = 29 - -174. Suppose 4*u - 50 = -n, -5*n + 578 = -5*u + g. Suppose 5*b = 2*s + 290, 2*b = -4*s + 70 + n. Does 20 divide b?
True
Let h(d) = 0 + 26*d**2 + 1 + 21*d**2 + 88*d**2. Is 42 a factor of h(1)?
False
Suppose 6 = 12*b - 10*b. Suppose -x = 2*a - 441, 431 = -a + b*a + 3*x. Does 16 divide a?
False
Let b be 99/((-21)/(-6) - 3). Suppose 250 = u + 3*u + 2*h, -b = -3*u - 5*h. Suppose -2*o - 13 = -u. Does 10 divide o?
False
Let d(s) = 115*s**2 + 19*s - 96. Is d(6) a multiple of 14?
True
Suppose -49 = -2*t + 5*m, 3*t - 3*m - 80 - 7 = 0. Let u = 29 - t. Does 13 divide (-6)/((-6)/u) + 19?
False
Let j(u) = u**3 + 7*u**2 - u + 1. Let y be j(-7). Let v be ((-798)/y)/((-3)/8). Is v/4 - 3/(-6) a multiple of 22?
False
Let c = 12 - -22. Let r(k) = k - 6*k**2 - k + c + 5*k**2. Does 15 divide r(0)?
False
Let h(b) = -10*b - 1. Let o be h(-8). Suppose -5*g + 16 + o = 0. Is 13 a factor of g?
False
Let y = 448 + 0. Is y a multiple of 56?
True
Let k = 161 - 161. Let r(n) = 2*n**3 - 4*n**2 + 2*n - 4. Let v be r(3). Suppose k = -o - 0*o + v. Is 9 a factor of o?
False
Suppose 5*y + 5*l = -6 - 34, 5*y + 2*l = -52. Let p = -19 + 37. Is 32 a factor of (0 - 32)*p/y?
False
Suppose -2*u = -7*u - 225. Is 4 a factor of 7 - (27/u)/(2/10)?
False
Suppose 3*r = 3, -4*l + 6*r - r + 7 = 0. Let h = -3 + l. Suppose -5*s + 101 - 21 = h. Is s a multiple of 8?
True
Let r(v) = -v**2 + 8*v - 2. Let y(g) = -g**2 + 9*g - 2. Let p(o) = -6*r(o) + 5*y(o). Is p(5) even?
True
Suppose -2*r + 477 = x, -7*r + 4*r + 2*x + 726 = 0. Is r a multiple of 5?
True
Let u(o) = 8*o**2 + 4*o + 5. Let w(k) = k**2 + k + 1. Let l(q) = u(q) - 6*w(q). Let z be l(2). Suppose -6*r - z = -15. Is 2 a factor of r?
True
Let v(y) be the second derivative of y**8/1344 + y**7/1260 + y**6/360 - y**5/60 + y**4/4 + 4*y. Let l(q) be the third derivative of v(q). Does 25 divide l(2)?
True
Suppose 10865 = -28*w + 33*w. Does 20 divide w?
False
Let f(t) = -t**2 - 4*t + 15. Let d be f(-6). Suppose -d*o = -5 - 28. Is 5 a factor of o?
False
Let m(i) = -45*i**2 + 39*i**2 + 2*i**3 - 1 + 7*i - 1. Is m(5) a multiple of 31?
False
Suppose 0 = -3*d + z - 696 + 161, -2*d + 4*z = 340. Let i = 600 + d. Suppose 0 = 2*q - 16 + 6, -q - i = -5*u. Is u a multiple of 17?
True
Let u = 7 + -8. Let w be 4*21/(-112)*(-23 + -1). Is 16 a factor of 12 + w + (1 - u)?
True
Let o = -1486 + 2319. Is 7 a factor of o?
True
Suppose 17328 = 11*l + 8*l. Is l a multiple of 57?
True
Suppose -25*c + 36504 = c. Does 36 divide c?
True
Let j = -27 + 30. Suppose j*s - 3*o - 198 = 0, -o + 78 + 171 = 4*s. Is 9 a factor of s?
True
Let q(f) = -4*f**3 + 2*f - 2. Let z be q(3). Does 13 divide (15/(-5))/(6/z)?
True
Let z(q) = 2*q + 1. Let o be z(2). Suppose 47 = 2*f + o*s + 4, -3*f - 4*s + 68 = 0. Suppose -7*u + 11*u - f = 0. Is u a multiple of 3?
True
Suppose -2*x + 754 = 5*k + 270, 3*k + x = 290. Let m = -56 + k. Is 20 a factor of m?
True
Let b be 131/(-2) - ((-28)/8)/(-7). Let g = 90 - b. Is 15 a factor of g?
False
Suppose 12 - 4 = 3*p + 2*m, -m + 4 = 0. Suppose -n + 3*n = p. Let q(b) = -b**2 + b + 21. Does 21 divide q(n)?
True
Suppose 9*s - 6*s + 18 = 0. Is 10 a factor of ((-1)/s)/((-3)/(-1422))?
False
Suppose -2*f = -2*v + 6, -1 = f + 4. Let k be v + 0 - (3 - 0). Is (4 - 28/5)*k even?
True
Let s(f) = -8*f**3 + 1. Let l be s(-1). Let r = 26 - l. Is r a multiple of 17?
True
Suppose 0 = 6*o + 552 - 2262. Let a = 457 - o. Is a a multiple of 11?
False
Let l = -102 + 176. Let a = -52 + l. Is 17 a factor of a?
False
Let m be (2 - 1)/(1/(-11)). Let n = -9 - m. Does 34 divide n + 132/((-8)/(-4))?
True
Let l(f) = 289*f**3 - 5*f + 4. Is 18 a factor of l(1)?
True
Let n(p) = -p**2 + 6*p - 3. Let i be n(6). Let l(h) = -24*h - 4 - 18*h + 23*h - 6*h. Is 14 a factor of l(i)?
False
Let h = 36 + -28. Let m(u) = 6*u + 5. Let o be m(h). Suppose 3*g = -5*c + 474, c + 3*g = o + 37. Is c a multiple of 19?
False
Let f be 6 + -3 - 0 - -1. Suppose -3*v - 4*z + 142 = -163, 395 = f*v + 3*z. Suppose -20 = -5*l + v. Is l a multiple of 6?
False
Let y be 1/(-3)*3 - -4. Suppose -7*o + y*o + 8 = 0. Suppose q - 3*r = 2*q - 26, -r - 38 = -o*q. Is 5 a factor of q?
True
Let r(m) = m**3 - 20*m**2 + 40*m + 34. Is 21 a factor of r(18)?
False
Suppose 70120 = 50*s + 20470. Does 13 divide s?
False
Suppose -3*c = -3*r + 408, -5*r + 633 = 3*c - 39. Is r a multiple of 41?
False
Let v(i) = -122*i**3 - 2*i**2 + 2. Suppose k - 3*k + 2*r - 4 = 0, 2*k - 2 = -4*r. Is v(k) a multiple of 61?
True
Suppose -y + 3*z = 12, 3*z - 16 = -3*y - z. Let a(q) = -q**2 + 2*q + 80. Is 10 a factor of a(y)?
True
Let u(o) = o - 3. Let r be u(5). Suppose -5*b + r*b = 0. Let t(y) = -y**3 + y**2 + y + 39. Is t(b) a multiple of 14?
False
Suppose 0 = 3*t - 4*o - 410, 9*t - 4*o + 240 = 11*t. Is t a multiple of 10?
True
Let p(s) = -s**3 + s**2 - 8*s - 14. Is 19 a factor of p(-6)?
False
Let q(r) = r**2 - r - 6. Let h be q(3). Let y(o) = o + 63. Is y(h) a multiple of 7?
True
Is (-445240)/(-560) - 1/14 a multiple of 6?
False
Let x(c) = -47*c**2 + 1. Let j be x(1). Let d = j + 64. Is d a multiple of 5?
False
Let r(o) = 3*o. Let c be r(1). Suppose 3*n - 292 = 5*a - 0*n, -100 = 2*a + c*n. Is a*2*(-1)/4 a multiple of 20?
False
Let a be 231/132 + (-1)/(-4)*1. Let u = 7 - a. Is u a multiple of 5?
True
Let m = -460 + 570. Is 55 a factor of m?
True
Let c(x) be the third derivative of x**4/24 + x**2. Let h be c(-4). Is 17 a factor of (-134)/h - (-2)/4?
True
Suppose 0 = -j, 2*v - 3*j = -0*j + 10. Let f = v - 8. Does 23 divide 0 + (26 - (0 - f))?
True
Let f(a) = a**2 + 8*a + 32. Suppose -80 = 14*k - 6*k. Is 26 a factor of f(k)?
True
Suppose 7*j + 317 = 2263. Does 33 divide j?
False
Let n(w) = 15*w**3 - 2*w**2 + w + 1. Let a = -91 - -93. Is 27 a factor of n(a)?
False
Let y = -48 - -1533. Is y a multiple of 14?
False
Suppose -149*n + 127*n = -81730. Is n a multiple of 20?
False
Let w = 3 + 2. Let p = -115 - -114. Is ((-36)/20)/(p/w) a multiple of 7?
False
Let f(b) = 11*b + 3. Let m be f(1). Suppose -m*t + 21 = -1057. Is t a multiple of 5?
False
Let w(r) = 3*r**2 + 102*r - 111. Is w(-36) a multiple of 5?
True
Suppose -i + 2