 3*l, y*f = -0*l - 4*l + 43. Is f a multiple of 9?
True
Let n(i) = -i**3 - 5*i**2 - 2*i - 4. Let m be n(-4). Let h = m + 42. Suppose -2*p = 4*t - 30 - h, 5*t + 2*p = 77. Is t a multiple of 17?
True
Let v = -1934 + 2006. Is v a multiple of 8?
True
Suppose -d + 156 = -3*y - 288, -y + 2140 = 5*d. Is d a multiple of 11?
True
Suppose -4*m = 2*t - 8, -4*t = 2*m + 3*m - 16. Suppose 87 = c - o, m = 3*c - 6*c - 2*o + 251. Is c a multiple of 17?
True
Suppose 0 = 4*t + 229 + 35. Let o = t - -105. Let s = -26 + o. Is 5 a factor of s?
False
Let g(z) be the third derivative of z**4/12 - z**3/6 - z**2. Suppose -6*w = 2*w - 16. Is g(w) a multiple of 3?
True
Let u(j) = j**3 + 35. Let g be u(0). Let o = g - 10. Is o a multiple of 25?
True
Let z = 296 + -2. Is 21 a factor of z?
True
Let o(k) = 4*k**2 + 28*k + 52. Is 9 a factor of o(8)?
False
Let i = -5 - -7. Suppose 8*g - i*g = -90. Is 7 a factor of g/10 - (-58)/4?
False
Suppose -4*x = 113 - 1533. Suppose 0 = 5*f - 0*z + 4*z + x, 4*f + 295 = -z. Let a = -44 - f. Is a a multiple of 11?
False
Let t be 2/1*19/(-2). Let a = 91 + -55. Let v = a + t. Is 17 a factor of v?
True
Let j(n) = -n**2 - 9*n + 20. Let l(z) = z**2 + 9*z - 20. Let k = -24 + 22. Let i(b) = k*l(b) - 3*j(b). Does 10 divide i(-14)?
True
Let q(p) be the second derivative of -2*p**3/3 - 3*p**2/2 + 6*p. Let g be q(-2). Is (27/g)/((-1)/(-5)) a multiple of 27?
True
Let h = 61 + -67. Is (-518)/(-6) + (-3 - 22/h) a multiple of 29?
True
Does 7 divide ((-2376)/(-21))/4 - (-8)/(-28)?
True
Suppose 0 = 4*k + 7 - 11. Suppose q - 3*j - k = 0, 11 = -q - 2*q - 5*j. Is 23 a factor of (-4 - -1) + q + 81?
False
Let g(a) = -5*a**3 + 2*a**3 + 4*a + 2*a**3 - 10 + 8*a**2. Does 5 divide g(8)?
False
Let p be (27/(-6))/((-3)/(-6)). Let d = 3 - p. Let o = -9 + d. Does 2 divide o?
False
Let p be (-24)/(-2)*(-6)/(-36). Let i(y) = 13*y**3 + 2*y**2 + y - 3. Is i(p) a multiple of 14?
False
Suppose -8*l - 1554 = -3*t - 11*l, 0 = -5*t + 5*l + 2630. Is t a multiple of 18?
True
Suppose 0 = -12*g + 67 - 19. Suppose 2*m - 184 = -g*c, -m + 2*c + 106 = -3*c. Is 48 a factor of m?
True
Suppose 2*r = -5*k + 3*k + 496, 5*r + 3*k - 1232 = 0. Does 3 divide r?
False
Let c(v) = v**2 - 14*v - 62. Is c(-8) a multiple of 6?
True
Let w be (-1)/(-1)*-2 + 8. Suppose -w*j + 61 + 227 = 0. Does 8 divide j?
True
Does 14 divide 4545/(-135)*(-126)/3?
True
Suppose -17946 = -4*r - 2*a, -5*a + 18431 - 482 = 4*r. Is 41 a factor of r?
False
Suppose -27381 = -9*h - 2838. Is 27 a factor of h?
True
Let s(b) = b**3 - 28*b**2 - 44*b + 21. Is s(31) a multiple of 35?
True
Suppose 2*p - 4 = -0*p. Suppose 17 + 11 = p*b. Is b a multiple of 14?
True
Let u(v) = 11*v**2 + 8*v. Is 39 a factor of u(-13)?
True
Let r(q) = q**3 + 6*q - 12. Is 11 a factor of r(3)?
True
Let n(b) = -b + 16. Let l be n(10). Suppose l*u = 5*u + 66. Is u a multiple of 11?
True
Let l = 5 + 0. Suppose q + 3*m = 2, -m = 3*q - l*m - 6. Suppose -2*f - 6 = -5*f, -3*f = -q*w + 22. Does 7 divide w?
True
Let s = -1048 - -1137. Is 3 a factor of s?
False
Let u(g) = -3*g + 9. Let v = -21 + 9. Is 15 a factor of u(v)?
True
Suppose 26 = -7*o - 72. Let k(s) = -s**2 - 19*s - 30. Is k(o) a multiple of 20?
True
Let v(h) = 4*h**2 + 8*h + 8. Is v(-3) even?
True
Let c = -18 - -18. Suppose c = 3*k - 2 - 175. Is k a multiple of 5?
False
Let m(f) = -6*f - 8. Let r(p) be the third derivative of -p**3/6 + 6*p**2. Let d(s) = m(s) - 8*r(s). Is d(-4) a multiple of 12?
True
Let n(w) = -6*w - 41. Let g be n(8). Let v = g + 224. Is v a multiple of 15?
True
Let t(p) = -43*p**2 + 7*p - 4. Let l be t(5). Let s be (2/(-8))/(9/l). Suppose 3*g = 2*w - 48, -s = w - 2*w - g. Does 20 divide w?
False
Suppose -3*k + 2*k = 0, -3*k + 114 = 3*r. Let b = r - -48. Let o = b + -24. Is 19 a factor of o?
False
Let o be (-4 - -6)/(6/693). Suppose 291 = 5*n - 4*d, 3*n - 3*d = o - 57. Does 20 divide n?
False
Let x be 6/(-21) + (-8)/(-28). Suppose 5*h + 13 - 8 = x. Is 11 a factor of ((-2)/(6/165))/h?
True
Suppose -25 = 5*f + 3*n, -5*n - 12 = 4*f - 5. Let g be (-18)/f - 1/4. Suppose a + 47 = g*s + 5, -5*a = -3*s + 70. Does 19 divide s?
False
Let x = 10 - 10. Let n(g) = -g**3 + 3*g**2 + 6*g - 6. Let k be n(4). Suppose -k*y = r - x*y - 5, 10 = 2*r - 4*y. Is 5 a factor of r?
True
Let c(n) = 2*n**3 - n**2 - n + 143. Let v be c(0). Let o = -82 + v. Is 6 a factor of o?
False
Let p(b) = b**2 - 2*b - 15. Let z = -20 - -27. Let x be p(z). Suppose 4*n = 108 + x. Is 6 a factor of n?
False
Let n be (4/14)/((15/(-63))/(-5)). Let l(t) = 3*t**2 - 4*t - 6. Is 13 a factor of l(n)?
True
Let c(l) = -l**3 - 11*l**2 - 11*l - 5. Let d be c(-10). Suppose -3*z + 256 = -r, 5*z - d*r = 3*z + 162. Is 5 a factor of z?
False
Let i(b) = b**2 - 3*b + 6. Let o be i(4). Let s = o + 2. Is 2022/18 - 4/s a multiple of 14?
True
Suppose 8 = 4*y - 0*y. Suppose 5*k = -5*c + 875, 0 = y*c - 7*k + 2*k - 315. Is c a multiple of 34?
True
Let y(k) = -8*k + 4. Suppose 2*m + 7 = -4*v + 3*v, 0 = -2*v - m - 8. Is y(v) a multiple of 10?
False
Is (1 - -83)/((-13)/(2067/(-6))) a multiple of 21?
True
Let p = 81 + -44. Does 36 divide -1 - (p/(-1))/1?
True
Let v(z) = -17*z - 26. Does 23 divide v(-5)?
False
Suppose 4*o + 192 = -5*j, -4*o - 240 = o + 3*j. Let t = o - -106. Is 11 a factor of t?
False
Let u(r) = -9*r - 2. Let i be u(-2). Suppose 4*s + 150 = 5*z, -11*s = 5*z - 9*s - 180. Let m = z - i. Does 17 divide m?
False
Let d(z) = z + 4. Let k be d(-4). Let u(j) = -4*j + 93. Is 16 a factor of u(k)?
False
Let g(y) be the first derivative of -4*y**2 - 14*y + 27. Suppose -3*c + 4*c = 2*t + 15, 2*c = 5*t + 37. Is 14 a factor of g(t)?
True
Let s(z) = -8*z**3 - 8*z**2 - 4*z - 4. Is s(-4) a multiple of 12?
True
Is ((-40)/125)/(-4) - (-28796)/50 a multiple of 26?
False
Let l(y) = 14*y - 774. Is 25 a factor of l(65)?
False
Suppose 3*l = 4*s + l - 6, -3*l = -3*s + 9. Suppose -5*h = 4*d + 55, 0 = -h + 5*d - 40 + 58. Let w = s - h. Is 2 a factor of w?
False
Suppose 3*g - 6 = 5*s, 0 + 8 = 4*g + 4*s. Suppose 3*q - 3*z - 18 = 0, 0 = 3*q + 5*z + 1 + 5. Suppose q*a - 31 = -2*f + 1, g*f - 24 = -5*a. Is 11 a factor of f?
True
Suppose -3*d + 2075 = 2*g, g - d + 275 - 1310 = 0. Is 28 a factor of g?
True
Suppose -3*g = -4*g. Suppose z = -5*c - 40, g*c + z = c + 8. Let v = 2 - c. Does 10 divide v?
True
Suppose a = -0*a - h + 1, 0 = -5*a + 2*h - 2. Let n be 120 + a*(-3)/6. Suppose -3*g + n = -60. Is g a multiple of 20?
True
Let c = -30 + 66. Let z = 53 - c. Is z a multiple of 4?
False
Suppose 3*u = 6, 3*n = 6*n - u - 400. Is 2 a factor of n?
True
Is (10/(-4) - (-171)/(-38)) + 88 a multiple of 27?
True
Suppose -t = 2*t + 21. Let b = 20 + t. Suppose -b = 4*x - 5*x. Does 13 divide x?
True
Suppose -4*v - n + 52 - 237 = 0, 2*n = 4*v + 170. Suppose -3*r - 209 = -5*m + 129, 0 = -4*m + 5*r + 273. Let l = v + m. Is 11 a factor of l?
True
Let v(s) = -s**3 - 2*s**2 + 31. Let x be v(0). Suppose -3*n = -h - 7*n - x, 5*n - 55 = 5*h. Let g = -3 - h. Is g a multiple of 3?
True
Let j = 1512 - 986. Does 27 divide j?
False
Let z(b) = b**2 - 7*b - 2. Let m(p) = -21*p**3 - p**2 + 1. Let h be m(-1). Let x = 29 - h. Is z(x) a multiple of 3?
True
Let z(f) be the third derivative of 0 - 2*f**2 + 0*f - 1/120*f**6 - 1/6*f**3 + 0*f**4 + 7/60*f**5. Does 18 divide z(5)?
False
Let b be 8 - 1*(1 + 0). Suppose 2*g + y = b, -g + 11 = 2*g + 2*y. Let f(l) = l**3 + l**2. Is 12 a factor of f(g)?
True
Let q(t) be the third derivative of -67*t**4/24 - 4*t**3/3 - 9*t**2. Let z be q(-4). Suppose -z = 12*k - 17*k. Is k a multiple of 11?
False
Let d(h) be the first derivative of -h**5/20 - 2*h**4/3 + 4*h**3/3 + 7*h**2/2 + 3*h - 3. Let p(x) be the first derivative of d(x). Is p(-9) a multiple of 16?
True
Suppose 4*f = -5*m + 265, -3*m + 15 = -0*m. Suppose 5*v - 80 = f. Is 14 a factor of v?
True
Let i be (378/(-28) + 2/(-4))*21. Let c = -190 - i. Is c a multiple of 26?
True
Let z(l) = -65 - 17*l + 31 + 36 - l**2. Is z(-11) a multiple of 54?
False
Suppose 501 = 2*a - 0*c + 5*c, 4*a - 3*c - 1067 = 0. Is 15 a factor of a?
False
Is 11 a factor of 8/(15/((-2205)/(-6)))?
False
Let q = 838 + 107. Is q a multiple of 35?
True
Suppose 0 = -x - 188 + 327. Suppose -b - 5*n = -x, 0*n - 3*n - 435 = -3*b. Is 16 a factor of b?
True
Let o(l) = l**2 + 3*l + 4. Let q be o(-4). Suppose -5*u - 8 = -2*v - u, 5*u + q = 3*v. Let w(i) = -2*i**3 - 5*i**