 = 5*c + 4*q, v*c = 2*q + 84. Is 23 a factor of c?
True
Is 145 a factor of (-464 + -261)/(2/(-6))?
True
Suppose 80840 - 41734 = 12*w - 60854. Is w a multiple of 49?
True
Let q(t) = -2*t - 8. Let j be q(-7). Let a be (658/4)/(1/j). Suppose 57 - a = -10*l. Is 18 a factor of l?
False
Let i = 46689 + -33065. Does 56 divide i?
False
Suppose 2*q - 4*i - 4 = 0, -3*q + 2 = -2*q - 4*i. Suppose k + 9 + 15 = -3*t, q*k - 4*t = -78. Let m = k + 50. Is m a multiple of 7?
False
Suppose -8*a - 13*a = -13188. Suppose a*v = 619*v + 369. Is 11 a factor of v?
False
Let w be -10 + (1 - -4) + (336 - -1). Let m = w - -298. Is 38 a factor of m?
False
Let b = 3409 + 2454. Does 16 divide b?
False
Let i be -2 + 7 - 4/8*-6. Suppose i = 3*c + 2*w, 5*w - 2 = -2*c - 15. Suppose -288 = 2*p - c*p. Is 8 a factor of p?
True
Let w = -1274 + 2271. Suppose 0 = b + 2*g - 994, g - w = -b - 0*b. Is 25 a factor of b?
True
Suppose 29 = 6*d - 13. Suppose 0 = -d*v - 2*v + 4455. Does 36 divide v?
False
Let i = -634 - -2128. Is i a multiple of 30?
False
Is 219 + -6*(-4)/(-8) a multiple of 8?
True
Let d(o) = -o**3 + 16*o**2 - 77*o + 952. Is 5 a factor of d(14)?
False
Let m(s) = 4*s**2 + 1. Let q be m(-1). Let w = -34 + 36. Suppose w*h - 3*x - 253 = -15, 3*h - q*x = 356. Is h a multiple of 11?
False
Suppose 8*d + 417 = 7*d. Let o = d - -288. Let y = 242 + o. Does 16 divide y?
False
Does 44 divide 6378 - ((-64)/16 + (-2)/(-1))?
True
Suppose 0 = -3*u + 3*z - 447, 2*u + 286 = -0*u - z. Let c be (4/(-5) - -1) + (-69571)/u. Does 15 divide c/20 - (3 + -1)?
False
Let x(g) = g**3 + 4*g**2 + 14*g + 51. Let b be x(-4). Is 93*(b + (-396)/(-27)) a multiple of 65?
False
Suppose -17393 = -24*w + 30657 + 11614. Is 11 a factor of w?
True
Let j = -2781 - -6768. Is j a multiple of 28?
False
Suppose -4*a - c = -26107, -2*a = 3*c + 2347 - 15398. Is 107 a factor of a?
True
Let q be 72/32 + -2 - 1/4. Let b = 682 - 398. Suppose -2*z + b = -q*z. Does 12 divide z?
False
Let x = -319 - -432. Suppose 2*y - 2*c = 405 + x, y + 3*c = 263. Does 20 divide y?
True
Let t be (-1)/(5/570*-3*2). Is t - (-4)/(-8)*2 a multiple of 3?
True
Suppose 0 = 4*m + 5*a + 15 - 37, -2 = 2*m - 4*a. Suppose -126 = 5*v - m*u + 130, v + 54 = 2*u. Let s = v - -52. Does 2 divide s?
True
Let r be (2 + 2)/((-74)/111). Does 48 divide r/15*(-14 + 7 + -748)?
False
Let v(q) = -384*q - 240. Let j be v(-12). Suppose 62*z - 68*z = -j. Is 28 a factor of z?
True
Let q(v) = 32*v**2 - 3*v. Let i = 36 - 37. Is 7 a factor of q(i)?
True
Let v(w) = 105*w - 27. Let u be v(3). Suppose 0 = -2*l + 440 + u. Is 9 a factor of l?
False
Suppose -6*i + 7*i - 5268 = -3*y, -8*i + 42252 = -3*y. Is i a multiple of 8?
True
Suppose -574 = -2*x + 376. Let r = x - 107. Is r a multiple of 23?
True
Let n(i) = -13*i**3 - 3*i**2 + i + 3. Let a be n(-2). Let u = a + -54. Does 13 divide u?
True
Suppose -8394 - 4806 = 30*k. Is (-1 + 4)*k/(-3) a multiple of 20?
True
Suppose -1081*q + 1067*q = -39690. Does 8 divide q?
False
Suppose -3163*b + 3134*b = 29. Let t = -9 - -4. Is 52 a factor of (30 + t + 1)*(b + 7)?
True
Let s(h) = -h**3 - 20*h**2 - 20*h - 17. Let j be s(-19). Suppose -j = v - 57. Let g = v - 31. Is g a multiple of 4?
True
Let o be (-6)/(-4)*1/((-18)/(-48)). Suppose l = -o*s + 24, 4*l - 2*s - 10 = -l. Is 31 a factor of (-2)/(-4) + l/((-48)/(-1482))?
True
Is -12 + 16 + (-7)/(28/(-50368)) a multiple of 67?
True
Let g(v) = v + 1126. Does 33 divide g(16)?
False
Let n(v) = 3*v - 13. Let i be n(-5). Let p = i - -41. Suppose p = 4*b - 23. Does 2 divide b?
False
Let y = -14484 + 22256. Is y a multiple of 116?
True
Let j(t) = -t**3 + t**2 + 4*t - 86. Let w be j(0). Let h = w + 246. Is 32 a factor of h?
True
Let x(b) = -78*b - 140. Is x(-21) a multiple of 56?
False
Suppose 2*y + 4*l = -1 + 5, -3*l = 4*y - 13. Suppose -24 = -j + 5*r, -2*r = j + y*j - 174. Is j a multiple of 5?
False
Suppose -4*y - 9993 = -3*i + 9891, -4*i + 5*y = -26510. Does 82 divide i?
False
Let k(t) = t**2 + 11*t - 20. Let o be k(-12). Let u = -1 - o. Let q(x) = 3*x**2 - 15*x - 10. Does 16 divide q(u)?
True
Let d(b) = -b**3 - 12*b**2 - 37*b - 11. Let t be d(-7). Suppose 44 = -6*j + 7*j - 3*r, -4*r - 132 = -t*j. Is j even?
True
Let p = -432 + 454. Is p/99*18 - (0 + 2) a multiple of 2?
True
Let c(h) = 4*h**2 + 3*h. Let m = -19 + 23. Is 4 a factor of c(m)?
True
Does 9 divide (612/(-85))/(8/(-3620))?
True
Suppose -368*v = -371*v + 9444. Let f = v - 2143. Is f a multiple of 15?
True
Suppose -2*k = 5*k - 42. Suppose -k*m = -0*m. Suppose -10*x + 57 + 23 = m. Is x a multiple of 2?
True
Let w = -26911 - -66184. Does 57 divide w?
True
Let u(s) = -7*s**3 - 16*s**2 - 39*s - 46. Let p(o) = -19*o**3 - 49*o**2 - 117*o - 139. Let n(a) = -3*p(a) + 8*u(a). Does 21 divide n(-14)?
True
Suppose o = -4*i + 217, -o + 2 = 5. Suppose -1113 - i = -4*u. Is u a multiple of 41?
False
Let r(n) be the second derivative of -5*n**3/6 - 13*n**2/2 + 5*n. Let f be r(-19). Let l = f - 71. Is l a multiple of 5?
False
Suppose 3*x - 48 = -57. Let j be (-25)/30*4*x. Suppose j*s + 34 = 1854. Is s a multiple of 13?
True
Suppose -2*m = z - 11486, z - 28724 = -32*m + 27*m. Does 17 divide m?
True
Let f(s) = -s**2 - 78*s + 2 - 77*s + 3*s**2 + 136*s. Is f(12) a multiple of 32?
False
Let x be 3/5*-1 - 138/(-30). Suppose x*g = -0*g + 4. Is g - 98/(-8) - (-30)/40 even?
True
Let t = 119 + -116. Let v be ((-1)/t)/((-8)/120). Suppose -3*j + 8 = 2*w - 52, -40 = -2*j - v*w. Is 20 a factor of j?
True
Let b = -2852 + 1293. Let c = 2618 + b. Does 13 divide c?
False
Let n = -8474 - -13806. Is n a multiple of 31?
True
Let f(a) = 15*a**3 + 2*a**2 - 3*a + 2. Let y be f(1). Suppose 0*u - 4*u + y = -2*s, 4*s + u - 4 = 0. Suppose s = -m + 241 - 3. Does 14 divide m?
True
Suppose 27*q - 26*q + 1 = 0. Let u(k) = -151*k**3 + k**2 + 4*k + 4. Is 49 a factor of u(q)?
False
Suppose 8*f = -44 + 60. Suppose 904 = 4*d - f*q, -3*d - 2*q + 3*q + 680 = 0. Is d a multiple of 6?
True
Suppose -4*r = -v + 66662, 5*v - 10*v + 2*r = -333436. Does 14 divide v?
False
Let z = -20072 + 32872. Does 128 divide z?
True
Let o be 893/(-4) - (-205)/164. Let y = o + 227. Is y a multiple of 2?
False
Suppose -4*q - 24 = 0, 2*q = 309*z - 307*z - 23700. Is z a multiple of 188?
True
Let c(i) = -i**2 - 18*i - 42. Let t be c(-16). Let f(x) = x**3 - 15 + 2*x**2 - 10*x**2 - 2*x**3 + 30*x - 13*x. Is f(t) a multiple of 15?
True
Suppose 356*n - 79*n = 5643598. Does 13 divide n?
False
Suppose -20681 + 1569 = -40*p + 5168. Is 64 a factor of p?
False
Let x be 0 + 559 + (-8)/2. Suppose -x = -5*j + 790. Suppose -m + j = o, -1064 = -o - 3*o + 2*m. Is 26 a factor of o?
False
Let k = 287 - 284. Is 60 a factor of (3 - -477)/(k*1/3)?
True
Suppose 0 = 2*p + 4*a + 87 + 49, 5*p = -4*a - 352. Let i = p - -82. Let j(r) = 2*r**3 - 16*r**2 - 12*r - 18. Is j(i) a multiple of 21?
False
Does 83 divide 7/(-14) - (-5 + 7 + 150255/(-10))?
True
Suppose 10*v + 278 = 1418. Let x = 127 - v. Does 4 divide x?
False
Let a be ((-1729)/(-14))/((-6)/4 + 2). Suppose a = 2*g + 15. Is 10 a factor of g?
False
Let l = 5149 - 1783. Does 99 divide l?
True
Let m(o) be the first derivative of 23*o + 0*o**2 - 25 - 39*o**2 - 7*o + 5*o**2. Is m(-4) a multiple of 36?
True
Let s be (42/4 - 0)*(-8)/(-12). Suppose -8 = 2*j, -4*t + 4*j = s*j - 548. Does 5 divide t?
True
Suppose 0*x = x. Let k(l) = 3*l**3 - 3*l**2 - l - 63. Let v(a) = 16*a**3 - 17*a**2 - 6*a - 316. Let p(b) = -11*k(b) + 2*v(b). Is p(x) a multiple of 7?
False
Suppose 2*n + m = -83, 6*n - 2*m - 205 = 11*n. Is 13 a factor of (-20286)/n - 12/78?
True
Let f = -57 - -59. Let v(r) = 2 + 1 - r - f*r - 1 + 3*r**2. Does 14 divide v(6)?
False
Let j(s) = 3764*s + 76. Does 30 divide j(1)?
True
Is (-4)/6*(939 + -112125) a multiple of 29?
True
Suppose -l + 172 + 22 = 4*t, 5*t - 250 = -5*l. Does 11 divide (213/(-1))/(-1) + t + -52?
True
Suppose -2*y = -17 + 15. Suppose 2*o - 3 = -y. Let w(p) = 165*p**2 - 4*p + 1. Does 18 divide w(o)?
True
Let x = 4534 - 1438. Is x a multiple of 6?
True
Suppose 2*w - 28 = -b - b, -w - 4*b + 11 = 0. Suppose 3*v - u + 5 = 0, 4*v + 5*u + w = 2. Let j(k) = -44*k - 8. Is j(v) a multiple of 8?
True
Suppose -4*b = -8, -8 + 31 = y + 5*b. Let u = y - 29. Is 11 a factor of 172*(-4)/u*2?
False
Suppose 0*x + 12 = 2*x. Suppose 4*d - x = 2*d. Suppose 9*i - 4*i = 3*p + 30, d = 2*i - 3*p. Is 2 a factor o