(-3)/q)?
False
Suppose -14*g + 2176 + 3620 = 0. Is g a multiple of 18?
True
Let n be 2/(-6) + (-116)/12. Let k(y) be the third derivative of -y**6/120 - 11*y**5/60 - y**4/2 + y**3/2 - y**2. Is k(n) a multiple of 7?
False
Let h(f) = -f**2 - 7*f - 4. Let g be h(-4). Let x be (-1 + 0)/(g/(-432)). Suppose -4*z = 3*o - x, z = 3*o - 6*o + 45. Does 3 divide o?
False
Let q(w) = 3*w**2 + 22*w + 16. Let o = 31 + -41. Does 24 divide q(o)?
True
Let l = -6765 + 11595. Does 21 divide l?
True
Let h = 48 - 48. Let d(b) = -b**3 + b + 21. Is 21 a factor of d(h)?
True
Suppose -2*o = 3*w, 4*w + 6 + 4 = -o. Suppose -5*k + o*k = -5. Does 12 divide -2 - 10*(k - 0)?
True
Suppose 4*l - 393 = -5*m + 761, -4*m = 2*l - 922. Does 21 divide m?
False
Suppose m = 4*m - 30. Let f be (4 - 5)/((-2)/(-1290)). Is 13 a factor of 3/6 - f/m?
True
Let h be ((-32)/(-10))/((-6)/(-15)). Let w = h + -17. Is 16 a factor of (44/6)/(w/(-81))?
False
Let l(o) = 7*o**2 + 2*o - 1. Let a be l(1). Suppose -2*u = 2*u - a. Suppose 124 = -0*h + u*h. Is 14 a factor of h?
False
Suppose -5*l - 4*s = -13, l = -3*s - 6 + 2. Let x(k) = -k**2 + 7*k - 6. Let z be x(5). Suppose 6 = l*t - z*t. Is t a multiple of 4?
False
Let c = 969 + -187. Does 34 divide c?
True
Does 29 divide 87*((-148)/(-42) + 1/7)?
True
Is (-1243)/(-4) - (-18)/72 a multiple of 12?
False
Let u(y) be the first derivative of -96*y**3 - 2*y**2 + 10*y + 4. Let l(k) = -96*k**2 - k + 3. Let p(d) = -7*l(d) + 2*u(d). Is p(1) a multiple of 33?
False
Let k(g) = -2*g - 9. Let o(l) = -3*l - 17. Let s(m) = -5*k(m) + 3*o(m). Let p be s(6). Suppose p = -2*r - 5*u + 11, -6*u = -2*u + 20. Is 6 a factor of r?
True
Let g(t) = 7*t - 16 + 7 + 7 + 0*t. Is 9 a factor of g(8)?
True
Let s(f) = -f**2 + 8*f - 9. Let j be s(6). Suppose j*n + 10 = 2*q, 2*q + 3*n - 34 = -0*q. Is 11 a factor of q?
True
Let l(c) = 129*c + 162. Does 27 divide l(0)?
True
Suppose 371*r - 373*r + 1756 = 0. Is 27 a factor of r?
False
Is 4*185/(-40)*-10 even?
False
Let n(t) = -t**3 + 27*t**2 + 6*t + 18. Is n(27) a multiple of 12?
True
Let k = -104 + 374. Is 9 a factor of k?
True
Let a(x) = 77*x**2 - 9*x - 1. Does 17 divide a(-1)?
True
Suppose 3*f = -2*n + 6, -4*n - f - f + 12 = 0. Let b(d) = -d**2 - 39*d**n - d**2 + d**2. Is 18 a factor of b(-1)?
False
Suppose 2 = -7*c + 8*c. Let b(h) = -21*h + 2. Let x be b(c). Is (2 - x)*(-2 + 3) a multiple of 14?
True
Suppose -276*l + 268*l + 7576 = 0. Is l a multiple of 34?
False
Let h(j) = 5*j**2 + 2*j + 4. Let o be h(-3). Suppose 97 = 2*v + 65. Suppose o + v = z. Is z a multiple of 37?
False
Let l = 72 + -67. Suppose -z + 139 = 5*s, 2*z - 2*s + 456 = l*z. Does 22 divide z?
True
Let q(g) = g**3 - 6*g**2. Let i be q(6). Suppose 5*z + 3*f - 314 = f, i = -2*z + f + 122. Is z a multiple of 9?
False
Let d(r) = -r**2 - 6*r - 1. Let q be d(-5). Let j(t) be the first derivative of 2*t**3 + t**2 - 9*t - 1. Is 19 a factor of j(q)?
True
Suppose 0 = -9*n + 8*n - 311. Let a = 557 + n. Suppose 0 = -3*c - 4*o + a, -3*c = o + 61 - 307. Is c a multiple of 31?
False
Let s = -13 + 5. Let i = s + 102. Is i a multiple of 15?
False
Let u(d) = -276*d - 394. Is u(-10) a multiple of 26?
True
Suppose 4034 + 20471 = 13*p. Does 27 divide p?
False
Suppose -138 = -3*c - 3*r + 75, -2*c + 5*r = -128. Is 3 a factor of c?
True
Let b(m) = -m**2 + 46*m - 159. Does 15 divide b(28)?
True
Suppose -5*b - 5*w = 10, 5*b - 10 = -w + 6*w. Let h be (-8)/(-4) + -10 + b. Is (12 + 0)*(-46)/h a multiple of 14?
False
Let i = 100 + -90. Is i a multiple of 10?
True
Suppose 8*y - 45 = 5*y. Let f = -10 + y. Suppose 3*d - u = 153, f*d + 4*u = 2*d + 153. Is 11 a factor of d?
False
Let c be (2/(-3))/(5/(-60)). Let g = c - 2. Is 3 a factor of g?
True
Is 18 a factor of (5/10)/((-4)/(-3744))?
True
Let q(f) = f**2. Suppose x + 2*x = p + 3, -4*x + 23 = 5*p. Let d be q(x). Is 14 a factor of d/18 - (-248)/18?
True
Let j(p) be the second derivative of 3*p**5/20 - p**4/6 + p**3/6 + 5*p. Does 3 divide j(2)?
True
Suppose 8 = 2*b, -4*t - 3*b + 748 = -0*t. Is t a multiple of 15?
False
Suppose -2*t - f = -9, -5*t + t + 15 = f. Suppose 2*g = -2*p + 7*g + 38, -t*p + 31 = -g. Is 3 a factor of p?
True
Does 41 divide 292/((15/(-70))/((-12)/7))?
False
Let z(u) = 85*u + 275. Let k(d) = 7*d + 23. Let o(n) = -25*k(n) + 2*z(n). Is 4 a factor of o(-8)?
False
Let r be ((-2763)/(-9))/((-2)/(-2)). Let g = -189 + r. Suppose 0 = -4*p + i + 3 + 103, 5*i = -4*p + g. Does 6 divide p?
False
Suppose l = -2*y + 14, 4*l + 6 + 10 = 0. Let b = -1 + y. Is b a multiple of 8?
True
Let i = -7 - -9. Suppose -10 = -4*v + i. Suppose -3 + 72 = v*x. Is 6 a factor of x?
False
Let a(g) = -5*g + 6. Let s(l) = 81*l - 96. Let i(j) = 33*a(j) + 2*s(j). Does 9 divide i(-4)?
True
Let r be (6/15 + 0)*(582 - 2). Is 19 a factor of (r/(-12))/((-1)/((-6)/(-4)))?
False
Does 26 divide 30/(-34) + 1 - (-8836)/34?
True
Let t be (-3)/12*-91 - (-6)/(-8). Suppose 71 = t*n - 21*n. Is n a multiple of 7?
False
Does 19 divide (32956/(-14))/(0 - 2)?
False
Let l = -42 - -44. Does 16 divide 114/l + 16/(-8)?
False
Let c be (15/(-9))/(3/9). Let m(g) = -g**3 - 4*g**3 - 2*g + 7 + 4*g**3 - 5*g**2 - 3*g. Is 16 a factor of m(c)?
True
Let c = 93 - 88. Suppose 1 = -p + c*u + 16, 0 = -2*p + 2*u + 54. Is p a multiple of 6?
True
Let c(k) = k**3 - k**2 - 8*k + 9. Let z be c(-7). Let s = z - -216. Is s*(-6)/9 - -4 a multiple of 26?
True
Suppose 0*b - 924 = -4*b. Suppose b = 2*o + o. Does 11 divide o?
True
Let s(t) = 36 + 0*t**2 + t**2 + 13*t - 19. Let j be s(-12). Suppose 47 = j*h - h + 5*y, -26 = -4*h + 2*y. Does 8 divide h?
True
Suppose 4*d + 60 = 9*d. Suppose -13*n + d*n = -60. Is n a multiple of 20?
True
Is 8/((-16)/(-14)) - -763 a multiple of 22?
True
Let s = 43 - 42. Suppose -4*z = s - 61. Is z a multiple of 6?
False
Let b(f) = -6*f - 14 + 7*f**2 + 0*f + 5*f + 2*f. Is b(6) a multiple of 23?
False
Let h = 38 + -4. Suppose h*t - 35*t + 32 = 0. Does 26 divide t?
False
Let p(u) = -u**3 + 19*u**2 + 4*u - 36. Is 15 a factor of p(18)?
True
Let k(c) be the first derivative of -1/4*c**4 - 1/2*c**2 + 6*c + 5 + 2*c**3. Is k(5) a multiple of 20?
False
Suppose -10 = -4*a + 3*z - 1, 2*a - 3 = z. Suppose 11 = -2*i - a*i + p, 3*i = -5*p - 23. Let d = 52 + i. Is d a multiple of 11?
False
Suppose n - 3*q = 3*n - 21, 0 = n - 5*q - 17. Let v be (3/n)/(2/(-8)). Let j = 30 + v. Does 6 divide j?
False
Does 5 divide (-15356)/(-20) + (2/5)/2?
False
Let u(x) = 27*x**3 + 6*x**2 - 5*x. Let j be u(3). Suppose -j = -3*c - 3*c. Does 18 divide c?
False
Is 14 a factor of 125/20 - 6 - (-8668)/16?
False
Let n(t) = 4*t**2 - 6*t + 2. Let a be n(2). Let z = -13 - -25. Suppose a = 6*r - z. Is 3 a factor of r?
True
Suppose -273 = -11*y + 4*y. Suppose -2*b = -3*j + 139, -3*b = -0*j + j - y. Is j a multiple of 9?
True
Let v = 4 + 0. Suppose -v*h = -8*h + 12. Suppose m = h*b + 45, m + 2*b = -0*b + 25. Does 18 divide m?
False
Suppose -4*f = -20 + 68. Let v = -6 - f. Let x(c) = c**3 - 6*c**2 + 3*c + 2. Is 8 a factor of x(v)?
False
Let u = -22 + 31. Suppose -8*c + u*c - 96 = 0. Is 23 a factor of c?
False
Suppose t = -2 + 4. Let r be ((-171)/(-38) + 1 + -6)*0. Suppose 0 = 5*y + 5*x - 210, r = -t*y + 3*y - 5*x - 30. Is 22 a factor of y?
False
Suppose -9624 + 9241 = -f. Is f a multiple of 46?
False
Is 413 + (-48)/(-8) + 1 a multiple of 12?
True
Let i = 36 - 16. Suppose 3*r + 0 = -5*h + 28, h - i = -3*r. Is r a multiple of 4?
False
Suppose -99*j = -83*j - 30528. Is 68 a factor of j?
False
Let p(y) be the second derivative of y**4/12 - y**3 - y**2 - 6*y. Is p(7) even?
False
Let k(w) = 53*w**2 - w - 3. Is k(-1) even?
False
Suppose -o + 379 = 5*q - 3*o, q - 69 = -3*o. Let v = 38 - q. Let y = v - -75. Does 15 divide y?
False
Let f(z) = -z + 4. Let o be f(7). Let r(w) = -w**3 - 4*w**2 - w + 6. Let a be r(o). Does 26 divide (-31 + 4 + a)/(-1)?
False
Suppose -30 = -3*p + 9*p. Let x(q) = q**2 - 12*q - 21. Is x(p) a multiple of 16?
True
Let m be (-51)/(-3) + 0 + 0 + -3. Let p = m - -2. Is 7 a factor of p?
False
Let z = 66 + -63. Is 12 a factor of (-3)/12*z*(4 - 156)?
False
Let w(p) be the third derivative of p**5/60 - p**4/12 + 11*p**3/6 + 2*p**2. Let a be w(12). Let l = -88 + a. Is l a multiple of 9?
False
Suppose -4*v = 2*k, -4*v + 1 = 5*k + 25. Let x be (-5)/20 - 434/k. Suppose 0 = -2*m - m - 2*i + 128, 5*i = m - x. Is 21 a factor of m?
False
L