rue
Suppose 0 = -14*b + 714 - 196. Is 3 a factor of b?
False
Let h(c) be the third derivative of c**5/12 + c**3/2 - 3*c**2. Let z = 24 - 28. Is 20 a factor of h(z)?
False
Suppose 2*r - 485 = a, -29 + 14 = 3*a. Is 8 a factor of r?
True
Suppose 5 = -4*l + 21. Suppose 5*v = -5*s + 260, -2*s - l*v + 96 = -0*s. Is 10 a factor of s?
False
Suppose w + 42 + 8 = 0. Let t = -526 - -518. Is 4 - (w + t/(-2)) a multiple of 10?
True
Is (-18)/(-135) - (-568)/15 a multiple of 3?
False
Does 16 divide -1 + 2919/4 + 114/(-152)?
False
Let u(g) be the first derivative of 5*g**2 + 1/3*g**3 + 5 - 20*g. Is u(-14) a multiple of 12?
True
Let m = -24 - -27. Suppose -4*r = m*q - 478, r = 3*q - 2*q + 116. Does 11 divide r?
False
Let q(i) = -18*i - 3. Let z be q(-1). Let g = z + 40. Is g a multiple of 8?
False
Suppose -88*k = -67*k - 18942. Does 11 divide k?
True
Let t = 144 - -132. Is t a multiple of 6?
True
Suppose -15*j = -13*j + 4*n - 3984, 2*n - 3990 = -2*j. Is 12 a factor of j?
False
Suppose 3*t - m = 11, -5*m + 30 = 2*t - 0*m. Suppose -6 = -3*h, 108 = t*i - 4*h + 8*h. Does 3 divide i?
False
Suppose -u - 3*x = -109 - 292, -25 = 5*x. Does 13 divide u?
True
Let z be 96/6 - (3 - 4). Let j = 21 - z. Suppose 2*p + a = 73, 16 = j*p - 4*a - 124. Is p a multiple of 6?
True
Let i = 2016 - 1196. Does 41 divide i?
True
Let x be 0 + -15*((-2)/6 - 1). Let l = 23 - x. Is 2 a factor of l?
False
Let d(y) be the third derivative of y**5/6 - y**4/8 - 7*y**3/6 - 19*y**2. Is d(-3) a multiple of 12?
False
Let m(b) = 7 + 17*b - 5 - 15*b + 19. Does 9 divide m(0)?
False
Suppose 5*j = 3*w + 1146, 3*j - 5*w = -3*w + 688. Does 12 divide j?
True
Let n(s) = 8*s**2 - 4*s + 3. Let f(a) = 2*a**2 - 10*a + 9. Let z be f(4). Is 2 a factor of n(z)?
False
Let u(p) = -34*p - 958. Does 97 divide u(-42)?
False
Suppose 0 = -2*z - 20. Let a = 12 + z. Suppose -148 = -3*t + 2*p, -p - 102 = -a*t - 2. Is 16 a factor of t?
False
Let i(v) = 2*v + 6. Let n be i(-4). Let g be n/(-5)*32*5. Suppose a = -3*a + g. Is 15 a factor of a?
False
Let z(r) = -22*r**3 - 4*r**2 + 2*r. Is z(-2) a multiple of 52?
True
Let i(l) = l**2 + 13*l + 23. Let z be i(-11). Is 29 a factor of (((-810)/(-4))/9)/(z/2)?
False
Let k = 2018 + -1948. Does 2 divide k?
True
Is (6/7)/((-4)/(-5264)*6) a multiple of 4?
True
Let q(i) = -i + 6*i**2 - 5*i**2 + 2*i**2. Let f be q(-1). Suppose -f*l + 22 = -4*b - 34, -4*l - 3*b = -91. Is l a multiple of 18?
False
Let j(s) = 12*s**2 + 22*s + 99. Is 28 a factor of j(-14)?
False
Suppose -3804 = -4*o + o. Suppose -o + 458 = -15*n. Is n a multiple of 9?
True
Suppose -10 = -2*i - 0. Let k be -66*(i + -8 + 4). Let t = k + 93. Is 16 a factor of t?
False
Suppose 456 + 646 = g. Is g a multiple of 29?
True
Let r(i) = -36*i - 24. Is r(-4) a multiple of 40?
True
Let w = 61 - -48. Does 5 divide w?
False
Let h(r) = r**3 + 12*r**2 + 10*r - 8. Let k be h(-11). Let j be 2 - (-2)/(-3)*k. Suppose -12 = -2*b - j*b. Does 3 divide b?
True
Let p(o) be the first derivative of o**5/12 + o**4/24 + o**3/2 + 2*o**2 - 1. Let d(n) be the second derivative of p(n). Does 14 divide d(-3)?
False
Is (5579/(-21))/(-1) + 2/(-3) a multiple of 8?
False
Let z be (-18)/(-27)*(-13 - -1). Let g(p) = 0*p - 6*p - 8 + 2 - 5*p - p**2. Is g(z) a multiple of 7?
False
Let l = -3 - -7. Suppose l*a = -a + 250. Does 25 divide a?
True
Let p(i) = i**3 - 10*i**2 + i - 13. Suppose 3*v + 2 - 11 = 0, -2*w = -v - 17. Let r be p(w). Does 15 divide -60*(3/2)/r?
True
Is ((-1794)/(-24))/(12/144) a multiple of 13?
True
Let q(w) = -w. Let r be q(-11). Suppose 0 = 5*z + r + 9, 5*z = 5*n - 295. Is 27 a factor of n?
False
Let r(a) be the third derivative of a**6/120 - a**5/6 - 5*a**4/24 - 11*a**3/6 + 9*a**2. Is r(11) a multiple of 11?
True
Let o = -221 + 341. Suppose o = 3*n + 51. Suppose -b = -1, -2*c - n = -3*c + 2*b. Is 14 a factor of c?
False
Let v = 5550 - 2862. Is 14 a factor of v?
True
Let q(y) = -3 - 3 - y**3 + 7*y**2 + 8*y + 6 - 2. Let x be q(8). Is (-6 - x)*(-3 - 1) a multiple of 8?
True
Suppose 22 = 5*o + 2, -2*o = 5*w - 1853. Let r be ((-4)/6)/(6/w). Let n = r + 80. Is n a multiple of 18?
False
Let q = -4 - -7. Let u(d) = d**3 - 4*d**2 + 4*d - 4. Let y be u(q). Let b = y - -7. Is 3 a factor of b?
True
Let m = 538 + -402. Is m a multiple of 17?
True
Let d(r) = 184*r - 10. Does 11 divide d(4)?
True
Let u = 77 - 119. Let o = u + 60. Does 3 divide o?
True
Is (7/4)/((-10)/(-240)) a multiple of 42?
True
Let u = 94 - 53. Suppose -3*n + 2*s - s + u = 0, -55 = -5*n - s. Suppose 3*r - 2*r - n = 0. Does 4 divide r?
True
Let x(v) = 12*v**2 + 4*v + 6. Does 28 divide x(7)?
False
Suppose -689 = -5*b - 174. Is 3 a factor of b?
False
Suppose -16464 - 28491 = -37*d. Is 15 a factor of d?
True
Suppose 3*c - 34 = -3*x - x, 4*c - 5*x = 4. Let o(y) = 34*y + 1. Let p be o(-1). Does 4 divide (p/(-22))/(c/16)?
True
Let m(x) = -x**3 + 2*x. Let p be m(-2). Suppose z = -p*z - 30. Let w(v) = -v**2 - 9*v - 1. Does 17 divide w(z)?
True
Does 20 divide (1 - -5)*250/3?
True
Let p(i) be the second derivative of -4*i + 13/6*i**3 - 13/12*i**4 + 0 + 1/20*i**5 + 9/2*i**2. Is p(12) a multiple of 7?
True
Suppose -o + 57 = 5*t, t - 2*t = -o - 15. Is 4 a factor of t?
True
Let q be 1 + 60 + 2 + -4. Suppose -2*g = -q + 1. Is g a multiple of 5?
False
Suppose -4*b = -5*b. Let g be b/(-1) - 1 - -143. Suppose -3*x - 6*m + g = -m, 5*m + 34 = x. Does 14 divide x?
False
Suppose 0 = -4*h + 11 - 3. Suppose a - 966 = u - 6*u, 0 = h*u - 4*a - 382. Does 18 divide u?
False
Let f be (3 - (2 - -1)) + 130/2. Let z = f - 43. Is z a multiple of 11?
True
Let g(c) = -32*c**2 + 7*c + 6. Suppose -17 = x - 10. Let j(l) = -11*l**2 + 2*l + 2. Let w(z) = x*j(z) + 2*g(z). Does 10 divide w(2)?
True
Does 26 divide (-15)/2*(-62868)/310?
False
Let h be (-3)/(12/40*1). Is 20 a factor of 24/(-40) - 606/h?
True
Let g = -15 + 25. Is 34 a factor of ((-1)/(-2))/(g/2580)?
False
Let h(r) = -4 + 2*r + 1 + 4 + 5*r. Let n be h(-1). Is (-12)/8*8/n a multiple of 2?
True
Suppose 200 = -2*a - 364. Let c = 401 + a. Is c a multiple of 38?
False
Suppose -g + 7 = 2*j, 2*g - 5*j = -j - 2. Let y = 72 + -48. Suppose -g*m = -2*m - y. Does 12 divide m?
True
Suppose 0 = -2*o - 2*c + 636, 4*o = 2*c + c + 1279. Is o a multiple of 11?
True
Let h(y) = y**3 + 10*y**2 - y - 5. Let b be h(-10). Suppose b*i + 15 = -5*d, 4*i = -3*d - 7 - 7. Suppose -12 = -z - d*v, 4*z - 29 = v + 19. Is 12 a factor of z?
True
Suppose -314 - 118 = -4*z. Suppose -3*a + 6*a - 162 = -4*v, 2*a - 4*v = z. Is 7 a factor of a?
False
Suppose -96 = -b - 4*w, -5*b + 9*w = 7*w - 590. Is b a multiple of 6?
False
Is 20 a factor of 5 - -734 - -10 - (-4 - 0)?
False
Suppose 3*g - 5*p = -3, -4*g = -7*g - p + 15. Let y = 0 + g. Suppose 2*o - 12 = 4*c, o - 2 = -3*c + y. Is o a multiple of 6?
True
Let m(p) = -3*p**2 + 2*p**3 + 4 - p**3 - 6 + 3 + 5. Let a = 1 - -4. Is 13 a factor of m(a)?
False
Let c(m) = 604*m**2 - 5*m + 6. Is 55 a factor of c(1)?
True
Let r = -92 + 22. Let d = -133 - r. Is d/6*(-4)/6 a multiple of 6?
False
Suppose i = -73 + 493. Suppose -8*s = -3*s - i. Is 20 a factor of s?
False
Suppose -71 = -4*j - 59. Suppose -3*a = -3, j*c + 0*a - 71 = 4*a. Is 25 a factor of c?
True
Let s = -525 + 3041. Is s a multiple of 17?
True
Let h(k) = k**3 + 9*k**2 - 2*k - 6. Let g = -3 + 10. Let c = g - 16. Does 12 divide h(c)?
True
Let d(z) = -z**2 - 11*z - 18. Let x be d(-9). Suppose 4*g + 652 = 3*l, l - 217 = g - x*g. Is l a multiple of 54?
True
Let u = 48 - 232. Let l = u + 272. Is 11 a factor of l?
True
Suppose -3*p - 4*a = -797, -534 + 0 = -2*p - 2*a. Is 12 a factor of p?
False
Let x = 23 + -19. Suppose -6 = x*o - 78. Is 16 a factor of o?
False
Let w(b) = -b**3 - 7*b**2 - 21*b - 102. Does 10 divide w(-8)?
True
Let n(k) = -k**2 + 8*k + 597. Is 39 a factor of n(0)?
False
Let t(b) be the second derivative of -b**3/6 + 5*b**2/2 + 3*b. Is t(-14) a multiple of 6?
False
Suppose 4*d + 10 - 274 = 0. Suppose -3*u + d + 39 = 0. Is 10 a factor of u?
False
Let d(o) = -o**3 + o. Let c be d(2). Let w(p) = 4*p**2 + 8*p + 9. Is 15 a factor of w(c)?
True
Let o(c) = -6*c**3 + 6*c**2 + 11*c + 7. Let s(t) = -5*t**3 + 6*t**2 + 10*t + 7. Let z(p) = -6*o(p) + 7*s(p). Let b = -7 + 2. Is 12 a factor of z(b)?
True
Let q(p) = 33*p - 378. Is 16 a factor of q(14)?
False
Let w = -13 - -48. Is 11 a factor of w?
False
Let p = 562 - 493. I