 (31 - 26). Let y = -762 - j. Is y a multiple of 2?
True
Let p be -15*(3/(-9))/1. Suppose p*y + 2*s + 1 = 0, 4*y + 3 = s - 3. Let t(a) = 233*a**2 - 3*a - 2. Does 37 divide t(y)?
False
Let i be -2*(35 + -32)/(4/6). Does 3 divide i*106*(-1)/3?
True
Let t = 465 - -462. Let r = -158 + t. Is r a multiple of 56?
False
Suppose 92 = 2*q + 4*x, 40*q = 39*q + 3*x + 56. Does 2 divide (2/4)/(27/(-108)) + q?
True
Let b(n) = -n**3 + 7*n**2 + 7*n + 13. Let c be b(8). Suppose -c*k + 31 = -v + 7, 4 = 4*v. Let m(d) = 2*d**2 + 3*d - 5. Is 12 a factor of m(k)?
True
Suppose 19*g = 52*g - 2211. Suppose 1445 + g = 6*b. Does 21 divide b?
True
Let k be 22/55*(8 + 2). Suppose z + 378 = k*z. Is 9 a factor of z?
True
Let m = 6720 + -72. Is m a multiple of 13?
False
Let y(w) = 22*w + 1135. Does 3 divide y(-2)?
False
Suppose -2*k - 3*x - 946 = 145, -4*k = -2*x + 2174. Let j = k + 590. Is j a multiple of 23?
True
Let o be 4/12 - 207840/(-45). Suppose 9*j - o - 52 = 0. Is j a multiple of 9?
False
Let m(z) = 3. Let q(r) = -59*r - 67. Let c(v) = 6*m(v) + q(v). Is c(-3) a multiple of 16?
True
Let q(o) = o**2 - 2*o + 3. Let k be q(1). Suppose 0 = -k*l + m - 4, 0 = -3*l + 5*m + 4 - 3. Does 8 divide l/9 + (-291)/(-9)?
True
Let h = -2 + 4. Let z(a) be the first derivative of 13*a**3/3 - 5*a**2/2 + 3*a - 1501. Is 45 a factor of z(h)?
True
Let w = -6 + 100. Let f(b) = b**2 + 6*b + 13. Let s be f(-11). Let p = w - s. Is p a multiple of 11?
False
Suppose 0 = 5*m - 5*z - 685, 2*m + 395 = 5*m + 5*z. Let l = 267 - m. Is l a multiple of 22?
True
Let f(g) = 2*g**2 + 33*g - 14. Let k be f(-17). Is 2 a factor of 4/k - (6 - (-136)/(-6))?
True
Suppose 5*d - 1972 = -3*z + 4*d, -3280 = -5*z - 5*d. Suppose 5*a + 123 = z. Is 56 a factor of a?
False
Suppose 164*w + 15500 = 189*w. Is 20 a factor of w?
True
Suppose -9*a = 5*a - 1037 - 96627. Does 32 divide a?
True
Does 136 divide 42*(114/171 + 230 + -1)?
False
Let d(v) be the first derivative of 61*v**2/2 + 4*v + 6. Let q(s) = 26*s - 50. Let i be q(2). Is 50 a factor of d(i)?
False
Suppose 4*x - 948 = 2*u - u, -x = -5*u - 237. Let b = -139 + x. Is b a multiple of 8?
False
Let q = -73 - -169. Is 11 a factor of (704/q)/(95/(-48) - -2)?
True
Let f = -38 - -40. Suppose 5*g - 515 = -5*j, 4*g - f*j - 430 = 3*j. Does 13 divide (36/7)/(640/g + -6)?
False
Does 35 divide (-22)/(-8)*1274 + 2*(-42)/24?
True
Is (-5 + (-22)/(-14))/((-2)/8911) a multiple of 114?
True
Let c = -277 - -735. Suppose -13*k - 1420 = -c. Let v = k + 146. Is 24 a factor of v?
True
Let a(c) be the second derivative of 5*c**4/6 - 5*c**3/6 - 11*c**2/2 - 40*c. Let u be a(-3). Let o = u + -82. Does 5 divide o?
False
Let l(b) = 7*b**2 - 5*b - 10. Let u be 2/(-16)*4*10. Is 16 a factor of l(u)?
False
Is -2*10266/(-8)*(-4220)/(-1266) a multiple of 25?
False
Let m(v) = -30*v**3 - 21*v**2 + 13*v + 3. Is m(-8) a multiple of 115?
True
Suppose p - 18 - 6 = -3*u, 0 = -2*u + 2*p + 8. Suppose z = u*z - 960. Suppose 0 = -5*r + 2*i + 191, 4*r = -4*i + 2*i + z. Is r a multiple of 16?
False
Let v = -18 + 19. Suppose 0 = t - 5 + v. Suppose -t*f = -3*c - 293, 2*f - 7*f + 3*c = -370. Is f a multiple of 10?
False
Suppose -4*o - 3*u = 598, 2*o = 5*u + 143 - 429. Let p = o - -568. Is p a multiple of 14?
True
Let x(l) = -10*l - 290. Let u be x(-27). Does 4 divide -2 - -159 - u/4?
False
Suppose 5*t = -60*z + 65*z - 73750, 2*t = -z + 14774. Is 203 a factor of z?
False
Let d = -1224 - -9941. Is d a multiple of 97?
False
Is 123 a factor of 3808 - (5 - 7)/(((-12)/15)/(-2))?
True
Let v(y) = 8*y - 178. Let f = -277 - -314. Is 2 a factor of v(f)?
True
Suppose -3*c = -4*h + 1, -3*h - h + c = -11. Suppose 772 = m - n, -4*n - n + 3061 = h*m. Suppose -2*x + 324 = -4*f, -5*x + 5*f = -26 - m. Is 26 a factor of x?
True
Suppose -443276 = -107*a - 2222. Is a a multiple of 13?
False
Suppose -19*w + 12*w + 14 = 0. Let p(a) = -26*a + 8*a + 10*a**w + a**2 + 3. Does 21 divide p(4)?
False
Let j be (-2)/((-3)/(-3)) - -1. Let u be 60 - 8/(3 + j). Let t = u - -109. Is 25 a factor of t?
False
Let a(c) = 529*c**3 + 6*c**2 + 13*c - 67. Is 10 a factor of a(3)?
False
Let t(r) = -9*r**2 - 12*r + 4. Let p be t(6). Let g = 953 + p. Is g a multiple of 51?
True
Let o(p) = p**2 - 59*p - 291. Is 35 a factor of o(67)?
True
Suppose -2915*i + 3381 = -2894*i. Does 23 divide i?
True
Let z(b) = -216*b + 5956. Is z(21) even?
True
Let p(x) = -x**2 - x + 2. Let u(r) = -3*r**2 - 33*r - 88. Let m(o) = p(o) - u(o). Is m(-19) a multiple of 6?
True
Suppose 0 = 4*j - 520 + 36. Let m = j - -131. Suppose -m = -4*h - 2*h. Is 6 a factor of h?
True
Suppose -94*w + 93*w - 4*m = -4964, 0 = 2*m - 4. Is w a multiple of 149?
False
Let h be -492 - (-3 + -1 + (2 - -1)). Let o = 827 + h. Is 42 a factor of o?
True
Let t = 74 - 71. Suppose -15 = -3*i - t. Suppose 9*q - 2*n = i*q + 161, 0 = -q - 5*n + 43. Does 9 divide q?
False
Suppose 94*p - 27*p - 202072 = 0. Does 11 divide p?
False
Let y = 1092 - 548. Suppose 3*m = k + y, 5*m = 3*k + 429 + 475. Suppose -4*w - 2*h = -2*w - m, -5*h + 95 = w. Does 9 divide w?
True
Let g be 7/(-28) - 903/(-12). Let p = g - 175. Let a = -52 - p. Is 16 a factor of a?
True
Let q = 510 + 3. Suppose 1971 = 9*g + q. Does 27 divide g?
True
Suppose 0 = 27*m - 104787 - 67581. Is 21 a factor of m?
True
Let i(t) = t**3 - 21*t**2 - 13*t - 515. Is 5 a factor of i(24)?
False
Suppose -82*q + 0*q = -17182 - 90894. Is 3 a factor of q?
False
Let d = 111 - 87. Suppose 5*k + 2*r = 6*r + d, 0 = -4*k + r + 28. Let y(m) = m**3 - 7*m**2 - 4*m - 10. Does 12 divide y(k)?
False
Let t be (-4 + 44/8)*2. Suppose -3*n + 11 = -2*v, 0*n + v + t = n. Suppose -45 - 9 = -2*g - n*q, -q - 130 = -4*g. Is g a multiple of 12?
False
Suppose 0 = -43*k + 35*k + 24. Let u(l) be the second derivative of l**5/10 - l**4/3 - l**3/3 + 3*l**2/2 + 6*l. Does 5 divide u(k)?
True
Let x(f) = 69*f**3 + f**2 + 9*f - 40. Is x(4) a multiple of 36?
True
Suppose -3*w = -4*j - 21, 3*j = w - 4 - 3. Let i be (-2)/w - (-18216)/154. Suppose -i = -h + 2*s, s - 4 = 3*s. Does 32 divide h?
False
Let m(u) = -2*u**3 - 16*u**2 + 4. Suppose 3*y + 4*j = y - 16, j + 16 = -2*y. Let p be m(y). Suppose 67 + 61 = p*w. Does 16 divide w?
True
Suppose o + p - 1582 = 3*p, -5*p = -20. Suppose -o = -9*g - 240. Does 10 divide g?
True
Is (-1629082)/(-30) - 60/(-225) a multiple of 44?
False
Suppose 5*d + 0 = 10. Suppose 0 = c - 1, -3*c = -w - d*c + 355. Suppose 8*j - w = 4*j. Is 45 a factor of j?
False
Suppose 42*a = 7*a - 18375. Let y = -252 - a. Is y a multiple of 13?
True
Let q be (8/7)/((-84)/(-26166)). Let d = 49 + q. Does 12 divide d?
False
Let w(u) = -22*u - 22*u + 77*u + 222 - 29 - 30*u. Is w(8) a multiple of 11?
False
Let k be (2 - (-4886)/6) + 5/(-15). Suppose 3*t - t = 2*b - 410, -k = -4*b + 2*t. Does 7 divide b?
True
Let g = 85 + -32. Suppose 2*f - 265 = -3*f - 5*z, -f + g = 5*z. Is 4 a factor of f?
False
Let j be (0 - 1/(-12)) + 202511/3756. Suppose 4*b + 3*w - 24 = 0, -2*b - 6 + 16 = w. Suppose 2*t - 27 = t + b*z, 0 = -2*t - 5*z + j. Is t even?
False
Let a = -27 + 37. Suppose -45*w + 40*w + a = 0. Is 16 a factor of (-2)/(-6) + (956/6)/w?
True
Suppose 2*w + 5*z = z + 2176, -8*w + 8602 = -z. Is w a multiple of 134?
False
Let x = -54 + 45. Let l(h) = -h**3 - 8*h**2 - 14*h - 14. Let y be l(x). Suppose 4*b - 5*s - y = 0, -32 = 2*b - 3*b - 2*s. Is b a multiple of 14?
True
Let d = -1531 - -2609. Let b be 2/3 - d/(-3). Suppose -12*f + 17*f = b. Is f a multiple of 9?
True
Let o(j) = -6378*j - 3374. Is o(-13) a multiple of 410?
True
Let b = 941 + -301. Let m = b - 421. Is m a multiple of 19?
False
Let f be (41 + -2)/((-22)/12 + 2). Let l = 137 - f. Let r = 122 + l. Is r a multiple of 12?
False
Let o(h) = 24*h**2 + 17*h - 17. Let m be o(1). Is (-8)/m - (-1914)/18 a multiple of 53?
True
Suppose -3*i - 365*r = -361*r - 44412, -5*r + 74015 = 5*i. Does 8 divide i?
True
Let o be 3 - -1 - (-9751)/14*2. Let k = 2216 - o. Is 42 a factor of k?
False
Let b(d) = -10*d**2 + 3*d - 15. Suppose -9*o - 21 = -2*o. Let r(y) = -5*y**2 + y - 8. Let m(n) = o*b(n) + 5*r(n). Is m(-6) a multiple of 10?
False
Let t(p) = -4*p**3 - p - 1. Let r be t(-1). Let w(z) = -52*z + 210. Let y be w(4). Suppose 4*n - 131 - 401 = r*x, 0 = y*x + 2. Is 33 a factor of n?
True
Let h(a) = a**3 + 353 + 3*a + 20 + 23. Is 33 a factor of h(0)?
True
Let f(u) = 2*u**2 + 23*u - 37. L