 - 5. Let h = -1 + a. Suppose 0 = -h*d + 1 + 19. Does 5 divide d?
True
Does 23 divide -1*(0 - -2) + (225 - -7)?
True
Let t(s) = -s**3 + 2*s**2 - 1. Let v be t(1). Suppose -x + 6 = -v. Does 2 divide x?
True
Let g(y) be the third derivative of y**6/120 - 3*y**5/20 + y**4/12 - 5*y**3/3 - y**2. Let z be g(9). Suppose 4*j - z = -0*j. Does 2 divide j?
True
Let a be 36/(-20) + 8/10. Does 17 divide a/(1 - (-54)/(-51))?
True
Suppose -4*a = 4*o - 308, 2*a = 7*a + 4*o - 385. Does 11 divide a?
True
Is 4 a factor of -5*(-5)/(15/6)?
False
Is -18*(2/(-6))/((-13)/(-39)) a multiple of 3?
True
Let m(q) = 8*q**2 + q - 6. Is 20 a factor of m(-3)?
False
Suppose -6*d + d = -875. Let x = d - 79. Does 13 divide x?
False
Let q(n) = 2*n**3 - 4*n**2 + 3*n - 2. Let v be q(2). Let w be 1/(-3) + 34/3. Let a = w - v. Is a a multiple of 5?
False
Let s be 1 + (-2)/((-3)/3). Let d be (s + -3 + -2)*-2. Is 2 a factor of (d/12)/((-2)/(-30))?
False
Let w(x) = x + 35. Does 5 divide w(0)?
True
Let y(p) = -p + 15. Does 3 divide y(12)?
True
Suppose -109 = 5*c - 874. Suppose b = -2*b + c. Does 23 divide b?
False
Suppose -2*y = 3*w - 144, 3*w = -y - w + 67. Is y a multiple of 12?
False
Let h(f) be the third derivative of f**6/120 + f**5/15 - 5*f**4/24 + 7*f**3/6 - 3*f**2. Does 3 divide h(-5)?
False
Is 5 a factor of (21 - (-1 - -5))*1?
False
Suppose 1581 = 3*t + 2*t - b, -4*b + 944 = 3*t. Is 17 a factor of t?
False
Suppose 37 + 23 = 4*v. Is v a multiple of 5?
True
Let c(s) = -s + 8. Let b be c(5). Suppose -12 = -3*o - b. Suppose x - o*u - 11 = 0, 0*x - 29 = -2*x - u. Is x a multiple of 6?
False
Suppose 5*w - 4*w - 82 = -3*z, 80 = 3*z - w. Suppose s = 4*s - z. Does 9 divide s?
True
Let m be (-12)/(2/(-1)) - -2. Suppose 4*w - m = 2*w. Suppose -w*q - 3*d = -138, 3*q + d - 101 = -0*d. Is 17 a factor of q?
False
Is 15*(-1 - (-5 + 1)) a multiple of 22?
False
Suppose 0 = -h - 3*h + 24. Does 22 divide 2/4*h - -19?
True
Let g = -65 + 99. Does 18 divide g?
False
Let p = -83 - 83. Does 9 divide (-4)/6 - p/6?
True
Suppose 0 = 2*t + 2*g - 8, -3*g = 3*t - 6*g. Suppose t*c + 3 = 7. Suppose -3*w = c*y - 122, 2*w - 3*y - 75 = 2*y. Is w a multiple of 16?
False
Let j(d) = 11*d**2 - 2*d + 1. Let r be j(1). Let g = -7 + r. Does 3 divide g?
True
Is ((-135)/(-36))/((-2)/(-8)) a multiple of 5?
True
Suppose 2*u - 180 = -34. Does 14 divide u?
False
Let j(m) = m**3 - 5*m**2 - 5*m + 13. Is j(7) a multiple of 15?
False
Does 24 divide ((-373)/(-2))/(3/6)?
False
Let x = -105 + 168. Does 9 divide x?
True
Suppose 266 = 4*x + 2*q - 0*q, -q - 1 = 0. Is 28 a factor of x?
False
Let b(p) = p + 6. Let x be 4/(-14) - 4/(-14). Let v be (2 - 2)*(x + 1). Does 5 divide b(v)?
False
Let g(i) = 2*i**2 - 4. Is 7 a factor of g(3)?
True
Suppose 6*n = n + 3*r + 1459, -3*n - r + 867 = 0. Does 59 divide n?
False
Let f(g) = g**2 - 4*g + 4. Let b be f(-4). Let d = -16 + b. Is 10 a factor of d?
True
Does 17 divide 8529/21 - (-7)/(-49)?
False
Suppose 2*a - 18 = 16. Let q = a + -5. Does 9 divide q?
False
Let f(m) = -1. Let j(d) = 4*d + 4. Let l(r) = 3*f(r) + j(r). Suppose 3*z + 5*h - 26 = 0, 5*z - 3*h + 2 = -0. Is l(z) a multiple of 5?
False
Is -6 + (-4228)/(-21) - 2/6 a multiple of 16?
False
Suppose 0 = -5*r - 5*y + 725, -4*r + y + 605 = -0*y. Suppose 3*n + 4*c = 104, -r = -n - 4*n + 5*c. Is n a multiple of 8?
True
Let z(r) = 3*r**2 + r - 2. Let s be (-7 - 1)*1/(-1). Suppose -3*l + s = -7*l. Is 8 a factor of z(l)?
True
Let m = -41 + 69. Is 14 a factor of m?
True
Let o(l) = l**2 + l - 9. Is 11 a factor of o(4)?
True
Let d(k) = -8*k - 3. Does 17 divide d(-4)?
False
Let p(h) = 3*h**2 - 3*h. Is p(5) a multiple of 25?
False
Let q(r) = -5*r**3 + r**2 + 5*r + 2. Is q(-3) a multiple of 17?
False
Suppose 2*g = 4, -3*p + 0*g + 271 = -4*g. Let n = -63 + p. Is 10 a factor of n?
True
Let j = -16 + 50. Suppose -c - j = -6. Let y = -20 - c. Is y a multiple of 8?
True
Let q(y) = 4*y**2 + 2*y - 2. Let c be q(2). Let r = -7 + c. Is r a multiple of 11?
True
Let m(o) be the first derivative of 2*o**2 - o + 3. Let s be m(-1). Does 19 divide 1/s - 1337/(-35)?
True
Suppose -8 = -o + 5*o. Is 5*((-176)/10)/o a multiple of 22?
True
Let l = 16 - 11. Let h = -4 + l. Is (4 + h)*1 - -1 a multiple of 3?
True
Let s = 4 - 1. Let a be ((-13)/s)/((-1)/3). Suppose -3*n - 7 = -2*u, 3*u + 4*n = 6 + a. Does 5 divide u?
True
Let p(s) = -s**2 - 6*s - 3. Let f be p(-5). Suppose -5*w - 5 = 2*q, -q = 3*q + f*w + 2. Suppose q = -2*v - v + 105. Does 12 divide v?
False
Let t = 8 - 6. Suppose 2*w - 60 = 4*j, 3*j - t - 3 = -w. Is w a multiple of 11?
False
Suppose 3*f - 5*r - 197 = 0, f - 65 = r + r. Is f a multiple of 22?
False
Let w(s) = 58*s + 1. Suppose 0 = 3*u - 2 - 1. Let a be w(u). Suppose 4*l + 23 = a. Is 9 a factor of l?
True
Suppose -3*u - j + 171 = -0*j, 4*u - 247 = 5*j. Suppose -o + 2 = -u. Is o a multiple of 24?
False
Let p(q) = -q**3 + q**2 + q + 2. Let k be p(0). Is (10 - k)/(4/10) a multiple of 11?
False
Is ((-1)/2)/(22/(-1364)) a multiple of 7?
False
Suppose 0 = -3*l - 2*v + 10, -6*l + 3*l + 8 = v. Suppose 0 = l*y - 3*y + 15. Let b = y + 13. Does 15 divide b?
False
Let o = -75 - -221. Does 13 divide o?
False
Let w = -32 + 59. Let m = w + -18. Suppose k + 0 = m. Is k a multiple of 4?
False
Suppose -3*o + 9 = 2*s, -9 = 5*s + 2*o - 26. Suppose -2*d - 40 + 297 = 5*u, -252 = -5*u + s*d. Is 13 a factor of u?
False
Suppose -4*o = -4*h + o + 21, 5*o = -4*h + 11. Suppose -h*w + w - 3 = 2*v, 6 = 3*v + w. Suppose -c = 3*u + v - 5, -2*c + 11 = -u. Is c even?
False
Is 14 a factor of 2/(0 + 2)*(0 + 132)?
False
Suppose 0 = -4*a + 2*l + 26, -2*a + l - 7 = 4*l. Let r = 5 + a. Is 9 a factor of r?
True
Suppose 0 = -3*t + 166 - 22. Does 29 divide t?
False
Let n = 5 - -39. Is 16 a factor of n?
False
Suppose 0 = -3*n - 0*n + 9. Let u(l) = l**2 + 0 - 5 - 2*l - n*l. Does 13 divide u(8)?
False
Let d(i) = -4*i**3 - i**2 - 2*i - 1. Let r be d(-3). Let y be (9 - 4) + (-6)/2. Suppose -y*g - 2*g = -r. Is 13 a factor of g?
True
Let z be (15/(-1))/((-3)/(-2)). Let d = -4 + 2. Is 5 a factor of (z/(-3))/(d/(-6))?
True
Suppose -7*n + 37 = -117. Does 5 divide n?
False
Let o(l) = 23*l**2 - l. Let v be (-1 + 0)/(0 + 1). Is o(v) a multiple of 12?
True
Let k be -3 + (-3 - -6) + 0. Suppose k*r = 2*r - 80. Is r a multiple of 18?
False
Suppose -2*d = -5*i - 0*d, 5*d + 31 = -3*i. Let u be (i/(-4))/((-4)/(-72)). Is 11 a factor of 173/u - 2/9?
False
Suppose -10*q = -12*q + 26. Is q a multiple of 4?
False
Suppose 0 = -2*f - 3*i + 5, 4*i = 3*f - 4*f + 15. Let k(n) = -n**2 - 5*n + 2. Let y be k(f). Suppose z = -3*z - 2*m + 68, 0 = y*z - m - 42. Is 15 a factor of z?
False
Suppose -3*u + 94 = 4*a, a - 3*a - 2*u = -48. Is 17 a factor of a?
False
Suppose 14 = c + 4. Does 13 divide 144/c - 3/(-5)?
False
Let d(p) = 2*p**2 + 3*p. Is d(-3) a multiple of 3?
True
Suppose 115 + 56 = 3*a. Does 29 divide a?
False
Suppose -2*c - 9*k + 6*k + 371 = 0, 0 = 3*c - 2*k - 537. Is 12 a factor of c?
False
Suppose -108 = -5*d - 38. Is d a multiple of 7?
True
Let s = -4 + 5. Is (4 - -10)*(0 + s) a multiple of 5?
False
Let s(b) = -b**2 - b + 2. Let d(a) = -a + 6. Let v be d(8). Let m be s(v). Suppose m = 5*u - 83 + 23. Does 12 divide u?
True
Let u(m) = -m**3 - 11*m**2 - 11*m + 10. Let h be (30/(-4))/((-9)/(-12)). Does 20 divide u(h)?
True
Let p(s) = 7*s + 77. Does 3 divide p(-7)?
False
Let c(t) = t**2 + 8*t + 7. Let v be c(-5). Let j = v - -29. Does 6 divide j?
False
Let z be (-3 - 0 - -2) + 4. Let k(n) = 2*n + 2. Let f(c) = -6*c - 5. Let r(h) = -3*f(h) - 8*k(h). Is 2 a factor of r(z)?
False
Let x = -470 - -820. Is x a multiple of 25?
True
Let t = -109 - -180. Suppose 3*o + k - t = 0, -27 = -o + 2*k - 1. Is 8 a factor of o?
True
Is (-8 - 10/(-3))/((-2)/102) a multiple of 15?
False
Suppose 118 = 7*x - 316. Is x a multiple of 37?
False
Suppose 5*x - 177 = -2*t + 107, -2*t + 60 = x. Does 19 divide x?
False
Is 0 + 1 + -3 + 6*32 a multiple of 19?
True
Suppose -3*a = 2*a - 85. Let u = 45 - a. Is 7 a factor of u?
True
Suppose 3*j - 8 = j. Suppose -3*v - 2*g = -59, -j*g = 2*v - 26 - 24. Is v a multiple of 17?
True
Suppose -4*u = -3*u - 45. Let g be (2/3)/(6/u). Suppose 0*t - g*t + 4*k = -90, -3*t + k + 61 = 0. Does 12 divide t?
False
Let o(a) = -a**2 - 4*a. Let n be o(-3). Suppose -n = -s + 2. Does 5 divide s?
True
Let m(w) = 73*w**2 - 2. Does 12 divid