, -11*c - 2400 = -5*h - 8*c. Does 8 divide h?
False
Suppose 44*i - 71*i = -2187. Is 15 a factor of i?
False
Suppose -28 = 6*y + 50. Is 16 a factor of (-12 - y)*81/(-1 - -2)?
False
Let r(z) = 2*z - 9. Let c be r(5). Suppose d - b - 14 = b, 0 = d + 3*b + c. Is d a multiple of 5?
False
Let t(s) = -6*s - 5. Let a be (-49)/(-21) + (-2)/(-3). Suppose -4*v = -4*p - 44, v = 2*p + a*v + 22. Is 24 a factor of t(p)?
False
Does 10 divide (1/((-20)/(-32)))/((-6)/(-975))?
True
Suppose 65 = -2*x + x. Let d = x - -77. Is 4 a factor of d?
True
Suppose 368*i + 66 = 379*i. Does 3 divide i?
True
Let c(r) be the second derivative of -r**5/20 + 2*r**4/3 + 4*r**3/3 + 11*r**2/2 - 7*r. Let f be c(9). Let h(d) = d**3 + d**2 - d - 1. Is h(f) a multiple of 5?
False
Let r(z) = -z**2 - 13*z + 6. Let j = 14 - 12. Let f(m) = -6*m**2 - 66*m + 30. Let u(c) = j*f(c) - 11*r(c). Is u(6) a multiple of 9?
False
Suppose 17*z + 345 = 923. Is z a multiple of 34?
True
Let r be 1 - 5 - 8/(-2*1). Suppose 3*n + 5*k - 69 = 0, r = -0*n - 2*n - 5*k + 41. Is 10 a factor of n?
False
Let x = -30 - -33. Let f(s) = 10*s**3 - s**2 + 2*s - 2. Is 53 a factor of f(x)?
True
Suppose -4*n + 1676 - 24 = 0. Does 7 divide n?
True
Let k be 4/(-22) + 360/165. Suppose 3*d = -5*i + 452, -7*d = -k*d + 5. Does 13 divide i?
True
Suppose -9 = 3*u - 4*q + 138, -5*u = q + 222. Does 28 divide 1282/18 - (-10)/u?
False
Let m be (-8)/(-14) + (-6903)/63. Let p = 26 - m. Is 15 a factor of p?
True
Suppose 13*b - 15*b = -3*u + 4501, -5*u - 5*b = -7535. Does 74 divide u?
False
Let r be (-1)/(4/6) + 935/2. Let x = -303 + r. Is x a multiple of 47?
False
Let o be (-4)/5*20/(-8). Let h be o - (110 - (-1 - -2)). Let z = 153 + h. Is z a multiple of 23?
True
Suppose -5*m = 16 - 126. Is 24 a factor of m + 3 + 5 + (1 - 1)?
False
Suppose -5*k = -2*o - 5522, 1101 = 13*k - 12*k + 3*o. Is k a multiple of 48?
True
Suppose -22*f - 2*f + 6720 = 0. Is f a multiple of 28?
True
Let s(y) = -y**2 + 10*y - 3. Let n be ((-39)/65)/(2/10). Let i(z) = z**3 + 4*z**2 + 2*z + 2. Let a be i(n). Does 11 divide s(a)?
True
Let h(k) be the second derivative of -11*k**3/6 - 3*k**2/2 - k. Suppose 0*d = -5*l + 3*d - 22, -4*l = 4*d - 8. Is h(l) a multiple of 7?
False
Let y(m) = 27*m**2 + 6*m - 2. Does 2 divide y(-1)?
False
Suppose -5*u - 412 = 128. Let p = u + 213. Is p a multiple of 15?
True
Let t(s) = 14*s - 27. Let c be t(3). Suppose k = v + c, 2*k - v + 0*v = 29. Does 6 divide k?
False
Let z(h) = 13*h**2 + 135*h + 16. Is 8 a factor of z(-12)?
False
Let f(u) = u**3 + 10*u**2 + 15*u + 3. Let h(l) = -5*l + 9. Let o be h(3). Is f(o) a multiple of 18?
False
Suppose -4*p = p + 2*k - 1123, 2*k = -4*p + 900. Is 34 a factor of 7*(-3 + p/7)?
False
Let g be (-3)/12*1 + (-62)/8. Is 6/4*(92/3 + g) a multiple of 6?
False
Let h(n) be the third derivative of n**5/20 + n**4/8 - 2*n**3 - 29*n**2. Does 13 divide h(-8)?
True
Suppose -21*p + 36474 + 7584 = 0. Is 41 a factor of p?
False
Let q = 359 - -235. Does 9 divide q?
True
Suppose 0*q - 3*q + 23 = n, 2*q = -4*n + 22. Let b be 4*(-2 + (-14)/(-4)). Suppose b*t = q*t - 7. Is t even?
False
Suppose -380*f + 376*f = -844. Is 7 a factor of f?
False
Let s = 1076 + -182. Is 7 a factor of s?
False
Let x = 225 + -140. Is 23 a factor of x?
False
Let r = 17 + -7. Is 45/r*(-64)/(-3) a multiple of 12?
True
Suppose -h - 1 = 0, 5*m - 5*h = 136 - 41. Suppose -4*t = 3*i - 92, -3*t + i + m + 51 = 0. Is 10 a factor of t?
False
Let y = 88 - 88. Is ((-6)/30 - y) + (-751)/(-5) a multiple of 6?
True
Let h(s) = -4*s**3 + 15*s**2 - 20*s - 21. Let x(l) = l**3 - l**2 - l - 1. Let y(m) = -h(m) - 5*x(m). Is 60 a factor of y(-13)?
False
Let c(t) be the first derivative of -t**3/3 + 2*t**2 + 12. Is c(2) a multiple of 4?
True
Let v be 0 + 6/9 - 1178/(-6). Suppose 0 = -5*m - 4*u + 201, -8*m - 3*u + v = -3*m. Is m a multiple of 6?
False
Suppose 3*g + 2*v = -0*v + 35, 0 = -4*g + 5*v + 16. Let d be (-3)/g - (-34)/(-6). Let t = 14 - d. Does 10 divide t?
True
Suppose -54*j = -50*j - 3680. Does 8 divide j?
True
Suppose 5655 = 9*y + 345. Is y a multiple of 6?
False
Let b be -1 - ((-6)/2 + -1). Does 12 divide (-1)/(b/(-72) - 0)?
True
Let z be (27/(-4))/(1/(-4)). Let u = z + -23. Suppose -3*t + 25 = u. Is t a multiple of 2?
False
Does 14 divide (1 + 1)*(926 + (-36)/4)?
True
Let r(g) = -g**2 - 14*g - 13. Let v be (-2 + -7)/(1/(-4)). Suppose 6*x - 2*x = -v. Does 16 divide r(x)?
True
Let j(q) = -7*q**2 + 2*q + 1. Let s be -1 - (-2 - -3) - -1. Let p be j(s). Is 12 a factor of 579/12 + (-6)/p?
False
Suppose -5594 - 1462 = -8*h. Does 42 divide h?
True
Suppose 0 = 133*y - 130*y - 186. Is y even?
True
Let m = -15 + 32. Let f = 8 + m. Is f a multiple of 5?
True
Let z(u) = 8*u**3 - 3*u**2 + 2*u - 2. Let o = 35 + -33. Is z(o) a multiple of 8?
False
Let x = -13 - -10. Does 36 divide (1 + 85)*x/(-6)*3?
False
Is 11 a factor of 250 + (6 - 4) - 4?
False
Let l be ((-4)/2)/((-2)/105). Suppose -l = -p + 3*u, -2*p - 3*u + 238 = -2*u. Does 20 divide p?
False
Suppose -3 = -2*s + 1. Suppose 185 - 482 = -4*d - l, l - 151 = -s*d. Let j = d + -43. Is 8 a factor of j?
False
Let h = 63 + -61. Is 18 a factor of (-8 + -76)*(h/4 - 2)?
True
Let u(y) be the third derivative of 7*y**5/10 + y**4/8 - y**3/6 - y**2. Suppose 0 = 2*g - 1824 + 1822. Does 11 divide u(g)?
True
Suppose -5*u + 4*z + 5855 = -842, -3*z + 1347 = u. Is u a multiple of 8?
False
Let p(m) = -m**3 + 2*m**2 + 6*m + 3. Let h be p(-2). Suppose h = g - u, 3*g = 6*g - 5*u - 13. Is 3 a factor of g?
False
Suppose 2*d = q + 5*d - 6, 3*d = 2*q - 30. Suppose 3*i = 7*i + q. Is (-3)/2*10/i a multiple of 5?
True
Suppose -4*i + 3*d - 7 = 0, -3*i - 4*d + 27 = 1. Suppose 0 = 6*l - i*l - 16. Suppose 2*u = k + 7*u - 21, -5*k - l*u = -63. Is k a multiple of 3?
False
Let q(f) = -f - 10. Let b be q(-14). Suppose -5*l - b*j + 777 = 0, 3*l - j + 615 = 7*l. Suppose h = 4*u + 17, -5*h + u + 2*u = -l. Is h a multiple of 11?
True
Let r = 214 - 145. Does 3 divide r?
True
Let l(f) = 1. Let w(g) = g + 3. Let a(o) = 11*l(o) - 4*w(o). Does 5 divide a(-4)?
True
Let p(i) = -2*i + 15. Let o be p(7). Let h(n) = -n**2 + 10*n + 5. Let z be h(10). Let y = z - o. Is y a multiple of 2?
True
Suppose -n + 24 = 2*n + 2*l, 5*n - l - 53 = 0. Let q = n + 42. Is 26 a factor of q?
True
Let w(d) = 9*d**2 - 17*d + 58. Is 35 a factor of w(12)?
False
Let l(j) = j + 1. Let g(b) = 5*b + 9. Let w(o) = -g(o) + 3*l(o). Is 4 a factor of w(-6)?
False
Let g(z) = 0 + 10*z + 1 - 72*z - 41*z. Let u be g(-1). Suppose -2*m + 5*n + u = 0, -3*m + 2*n = -7*m + 160. Does 31 divide m?
False
Let l(r) = -r**3 + 7*r**2 + 10*r - 15. Let g be l(8). Let f(i) = 71*i**3 + i**2 + i - 2. Is 15 a factor of f(g)?
False
Let z = -715 - -1548. Is 49 a factor of z?
True
Let o be 3*(-4)/(-8)*-6. Is 26 a factor of -3*(2 - (-363)/o)?
False
Let h = -11 + 15. Suppose -s + 4 = 5*v - 1, 4 = h*v - 2*s. Suppose -4*g - 5*j = v - 24, 5*g = -2*j + 33. Is g a multiple of 2?
False
Suppose 16 = 2*f - 6*f. Is (4*-13)/(f/2) a multiple of 13?
True
Let o(u) = -5*u**2 - 2. Let c(p) = -4*p**2 - 2. Let s be (-140)/(-10)*2/4. Let k(y) = s*c(y) - 6*o(y). Is k(4) a multiple of 16?
False
Suppose 0 = -0*i - 5*i - 575. Let w = i + 166. Does 17 divide w?
True
Let a be (237/2)/(1/4*2). Suppose -a = 13*m - 692. Is m a multiple of 5?
True
Suppose -5*s + 2*s - 5*w = -3, -2*s - 3 = 5*w. Does 29 divide ((-3)/s + 2)*58?
True
Let n(x) = -x**2 - x + 248. Is 4 a factor of n(0)?
True
Let w(p) = 2*p**3 + 24*p**2 - p - 10. Let c be w(-12). Suppose -k + 871 = 3*o, -4*o + c*k + 1144 = -k. Is 17 a factor of o?
True
Let x = 8 - 16. Let i(f) = -21 - 10*f - f**3 - 9*f**2 + 0*f + 24. Does 7 divide i(x)?
False
Let q(j) = 22*j + 5. Let a be q(3). Let l = 93 + -53. Let v = a - l. Is 22 a factor of v?
False
Let v(b) = b**2 + 28*b - 348. Does 37 divide v(-42)?
False
Let o = 1566 + -705. Is 21 a factor of o?
True
Let w be 288/28 + (-2)/7. Let r = 51 + -54. Let h = w + r. Does 5 divide h?
False
Suppose -27 = -3*w + 5*k + 15, 0 = 4*k - 12. Let y = -10 - w. Let o = y - -43. Does 7 divide o?
True
Let i = 11 - 12. Let k = i + 6. Does 17 divide (12/k)/(12/90)?
False
Suppose 0 = 3*b - 4*g - 5228, -b + 3*g + 1242 = -509. Does 33 divide b?
False
Suppose 3*d + 41 = -3*j - 2*d, 2*j - 3*d + 2 = 0. Let w(p) = p + 7. Let c be w(j). Suppose 3*t - 15 - 9 = c. Is 5 a factor of t?
False
