e
Let q be 4 - (-2 - -5)/(-3). Suppose -5*o = 4*h - 116 + 16, -2*o - 92 = -q*h. Is 8 a factor of h?
False
Let u(i) = i**3 + 4*i**2 - 7*i - 6. Let c be u(-5). Suppose -3*p + 2*p + 31 = 5*j, c*j + 3*p = 27. Let r = j - 3. Is r even?
False
Suppose -2*j + 12 = -x, -24 = -5*j - x + 2*x. Let n = 0 - 0. Suppose n = -j*o - 2*g + 20, 2*g - 6 = -o - o. Does 2 divide o?
False
Suppose -5*y = -56 - 69. Suppose -10 = -q + y. Is 13 a factor of q?
False
Let z = -2 + 4. Let h = 6 - z. Suppose h*g + 22 = 6*g. Is 11 a factor of g?
True
Let h(m) = -m**3 + 10*m**2 + 5*m - 14. Does 14 divide h(10)?
False
Let w be ((-4)/6)/((-1)/(-27)). Let x be w/12*(-28)/3. Suppose -z - x = -3*z. Does 3 divide z?
False
Let c(g) = -g**3 + g. Let n be c(1). Suppose n*z + 4 = -z - 3*o, -2*o = 10. Does 6 divide z?
False
Suppose -5*w = 4*l - 2100, -w - 5*l + 444 - 3 = 0. Does 52 divide w?
True
Let c be 21/12 - (-3)/(-4). Is c + 0 + 1 + 4 a multiple of 4?
False
Let p(s) = 4*s**2 + 6*s - 1. Let j be p(4). Let h be j - (9/3 - 2). Let n = h - 50. Is 12 a factor of n?
True
Let p(f) = f**3 - f**2 + f + 72. Is p(0) a multiple of 36?
True
Let n = -12 - -10. Let p be (n + 44 + 1)*4. Suppose 2*z - p = -2*z - c, 3*z + 5*c - 112 = 0. Does 13 divide z?
False
Let o = -41 - -83. Is o a multiple of 14?
True
Let l(z) = z**3 - 10*z**2 - 6*z - 1. Let t(q) = -q**3 + 9*q**2 + 5*q + 1. Let b(v) = 3*l(v) + 4*t(v). Is 13 a factor of b(6)?
True
Let v be (0 + 1)*1 - -3. Suppose -y - 5*s + v = 0, 0*y = -y - 4*s + 6. Is 14 a factor of y?
True
Suppose 1086 = 5*f - 2*f. Suppose -2*y + 4*z + 140 = 0, -f = -5*y - 4*z + 30. Is y a multiple of 11?
False
Let s(t) = t + 7. Let j be s(-6). Let i = j + 5. Is 6 a factor of i?
True
Let n = -12 + 14. Let t = n + 15. Does 17 divide t?
True
Let h = 30 + -1. Is h a multiple of 9?
False
Let w be (-2)/18 - 752/36. Let h = -15 - w. Does 6 divide h?
True
Let d = 200 - 54. Does 12 divide d?
False
Suppose 0 = -3*x - 0 + 12. Let a be 1/3 - (-28)/6. Suppose 5*t = -x*o + 24, a*o - 19 = 5*t + 56. Is 6 a factor of o?
False
Let r = -12 - -6. Let s = r + 16. Is 5 a factor of s?
True
Suppose 3*o - 288 = -4*i, 384 = 6*o - 2*o + 5*i. Does 32 divide o?
True
Let j be (3/(-12) + 2)*4. Let t(c) = 2 - 2 + j*c. Is 16 a factor of t(4)?
False
Suppose -5*r + 54 = v, 2*v + 58 = 5*r - v. Does 11 divide r?
True
Let j(s) = -3*s**2 + 5*s - 3. Let y(p) = 2*p**2 - 3*p + 2. Let i(f) = 6*j(f) + 11*y(f). Is 12 a factor of i(3)?
False
Suppose -2*n + 22 = -0*n. Let p be ((-18)/15)/((-8)/20). Suppose -n = -2*a + p. Is 3 a factor of a?
False
Let x be (-20)/(-3)*(-2 + -1). Suppose 4*d - 93 - 27 = 0. Let l = x + d. Is 10 a factor of l?
True
Suppose -k = 34 - 4. Let z = 57 + k. Is z a multiple of 8?
False
Let c = -26 - -36. Is 5 a factor of c?
True
Suppose 5*v = 3*v + 24. Is 3 a factor of v?
True
Suppose -m = -3*m. Suppose m = 2*b - 5 - 31. Is b a multiple of 9?
True
Is -3 + 23 + 4 + -3 a multiple of 8?
False
Suppose 23 = 4*k - 193. Let t = k - 33. Is t*6/9 - -2 a multiple of 8?
True
Is 3 a factor of (-122)/(-8) + 3/(-12)?
True
Let y = -29 + 73. Is y a multiple of 22?
True
Suppose -2*s = -7*s + 3*o + 6, 3*s - 4*o = -3. Let t = s + 5. Is 8 a factor of t?
True
Let m(j) = 2*j**2 - 2*j + 4. Let t = 3 + -3. Let s be 0 + -2 + -1 + t. Is m(s) a multiple of 14?
True
Suppose -4*l - 28 = -2*w, 5*w + l + 0*l = 81. Does 9 divide w?
False
Let o = 4 - 4. Let u be 4 + 1 - (o + 1). Suppose u*p - 4 = 0, -3*l - 2*p = -5*p - 60. Is l a multiple of 21?
True
Let d(b) = -b**2 - 20*b - 11. Does 8 divide d(-10)?
False
Let t(o) = -1 + o - 2 + 0. Let s be t(3). Suppose 0*u - 5*u + 75 = s. Is 8 a factor of u?
False
Suppose -4*x + 387 - 75 = 0. Is 13 a factor of x?
True
Let c(v) = 5*v - 2. Let l be c(2). Suppose 5*s - 2 = l. Suppose 23 = n + 5*f, -s*n - 3*f = -17 - 1. Does 2 divide n?
False
Suppose -3*a - 2*a = 0. Let c = 1 - a. Is ((-15)/10)/(c/(-18)) a multiple of 9?
True
Let i = 12 + -7. Suppose -5*l - b + 99 = -135, -i*l + 233 = 2*b. Suppose 8 + l = 5*h. Does 5 divide h?
False
Let h(g) = -7*g - 1. Let p = -5 - -7. Let z be h(p). Let l = z + 29. Is l a multiple of 14?
True
Suppose -45 = -4*l + 3*l. Does 8 divide l?
False
Suppose 2*t - 54 = 72. Is 7 a factor of t?
True
Let s(h) = 22*h**2 - 3*h + 2. Is s(1) a multiple of 21?
True
Let x(c) be the third derivative of 0*c + 5/2*c**3 - 5/12*c**4 + 0 + 1/60*c**5 + c**2. Is x(10) a multiple of 15?
True
Let t = 5 + -6. Is (-2)/(((-1)/(-23))/t) a multiple of 23?
True
Let g(f) = f**3 - 9*f**2 - 16*f. Is g(11) a multiple of 21?
False
Suppose 0 = -4*q - 16, -4*h - 3*q - 2*q = 60. Let z be 84/h*(2 - -3). Let b = -13 - z. Does 12 divide b?
False
Suppose -y + 15 = -2*t, 4*t - 8 = 5*y - 77. Does 6 divide y?
False
Suppose 5 = -2*l + 7. Let t = l - 2. Is 7 a factor of -1*(t + 1) - -23?
False
Suppose 2*k + 0*k + 184 = 0. Let f = -64 - k. Is f a multiple of 8?
False
Let n(l) = -2*l**2 + 5*l + 2. Let a be n(4). Let i be 216/10 + (-4)/a. Suppose 0 = 2*d - i. Is d a multiple of 11?
True
Let w(r) = -r + 5. Let s be w(5). Let n(l) = l + 5. Let j be n(-5). Suppose s*h - 4*h + 16 = j. Does 2 divide h?
True
Let x = -194 + 308. Is x a multiple of 19?
True
Suppose 7*v - 3*v = 252. Is v a multiple of 9?
True
Let n(v) be the first derivative of v**3/3 - 4*v**2 + 4*v - 3. Does 4 divide n(8)?
True
Suppose q = 15 + 26. Does 12 divide q?
False
Suppose 0*a = 3*a - 120. Suppose -5*w = -5*t - a, 1 - 5 = 4*t. Is w a multiple of 6?
False
Let w = 235 - 65. Suppose -2*f = 3*f - w. Is f a multiple of 17?
True
Suppose -3*y - y = -48. Does 5 divide 0 - 3 - (2 - y)?
False
Let s = -5 + 79. Does 12 divide s?
False
Let q be (4/7)/(2/7). Suppose q*l - l = 34. Is 17 a factor of l?
True
Let v(s) = -s**3 - 6*s**2 + 3. Let h be v(-6). Suppose 5*l + 2*k = -14, 18 = -5*l - k - h*k. Is 178/4 + (-1)/l a multiple of 26?
False
Suppose i = 3*h - 13, 0*h - 3*h + 9 = -3*i. Suppose h*r = -0*j + j - 19, 0 = 5*j - 2*r - 187. Let v = -19 + j. Is v a multiple of 10?
True
Is ((-5)/15)/(1/(-6)) even?
True
Does 28 divide 142 - 6/1*6/18?
True
Suppose -4*l + j + 152 = 0, -4*j = -l + 11 + 12. Is l a multiple of 9?
False
Let o be 2 - (2 - (-1 + -7)). Does 13 divide (o - 3)*1*-3?
False
Suppose 2*g - 62 = -3*h + 33, 2*h - 50 = -4*g. Let a = 51 - h. Is a a multiple of 10?
False
Suppose 0 = 3*n - 15, 2*f - 5*n - 195 = -3*f. Is 4 a factor of f?
True
Let g = 22 + -10. Suppose -4*w - g = -2*w. Let f = w + 18. Does 6 divide f?
True
Suppose 0*y + 3*y = 2*n - 35, y = -4*n + 49. Let v = n + -8. Let d(f) = 2*f + 5. Does 15 divide d(v)?
True
Let y(h) = -h**3 - h**2 + 10. Does 4 divide y(0)?
False
Suppose 5*b - 399 - 291 = -3*d, 3*d = 2*b - 297. Does 45 divide b?
False
Let m = 22 + -16. Is 3 a factor of m?
True
Let w(z) = z**3 - 5*z**2 + 6*z - 3. Let i be w(5). Is 10 a factor of 0 + i - (-13 + 10)?
True
Let x(v) = v**3 + 10*v**2 + 3*v + 30. Is 14 a factor of x(-9)?
True
Let t = -14 - -18. Suppose t*c - 24 = 3*c. Is 9 a factor of c?
False
Suppose -45 = -3*g + 2*g. Let m = g - -6. Suppose 3*c - 2*y + 4*y - m = 0, -5*y = -4*c + 45. Does 15 divide c?
True
Let o(h) = -h**3 - 4*h**2 - 3*h - 1. Is o(-5) a multiple of 2?
False
Suppose -2*f + 252 = 3*w, 2*w + 4*f - 66 - 102 = 0. Is 13 a factor of w?
False
Let j(h) = -4*h + 1. Let p = 5 + -3. Suppose p*c - 4 = -18. Is 16 a factor of j(c)?
False
Is 24/(-9)*(-162)/8 a multiple of 18?
True
Let q(h) = -4 + 2*h**2 + 0*h - 2*h + 7*h - h. Let y be ((-3)/(-2))/(18/(-48)). Is q(y) a multiple of 4?
True
Suppose 3*t - t = -v + 8, -5*v - t = -4. Suppose v = -4*i - 0*o + 3*o + 187, -5*i + 232 = -2*o. Suppose 5*y - i - 29 = 0. Does 6 divide y?
False
Suppose 0 = -a - 0*a + 79. Is 16 a factor of a?
False
Is 22 a factor of ((-24)/15 + 2)*220?
True
Suppose -4 = -0*d + 4*d. Let u be d/(-5) + 498/10. Suppose -3*q = 2*q - u. Is 10 a factor of q?
True
Suppose 3*u - 4*k = -0*u - 158, 194 = -3*u - 5*k. Is 2*1/(-4)*u a multiple of 12?
False
Suppose 3*b - 2*p - 3*p = 154, -10 = 5*p. Let l = 81 - b. Does 11 divide l?
True
Let o(p) = -20*p + 24. Is 36 a factor of o(-15)?
True
Suppose 12*s - 10*s = 0. Suppose -2*m = -s*r + r - 2, 4*r - 4*m - 20 = 0. Is 2 a factor of r?
True
Let p = -15 - -74. Is 8 a factor of p?
False
Is -4*1/(-4) - (-1 + -14) a multiple of 8?
True
Let k(d) = -8*d. Let y be k(-1). Let a = y - 8. Let u(i) = -i**3 + i**2 + 12. Is u(a) a multiple of 8?
