14 a factor of o(14)?
True
Suppose b - 71 = -0*b - 3*o, 0 = -2*b + o + 156. Suppose 82 = k - z - b, -620 = -4*k - 4*z. Does 19 divide k?
False
Let d(j) = -j + 25. Let z be d(0). Let b = z - 30. Let r = b + 16. Is r a multiple of 10?
False
Suppose 875*g - 896*g = -27909. Is 7 a factor of g?
False
Let d be ((-2)/3)/((-4)/888*4). Suppose -4*l - 16 - 5 = -v, v = -4*l + d. Does 9 divide v?
False
Is 15 a factor of (42 + 3)*-1*-1?
True
Let s(d) = 15*d**2 + 6*d. Does 19 divide s(4)?
False
Suppose 2*l + 3*k - 3171 = 0, -24*l + 4*k = -27*l + 4756. Is 9 a factor of l?
True
Let q = 287 + -31. Does 16 divide q?
True
Suppose -3*x + 5 = g + 4, 0 = -3*x. Let c(i) = 5*i**3 - 3*i**2 + 2*i - 4. Let w(n) = n**2 - n + 1. Let d(m) = g*c(m) + 2*w(m). Does 27 divide d(2)?
False
Let j(i) = i**2 + 6*i + 7. Let a be j(-5). Suppose h + a*s = -3*h + 8, 0 = -5*s - 10. Does 3 divide -2 + h + 1*8?
True
Let f be -13*(0 + 4)/4*36. Is 52 a factor of (-1)/((-30)/f)*20/(-6)?
True
Suppose w - 29 = 4*m, -7*w + 4*w + 3*m + 51 = 0. Suppose -35 = -p - w. Does 9 divide p?
False
Let p be (-1)/(-2) - 9/(-6). Does 2 divide (2/p)/1*15?
False
Let q = -30 + 561. Is q a multiple of 75?
False
Let t = 1187 + -711. Is 68 a factor of t?
True
Suppose a + 3*g = -3*a - 1, -2*g + 2 = 4*a. Suppose -6 = 2*c + 3*n + 13, -a*c + 4*n - 54 = 0. Let q = c + 77. Is 30 a factor of q?
True
Let b(v) = -8*v + 30. Let c be b(-12). Does 32 divide -3 - (14/3)/((-14)/c)?
False
Suppose -4*f - f = -90. Suppose 6 = -4*r - f. Let l(y) = -y**3 - 7*y**2 - 6*y + 5. Is l(r) a multiple of 5?
True
Suppose -t - 25 - 3 = 0. Let r = -5 - t. Is r a multiple of 15?
False
Is 11 a factor of 24/4 + (0 - 1)*-900?
False
Let o = 110 + 32. Let j = -63 + -27. Let z = o + j. Is z a multiple of 26?
True
Let u(y) = 5*y**2 - 7*y - 40. Does 6 divide u(-5)?
True
Suppose 8*r - 6*r + 262 = 0. Let p = -59 - r. Is 18 a factor of p?
True
Let u(c) = -3*c**3 + 11*c**2 + 19*c - 5. Is u(-6) a multiple of 25?
True
Let a(n) = n**3 + 4*n**2 - 16*n - 7. Let p be a(-6). Let k = 53 - p. Is 12 a factor of k?
True
Let c be (-60)/(-70)*14/3. Suppose 2*w + c*w = 618. Does 17 divide w?
False
Let g = -11 + 20. Let y be (-1)/(3/g - 0). Does 15 divide 30/(((-24)/4)/y)?
True
Suppose 3*d - 95 = -5*m, -3*m + 57 = -3*d - 2*d. Suppose -4*y - 12 = 4*v, -7*v - 11 = 5*y - 3*v. Let u = y + m. Is 6 a factor of u?
False
Let w(a) = a**2 + 3*a + 5. Let t = 3 + 12. Let y be 15/(-6)*18/t. Is 2 a factor of w(y)?
False
Let i = 277 - 34. Let s = i - 169. Does 5 divide s?
False
Suppose 9*o + 8556 = 29535. Is 117 a factor of o?
False
Suppose -4*f + 319 = -5*z, -12 = f + 5*z - 98. Is 9 a factor of f?
True
Let p(m) = -m**3 - 14*m**2 + 15*m + 8. Let r be p(-15). Let a = 29 + -212. Is 12 a factor of a/(-4) + 2/r?
False
Suppose -82 = o + j - 303, 671 = 3*o + 5*j. Is 14 a factor of o?
False
Let h(q) = -q**2 + 11*q + 3. Let s(n) = 4*n - 1. Let u be s(3). Let b be h(u). Suppose -b*l = -3*j - 60, -25 = -4*l - 2*j + 31. Is l a multiple of 4?
True
Suppose 2*n + 66 = 4*n. Suppose 0 = 28*t - n*t + 210. Does 21 divide t?
True
Let m(u) be the third derivative of -u**6/120 + u**5/60 - u**4/24 + 17*u**3/6 + 3*u**2. Let z be m(0). Is 4 a factor of (z + -2)/3 - -2?
False
Suppose 0 = 4*o + 4*v - 7*v - 1305, -5*o = v - 1636. Suppose -4*j + 319 = -5*p, -4*j - 1 = 2*p - o. Does 17 divide j?
False
Suppose -36 = -w + 1. Suppose 7 = 6*l + w. Is (-20)/l - (1 + -14) a multiple of 17?
True
Let q = -59 - -66. Suppose -q*o + 200 + 171 = 0. Is o a multiple of 6?
False
Let j(r) = -r**3 - 7*r**2 + 19*r - 20. Is 15 a factor of j(-11)?
True
Let q(w) be the second derivative of -w**5/60 + 13*w**4/24 - w**3/3 + w**2 + 10*w. Let m(p) be the first derivative of q(p). Is 11 a factor of m(9)?
False
Does 17 divide -3*(-6)/(-30) + 68916/60?
False
Suppose 4*t + 3*q - 24 = t, -2*t - 4*q + 8 = 0. Is (t/2 - -1)*7 a multiple of 10?
False
Let v(u) = -77*u. Does 11 divide v(-3)?
True
Suppose 3*p - 2*a = 5*p - 3530, 3*p - 5295 = -4*a. Is p a multiple of 95?
False
Suppose 0 = 5*m + j + 102, -4*j - 84 = 3*m - 16. Is ((-46)/(-5))/((-2)/m) a multiple of 10?
False
Let i = -9 + 17. Let t(x) = x**3 - 7*x**2 - 5*x - 2. Does 5 divide t(i)?
False
Let a(v) = v**3 + 18*v**2 + 18*v + 18. Does 47 divide a(-15)?
True
Suppose n = 5*r - 2049, 4*r - 4*n + 225 = 1877. Suppose -r + 105 = -4*u. Is u a multiple of 19?
True
Is 36 a factor of (576/84)/((-10)/(-1505))?
False
Is 63 a factor of (-112)/10*135/(-6)?
True
Suppose 4*j + 2*g = 2020, 3*g = -5*j + j + 2022. Is j a multiple of 21?
True
Does 8 divide 24/(-468) + (-77815)/(-195)?
False
Let b(u) be the first derivative of u**4/4 + 2*u**3/3 - 3*u + 3. Is 15 a factor of b(4)?
False
Suppose 2*g - 13 = b + 100, 2*b - 6 = 0. Suppose u - 146 = -4*a, -5*a + 124 + g = u. Is a a multiple of 9?
True
Suppose -4*h + 411 + 148 = -u, 0 = 2*h + u - 275. Let y = h + -258. Let b = y - -171. Is 26 a factor of b?
True
Let t = -2 - -5. Suppose -12 = -4*o + t*o. Is o a multiple of 4?
True
Let r(z) = 2*z**3 + 4*z**2 + 3. Let h = -15 - -18. Let k be r(h). Let o = k - 15. Does 20 divide o?
False
Suppose 4*m - 23 = 97. Let k = m + 2. Is 16 a factor of k?
True
Let k(h) be the second derivative of h**4/12 + h**3 - 5*h**2 + 26*h. Let v be -1 + (-2 - -3 - 9). Is k(v) a multiple of 4?
False
Let d = 620 - 354. Let h = -141 + d. Is h a multiple of 25?
True
Suppose 0 = -87*g + 83*g + 5432. Is 125 a factor of g?
False
Let a(c) = -c**3 + 2*c**2 - 2*c - 4. Let q be a(-3). Suppose -q = -5*h - 2*w, -h + 4*w + 9 = -18. Suppose 8*u - h = 7*u. Is 4 a factor of u?
False
Let m(d) = -d**3 - 10*d**2 - 11*d - 19. Let h be m(-9). Is (-56)/(((-5 - h) + 8)/(-2)) a multiple of 14?
True
Let x(p) = p**2 - 12*p - 20. Let b be x(14). Suppose 4*g = b*g - 124. Is 22 a factor of g?
False
Let v = 79 - 76. Suppose -v*r - 377 = -2*i + 2*r, -3*r + 183 = i. Is i a multiple of 13?
False
Let z(i) = -2*i + 183. Is z(13) a multiple of 29?
False
Let w be (-36)/((-3)/1) + 2. Let y be 12/7 - w/(-49). Let n(a) = a**2 + 2*a - 2. Does 3 divide n(y)?
True
Let h(m) = m - 9. Let q(a) be the third derivative of a**5/5 + a**3/6 - 12*a**2. Let o be q(-1). Is 4 a factor of h(o)?
True
Let x = -18 - -20. Suppose -4*a + 185 = 5*l + a, x*l + 3*a - 79 = 0. Does 10 divide l?
False
Let k = 270 - 255. Let r(y) = -y**3 - 9*y**2 - 5*y + 7. Let j be r(-8). Let o = k - j. Is o a multiple of 11?
False
Suppose 0 = 2*g - 5 + 1. Suppose -g*b + 3*s + 47 = 0, 5*b = b + s + 109. Does 4 divide b?
True
Let x(q) be the first derivative of q**5/60 - 5*q**4/24 + 5*q**3/3 - 2*q**2 + 6. Let g(i) be the second derivative of x(i). Is g(7) a multiple of 8?
True
Let h = 18 + -16. Suppose 5*z - 168 = h*z. Does 14 divide z?
True
Is -1*7 + (1562 - (7 + -20)) a multiple of 56?
True
Suppose 3*p + 6 = 5*p. Suppose p*m = -s - 0*m + 13, 35 = 5*s + 5*m. Suppose -s*g + 141 = -115. Is g a multiple of 16?
True
Let y = 27 - 39. Let h be (4/y)/(1/(-33)). Does 10 divide (-2988)/(-99) - 2/h?
True
Let b(n) = 2*n**2 - 6*n + 3. Let m be b(3). Suppose -4*v + m - 51 = 0. Is 11 a factor of ((-44)/3)/(v/18)?
True
Let t(u) = 31*u**3 + 2*u**2 - 2*u + 1. Is 7 a factor of t(1)?
False
Is 2 + (-14)/8 - (-11922)/24 a multiple of 71?
True
Suppose -3*m + 19 = -8. Let z = 52 + m. Is z a multiple of 26?
False
Does 19 divide (31464/(-460))/((-2)/(-460)*-3)?
True
Let p(y) = -y**2 - 2*y + 17. Let x be p(0). Suppose -4*a + 3*a = -x. Is a even?
False
Let t be (-4)/18 - (-172)/(-36). Let k(g) = 6*g**2 + 5*g + 5. Let p be k(t). Suppose -5*b = -3*s + 36 + p, 3*b = -15. Is s a multiple of 13?
False
Let d be (-48)/(-4) - (4 + -1). Suppose -11*q = -d*q. Suppose -75 = -3*b - q*b. Does 7 divide b?
False
Let j(r) be the second derivative of 7*r + 11/2*r**2 + 0 + 1/2*r**3 - 1/20*r**5 - 1/3*r**4. Is j(-5) a multiple of 6?
False
Let v be (-3782)/(-10) - (-2)/(-10). Suppose o = -o + 3*z + v, -z = -4*o + 776. Does 13 divide o?
True
Suppose -4*m - 2*z + 76 = 0, -5*m + 0*z + 84 = -3*z. Suppose m + 2 = 4*t. Suppose 5*p = p - u + 133, -t = -5*u. Is p a multiple of 12?
False
Is 1 + (-1442)/((-3)/((-9)/(-6))) a multiple of 38?
True
Let r(u) = u**3 + 13*u**2 + 9*u - 17. Is 12 a factor of r(-7)?
False
Suppose 596 = 7*g - 664. Suppose -g - 116 = -4*y. Let m = y - 40. Does 17 divide m?
True
Suppose m - 57 = -38. Is 4 a factor of m?
False
Is 10 a factor of (-3 + (-198)/(-15