5 + 3*a + 0 - 13*a + 3. Let y = 7 + -10. Is g(y) a multiple of 27?
False
Let m(t) = -t**3 + 19*t**2 - 52*t + 28. Does 64 divide m(12)?
False
Let x(o) = -5*o - 14 + o + 3*o - 3*o. Let w = -18 + 4. Does 21 divide x(w)?
True
Does 42 divide (-294)/((-3)/1 + 232/87)?
True
Does 58 divide -4768*(-4 - 7/(-2))?
False
Suppose 5*o = 5*x + 10455, 5*o + 2*x - 16197 = -5749. Is 38 a factor of o?
True
Suppose 4*j = 2093 + 67. Suppose 0 = -0*m - 3*m + j. Is m a multiple of 18?
True
Let g = -6 + 4. Let l be 32/((-1 + g)/(-3)). Suppose -5*b + l = -218. Is b a multiple of 25?
True
Suppose -13*j + 816 = -7*j. Let n = j + 4. Is 28 a factor of n?
True
Is 6 a factor of (-48)/312 - (-67504)/52?
False
Suppose 20*k - 463 - 4017 = 0. Is 9 a factor of k?
False
Suppose -8 = -5*p - 4*d, -p + 4*d - 8 = p. Let q(t) = -t**3 + 2*t**2 + t + 152. Does 38 divide q(p)?
True
Suppose 0 = -2*m + 4*m - 14. Is ((-253)/33)/(((-7)/6)/m) a multiple of 7?
False
Let i = 2275 - -1193. Does 51 divide i?
True
Let d(j) = j**3 + 8*j**2 + 5*j - 14. Let a be d(-7). Let t = a + 33. Does 13 divide t?
False
Let v = 130 + 16. Suppose m + v = 3*i - 46, 0 = -5*m. Suppose 0 = -5*k + k - 16, -2*n = 3*k - i. Is n a multiple of 33?
False
Suppose 0 = 3*u + 241 - 703. Let y = -82 + u. Let j = y - 51. Is 5 a factor of j?
False
Let p = -1968 - -3923. Is 23 a factor of p?
True
Let o = 6 + -11. Let i = o - -9. Is i a multiple of 2?
True
Suppose 0 = 16*c - 45678 + 10510. Is 41 a factor of c?
False
Suppose -8*f + 690 = -870. Is f a multiple of 3?
True
Suppose 2*t - 7 = -3*t - 3*c, 0 = -5*t - c + 9. Suppose -168 - 267 = -t*m + 3*a, -3*a = 4*m - 897. Does 21 divide m?
False
Suppose -2*y = -0*y - 64. Let r = 56 - 69. Let f = r + y. Is f a multiple of 5?
False
Let k(l) = -l**2 - l**3 + 3*l + 139 - l**2 - 139. Let c = -7 - -3. Is k(c) a multiple of 5?
True
Let t(m) = -288*m. Does 27 divide t(-6)?
True
Suppose 9 = -0*a - 3*a. Let n(k) = 44*k**2 + 3*k + 3. Let p be n(a). Suppose 2*b + 3*b - p = 0. Is 26 a factor of b?
True
Let v = 32 + -27. Is 4 a factor of (-16)/(2 + 1 - v)?
True
Let p = 34 + -31. Suppose -p*i = 4*a - 3, -a - 4*i + 3 = 12. Does 3 divide a?
True
Suppose -8*c = -3*c + 60. Let f = c - -16. Suppose -5*k = 2*m - k - 8, -f*m + 26 = 3*k. Does 7 divide m?
False
Suppose -k = -o + 28, 3*o + 4*k = o + 80. Suppose 5*c - c = o. Does 9 divide (c/(-4))/((-3)/18)?
False
Let i = -140 - -135. Does 7 divide 100 - i/(5/(-2))?
True
Suppose 0 = 4*z - 0*z - 32. Suppose -5*h + 17 = -h + 3*b, z = h - 3*b. Suppose -h*n + 172 = x, n + 3*x + 2 - 28 = 0. Is n a multiple of 7?
True
Suppose 5*c + 2810 = b, -49*c + 52*c = 15. Is 45 a factor of b?
True
Let d = 158 + 293. Does 28 divide d?
False
Let n be (-75)/2 + 8/16. Let u = 17 - n. Suppose -14 = -2*k + u. Is k a multiple of 8?
False
Does 4 divide (-90 + 16)*(-2 + 0 + 1)?
False
Suppose 51 + 36 = 3*t. Let d = 54 - t. Is 6 a factor of d?
False
Suppose 0 = -5*v - 2*k + 4, -v - 3*v = -3*k + 6. Suppose v = w - 4*x - 84, -417 = -4*w - x + 4. Is 13 a factor of w?
True
Does 8 divide ((-15)/(-25))/(12/22140)?
False
Let h = 58 - 73. Let q = h + 24. Does 2 divide q?
False
Let j = 56 + 503. Is 18 a factor of j?
False
Let t(r) = 12*r + 5 - 22*r - 2 - 12*r. Is 18 a factor of t(-4)?
False
Suppose -11 = -a - 6. Is a - (-5 + 5) - -4 even?
False
Suppose 0*f = 5*f - 2*t + 5, 0 = -4*t. Let p(m) = -24*m**3 + 2*m**2 - 1. Let d be p(f). Suppose r - n - 19 = d, 0 = 2*n. Is 11 a factor of r?
True
Suppose -5*s + 92 = 7. Suppose 3*u - s = -5*h, 5*h + 10 = -0. Is u a multiple of 2?
False
Suppose -3*m = -3*n + 2*m + 25, 0 = 5*m + 10. Suppose -2*g = 5*b - 166, -7*b + 3*b + 3*g = -142. Is 17 a factor of (10 - 5)*b/n?
True
Let l(f) = f**3 + 26*f**2 - f - 22. Let h be l(-26). Suppose 0*y - 1092 = -5*i - 4*y, 2*i - h*y - 420 = 0. Does 31 divide i?
False
Let o = -76 + 133. Is o a multiple of 6?
False
Let d(x) = -2*x**2 + 4*x + 1. Let r be d(3). Let a(k) = -4*k + 4. Is a(r) a multiple of 8?
True
Let m(p) = p**2 + 8*p - 3. Let r(j) = 3*j. Let q be r(10). Suppose s - 21 = -4*n - 0*n, 0 = 5*n + 2*s - q. Is 9 a factor of m(n)?
True
Let h(g) = -6*g + 56. Is 8 a factor of h(-5)?
False
Let o(d) = -d**2 + d. Let t(g) = -g**3 - 3*g**2 - 12*g - 22. Let s(q) = -5*o(q) - t(q). Does 4 divide s(-6)?
True
Suppose 4*s = -5*w + 1216, w - 944 = -3*w + 4*s. Suppose 4*t = w + 244. Is t a multiple of 31?
False
Let z be -808*(-3 + -3 - -5). Suppose 5*p = z - 3. Is p a multiple of 18?
False
Suppose -i + 137 = 4*q, -3*q + 3 = 3*i - 93. Suppose 0 = j + 1, 0 = 2*o - 3*o + j + q. Suppose -k - k + o = 2*d, 2*d - 31 = -3*k. Does 8 divide d?
False
Let d(y) = -y**2 - 3*y + 2*y**2 - 6*y + 8. Let m be d(7). Does 2 divide 15*(-1 - 8/m)?
False
Let h(p) = 818*p**2 - 2*p + 2. Let f be h(2). Is 22 a factor of ((-1)/(-3))/(5/f) - -2?
True
Let q(p) be the third derivative of 7*p**4/24 - 4*p**3/3 + 14*p**2. Does 5 divide q(6)?
False
Suppose -4 = -2*q + q. Let n = q - 9. Is 13 + n - -2*1 a multiple of 10?
True
Suppose 0 = -7*g + 8*g - 43. Let c(k) = -g*k - 3 + 21*k - 3. Does 9 divide c(-3)?
False
Let u = -320 + 491. Is u a multiple of 12?
False
Suppose -237 = -2*q - 5*l, 3*q - 173 - 173 = 2*l. Does 23 divide 10 + -12 - q/(-2)?
False
Let b be (-2)/(-11) + (-768)/(-132). Suppose -3*x + 5*c = -b*x + 214, 3*c = 2*x - 111. Is x a multiple of 15?
False
Let k = -48 + 255. Is 6 a factor of k?
False
Let y be ((-40)/100)/(2/(-5)). Suppose -p - y = 0, -2*n + 3*p + 209 = 4*p. Does 10 divide n?
False
Let v(x) = 12*x**2 - 7*x + 8. Suppose 4*r = 6*r - 5*w + 5, -3 = -3*r + 4*w. Let k be v(r). Suppose -5*b = 48 - k. Is 15 a factor of b?
True
Let k(c) = 7*c. Let b(a) = -a**3 - 3*a**2 + 5. Let t be b(-2). Let g be k(t). Is (-2)/(-4)*(g - -9) a multiple of 8?
True
Suppose -3*l - t - 44 + 12 = 0, -3*l + 2*t = 35. Let s = -29 - l. Is 16 a factor of 3/s - (-193)/6?
True
Suppose -2*b - 35 = 3*n, -5*b - 56 = 2*n + 2*n. Let x(i) = -i**3 - 7*i**2 + 11*i + 28. Does 21 divide x(n)?
False
Let k be 2/(-6)*(9/3 + -30). Suppose 12*t = k*t + 129. Is 14 a factor of t?
False
Is 37 a factor of 24/18*(682/4 - 4)?
True
Suppose -y = 3*y - 12. Let i(d) = y*d**3 - d**3 - 3*d**2 + 4*d - 2 - 3*d**3. Is i(-5) a multiple of 18?
False
Let t be 10*-1*(-1)/2. Suppose -4*c + 84 = 5*g, 5*g = -2*c - 4 + 46. Suppose -t*p + c = -64. Is 7 a factor of p?
False
Suppose 0 = 3*o + 3*a - 12, -3*o + 13 = -o - 3*a. Suppose 158 - 21 = 2*s + c, 3*c = -o*s + 343. Is 17 a factor of s?
True
Suppose -i - 3*i = 2*l + 6, 5 = 5*l. Suppose -7*s = -2*s + 25. Is (-15)/s - 2/i a multiple of 4?
True
Suppose 0 = 4*j - 5*j - v + 987, 3*j - 5*v - 2953 = 0. Is 58 a factor of j?
True
Let f(w) = -3*w - 9. Let p be f(-4). Let t = -4 - -9. Suppose t*a + 17 = n, -p*n + 2*n - 2*a = -10. Is 5 a factor of n?
False
Let y = 881 + -553. Is y a multiple of 41?
True
Let b be (18/4)/(24/32). Suppose -8*g = -3*g - p - b, -4*p = -3*g - 10. Suppose -4*y = -0*k + k - 96, 0 = -g*y + 2. Is k a multiple of 24?
False
Is (-45)/(-10) + (-18632)/(-16) a multiple of 7?
True
Let u(l) = 24 + 12 + 8*l - 28. Suppose 0 = 5*j - 24 - 6. Is u(j) a multiple of 10?
False
Is (2720/(-25) + -2)/(20/(-500)) a multiple of 58?
False
Let u(f) = f**2 - 10*f - 59. Does 19 divide u(-10)?
False
Let x(y) = y**3 + 18*y**2 + 16*y + 13. Is x(-17) a multiple of 3?
True
Let b = -75 + 63. Let t = b - -22. Is 2 a factor of t?
True
Suppose 2*j - 899 = -3*b, 11*j - 4*b - 1808 = 7*j. Does 18 divide j?
False
Suppose 3*z = 3*l - 1096 - 485, 2*l - z = 1055. Does 66 divide l?
True
Let n = -26 + 14. Let b(u) = -u**3 - 12*u**2 - 8*u - 13. Is 19 a factor of b(n)?
False
Suppose -t + 2*t = 29. Let y = t + -19. Is 5 a factor of y?
True
Suppose 2*x = 6*x. Suppose -h + 4*h - 4*p - 292 = x, 202 = 2*h + p. Does 24 divide h?
False
Let o = 475 - 368. Does 8 divide o?
False
Suppose 0*p + 5*r + 5498 = 3*p, -3*p = -2*r - 5486. Does 83 divide p?
True
Suppose 4*z + 73 = 17. Does 11 divide (z/2)/((2/8)/(-1))?
False
Let o(j) = 8*j - 54. Let u be o(6). Does 11 divide (1 - u)*(-14)/(-1)?
False
Let w = 1644 + -1100. Does 68 divide w?
True
Suppose -f = -37 - 39. Let w(q) = 8*q + 11. Let m be w(-7). Let t = f + m. Is t a multiple of 14?
False
Let v be (-26)/10 + 2/(-5). Let z = -216 - -214. Is 29*((3 - z) + v) a multiple of 25?
False
Is 16044/420 + 4/5 even?
False
Suppose 108 = -10*j + 16*j. Is (-2)/3*(-1215)/j a multi