 a multiple of 2?
False
Is 12 + -14 + -8 - -5770 a multiple of 120?
True
Let a be -6*((-165)/10 + -1 + 2). Let w = -30 + a. Does 36 divide w?
False
Let u(t) = 556*t - 1004. Is u(4) a multiple of 13?
False
Let l = -5480 + 5790. Let i be (2/(-4))/((-2)/24). Suppose -f + i*f = l. Is f a multiple of 14?
False
Let v = 5758 + -4884. Is 23 a factor of v?
True
Suppose 10494 = 3*v - m, 22*m + 10506 = 3*v + 23*m. Does 14 divide v?
True
Let h(c) = 2*c**3 - 27*c**2 + 53*c - 513. Let m be h(13). Let w(y) be the second derivative of 5*y**3/6 + 11*y**2/2 + y. Is w(m) a multiple of 23?
True
Let j(y) = -5*y**2 - 18*y + 317. Let c be j(-10). Suppose 45 + 57 = 3*z. Let x = z + c. Does 2 divide x?
False
Let m = 18 - -7. Let a(i) be the first derivative of -i**4/4 + 26*i**3/3 - 23*i**2/2 - 26*i - 40. Is a(m) a multiple of 6?
True
Let j(b) be the first derivative of -28 + 2/3*b**3 - 4*b + 5/2*b**2. Is j(4) a multiple of 16?
True
Suppose -1950 = -b - 131*g + 129*g, -3*b + 5*g = -5817. Does 27 divide b?
True
Is -56 - -3739 - (-8 - 3) a multiple of 3?
False
Let j(v) = v**2 - 13*v - 44. Let h = -55 - -71. Let g be j(h). Is (3 + (10/g)/(-5))*28 a multiple of 10?
True
Let x be (-3)/5 - -6*(-2)/(-20). Suppose x = 3*a - 581 - 223. Is 11 a factor of a?
False
Let h be -11 + 9 - (-8136)/(4 + -1). Suppose 1 = 4*l - 15. Does 8 divide h/85 + l/34?
True
Let f = -29965 + 43165. Is 110 a factor of f?
True
Suppose -3*z + 15 + 12 = -3*p, 3*p + 45 = 5*z. Let f be ((-166)/6)/((-3)/z). Suppose f + 37 = 2*t. Does 15 divide t?
True
Let p = 27 - 18. Suppose -p*d = 4*d + 13. Does 31 divide 22 - -5 - (-3 + d)?
True
Suppose -13*l - 238 = -30*l. Suppose -11*x - 168 = -l*x. Does 10 divide x?
False
Suppose 0 = 3*s - 4*f - 38, f = 4*s + 2*f - 57. Suppose -s*n + 60 = -2*n. Suppose 0 = n*t + 4*j - 312, -4*t + 70 + 161 = -3*j. Does 20 divide t?
True
Let y be (832 - 2) + -1 + -2. Is 2/(10/y) - (-28)/(-70) a multiple of 8?
False
Let h = 12879 + 8015. Does 15 divide h?
False
Suppose 126 = -5*n - 24. Let d = n + 36. Suppose -o - 155 = -d*o - h, -4*o = -5*h - 153. Is 27 a factor of o?
False
Let d(w) = 1437*w**2 - 62*w + 288. Is d(5) a multiple of 161?
True
Let r(w) = w**2 + 5*w. Suppose 7 = -2*q - 1. Let v be r(q). Let u(a) = -27*a - 12. Does 24 divide u(v)?
True
Suppose -15*v - 28 = -11*v. Is ((-36)/8 - -3)/(v/2002) a multiple of 33?
True
Suppose 4*c = 4*j - 24, 5*c = 9 - 19. Suppose -4*v - 608 = -4*h, -2*h - j*v = -456 + 128. Is 13 a factor of h?
True
Suppose -26 = -3*u + 4*m, 3*u - m + 9 = -4*m. Let l(z) = 15*z - 5*z**u + 5 + 8*z - z**3 + 14*z - 39*z. Does 5 divide l(-5)?
True
Suppose -32*s = 1611 - 20875. Is 33 a factor of s?
False
Suppose 2814*l - 45628 = 2797*l. Does 3 divide l?
False
Let n(s) = -143*s - 398. Does 43 divide n(-8)?
False
Suppose 0 = -5*i + 7*c - 4*c - 1, i - 7 = 3*c. Does 21 divide 411 - -50 - 2/(i*1)?
True
Suppose -3*h - 3*k + 4413 = 0, -5*h + 10112 = 3*k + 2759. Suppose -h = -40*w + 34*w. Does 16 divide w?
False
Suppose 2*t - 3*r - 35029 = 0, 17*r - 87620 = -5*t + 15*r. Is 208 a factor of t?
False
Let q(b) = 2*b - 32*b**3 - 5*b**3 - 4 - 8*b**3 - 3*b. Let c be q(-2). Suppose 251 = 3*z - c. Is z a multiple of 20?
False
Let n = 96 - 84. Suppose 0 = -9*s + n*s - 438. Is s a multiple of 24?
False
Suppose 16020 = 4*g - 5*b, 4*g - 588*b = -589*b + 16020. Is 35 a factor of g?
False
Suppose 48 = 8*l - 24. Let u(j) = 18*j. Let h be u(l). Suppose -4*z - h = -7*z. Does 23 divide z?
False
Let p = 31 + 6. Suppose -34*h = -p*h + 957. Suppose -h = -13*y + 71. Does 15 divide y?
True
Let z = -87 - -171. Suppose -z*g = -82*g - 720. Does 17 divide g?
False
Let z be ((-771)/(-2))/(3/2). Let c = -43 + z. Is c a multiple of 9?
False
Let l(z) = -z**3 - 33*z**2 + 27*z + 4. Let t = 181 - 216. Is 45 a factor of l(t)?
False
Suppose -101*o + o = -253300. Does 17 divide o?
True
Is (2 - (-5)/(-2))/((-113)/890892) a multiple of 23?
False
Suppose 0 = 52*r - 15*r - 6808. Does 8 divide r?
True
Let l(s) be the third derivative of -49*s**4/8 - 7*s**3/6 - 128*s**2. Is l(-1) a multiple of 28?
True
Let s(d) = d**2 + 11*d - 22. Let b be s(-13). Suppose w - 6*w - 4*t + 2 = 0, -2*t + 4 = b*w. Suppose w*x - 175 = 95. Is x a multiple of 15?
True
Let l = -3044 - -4066. Is l a multiple of 7?
True
Let f(d) = -d**3 + 34*d**2 - 30*d + 13. Let a(y) = y**3 + y**2 - 23*y + 66. Let r be a(3). Is 2 a factor of f(r)?
True
Let i be -4*(-2 + 9/6). Suppose -151 = -i*a + 157. Does 22 divide a?
True
Let d = 102 - 100. Suppose 9 = -a - 2*a + 3*k, 0 = -a + d*k - 2. Does 42 divide (1/(-2) - (-339)/(-12))*a?
False
Suppose -26261 = -22*m + 82771. Is m a multiple of 4?
True
Let n(f) = 19 + 49*f - 21*f + 0*f**2 - 18*f + f**2. Let d be n(-6). Let b(z) = -11*z + 56. Is 35 a factor of b(d)?
False
Let r(o) = o + 3. Let x(s) = -2*s - 2. Let j(d) = -6*r(d) - 7*x(d). Suppose -2 = 4*k - 10. Does 3 divide j(k)?
True
Suppose 13*f + 108 = 9*f. Is 2 a factor of ((-27)/f)/((-48)/(-47) + -1)?
False
Let t(n) = 8*n + 98. Let x be t(-12). Suppose 109 + 13 = x*v. Is v a multiple of 61?
True
Let d = 114415 + -41463. Is 105 a factor of d?
False
Is (2/6)/(98974/14139 - 7) a multiple of 4?
False
Suppose 3*i - 344 = -5*a, 5*i - 2*a + 0*a = 532. Let v = i - 37. Is 4 a factor of v?
False
Is 144/(-16) + -1 + 2680 a multiple of 6?
True
Suppose 5 = -5*i, -5*g - 2*i - 35 = 92. Let p be (3 - 2)/((-4)/(g - -5)). Suppose 0 = c + c + 8, 5*c = -p*r + 665. Is 23 a factor of r?
False
Suppose 3*n + 51 + 16 = -x, x + 69 = -n. Let a = x + 73. Suppose -a*y - 5*o + 101 = 0, 2*y = -y + 2*o + 94. Is y a multiple of 32?
True
Let x be 3 - (15/(-10))/((-3)/(-8)). Let u(w) = w**2 - 15*w + 12. Let p(l) = 2*l + 1. Let h(d) = -2*p(d) - u(d). Does 11 divide h(x)?
False
Suppose -w - 15 = -16. Suppose -w = -c - 3. Does 6 divide 5 - (-4)/(6 + c)?
True
Let t(u) = -1048*u - 5220. Is 45 a factor of t(-45)?
True
Let o(z) = 62*z - 67. Let y be o(14). Suppose 214*a = 217*a - y. Is a a multiple of 10?
False
Suppose -2*m = -0*m - 1154. Let p = -339 + m. Is 10 a factor of p?
False
Let l = -20772 + 21847. Is 7 a factor of l?
False
Let y(l) = -l**3 + 2*l**2 - 8*l - 6. Let t be y(-4). Suppose -2*s - 3*u = t + 6, 5*u + 120 = -2*s. Let n = -64 - s. Does 6 divide n?
True
Let d(s) = 101*s**2 - 5*s. Let y(f) = 2*f**2 + 1. Let z(g) = d(g) + 2*y(g). Does 48 divide z(-2)?
True
Suppose -442341 = -92*b + 205523. Is 32 a factor of b?
False
Suppose t + 3 = 0, 7*b = 2*b - 4*t + 78. Suppose 0 = 9*l - 6*l + b. Is 32 a factor of (-8 - -200)*(3/l)/(-1)?
True
Suppose 3*i + 311 = -253. Let q = i + 323. Does 27 divide q?
True
Let o = -16724 - -32168. Does 18 divide o?
True
Let r = -60 + 62. Suppose 3*m = -q - r + 28, q + m = 32. Does 9 divide q?
False
Suppose 59*b = 68*b - 5*k - 139505, 2*b - 3*k = 30986. Is 81 a factor of b?
False
Let h(m) = 4*m + 1. Let l be h(6). Suppose -11*x + l = -6*x. Does 32 divide 1/x + 3509/55?
True
Suppose -3*p - 2*j + 555 = 0, 3*j - 2 = 7. Suppose -6*r + p - 69 = 0. Is 2 a factor of r?
False
Let l(g) = g**2 - 3*g - 4. Let h be l(3). Let v(r) = r**3 + 5*r**2 + 3*r + 1. Let o be v(h). Is 0 + -2 + o - -39 a multiple of 7?
True
Suppose -10*z + z = 99. Let f(q) = 2*q**2 + q + 4. Let c(o) = -6*o**2 - 4*o - 12. Let a(v) = z*f(v) - 4*c(v). Does 3 divide a(-4)?
False
Suppose -4*d = -4*y - 32, 5*d + 5*y - 8*y = 44. Suppose 8*p + 60 = d*p. Is p a multiple of 10?
True
Let c = 25 - 20. Suppose -4*w = -6*w - 3*g - 5, -g = -w + c. Suppose -w*m = 5*m - 1141. Is m a multiple of 16?
False
Suppose -3*l - 356 = -c, 0 = 4*c - 18*l + 13*l - 1445. Let t = 782 - c. Is t a multiple of 19?
False
Let o(g) = -14*g**2 + 755*g + 75. Does 9 divide o(49)?
True
Let b = 36 - 1. Let q(w) = -w**2 - 6*w - 4. Let d be q(-8). Let s = d + b. Does 5 divide s?
True
Let o(n) = 128*n + 8576. Is 32 a factor of o(27)?
True
Let t = -565 + 933. Suppose 13*i - 5*i = t. Is i a multiple of 29?
False
Let v = -2959 + 2963. Suppose 0 = -f + 61 + 576. Suppose -a = 4*a - g - f, v*a - 503 = 3*g. Is 12 a factor of a?
False
Let h = -246 - -256. Is 4 a factor of (5 - 52/h)/((-5)/475)?
False
Let c be (-6124 - 0)/(28 + -26). Let z = c + 4408. Does 12 divide z?
False
Let y(u) = -3*u**3 - u**3 + 5*u**3 + 57*u**2 - 28*u**2 + 17 - 28*u**2. Is 20 a factor of y(6)?
False
Suppose 0 = -2*w + 12 - 8. Suppose -h - h = w. Does 11 divide 3/(9/(-186))*h?
False
Let c(x) = 