ide i?
True
Let r = 747 - 411. Is r a multiple of 16?
True
Is 66 a factor of (-3 - -25)*(3 - -108)?
True
Let x(u) = 6*u**2 + 5*u - 8. Does 20 divide x(-4)?
False
Let t = -85 - -98. Let y = -19 + 36. Let b = y - t. Is 4 a factor of b?
True
Suppose 5*v + 466 = 86. Let h = -53 - v. Is h a multiple of 23?
True
Let p(h) be the first derivative of -h**4/4 - 2*h**3 - h**2/2 - 7*h - 2. Let j(y) = y**2 - 7*y + 5. Let w be j(4). Is p(w) a multiple of 7?
True
Suppose 0 = 382*q - 374*q - 6584. Is 13 a factor of q?
False
Let y(z) = 331*z - 161. Does 18 divide y(5)?
True
Let l(w) = w**2 + 4*w - 3. Let u be l(-5). Let j = 10 + u. Let t = j - 6. Is t a multiple of 3?
True
Let g(r) = 3*r + 23. Let f be g(-8). Is 14 a factor of (-86)/8*(f + -3)?
False
Let g(s) be the third derivative of s**6/120 - s**5/10 - s**4/4 + s**3/2 + s**2. Let h(a) = 5*a**2 - 2*a. Let r be h(-1). Is g(r) a multiple of 5?
True
Suppose 0 = -5*m - 0*i + 3*i + 15, 5*i + 25 = 3*m. Suppose -4*r + 8 = -m, -5*k - 3*r = -46. Does 8 divide k?
True
Let j(p) be the first derivative of -p**5/10 - p**3/3 - 2*p**2 - 5*p + 4. Let i(q) be the first derivative of j(q). Is i(-3) a multiple of 24?
False
Suppose -y = 5*f - 31, 5*y + 1 = -2*f + 3*f. Let o be ((-15)/(-6))/((-3)/f). Is 3 a factor of (-28)/o - (-2)/5?
True
Let g be -12*3*(-3)/12*1. Suppose -14*d + g*d = -130. Is d a multiple of 11?
False
Suppose -4*n + 3*b - b - 34 = 0, 0 = 3*n - 4*b + 23. Let m be (-1)/3 + (-3)/n. Suppose 5*w = -m*w + 30. Does 4 divide w?
False
Let g = -2692 - -2908. Does 6 divide g?
True
Suppose 6*w - 2*w + 8 = 5*k, 0 = k + w + 2. Is 13 a factor of 342/6 + -4 + k + -1?
True
Suppose 4086 = 7*a + 1314. Does 12 divide a?
True
Let y = 28 + -83. Let m = y + 126. Is m a multiple of 25?
False
Let f = -10 + 22. Suppose -w + f = -12. Is w a multiple of 15?
False
Let z = 838 + -22. Does 17 divide z?
True
Suppose 4*f - 30 = 5*i + 183, -5*f + 4*i + 255 = 0. Let j = f - 17. Is j a multiple of 3?
True
Let u(p) = 5*p + 5. Let z(w) = -8*w**3 + w + 1. Let n be z(-1). Does 34 divide u(n)?
False
Suppose -5*z + 1804 + 1253 = -4*h, -5*z + 3042 = h. Is z a multiple of 4?
False
Let s = 119 - 55. Suppose 0 = -5*v - m + 274, 5*m = 5*v + s - 344. Is 11 a factor of v?
True
Let f(p) = 12*p - 50. Is 10 a factor of f(20)?
True
Suppose 2*f + 5*l = 270, f = -0*f - 4*l + 132. Is f a multiple of 8?
False
Suppose 0 = -3*n - 0*n + 66. Suppose -n = -4*s - 2. Suppose -s*f + 2*v = 3*v - 239, 3*f = -v + 143. Is 11 a factor of f?
False
Let l(i) = 9*i + 310. Does 11 divide l(23)?
True
Let o be (-95)/(-10)*-8 + -4. Let v be (-208)/o - 2/(-5). Suppose 240 = 3*i + i - 3*j, -5*i - v*j + 327 = 0. Does 13 divide i?
False
Suppose 818 = 13*h - 11*h. Suppose 0 = -2*j + 3*i - h, 3*j - 7*j - 815 = -5*i. Is (-1)/((-4 - -8)/j) a multiple of 13?
False
Let w(z) = -17*z**2 + z + 4. Let i be w(3). Let l = 102 + i. Is 4 a factor of l/(-6) - 16/(-24)?
True
Suppose 3*d = -2*r - 311 + 29, 4*d + 377 = -3*r. Let n = -42 - d. Is n a multiple of 10?
True
Let c(s) = s**2 + 9 + 5 + 3*s - 1 + 1. Is 20 a factor of c(-11)?
False
Is 6/(-9)*216*(-2)/4 a multiple of 3?
True
Suppose 7*b - 343 - 616 = 0. Is 24 a factor of b?
False
Let h(i) = -2*i**2 - 13*i - 7. Let y be h(-6). Is 9 a factor of (8 + y)/(1/11)?
False
Let w be -3*-30*6/27. Is 11 a factor of ((-24)/w)/((-6)/195)?
False
Suppose -y = 75 - 265. Suppose 32 = g - 2*b, 5*g + 5*b = -0*b + y. Suppose -g = 2*x - 5*x. Does 3 divide x?
True
Let a(q) = 18*q - 21. Let y be a(8). Is (-1 - y)*(-1 + -2)/6 a multiple of 16?
False
Let y = -85 - -848. Is y a multiple of 17?
False
Let m(c) = -2*c**2 - 12*c - 10. Is m(-3) a multiple of 3?
False
Suppose 0 = -9*h + 5*h + 672. Is h a multiple of 28?
True
Suppose 4*w - 480 = r - 2*r, 4*w - 3*r - 464 = 0. Is w a multiple of 5?
False
Suppose -5*w + 860 = 5*g, 31 - 35 = w. Does 4 divide g?
True
Suppose -3*f = 5*i + 47, -i + 9 = -0*i - 4*f. Let z(b) = -b**2 - 9*b - 2. Is z(i) a multiple of 6?
True
Let d(u) = 2*u**2 + 19*u - 49. Is d(5) a multiple of 8?
True
Suppose 4*t = -3*i + 1147, -5*i - 4 = 11. Does 27 divide t?
False
Suppose -f = 2*f. Suppose 9*x - 6*x - 9 = 0. Suppose x*i + i - 28 = f. Is 3 a factor of i?
False
Suppose u - 25 = 4. Let x = -25 + u. Suppose 2*m - x*g = 271 - 53, 0 = -2*m + 3*g + 222. Is 39 a factor of m?
True
Suppose -6*c - 2356 = -9292. Is c a multiple of 49?
False
Is ((-8)/(-14))/(68/4046) a multiple of 3?
False
Let i(o) = -2*o**3 - 7*o**2 - 3*o + 4. Suppose -4*q + 10 = 26. Does 8 divide i(q)?
True
Let g(c) = -15*c - 24. Let o = -153 + 151. Is g(o) even?
True
Let m = -1903 - -2379. Is 28 a factor of m?
True
Let b be 6*2/(-3)*-1. Suppose -6*g + 4 = -b*g. Does 16 divide (112/(-35))/(g/(-10))?
True
Let o = -311 + 441. Is 36 a factor of o?
False
Suppose -6*g + 4*z = -g - 170, z = -3*g + 85. Is 15 a factor of g?
True
Suppose 0 = -2*i - 2 + 10, -i = -3*a + 23. Suppose -z - 4*o = -37, 5*z = -2*o + 3*o + 290. Suppose z - a = l. Is 24 a factor of l?
True
Let a = 1055 + -485. Is a a multiple of 26?
False
Suppose 8 + 7 = -k - 5*l, k = -3*l - 5. Suppose -3*y - 24 = c, 0 = 3*y - 2*c + 7*c + 36. Let b = k + y. Is b a multiple of 2?
False
Suppose -2*q + 113 = 5*m, 5*q - q = 2*m + 262. Is q a multiple of 8?
True
Let l be (-4)/10 + 2552/55. Let y be (-2)/((-96)/50 + 2). Let g = y + l. Does 7 divide g?
True
Suppose 0 = -5*i - 1351 + 3236. Let a = i - 229. Is 28 a factor of a?
False
Is (364/(-8))/((-60)/(-32) - 2) a multiple of 13?
True
Let j be (-1)/1 - (6 - 12). Suppose 202 + 58 = -j*n. Does 12 divide (-1)/(-4) + (-1235)/n?
True
Suppose -3 = 4*g - 5*a - 2, 2*a + 14 = -2*g. Is 1 + (g - -12) + -2 even?
False
Let m(x) = 2*x**2 + 8*x - 10. Is m(-13) a multiple of 21?
False
Let i = 5459 + -3690. Is i a multiple of 61?
True
Suppose 0 = -2*c + 3*z + 76, -5*c - 4*z + 55 + 135 = 0. Does 15 divide c/(-95) + 207/5?
False
Suppose -9*c + 6*c = 0. Suppose -7*q = -c*q - 840. Does 40 divide q?
True
Suppose 127 = 3*u + s, 0 = -2*u - 2*u + 3*s + 165. Does 14 divide u?
True
Let u(i) = -101*i - 175. Is 18 a factor of u(-11)?
True
Suppose 3*i + 4*y = i + 800, 4*y = 0. Is i a multiple of 8?
True
Suppose -4*k + 2*k - 564 = 0. Let b = 154 + k. Let p = b - -204. Does 21 divide p?
False
Let n be (17 - 18) + (-9)/1. Is 5/n + (-423)/(-2) a multiple of 12?
False
Suppose 3*v - 1927 = 5*f, -4*f + 0*f = -4*v + 2564. Let h be v/(-12)*40/(-15). Let y = -73 + h. Is y a multiple of 31?
False
Suppose 3 + 1 = 2*k. Suppose 3*r + 460 = 5*c, -9*c + k*r = -5*c - 368. Is 16 a factor of c?
False
Let x = 8 + -4. Suppose -2*f - 2*j + j = 61, x*f - 5*j + 115 = 0. Let y = f - -50. Is 10 a factor of y?
True
Let s(m) = m**2 + 4*m + 3. Let g be s(-13). Is (g/(-70))/((-4)/42) a multiple of 14?
False
Suppose b + 4*b - 365 = -5*n, -2*n = -b + 88. Let d = b - 23. Is d a multiple of 11?
True
Let q be (-3)/((-45)/40)*(-45)/(-4). Let u = -9 + q. Does 7 divide u?
True
Suppose 3*l - q = 162, 7*l - 3*q = 6*l + 46. Does 55 divide l?
True
Is ((-27)/(-81))/((-4)/(-15144)) a multiple of 19?
False
Suppose -5*f = 2*d + 19, d - f + 2*f + 14 = 0. Let u = 8 + d. Let h = -1 - u. Is h a multiple of 8?
True
Let z(v) = -5*v - 3. Let r(n) = n**2 + 10*n + 4. Let f be r(-7). Is z(f) a multiple of 27?
False
Let q = -21 + 36. Suppose 4*j - 8 = 5*v + 65, 3*j + 3*v - 75 = 0. Let r = q + j. Is 17 a factor of r?
False
Suppose 0 = 5*c + 2*a + 3*a - 45, c - 2*a = 18. Is (15/c)/((-31)/16 - -2) a multiple of 5?
True
Let r = 315 + -186. Let m = r + -74. Is m a multiple of 23?
False
Let g(p) = 8*p + 1. Suppose -2*c + c - 5*n = -19, 3*n + 3 = 3*c. Suppose 12 = -3*s, 0*s = 4*z + 2*s - c. Is 21 a factor of g(z)?
False
Let m = 146 + 148. Suppose 226 + m = 4*n. Is 8 a factor of n?
False
Suppose 3*g = -2*j - 2*j + 1143, 5*g - 4*j = 1873. Is 29 a factor of g?
True
Let i(n) = -n**2 + 4*n + 24. Let u(x) = 2*x**2 - 7*x - 47. Let c(g) = 5*i(g) + 3*u(g). Does 3 divide c(9)?
True
Let y(v) = -16*v**2 + 8 + 28*v**2 - 11*v**2 + 2*v. Is 4 a factor of y(-5)?
False
Let l(s) = s**2 + 2*s + 22. Let j be 6/4 - (-100)/(-8). Is l(j) a multiple of 21?
False
Suppose n = -1, -a + 7*a - n = 673. Does 16 divide a?
True
Let c(w) be the second derivative of -w**3/6 + 25*w**2/2 - 2*w. Let f(x) = x + 6. Let l be f(6). Is 4 a factor of c(l)?
False
Let p(f) = -744*f - 165. Is 53 a factor of p(-3)?
True
Suppose 0 = 5*b - v - 362