e b = -y*x + 19, 2*b + 2*b + 3*x = 49. Does 10 divide b?
True
Let g(b) = 89*b**2 - 3*b + 25107. Is g(0) a multiple of 48?
False
Suppose 0 = o - 4*x - 5608, 4*x + 6540 + 10300 = 3*o. Suppose 0 = 4*w + 8*w - o. Is w a multiple of 12?
True
Is 13 a factor of 3983 - ((2 - -10) + -7)?
True
Let c = -35546 + 55184. Is c a multiple of 18?
True
Let n(g) = g**3 - 22*g**2 + 41*g + 28. Let l be n(22). Let z = l + -335. Is 85 a factor of z?
True
Let b = -216 + 175. Is b/(-123)*5169/1 a multiple of 59?
False
Let c be (-8)/2*20/(-16). Suppose 0 = n + 2*z + 6, -5*n = -4*z - c - 21. Does 6 divide ((-5)/n + -1)*84/(-49)?
True
Suppose 3*s + 4*j = j + 66, 2*j = -4. Let w(x) = x**2 - 25*x + 30. Let d be w(s). Is 20 a factor of 2/4 + 681/d?
False
Let u(s) = 966*s**3 - 50*s + 51. Is u(1) a multiple of 6?
False
Suppose 5*r = f + 103, -2*r - 2*r + 5*f + 95 = 0. Let g(c) be the first derivative of 2*c**3/3 - 19*c**2 + 14*c + 679. Is g(r) a multiple of 20?
False
Suppose 169913 = 5*m + 4*c, m + 6023 - 39932 = -10*c. Does 41 divide m?
True
Let o(a) = -81*a**3 - 26*a**2 - 69*a - 10. Is 25 a factor of o(-3)?
True
Let s(u) = -855*u**3 + 36*u**2 + 68*u. Is s(-2) a multiple of 7?
False
Let v(i) = -i**2 - 3*i + 5. Let k be v(0). Suppose -15 = -k*a + 2*a. Is 0*a/10 - -198 a multiple of 18?
True
Let c(a) = 2830*a - 25. Is c(1) a multiple of 55?
True
Let n = 1173 + 280. Let a = -769 + n. Is 57 a factor of a?
True
Suppose 3294225 = 246*w + 278511. Does 13 divide w?
True
Let s(l) = l**3 - 2*l**2 + 16. Let f be s(0). Suppose 0 = 4*q - f - 4. Suppose 4*i - 4*m = 3*i + 54, -q*m = -5*i + 300. Does 8 divide i?
False
Let k = 15731 - 3327. Does 65 divide k?
False
Let j(f) = 0*f + 8*f**2 - 56 - 8*f**3 - 8*f**3 - 5*f + 15*f**3. Let o be j(-6). Let u = o - 192. Does 26 divide u?
True
Let w = -54 + 38. Let o = -19 - w. Is 33 a factor of (-2 - o)/(7/462)?
True
Suppose -25 = 12*z - 13, 4*p = 4*z + 1796. Is p a multiple of 8?
True
Let h(v) be the first derivative of 3*v**2/2 + 97*v + 32. Is 8 a factor of h(-27)?
True
Suppose -2*r + 6*r + 12 = 3*n, 5*r + 20 = 5*n. Suppose 2*j - 1430 - 86 = 3*u, 2*j + n*u = 1502. Does 11 divide j?
False
Suppose y - 2*d = 44, -15*y + 5*d = -17*y + 88. Is (-3)/(-2) + 25586/y a multiple of 63?
False
Let v(z) = 5 + 2 - z**3 + 0*z**2 - 12*z + 14*z**2. Let l be v(13). Suppose m = 80 - l. Is 15 a factor of m?
True
Let c = -1 + -1. Let r(y) = -16*y - 6. Let m be r(c). Suppose -m = -4*f + 5*i + 50, -3*i = 4*f - 76. Is 4 a factor of f?
False
Let n(l) = -4*l**3 - 30*l**2 - 31*l + 105. Is 270 a factor of n(-21)?
True
Suppose -152*j + 57376 = -150*j + 5*i, -4*j + 114784 = 2*i. Is 18 a factor of j?
False
Is 42 - -12 - (0 + 2) a multiple of 26?
True
Is 66 a factor of ((-93)/(-6))/(26 - (-9870)/(-380))?
False
Suppose 3*p - 3*t - 6205 = -2266, -5*p + 2*t + 6556 = 0. Is 5 a factor of p?
True
Let d(p) = p**3 + 11*p**2 + 8*p - 14. Suppose y + 52 = -5*r, -12*r = -8*r + 5*y + 50. Is d(r) a multiple of 2?
True
Suppose 2628 = 2*q - 5*r, -7*q - 3*r = -8*q + 1313. Is 22 a factor of q?
False
Let c(y) be the second derivative of -y**5/20 + 5*y**4/4 - 5*y**3/3 + 33*y**2/2 + 246*y. Does 5 divide c(6)?
False
Suppose 0 = 5*v - 4*i - 2, 2*i + 2 = 4*v - i. Suppose 3*j = -v*j - 40. Let k(b) = -b**3 - 7*b**2 - 9*b + 19. Does 13 divide k(j)?
False
Let l(t) = -2*t**2 - 46*t - 39. Let c be l(-22). Suppose -c*x + 115 = -185. Does 20 divide x?
True
Suppose 2*g = -3*t + 18034, -g + 4183 = 4*t - 4829. Is g a multiple of 22?
True
Suppose -2*q + 0*q = -2*a + 28, 5*q + 4 = -a. Let i be a/(33/12) - 14. Is 2 a factor of ((-4)/i)/((-2)/60*-1)?
True
Let t(y) = y**3 - y + 1. Let v(m) = 7*m**3 - 2*m**2 + 2*m + 16. Let l(s) = 6*t(s) - v(s). Let i be l(-5). Let o = i - 112. Is 20 a factor of o?
False
Let x(m) = 3*m - 7. Let f be x(5). Let a be (8 + -3)*-8*(-14)/(-56). Does 4 divide (f/a)/(3/(-15))?
True
Suppose 35*s + 4 = 36*s. Suppose s*c - 41 = -a, 0 = -3*c + 4*c - a - 14. Is c a multiple of 4?
False
Let i be -2*37*(-110)/44. Suppose -49*b + 50*b = i. Is b a multiple of 5?
True
Suppose -3*z + 16 = -4*i + 5, -5*i - 5*z - 40 = 0. Let x = 303 - i. Is x a multiple of 14?
True
Suppose 127*h - 119*h + 48 = 0. Let m(w) = 8*w**2 + 5*w + 41. Does 44 divide m(h)?
False
Suppose -4*j = 1701 + 799. Let b = -576 - j. Is 7 a factor of b?
True
Let a(o) be the third derivative of o**6/120 + o**5/30 - o**4/24 - 17*o**3/6 - 31*o**2. Is 16 a factor of a(4)?
False
Suppose -153 = -4*d - 121. Let l(j) be the second derivative of -j**4/12 + 2*j**3 - j**2 + 2*j. Is l(d) a multiple of 3?
True
Let t = -2 - 0. Let v be (3*-16)/t*4/8. Let p(y) = -y**2 + 14*y + 4. Does 7 divide p(v)?
True
Suppose 235 = -2*i - 3*i. Let b = i - -66. Let u(k) = -k**2 + 27*k - 45. Is 15 a factor of u(b)?
False
Let z be (-7)/(-14)*0/(-3). Suppose z = -5*y + 3*y - 10. Does 8 divide (-57)/(-95) - 187/y?
False
Suppose -5*f + 15 = -2*a, 2*f = 7*f + 2*a - 35. Suppose f*q + 4*p - 153 = 0, -q + 21 = -8*p + 4*p. Is q a multiple of 6?
False
Let w be (-3 + 1)*(1 - -7). Let l be w/(-2) + (3 - 2). Suppose l*t - 270 = 189. Does 17 divide t?
True
Let d be (-3)/(0 + 3) - -185. Let x = 27 + -148. Let m = x + d. Is 32 a factor of m?
False
Let g be 30/(-45) + 779/3. Is 3 + -1 + 15 + g a multiple of 69?
True
Suppose -29 = -3*d + 5*f - 0*f, 4*f + 25 = 3*d. Suppose 0 = 5*q + 2*v - 166 - 26, 5*q - 193 = -d*v. Does 12 divide q?
False
Suppose -2*d = 3*l - 22, -2*l = 5*d - 0*d - 33. Let b be (9/(-2))/((-3)/(-162)). Is (l/(-6))/(6/b) a multiple of 9?
True
Is 1*-19*(-406 + (10 - 7)) a multiple of 247?
True
Let h(l) = 11 + 0*l**2 - 744*l**3 + 6 + 9*l**2 - 8*l + 745*l**3. Let r be h(-10). Does 27 divide (-2)/r - (-4280)/24?
False
Suppose -2*k + 54 = q, 2*q - 3*k - 80 = 42. Let r = q - 43. Suppose -3*y + 4*u = r - 347, 0 = 3*y + u - 307. Is 8 a factor of y?
True
Let x = 106 + -114. Let w(s) be the second derivative of s**4/6 + 5*s**3/6 + 2*s**2 + 2*s. Does 15 divide w(x)?
False
Suppose n - 5*r + 113 - 337 = 0, -3*n + 2*r + 607 = 0. Let j be ((-1)/1)/(200/n - 1). Let o = 9 - j. Does 26 divide o?
True
Is -9*(-12)/(-108)*-50999 a multiple of 22?
False
Let v be (-14 + -1)*(-5 - 4). Let n be (5 + -11)*696/(-18). Let t = n - v. Does 18 divide t?
False
Let o be 2 + (-346 - -5) - (1 + -4). Let y = o - -439. Is 17 a factor of y?
False
Let x(j) = 14*j**2 + 7*j - 300. Does 25 divide x(-13)?
True
Suppose -q - z = 1, 3*q - 2*z = -2*q + 16. Suppose -137 = -q*g + h, 5*g + 31 - 368 = -3*h. Suppose b = -1, 4*b + g = 2*c - 0*c. Is c a multiple of 6?
False
Let b(n) = -n**2 - 18*n - 10. Let r be b(-18). Does 7 divide (-7)/(r - -3)*(-1173)/(-3)?
False
Let q(u) = u**2 + 10*u + 18. Let y be q(-7). Let j(s) = -4*s**3 + s + 3. Is j(y) a multiple of 27?
True
Suppose 101 = 5*p - 419. Let s = 80 + -96. Is 14 a factor of -2 + p - s/(-4)?
True
Suppose -26*u = -71948 - 10316. Is 37 a factor of u?
False
Let d = -28 - 49. Let k = d + 105. Suppose k = 2*c + 3*h, 19 + 23 = 3*c + 5*h. Is c a multiple of 4?
False
Let s(k) = -5*k - 38. Let l be (8/20)/((2 + -3)/(-85)). Let b = -50 + l. Is s(b) a multiple of 20?
False
Does 3 divide 4078 + -13 + 15 - -4?
False
Let t(k) = 40*k**3 - 4*k**2 + 177*k - 877. Is 6 a factor of t(5)?
True
Let v(k) = k**2 - 8*k - 1. Let s be v(1). Does 13 divide (2 + -4)*(0 + 292/s)?
False
Let r = 337 + -334. Suppose -r*p - 4*g + 82 - 8 = 0, 0 = 4*p + 4*g - 104. Is 30 a factor of p?
True
Let m be (-8)/20 + (-9736)/(-40). Let h = 371 - m. Is 2 a factor of h?
True
Let t(f) = f**2 - 2*f - 8. Let y(d) = -d**2 + d + 6. Let q(h) = 3*t(h) + 2*y(h). Is q(24) a multiple of 18?
True
Let r(y) = y + 13. Let c be r(-37). Let w(b) = -2*b**3 - 46*b**2 + 22*b - 63. Is 11 a factor of w(c)?
True
Let q be ((-2)/2 - -9) + 0 + 2. Suppose -3*p = -q*w + 6*w + 2276, -w + 580 = 2*p. Is 11 a factor of w?
True
Let j(k) = 693*k**2 + 86*k - 23. Does 121 divide j(-8)?
False
Suppose 4*v + 328 = 10*r - 6*r, -v - r = 86. Let k be 2/(-1)*(-339)/6. Let s = v + k. Is s a multiple of 20?
False
Let k(m) = -6*m + 219. Let c be k(49). Is 2 a factor of (90/c)/((-3)/370)?
True
Let u = -1697 + 2227. Is 3 a factor of u?
False
Let s be 44/3 + 24/(-36). Let f be (-6)/1*(37 - s). Let l = f + 196. Is l a multiple of 29?
True
Let h be (16/(-24))/((-4)/(-18) + 0). Does 33 divide -3 + h - (-468 + 0)?
True
Suppose 4*f - 24 = 2*z, -3*f = 2*z + 3*z - 18. Suppos