*m(t). Is z(0) a multiple of 11?
True
Let q = 17 - -77. Does 8 divide q?
False
Let f(v) = -51*v**3 - 1. Let y be f(-1). Suppose -7*c + y = -2*c. Is 148/c - (-1)/5 a multiple of 15?
True
Let h = 7 - 7. Suppose 22 = 2*g - 2*u, g = -h*g + 4*u + 8. Does 13 divide (78/g)/(2/8)?
True
Let w = -160 - -195. Is w a multiple of 5?
True
Is 31 a factor of (-3)/18*-62*3?
True
Let b(u) be the third derivative of 3*u**5/10 + u**4/24 + u**3/6 - u**2. Let r be (-2)/((-6)/(-9)) + 2. Does 10 divide b(r)?
False
Let c be ((-20)/(-8) - 2)/(2/(-4)). Suppose 0 = 2*t + k + 1, t = 3*t + 2*k - 2. Is (-52 + c - -1)/t a multiple of 7?
False
Let d(n) = -n - 5. Let s be d(-7). Suppose 4*c + s*r + 139 = 371, -5*r - 20 = 0. Does 20 divide c?
True
Suppose 4*u = 4*b - 9*b + 176, -4*b + 132 = u. Is 13 a factor of b?
False
Let p = 42 - 3. Does 16 divide 0*(-3)/6 + p?
False
Suppose 10*y = 8*y + 120. Is 30 a factor of y?
True
Let h(r) = 4*r + 4. Let u be h(3). Let d = 23 + u. Let g = -23 + d. Does 7 divide g?
False
Suppose -6 = -2*s - 0*s. Suppose -6*f = -s*f + 21. Let r(w) = -2*w - 7. Is 7 a factor of r(f)?
True
Let t be (0 - 7/(-1)) + 2. Let h(f) = -f**2 + 13*f + 3. Is h(t) a multiple of 13?
True
Let d(x) = x**3 + 4*x**2 + 4. Let j be d(-4). Suppose j*h - 153 = h. Does 17 divide h?
True
Let t(m) = -m**3 + 13*m**2 - 17*m + 25. Is 4 a factor of t(11)?
True
Let f be 0 - 2 - (66 + 1). Let p(h) = -h**3 - 11*h**2 + 3*h - 12. Let m be p(-11). Let s = m - f. Does 24 divide s?
True
Let c(v) = -v**3 + 8*v**2 + 6*v. Does 19 divide c(8)?
False
Let w(n) = -2*n + 2. Let s(c) = c - 1. Let t(f) = -5*s(f) - 3*w(f). Let q be t(4). Suppose -q*i + 28 = -8. Does 6 divide i?
True
Let x = 96 + -92. Is x even?
True
Suppose 3*c - 78 = 180. Let f = 68 + -102. Let s = c + f. Does 24 divide s?
False
Let r(z) = 7*z - 48. Does 5 divide r(11)?
False
Suppose 2*d = 2 + 6. Suppose -92 = -d*l + 4*t + 52, -4*l - 2*t = -144. Does 12 divide l?
True
Suppose 0 = 5*f - 2*f - 84. Let v = f + -5. Is 7 a factor of v?
False
Suppose 4*w - 918 = -2*t, -4*w + 3*t - 374 = -1287. Does 24 divide w?
False
Let l = -5 + 7. Let f(k) = k**3 - 2*k**2 + k + 2. Let z be f(l). Let h = z - 1. Is h a multiple of 3?
True
Let f = 11 + -8. Suppose 4*t + 0*l = l - 96, -t + 4*l - 24 = 0. Does 8 divide 0 + (-1)/(f/t)?
True
Let i(b) = 2*b - 14 + 8 + b**3 - 3*b**2 - b**2. Let s be i(4). Suppose -l + 0 = s, 4*v - 46 = 3*l. Does 10 divide v?
True
Let u(m) = m**2 - 7*m - 68. Let j(f) = -f**2 + 8*f + 68. Let c(s) = -6*j(s) - 7*u(s). Does 15 divide c(0)?
False
Let s = -2 + 5. Let g(y) = 9*y**2 - y**s - 9*y - 1 - 5 - 3. Does 13 divide g(7)?
True
Let n(f) = -f**3 + 6*f**2 - f + 1. Let i be n(6). Let b = i + 14. Does 4 divide b?
False
Suppose -312 = -4*g - 24. Is g a multiple of 6?
True
Suppose 0 = 3*h + 3*o - 291, -14 = h - o - 105. Does 29 divide h?
False
Suppose -s + 24 = -5*b, -4*s - 3 = -19. Let w = 2 + -6. Is (20/w)/(2/b) a multiple of 10?
True
Suppose -x + 90 = 5*q, -4*q + x + 48 = -3*x. Does 4 divide q?
False
Let k(s) = -s**2 + 5*s - 4. Suppose 3*r = 2*i - 19, -i + 0 - 13 = 3*r. Let l(a) = -a**2 + 4*a - 3. Let x(v) = i*k(v) - 3*l(v). Is x(3) a multiple of 4?
True
Let o = -3 + 5. Let r(m) = m**2 + m - 2. Let u be r(o). Suppose 0 = u*y + 16, -5*y + 11 - 1 = 5*w. Does 5 divide w?
False
Suppose -9*h = -8*h - 56. Is h a multiple of 13?
False
Let g(n) = -n + 7. Let i = -4 - -11. Let o be g(i). Suppose o = c - 32 + 5. Does 9 divide c?
True
Suppose -5*x - 133 = 2*p, p + 16 + 64 = -3*x. Let c = 51 + x. Does 8 divide c?
True
Let v(h) = -h**2 - 62*h - 10. Is v(-7) a multiple of 19?
False
Let w be -3*8/(-6)*13. Suppose u - 57 = w. Suppose 5*i + 81 - 20 = 2*a, -4*i - u = -3*a. Is 20 a factor of a?
False
Suppose -4*m - 3*g = -437, 4*g + 128 = m + g. Is 26 a factor of m?
False
Let a(b) = -b**2 - 11*b + 4. Is a(-8) a multiple of 2?
True
Let y(k) = 2*k - 7. Let s be y(5). Let t(c) = c**3 - c**2 - c - 3. Is t(s) a multiple of 12?
True
Suppose -y - 2*y = -9. Suppose -y*l + 2*l = -26. Does 13 divide l?
True
Suppose x - 340 = -3*r - 26, 4*r - 4*x = 424. Does 15 divide r?
True
Let n = 145 - 91. Is 16 a factor of n?
False
Let a(d) = d**3 + 13*d**2 + 13*d + 14. Let c be a(-12). Is (-581)/(-63) - c/9 a multiple of 9?
True
Let s = -158 + 254. Let y = 165 - s. Does 23 divide y?
True
Suppose 0 = -3*p + 4*g + 84, 2*g - 39 = -p + 7*g. Does 11 divide p?
False
Suppose -4*a - 2*l - 62 = 0, -3*a - 33 - 13 = 2*l. Suppose 3*o = -3*j - 108, -5*j - 19 = 3*o + 95. Let k = a - o. Is 12 a factor of k?
False
Suppose -p = -5*p + 5*h + 72, -3*p + 89 = 5*h. Does 5 divide p?
False
Let x = 64 - 91. Does 20 divide (2 - 0 - 3)*x?
False
Let c(p) = p + 14. Let j(u) = -u**3 + 7*u**2 - 5*u - 6. Let z be j(6). Is 14 a factor of c(z)?
True
Let l(d) = d**2 - 2*d - 1. Let c be l(3). Suppose -m + 67 = 3*p, 0 = -c*p + 5*m - 5 + 44. Is p a multiple of 9?
False
Let m(t) = 3*t. Let c be m(-1). Let w = -14 - c. Let o = 17 + w. Does 5 divide o?
False
Let v(y) = 5*y - 5*y**3 + y**3 - 4*y**2 - 4 + 5*y**3 - y**2. Let n be v(4). Let h = n + 4. Is 2 a factor of h?
True
Let x be (-14979)/27 - 4/18. Is 17 a factor of x/(-33) + 6/33?
True
Let r = -3 - -4. Does 12 divide r - 2*70/(-4)?
True
Suppose 0 = -t + 2*r - 6*r - 64, 3*t + 122 = 2*r. Let q = 78 + t. Is 17 a factor of q?
True
Let i(d) be the second derivative of 0 - 3*d - 1/2*d**2 + 1/12*d**4 - 1/2*d**3. Does 18 divide i(-4)?
False
Let w(h) be the second derivative of -7*h**4/12 - h**3/6 + h**2/2 + 2*h. Let d be w(1). Let v = 8 - d. Does 15 divide v?
True
Is 21/6*(2 + 6)*5 a multiple of 28?
True
Let y(b) = -b**3 + 4*b**2 - 4*b + 4. Let i be y(3). Does 2 divide -6*1*(0 - i)?
True
Does 34 divide (17/(-2))/((-3)/48)?
True
Suppose 0*u + u = 21. Let f = u - 13. Does 4 divide f?
True
Suppose -4*w - w + 65 = 0. Suppose h - w = 12. Does 15 divide h?
False
Let v = 10 + 11. Suppose -w - 4*f = -v, -45 = -5*w + 5*f - 10*f. Suppose -u + 17 = w*q - 2*q, 2*u = q - 1. Does 5 divide q?
True
Suppose -3*r + 200 = 2*c + r, 4*r + 430 = 5*c. Is 13 a factor of c?
False
Let w(v) = -v**3 + 3*v**2 + 2*v - 4. Let h be (-4)/(-14) + 19/7. Let r be w(h). Is 3 a factor of (-1*r)/(8/(-20))?
False
Suppose -h + 3*h = 24. Does 8 divide h?
False
Let f = 8 - 6. Suppose u = 2*v + 37, -f*u - 3*u + 205 = -5*v. Is 24 a factor of u?
False
Let f be ((-20)/6)/(5/(-15)). Suppose -2*i = 5*p - f, 2*i + 2*i - 20 = 5*p. Suppose -y - i*k + 4 = -2*k, -5*y + 3*k + 38 = 0. Is 7 a factor of y?
True
Let x(c) = c. Let l(h) = -h**2 + h + 8. Let b(o) = -l(o) + 6*x(o). Does 3 divide b(-7)?
True
Is ((-660)/48)/(2/(-8*1)) a multiple of 11?
True
Let v = 12 + -7. Suppose 5*y + v*f = 3*f + 60, -60 = -5*y - 5*f. Does 4 divide y?
True
Let y = 239 + -116. Is y a multiple of 10?
False
Suppose b + 9 = 2*h, 0*h = 4*b - 3*h + 21. Let q(u) = -u**3 + u - 3. Does 19 divide q(b)?
False
Suppose 3*x + 4*s - s = 96, 4*s - 20 = -x. Is 12 a factor of x?
True
Suppose -5*l + 148 = 2*r, 2*r - 3*r + 104 = -5*l. Does 11 divide r?
False
Let z(m) = m**3 - 7*m**2 + 2*m + 6. Let n be z(6). Let p(v) = 4*v - 2. Let i be p(-2). Let s = i - n. Does 4 divide s?
True
Suppose 1 = z - 15. Suppose 5*p + 263 = 3*b, p + z = 3*b - 231. Is 32 a factor of b?
False
Let l = 355 - 253. Does 21 divide l?
False
Let l be (-94)/(-18) + (-2)/9. Suppose l*p - 4*f = 4*p + 18, 108 = 4*p + 2*f. Is p a multiple of 9?
False
Suppose 3*t + 50 = -2*t + 5*s, 5*t = s - 34. Does 3 divide ((-21)/t)/(3/6)?
False
Let n(v) = v**2 + 6*v - 19. Let z be n(-13). Suppose h + 3*m + z = 2*h, 379 = 5*h + 4*m. Is 25 a factor of h?
True
Is 14 a factor of (0 + (-20)/25)*2100/(-8)?
True
Let b(o) = 67*o**2 - 1. Let w be b(1). Suppose -w = -h - 20. Is 13 a factor of h?
False
Suppose -4*s - s + 2*r + 130 = 0, 78 = 3*s + 5*r. Is 18 a factor of s?
False
Let t be 2 - -3*(2 + -1). Suppose -2*u = -0*q - 2*q, -t*q = 5*u - 30. Let l(r) = r**3 - r - 2. Is l(q) a multiple of 11?
True
Let d(j) = 10*j - 5. Let x be d(2). Let p be (2 - 7/(-2))*-2. Let h = p + x. Is h even?
True
Let b(u) = -u - 5. Let q be b(-7). Suppose -23 = -5*a + 2*z, 7 = 4*a - q*z - 13. Suppose -2*h = a*h - 60. Is h a multiple of 11?
False
Suppose 21*f + 528 = 25*f. Does 44 divide f?
True
Let l(n) = n - 6. Let a = -9 + 12. Let u be l(a). Is 35/(3/3) + u a multiple of 13?
False
Let f(s) = 10*s**3 - s**2. Let i(c) = c**3 - 15*c**2 - 16*c + 1. 