alse
Let z(i) be the third derivative of -4*i**5/15 + i**4/24 + 13*i**3/6 - 4*i**2. Let t(j) = -4*j**2 + 3. Let n(q) = -9*t(q) + 2*z(q). Does 2 divide n(1)?
False
Suppose 2*d - 4*d - 3*x = 27, d + 5*x + 17 = 0. Suppose 0*o + o = -2*p + 12, o - 4*p - 42 = 0. Let q = d + o. Does 5 divide q?
True
Let i = 7 + -5. Suppose s + 0*a - 44 = 4*a, s - 44 = i*a. Is s a multiple of 14?
False
Let h(v) = -v**2 - 13*v - 11. Let w be ((-2)/1)/(6/27). Does 12 divide h(w)?
False
Let x(w) = 3*w - 5*w**3 + 3*w**2 + 3*w**2 + 3 - 4*w + 6*w**3. Is 9 a factor of x(-5)?
False
Let m = 78 + -73. Is 2 a factor of m?
False
Suppose 0 = -5*l - 25, -20 = -2*f + l + 17. Let p = -9 + f. Does 2 divide p?
False
Let j be ((-26)/2)/((-2)/8). Is (-1 - -2)*j/2 a multiple of 13?
True
Suppose -9 = 3*q + 3. Let d(b) = -b**3 - b**2 + 6*b + 3. Let y be d(q). Suppose -2*r - y = -3*r. Is 12 a factor of r?
False
Suppose -3*x = -26 - 31. Is 14 a factor of x?
False
Let z = -6 - -7. Is 5 a factor of z + -1 - 3 - -8?
True
Let i = 187 - -77. Is 46 a factor of i?
False
Suppose 60 + 480 = 15*p. Is 2 a factor of p?
True
Let z(y) = 5*y + 14*y + 3 + 1 + 0. Let p be z(5). Let o = p - 58. Is o a multiple of 16?
False
Suppose -296 = -5*z + 64. Does 12 divide z?
True
Let s(d) = -d**3 - d + 32. Is 7 a factor of s(0)?
False
Suppose 0 = 2*w - 4*p, -w + 12 = w + 2*p. Suppose -h = w*u + 45 + 220, u + 5*h + 71 = 0. Let f = u - -93. Is 10 a factor of f?
False
Suppose 0 = -4*p - p + 25. Suppose 4*z + 4*f - 56 = 0, -p*z + 2*f + 42 = -21. Is z a multiple of 8?
False
Suppose -4*r - 5*s = 1 + 3, -20 = -4*r + s. Suppose -60 = u + 3*u. Is (u/6)/((-2)/r) a multiple of 3?
False
Suppose 2*v - 4 = v. Suppose -r - 2*d = -v*d + 6, -4*r + 3*d = -1. Suppose 0*g + r = 2*g. Is g even?
True
Let a(k) be the third derivative of k**5/20 + k**4/8 + 2*k**2. Is 2 a factor of a(-2)?
True
Let h be -1*1*(-3 - 27). Is 22 a factor of (h/(-7))/((-1)/7)?
False
Let t be ((-2)/3)/(4/(-186)). Let d = t - 15. Is d a multiple of 9?
False
Suppose -2 = 2*k - 6. Suppose k*m - 60 = -2*w, m + 3*w = 6*m - 166. Does 16 divide m?
True
Let m(x) = 10 - x - 3 + 6. Let o be m(10). Suppose -o*s + 3 + 27 = 0. Is 8 a factor of s?
False
Suppose -k - 3*d = -2, 3*k + k + 5*d = 8. Let w = 50 - 26. Let p = k + w. Is p a multiple of 13?
True
Let l(c) = c**3 + 2*c**2 - 3*c. Let n be l(-3). Let p(k) = k + 5. Let g be p(n). Suppose 0 = 4*i + o - 84 - 177, -g*i + 4*o + 321 = 0. Is i a multiple of 25?
False
Let l(d) = d**3 + 7*d**2 - 2*d - 5. Suppose 2*c + 15 = -c. Does 19 divide l(c)?
False
Suppose 45 = -4*y + 5*y. Does 15 divide y?
True
Let l(p) = -3*p + 12. Does 13 divide l(-21)?
False
Suppose -5*p - 2*n = 0, -24 = -2*p - n + 5*n. Let d(q) = 15*q**2 - q + 1. Is 16 a factor of d(p)?
False
Suppose -3*z + 780 = z. Is 9 a factor of (-2)/7 + z/21?
True
Suppose d = -4*n - 20, 0 = -3*d + n + 4*n + 25. Does 12 divide 4 - -8 - (d + 0)?
True
Let a be 8/(-24) - (-26)/(-3). Let c(v) = v**3 + 9*v**2 - v. Is c(a) a multiple of 6?
False
Suppose 2*f + 0*m + 9 = -m, -4*m = 2*f + 24. Does 10 divide 20 - (0 - (-2 - f))?
True
Suppose 3*n + 3 = -a - 2, -3*a + 24 = -4*n. Let w = 6 - a. Suppose -w*z = -r - 5 + 26, z = -5. Is 4 a factor of r?
False
Let n(i) = -i**2 + 16*i - 13. Let v be n(15). Let f(q) be the third derivative of q**4/4 - 2*q**2. Does 6 divide f(v)?
True
Suppose 4*m - 2*m - 9 = -3*d, 2*m - 24 = 2*d. Suppose -2*h - m = -h. Let v(c) = -2*c + 11. Is 12 a factor of v(h)?
False
Let a(h) = -4*h + 4. Let r(w) = -w + 1. Let b(j) = 3*a(j) - 16*r(j). Does 4 divide b(3)?
True
Let d = -39 - -23. Let a = 11 + d. Does 20 divide 140/6*(-6)/a?
False
Let h(z) = 6*z**3 + z**2 + 4*z - 33. Let f(m) = -7*m**3 - m**2 - 5*m + 33. Let q(a) = -5*f(a) - 6*h(a). Is 12 a factor of q(0)?
False
Suppose -6*w + 4*w = -74. Suppose -b = 10 - w. Is 1074/b - 2/(-9) a multiple of 20?
True
Suppose 0 = 4*k + 5*f - 128, -4*f + 54 + 10 = 2*k. Is 8 a factor of k?
True
Let g = 206 + -120. Let j = -37 + g. Let b = -29 + j. Is 6 a factor of b?
False
Suppose 9 = 4*i - 3. Suppose 9 = -i*b, 4*y - 2*b + 0*b - 226 = 0. Is 30 a factor of y?
False
Suppose 4*s - 6*r - 670 = -4*r, 3*r + 3 = 0. Is 20 a factor of s?
False
Let o be (2 + 0 - 2) + 2. Suppose -x + 3*z - 98 = -29, -o*z = -4*x - 306. Is 2/8 + x/(-8) a multiple of 6?
False
Let r = -164 - -516. Is r a multiple of 44?
True
Let x = -2 - 1. Suppose -9 = -b + 2*a, b + 17 = -b - 3*a. Does 9 divide b/((x/(-78))/(-1))?
False
Suppose 2*q - 4*q + 6 = 0. Suppose -3*w = -2*g - 110, -q*w - 2*g + 3*g = -115. Suppose 0*t = 2*t - w. Is 10 a factor of t?
True
Suppose -4*n = -4*s, -3 = -s + 3*s - 5*n. Does 12 divide (-15 + s)*(-24)/14?
True
Let b = 136 + -120. Is b a multiple of 2?
True
Let b = 39 + 50. Is b a multiple of 5?
False
Let a = 41 + -30. Is 4 a factor of a?
False
Let k(w) = -w - 5. Let a be k(-5). Let s = a + -1. Let c = s - -10. Does 9 divide c?
True
Let f(l) = l. Let r be f(2). Suppose h = 3*z + 10, 0*z + 3*z + 20 = r*h. Suppose h = -0*i + 2*i. Is i even?
False
Let l(j) = 2 - 2 - 5*j - j**2 - 4. Let s be l(-3). Suppose 32 = -0*x + s*x. Is x a multiple of 9?
False
Let d = 2 - 2. Let y(n) be the first derivative of -n**2/2 + 23*n - 3. Is y(d) a multiple of 16?
False
Suppose 4*i = 13 + 3. Suppose 3*y = 3*a - 42, -a - 4*y + i = -10. Is 3 a factor of a?
False
Let n = 27 + -20. Does 7 divide 215/n + (-8)/(-28)?
False
Let t(k) be the second derivative of 3*k**4/8 - k**3/3 - k**2 + 2*k. Let u(f) be the first derivative of t(f). Is u(2) a multiple of 10?
False
Suppose 99 = 5*r - 91. Is 8 a factor of r?
False
Suppose -37 = -4*t + 5*j, 3*j - 35 = -0*t - 2*t. Is t a multiple of 3?
False
Suppose -2*i + 305 = a, -a + 457 = 3*i - 0*a. Is 19 a factor of i?
True
Let r(a) = -a**3 + 4*a**2 - 3*a + 3. Let k be r(3). Suppose -2*m + 32 = -5*x, -2*x = 3*m + 6 + k. Let s = x - -22. Is 6 a factor of s?
False
Let x(y) = y**2 + 8*y + 7. Let a be x(-7). Suppose 3*c - s - 103 = a, -4*s = -c + s + 39. Is 12 a factor of c?
False
Suppose 0*m - 2*f = -4*m + 410, 2*f = 3*m - 310. Is 25 a factor of m?
True
Suppose 0 = 6*h + 3*h - 189. Does 3 divide h?
True
Let r be 0 - -5*(-1 - -4). Suppose 3*v = q - r, -170 = 3*q - 8*q - 4*v. Is q a multiple of 15?
True
Let g = 7 - 25. Let r be (12/g)/(2/(-318)). Suppose 6 - r = -5*n. Does 10 divide n?
True
Let x(q) = q**2 + 2*q + 4. Is 16 a factor of x(-5)?
False
Suppose -6*s = -0*s - 96. Does 11 divide s?
False
Let x = -12 + 10. Is 9 a factor of -4 + 1 - 24/x?
True
Let i = -14 - -10. Let g be 1 - 4/(i/(-3)). Does 18 divide g/(-1) - 38/(-1)?
False
Let m(g) = -10*g - 7. Let r(k) = 11*k + 8. Let h(d) = 6*m(d) + 5*r(d). Suppose 2*n + 9 = -2*x - 9, -2*n = 3*x + 22. Is h(x) a multiple of 9?
True
Let k be -1 + (17 - 1 - 3). Suppose -l = -0*l - k. Is l a multiple of 12?
True
Let i(k) = k**3 - 4*k**2 - 8*k - 3. Let y be i(6). Suppose n = 3*c - 10, -6*n - 10 = 5*c - n. Suppose -11 = -c*t + y. Does 15 divide t?
False
Let l be -1 + (-162)/3 + 3. Is 12 a factor of l/(-2)*(-4)/(-2)?
False
Suppose -s = 10 - 29. Is s a multiple of 19?
True
Let m(j) = -12*j**3 - j**2 - 2*j - 1. Is m(-1) a multiple of 4?
True
Let g = -1 + 4. Suppose 0 = p - 0*p - 15. Suppose -5*c + 0*q = 3*q - 45, 0 = g*q + p. Does 5 divide c?
False
Let s = -106 - -166. Does 11 divide s?
False
Suppose w - 5*p - 30 = -0*p, 0 = 5*p + 15. Does 6 divide 3/1 + w*1?
True
Suppose 0 = 2*x + 10, -4*x - 20 = -3*b + 2*b. Suppose b*j - 7 = j + 5*r, -5*r - 85 = -5*j. Is j a multiple of 13?
True
Let f(t) = 3*t**2 + 7*t - 12. Is 18 a factor of f(-6)?
True
Let m be -2*(-3)/(-4)*-10. Suppose -10 = -2*h, -7*z = -2*z + 2*h + m. Let s(n) = n**2 + 2*n - 5. Does 5 divide s(z)?
True
Suppose 4*u + 0*u - 16 = 0. Suppose u*j = 3*t + 31 + 36, j - 5*t - 4 = 0. Suppose -4*y + 2*s = -s - 14, 5*y = 3*s + j. Is 3 a factor of y?
False
Suppose q + 4*t + 3 = 0, 18 = -4*q + 5*q - 3*t. Let g = -10 + q. Let v = 16 + g. Does 15 divide v?
True
Suppose 0*g + g - 15 = -5*u, u = -4*g + 3. Suppose 4*n = -g*n - 8. Does 8 divide (n/(-5))/(3/180)?
True
Suppose -2*m + 8 = -m. Suppose -4*j = -4*u, m = j - 5*j - 4*u. Is (-6)/1*(j + -5) a multiple of 19?
False
Let x = -66 + 126. Suppose 0 = k + 4*k - x. Is 10 a factor of k?
False
Let u = 3 - 0. Is (u/2)/((-9)/(-48)) a multiple of 8?
True
Let f be 3/((-3)/4) + 6. Suppose -f*h + 71 + 43 = 0. Is h a multiple of 19?
True
Let 