2?
False
Let m = 22 + 41. Let q be (-8)/(-3)*m/(-28). Let o = q + 20. Is o a multiple of 6?
False
Suppose 0 = -118*z + 105*z + 14040. Does 14 divide z?
False
Suppose -3*s = -3*c + 9, 2 = -s + 5. Suppose -3*q + c*q = 78. Let f = -14 + q. Is f a multiple of 6?
True
Let g(v) = 11*v**3 - 5*v**2 + 6*v - 15. Is 19 a factor of g(4)?
False
Let k(f) = -f**2 - 6*f + 9. Let h be k(-7). Suppose 5*z - 2*o - 101 = 0, 3*z + 12 - 79 = -h*o. Does 7 divide z?
True
Suppose 4*h = -2 + 22. Suppose -468 = -2*y + 3*i + 2*i, -h*y - 2*i = -1170. Is 13 a factor of y?
True
Let y(s) be the second derivative of s**5/20 + 5*s**4/6 - 5*s**3/6 - 7*s**2 + 2*s. Is 4 a factor of y(-10)?
True
Suppose -3*u - 5651 = -4*q, -2124 = -5*q - 4*u + 4963. Is q a multiple of 11?
False
Let i(o) = -o**2 + 5*o. Let y be i(5). Let c be (-7)/(-14)*y/1. Suppose c = 3*n - n - 138. Is 23 a factor of n?
True
Let s = -32 + 24. Let n = 8 - s. Is 4 a factor of n?
True
Suppose -3*i - 4*n = 478 - 1272, 1088 = 4*i - 2*n. Is 27 a factor of i?
True
Let x be 0 - (4 - -2) - 9. Suppose -5*h - 515 - 310 = 0. Is 36 a factor of 17 + x - (h - -1)?
False
Let h(f) be the second derivative of f**4/12 - 5*f**3/3 - 7*f**2/2 + f. Let w(k) = -k**2 + 22*k + 12. Let g be w(22). Does 5 divide h(g)?
False
Let p(m) = 45*m**2 - 4*m + 4. Is p(3) a multiple of 44?
False
Let o(s) be the third derivative of -7*s**6/120 - s**5/60 - s**3/3 - 55*s**2. Is 10 a factor of o(-2)?
True
Let a(c) = -11*c**2 - 10*c + c**3 - 253 - 253 + 511. Let b be (1/2)/(2/48). Does 17 divide a(b)?
False
Suppose 316 = -j - j. Let z = j - -267. Suppose 3*x = 6, -3*l + z = -2*x + 11. Does 5 divide l?
False
Let s(t) = 35*t - 2. Suppose -25*k - 7 = -26*k. Is 42 a factor of s(k)?
False
Suppose 2*q = -3*i + 18, 0 = q - i - 16 - 3. Suppose -17*w = -q*w - 6. Is w even?
False
Let j = 134 + -57. Suppose -38 = -2*a + 5*x, -x + 19 = -4*a + j. Does 14 divide a?
True
Suppose -6*o - 3*r - 9 = -4*o, o + 3 = -2*r. Is ((-51)/o)/(-4 - (-147)/36) a multiple of 11?
False
Suppose 0 = m + 4, -2*m - 95 = a - 0*m. Is (-24)/(-3)*a/(-12) a multiple of 10?
False
Suppose 0 = 3*b + 3*u - 9 - 0, -3*u = -2*b + 16. Let c(y) = 102*y + 22. Let l(s) = -41*s - 9. Let p(z) = b*c(z) + 12*l(z). Is 8 a factor of p(2)?
False
Let x be (1 - (-2008)/14) + (-15)/35. Let d = x - 142. Is d even?
True
Is 176 + (4 - -4 - 4*4) a multiple of 6?
True
Suppose 2*i - i = 6. Suppose 2*w = -0*w + i. Let n(k) = k**2 - k + 4. Does 5 divide n(w)?
True
Let x(y) = y + 4*y**2 + y**2 + 4*y**2 + 5 + y. Let w(u) = u**3 + 15*u**2 + 24*u - 23. Let f be w(-13). Is 17 a factor of x(f)?
False
Suppose 5*y + 30 = -4*t + 79, 5*t + 3*y - 45 = 0. Suppose t = -3*u + 2*x - 77, 45 = -u + 5*x. Let i = u + 61. Does 10 divide i?
False
Let u be (-1888)/(((-3)/(-6))/1). Let p be u/(-44) - (-2)/11. Is 13 a factor of 2/(-4) - p/(-4)?
False
Let d(l) be the first derivative of -8*l**2 + 2*l + 1. Let x be d(-2). Suppose 56 = 5*r - x. Is 8 a factor of r?
False
Let g(a) be the second derivative of 9/2*a**2 + 1/6*a**3 + 0 + 5*a. Does 13 divide g(4)?
True
Let m = 1586 - 1306. Does 8 divide m?
True
Suppose -1 = -r, 3*k + 5*r + 0*r = -10. Is 2/k + (708/5)/4 a multiple of 5?
True
Let a(l) = -133*l**3 + 12*l**2 + 18*l + 8. Does 53 divide a(-3)?
False
Let b be (-7)/(21/(-12)) - 0. Suppose -b*t + 487 = 7. Is t a multiple of 20?
True
Let o(u) = 2*u**2 - 16*u + 12. Let t be o(12). Let m = t + -63. Is 11 a factor of m?
False
Let i be (-62)/(-4) - 2/(-4). Let j(a) = 2*a - 17. Let q be j(4). Let t = i + q. Is 3 a factor of t?
False
Is 101 a factor of (-15092)/(-15) + (-484)/3630?
False
Suppose x - 4*b = 703 + 1007, 1719 = x - b. Does 25 divide x?
False
Let z(k) = -k**2 - k + 1. Let j be z(2). Let g be (-1)/(((-10)/(-102))/j). Let x = -30 + g. Is x a multiple of 21?
True
Let l(i) = -i**3 + 4*i**2 + 2*i - 2. Let o be l(5). Let s = o - 63. Let n = s - -120. Is 10 a factor of n?
True
Is -666*(136/(-12) + 9) a multiple of 14?
True
Let n = -1 - -7. Let x(j) = j**2 - 7*j + 11. Let p be x(n). Suppose p*t - 195 = 5*u, 117 = 3*t + 3*u - 0*u. Is t a multiple of 13?
True
Let q(z) = -7 + 9 - 2*z + z + 33*z**2 - 4. Does 8 divide q(-1)?
True
Suppose 4*i - 29 + 88 = -5*r, -r = -4*i - 89. Let t = -18 - i. Does 11 divide 4 - (t + 1) - -22?
True
Suppose h + h = -4. Is 4 a factor of (h + -3)*1/(3/(-18))?
False
Let b(k) = -2*k + 11. Let f(u) = -4*u + 21. Let o(h) = 7*b(h) - 4*f(h). Let q be o(7). Suppose 3*i - 67 + q = 0. Is i a multiple of 5?
True
Let k be (-5676)/6 - (-4 - -5). Let d = -546 - k. Is 40 a factor of d?
False
Let w(l) = 27*l**3 + 4*l**2 - 11*l + 12. Does 22 divide w(4)?
True
Does 14 divide 10497/18 + (-130)/(-156)?
False
Let t(c) = 5 - 2*c**2 - 2 + 4*c + 3*c**2 - 1. Let f = 12 - 17. Is t(f) a multiple of 5?
False
Let f(g) = 3*g + 2. Let m be f(-1). Let p = m - -15. Does 7 divide p?
True
Suppose 24 = -3*r - f, 0 = 4*r + f + 1 + 32. Is 15 a factor of ((-42)/(-4))/(r/(-96))?
False
Let u(x) = 12 + 2*x - 2 - 2 + 6. Is 9 a factor of u(8)?
False
Let j be (-3 + 0)/(10/(-10)). Suppose 0 = -j*m + 3. Is 15 a factor of (44 - -4) + m + -1?
False
Let l(f) = f**3 - 5*f**2 - 5*f - 3. Let p be l(6). Suppose -5*u + 9 = t, 4 = -t - p*t. Suppose q = -u*q + 51. Is 9 a factor of q?
False
Let x(i) = -i**3 + 4*i**2 - i - 3. Let b(c) = -c**3 + c**3 - 3 + 4*c**2 - 1 - c**3. Let k(s) = -4*b(s) + 3*x(s). Is k(5) even?
False
Let i(d) = -2*d**3 + 37*d**2 - 18*d + 13. Suppose 3*m = 2*a + 64, 0 = 2*m + 2*m + 4*a - 52. Is 4 a factor of i(m)?
False
Suppose 0 - 4 = -y. Let i(z) = -z**3 + 6*z**2 - 4*z + 2. Let k be i(y). Suppose -13*b + k*b = 165. Is b a multiple of 11?
True
Does 9 divide -108*(6 + (-26)/4)?
True
Suppose -38*x = -27*x - 2200. Does 20 divide x?
True
Let r(m) = 3*m + 126. Let k be r(0). Suppose -5*q + k = 4*q. Let p = q - 3. Does 5 divide p?
False
Let z = -15 + 15. Suppose z = d - 3*j - 260, -4*d + 398 + 692 = -2*j. Is d a multiple of 19?
False
Let k(j) = 8*j**3 + 2*j**2 - 2. Let t be k(-2). Let n = -40 - t. Is 11 a factor of n?
False
Let r(z) = z**3 - 5*z**2 + 16*z. Let l be (-54)/90 - (-66)/10. Does 12 divide r(l)?
True
Is 3 a factor of 330/(-297)*(-1 + -8)?
False
Let g = 43 - -67. Is g a multiple of 11?
True
Let w be (-4)/(-18) + 174/(-54). Let d(z) = -2*z**2 - 4*z - 1. Let r be d(w). Let o(m) = 2*m**2 + 12*m + 15. Is 15 a factor of o(r)?
False
Let t(r) = -5*r**3 - 10*r**2 + 9*r + 6. Let l(o) = -14*o**3 - 30*o**2 + 27*o + 18. Let f(k) = -6*l(k) + 17*t(k). Let b be f(9). Is (9/b)/3*-46 a multiple of 23?
True
Let m(g) = 5*g - 3. Let r be m(2). Suppose q + 5*p - 21 = -0*q, -3*q = -3*p + 27. Let i = r + q. Is i a multiple of 2?
False
Let v(a) = 9*a - 23. Is v(22) a multiple of 5?
True
Suppose 0 = -5*l - 15 - 30. Let n = l + 7. Does 10 divide (19/(-2) + 0)*n?
False
Let t be ((-36)/14)/((-9)/84). Suppose -3*i = -18 - t. Is i a multiple of 5?
False
Suppose 5*u + 61 = 171. Let l = 22 - u. Does 27 divide (-3 - l)*(-14 + -4)?
True
Let j(v) = v**3 - v**2 + 5*v - 5. Suppose 3*p + p - 20 = 0. Suppose 5*a + p = 25, 5*c - 14 = -a. Is 9 a factor of j(c)?
True
Let o(w) = w**3 + 11*w**2 + 2*w + 752. Does 47 divide o(0)?
True
Is 5 - (441*-9 - -5) a multiple of 63?
True
Suppose -4*c - 9 = -5*c - 4*n, n = 4*c + 32. Let a be 3 - 2 - -1 - c. Suppose 2*y - 7 = a. Is y a multiple of 4?
True
Suppose -35 + 10 = -5*x. Suppose x*p - 507 = 768. Suppose -5*u - 5*y = -p, -4*u + 2*y + 260 = 32. Is 11 a factor of u?
True
Suppose 2 = 2*h - h. Let j(c) = -5 - 5*c**h + 8 + 8*c + c**2 + 3*c**2. Is 3 a factor of j(8)?
True
Does 8 divide 144/240*(149 + 1)?
False
Let k(d) = d**3 - 14*d**2 + 10. Let r be 4 + 40/(-3 - -7). Let i be k(r). Does 6 divide (2 - i)*(-9)/6?
True
Is 12 a factor of 0*(-4 + 5) + 180?
True
Let x = -36 - -265. Is x a multiple of 5?
False
Let x be -44 + 42 - (1*-1 - 242). Let z = x - 169. Does 24 divide z?
True
Suppose 31288 = f - 4*z, -4*f + 3*f = -5*z - 31285. Suppose -5*d = -0*d - f. Is 22 a factor of d/60 - 2/6?
False
Let z = -113 + 493. Is z a multiple of 19?
True
Does 14 divide (4410/(-12)*1)/(5/(-10))?
False
Let o(k) = 2*k**2 + 31*k - 20. Is 9 a factor of o(-25)?
False
Let u(z) = 11*z**3 + 21*z**2 - 35*z - 33. Let g(c) = 5*c**3 + 11*c**2 - 17*c - 16. Let t(h) = 13*g(h) - 6*u(h). Is t(16) a multiple of 14?
True
Suppose 21*r + 2*r = 92. Is ((-1660)/(-5))/r + -1 a multiple of 24?
False
Suppose