-8)/(-14))/((-28)/(-98)). Suppose 4*b + 3*h - 66 = 0, 0 = -k*b - 0*b + 4*h + 44. Is 9 a factor of b?
True
Let s(o) be the second derivative of o**4/4 - 3*o**3/2 - 3*o. Is s(5) a multiple of 10?
True
Let v = 57 - -35. Does 4 divide v?
True
Let b(d) = -15*d**2 + 3*d - 3. Let a(t) = 46*t**2 - 8*t + 8. Let c(j) = -3*a(j) - 8*b(j). Let l be c(1). Is 1/6 - 69/l even?
True
Suppose -36*o = -16755 + 2931. Is 4 a factor of o?
True
Suppose -5*x = 2*q - 226, -2*q + 234 = -0*q + x. Is q a multiple of 11?
False
Let n = 72 - 14. Is 11 a factor of -2 + 7 + -4 + n?
False
Suppose 2*b = 13*b - 3454. Does 16 divide b?
False
Let g be (-2)/7 - (-2300)/14. Let d = g - 24. Does 28 divide d?
True
Let b(l) = 2*l**3 - 2*l**2 - 1. Let w be b(2). Let c(o) be the third derivative of o**4/6 - 2*o**3/3 + 44*o**2 + 12*o. Is c(w) a multiple of 17?
False
Let a = -28 + 33. Suppose 0 = a*n - 2*m - 12, 3*m - 1 = 11. Suppose 4*r = n*z + 288, -5*z = r + 3*r - 288. Is r a multiple of 24?
True
Let a(w) = 14*w - 213. Let j be a(15). Let b be (-40)/(-18) - (-4)/(-18). Is 65 - (-2)/(b + j) a multiple of 21?
True
Let g be 2/4*8 + 150. Let p = g - 88. Is p a multiple of 33?
True
Suppose 5*z - 3*h = -77 - 199, -2*h - 104 = 2*z. Let y = z - -109. Is 14 a factor of y?
False
Suppose 8*i - 480 = 5*i. Is 20 a factor of i?
True
Let l(x) = 3*x + 23. Let i be l(-6). Suppose 7*o - 8*o = i*b - 139, -3*o = 5*b - 447. Is 17 a factor of o?
False
Let b = 24 - -100. Let n = b + -70. Does 12 divide n?
False
Suppose -3 = -3*q - g - 1, 2 = 4*q + 2*g. Let s be (1 - 5)/(4/(-30)). Let t = s + q. Is t a multiple of 6?
False
Let k(m) = -2*m**3 + 2*m**2 - 3. Let l be k(-4). Suppose -49 = -2*r + l. Does 14 divide r?
False
Let q be 20/(-8)*12/(-10). Suppose 8*b - 15 = q*b. Is b a multiple of 2?
False
Let h(o) be the first derivative of -o**3/3 + 7*o**2 + 45*o - 11. Is 39 a factor of h(11)?
True
Suppose 18 - 3 = 5*z. Suppose 6*y - 16 = 10*y. Is (y/8)/(z/(-120)) a multiple of 7?
False
Let c(x) = -2*x - 9. Let v(t) = t + 1. Let j(o) = 4*c(o) + 20*v(o). Does 32 divide j(11)?
False
Let x be (570/110 + 4/(-22))*-15. Let y = -59 - x. Is 5 a factor of y?
False
Let d be (0 - -1)*(1 + -6). Let h = 10 + d. Suppose 52 = 9*o - h*o. Is o a multiple of 13?
True
Let a = -11 + 23. Suppose a = -b + 5*b. Suppose 4*r + 3 = b*c - 30, 2*r + 41 = 5*c. Is 7 a factor of c?
True
Let f(b) = -b**2 + 5*b + 9. Let z be f(6). Suppose z*u + 21 = 4*u. Is 6 a factor of u?
False
Suppose -4*q + 3*q - 1840 = 0. Does 13 divide q/(-70) - (-4)/(-14)?
True
Let h(i) = i**2 + i + 1. Let s(z) = z**3 + 4*z**2 + z + 6. Let k(d) = -5*h(d) + s(d). Let n be k(3). Let b = n + 19. Does 13 divide b?
True
Suppose -2*f + 92 = -6*f. Let r = f - -27. Is (4 - 4) + r + 20 a multiple of 6?
True
Suppose 4 = h, -5*b + h - 200 = 6*h. Let o = 101 + b. Is 22 a factor of o?
False
Let d be (-6)/8*136/(-51). Suppose m - 41 = -o + 3*o, 4 = -d*o. Does 8 divide m?
False
Let f(m) = 96*m**3 + 2*m**2 - m. Let z be f(1). Suppose -i + z = 3*b, 0*b + 3*b - 95 = i. Is b a multiple of 32?
True
Suppose -r = -2*s - 61, 2*r + r - 5*s - 183 = 0. Let k = -23 + r. Is 23 a factor of k?
False
Suppose -4*z - 3*n + 7 = 0, 32 = 3*z + 2*z - 4*n. Suppose -r = -3*r + 5*k + 207, -z*k - 492 = -5*r. Is r a multiple of 16?
True
Let h(l) = -l + 22. Let m be h(22). Suppose m = -10*v + 7*v + 57. Is 4 a factor of v?
False
Let n(k) = -k + 8. Let d(b) = 6*b - 49. Let a(p) = -6*d(p) - 39*n(p). Let v be a(8). Let s(t) = -t**3 + 6*t**2 + 5*t - 9. Does 8 divide s(v)?
False
Suppose -3277 = -5*c + 4*u, 5*c - 10*u - 3291 = -13*u. Is c a multiple of 5?
False
Suppose -5 = 3*t - 4*t. Let n be 2988/45 + (-2)/t. Is 4 a factor of 14/(-28) - n/(-4)?
True
Suppose 2*k + 776 = -154. Let c be ((-2)/(-6))/(5/k). Let q = c - -75. Does 22 divide q?
True
Let u = -37 - -73. Suppose i + 14 = 2*c, c + u = -2*i + 13. Let y(d) = -d**2 - 15*d - 11. Is y(i) a multiple of 14?
False
Let i be ((-9)/6)/(2/(-12)). Suppose -40 = -3*o - 5*a, a - 96 = 4*o - i*o. Is o a multiple of 4?
True
Let t = -15 - -81. Let l = t - 45. Does 4 divide l?
False
Let p(h) = -1. Let r(s) = -10*s - 35. Let q(f) = -30*p(f) + r(f). Suppose 16 = -5*t + 3*b, 2*t + 2*b = -b + 2. Is 6 a factor of q(t)?
False
Let z = 314 + 126. Is 20 a factor of z?
True
Let r(u) = -u**3 + 19*u**2 - 16*u - 9. Is 3 a factor of r(18)?
True
Suppose -286 = 2*m + 3*u - 1182, 4*m + u = 1782. Is 13 a factor of m?
False
Let g be 54*(40/(-12) - -2)/(-1). Suppose -n = 2*r - g, -2*n + 28 = 3*r - 113. Is 22 a factor of n?
True
Let g(n) = 3*n + 12. Let q be g(20). Suppose 3*s = 108 + q. Does 15 divide s?
True
Suppose y - 2*n = -6*n - 2, y - n - 3 = 0. Suppose y*d = 2*w + w + 35, -d = 3*w - 31. Suppose a = 70 - d. Does 15 divide a?
False
Suppose -15*z + 25 = -10*z. Suppose -6 = z*g - 36. Let w = 19 - g. Is w a multiple of 11?
False
Suppose -2 = m, 2*d - 4*m + 3 = 19. Suppose -d*o + 2*u = -6 - 20, 2*o = -u + 7. Suppose 4*k - o*k = -11. Is k a multiple of 8?
False
Suppose -28*q - 35*q = -127008. Is 9 a factor of q?
True
Suppose 0 = -7*f + 2*f + 10. Suppose 3*g + 2*v = 40, g = -f*g - 5*v + 46. Is 3 a factor of g?
True
Let f(k) = -31*k - 81. Does 22 divide f(-9)?
True
Is -2*908/(-4) - -6 a multiple of 59?
False
Let h(t) = t**2 + 9*t - 6. Let i be h(-10). Suppose -10 + 76 = i*n - 2*b, 0 = -5*n + 5*b + 80. Is 17 a factor of n?
True
Let j(m) = 4*m**2 - m + 1. Let i be j(1). Suppose 2*x = -q + 10, x + i = 3*q + 16. Does 25 divide (-29)/(-1) + (2 - x)?
True
Let b(z) = -24*z**2 - 6*z - 2. Let i be b(3). Let w = -142 - i. Is w a multiple of 29?
False
Suppose a = 4*z - 6*z + 533, -5*a + 2*z + 2689 = 0. Is a a multiple of 14?
False
Suppose 0 = -0*h - 8*h + 96. Suppose 5*t + v = 55, 0 = 2*t + t - v - 25. Does 5 divide h/t*50/4?
True
Suppose -1691 = -4*d - s, 1839 - 145 = 4*d - 2*s. Is d a multiple of 5?
False
Does 32 divide (-88 + -2)*(-1564)/204?
False
Let n(u) = -u**2 + 16*u + 18. Let k(v) = -v**3 + 7*v**2 - 7*v + 1. Let x be k(5). Let t be n(x). Suppose 4*r + t = 6*r. Does 6 divide r?
False
Let h = -342 - -219. Is (-10)/((-40)/6) - h/2 a multiple of 7?
True
Let d = -141 + 216. Suppose -5*w - 5*b = -25, 5 - 10 = -5*w + 5*b. Suppose 6 = w*m - d. Is m a multiple of 9?
True
Let i(o) = o**2 - 4*o + 3. Let a be i(4). Let x(c) = a*c**2 + 1 + c**3 - 8*c + 5*c - 2*c**2. Does 7 divide x(2)?
True
Suppose -3*p = v + p - 19, 2*p = 8. Let j(a) = -2 + a - 24*a**3 + 7*a**3 + 3 - 3*a**v. Is 12 a factor of j(-1)?
False
Let x = 38 - 41. Is 12 a factor of 11 - (0 - x - 4)?
True
Let a = 15 - 6. Suppose -4*d + 33 = a. Suppose -2*h = -0*h - d. Is 3 a factor of h?
True
Let q = -237 + 357. Is q a multiple of 11?
False
Let j(u) = 36*u**2 - 3*u - 3. Is j(-3) a multiple of 22?
True
Suppose 0 = -282*q + 278*q + 3164. Is 27 a factor of q?
False
Suppose 0*d - 4*q = 3*d + 10, 4*d - 16 = 2*q. Let f be (-1*d)/(4 + -2). Let x(t) = -25*t**3 + t**2. Is 8 a factor of x(f)?
False
Let m(j) = -j**3 + 16*j**2 - 18*j - 23. Is m(14) a multiple of 3?
True
Let d(r) = -r**2 - 7*r - 10. Let f be d(-5). Suppose f = 6*g - 8*g + 56. Is 16 a factor of g?
False
Suppose 3 = -3*w - 3. Let k be w/4 - (-5)/10. Suppose k = 8*o - 4*o - 100. Is 16 a factor of o?
False
Is 10 a factor of 115/(-69)*(-10938)/10?
False
Suppose 33 + 27 = -10*b. Is (b/(-4))/(((-138)/432)/(-23)) a multiple of 27?
True
Suppose -5*a = 1583 - 6683. Is 25 a factor of a?
False
Let x be 15/(-2)*14/(-21). Suppose 0 = -x*n + 8*n - 225. Is 21 a factor of n?
False
Let s(t) = -t - 4. Let u be s(-8). Suppose 5*f + 6 = 1, -u*f = -5*a - 11. Is a/(-24)*4*18 even?
False
Let i(c) = 3*c**2 + 7*c - 9. Let q(n) = 10*n**2 + 21*n - 28. Let d be 2 + -3*(-8)/(-6). Let k(x) = d*q(x) + 7*i(x). Does 21 divide k(6)?
False
Let b(y) = 3*y**3 - y**2 + 1. Let v be b(1). Suppose 0 = v*z - 7*z - 28. Is (-4 + 3 - 3)*z a multiple of 14?
True
Suppose 4*v + v = 25. Suppose 5*k = 5*t + v, 0*t + 20 = 4*t. Suppose -k*q + 56 = 8. Does 4 divide q?
True
Suppose -11*b = -7*b - 960. Suppose -5*r + b = -4*r. Suppose -r = -8*f + 3*f. Does 8 divide f?
True
Let i = 747 + -367. Is i a multiple of 43?
False
Let o be 3 - (4 - 6)*(-579)/6. Let t = o - -268. Is t a multiple of 7?
False
Let n(q) = -q**3 + 5*q**2 + 6*q + 2. Let g = 0 - -6. Let v be n(g). Suppose -4*x - h - 2*h = -143, -5*x + 173 = -v*h. Is x a multiple of 10?
False
Let n(h) = -h**3 + 9*h*