x - 2*y, 0*x - 4*x + 4*y = -128. Is 8 a factor of x?
True
Let u be (6 - 6) + 11*2. Is -1 - -1 - u*-5 a multiple of 10?
True
Let t(n) = -n**3 - 17*n**2 + 73*n - 15. Does 27 divide t(-21)?
True
Let p be -3 + (0 - -1) - -6. Suppose 5*u = -5*o - 35, -3*u + 2 = p*o + 20. Does 30 divide (-956)/u - 22/(-55)?
False
Is 43 + -18 + 14/(-2) a multiple of 6?
True
Suppose j + 7 = 19. Suppose 2*m + 4*b = 22, -j = -m - b - 5. Is 25 a factor of (m - (-14)/(-4))*-50?
True
Suppose 9*f - 7*f = 0. Suppose f = 3*v - 3*n - 288, -v + 2*n + 96 = -n. Does 32 divide v?
True
Let k(x) = x**2 + 4*x - 17. Let w = -2 - 2. Let b be 0 + (w - (3 - -5)). Does 20 divide k(b)?
False
Does 33 divide (100/(-75))/((-4)/198)?
True
Let u be 3 + ((-3)/(-1))/(-1). Let i(d) = -d + 2. Let h be i(u). Suppose -m = 5*k - 32, -3*k + 3*m = -h*k. Is k even?
True
Let j = -76 - -84. Suppose j*f - 72 = -f. Is f a multiple of 5?
False
Suppose 28 = -b + y, -4*y + 24 = -b - 2*y. Let k(o) = 37*o**3 - o**2 - o + 1. Let t be k(1). Let l = t + b. Is 4 a factor of l?
True
Let a(f) be the second derivative of f**5/30 - 13*f**4/24 + f**3/2 + 7*f**2 + 6*f. Let c(q) be the first derivative of a(q). Is 32 a factor of c(10)?
False
Let d = 17 - 13. Let s(c) = -8 + c**3 + 3 - 5*c**2 + 11*c - 4*c. Is 3 a factor of s(d)?
False
Let q(b) = 12*b**2 + 28*b - 413. Does 111 divide q(14)?
True
Let q(z) = -2*z**2 - 15*z + 8. Let a be q(-11). Let w be 6/(-2) - a/3. Suppose -39 = -23*v + w*v. Is 13 a factor of v?
True
Suppose -5*g = -3*r + 44, -r + 2*r = -4*g - 25. Is 29 a factor of (-5031)/(-91) - (-2)/g?
False
Let n be (0 + -12)*(-4)/3. Suppose -3*y + 2*a - n = 0, 0*y + 5*a - 17 = -4*y. Is 8/y - 166/(-2) a multiple of 11?
False
Let g(c) = -17*c**3 - 4*c**2 - 9*c**2 + 5*c - 3*c + 14*c**2 + 8. Is 8 a factor of g(-2)?
True
Let f = -9 - -13. Suppose 26 = 5*m + 2*b, b - f*b = -2*m - 1. Suppose 5*l + 0*l = 5*t + 60, m*t = 5*l - 58. Does 5 divide l?
True
Let z(d) = 2*d**3 - 48*d**2 - 11*d + 21. Does 87 divide z(25)?
False
Let j(q) = q**3 + 2*q**2 - 1. Let r be j(1). Suppose 6 = r*h + h. Does 11 divide 8 - (-2 + h/(-2))?
True
Suppose -2*a + 4*k = -1412, -57*k - 2 = -55*k. Does 44 divide a?
True
Let f be (-2)/4*(-1 - 1). Does 32 divide (0 - (f - 16))*(-32)/(-5)?
True
Let f = 829 - 484. Is f a multiple of 36?
False
Let m(o) = -62*o - 31. Is m(-3) a multiple of 7?
False
Let h(v) = v**3 - 12*v**2 + 11*v + 2. Let x be h(11). Is 12*((-3)/9 + x) a multiple of 20?
True
Let u = 3437 + -993. Is 23 a factor of u?
False
Let c be (-15 - -18) + (-1 - 8). Does 10 divide (-424)/c - 10/15?
True
Let f = -58 - -105. Suppose -4*h - 4*p + f = -5*h, 3*p - 96 = 3*h. Let l = -17 - h. Is l a multiple of 6?
False
Suppose 3*r = 2*j - 12 + 3, -1 = -r. Is j a multiple of 3?
True
Suppose -3*p + 3 = -2*p + s, 3*p = -5*s + 1. Suppose -p*t = -10*t + 6. Suppose 2*m - 76 = -5*l, m + 3*l + 38 = t*m. Is m a multiple of 19?
True
Let f = 7 + -5. Let c be 1 - 75/(-6)*f. Suppose 0 = 4*n - 122 + c. Is n a multiple of 8?
True
Let l be 3135/25 - 4/10. Let u = l - 57. Is 34 a factor of u?
True
Let l = -25 + 33. Suppose -3*b + l*b = 0. Suppose -y - y - 3*d + 89 = b, -5*d - 129 = -2*y. Is y a multiple of 13?
True
Let q(d) = 14*d**3 - 5*d**2 + 9*d + 18. Is q(4) a multiple of 10?
True
Suppose -z = 5 - 8. Let b be 3*(2 + (-10)/z). Is 12 a factor of (56/(-35))/(b/90)?
True
Suppose 6 = -2*g - g. Does 8 divide -69*g/6 + -1?
False
Let g = 2 + 230. Is 5 a factor of g?
False
Suppose -6 - 19 = d. Let y = d + -45. Let f = -38 - y. Is f a multiple of 5?
False
Suppose -3*d = -6 - 3. Suppose 294 = 3*q - a - 301, d*a + 3 = 0. Does 7 divide q?
False
Let m = 333 - 77. Is 16 a factor of m?
True
Does 8 divide ((-996)/18 + 4)/(2/(-33))?
False
Let t(v) = -2 + 6 + 9*v + 0*v. Let i(k) = 225*k + 99. Let s(g) = -4*i(g) + 99*t(g). Is s(-4) a multiple of 13?
False
Suppose -5*m = 0, 4*y + 4*m = -108 + 1056. Let p = y + -69. Is p a multiple of 12?
True
Let f(b) be the third derivative of b**4/8 - 2*b**3/3 - 2*b**2. Let k be f(2). Suppose 2*o + 0*o - 50 = -k*t, -3*o = 6. Is 8 a factor of t?
False
Suppose 16*y - 8*y = 152. Suppose -y = 3*h - 3*n - 100, -4*h = -2*n - 114. Is 10 a factor of h?
True
Let y = 71 - 23. Let h = -45 - -45. Suppose -2*t + y = -h*t. Is 12 a factor of t?
True
Does 11 divide (5/30)/(3/19242)?
False
Suppose 36*f = 5*y + 41*f - 805, -5*y + 2*f = -798. Is 4 a factor of y?
True
Suppose -a = 2*a + 2*q + 419, -4*q - 699 = 5*a. Let t = a - -46. Let s = t - -162. Is s a multiple of 14?
False
Suppose 3*z - 497 = 301. Is 38 a factor of z?
True
Let s(o) = -3 - 8*o - 2 + 2*o + o**2. Let k(t) = t - 52. Let w be k(48). Is 35 a factor of s(w)?
True
Let s(w) = w**2 - 2*w - 27. Let a be s(8). Suppose -a*u + 414 = 99. Is u a multiple of 15?
True
Let y(f) = 27*f. Let v be y(-3). Suppose -3*s + 0*s = 108. Let i = s - v. Is i a multiple of 15?
True
Suppose -4*h + 10 = -70. Suppose -2*v + h = 154. Let t = v - -112. Is 15 a factor of t?
True
Suppose -2*l + 3*l = -2*t + 6, 12 = 2*l - 2*t. Suppose l*x - 16 = 5*x. Is x a multiple of 8?
True
Suppose -4*l = 5*g - 5*l - 5, 5*l - 31 = -3*g. Suppose y = -2*y - 2*d + 17, -2 = -g*d. Suppose -4*a = -y*a + 17. Is a a multiple of 17?
True
Let x(b) = -1 + 2*b - 3*b + b**2 + 6 + 0*b. Let l be x(4). Is l + (0 + 5 - 2) a multiple of 15?
False
Let t be (15/(-4) + 4)*16. Suppose -v = -0 - t. Is v a multiple of 4?
True
Is 5 a factor of (4 - 3) + -1 + 637?
False
Let o(z) = z + 3. Let u be o(1). Suppose -u*b = -5*x + 666, 2*x - 110 = x - 5*b. Is x a multiple of 26?
True
Let f be -2 + 0 + 36/(-1). Let k be 2 - ((-444)/(-4) + 3). Let a = f - k. Is a a multiple of 28?
False
Let n(p) = -1 - 3*p - p**2 + 2*p**2 + 3*p**3 + 4*p**3 + 2*p**2. Does 17 divide n(2)?
False
Let b(i) be the third derivative of -1/12*i**4 - 8/3*i**3 + 0 + 2*i**2 + 0*i. Does 5 divide b(-15)?
False
Let d(f) = -f**2 + 7*f + 5. Let p(c) = c**2 - 4*c - 3. Let o(l) = -3*d(l) - 5*p(l). Let g be o(0). Suppose 2*a - 5 = -5*s, s + g*s + 65 = 4*a. Does 8 divide a?
False
Does 19 divide -1*84/(-8 + 5) + 1?
False
Suppose 5*g = -4*h + 33, -5 = g - 0*g - 5*h. Suppose g*z = 455 + 1270. Is z a multiple of 15?
True
Suppose -2*u - u + 195 = 0. Let v(f) = 12*f**2 - 3*f + 2. Let c be v(3). Let i = c - u. Is 18 a factor of i?
True
Suppose 5*a - 1983 + 613 = 0. Let f = -119 + a. Suppose x - 83 = -5*g + f, 4*g - x = 194. Is g a multiple of 12?
True
Let s(r) = -78*r + 21. Is 16 a factor of s(-25)?
False
Let g(v) = v**3 + 6*v**2 - 3*v - 4. Let d = 11 + -13. Let h = d - 4. Is 7 a factor of g(h)?
True
Let j(s) = -210*s + 208*s + 2 + 6. Is j(-14) a multiple of 9?
True
Let b = -415 - -1325. Does 21 divide 6/4 + -1 - b/(-4)?
False
Suppose -j = 3*z - 6*z + 10, 4*z - 5 = 3*j. Suppose 3*o + 2*q - 6 = 40, o + j*q - 11 = 0. Does 16 divide o?
True
Suppose 129*w - 105*w = 14832. Does 39 divide w?
False
Let f(y) be the third derivative of y**6/120 - 7*y**5/30 + y**4/12 + 5*y**3/6 - 45*y**2. Suppose 4*l - 36 = -5*z, 2*z + 0*z = 4*l - 64. Is 7 a factor of f(l)?
False
Suppose -2*u - 3*w - 3 = -12, -4*u = w - 33. Let i be (38/(-6))/(u/27). Let h = i + 28. Is h even?
False
Let f(s) = 58*s - 608. Does 24 divide f(15)?
False
Let b(m) = -501*m + 30. Does 18 divide b(-3)?
False
Let k(d) = -d**2 + 11*d - 7. Let f be k(13). Let h be 3/9 - 67/3. Let j = h - f. Is j a multiple of 5?
False
Let z = -4 + 8. Let n be 0/((-2)/(-3 + z)). Suppose n = v - 4*i - 40, -i - 2 = 2. Is v a multiple of 6?
True
Let g = -218 - -219. Let r(s) = 27*s - 4*s + 4 - 2. Is r(g) a multiple of 12?
False
Let r(p) be the third derivative of p**5/60 - p**4/4 - 25*p**3/6 - 22*p**2. Is 5 a factor of r(11)?
True
Suppose -t - 4*f + 20 = 0, f - 5*f + 36 = 2*t. Suppose 4*y - 8*y = -20. Let d = t - y. Is 11 a factor of d?
True
Let p(r) = 3*r**2 + 15*r + 12. Is p(-13) a multiple of 8?
False
Suppose 0 = -12*j + 714 + 1014. Does 9 divide j?
True
Suppose -3454 = -16*l + 146. Is l a multiple of 3?
True
Let i be (-3)/(18/315*10/(-16)). Let n = i - 60. Is 3 a factor of n?
True
Does 10 divide (1827/(-49) - 7)*(-8 + 1)?
True
Let t be (-8)/(-12) + 19/3. Let q = 10 - t. Suppose 5*u + 115 = j + 4*j, 4*j = -q*u + 106. Does 6 divide j?
False
Let d = -131 + 334. Is d a multiple of 3?
False
Suppose 42*x - 426 = 39*x. Is x a multiple of 7?
False
Let g be (-2)/9 + (-208)/117 - 1. Let f(d) = 4*d**2 - 12*d + 4. Is 1