es 16 divide c(0)?
True
Suppose 2*a + 3 = -7. Let j = 8 + a. Suppose j*y = 7*y - 240. Does 20 divide y?
True
Let m(p) = 3*p**2 + 24*p + 103. Let n be m(-14). Suppose 317 + n = 7*r. Is 9 a factor of r?
False
Let i(d) = -25*d - 10. Let t(w) = -1. Let p(o) = -i(o) + 30*t(o). Let x be ((-4)/(-8))/(189/(-48) + 4). Does 12 divide p(x)?
True
Suppose -5*q = -4*o + 10660, -o - 8*q + q + 2665 = 0. Does 28 divide o?
False
Is 4/24*(9/(-3) - -1)*-1566 a multiple of 58?
True
Let a(g) = -4*g**2 + 27*g - 15. Let r be a(6). Suppose -r*j + 18*j - 720 = 0. Is j a multiple of 16?
True
Suppose -5*z + 4340 = -2*p + 22592, 0 = -5*z. Does 6 divide p?
True
Suppose -t = -2*x + 2442, 5*t - 2*t - x + 7331 = 0. Is 12 a factor of (-6)/4*t/78?
False
Let s = 327 + -576. Let i = -109 - s. Does 4 divide i?
True
Let z be (2 + 92*-1)*(-4)/6. Let i = z + -9. Suppose 156 = 3*t - i. Is 27 a factor of t?
False
Let n(u) be the first derivative of -u**3/3 + 47*u**2/2 - 381*u - 241. Does 2 divide n(31)?
False
Let j = 114 + -109. Suppose -j*c + 5*b = -1115, -3*c - c + 886 = -2*b. Is 27 a factor of c?
False
Let i(p) = p**3 - 6*p**2 + 2*p - 8. Let w be i(6). Suppose -w*j + 2497 = -63. Does 40 divide j?
True
Suppose 42*a - 14*a = -15232. Let x = 717 + a. Does 13 divide x?
False
Let c(v) = 16*v**2 + 31*v + 2. Let s be c(-2). Suppose -3*k + x = 2*k - 4789, 3812 = 4*k + s*x. Is k a multiple of 87?
True
Suppose -219 + 99 = -8*c. Is 5/(c/72)*(-299)/(-52) a multiple of 7?
False
Is 49 a factor of (2281/2)/((-7)/(-28))?
False
Let j(k) = k**3 + 4*k**2 - 41*k - 27. Let n be j(-8). Let s = 36 + -15. Let m = n - s. Does 6 divide m?
True
Suppose 95*l - 91*l - 40 = 0. Suppose -772 = -l*y + 98. Is 6 a factor of y?
False
Let h be 15*(-6 + 68/12). Is 19 a factor of (-2)/10*(-1410 - h)?
False
Let v(m) = 31*m - 153. Let q be v(13). Let p = 315 - q. Is p a multiple of 5?
True
Let x = -9 + 13. Suppose 0 = -4*q + 2*t + 5 + 3, q - x*t = 2. Suppose -q*g - 54 = 2*p - 3*p, 5*g + 295 = 5*p. Does 11 divide p?
False
Let f be 8/(8/3) - (-2 + -8). Suppose -f*h + 21*h = 2688. Does 14 divide h?
True
Let v(r) = 7034*r**2 - 312*r + 8. Is 86 a factor of v(2)?
True
Let v = -4863 + 7398. Suppose 5*s = -8*s + v. Is 8 a factor of s?
False
Let d(c) = 4*c + 42. Let p be d(-12). Let a(q) = -q**3 - 4*q**2 + 14*q + 15. Let h be a(p). Suppose -164 = -3*n - m, -n - h*m + 107 = n. Is n a multiple of 8?
False
Let a(l) = -l**3 - 10*l**2 - l - 13. Let f be a(-10). Let n(j) = -j**2 - 5*j - 1. Let v be n(f). Suppose v*x - 560 = -10. Does 11 divide x?
True
Let b be 78/(-52) + ((-10)/(-4) - -2). Suppose -b*x + 6*x + 96 = 5*u, -3*x - 75 = -4*u. Does 12 divide -2 + (531/u - 12/42)?
False
Let q(g) = -6*g + 20. Let x be q(3). Let w be 6*10/(-15)*(-1)/x. Is 41 a factor of (8 - -115) + w + 2*-1?
True
Suppose 4*f = 3*m - 4480, 15*m - 7472 = 10*m + 4*f. Is 9 a factor of m?
False
Suppose 4*c + 101 + 3 = 0. Suppose -13*s + 10*s = -2*y - 73, 5*y = 2*s - 188. Let a = c - y. Is a a multiple of 4?
True
Let z be (-3 + -2 + 12)/((-2)/(-6)). Suppose 12*a = z*a - 36. Suppose 2*b - 3*q = 214, a*b - 396 = 2*q + 24. Is 13 a factor of b?
True
Let i(y) be the first derivative of -y**4/4 - y**3 + 17*y**2/2 + 19*y - 144. Is i(-7) a multiple of 6?
True
Let d be -2 + (-4)/((-12)/51). Suppose d*z = -12*z + 5940. Is 53 a factor of z?
False
Is 23 a factor of ((-7644)/112)/((-6)/56)?
False
Suppose 75 = -8*p + 107. Suppose -p*x + 11*a - 12*a = -1694, -5*x = 3*a - 2114. Is x a multiple of 53?
True
Suppose -29*p = -36*p + 434. Let m = p + 52. Does 8 divide m?
False
Let o(w) = 6*w**2 - 15*w + 16. Is o(-10) a multiple of 9?
False
Suppose -2*d - d = -3*o + 48, -2*d + o = 31. Let q be (-995)/d - (-2)/(-6)*-2. Suppose -3*b = -26 - q. Does 6 divide b?
False
Let y = 6149 - -2756. Is 137 a factor of y?
True
Suppose -2*q + 2*k = -254, -3*q + 3*k + 631 = 2*q. Let t = 178 - q. Does 15 divide t?
False
Let a = 33 + -26. Let s(u) = -12*u + 16. Let n be s(a). Let d = n + 163. Is 19 a factor of d?
True
Let c = 215 + -156. Suppose 0 = c*d - 16470 - 1938. Does 16 divide d?
False
Does 88 divide (-255)/102*28770/(-5)?
False
Suppose -5*h + 60711 = 2*h + 14*h. Is 59 a factor of h?
True
Let d(a) = -a**3 - 5*a**2 - a - 5. Let v be d(-5). Suppose 1 + 15 = -4*o, v = -2*l + o + 2. Is l - (2/(-3) + (-1144)/12) a multiple of 19?
True
Let x(t) = -89*t + 6. Let r be x(-8). Suppose -w - 2*w = 1524. Let u = r + w. Is 42 a factor of u?
True
Let u = 7735 + -7191. Is 32 a factor of u?
True
Let f = 359 - -46. Is 15 a factor of f?
True
Let t(i) = 6*i + 11. Let g be t(-2). Is 26 a factor of 9324/36 + (-3 + 2)/g?
True
Let m = 667 + -634. Is m*(-77)/(-21) + -2 a multiple of 2?
False
Let n(f) = 3*f**2 - 17*f - 15. Let s be n(7). Suppose 4*d - 13 = -s. Suppose d = 2*z - 6, 4*t - 3*t - 18 = -4*z. Is t a multiple of 6?
True
Let d(q) = q**2 + 17*q + 26. Let x be d(13). Let w be 1*-1*(1 - 13). Is x/20 - w/15 a multiple of 18?
False
Let r be (-2)/(-7) - ((-480)/56)/5. Suppose 0 = -3*c + 3*s + 12, -4*s + r*s = 0. Let p(u) = 68*u - 36. Is 11 a factor of p(c)?
False
Suppose -19120 = -8*z - 384. Suppose 5*x = 3*q - z, 2*q - q - 782 = x. Is 28 a factor of q?
True
Let b(r) = 757*r - 4133. Is 68 a factor of b(21)?
True
Is 138 a factor of 3722 + -1 + ((-8)/6)/((-8)/30)?
True
Suppose m - 2*c = 24, 0 = -0*c - 5*c. Suppose -m*r + 27*r = 279. Suppose j = 2*j - r. Does 12 divide j?
False
Let i = -4 + 8. Suppose -i*x - 2*x - 612 = 0. Is 4/8 - x/4 a multiple of 26?
True
Let k(r) = 5*r**2 - 9*r + 2*r + 14*r - r**3 - 4. Let n be k(6). Suppose 3*f - j = 117 + 20, -n*f - 5*j + 80 = 0. Does 9 divide f?
True
Let u = -148 + 184. Suppose 6 = -5*h + u. Is 6 a factor of h?
True
Let t = 26569 - 15909. Suppose -40*h + t = -30*h. Is 15 a factor of h?
False
Let c(k) = k**2 - 2*k + 16. Suppose v = 5*v - 12. Let f be (v/(-1))/(3/(-4)). Does 6 divide c(f)?
True
Let u = -595 + 587. Is u/6 - (-44020)/93 a multiple of 15?
False
Let s(v) = v**2 + v + 1. Let j be s(9). Let u = -76 + j. Suppose 804 = u*w - 9*w. Does 20 divide w?
False
Suppose -986 = 297*k - 314*k. Is k a multiple of 29?
True
Let z(n) be the third derivative of -n**6/120 + n**5/12 - n**4/12 - n**3 - 19*n**2. Let h be z(4). Suppose -4*x + h*x + 144 = 0. Is x a multiple of 12?
True
Let g(t) = 3*t + 22. Let s(r) = 2*r - 3*r + 21 + 2*r + 3*r. Let d(a) = 5*g(a) - 4*s(a). Does 9 divide d(9)?
False
Let y be (-2)/(-7) - (-121)/(-7). Let v(j) = 33*j - 15. Let n(p) = -50*p + 16. Let t(k) = 2*n(k) + 3*v(k). Does 2 divide t(y)?
True
Suppose -872 = -w + 4*d, 4*w + 5*d - 3446 = -0*d. Suppose 0*v + w = 8*v. Does 6 divide v?
True
Suppose 0 = 3*h - 5*p - 25785 - 7511, -2*h = -4*p - 22196. Is 92 a factor of h?
False
Let a(q) = -q**2 - 6*q + 44. Let m be a(-10). Let h(v) = -6*v + 29. Let k be h(m). Suppose 5*d - 3*p = -k*p + 241, 2*d - 97 = -p. Is 13 a factor of d?
False
Let u(p) = p**2 + 20*p + 54. Let w be u(-7). Does 28 divide w/111 + (-674)/(-6)?
True
Let d(c) = c - 1. Let l(o) = -9*o + 58. Let w(z) = 3*d(z) + l(z). Let h be w(8). Let r(k) = k**3 - 2*k**2 - 12*k + 10. Does 57 divide r(h)?
True
Let a(u) = 103*u + 2397. Does 38 divide a(59)?
True
Let o = -16 - -16. Suppose -14*s + 4*s + 540 = o. Suppose 4*d + s = 5*p, 0 = 2*p + 2*d + d - 40. Does 6 divide p?
False
Let l(h) = h**3 - 7*h**2 + 11*h - 9. Let t be l(5). Let y be ((-6)/(-10))/(1/(-20)*t). Suppose -y*a + 106 = g + 14, g = -a + 96. Is 33 a factor of g?
False
Suppose -3*k + 453 = 4*p, -p - 3*p + 451 = 5*k. Let d be 6/(-7) - 1900/(-28). Let z = p - d. Is z a multiple of 19?
False
Let n(z) = 43*z**2 - 150*z - 1786. Is 5 a factor of n(-13)?
False
Suppose 4*z = -4217 - 11135. Let u = -1282 - z. Is 20 a factor of 3/24 + u/32?
True
Let n(d) = d**3 + 5*d**2 - 34*d - 11. Let s be n(-6). Let g = -45 + s. Is 26 a factor of g?
False
Suppose -8*w + 292 = 244. Suppose -w*u + 1753 = -869. Is 5 a factor of u?
False
Suppose 5*i + 45 = -3*b, 5*b + 17 = -5*i - 38. Does 2 divide 19 - i/(-3) - (0 + 1)?
True
Is (-16)/28*53508/(-56) a multiple of 27?
False
Suppose 0 = 2*i - 3*i + 5*j + 32, -5*i + 2*j + 91 = 0. Suppose -4*g + i = -2*g - 3*u, 3 = -3*g - 5*u. Let l(b) = b**3 - b. Is 20 a factor of l(g)?
True
Suppose 0 = 9*o + 14 + 4. Let c be (25/10)/((-1)/o). Suppose -c*j - 375 = -5*s, -4*s - 156 + 465 = -j. Is s a multiple of 9?
False
Is 57 a factor of 17674*(15/13 + (788