Let n(m) be the first derivative of m**4/4 + 3*m**3 - 7*m**2/2 + m + 51. Is 14 a factor of n(-5)?
False
Let w(f) = 19*f**2 + 9. Let i be ((-15)/(-6) + -2)/((-5)/(-40)). Is 14 a factor of w(i)?
False
Let o(b) = 36*b**2 - 3*b + 1. Suppose 4*z = 4 + 4. Is 10 a factor of o(z)?
False
Let w = 41 + 39. Does 4 divide w?
True
Suppose -9*b + 6*b = -168. Is ((-12)/(-1))/(12/b) a multiple of 14?
True
Let i(m) = -45*m - 9 + 83*m - 39*m + 23*m**2 + 3*m**2. Is i(3) a multiple of 37?
True
Suppose 101*l - 102*l + 1892 = a, -5*a + 3*l = -9420. Is 17 a factor of a?
True
Let f(i) = 2*i**3 + i**2 - 2*i + 6. Is 4 a factor of f(0)?
False
Let j(a) = a**2 - 7*a + 1. Let p be j(7). Let o be (p - -1)*6/3. Suppose o*n = 70 + 14. Does 7 divide n?
True
Is 753*(0 + 1) + 5 a multiple of 31?
False
Let q be ((-5)/(-2))/(3/126). Let h(c) = c - 72. Let m be h(19). Let g = q + m. Does 13 divide g?
True
Suppose -h + 42 - 12 = 5*t, -5*h - 2*t = -104. Suppose 25 = -19*p + h*p. Does 25 divide p?
True
Let c = 349 - 631. Let z = -117 - c. Is z a multiple of 17?
False
Let d be 0/(-6) - (-272)/(0 + 1). Let o = d + -156. Is o a multiple of 29?
True
Suppose 5*u - 40 = 5*a, -u + 2*a + 26 = 3*u. Let g be -4 - (u + -1)/(-4). Does 3 divide (-6)/g*-7*-1?
False
Let o = -292 + 562. Suppose -6*a + 10*a = -b + o, 3*b + 2*a - 760 = 0. Is 50 a factor of b?
True
Suppose 5171 + 3509 = 14*n. Is n a multiple of 20?
True
Suppose -2*z + 477 = 5*b - z, -91 = -b + 2*z. Does 15 divide b?
False
Let z = -26 + 31. Let a(m) = -m**3 + 6*m**2 - 5*m + 3. Let d be a(z). Suppose 0 = -f - k + 4*k + 25, -d*f + 5*k + 91 = 0. Does 9 divide f?
False
Suppose -3*f + 427 = 5*s, -f + 5*s + 21 = -128. Is 36 a factor of f?
True
Let f(a) = 4*a - 35. Let m be f(10). Suppose 0 = -m*i + 193 + 2. Is 5 a factor of i?
False
Let b = -47 - -34. Let x = 5 - b. Is 18 a factor of x?
True
Let q = -67 - -99. Is 4 a factor of (4 + -6)*q/(-4)?
True
Is 22 a factor of (-63 - -261)*(-1 - -3)?
True
Let t(d) = 19*d**2 - 4*d - 23. Let z be (4/4)/((-4)/12). Is t(z) a multiple of 14?
False
Suppose -w + 5*z + 19 = 2*z, -21 = -4*w + z. Suppose -12 = w*n, -l = 3*n - 50 - 13. Is l a multiple of 6?
True
Let x(m) be the second derivative of -3*m**5/20 - 5*m**4/12 - m**3/2 - 3*m**2/2 + m. Let q = -171 - -168. Is x(q) a multiple of 11?
False
Let z be (3 + 0)*49/(-3). Let j = z - -97. Is 12 a factor of j?
True
Let j = -60 - 106. Let y = j - -282. Does 29 divide y?
True
Let y = 9 - 7. Suppose 0 = y*d + 8 - 14. Suppose d*f + 13 = 49. Does 4 divide f?
True
Suppose 5*r + 0*r = 15. Suppose 0 = o - r*o - 242. Let z = -49 - o. Is 31 a factor of z?
False
Let w(m) be the third derivative of m**5/60 + 5*m**4/24 - 5*m**3/3 + 8*m**2. Let p be w(-6). Is 97 - -4 - p - 0 a multiple of 21?
True
Let f be 1/(2 - 0)*310. Let q = f + -95. Does 12 divide q?
True
Suppose 9*r = 14*r - 20, -1028 = -4*z - r. Is z a multiple of 32?
True
Suppose 0 = -3*m + 410 + 67. Let u = -51 + m. Does 27 divide u?
True
Let s(p) = -2*p**3 - 25*p**2 + p + 4. Is s(-13) a multiple of 24?
False
Suppose 0 = -60*x + 61*x + 4*a - 460, a + 1755 = 4*x. Is 55 a factor of x?
True
Let r = 634 + 52. Is r a multiple of 98?
True
Let d(u) = -2*u - 1. Let z be d(-3). Suppose s = 5, -2*w + 20 - z = 3*s. Suppose -6*q + 5*q + 66 = w. Is q a multiple of 22?
True
Let d(m) = 2*m + 20. Suppose 0 = -11*p + 14*p + 15. Is d(p) a multiple of 3?
False
Let n = 3 - 1. Let u(s) = -s**3 + 3*s**2 - 2. Let b be u(n). Suppose c + b*c = 207. Does 23 divide c?
True
Suppose 3*k = 436 + 356. Suppose -d = -5*d + k. Is d a multiple of 33?
True
Is 780 + -4 + 32/8 a multiple of 13?
True
Let z(r) = r**2 - 3*r - 2. Let s be z(-1). Suppose y - s = 3*y. Is 20 a factor of 2*(y + 118/4)?
False
Let q = -1053 - -1061. Is 8 a factor of q?
True
Let a be 4/(-14) - (-37)/7. Suppose 6*z = 31 + 11. Suppose -a*s = -z*s + 32. Is 4 a factor of s?
True
Let x(y) be the third derivative of -y**5/60 - y**4/12 + 77*y**3/6 - y**2. Is 20 a factor of x(0)?
False
Suppose 67 = -5*j + 392. Suppose k = -2*v + 2*k + 130, v + 3*k - j = 0. Is 22 a factor of v?
False
Let t = 2 + 8. Suppose 0 = 6*u - t*u + 60. Does 15 divide u?
True
Suppose 2*g = -2*g + 16. Suppose g*a = w - 71, -5*a + 3*w = -a + 77. Let l = a - -25. Is 7 a factor of l?
False
Suppose -9*b - 10 = -7*b. Let h be (-113)/(-5) - 2/b. Suppose -5*g + 12 = -h. Is 7 a factor of g?
True
Let x = -2 - -2. Let u be 1/(-9)*3 - (-16)/3. Suppose -60 = -u*v - 2*a, x = 2*v + 2*v + 4*a - 48. Is 4 a factor of v?
True
Suppose 3*n - 5 = 8*n. Let d(w) = -4*w**2 + 2*w + 1. Let u be d(n). Let f = u - -21. Is 8 a factor of f?
True
Suppose 30 = -3*v - 2*w + 135, 0 = 2*v - 3*w - 83. Suppose -o + 26 = -v. Let q = -36 + o. Is q a multiple of 22?
False
Let v(k) = -4*k - 5. Let j be v(-3). Suppose -l + j*l - 192 = 0. Is 16 a factor of l?
True
Let q = 292 - 192. Let x(j) = -31*j**3 + j**2 + 2*j + 2. Let g be x(-2). Suppose 4*b - g = -b + 5*c, -2*b = -c - q. Does 10 divide b?
True
Let y(h) be the first derivative of -h**4/4 - 16*h**3/3 + 8*h**2 - 17*h + 3. Let i be y(-17). Suppose 0 = -i*l - l - a + 50, -10 = 5*a. Does 12 divide l?
False
Let j(g) = 2*g**3 + 32*g**2 - 16*g - 41. Does 4 divide j(-15)?
False
Let m(s) = s**2 - 14*s + 44. Does 7 divide m(11)?
False
Let m = -486 - -1283. Suppose 3*t - 323 = 5*j + 142, m = 5*t - j. Is 15 a factor of t?
False
Let i be 3*(4 + -2 - -6). Suppose -2*h = 4*y - 26, -31 = -6*h + 4*h - 5*y. Suppose h*r = i + 84. Is r a multiple of 12?
True
Suppose 770 = -2*r - 858. Let g = 1185 + r. Suppose -4*q - u = q - g, -2*q + 4*u = -166. Is 15 a factor of q?
True
Let x be (-63)/(-18) - 2/4. Suppose x*n - 55 = 599. Does 26 divide n?
False
Let q = 18 + -16. Let w = 8 + -5. Suppose -2*y + 4*y - 25 = h, 27 = w*y + q*h. Is y a multiple of 11?
True
Suppose -4*m - 24 = 2*r, 0*r + 2*r + 3*m = -20. Let w(c) = -25*c - 16. Does 23 divide w(r)?
False
Suppose 55*m - 532 = 53*m. Does 6 divide m?
False
Suppose -i - 2*i - 1 = 2*g, -3*g = 15. Suppose -3*n - i*l - 192 = -8*n, -2*l - 8 = 0. Is n a multiple of 10?
False
Suppose 0*z - 51 = m + z, 207 = -4*m - 3*z. Let b = m + 77. Is b a multiple of 2?
False
Suppose -i = 5*f - 17, -2 = i + 1. Suppose 3*r = -5*c + 47, -2*r - 5*c - 48 = -f*r. Suppose h = r + 15. Does 17 divide h?
True
Let y(k) = -73*k + 61. Does 47 divide y(-6)?
False
Let t(w) = -304*w - 37. Is t(-2) a multiple of 11?
False
Suppose 4*x - 2*q = q + 1249, 0 = x + 4*q - 317. Is 62 a factor of x?
False
Let v be (-10)/4 - 6/4. Is 2*(3 + v + 66) a multiple of 13?
True
Suppose 4*t + 2*b - 1459 = b, -t = 2*b - 370. Does 14 divide t?
True
Let z = 1402 + 2911. Does 119 divide z?
False
Let o(i) = -5*i**2 - 2*i + 4. Let v(u) = u. Let y(h) = -o(h) + v(h). Does 9 divide y(-3)?
False
Let u(t) = -3*t - 27. Let f be u(-9). Let a(j) = -3*j + 96. Is 11 a factor of a(f)?
False
Let p(f) = f - 13. Suppose 0 = -x + 2*h + 2, -2*x + 2*h + 9 + 3 = 0. Let l be p(x). Is l + 140/(0 + 4) a multiple of 16?
True
Let y(n) = -618*n + 42. Is 12 a factor of y(-2)?
False
Let k = -13 - -17. Suppose 20 + 0 = k*b. Suppose 0*x = b*x - 220. Is x a multiple of 11?
True
Let a = -3458 - -4952. Is 23 a factor of a?
False
Suppose -86 = -5*d + 2*t, 3*t - 121 = -5*d - 25. Is 4 a factor of d?
False
Let t(w) be the third derivative of 13*w**6/60 + w**5/60 + w**4/12 - w**3 - 37*w**2. Is 35 a factor of t(2)?
True
Let o be 6/9 + 3/(-45)*-5. Is 14 a factor of (0 - -1)/(o/56)?
True
Let f(h) = 3*h + 27. Let z be f(-9). Suppose 3*c - 56 = -4*n + 3*n, z = 3*c. Is 27 a factor of n?
False
Let d = -180 + 189. Is 4 a factor of d?
False
Let q(v) = -134*v - 79. Does 11 divide q(-5)?
False
Let b(t) = -t**3 - 5*t**2 - 4*t + 3. Let x be b(-4). Suppose 3*h = h - x*m + 104, 3*m + 128 = 2*h. Is h a multiple of 18?
False
Let h(r) = 181*r**2 - r - 8. Does 13 divide h(-3)?
False
Does 49 divide 3 - (1/(3/(-2058)) - -3)?
True
Let u = 339 - 150. Does 4 divide u?
False
Is (2 - -1787)*1*1 a multiple of 12?
False
Suppose -2415 + 883 = -4*l - 4*b, 4*l = -3*b + 1534. Is l a multiple of 11?
True
Suppose 5*s - 770 + 280 = 0. Does 2 divide s?
True
Suppose 0 = -5*o + 4*p + 30, 0 = -2*o + 3*p - 10 + 29. Let q = o - -1. Suppose -2*n + 82 = k, q*k - 268 = 6*n - n. Does 22 divide k?
False
Let b(m) be the second derivative of -3*m**3/2 + 5*m. Let t be b(-3). Suppose 4*k - 45 = t. Is 6 a factor of k?
True
Suppose 