 t a multiple of 4?
False
Let k(s) = -s**2 - s + 1. Let t(r) = r**3 + 6*r**2 - 2*r + 3. Let n(m) = -k(m) + t(m). Is 8 a factor of n(-7)?
False
Suppose 0 = 5*h - 3*h - 4*s - 8, 3*h - 2*s = 28. Does 6 divide h?
True
Suppose 5*l - 126 = -3*b, -5*b + 104 = 3*l - 106. Is b a multiple of 15?
False
Is -3 + 66*(-3)/(-6) a multiple of 10?
True
Let w(l) be the third derivative of -l**5/120 + l**4/12 + l**3/2 + 4*l**2. Let b(r) be the first derivative of w(r). Is 5 a factor of b(-5)?
False
Let r(v) be the second derivative of -1/2*v**2 + 0 + 7/6*v**3 + 2*v. Is r(5) a multiple of 13?
False
Let u(f) be the third derivative of -f**6/15 - f**4/24 + 2*f**2. Let o be u(-2). Suppose -4*l = 10 - o. Does 7 divide l?
True
Suppose 5*g - 37 = -4*a, -10 = -0*g + g - 5*a. Suppose g*q = -10 + 50. Does 4 divide q?
True
Let t be (-2)/(2*2/(-6)). Suppose 0 = -4*y + t*k - 7*k + 112, 2*k = -y + 27. Is 14 a factor of y?
False
Let y = 139 - 73. Is 10 a factor of y?
False
Suppose 71 + 88 = -3*a. Let j(w) = 11*w + 7. Let h be j(7). Let d = h + a. Is 17 a factor of d?
False
Is 5 a factor of (1/(-1) + 0 + -30)/(-1)?
False
Let d(p) = -3*p**2 - 6 - 4*p**3 + 3*p**3 + 2. Let r be d(-3). Let u = r + 9. Is 3 a factor of u?
False
Is (2 + -1)/(2/308) a multiple of 11?
True
Let v be -2 - (1 + -59 + -2). Let l = v + -15. Is l a multiple of 17?
False
Let b(i) be the second derivative of i**6/360 - i**5/24 - i**4/6 - i**3/2 + i. Let v(u) be the second derivative of b(u). Does 5 divide v(7)?
True
Suppose 14*n + 34 = 15*n. Is n a multiple of 17?
True
Suppose 0*q + 2*q - 330 = 0. Suppose z + 2 = 5*y + 63, -5*z - 3*y = -q. Is 18 a factor of z?
True
Suppose 6*w - 3*w = 5*p + 5, -w + p = -3. Suppose 0 = -w*t - 12 - 53. Let y = -8 - t. Is 2 a factor of y?
False
Suppose 0 = 4*k + 5*o - 963, k + 5*o - 3*o - 243 = 0. Is k a multiple of 29?
False
Let i be 3 + 0 - (0 + 1). Let d = i + -2. Suppose 0 = 3*q - 5*p - 26, -14 = -2*q + 5*p - d. Is 11 a factor of q?
False
Is 11 a factor of 67 - (0/2 + -4)?
False
Let q(k) = 5*k**3 - 2*k. Is 12 a factor of q(2)?
True
Let y = 69 + -32. Is 12 a factor of y?
False
Let l = 9 + -22. Let f = 18 + l. Is f a multiple of 3?
False
Suppose 0 = -2*k - 2*k + 8. Suppose -4*z + k*a + 174 = 0, -3*a + 2*a + 123 = 3*z. Is z a multiple of 16?
False
Let j be 27/4 + 3/(-4). Suppose 165 = -i + j*i. Is i a multiple of 10?
False
Suppose -b - 3*b + 20 = 2*w, -16 = -4*w. Let p be (15/b + 1)/1. Suppose -p + 58 = 2*q. Is q a multiple of 13?
True
Suppose 0 = h + 5*z + 99, -3*z + 257 = -3*h + 2*z. Let r = -53 - h. Does 12 divide r?
True
Suppose 2*f + 0 + 7 = 3*q, -10 = -4*f - 2*q. Does 8 divide (f/(-2))/(5/(-120))?
False
Is 5 a factor of (102/(-5))/(-6)*5?
False
Let n be 2 + 1/((-1)/(-7)). Let a be ((-10)/(-4))/(-5)*-2. Let r = n - a. Does 8 divide r?
True
Suppose 0 = 2*b - 7 + 43. Let o = 3 - b. Suppose s = -2*j + 9, -2*s + o = -0*s + 3*j. Does 15 divide s?
True
Let y(u) = u + 11. Let g be y(-11). Suppose g = 3*l - 110 - 34. Does 16 divide l?
True
Let q(x) = -x + 18. Is q(6) a multiple of 4?
True
Let a = 20 - 46. Let y = 38 + a. Does 12 divide y?
True
Suppose g = 2*d - 4*d - 10, 20 = -4*d + g. Let i be d/(-2)*(-8)/(-10). Does 11 divide (i/(2/(-11)))/(-1)?
True
Suppose 2*u - 7*t + 9 = -2*t, 2*u - 15 = -3*t. Suppose r + 2 = -4*n - 2, u*n - 5*r = 20. Suppose n*g = 5*j - g - 167, g = -5*j + 173. Is j a multiple of 17?
True
Suppose 0 = 2*z - z + 2*s + 5, z + s = -1. Suppose -z*y = -4*y + 42. Does 21 divide y?
True
Suppose 5*o - 680 = 3*g - 4*g, 2*o - 272 = -5*g. Is 35 a factor of o?
False
Suppose 2*x - 6*x + 216 = 0. Is x a multiple of 15?
False
Let r = -17 + 21. Is 4 a factor of 5 + -1 + (r - 4)?
True
Suppose 0 = -6*y + 58 + 26. Is 2 a factor of y?
True
Let n(m) be the first derivative of -m**3/3 + 2*m**2 - m + 2. Let d be n(3). Is 9 a factor of 3/d*(16 - 4)?
True
Suppose -4*f + 84 = -f. Is f a multiple of 27?
False
Let d(a) = 0 - 4 - 3 + a**2 - 3*a + 0. Does 14 divide d(7)?
False
Suppose -5 - 49 = 3*j. Is (-2)/(-9) + (-266)/j a multiple of 5?
True
Let s(q) = -q**3 - 2*q**2 + 2*q + 2. Let b = -19 + 15. Is s(b) a multiple of 13?
True
Suppose -27*j + 44 = -25*j. Let n(p) = -7*p**3 - p**2 - p + 1. Let w be n(1). Let c = w + j. Does 14 divide c?
True
Let z = 1 - 4. Let p be 1/z + 26/6. Suppose -p*w + 100 = 3*q, -3*w - 3*q = -2*q - 80. Does 10 divide w?
False
Suppose 4*h + 144 = 6*h. Is h a multiple of 24?
True
Let x = 58 + 7. Does 13 divide x?
True
Let x = -19 + 55. Does 19 divide x?
False
Does 22 divide ((-1859)/(-39))/(1/6)?
True
Let q = -24 - -79. Is q a multiple of 15?
False
Does 14 divide 18/(-12) + 1 - (-85)/2?
True
Is 4 a factor of 1 + 5/(-3) - 5800/(-87)?
False
Suppose -65 - 35 = -2*y. Suppose -y = 2*g - 5*o, -2*g + 0*o - 5*o = 90. Let z = 63 + g. Does 14 divide z?
True
Let v(j) = -8*j + 12. Is v(-5) a multiple of 13?
True
Suppose -49 = 15*b - 679. Is b a multiple of 3?
True
Let n(o) = -31*o - 2. Does 7 divide n(-1)?
False
Let t(o) = -o**2 + 3*o + 2. Let q be t(-3). Let z = 10 - q. Is z a multiple of 26?
True
Let y be (-3)/(1/(-1)) + 0. Suppose 2*z + 5 = y*z. Is z a multiple of 5?
True
Let h(r) = -r + 4. Suppose -2*u + 5*i + 0*i + 9 = 0, 3*u - 2 = -4*i. Suppose -2*j = -u*p + 5*p + 15, -4*p + j = 31. Is 4 a factor of h(p)?
False
Let q = 4 + 9. Does 7 divide 6 + q + (0 - -2)?
True
Suppose 4*u - 43 = -115. Is 12 a factor of (600/u)/((-6)/9)?
False
Suppose 6 = -4*y - 10. Let q(p) = p**2 + 2*p - 5. Let n be q(y). Suppose 0 = -n*l - 2*o + 6, o - 2*o = -l + 7. Is 4 a factor of l?
True
Suppose -121 = -4*r - 4*o + 103, -5*o + 174 = 3*r. Suppose 0 = 5*n - r - 12. Is 13 a factor of n?
True
Let t(v) = 3*v**2 - v - 1. Let f be t(2). Let k be 6/f + 20/6. Suppose k*m + 0*m - 52 = 0. Does 13 divide m?
True
Let l(c) = -2*c - 1. Let p be l(7). Let w = p - -34. Does 19 divide w?
True
Suppose 84 = 7*w - 3*w. Let z = w + 31. Is 13 a factor of z?
True
Let z be 2 + 1 - 45/3. Let o be 4/(-3) + 8/z. Does 9 divide 5*(2 + (o - -5))?
False
Is (3/(0 + 3))/(2/162) a multiple of 9?
True
Suppose -3*t + 2*z + 26 = 2*t, 0 = 5*t - 4*z - 32. Suppose 45 = -t*h + 13. Does 3 divide (h/(-6))/(2/12)?
False
Suppose -4*r - 3 = 21. Let w = r - -10. Suppose -3*n + y = -72, 0*y + w*y - 120 = -5*n. Does 24 divide n?
True
Suppose 0 = -4*k + 22 + 18. Is 3*3/(9/k) a multiple of 4?
False
Suppose 2*s - 25 - 57 = 3*d, -s = 5*d - 15. Is 25 a factor of s?
False
Let s(k) = k**2 - 2*k + 32. Is s(0) a multiple of 9?
False
Suppose -u - u = -86. Is u a multiple of 7?
False
Let k = 88 + -58. Is 15 a factor of k?
True
Let h(i) = -i**2 - i + 7. Let f be h(0). Suppose -f = -2*b + 3. Is b even?
False
Let x = 53 - -1. Is 18 a factor of x?
True
Let i be ((-2)/6)/((-13)/78). Is (i - 1)*-1 - -42 a multiple of 15?
False
Suppose -k + 5*l - 21 = 0, 4*l = 4*k - 0*k + 4. Let s(i) = i**2 - 4*i + 5. Is s(k) a multiple of 2?
False
Let t(a) = 2*a**3 - 5*a**2 - 3*a. Let h = -3 - -3. Suppose -4*n + 4*v - 4 = h, -3*n + 20 = 2*v - 2. Is t(n) a multiple of 18?
True
Let d(c) = -5*c - 14. Is d(-8) a multiple of 11?
False
Suppose -28*h = -21*h - 3437. Does 62 divide h?
False
Let c = -1 - -3. Suppose c*q + 60 = 6*q. Does 10 divide q - (1 + 1)*-1?
False
Let b = 4 + -1. Suppose -11 = b*i - 2, 69 = 2*y + i. Is 14 a factor of y?
False
Suppose -2*u = -5*u. Suppose -4*a + 64 = -u*f + 4*f, 50 = 3*a + 4*f. Is 14 a factor of a?
True
Suppose -4*d + 0*s + 5*s = -10, 0 = -3*d + 3*s + 9. Let q = -2 + 2. Suppose 2*m + 3*k + q*k - 16 = 0, -m + d*k + 8 = 0. Does 8 divide m?
True
Let m be (-3)/(-12) - (-1)/(-4). Suppose 2*d = -m*d + 92. Is d a multiple of 23?
True
Suppose 0 = 8*r - 87 - 585. Is r a multiple of 14?
True
Let o(a) = a**3 - 6*a - 3. Let r be o(-4). Let j = -60 + -3. Let v = r - j. Does 10 divide v?
True
Suppose 2*a - 12 = 4*a. Does 12 divide ((-8)/(-10))/(a/(-90))?
True
Suppose -88 = -2*u + 66. Suppose -2*z + u = 3*y + 5, 0 = 2*y + 4*z - 56. Does 22 divide y?
True
Suppose -7*g + 110 = -5*g. Is g a multiple of 11?
True
Let w(d) = d**2 + 65. Does 6 divide w(0)?
False
Suppose -2*c + 163 + 53 = 0. Suppose 483 = 5*l + c. Does 23 divide l?
False
Let l(o) = 13*o + 7. Let r(w) = -7*w - 4. Let f(a) = 3*l(a) + 5*r(a). Suppose 4*g - 20 = -5*x - 1, -8 = -2*x - 2*g. Does 13 divide f(x)?
True
Suppose -4*v + 2*v - 8 = -p, 32 = 4*p - 4*v. Is p a multiple of 3?
False
Suppose 4*b = -18 + 218. 