?
True
Let f(o) = 351*o - 118. Does 22 divide f(14)?
True
Let c(u) = 7*u**2 + 22*u - 26 - 12*u + 0*u**3 - u**3. Is 14 a factor of c(6)?
True
Suppose 0 = 15*s - 19*s + 20. Suppose 4*g - 2667 = -3*k, 11*g - s*k = 8*g + 1964. Does 39 divide g?
True
Let p(h) = -4*h**3 - 2*h**2 - 7*h - 7. Let u be p(-3). Does 16 divide 2*u + 33/(-3) + 11?
True
Let c = 79 - -103. Suppose 0 = -3*k + 4*u + 10 + c, 2*u + 126 = 2*k. Is k a multiple of 5?
True
Let y(i) = 201*i - 202. Let j(s) = 101*s - 101. Let q(m) = 11*j(m) - 6*y(m). Is 47 a factor of q(-15)?
False
Let q(u) = 5*u**2 - 28*u + 98. Let n be q(18). Suppose -2*k - n = -x, -4*k - 1203 = -3*x + 2449. Is 12 a factor of x?
True
Suppose 18*c = 6704 - 1070. Is 3 a factor of c?
False
Let j be (1/(-1 + -1))/(4/24). Let b be -1*-6*(-3)/j. Suppose -b*g - 1152 = -14*g. Is 24 a factor of g?
True
Let s = 69 + -66. Suppose 0 = -z + s*z - 20. Suppose -6*g = -g - z. Is 2 a factor of g?
True
Is ((-44523)/(-68))/(4/96) a multiple of 54?
True
Suppose -3*h + 47 - 8 = 0. Suppose 9275 = h*j + 448. Does 54 divide j?
False
Suppose -62*v - 766 + 5106 = 0. Does 35 divide v?
True
Suppose 0 = 7*g - 39880 - 20411. Does 45 divide g?
False
Let k be 1/(-3) - 210/(-63). Suppose 5*w + 1250 = k*a, 1798 - 83 = 4*a + 3*w. Does 10 divide a?
False
Let l = 46634 + -30436. Is l a multiple of 14?
True
Let h = -1844 - -2796. Suppose 7*g - h = 3*g. Let y = g + -135. Is y a multiple of 11?
False
Let b be 1/(15/48) + 5/(-25). Suppose 0 = 2*x - b*p + 35 - 170, 4*x - 279 = 3*p. Is x a multiple of 12?
True
Let s(r) = -12*r**3 + 8*r**2 + 43*r + 180. Is s(-14) a multiple of 10?
False
Let g(a) = -a**2 + 2. Let o(z) = -6*z**2 + 11*z - 15. Let x(t) = -4*g(t) - o(t). Let r be x(-3). Suppose -133*h = -r*h - 261. Does 6 divide h?
False
Suppose 40 = 4*t - 32. Let h = 121 - 128. Is h/42 - (-1011)/t a multiple of 56?
True
Let w(c) = -c**2 - 12*c - 25. Let v be w(-10). Let t(f) = -137*f - 21. Does 9 divide t(v)?
False
Let g be (2 - -2)/8 + 3190/4. Suppose -11*i + 5066 = g. Suppose -2*s = 3*f - i, 0 = f - 2*s + s - 126. Is 16 a factor of f?
True
Suppose -o + 15 = -4*p + 4, 6 = 4*o + 3*p. Suppose -4*a + 892 = 19*g - 18*g, o*g + 3*a = 2667. Does 40 divide g?
False
Let x = 26759 + -15905. Does 54 divide x?
True
Let m(x) = 2*x**3 + 5*x**2 - 42*x + 958. Is m(10) a multiple of 14?
True
Suppose 2*n + 2*n - 133 = -o, 5*n + o = 165. Let a = 52 - n. Does 8 divide 41 + a/(-5) + 7?
False
Suppose 11*a - 68437 = 97615 - 26506. Is a a multiple of 22?
False
Let b(y) = -32*y - 7. Let v(t) = -33*t - 6. Let j(r) = 3*b(r) - 4*v(r). Let q be j(6). Let h = 440 - q. Does 13 divide h?
True
Let p be 50/3 + (-2)/3. Let d = -7275 + 7440. Let z = p + d. Is z a multiple of 10?
False
Is 75 a factor of ((-675)/4)/(90/(-3960))?
True
Suppose -11235 = -22*b + 799. Is b a multiple of 2?
False
Let d(n) = 9*n**3 - 5*n**2 - 4. Let w(f) = 8*f**3 - 4*f**2 - f - 3. Let a(z) = 3*d(z) - 4*w(z). Let v be a(-3). Suppose 0 = -38*j + 35*j + v. Does 22 divide j?
True
Let w(v) = 3*v**2 + 14*v - 793. Is 77 a factor of w(55)?
False
Let s(k) = 79*k - 17. Let n be s(-4). Let g = n + 709. Suppose -12*u + g = -8*u. Is 19 a factor of u?
False
Let z(g) = 64*g - 13. Let y(j) = 65*j - 13. Let i(b) = -5*y(b) + 4*z(b). Let q be i(-5). Suppose 8*a - q = 58. Is a a multiple of 19?
False
Let z = 14530 - 8130. Suppose -2*g + z = 14*g. Is 16 a factor of g?
True
Suppose n + 3*z = 28013, 2*n + 9728 - 65763 = -3*z. Is n a multiple of 12?
False
Let l(x) = 665*x**2 - 1. Let f be l(1). Let j = f - 538. Does 6 divide j?
True
Suppose 2*s - 12*i = -7*i - 266, -4*s + 4*i - 520 = 0. Is (s + -26)/((-2)/3) a multiple of 14?
False
Suppose 9 - 5 = 2*q. Let r = q - 15. Let z = r + 55. Is 21 a factor of z?
True
Suppose -12*k + 10*k = 2042. Let f = k - -1786. Does 14 divide f?
False
Let h = -656 + 649. Let a(y) = 31*y**2 - 10*y + 6. Does 29 divide a(h)?
True
Does 38 divide (42 - 16398)/((-3)/2) - 10?
False
Let o(m) = -m. Let c(a) = -a**3 + 18*a**2 + 14*a - 53. Let u(h) = -c(h) + 3*o(h). Is u(19) a multiple of 2?
False
Suppose -16*l + 12 = -100. Suppose 5094 = l*n - 324. Is 31 a factor of n?
False
Let h(c) be the second derivative of c**7/630 - c**6/144 + c**5/20 + 13*c**4/12 - 14*c. Let d(a) be the third derivative of h(a). Is d(5) a multiple of 8?
False
Let v = 193 - 186. Suppose 4*o = t + 893, -4*t + 424 = v*o - 5*o. Does 10 divide o?
False
Suppose 2*h - 4*b = 10, -2*h - 2*b + 0*b = -22. Suppose -36 - h = -9*l. Is ((-24)/l)/((-15)/450) a multiple of 18?
True
Is 10 a factor of 3 - 5 - 2 - (-4103 + -8) - -3?
True
Suppose 2*u - 7613 = -21*u. Let m = 506 - u. Is m a multiple of 8?
False
Suppose -4*k + 29348 = -4*d, 3*k + k = -3*d + 29390. Does 148 divide k?
False
Suppose -4*x + 15 = 3. Let l(m) = -151 + 27*m - 155 + 310 + 55*m. Is 25 a factor of l(x)?
True
Let y = -37680 - -79017. Is y a multiple of 27?
True
Let t(i) = 2*i**3 + 13*i**2 - 20*i - 49. Let u be t(-7). Suppose 147 = u*g - 35*g. Is g a multiple of 2?
False
Suppose 27 = 6*w - 39. Suppose 26*y - 3480 = w*y. Does 58 divide y?
True
Suppose 3*a - g - 23941 = 0, 0 = -a + 2*g + 4714 + 3273. Is a a multiple of 17?
False
Let p(s) = -6 + 4148*s**2 - 2*s - 4109*s**2 - 2. Suppose 6 = -4*z - 2. Does 18 divide p(z)?
False
Let l = 4022 + -1591. Does 25 divide l?
False
Let p(f) = 107*f**2 - 39*f + 240. Does 20 divide p(8)?
False
Suppose 0 = 3*a + 40*u - 39*u + 2194, 0 = -3*u + 6. Let q = a + 1874. Does 20 divide q?
False
Suppose 0 = 3*j - 2*z - 4, 4*j + 2*z = 3*z + 2. Suppose j = -3*w + 12 - 3, 2*w + 1060 = 2*y. Suppose -127 - y = -5*k. Is 19 a factor of k?
False
Let m be 64/(30/12 + -3). Let w = m + 185. Is 16 a factor of w?
False
Let r(u) = 952*u. Let k be r(1). Suppose 3*l - 500 = k. Suppose l = 4*v + 4*s, -6*s + 2*s = -4*v + 476. Does 15 divide v?
True
Let n = -178 - -335. Let b be -1503*3/(-15) - (-16)/40. Let w = b - n. Does 18 divide w?
True
Suppose -3*z - 178 = -202. Suppose 600 = z*c - 6808. Is 35 a factor of c?
False
Let n(w) = -28*w - 180. Let p be n(-6). Is 23 a factor of (-6)/1*(3 + p)?
False
Let t(x) = 37*x**2 - 3*x - 2. Let l be t(-2). Let b be 1*4 + (-12)/(-144)*0. Suppose 2*q = b*q - l. Does 12 divide q?
False
Let k = -124 - -88. Let x be 111/18 - (-6)/k. Let o(t) = -t**3 + 6*t**2 + 5*t + 4. Does 7 divide o(x)?
False
Let v = 13 + -6. Let t(j) = -232*j + 4. Let y be t(-1). Suppose -y = -v*a + 114. Does 15 divide a?
False
Suppose -g + 5*g - 16 = 0. Suppose -g*t - r = -2016, -5*t - 4*r = -5*r - 2520. Suppose 5*o + 4*x - t = 0, -2*x + 6*x = -16. Is o a multiple of 13?
True
Let k(v) = -3*v**2 + v + 25. Let f be k(3). Is 6 a factor of 19*f - (-50 + 57)?
True
Is 61 a factor of (((-8)/18)/(86/(-7869)))/(3/90)?
True
Let x(u) = 2 + 0*u**2 + 4*u**2 - 26*u**3 - 4*u + 25*u**3. Let b be x(2). Suppose 0*q = b*q - 2*i - 124, 0 = -5*q - 3*i + 270. Does 19 divide q?
True
Suppose -d = 3*b - 6677, 3*b - 3656 = -4*d + 3018. Does 42 divide b?
True
Let v be (-20)/6*-4*6/5. Suppose 4*l + 2*k = v, 5*l + 2*k - 16 - 2 = 0. Suppose -7*r = -l*r - 330. Is 22 a factor of r?
True
Let y(h) = -62*h + 2328. Let r be y(37). Let d(u) = u**3 - 5*u**2 - 5*u + 5. Let a be d(6). Let n = a + r. Is 24 a factor of n?
False
Let q(l) = l - 2. Let j(d) = -7*d + 19. Let m(a) = j(a) + 4*q(a). Let u = -1 - 2. Does 3 divide m(u)?
False
Let k = -51 + 51. Let q(o) = 24*o + 6. Let y be q(-1). Is 7 a factor of (63/y)/(3/(-30) + k)?
True
Let p(m) = -88*m - 1. Let b be p(-2). Suppose 0 = 4*s - 12*q + 11*q - 16, -2*s - 4*q - 10 = 0. Does 12 divide (-3)/(s/(-5)) + b?
True
Let i(r) = 335*r + 1947. Does 11 divide i(33)?
True
Suppose -4*g = 2*y, y + 3*g + 3 = -2. Let c be (11/y + 21/(-35))*0. Suppose c = -0*r + 3*r + x - 239, 4*x + 324 = 4*r. Does 10 divide r?
True
Is 26 a factor of (435/(-20))/(96/(-43264))?
True
Let f be (-7)/2*100/(-35). Suppose -312 = -f*a + 4808. Is 13 a factor of a?
False
Suppose 0 = 29*t - 370666 - 131800 + 130541. Is 89 a factor of t?
False
Suppose 0 = -25*b + 16*b + 27. Suppose 2*d = b*r + 358, 5*d + 239 = r + 1147. Does 9 divide d?
False
Suppose 323*j - 425169 = 294*j. Is 27 a factor of j?
True
Let v(m) = m**2 + 3*m - 8. Let d be v(-5). Let j(a) = -3*a - 6*a + 14 + d - a. Does 32 divide j(-8)?
True
Let g(o) = -38*o + 46. Let z be g(1). Suppose z*v - 3*v = 5*l + 1305, -3*v - 5*l = -823. Is 38 a factor of v?
True
Suppose 