-9). Let r(f) = -1 - 1 + 27*f**2 + 3. Is 14 a factor of r(s)?
True
Is 14 a factor of (-244)/(-10) - 21/(-35)?
False
Let x = 6 + -6. Let j = 0 + 5. Suppose 3*g + g + j*p - 119 = x, g - 32 = p. Is 15 a factor of g?
False
Suppose -2*t = 3*d - 54, 2*d + t - 54 = -d. Suppose 2*z - 48 = -5*v, 2 = -4*v + d. Is z a multiple of 14?
True
Let z = 50 - 38. Is 4 a factor of z?
True
Suppose 2*f = -m + 66, f = 5*m - 18 + 62. Is 10 a factor of f?
False
Suppose -4*h + 79 = -3*h - 4*g, 4*h = -2*g + 244. Is h a multiple of 25?
False
Let g(a) = -2*a - 1. Let q be g(-2). Let w(y) = y**q + 3 - y**2 - 5 - 6*y**2 + 2*y + 3. Is 14 a factor of w(7)?
False
Let s = 119 - 63. Does 14 divide s?
True
Suppose 5*o = o + 84. Let t be (-4)/(-14) - 6/o. Let d(i) = i**2 + 11. Is d(t) a multiple of 5?
False
Let g be (-279)/(-4) + 24/(-32). Let k = 147 - g. Is 26 a factor of k?
True
Suppose -5 = 4*s - 21. Does 2 divide s?
True
Does 19 divide 40 - (5 + (-5 - -2))?
True
Let d = -4 + 9. Let t(c) = -3 + 3 + 2 - d*c. Is 11 a factor of t(-4)?
True
Suppose 2*y - 100 = -5*h - 16, y + 75 = 4*h. Suppose -h = -0*w - w. Does 9 divide w?
True
Let x(j) = -j**3 + 2*j**2 + 2*j - 2. Let o be x(2). Suppose 0 = -r - 0*r - 5*v + 9, -o*v = 5*r - 45. Does 16 divide 1/(-3) - (-201)/r?
False
Suppose 12*i - 15 = 7*i. Let k be 2*3/(3/14). Suppose 0*s + i*s + k = p, -3*s = 2*p - 74. Is 12 a factor of p?
False
Let d = 264 + -64. Suppose 0*n = -5*n + d. Is 12 a factor of n?
False
Suppose 5*t + 4 = t. Let d = t + 0. Does 5 divide 5 + 2 - (0 - d)?
False
Let h(y) = -y**2 + 6*y + 7. Let p(o) = -o**3 + 3*o**2 + 3*o - 4. Let j be 2 + -2 + (-6)/(-2). Let g be p(j). Does 6 divide h(g)?
True
Is 11 a factor of (-3)/2*(-1210)/33?
True
Let h be 3/(-6)*(2 + -12). Suppose 3*z + 105 = 4*o, 0 = h*o - 2*z - 0*z - 126. Is o a multiple of 12?
True
Suppose -4*h + g + 11 = 0, -10 = -h - 4*g + 14. Suppose 2*l + 8 = h*l. Is l a multiple of 4?
True
Let r = -19 + 31. Let u = -3 + r. Is 4 a factor of u?
False
Let w(s) = -s**3 + 9*s**2 - 12*s + 3. Let q be w(9). Suppose 4*k + 340 = -k. Let b = k - q. Is 15 a factor of b?
False
Let r = 51 + -111. Let z = 101 + r. Is 21 a factor of z?
False
Suppose -g = -0*g - 12. Let i be (4/g)/((-2)/(-6)). Is 3 a factor of 1*(0 + i - -2)?
True
Let q(j) = -2*j**2 + 4*j - 8. Let x be q(4). Suppose 4*f + 0*f = -4*w + 32, -6 = -3*f. Does 15 divide 205/4 + w/x?
False
Suppose u + 2*w - 37 = 22, -w = 3*u - 192. Does 14 divide u?
False
Let q = 85 - 25. Does 12 divide q?
True
Let y(a) = a**3 + 2*a**2 - a - 4. Let c(k) = -k + 5 + 2*k - 2*k**2 - k**3 + k**2. Let u(z) = 6*c(z) + 7*y(z). Does 8 divide u(-8)?
False
Let i(u) = u**3 + 7*u**2 + 7*u + 1. Suppose -2*s + s = -4. Suppose w + 9 = -s*m, 3*w - 4*w = 2*m + 7. Does 8 divide i(w)?
True
Suppose 52 - 7 = -5*o. Let u be ((-3)/(-2))/(o/(-12)). Let m = 11 + u. Is 13 a factor of m?
True
Suppose -5*o + 36 = s, 4*s = 4*o + 82 + 38. Does 5 divide s?
False
Let i(z) be the first derivative of -z**4/4 + z**3/3 + z**2/2 + z + 2. Is 4 a factor of i(-2)?
False
Suppose 0 = 4*d - 12 + 4. Let r = d - -11. Does 12 divide r?
False
Let j(o) = 2*o + 3. Is 3 a factor of j(0)?
True
Let b(f) = 3*f**2 - 3*f - 5. Let n be b(-4). Let d = 3 + 1. Suppose 0 = -5*i + 5*k + n, 2*i - 10 - 16 = d*k. Is i a multiple of 4?
False
Let f = -22 - -27. Suppose f*k = -5*s + 170, 0*s - 5*s + 3*k + 162 = 0. Is 13 a factor of s?
False
Let y(n) = -n**3 + 5*n**2 - 4. Is 12 a factor of y(4)?
True
Suppose 45 - 15 = 3*c. Let s be 4*5*(1 + -2). Let q = c - s. Is 15 a factor of q?
True
Suppose -3*z + 23 + 19 = 0. Is z a multiple of 14?
True
Let l = 37 + -21. Suppose 0 = -3*b - 65 - l. Let i = -17 - b. Is i a multiple of 8?
False
Let n be (-8 - -7) + -1 + 0. Let w(f) = 5*f**2 - 2*f - 1. Is 14 a factor of w(n)?
False
Suppose 5*m - 980 = -9*m. Is m a multiple of 35?
True
Suppose -5*a - 5 = 5*w, 12 + 1 = -w - 5*a. Suppose -3*g = -w*g - 35. Does 13 divide g?
False
Suppose 8*d - 65 = 3*d. Let m = d + -9. Is m even?
True
Suppose -5*w + 3*m - 47 = -6*w, 2*m = 2*w - 118. Is w a multiple of 17?
False
Let p = 224 - 106. Does 59 divide p?
True
Let z(y) = -25*y**3 + y**2 + 3*y - 1. Let o(t) = 74*t**3 - 3*t**2 - 8*t + 3. Let b(w) = 3*o(w) + 8*z(w). Let s = 8 + -7. Is 8 a factor of b(s)?
False
Let d(v) = -v**2 - 13*v + 1. Does 10 divide d(-5)?
False
Suppose -2*r + 6*r = 12, 2*k - 64 = -2*r. Does 7 divide k?
False
Let d = 61 + -104. Let a = -29 - d. Is 14 a factor of a?
True
Let x(s) = 26*s**2 - 2*s + 10. Does 22 divide x(3)?
False
Let o = -236 + 167. Let x = o - -115. Is 23 a factor of x?
True
Suppose 0*b - b = -4. Does 6 divide 1*6 + -3 + b?
False
Suppose 8*u = 3*u + 160. Is u a multiple of 32?
True
Suppose 2*s = 7*s - 15. Let d(f) = f - 1 + 2*f + s*f. Is d(1) a multiple of 5?
True
Let p = 15 + -8. Suppose p = -2*k + 51. Is 13 a factor of k?
False
Let m = -4 + 11. Does 8 divide m - (-2)/(-4)*-2?
True
Let w be (15/(-6))/(3/(-6)). Suppose -p + 10 = 5*g - w, 0 = g + 5. Does 13 divide p?
False
Suppose 3*j + 2*m = 57 + 41, 4*j - 3*m = 125. Suppose 2*a - 5*i = -i + j, -i = -a + 14. Is a a multiple of 6?
True
Let i = -25 - -28. Suppose -i*b = -228 + 15. Is b a multiple of 26?
False
Let m(p) = p**3 - 6*p**2 + 6*p - 6. Let r be m(6). Let u = r - -9. Is u a multiple of 13?
True
Let j be 181 - (-3 + (2 - -3)). Suppose m = 4*m - 2*o - 138, o = 4*m - j. Is m a multiple of 11?
True
Let f = 9 - 4. Suppose -144 = z - f*z. Does 18 divide z?
True
Let r(c) = 16*c**2 - 3*c. Let s = 4 + -2. Is 20 a factor of r(s)?
False
Let n = 38 + 53. Does 6 divide n?
False
Let i = -3 + 1. Is 2*(1/2 - i) even?
False
Let v(o) = -o**3 - 6*o**2 + 6*o - 10. Let n be v(-7). Let u = n + 17. Is 7 a factor of u?
True
Suppose 0 = -3*i + 8 + 7. Suppose -y + q - 25 = -62, y - i*q = 45. Suppose 0 = -4*b - 3*n + y, -9 = 2*b - 4*n + 1. Does 5 divide b?
True
Let l = 6 - 3. Let u = -11 + 15. Suppose -l*w + 46 = -2*f, 2*w = u*w - f - 29. Is 12 a factor of w?
True
Let w(b) = -17*b**3 + b**2. Suppose 3*p - 4*a = 6*p - 13, -3*a + 11 = p. Is 12 a factor of w(p)?
False
Suppose 5*i = 3*l - 0 - 6, -10 = 3*i - 5*l. Suppose i = 2*x + 6 - 18. Is 6*x/27*3 a multiple of 4?
True
Let b(l) be the third derivative of l**5/30 - 7*l**4/24 + l**3/2 - 9*l**2. Does 7 divide b(5)?
False
Let v = -4 + 8. Let r be (1/3)/(v/60). Let b(q) = 2*q - 4. Does 6 divide b(r)?
True
Let s be 2 - (-2 - 2 - -2). Suppose 5 = s*h + 1. Let v(l) = 26*l - 1. Is 13 a factor of v(h)?
False
Suppose l + 3*l = 80. Is 8 a factor of l?
False
Let x be 114/9 - (-1)/3. Suppose -35 - x = -2*p. Is 11 a factor of p?
False
Let g(m) = -105*m - 5. Let w(x) = 21*x + 1. Let u(a) = -2*g(a) - 11*w(a). Let v(t) = t - 6. Let y be v(5). Is u(y) a multiple of 8?
False
Let t = 1 - 0. Let g be 16/(t + 9/(-6)). Let v = -11 - g. Does 21 divide v?
True
Is 22 a factor of -2*((-33)/2 + -3)?
False
Let v(h) = 3*h**3 - h**2 - 2*h. Does 33 divide v(3)?
True
Suppose 2*v = v + 235. Suppose -5*h + v = -215. Suppose 3*u = -2*d + 62, -d - 3*u = 2*d - h. Is d a multiple of 16?
False
Let g(r) be the first derivative of 13*r**2/2 - 1. Is 13 a factor of g(1)?
True
Let u(c) = 3*c - 1. Let v be u(1). Suppose -3*z = -v*z - 2. Suppose 5*a + 5*h - 67 = 3*a, z*a - 2*h = 46. Is a a multiple of 13?
True
Suppose -2*j + 3*z - 102 = -4*j, -4*j - 3*z + 198 = 0. Does 7 divide j?
False
Suppose 0 = 5*j, 2*j + 0*j - 3 = -m. Suppose 2*g - 44 = d, -m*d + 0 = 12. Is 9 a factor of g?
False
Let s(v) = v**3 - 5*v**2 - 9*v - 6. Suppose -5*p - 4*z = -31, 2*p + 0*p + 4*z - 10 = 0. Is 16 a factor of s(p)?
False
Let w = -1 - -1. Suppose 5*a = 5*d - 110, -d - 5*a + a - 3 = w. Suppose 3*t - d = 16. Does 6 divide t?
False
Let j be -25*(-3)/(15/4). Suppose -j = 5*d - 7*d. Does 6 divide d?
False
Let r(y) = -y - 1. Let k be r(-3). Let t = 4 - k. Suppose -28 = -4*v + 4*i, -t*v + i + 31 = v. Is 12 a factor of v?
True
Suppose 2*c - 33 - 6 = -3*l, 0 = -5*c + 3*l + 87. Is 1 + (-3 - -3) + c a multiple of 9?
False
Let y(h) = 4. Suppose g = 3*o - 2*g + 21, 0 = -o - g + 1. Let i(s) = -s + 4. Let l(q) = o*i(q) + 2*y(q). Is 7 a factor of l(7)?
False
Suppose -20 = -5*q + 2*l + 3*l, q - 3*l - 12 = 0. Let a = q + -1. Is 1*(a - -2*9) a multiple of 8?
False
Is 11 a factor of ((-493)/(-34))/(1/2)?
False
Suppose 5*m = -4*f + 60, -3*f - 4*m = -11 - 35. Suppose 4*z - 45 - 7 = 4*n, 5*z + 3*n = 25. Suppose -z*t + f