vide r - ((-4)/2 + -1)?
True
Suppose c = 49 + 1. Suppose -k - 4*s - s = -c, -2*k = -s - 78. Is 16 a factor of k?
False
Let a be 2/((-6)/(-4) + -1). Is 10 a factor of (-3 - (a + -3))*-5?
True
Let h = 3 - -16. Let c = 33 - h. Is 14 a factor of c?
True
Let s be (4/(-5))/((-3)/15). Suppose s*q - 18 = 6. Does 5 divide q?
False
Let y(r) = 3*r**2 - 3*r - 2. Let g(c) = -c**3 + 10*c**2 - 10*c + 8. Let a be g(9). Is y(a) a multiple of 4?
True
Let p(v) be the third derivative of v**5/60 + 3*v**4/8 + 2*v**3 - v**2. Does 4 divide p(-9)?
True
Let y(q) = 3*q**3 + 7*q**2 + 9*q + 6. Let z(t) = -5*t**3 - 14*t**2 - 17*t - 12. Let j(m) = 7*y(m) + 4*z(m). Is j(8) a multiple of 9?
True
Let k(y) = -y**2 - 12*y - 24. Is k(-7) a multiple of 11?
True
Let i(t) be the second derivative of t**6/360 - t**5/30 + t**4/24 + t**3/3 + t. Let g(k) be the second derivative of i(k). Does 6 divide g(5)?
True
Let b(h) = -h**3 + 8*h**2 - 5*h - 4. Let z(x) = 3*x + 4. Let q be z(4). Suppose -3*u = -i + q, 2*i + u + u - 8 = 0. Does 10 divide b(i)?
True
Let c(s) = 6*s**2 + 3*s + 4. Is 19 a factor of c(-4)?
False
Suppose -3*q + 4*k = -446, 2*q + 3*k = -2*k + 328. Is 22 a factor of q?
True
Suppose -4 = 5*f - 74. Is 7 a factor of f?
True
Let r(b) be the second derivative of -b**3/6 - 2*b**2 - 2*b. Let h be r(-6). Suppose -3 = -h*d + 5. Is d even?
True
Let y be -2 - ((-3 - -2) + 1). Let a be (0 - y/4)*4. Let t = a + 14. Is 8 a factor of t?
True
Suppose -5*j + 45 = 5*g, -4*j + 15 = -2*j + 5*g. Is j a multiple of 2?
True
Let a(n) = n**3 + 9*n**2 - 5*n + 10. Is a(-9) a multiple of 20?
False
Let a = -13 - -21. Let j = a - 5. Suppose 5*g - 10 = j*h, g + 2*h - 2 = -3*h. Is g even?
True
Suppose j = 4*l + 79, 2*j + 5*l = 4*j - 146. Suppose -3*f = 3, 2*u = -4*f - 3 + j. Does 16 divide u?
True
Let u = 8 - 4. Suppose -f + 4*c - 2 = -2*f, -u*f + 84 = -3*c. Is 18 a factor of f?
True
Let w be (3/2)/(3/4). Let c(o) = 13*o**2 + 3*o - 2. Is 14 a factor of c(w)?
True
Let r(h) = -h**3 - 7*h**2 + 8*h + 5. Let q be r(-8). Suppose 4 = q*d - 3*d. Suppose -56 = -4*i + d*i. Is i a multiple of 14?
True
Is 27 a factor of (2 - (-36)/(-6))*54/(-2)?
True
Let y(g) = 1091*g + 1. Let d be y(-1). Is d/(-25) + (-4)/(-10) a multiple of 21?
False
Let u = 20 - 7. Suppose 4*h = -3*z - u, 0*h + 10 = -3*z - h. Let g = z + 7. Is g a multiple of 4?
True
Is 20 a factor of (-121)/(-2) - 11/(-22)?
False
Let q = 439 + -239. Does 10 divide q?
True
Suppose -32 = -6*r + 2*r. Let m be r/2 - (2 - 0). Suppose -3 = -m*f + 4*y + 19, y = -4. Is 3 a factor of f?
True
Suppose 2 = 2*q - 2. Suppose 2*a = -q*a + 328. Is (-3)/(-6) + a/4 a multiple of 7?
True
Let l(r) = -3*r**3 + 17*r**2 - 3*r + 14. Let t(k) = k**3 - 6*k**2 + k - 5. Let v(u) = 6*l(u) + 17*t(u). Does 6 divide v(-2)?
False
Let w(q) = -51*q + 85. Let x(m) = 1. Let b(d) = w(d) - 85*x(d). Is 21 a factor of b(-1)?
False
Let y(v) be the first derivative of -v**6/360 + v**4/8 - 2*v**3/3 - 2. Let z(s) be the third derivative of y(s). Does 2 divide z(0)?
False
Suppose 4*w - 4 = 0, -4*t - w = -32 - 41. Is 6 a factor of t?
True
Suppose -4 = -4*t, -138 = 4*i - 3*t + 5*t. Let r = 9 - 30. Let u = r - i. Is 14 a factor of u?
True
Let n(w) = 12*w - 2. Let k be n(2). Is 8 a factor of 6/(-33) + 180/k?
True
Suppose -17 = -5*k + 23. Let o(s) = s - 5. Is o(k) a multiple of 2?
False
Suppose -2*w + 4*v + 16 = 0, 0*w = w + v + 7. Is (-83)/(-9) - w/(-9) a multiple of 3?
True
Let h = 124 - 74. Is h a multiple of 31?
False
Suppose 3*d - 7*d + 2*a = -42, 0 = 4*a + 20. Suppose 4*f = d*f - 64. Does 16 divide f?
True
Suppose -5*x + 3*l + 160 = -x, 0 = x + 5*l - 63. Is x a multiple of 7?
False
Let z = -2 - -6. Is 1/2 + 278/z a multiple of 30?
False
Let o be -2*(-3 - (-34)/4). Let h = 14 + o. Is h even?
False
Is 8 a factor of 2172/30 + (-8)/20?
True
Let k = -161 - -247. Is 19 a factor of k?
False
Suppose -k + 2*i = -2*k + 45, 0 = 5*k - i - 192. Does 8 divide k?
False
Let t be (-5)/(-2) - (-3)/(-6). Let r be (-14 - -2)*t/(-6). Suppose -10 = 2*i - r*i. Is 4 a factor of i?
False
Is 5 a factor of 21 - -6 - (-2 + (-2)/2)?
True
Let y(j) be the third derivative of -j**4/8 + j**3 - j**2. Let o be y(-7). Let n = o - -2. Does 19 divide n?
False
Let d(g) = -2*g - 2. Let b be d(-6). Let a be 6*2/(-10)*b. Does 3 divide (7/4)/((-3)/a)?
False
Let r be (-1)/4 - 570/(-8). Is 5 a factor of 4/24 + r/6?
False
Suppose 3*i - 4*i + 3 = 0. Let b = i + -4. Is (31 - 3) + 1 + b a multiple of 14?
True
Let j = -44 + 231. Does 27 divide j?
False
Let j(n) = -22*n. Is j(-2) a multiple of 22?
True
Suppose -599 = -8*j + 17. Is j a multiple of 4?
False
Suppose -2*c - 52 = -5*k, 3*c = 4*k - 2*c - 45. Let u(w) = -w**3 + 9*w**2 + 10*w + 10. Is u(k) a multiple of 5?
True
Let h = -12 + 42. Is 10 a factor of h?
True
Let m(t) = t**3 + 3*t**2 + 2*t. Let z be m(-3). Let o be (z/(-4))/((-3)/(-6)). Suppose -o*i + 10 = -i. Is 2 a factor of i?
False
Suppose 0 = 2*x - 4 - 0. Is 46 - ((-2)/2 + x) a multiple of 15?
True
Let h(g) = g**2 + 7*g - 1. Let l be h(-7). Is 6 a factor of (1 - 0)/(l/(-22))?
False
Suppose -3*m - m - 276 = 0. Let x be (m/6 - -1)*-8. Suppose -a - 87 = -2*u, 2*a = u - 3*u + x. Is 13 a factor of u?
False
Let l = 1 - -1. Suppose -5*p + 11 - 1 = 0, 2*p = -5*m + 54. Is 58/10 + l/m a multiple of 3?
True
Suppose 2*k - 7*k + 1100 = 0. Suppose 2*l = -3*l + k. Is (3/(-6))/((-2)/l) a multiple of 4?
False
Suppose -5*t = -8*t. Suppose j - 3*j + 152 = t. Is 24 a factor of j?
False
Let p = 111 - -105. Suppose -3*o + p = 5*s - 0*o, 3*o = -3*s + 132. Does 14 divide s?
True
Let q be -3 + (3 - 5 - -14). Is (q/(-4))/((-4)/96) a multiple of 27?
True
Does 22 divide -1 + 182/2 + 4?
False
Suppose -6*d + 4*t + 168 = -d, -t - 2 = 0. Suppose 0 = -4*p - 4*g + d, -4*p + 4*g + 7 + 57 = 0. Is p a multiple of 12?
True
Suppose -4*u + 9*u + 145 = 5*a, -5*a + 153 = 3*u. Is a a multiple of 15?
True
Let a = 47 + -21. Suppose -3*l + a = -1. Is l even?
False
Let j = 8 - 9. Let c(f) = 4*f**2 - f - 1. Is 4 a factor of c(j)?
True
Let j(f) = -f**2 + 6*f + 6. Let h be j(7). Is (2 - (1 + h)) + 53 a multiple of 24?
False
Let a(k) = -19*k - 4. Let l be a(-6). Suppose 5*u = 5*o - l, 0 = -2*o - o - 4*u + 87. Suppose 2*y = o + 29. Is y a multiple of 10?
False
Suppose 3*d + w = 8, -d - 2*d + 4*w = -13. Let q = 4 - d. Suppose -5*j + 21 = q. Is 2 a factor of j?
True
Let c(y) = -2*y - 6. Let p(o) = -o - 5. Let z(j) = 5*c(j) - 6*p(j). Is z(-3) a multiple of 9?
False
Suppose 6*d = 9*d - 90. Is 10 a factor of d?
True
Let y = 73 + -64. Is 9 a factor of y?
True
Let d(l) = 37*l**2 + 2*l - 1. Let p be d(1). Let b = p - 3. Is 15 a factor of b?
False
Suppose 3*b = 2*b + 49. Is b a multiple of 14?
False
Let a(g) = 2*g**2 + 5*g - 7. Suppose 2*z + 11 = 1. Does 6 divide a(z)?
True
Does 8 divide 10/20 + (-59)/(-2)?
False
Let f be -1*5 - (1 - 1). Let j(k) = -k**2 - 6*k + 0*k**2 - 3 - 7*k. Is 13 a factor of j(f)?
False
Let y(s) = 19*s**3 - s + 2. Is 3 a factor of y(1)?
False
Suppose 4*h + 19 = 3*u, 0 = 5*u - 5*h - 5 - 25. Suppose -2*s = 4*o + 30 - 10, o - 4 = -u*s. Is o/(-15) - (-188)/5 a multiple of 19?
True
Let j(r) be the third derivative of -r**4/6 - 3*r**3 - 7*r**2. Is j(-12) a multiple of 7?
False
Let f(r) = r**2 + 2 + r - 3 + 3. Suppose -5*t + 37 = -4*u + 7, 0 = 3*u + 5*t + 5. Does 22 divide f(u)?
True
Let s be (-1272)/(-16)*(-4)/(-6). Suppose -4*t - s = -3*q, -2*q + 3*t + 0*t = -35. Is 18 a factor of q?
False
Let k = -13 - -18. Suppose 3*q + 50 = k*q. Is 25 a factor of q?
True
Does 26 divide 547/9 - (-36)/162?
False
Does 17 divide -1*(-6)/(-21) - (-396)/14?
False
Suppose 5*u = -4*l + 50 + 158, -4*u - 16 = 0. Let z be 1 + 1 + l - -2. Suppose -3*x + z + 11 = 0. Is 24 a factor of x?
True
Let h(b) = b**3 - 6*b**2 + 9*b - 27. Is 4 a factor of h(6)?
False
Let l(v) = v + 12. Is 3 a factor of l(-7)?
False
Let z = -430 - -694. Is 22 a factor of z?
True
Suppose -5*u - 2*f = -25, 2*u - 2*f = 3*u - 5. Suppose u*q = 3*b + 44, -2*b + 2 = 5*q - 2. Let t = b + 27. Is 14 a factor of t?
False
Let w(y) be the first derivative of -y**3/3 + 11*y**2/2 - 7*y + 2. Is 7 a factor of w(5)?
False
Suppose 20*r = 22*r - 6. Suppose 2*g + 5*a = -2*g + 253, 2*g - 121 = r*a. Is g a multiple of 9?
False
Suppose -55 = -3*x + 29. Suppose 0 = -0*d + d + x. Does 16 divide (-4)/(-14) + (-888)/d?
True
Let o be 6/4*(-50)/(-15). Suppose -o - 5 = -