se -5 - 22 = r + 3*y, m*y = -9. Let t = -8 - r. Is t a multiple of 7?
False
Let g = -41 + 97. Is g a multiple of 14?
True
Let k(c) = 2*c**2 - 7*c + 2. Is 9 a factor of k(6)?
False
Let m(p) be the second derivative of -p**5/20 + 5*p**4/12 + 2*p**3/3 + 5*p**2/2 + 2*p. Is m(5) a multiple of 8?
False
Suppose -5*z - 2 = -2*w + 8, 2 = 2*w - z. Suppose t + w = 3. Does 14 divide (-170)/(-6) + t/(-9)?
True
Let h(d) = 237*d**2 - 3*d + 2. Is h(1) a multiple of 59?
True
Let x be -2 - (1 + (-3)/(-3)). Let r = 7 - x. Let l = 11 + r. Is l a multiple of 22?
True
Let p(f) = -f**2 + 2*f + 108. Is 9 a factor of p(0)?
True
Let o = 36 + 7. Let g = o - 26. Does 14 divide g?
False
Let t = 246 - 123. Is 41 a factor of t?
True
Suppose -4*n + 4*d + 164 = 0, -5*n - 4*d + 184 = -2*d. Does 19 divide n?
True
Let o(x) = 3*x - 14. Is 4 a factor of o(10)?
True
Suppose q - z - 58 + 8 = 0, 265 = 5*q - 2*z. Let d = q - 21. Is 17 a factor of d?
True
Is (5 - 2)/(5/((-1025)/(-15))) a multiple of 41?
True
Let o = -40 + 95. Suppose 3*l + 5*j - o = -0*l, j = 4*l - 81. Does 10 divide l?
True
Suppose 3*d + 3*b + 123 = 21, 0 = -5*d - 2*b - 161. Let a = -21 - d. Does 5 divide a?
True
Let j = -4 - -6. Suppose 12 + 236 = j*w. Does 4 divide w/16 - 1/(-4)?
True
Let p(h) = 19*h - 1. Let v be p(2). Let q = v - 24. Is q a multiple of 13?
True
Let d(a) = 74*a + 44. Does 29 divide d(3)?
False
Suppose 0*j + 24 = -2*j. Let z be 4*(2 + 15/j). Suppose -4*m + 10 = -z*m. Does 7 divide m?
False
Let p = 47 + -17. Suppose p = 5*b - 10. Does 3 divide b?
False
Suppose 5*d - 25 = 0, 0 = -0*n + 5*n - 2*d - 140. Is 10 a factor of n?
True
Let m(c) = -c**2 - 23*c - 9. Is m(-17) a multiple of 19?
False
Let c = 5 + -1. Let q(z) = 2*z - 5. Let r be q(c). Is 17 a factor of (1 - 18)/((-3)/r)?
True
Let y(i) = 2*i + 1. Let n be y(1). Suppose -u - n*u = -64. Is 8 a factor of u?
True
Let q(j) = 7 + 0 + j + 0 + 3*j. Is q(5) a multiple of 9?
True
Let j(m) = -m**3 - 10*m**2 - 9*m - 3. Let v(u) = 4*u - 1. Let z be v(-2). Let l be j(z). Is 11 a factor of (-73 + 7)*1/l?
True
Let g = 46 - 1. Suppose 0 = -7*b + 2*b - 135. Let a = g + b. Does 18 divide a?
True
Let k(t) be the first derivative of 3*t**4/2 + 2*t**3/3 - t**2/2 - 2. Let f(x) = x**3 + 2*x**2 - 4*x - 2. Let m be f(-3). Does 7 divide k(m)?
True
Let g(o) = -16*o - 4. Is 11 a factor of g(-3)?
True
Suppose -2*c - 200 = -7*c. Suppose -5*d = -d - c. Is d a multiple of 10?
True
Let n be 38/14 + (-6)/(-21). Suppose z + 3 = -2*x - 0, 0 = -3*z - 4*x - n. Suppose 5*h - 38 = -z. Is 7 a factor of h?
True
Let p be (5 - -28) + 0 + 1. Suppose 0 = -3*n + p + 47. Is 5 a factor of 195/n - 2/9?
False
Let p(z) = 101*z**2 + z + 1. Let v be p(-1). Suppose 3*f - 2*f - 5 = 0. Suppose 0*w - w = f*h - 218, 0 = 2*h + 5*w - v. Is h a multiple of 23?
False
Suppose 5*p + 182 = 1062. Does 11 divide p?
True
Let n = -11 - -48. Is n a multiple of 11?
False
Let m(n) = -n**3 - 1. Let g be m(-1). Let v(f) = -2 + 2*f + g*f - 3*f**2 + 1 + 2*f**3 + f**2. Is v(2) a multiple of 4?
False
Let u(r) = 2*r**2 - 3*r + 38. Is u(5) a multiple of 25?
False
Suppose 5*m - 999 = -2*c + 10*m, 4*c + 5*m = 2073. Is c a multiple of 16?
True
Let r = 45 + -25. Does 11 divide r?
False
Suppose 0 = -3*x - 17 - 16. Let l = -7 - x. Suppose -2*k - l*z - 16 + 64 = 0, -2*z = 4. Is 13 a factor of k?
False
Suppose -27*o + 120 = -24*o. Does 10 divide o?
True
Suppose 5*s + 6 + 14 = 0. Let t = 3 - s. Is t a multiple of 4?
False
Let l(o) = 6*o**2 - 3*o - 2. Let w be l(5). Suppose 2*j - 3*k - w = 0, 4*j + j = -3*k + 322. Does 22 divide j?
False
Let h(q) = -q**2 + 9*q + 10. Let d be h(10). Suppose d*i - 7 = -i. Is 4 a factor of i?
False
Suppose -c - 3*c = -20. Suppose -5*f + 211 = 3*k, 2*f - 6*f = c*k - 174. Is 11 a factor of f?
False
Does 23 divide 1508/65 - (-2)/(-10)?
True
Suppose p - 2*l = 16, p = l + 15 - 3. Does 8 divide p?
True
Let w = -8 - -43. Is 6/(-14) + 505/w a multiple of 14?
True
Suppose -14 = -0*i + i. Let b = 1 + i. Let q = 26 + b. Is q a multiple of 5?
False
Let m = 11 - 3. Let x = -6 + m. Suppose x*t - 70 = -3*t. Is 5 a factor of t?
False
Suppose -3*d + 14 = -2*d - 3*o, -5*d = -3*o - 22. Suppose -u = 3*r + d*u - 189, 0 = r - 2*u - 48. Is 14 a factor of r?
False
Let d(a) = 29*a**2 - 2*a - 1. Let x be d(-1). Suppose -12 = -4*g, -3*g + x = -o + 4*o. Suppose o*r - 2*r - 215 = -c, -5*c = 4*r - 172. Is r a multiple of 16?
False
Let a(i) = -i**2 + 11*i + 8. Is a(9) a multiple of 13?
True
Let h(s) = s**3 + 11*s**2 - 15*s + 28. Is 5 a factor of h(-12)?
False
Let n be (17/(-2))/(4/(-8)). Suppose 2 - n = -m. Is m a multiple of 15?
True
Let b(m) = 2*m - 8. Let x be b(6). Suppose 0 = -x*p + 130 - 30. Does 10 divide p?
False
Suppose -5*i - c = 4*c + 10, 4*i = 5*c + 19. Let d(f) = 7*f - 1. Let j be d(i). Suppose -2*p = -2*w - j, 5*w + 3 = 4*p - 7. Is w a multiple of 2?
True
Let d(b) = 2*b**2 + 5*b - 2. Let y be d(-4). Let v be (12/y)/((-6)/(-15)). Suppose -5*x = -v*t + 32, 3*x + 4 = 4*t + 6*x. Is 4 a factor of t?
True
Let u(x) = 5*x**3 - x**2 + 2*x - 1. Let w be u(1). Suppose w*o + 0*o = 10. Suppose 2*g + 2*p = 28, -g + 0*p + 5 = -o*p. Is g a multiple of 8?
False
Let z(y) be the second derivative of 13*y**5/20 + y**3/3 - y**2/2 - 6*y. Is z(2) a multiple of 30?
False
Does 8 divide (74/(-3))/(6/(-36))?
False
Suppose -139 = -2*s - 11. Suppose 7*h - s = 3*h. Is 8 a factor of h?
True
Let r(x) = -5*x. Let c be r(2). Let o = 17 + c. Does 7 divide o?
True
Suppose -4*u + 2*f + 18 = 0, -5*u + 17 = -4*f - 7. Suppose 0 = l - p - 9, -l + u*p = l - 14. Is 3 a factor of l?
False
Let n = -3 + 5. Let d(k) = 10*k**2 - k + 1. Is 20 a factor of d(n)?
False
Let u = 101 - 50. Is u a multiple of 17?
True
Suppose -z = p + 4*p + 11, 0 = 2*z - 8. Let s(n) = n**2 + 10*n + 2. Let m be s(-10). Is 10 a factor of (3 + (-51)/p)/m?
True
Let d = -3 + 5. Suppose -d*y - 3*y = -100. Suppose t + y = 6*t. Does 4 divide t?
True
Suppose -4*y + 3 = -y, -4*q = y - 113. Does 2 divide q?
True
Let d(w) = 38*w - 1. Is d(2) a multiple of 19?
False
Suppose -433 = -9*w - 91. Is 19 a factor of w?
True
Let v be -1*(-2 + 3) - 0. Let r = 11 + v. Does 7 divide r?
False
Let u = 205 + -76. Suppose 20 = p + 3*p. Suppose 2*k = -p*d + 51, 4*k - 3*d + 4*d = u. Is k a multiple of 17?
False
Suppose -5*f - 239 = -8*u + 4*u, -3*f = -3*u + 183. Is 26 a factor of u?
False
Let m be 6/(9/3) - 46. Is (12/8)/((-6)/m) a multiple of 11?
True
Let u be (-1048)/10 + 1/(-5). Let h = u + 167. Is h a multiple of 9?
False
Let y(d) = -d - 23. Let q(z) = z**3 - 6*z**2 + 5*z. Let h be q(5). Let s be y(h). Let t = -13 - s. Is t a multiple of 4?
False
Suppose -3*u - 5 - 1 = 0. Let w be (u/5)/((-3)/15). Suppose b - 3*j - 3 = 4, -j - 14 = -w*b. Does 3 divide b?
False
Suppose -2*v + 7 - 1 = 0. Let o(m) = 2*m**3 + 5 - m**2 + m - 1 - 4*m**v. Is o(-3) a multiple of 16?
False
Does 6 divide 2 - (-52)/14 - 18/(-63)?
True
Let j = -9 + 9. Suppose j = q - 3*q. Is 6 - q/((-3)/(-1)) a multiple of 3?
True
Let r be (1/2)/(1/60). Let k(o) = 5*o**2 + 2*o - 3. Let b be k(2). Let v = r - b. Is 9 a factor of v?
True
Let u(f) = 6*f - 1. Let g be u(-4). Is 9 a factor of ((-72)/10)/(5/g)?
True
Let v = -68 + 113. Does 9 divide v?
True
Let j(m) = 3*m**3 + 3*m**2 + 4*m + 3. Let x be j(-2). Let a = 11 - x. Does 28 divide a?
True
Let c(j) = -j**3 + 7*j**2 + 8*j. Let m be c(8). Suppose 4*s = -m*s + 8. Suppose s*g = -18 + 64. Does 13 divide g?
False
Let f = -40 + 57. Does 15 divide f?
False
Suppose -5*d = -30 + 10. Let j(l) = 4*l - 1. Does 7 divide j(d)?
False
Let r = -18 - -34. Let s = -27 + r. Let l = 16 + s. Is 3 a factor of l?
False
Let p(n) = n**2 + 14*n + 12. Is 3 a factor of p(-14)?
True
Let f(z) = -z**2 + 12*z - 2. Is f(9) a multiple of 5?
True
Suppose 0*z = 3*z - 30. Let o = z - 2. Is 7 a factor of o?
False
Let l(z) = z**3 - 5*z**2 + 4*z - 3. Let u be l(3). Let t be (-4)/(-14) + (-18)/14. Is 4 a factor of u/(-1) - (2 + t)?
True
Does 6 divide 42 + 0 + 2/(-2)?
False
Suppose -3*v = -v + 18. Let m(u) = -5*u - 9. Is m(v) a multiple of 12?
True
Let v be (-4)/3*-2*-18. Is 12 a factor of 1 - v/(1 + 2)?
False
Suppose 4*m + 0 = p - 372, 3*p - 1098 = 3*m. Is 52 a factor of p?
True
Let a(h) = h**3 - 9*h**2 + 11*h + 13. Let m(s) = s**3 - 9*s**2 + 10*s + 12. Let f(i) = 2*a(i) - 3*m(i). Let d be f(8). Is 10 a factor of ((-5)/d)/(2/44)?
False
Suppose -4*t + 