 a multiple of 27?
False
Let d(s) = -82*s + 2217. Let z be d(27). Suppose 0*g + 5*g - 690 = 0. Suppose z*b = 5*c + 68, -4*c = 6*b - b - g. Is 22 a factor of b?
False
Suppose 503800 = 90*l - 2*l. Does 25 divide l?
True
Suppose -c - 2*c = 4*t + 1, -46 = 3*c - 5*t. Let d be (-30)/(-12)*8/(-10). Is (-254)/d + (c - -10) a multiple of 26?
True
Let t(k) = -2*k**2 + 12*k + 7. Let r be t(7). Let c = -3 - r. Does 3 divide 1/c*4 + -3 + 5?
True
Let t = 3348 - -1716. Is t a multiple of 9?
False
Suppose 4*k - 68 = 44. Is 10 a factor of 2/(-7) - (-3 - 3004/k)?
True
Let y = 262 - 253. Is 32 a factor of (45/(-40))/y + 100593/72?
False
Let r(m) = 6*m + 8*m + 4*m**3 - 5*m**2 - 6*m**3 - 10 + 16*m**3. Let a(d) = 7*d**3 - 2*d**2 + 7*d - 5. Let f(q) = 5*a(q) - 2*r(q). Is f(3) a multiple of 24?
False
Let h be (18/8)/((4/192)/(-1)). Let j be h/(-486) - ((-374)/18 + 0). Suppose -486 = -27*c + j*c. Is 47 a factor of c?
False
Is (56/(-6))/(111617/6567 - 17) - 0 a multiple of 13?
False
Let s(f) = 6*f - 2. Let x be s(1). Suppose -2*c + 469 = n, -c - 4*n = -48 - 190. Suppose -c = -x*z + 2*q, -2*z = -4*z + 3*q + 127. Does 56 divide z?
True
Suppose -z + 0 = -66. Let m = z - 92. Let j = m - -58. Is 8 a factor of j?
True
Is (927/12)/(3*(-2)/(-864)) + -6 a multiple of 24?
False
Let o(d) be the third derivative of d**5/60 + d**4/12 - 5*d**3/6 - d**2 + 111. Suppose -3*u + 5 = 2*v - 3*v, -2*u - 15 = 3*v. Is o(v) a multiple of 4?
False
Let y = -1 - 23. Let i = y - -22. Let v(x) = -23*x**3 + 2*x**2 + 2*x. Does 45 divide v(i)?
False
Let z(v) = 4*v - 8*v - 10*v - v - 201 + 213. Suppose 22 = -5*p - 2*h, 3*p + 4 = -h - 9. Does 49 divide z(p)?
False
Suppose 6*p = -5*p + 704. Let d(u) = 71*u - 3. Let t be d(2). Let a = t - p. Is a a multiple of 24?
False
Let m(j) = 25 + 54 + 88 - j**2 - 2*j. Is 19 a factor of m(0)?
False
Let j be (6 + -11)*(-2 - -1). Suppose 3*b - 199 = j*v, 4*v = 3*b - 77 - 120. Does 50 divide b?
False
Suppose 33*x + 36236 = 35*x - 8540. Does 27 divide x?
False
Let i = -215 + 379. Let o(r) = -17*r - 5. Let j be o(-2). Suppose 25*h + i = j*h. Does 8 divide h?
False
Let v(w) = -2555*w - 3040. Is v(-4) a multiple of 20?
True
Let r(q) = -q**3 - 33*q**2 + 125*q + 124. Does 35 divide r(-39)?
True
Let q = 164 - 145. Suppose 8488 = q*c - 3083. Is 21 a factor of c?
True
Suppose 0 = 98*v - 89*v - 198. Suppose -34138 = -4*o - v*o. Is 13 a factor of o?
True
Let i(b) = -3*b**3 - 53*b**2 - 22*b - 48. Let o(r) = -r**3 - 18*r**2 - 8*r - 16. Let v(g) = -3*i(g) + 8*o(g). Does 16 divide v(-14)?
False
Is -3*93631/(-12) - (-3 - (-11)/4) a multiple of 19?
True
Let v be (-12)/18 - (-436)/(-3). Let s = 216 + v. Does 10 divide s?
True
Suppose -f + 3*i = -2, i - 5*i = -f + 1. Suppose -p = -3*u + 236, f*u = 4*u + 2*p + 87. Is u a multiple of 8?
False
Let w = 247 - 381. Let a = w - -610. Suppose -2*r - 196 = -2*h + 2*r, 5*h - a = -4*r. Is 12 a factor of h?
True
Suppose 0 = -5*c - f, 6*f = 3*c + 2*f. Suppose 24*h - 29*h + 7470 = c. Is 69 a factor of h?
False
Let q(y) = -83*y**3 - y**2 - y + 2. Let j be q(1). Let n = j + 77. Does 25 divide (-2)/n*(-1 - 9)*-30?
True
Let x = -17 - -20. Suppose -s = -g - x, 4*s = -7*g + 2*g + 12. Suppose -63 = -s*f - 3. Does 3 divide f?
False
Let j(n) = n**3 + 19*n**2 - 24*n + 16. Let i be j(-20). Let p = -33 + i. Is 3 a factor of p?
True
Suppose 1057*k - 1058*k - 1207 = -b, -2*b = 2*k - 2418. Does 70 divide b?
False
Let a(k) = 37*k + 25. Let s(d) = -d. Let x be s(-8). Is 11 a factor of a(x)?
False
Let u = 24049 + -13799. Is 125 a factor of u?
True
Suppose 10*l + 415 = 11*l. Suppose -m + 0*m - l = -2*p, 5*m - 235 = -p. Is (0 + 12)*p/24 a multiple of 9?
False
Let w(l) be the first derivative of -5*l**4/4 - 8*l**3/3 - 15*l**2/2 + 6*l - 35. Let z(j) = j**3 - j**2 + 1. Let d(m) = -w(m) - 4*z(m). Is 20 a factor of d(-7)?
False
Let r(t) = -213*t**3 - 3*t - 2. Let k be r(2). Let s = -997 - k. Is 11 a factor of s?
True
Suppose 4*d + 5*z - 36147 = 0, z + 27096 = -304*d + 307*d. Is 15 a factor of d?
False
Suppose -1622 - 1988 = -5*a. Let h = a + -546. Is 3 a factor of h?
False
Suppose -5*g = -2*y + 40, 17*g = 2*y + 20*g - 24. Does 40 divide 3 + 2380/12 - 20/y?
True
Suppose 2*h = 5*q + 11 - 28, 2*h = 2*q - 8. Is 18 a factor of (-4)/h - 1221/(-11)?
False
Suppose 393*n - 436*n + 5805 = 0. Is 2 a factor of n?
False
Suppose -2*v + 785 = -5*f - 6*v, -5*v = 0. Suppose -4122 = 15*h - 72. Let p = f - h. Is 32 a factor of p?
False
Let y(a) = a**3 - 19*a**2 - 111*a - 109. Let z be y(24). Let n = 25 + -15. Let x = z + n. Does 39 divide x?
True
Suppose -2*z + 5*g = -8, 5*z + 0*g - 20 = 5*g. Let f(r) = 28*r - 67. Does 5 divide f(z)?
True
Does 5 divide 483*((-21)/(-6))/(3/20)?
True
Suppose 545*h - 556*h = -26092. Is 67 a factor of h?
False
Let g(b) = 36*b + 12. Let r be g(2). Does 40 divide (-8402)/(-21) + ((-8)/r - 0)?
True
Does 87 divide (91/(-13) - -44824) + -12?
True
Let m(g) = -53*g**2 + 10*g - 2. Let j be m(4). Let t = j + 1171. Does 19 divide t?
True
Suppose -5*h = -2*b + 482 - 22, 4*h = -2*b - 350. Let q be (-20)/h - (-2 - (-608)/(-18)). Let d = 50 - q. Is 9 a factor of d?
False
Is 8/(-24)*2 - (-35644)/6 a multiple of 18?
True
Suppose 4*w + 5*g + 6168 = 0, 12*w = 10*w + 5*g - 3084. Let u = w - -3142. Is 32 a factor of u?
True
Let y = 8803 - 1673. Is 5 a factor of y?
True
Suppose 16060 = 5*b - 5*m, -4*b + 13*m + 12857 = 18*m. Is b a multiple of 32?
False
Let s be (-1)/((-1)/216) - (-19 - -14). Let u = s - 135. Is 15 a factor of u?
False
Does 60 divide (-118356)/105*20/(-2) + 8?
True
Suppose -3*d + 5 = o - 0*o, o + 4*d = 6. Suppose -o*g + 95 = r - 4, 3 = r. Is 16 a factor of g?
True
Suppose 0 = 3*g + 5*b + 16, -g + 2*b = -2*g - 6. Let r be (-32 - g)*40/12. Let t = -58 - r. Is 14 a factor of t?
True
Is 24 a factor of ((-48)/(-72))/(1/2)*4497?
False
Let k(i) = 54*i**2 - 4*i + 8. Let j be k(11). Suppose 28*t + 10*t = j. Is t a multiple of 12?
False
Let v(s) = 17*s**2 - s - 4. Let q be v(-2). Let y be (4/(-10))/(-1)*180/(-2). Let f = y + q. Is 23 a factor of f?
False
Let x(f) = 943*f - 637. Is 91 a factor of x(6)?
False
Let y = -63052 + 105516. Is 16 a factor of y?
True
Is (-4 - -4476) + 10*10/20 - -3 a multiple of 10?
True
Suppose 2*o + 2*s = -194, -5*o + 2*s - 449 = 22. Let x = o - -101. Let h(p) = 4*p**2 - 11*p - 5. Is h(x) a multiple of 12?
False
Suppose -3*b + 5*q = -0*q - 15, -5*b = 2*q - 56. Suppose -4*t - t = -b. Suppose 3*d + t*d - 175 = 0. Is d a multiple of 12?
False
Suppose -9*m + 4*y = -13*m + 42528, -4*m + y = -42523. Suppose 7277 + m = 22*s. Does 11 divide s?
True
Let x = 25 + -19. Suppose 5*g - 4*d = 0, -19 = -x*g + 5*g - 3*d. Suppose g*k = -5*c + 509, -c - 4*c = 5*k - 505. Does 7 divide c?
True
Let x be 2679/12 + 2 - (-7)/(-28). Let o = x + -85. Does 4 divide o?
True
Let b be (-12)/5*(315/(-6))/7. Suppose -b*w - 3 = -3. Is (20/1 - w) + 96 + -96 a multiple of 10?
True
Suppose -21*z = -28*z + 469. Let q = z + 492. Does 6 divide q?
False
Let s(o) = 16*o**3 + 39*o - 289. Is s(9) a multiple of 18?
False
Let b = 25018 + -11313. Does 14 divide b?
False
Let n = 4577 - 3156. Suppose 0 = -7*m - 77 + n. Is m a multiple of 16?
True
Let i = 2405 - -3147. Is i a multiple of 8?
True
Suppose 3*z + 14281 - 16234 = 0. Does 33 divide z?
False
Suppose 0 = -5*x + 7*x - 6. Let f be 1 - (-1 + x - 41). Suppose 5*c + 2*t - f - 25 = 0, 4*c - 3*t - 75 = 0. Does 6 divide c?
False
Let z = 54818 - 34758. Suppose -z = -22*s + 5*s. Is s a multiple of 90?
False
Suppose -s = -2*s - w + 10, -s + 2 = -w. Suppose 2*u = -a + s*a + 431, -4*a - 2*u = 352. Is 29 a factor of (-20 - -18)*a/2?
True
Let r(p) = -2*p**3 + p**2 + 7*p. Let w be r(2). Let t(z) = -z + 5. Let l be t(-4). Does 20 divide w + 392/3 + (-6)/l?
False
Let q(m) = m**3 + 9*m**2 - 11*m - 20. Suppose 4*h - 4*u = -20, -h - 3*u = 3 + 10. Let g be q(h). Let s = g + -62. Is s a multiple of 31?
True
Let c(o) = -9 - 18 + 7*o + 13 - 2*o. Let z be c(4). Let p(x) = x**3 - 2*x**2 - 9*x + 10. Is p(z) a multiple of 5?
True
Suppose -12*s + 13*s - 3216 = -3*o, -20 = -5*o. Does 89 divide s?
True
Suppose 352*j = 662*j - 348*j + 560880. Does 40 divide j?
True
Let p be ((-40612)/(-8) - -7) + 2/4. Suppose 22*s - p = -9*s. Is 14 a factor of s?
False
Suppose 159*l = 152*l + 8400. Is 17 a factor of (-8)/28 - l/(-35)?
True
Let l be (-1)/(1*(-6)/(-24)). Does 9 divide 5889/1