ide (-968)/(-20) + 2/h?
True
Suppose i + 3*z - 8 - 191 = 0, z - 193 = -i. Does 10 divide i?
True
Suppose -4*n = 12, 441 = 2*c - 14*n + 19*n. Is c a multiple of 38?
True
Suppose 3*z + 5*o = -6, 2*z + 6 = -5*o - 3. Suppose -110 = -8*x + z*x. Is 11 a factor of x?
True
Suppose -4 = h + 4. Let r(p) = -p**3 - 7*p**2 + 7*p + 2. Let d be r(h). Is (-96)/d*(-40)/12 a multiple of 12?
False
Suppose -2 = -7*w + 19. Suppose -w*j + 3*c = -237, c = 5*j - 0*c - 399. Does 40 divide j?
True
Let p(d) be the third derivative of d**5/60 + d**4/12 - 4*d**3/3 - 7*d**2. Is 10 a factor of p(-8)?
True
Let j = 240 + 68. Is 14 a factor of j?
True
Let s(n) = -n**3 - 3*n**2 + 5*n - 5. Suppose 0*g = 8*g + 40. Is 5 a factor of s(g)?
True
Let y(f) = -173*f**2 - 6*f + 10. Let u(z) = 58*z**2 + 2*z - 3. Let j(q) = 7*u(q) + 2*y(q). Let v be 2/8 - (-9)/12. Is j(v) a multiple of 16?
False
Suppose 0 = 3*x + 39 - 51. Let z(k) = 7*k**3 - 6*k**2 - 3*k + 9. Let o(s) = -11*s**3 + 9*s**2 + 5*s - 14. Let j(b) = 5*o(b) + 8*z(b). Does 11 divide j(x)?
True
Let d be (-9)/(-2) + 2/4. Let b(v) = -v**3 + 14*v**2 - 8*v + 3. Let p be b(12). Suppose -d*y - 65 + p = 0. Does 8 divide y?
False
Let g be (-2)/(((-2)/3)/2). Suppose -2*m + 0*y + g = 2*y, 5*y = -2*m + 3. Suppose 1 = -2*i + m*x + 21, 4*x = i - 8. Does 9 divide i?
False
Suppose 8*y - 6*y - b = 2953, -2*b = -2*y + 2948. Does 87 divide y?
True
Let c(q) = -5*q**2 + 97*q + 6. Is 44 a factor of c(18)?
True
Let l = 30 + -17. Let k = l - 14. Is 5 a factor of k/(110/(-36) + 3)?
False
Let y(o) be the third derivative of 0 - 1/8*o**4 - 6*o**2 + 0*o + 13/6*o**3. Does 14 divide y(-5)?
True
Let a(z) = z**2 - 4*z - 6. Let w be a(-5). Let j = w - 34. Is j even?
False
Suppose -78 = -j + 204. Let z = j - 97. Does 18 divide z?
False
Let t = -1852 - -1951. Does 6 divide t?
False
Let d(a) = -3*a - 15. Let q be d(-13). Suppose 0*b + 4*b = q. Does 30 divide b*15*10/15?
True
Suppose -3*o = 3*s + 210, 4*o = -o + 5*s - 360. Let k = 179 + o. Is k a multiple of 27?
True
Suppose -15 = -3*n, 5*v - 32 = 2*v + 5*n. Let h(a) = -a**2 + 11*a + 29. Let k be h(13). Suppose 8*o - k*o - m - 104 = 0, 2*m + v = o. Is 7 a factor of o?
True
Let n(k) = -3 - k**2 - k - 2*k + 3. Let x be n(-3). Let i(w) = w**3 + w + 8. Is i(x) a multiple of 6?
False
Let v(b) be the third derivative of 7*b**6/120 - b**4/3 + 5*b**3/6 - b**2. Let n(a) = -2*a**3 + 3*a - 2. Let f(d) = -8*n(d) - 3*v(d). Is f(-1) a multiple of 6?
True
Let g(d) = -d. Let z be g(-2). Suppose -215 = -3*n - z*n. Suppose -4*j + 21 = -n. Is j a multiple of 4?
True
Suppose 4*y - 1762 = 2*i, -3*i = 7 + 8. Is 14 a factor of y?
False
Let o(h) = -h**3 + 9*h**2 + 10*h + 10. Let r be o(10). Let w be r + 24 - -1*2. Suppose -g = -w - 9. Is 15 a factor of g?
True
Let m be 18/12 + (-43)/2. Let i = -110 - m. Let b = i - -167. Is 20 a factor of b?
False
Let z(o) = 5*o**2 + 1. Let n be z(5). Suppose 3*y + 25 = 2*f + n, -3*y + 99 = -3*f. Does 35 divide y?
True
Suppose g = -2*v - 4, -4*g - g = -5*v + 80. Let p = -23 + 33. Let u = p - g. Is u a multiple of 11?
True
Let m = -76 + 123. Let u = m - 71. Is 1/((-1)/u) + 2 a multiple of 13?
True
Let b = 59 + -54. Suppose -b*g - 5*p = -p - 102, 0 = -g - 3*p + 16. Does 22 divide g?
True
Let r be 65 - 0*(-1)/(-3). Let q = r + 7. Let d = q + -7. Is d a multiple of 13?
True
Suppose 0 = 5*w - 45. Suppose -4*a + 9*a + r - 75 = 0, 0 = -4*a + 4*r + 36. Let n = a - w. Is n a multiple of 2?
False
Let q be (-2 + -10)*(-2 - -3). Is (-9)/q*20/5 even?
False
Let c = 2899 - 1271. Is 37 a factor of c?
True
Let g = -205 + 936. Is 17 a factor of g?
True
Let f(y) = y**2 - 7*y + 4. Let r be f(3). Let k(z) = -z**2 - 13*z - 12. Let t be k(r). Suppose 14 + t = c. Does 18 divide c?
False
Suppose 0 = 2*o - 4*u - 82, 0*u = -3*o + u + 98. Let l = 6 - o. Is 3/5*l/(-5) a multiple of 2?
False
Suppose 7*v + 887 = 3176. Is 9 a factor of v?
False
Is 49 a factor of 20416/32 + (-4 - (-6 + 3))?
True
Let z = 1109 + -630. Is 17 a factor of z?
False
Suppose 0 = -8*l + 3*l - 4*f + 415, -3*f + 331 = 4*l. Does 12 divide l?
False
Let z(a) = -10*a. Does 4 divide z(-2)?
True
Suppose 0 = -3*v - 2*h + 15, v = -5*h + 6 - 1. Suppose 3*l = -d + v*l + 41, 0 = -d - 4*l + 29. Is 13 a factor of d?
False
Let i(t) = -t**3 - 11*t**2 - 6*t + 16. Let r be i(-7). Let b = -84 - r. Does 6 divide b?
True
Let u(p) = 3*p**3 - 2*p**2 - p - 3. Let x(v) = -2*v**3 + 3*v**2 + 3. Let t(d) = -4*u(d) - 3*x(d). Does 12 divide t(-3)?
True
Let g(q) = -q**2 - 8*q - 2. Let c be g(-2). Suppose 7*d + 27 = c*d. Is d even?
False
Suppose -t + 0*t = -3. Suppose 2*c + 15 = 5*d + c, 3*d - 21 = t*c. Suppose -22 = -4*h - d*w + 30, 4*w - 14 = -2*h. Is 4 a factor of h?
False
Let j = 399 - 287. Does 7 divide j?
True
Is 17 a factor of 337/4 + 12/16?
True
Suppose 0 = -2*g + 5*m + 10, -g + 5*m + 40 = 4*g. Is 15 a factor of (-152)/g*(-25)/10?
False
Let r(t) = 6 - 2 + 13 + 11 - t. Let d be (-20)/(-3)*(-3)/(-2). Is 6 a factor of r(d)?
True
Suppose -4*y + 9 + 19 = 0. Let i be (3 + -4 - 13) + 4. Let m = y - i. Is 17 a factor of m?
True
Suppose 48*h = 69*h - 3570. Is h a multiple of 26?
False
Suppose -24*r = p - 29*r - 2351, -2*p + r = -4666. Does 63 divide p?
True
Is -12 + 14 + (1 - -1230) a multiple of 51?
False
Let p(t) = t**3 - 6*t**2 - 9*t + 4. Let n be p(8). Let c be 108/(-5)*n/(-18). Suppose -c = -2*m - 2*y, 84 = 5*m + 2*y - 96. Does 10 divide m?
False
Let b(j) be the second derivative of 41*j**4/12 - j**3/6 - j**2 + 23*j. Is 47 a factor of b(2)?
False
Suppose -6 = -c + 24. Let l be (c + 0)/(-1)*1. Let n = 11 - l. Does 14 divide n?
False
Let r be ((-12)/8)/((-3)/106). Suppose 3*q = 365 - r. Does 13 divide q?
True
Let o(b) be the third derivative of b**5/30 + b**3/6 - 10*b**2. Suppose -3*w + 16 = w. Does 29 divide o(w)?
False
Suppose -3042 = -p - 12*p. Is 34 a factor of p?
False
Let k = -943 - -1175. Is k a multiple of 29?
True
Suppose -35*k + 27*k = -2536. Is 20 a factor of k?
False
Suppose -155*a + 20 = -150*a. Let w(h) = 2*h**2 - 20. Is w(a) a multiple of 12?
True
Let i = -4 - 84. Suppose -4*p + 5*v - 289 = -33, 4*v - 252 = 4*p. Let k = p - i. Is k a multiple of 18?
False
Suppose -c - 4*w + 30 = 0, 3*c - 4*w = w + 158. Let h(a) = 71*a + 1. Let b be h(1). Let y = b - c. Does 17 divide y?
False
Suppose -4*x = -3*f - 9*x + 787, 0 = -4*f + x + 1057. Suppose s = 0, -3*o - 4*s + f = -120. Is o a multiple of 10?
False
Let z(g) = 5*g + 30. Let f be ((-2)/10 + (-107)/(-10))*2. Is z(f) a multiple of 15?
True
Suppose 0 = -7*u - 1912 + 5587. Is u a multiple of 62?
False
Does 4 divide 11680/110 + 1 + 13/(-11)?
False
Let c(q) be the first derivative of -7*q**4/2 - q**3/3 + q - 2. Let i be c(-1). Let j = i - -12. Is 26 a factor of j?
True
Let m(x) = x - 8. Let q be m(19). Suppose -q*t + 293 + 169 = 0. Is t a multiple of 21?
True
Let w(y) = y**3 + 19*y**2 + 34*y + 37. Does 9 divide w(-17)?
False
Let l = 21 + -23. Let u(i) = -24*i - 1. Does 6 divide u(l)?
False
Suppose 3*y + f = -2*y - 54, -5*y - 58 = -3*f. Let t = 5 + y. Does 5 divide (t + 21)/(0 + 1)?
True
Let s = -20 + 20. Suppose 3*u + 5*m = 73, -2*u + 5*m = -s*m - 7. Is 3 a factor of u?
False
Let o be -5*((-344)/20 + 0). Suppose -i = -4*i + 2*l + 54, 0 = -5*i + 2*l + o. Let q(p) = p**3 - 16*p**2 + p + 10. Does 5 divide q(i)?
False
Suppose o - 2*n = 6, -2*o - n + 6 = -3*n. Suppose o = 47*k - 46*k - 307. Is k a multiple of 16?
False
Let n be (-11 - -5)/(2/(-1)). Is n - 1 - (-7 - 0) a multiple of 3?
True
Suppose -5*h + 6248 = 17*h. Does 11 divide h?
False
Does 52 divide (-109)/((-6)/(-22)*(-6)/18)?
False
Let v = -67 + 247. Let c = v + -122. Is c a multiple of 6?
False
Let d(x) = -x**3 - 10*x**2 - 6*x + 9. Let k be d(-4). Is 2/9 - 427/k even?
False
Let u = 21 - 18. Suppose 3*h = 2*r + 7, -4*r - u = 4*h - 39. Suppose 2*t + 102 = r*t. Is t a multiple of 9?
False
Let s(a) = a**2 + 3*a - 32. Let l be s(4). Suppose k = -2*v + 1, -8 = 3*k + 7. Is (-3)/v*28/l even?
False
Let s(d) = d**2 - 4*d + 3. Let b be s(3). Suppose b = 4*m - 17 - 347. Is 13 a factor of m?
True
Suppose -16*z = 2*r - 13*z - 1055, -4*z = 5*r - 2620. Is 13 a factor of r?
True
Let m(t) be the second derivative of t**5/20 - 13*t**4/12 + 8*t**3/3 - 7*t. Is 12 a factor of m(12)?
True
Suppose -26*a + 4536 = -23*a. Does 57 divide a?
False
Let i(k) = 12*k**2 - k - 3. Let y be i(-2). Let g = -31 + y. Is g