divide y/q - (-645)/9?
False
Is 8 a factor of (128*(-8)/48)/((-6)/729)?
True
Does 4 divide 404854/50 + 572/(-7150)?
False
Let q = -555 + 332. Let v = 412 + q. Is 13 a factor of v?
False
Let f(o) be the first derivative of o**4/4 - 5*o**3/3 - o**2 - 32*o + 128. Is f(12) a multiple of 22?
False
Suppose 24*r + 2967 = 12999. Let l = -163 + r. Is l a multiple of 15?
True
Let z = -22067 + 24011. Does 12 divide z?
True
Is 375/20*(-41088)/(-80) a multiple of 30?
True
Suppose 3*w = 10*i - 5*i + 13907, 3*i = -2*w + 9284. Is w a multiple of 37?
False
Suppose 7*k + 5*k = -5*k + 235790. Is k a multiple of 19?
True
Suppose 3*v - 3 = 5*a, 2*v + a - 17 = 7*v. Let l = 2 - v. Suppose -38 = l*x - 7*x. Does 9 divide x?
False
Suppose 33717 = 269*j - 798518 - 201263. Is j a multiple of 17?
True
Suppose -4*q + 102 = g, -12*q + 2*g - 54 = -14*q. Suppose -q*m + 61*m = 4248. Is m a multiple of 17?
False
Suppose -66 = 6*u + 114. Let w be (3/(-5))/(6/u). Suppose -4*d = 2*m - 56, 0*m - d + 64 = w*m. Is 15 a factor of m?
False
Suppose 5*p + 3*n = 6541, -p + 375*n - 376*n = -1309. Does 7 divide p?
False
Let k(w) = 119*w**3 - w**2 - 2*w - 1. Let j be k(-1). Let r = j - -116. Does 8 divide (16*(-12)/(-20))/(r/(-20))?
True
Let b = -107 + 121. Suppose b*l - 720 = 11*l. Is l a multiple of 16?
True
Let v(w) = 2*w + 2. Let y be v(-5). Let c be 142/(-4) - y/16. Let g = c + 48. Is g a multiple of 13?
True
Let t = -784 - -1379. Suppose -600*r = -t*r - 455. Does 29 divide r?
False
Let v = 34490 + -9081. Does 16 divide v?
False
Let c(i) = -68*i - 80. Is 3 a factor of c(-4)?
True
Let m(h) = -5*h**3 - 2*h**2 + 9*h + 9. Let z be m(-4). Let d = z + -13. Suppose 9*v + 50 = d. Does 21 divide v?
False
Let w(u) = -7*u - 74. Let n(k) = k. Let j(m) = -6*n(m) - w(m). Let r = 266 + -294. Does 8 divide j(r)?
False
Let f be (-6)/27 + 500/(-18). Let c = f - -30. Suppose u = -c*u + 6. Does 2 divide u?
True
Let r be (12/60)/(8/(-10))*8. Does 4 divide -1*(-2)/(r - (-408)/202)?
False
Suppose 4*x + 78 = c - 310, 2*c = -5*x - 485. Suppose 0 = 3*n - 0*b + 2*b - 584, 4*n - 776 = -4*b. Let h = x + n. Is 11 a factor of h?
True
Let a(v) = -16*v**2 - 5*v + 1. Let z(x) = 15*x**2 + 4*x. Suppose -2*f = 3 + 3. Let i(n) = f*a(n) - 2*z(n). Does 7 divide i(2)?
False
Suppose -2*q - 2*v + 5 = -q, -4*v - 2 = -2*q. Let z be 0 - q/3*-5. Suppose -z*x + 88 = -17. Is x a multiple of 12?
False
Let y(h) = -h**2 + h. Let f(q) = 7*q**3 + 5*q**2 - 10*q - 10. Let l(o) = -f(o) - y(o). Is 46 a factor of l(-5)?
False
Let b(n) = -12 - 4*n + 11*n**2 + 7 + n**3 - 14. Let g(h) = -4*h + 37. Let u be g(12). Does 3 divide b(u)?
False
Does 13 divide 1419*3 + (6 + -18 - -8)?
False
Let w be (-209)/(-2) + 70/20. Suppose -90*s + w*s = 9882. Is s a multiple of 61?
True
Let q = -170 + 120. Let k = q - -44. Is 4 a factor of (1 - 2)/(k/78)?
False
Suppose 5*z + 9575 = 5*h, -1930 = -h - 3*z - z. Does 4 divide h?
False
Is (-1003 - -104)/((-6)/2 + (-104)/(-35)) a multiple of 35?
True
Is 1 + -3 - (-6124 + (-259)/7) a multiple of 31?
False
Suppose 5*p - 3*m = 1189, -5*m + m + 460 = 2*p. Suppose 8*b = 10*b - p. Is 29 a factor of b?
False
Let y = 5589 + -938. Is 45 a factor of y?
False
Is 51 a factor of ((-459)/(-18)*(6 - 0))/(11/2717)?
True
Is -3962*3/(-15) - 148/370 a multiple of 12?
True
Let l(v) = v + 2. Let k be l(-4). Suppose -5*g - 110 = -f, 4*g + 99 - 22 = 3*f. Let z = k - g. Is 21 a factor of z?
True
Suppose r + 5*o + 25 = 0, 3*r - 3*o + 25 = -8*o. Suppose r = 3*n - 5*l - 20, -4*n = -n + l + 4. Suppose 2*t - 232 + 38 = n. Is t a multiple of 9?
False
Let p(m) be the second derivative of -m**4/12 + 4*m**3 - 35*m**2/2 - 225*m. Is p(19) a multiple of 4?
True
Let g be (-40780)/150 - 2/15. Let a = g - -426. Is a a multiple of 70?
False
Suppose -2*o + 3*j + 365 - 1490 = 0, -j - 2271 = 4*o. Let d = -333 - o. Does 18 divide d?
True
Let a(l) = -2*l**3 - 11*l**2 - 15*l - 5. Suppose -15 = 2*r - 1. Does 13 divide a(r)?
True
Suppose a - 4*h = -h + 32, 0 = 2*a + 5*h - 53. Let u = 31 - a. Suppose -u*x + 3 = -3*t - 15, -27 = -3*x + 4*t. Does 9 divide x?
True
Let b(m) = -m**3 + 35*m**2 - 132*m + 70. Is 13 a factor of b(29)?
False
Suppose -985*u = -874*u - 2739924. Does 22 divide u?
True
Suppose 18*l = 20*l - 652. Suppose l*g = 333*g - 8008. Is g a multiple of 22?
True
Suppose -717*j + 42312 = -635*j. Is j a multiple of 12?
True
Let l be ((95/15 - 5) + -1)*-11307. Does 23 divide l/(-4) + (-1)/(-4)*3?
True
Let p = 421 - 417. Suppose 5*l - 4615 = -5*y, 6*y + p*l = 9*y - 2776. Is 77 a factor of y?
True
Suppose f + o - 411 = 4*o, f - 416 = -2*o. Suppose -2*c = -8, -5*s - f = 4*c - 2795. Does 42 divide s?
False
Suppose 5*y - 97 = 188. Suppose 4*d + 13 + 63 = 4*x, -3*x = -5*d - 47. Let u = y - x. Is u a multiple of 3?
True
Suppose -27*s = -23*s + 64. Let d = -24 - s. Let n(u) = u**2 + 9. Is n(d) a multiple of 11?
False
Let p(n) = -3*n + 1 + 3*n - 19*n - 8*n. Let h = 175 - 176. Does 22 divide p(h)?
False
Suppose 0 = -2*t + 3*s - 8*s - 17, 3 = -3*t - 3*s. Suppose 3*a = a + 4*z + t, 3*z + 3 = 2*a. Suppose a = -12*p - 0*p + 360. Does 3 divide p?
True
Let m = 98 - 103. Is 62 a factor of 5157/27 + 15/(m + 2)?
True
Let g = -1383 + 1688. Let s = -139 - -317. Let i = g - s. Is i a multiple of 21?
False
Suppose 1 - 2 = -f. Suppose b = 1 + f. Does 19 divide (-678)/(-18) + b + 5/(-3)?
True
Let j be 15/(-10) + 11/4*226. Let s = j + -88. Is 14 a factor of s?
True
Suppose 11*t - 57*t - 14*t = -372000. Does 8 divide t?
True
Suppose 0 = -16*d - 99*d + 61985. Does 49 divide d?
True
Let o be (-3 + 2 + 6)*1. Let u(m) = m**3 + m**2 + m + 28. Let b be u(0). Suppose 0 = -o*h + v + b, 2*h + 3*h + 2*v = 19. Does 2 divide h?
False
Let t(h) = 2*h**3 - 41*h**2 + 24*h - 3. Suppose -114 = -29*k + 466. Is 7 a factor of t(k)?
True
Suppose 0 = 4*d - 4, -5*x + 3*d + 2917 = -x. Suppose 727*w + 48 = x*w. Is w a multiple of 3?
False
Suppose z = -3*z + 2*z. Suppose 2*o + z*o = 6*o. Suppose 0 = -2*j - 2*v + 48, o = 5*j - 5*v - 70. Does 3 divide j?
False
Suppose -93*r = -58*r - 52710. Is r a multiple of 11?
False
Let t = -528 + 783. Let j = -63 - -68. Suppose j*b + t = 2*c, 3*c + 2*b - 209 - 183 = 0. Does 40 divide c?
False
Suppose 0 = -n + u - 43, -2*n + 0*u - 68 = 4*u. Let c = n + 155. Does 2 divide c?
False
Let i(o) = 4*o + 36. Suppose -96*y + 109*y - 273 = 0. Does 3 divide i(y)?
True
Let c(b) = 10*b**2 - 51*b + 965. Is c(14) a multiple of 3?
True
Suppose 80*h - 206203 = -73*h + 21920. Is 4 a factor of h?
False
Let h = 1098 - 6. Suppose n - 2*x - 308 = -87, 5*n - h = -3*x. Is 73 a factor of n?
True
Suppose -q = 428 - 1391. Suppose 2*b + 174 + 58 = -t, q = -4*t - b. Let v = 434 + t. Does 24 divide v?
True
Suppose 108*q + 274857 = 1578201. Is q a multiple of 5?
False
Let b(d) = 5422*d - 1563. Is b(5) a multiple of 59?
True
Let p = 33 - 31. Suppose -2*b - b - 3*a = 51, -p*b = -2*a + 18. Let t(l) = -l**3 - 14*l**2 - 14*l - 7. Does 3 divide t(b)?
True
Is 102 a factor of (-108 - 2)*(-40851)/445?
True
Suppose -4*s = -4*x + 312, -2*s - 388 = -5*x + 2*s. Let n = 79 - x. Suppose 5*l - 357 = -2*z, -201 = -z + 8*l - n*l. Is z a multiple of 31?
True
Let z be (-7)/(-28) + 9*(-55)/(-20). Let t(s) = -s**3 - 3*s**2. Let a be t(-3). Suppose a = -23*x + z*x - 520. Is 10 a factor of x?
True
Let w(r) = r + 3. Let j(x) = x**3 - 16*x**2 + 3*x - 36. Let y be j(16). Is 2 a factor of w(y)?
False
Is (-3893808)/(-480) + 1/(-10) + 0 a multiple of 104?
True
Let c(i) = 7*i**2 + 59*i - 3. Let z(h) = 7*h - 2 + 15*h + 22*h + 3*h**2 - 15*h. Let p(t) = -4*c(t) + 9*z(t). Is 12 a factor of p(19)?
True
Suppose -44*a + 45*a - 5813 = o, 11611 = 2*a + o. Does 44 divide a?
True
Let u(c) = -c**3 + 3 - 4 + c - 9*c**2 - 5*c. Let n(o) = -7*o + 26. Let l be n(5). Is 7 a factor of u(l)?
True
Let q = 480 + 60. Let n = q + -201. Is 11 a factor of n?
False
Let l = -92 - -92. Suppose 2*f = 2*v - 68, l*v - 5*f = -4*v + 133. Suppose b - v = 5. Does 7 divide b?
True
Is 77620 + -26 + (-168)/(-12) a multiple of 109?
True
Is (238/(-42) - -6) + 1031/3 a multiple of 43?
True
Suppose -177 + 69 = 2*z. Let q = z - -53. Does 12 divide 102 + 0/(-5) + q?
False
Let w = 111 - 94. Is -1*w/((-51)/630) a multiple of 21?
True
Let n = -13 - -15. Is 43 a factor of 6/((-13)/40 + n/5)?
False
Suppose z = -18*z - 228. Does 10 divide z/(-54)*-150*(-72)/20?
True
Suppose a + 4*a - 1785 