/144 + g**5/60 - g**4/3 - 5*g. Let x(t) be the third derivative of n(t). Does 3 divide x(6)?
False
Let z be 14/6 + (-2)/(-3). Suppose -j - z*j = -164. Does 10 divide j?
False
Is 47 a factor of (-9807)/(-9) + (-92)/(-69)?
False
Let a(s) = -4*s - 8. Let j be a(-4). Let l(f) = f**2 - f - 1. Let r(p) = 5*p**2 - p - 6. Let d(o) = 6*l(o) - r(o). Is 8 a factor of d(j)?
True
Let v = -19 - -24. Suppose p + v = 0, 0 = -4*m + 5*p + 109 + 76. Is m a multiple of 40?
True
Let w = -6 + 10. Suppose -w - 8 = -3*z. Suppose 49 - 5 = z*s. Is s a multiple of 11?
True
Let u be -3 + 1 + 2 + 43. Let h = u - 37. Does 6 divide h?
True
Suppose 5*i - i = -36. Let b be (-4)/12 - 21/i. Suppose -4*w - 3*z = -130, -b*w + 4*z + 103 - 27 = 0. Is 7 a factor of w?
False
Let w(f) = 2*f - 11. Let n be w(11). Let o(y) = 2*y**2 - 14*y + 8. Is 14 a factor of o(n)?
False
Let l be (-8)/(-20) - 48/(-5). Let q be 10/4*(24 - l). Suppose q = 3*k - 10. Is 8 a factor of k?
False
Suppose f - 434 = -d - f, 3*d = -2*f + 1282. Is 32 a factor of d?
False
Suppose o + 2*o = 12. Suppose 0 = -4*c + l + 54, -c + o*c - 2*l - 38 = 0. Suppose 0 = -3*h - 5 + c. Is 2 a factor of h?
False
Suppose 238*q - 241*q + 72 = 0. Does 8 divide q?
True
Let v be ((0 - 2) + 3)/(-1). Let l be -4 - (16/(-1) - 4). Is 9 a factor of l + -12 - v*21?
False
Does 37 divide (-90 - -16)*(-58)/4?
True
Let p be (-5)/2*16/(-20). Suppose -3*m - p = 16. Let w(v) = v**3 + 9*v**2 + 5*v - 6. Is 18 a factor of w(m)?
True
Let n(v) = -v**3 - 9*v**2 - v + 6. Let k be n(-6). Let t be 4 + -2 + -3 - k. Let y = t + -68. Is 7 a factor of y?
False
Let o(q) = q**3 - 13*q**2 - 8*q + 141. Is 49 a factor of o(18)?
True
Suppose 3*s - 2368 = 422. Does 15 divide s?
True
Let x be 3*(-65)/(-15)*1. Suppose x = p - 3*n - 0, 0 = -3*p - 3*n + 51. Is p a multiple of 9?
False
Suppose 4*x = 4*l - 1196, 22*x - 19*x + 602 = 2*l. Does 43 divide l?
False
Let c(k) = -k**3 + 6*k**2 - 5*k + 4. Let r be c(5). Suppose -4*o + 312 = 3*s, s = r*o - 0*o - 296. Is o a multiple of 25?
True
Does 14 divide 3*((-3083)/(-12) - (-11)/(-44))?
True
Let p be (-2)/3 + 22/6. Suppose 9 = -s + 13. Suppose -3*x + 4*v + 0 + 26 = 0, p*v = -s*x + 68. Is x a multiple of 7?
True
Suppose -15 = 3*i + 5*q, 5*i + 3*q = -8 - 1. Let b be ((-123)/6)/(3/(-6)). Suppose i = z - p - 37, z - 2*p = -0*p + b. Is 10 a factor of z?
False
Suppose 4*f = -2*v + 2, 3*f - f = v + 7. Suppose 4*h - 10 = f*h. Suppose h*u + 0*u - 45 = 0. Is 9 a factor of u?
True
Suppose -o = -3*t + 9, 21 = 3*o + 2*t + t. Suppose -o*d = -410 + 17. Is d a multiple of 29?
False
Let v(z) = -z**3 + 27*z**2 + 31*z + 63. Does 21 divide v(28)?
True
Let f be (-2)/4 + 44/8. Suppose l - f + 4 = 0. Does 15 divide (5 + l)*15/2?
True
Let p be 4*(2 + 10/(-4)). Let a = -22 - -16. Does 4 divide 17 + 3 + (a - p)?
True
Let t(l) = 3*l + 4. Let o(s) = 4*s + 4. Let q(m) = -2*o(m) + 3*t(m). Let z be q(-4). Suppose 2*a + 3*w = -2*w + 36, z = 5*a - 3*w - 90. Does 4 divide a?
False
Suppose -28497 = -163*o + 142*o. Does 23 divide o?
True
Suppose -115 = -t + 60. Let d = -97 + t. Is d a multiple of 42?
False
Suppose 17*x - 1769 - 4096 = 0. Is x a multiple of 54?
False
Let j = -58 + 279. Is j a multiple of 10?
False
Let g = 248 - -41. Is g a multiple of 4?
False
Let u(v) = 42*v - 2. Let p(h) = 43*h - 2. Suppose 4 + 11 = -5*m. Let n(q) = m*u(q) + 4*p(q). Is 14 a factor of n(2)?
False
Suppose 4*o = -3*i, i = 5*o - 4 - 15. Let k = 2 - i. Does 20 divide k/4*(-2196)/(-54)?
False
Suppose -12*z + 596 = 200. Is z even?
False
Let t be 9/(-6)*12/(-9). Let s(p) = -7*p**3 + 2*p**2 + 4*p - 2. Let u(g) = -15*g**3 + 4*g**2 + 9*g - 5. Let c(y) = t*u(y) - 5*s(y). Is 16 a factor of c(2)?
False
Let o = 956 + -486. Is 10 a factor of o?
True
Suppose -8*q + 13*q = 20. Suppose -3*b + 91 + 165 = q*h, h = -3*b + 64. Suppose h = 5*l - 6. Does 7 divide l?
True
Suppose 0*q - 4*c - 256 = -q, 0 = q + 2*c - 262. Suppose 5*h - 5*i - q = 0, -12 + 147 = 3*h + 4*i. Is 15 a factor of h?
False
Suppose 0 = 7*d - 854 - 1204. Does 49 divide d?
True
Let c(x) = 6*x**2 - x - 134. Is 28 a factor of c(15)?
False
Suppose -4*k + 9*k - 7137 = -j, -2*j - 1434 = -k. Does 28 divide k?
True
Does 20 divide 42/7*(-3)/6 - -43?
True
Suppose 7*t - 3*t - 16 = 0. Suppose -t*h = 18 - 158. Is h a multiple of 16?
False
Suppose -3*g - 397 = 4*w + 2*g, 0 = -4*w + 2*g - 362. Suppose -5*c + 2*u - 137 = -u, 2*u = 3*c + 83. Let z = c - w. Does 19 divide z?
False
Let d(u) = 2*u**3 + 5*u**2 - 2*u - 4. Let q(y) = -y + 5. Let k be q(-6). Let o = k - 8. Is 16 a factor of d(o)?
False
Suppose 7*g - 3*g = 32. Suppose 2*q + 16 = l + 5, 4*q = 3*l - 17. Is 7 a factor of 2/g - 214/q?
False
Is -1*2 + 29 + 962 a multiple of 23?
True
Let h(o) = -o**2 - 18*o - 22. Let d be h(-20). Does 19 divide ((-48)/(-9))/(d/(-30) + -2)?
False
Let m = 1560 + -824. Is 32 a factor of m?
True
Let t(l) = 7*l - 2. Suppose 4*u - 6*u = -8. Suppose o - u = -0*o. Is 13 a factor of t(o)?
True
Suppose 8*w + 160 = 4*w. Let n = w + 43. Does 3 divide (-6 + n)/(9/(-15))?
False
Suppose -r - 2 = -5*r - b, 0 = 2*r - 5*b - 12. Is ((-1)/3)/(r/(-3*47)) a multiple of 23?
False
Suppose -3*h - 120 = h. Let b = h - -134. Is b a multiple of 9?
False
Let l = 1443 + -1420. Is l a multiple of 2?
False
Let u(a) = 23*a - 7. Suppose w - 9 = -3*f + 10, 4*w = 2*f + 6. Let p be u(f). Let q = p - 76. Does 11 divide q?
False
Let r = -30 + 33. Let q(m) = 2*m**2 + 3*m - 1. Let o be q(r). Is 12 a factor of (9 - 10) + o/2?
True
Suppose 5*r = r - 40. Let o = 44 + -42. Is 45/o - 5/r a multiple of 6?
False
Let n(u) = u**3 - 4*u**2 + 4*u + 3. Let g be n(3). Suppose 26 = 5*x + g. Does 4 divide x?
True
Suppose -5254 - 2846 = -9*d. Is 60 a factor of d?
True
Suppose 0*j - 3*z - 100 = -j, -5*z = -2*j + 204. Does 8 divide j?
True
Let d(i) = 6*i**3 + 5*i**2 - 6*i + 4. Let a be d(3). Let k = -91 + a. Is k a multiple of 36?
False
Let s(m) = -3*m - 19. Let f be s(-4). Does 46 divide ((-483)/(-6))/f*-20?
True
Let j(o) = -4*o - 10. Is 11 a factor of j(-8)?
True
Let i = 80 - 54. Let j be (3 - 7)/((-4)/i). Suppose 2*m - j - 46 = 0. Does 15 divide m?
False
Let v(g) = 14*g**2 + 6*g - 1. Let p be v(-2). Suppose -p = -b + 24. Is 5 a factor of b?
False
Let u(a) = a**3 - a**2 + a - 1. Let c be u(2). Suppose j = -5*q - j + 263, 3*j = -c*q + 262. Suppose -5*b + q = -57. Does 22 divide b?
True
Suppose -21*f - 47656 = -49*f. Is 23 a factor of f?
True
Suppose -3*h = -27 - 60. Suppose 0 = -34*k + h*k + 75. Is 3 a factor of k?
True
Let t(g) = -g + 1080. Does 60 divide t(0)?
True
Suppose -2*o = -841 - 39. Is 11 a factor of 1*4 + o/11?
True
Let s = 1 + 0. Let c = -151 + 154. Suppose 0 = -0*n - c*n - 3*m + 15, -n - 2*m = -s. Is 9 a factor of n?
True
Let r(w) = w**3 + 5*w**2 + 3*w. Let t be r(-3). Let z be ((-6)/(-4))/(t/60). Suppose -z*d = -11*d + 9. Is 3 a factor of d?
True
Let d be 4 + (-1)/(-3 - -2). Suppose 7*v - 180 = d*v. Does 9 divide v?
True
Let c be ((-2)/(-4))/((-2)/(-8)). Let g = 0 + c. Does 8 divide (-147)/(-6) + g/(-4)?
True
Suppose -5*c = -3*b - b - 93, -91 = 4*b - 3*c. Let r = 78 + b. Is 21 a factor of r?
False
Let d be (-4)/(-2) - (5 - 7). Suppose f + 25 = -d*f. Does 2 divide f/(-2) - 3/6?
True
Let q = -15 - -17. Let d(m) = 9*m**2 + 2*m**3 + q*m**2 - 11 - m**3 + 0*m**3 - 3*m. Is 14 a factor of d(-11)?
False
Suppose 29 + 10 = f. Let j = 64 - f. Is j a multiple of 5?
True
Suppose 4*l + 2*q - 11 = 23, -4*q = -2*l + 22. Suppose l = z - 6. Does 2 divide z?
False
Let r(n) = n**3 + 7*n**2 + 2*n + 17. Let t be r(-7). Suppose -t*j - 48 = -366. Suppose 2*q - a - 34 = q, -3*q + 4*a + j = 0. Does 5 divide q?
True
Suppose -779 = -2*p - 5*o, -3*o = -4*p - p + 1932. Does 9 divide p?
True
Suppose 3*l = 4*h - 69, 3 = 2*h + 3*l - 18. Let n = 15 - -73. Let f = n - h. Is 22 a factor of f?
False
Suppose -2*j + 14 = 2*h, -3*h = -5*h + 3*j + 4. Suppose -3*z + r + 3*r + 56 = 0, h*r - 65 = -3*z. Is z a multiple of 10?
True
Let q(x) be the first derivative of x**3/3 + 5*x**2/2 + 16*x + 8. Let i be q(-7). Suppose -5*p = -i - 35. Does 13 divide p?
True
Let b = 90 + 129. Let u be b/3 - (2 - 3). Suppose -5*c + u = 29. Is c a multiple of 5?
False
Let k(z) = -8967*z + 305. Let g(s) = 59*s - 2. Let n(i) = 305*g(i) + 2*k(i). Let w be n(1). Suppose w = b - 51. Is 29 a factor of b?
False
Suppose 48*r - 3 = 47*r. Suppose 4*b - 3*b + 200 = r*w, -4*w = -