15)/(3/(-126)). Let z be (-3)/14*8*t. Let b = z - 217. Does 26 divide b?
False
Let y be (-60)/25*5/(-2). Suppose -v + y = 1. Suppose 73 = v*k - 37. Is 6 a factor of k?
False
Let u = 924 + -649. Let x = u + -195. Is 16 a factor of x?
True
Suppose 4*l + 5 = l + 2*d, -3*d - 1 = 4*l. Is (91/28)/(l/(-28 + 0)) a multiple of 13?
True
Let k(h) = -h**2 + 9*h - 9. Let p(w) = w + 12. Let n be p(-5). Let q be k(n). Suppose -4*j + 2*r + 218 = 40, -r = q. Does 11 divide j?
False
Let a(m) = -2*m**2 - 113*m + 13. Does 43 divide a(-48)?
False
Suppose -2*r = v, 2*v - v + 5*r = 0. Suppose -c + 5*i + 31 = 0, 4*c + v*i + i - 19 = 0. Does 5 divide c?
False
Let j(w) = -w - 3. Let h be j(-9). Suppose 0 = h*z - 8*z + 68. Does 6 divide z?
False
Suppose -2*u + j = -132, 140 + 126 = 4*u - j. Let y = u + -1. Is y a multiple of 16?
False
Suppose -21*z = -29*z + 16296. Is 97 a factor of z?
True
Let h = -80 - -370. Does 10 divide h?
True
Suppose -25 = -0*q - 3*q + 4*j, 3*q + 4*j = -7. Let b(n) = -9*n + 2 - 4 + q. Is 10 a factor of b(-1)?
True
Let m(n) = n + 14. Let j be m(-14). Let k(x) = -2*x**2 - x**2 + 35 + 2*x**2. Is 13 a factor of k(j)?
False
Let x(w) = 280*w**3 + 5*w**2 - 6*w + 8. Let o(t) = -140*t**3 - 3*t**2 + 3*t - 4. Let u(g) = 7*o(g) + 4*x(g). Is u(1) a multiple of 7?
True
Let a(i) = i**3 - 11*i**2 + 12*i - 17. Let l(s) = -s**2 - 8*s - 2. Let h be l(-6). Is a(h) a multiple of 2?
False
Suppose 10 = -2*q, -5 - 5 = 5*n + 5*q. Suppose -p = -3, n*f + 3*p - 110 = -41. Does 3 divide f?
False
Does 20 divide (13 - 68/6) + 112/3?
False
Let h = 176 + 406. Does 12 divide h?
False
Is 14168/(-231)*-1*486/8 a multiple of 9?
True
Let f(j) = 3*j**2 + 166*j - 164*j + 1 + 30. Is 31 a factor of f(-8)?
False
Suppose 2*m = 0, 5*m - 357 = 15*f - 18*f. Does 7 divide f?
True
Is 13 a factor of (606/(-9))/(12/(-306))?
False
Let d(l) = l**2 - 8*l - 20. Let o be d(10). Let q(c) = 3 - 17*c - 4 - 3 + o*c + 2*c**2. Is q(10) a multiple of 11?
False
Let w = -24354 - -16327. Is 1/2 - w/46 a multiple of 35?
True
Let w(t) = -t**3 - 4*t**2 + 4*t - 1. Let h be w(-5). Let x be (h/(-6))/(40/(-660)). Let i = 47 - x. Is i a multiple of 18?
True
Suppose -r + 5*p = -32, 50 = 5*r - 2*p - p. Let m be 3 + (-8)/2 + r. Is 5 a factor of 4/m - 185/(-15)?
False
Suppose -9*c = -2*c - 9772. Is 92 a factor of c?
False
Suppose -z - 3*t = -1 + 3, -11 = 3*z + 4*t. Let s = z - -17. Does 3 divide s?
True
Suppose -183 = -3*j - 30. Suppose d + j = 234. Let p = d - 85. Is 34 a factor of p?
False
Let m = -2 + 4. Suppose -m*p - 13 = v - 7*p, -5*p + 31 = -2*v. Is v/63 + (-144)/(-14) a multiple of 4?
False
Suppose -z + 461 = 2*g, 5*g + 3*z - 1163 = 4*z. Is 58 a factor of g?
True
Let z = 110 - -93. Is z a multiple of 26?
False
Let a(j) = 9*j - 18. Let c be a(14). Suppose 0 = -3*x + 5*l + 99 + c, 3*l = 0. Does 24 divide x?
False
Let n = 87 - 75. Suppose 0 = 3*j + 3*v - 51 + n, 0 = -4*j + v + 62. Is j a multiple of 15?
True
Let m(r) = -r + 18. Suppose x + 5*u = -37, 3*x + 31 = 6*u - u. Is 7 a factor of m(x)?
True
Let l(p) = -27*p + 36 + 0*p**3 + 11*p + p**3 + 0*p**3 + 15*p**2. Does 18 divide l(-16)?
True
Let a be (-1)/((-35)/15 + 2). Suppose -5*r = a*k - r - 562, 3*r + 170 = k. Is k a multiple of 14?
True
Let q = -6 - -3. Is 5*((-284)/60 - q)*-3 a multiple of 3?
False
Is 9684/57 - (-8)/76 a multiple of 10?
True
Let m = -64 + 123. Let k be (-7 - (-6 + 3))*2. Let i = k + m. Does 17 divide i?
True
Let p(b) = 3*b + 11. Let o be p(0). Let f = 18 - o. Does 2 divide f?
False
Let n(l) be the first derivative of -5*l**2 - 38*l + 9. Does 5 divide n(-7)?
False
Suppose 3*j = 6*f - 5*f - 128, -4*f = -5*j - 491. Is 7 a factor of f?
True
Suppose 9*y - 210 - 4776 = 0. Is y a multiple of 35?
False
Let b(m) = -7*m + 4. Let a be b(-3). Suppose -s + 2 = 0, 5*g + 3*s = -2*s + 10. Suppose -a = -u - g. Is 10 a factor of u?
False
Suppose -7*y = -2*y - 15. Let v be 1/3*(y - -3). Suppose 3*o + 11 = b, -4*b - 6*o = -v*o - 60. Is 7 a factor of b?
True
Let o(w) = w**2 - 11*w - 10. Let f be o(12). Suppose f*k = -k - 60. Let x = -13 - k. Does 7 divide x?
True
Suppose -4*z + 20 = 0, z = -5*p + p + 17. Suppose -9*a = -p*a - 24. Is 7 a factor of a + -2 - (-30)/6?
True
Suppose 6*h + 55008 = 2*h. Is h/(-132) - (-4)/(-22) a multiple of 23?
False
Let n(w) = 295*w**2 + 14*w + 33. Is n(-2) a multiple of 15?
True
Let d be ((-44)/(-55))/(2/5). Suppose c = -2 + 1, -d*c = -2*k + 128. Let j = 103 - k. Does 11 divide j?
False
Let j(a) = a + a**3 - 5*a**2 + 5*a + 2*a + 4. Is 24 a factor of j(6)?
False
Let q(h) = -h**2 + 8*h + 16. Let k be q(9). Suppose k*v = 112 + 616. Does 26 divide v?
True
Let d = -20 - -55. Let c = d - 31. Suppose c*x = 23 + 89. Does 7 divide x?
True
Suppose 4*t = -t - y + 25, -4*y - 32 = -2*t. Suppose t*n = 9*n - 567. Is n a multiple of 15?
False
Suppose -5087 - 2323 = -26*o. Is o a multiple of 15?
True
Let w = 42 - 37. Is 87 - -1 - (3 - w) a multiple of 18?
True
Suppose 13*c = 4*i + 10*c - 15463, 15459 = 4*i + c. Is 13 a factor of i?
False
Suppose 2*n + 9*t - 12*t = 371, 180 = n + 4*t. Is 47 a factor of n?
False
Suppose l + 16 = 3*l. Let m = 12 - l. Suppose -m*j + 38 = 2*p, -2*j + 12 = -5*j. Is 22 a factor of p?
False
Suppose 3*r + 3*n - 1230 = 0, r - 538 = -4*n - 125. Does 36 divide r?
False
Suppose 210 = 4*q + 2*f, 5*f - 80 = -2*q + 5. Let d be (q/(-22))/((-2)/4). Suppose 2*p = -4*w + 40, d*p + 3*w = 6*w + 48. Is 6 a factor of p?
True
Suppose 975 = 3*l + 75. Let n = l - 202. Is n a multiple of 14?
True
Let h = 49 - 49. Suppose h = -15*g + 16*g - 19. Is g a multiple of 6?
False
Suppose -3*c = -2*n - 13, -3*c - c - 3*n + 23 = 0. Suppose -x = 2*o + c, o + x + 3 + 1 = 0. Let s = 11 - o. Is 6 a factor of s?
True
Suppose -15*x + x = -910. Is x even?
False
Suppose 4*h - 5*h - 4*g + 481 = 0, -4*g = 3*h - 1467. Does 4 divide h?
False
Let h(d) = 35*d**2 - 2*d + 3. Let n be h(2). Suppose 0 = -4*j - g - n, 8 = 3*g - 7. Let b = -15 - j. Is 7 a factor of b?
True
Suppose -4*h + 20 = 2*n, 4*h - 3 = -5*n + 29. Suppose -111 - 41 = -n*b. Does 24 divide b?
False
Let f(a) = -a**3 - 10*a**2 - 5*a - 11. Let m(h) = 3*h**2 - 8. Let g be m(-4). Suppose 7*y = 3*y - g. Is f(y) a multiple of 13?
True
Suppose -581 + 2213 = 2*u + 5*n, 3*u + 5*n = 2448. Is 43 a factor of u?
False
Let r be (-1)/(22/12 + -2). Suppose 14 = -5*d - r. Is (-235)/d + 3/(-4) a multiple of 19?
False
Let u(v) = 30*v - 10. Does 19 divide u(4)?
False
Suppose 2*r = 3*n - 14, -2*r - 11 = -2*n + r. Suppose -n + 43 = -m. Let y = -24 - m. Does 15 divide y?
True
Let v(s) = -5*s**2 + 5*s - 1. Let p(n) = 9*n**2 - 10*n + 1. Let o(l) = -6*p(l) - 11*v(l). Let b be (1 - 0/4) + -6. Does 3 divide o(b)?
False
Suppose -4*s - 2*r = 46, -s - 11 = 4*r + 18. Let q(z) be the first derivative of -z**4/4 - 3*z**3 - 2*z**2 + 2*z - 1. Is q(s) a multiple of 10?
False
Suppose 0 = 3*f - 2*f + 11. Let w(x) = -2*x**3 + 7*x**2 + 11*x + 21. Let d(p) = -p**3 + 3*p**2 + 6*p + 11. Let q(k) = f*d(k) + 6*w(k). Does 25 divide q(8)?
False
Is 3 a factor of 9*((-294)/(-315))/(2/10)?
True
Does 34 divide 1428/(-15)*40/(-16)?
True
Let a(t) = 5*t**3 + 44*t**2 + 4*t - 37. Let p(h) = h**3 + 11*h**2 + h - 9. Let l(c) = -2*a(c) + 9*p(c). Let m be l(11). Is 0 + (m + 52 - -3) a multiple of 17?
False
Let d(w) = 20*w + 66. Is d(3) a multiple of 14?
True
Let j(a) = 233*a**3 - 3*a**2 - 11*a + 15. Is j(2) a multiple of 68?
False
Suppose j - 229 = -2*v + 249, 5*j = 5*v - 1165. Let a = v - 88. Is 17 a factor of a?
False
Let c = -636 + 840. Does 51 divide c?
True
Suppose -15*w - 169 + 649 = 0. Does 3 divide w?
False
Suppose -l = 5*n + 44, -n = 7 - 2. Let p(v) = -v + 23. Does 7 divide p(l)?
True
Suppose 41*d - 18*d - 966 = 0. Is 3 a factor of d?
True
Let b be 2534/18 + (-6)/(-27). Suppose -2*p - 5*f = 52 - b, 0 = 5*f - 25. Suppose 4*m = 16, 2*m + 2*m = -x + p. Is x a multiple of 5?
False
Let t(c) = -4*c**3 + 8*c**2 - 8*c + 12. Let y(p) = p**3 + p. Let d(j) = -t(j) - 2*y(j). Is 4 a factor of d(5)?
True
Let u(y) = y**3 + 8*y**2 + y - 10. Let f be u(-5). Let b = f - 33. Is b a multiple of 16?
False
Suppose 0 = 8*c - 24*c + 1152. Is 36 a factor of c?
True
Let i(m) = 8*m**2 - 2*m - 1. Let h be -2 - ((3 - 27) + -3). Suppose -5*n = -h, 3*d + 4*n - 11 - 15 = 0. Is i(d) a multiple of 6?
False
Let y(w) = -112*w + 27. Does 86 divide y(-11)?
False
Suppose n = 2*n - 2*w - 285, n - 5