of o(6)?
True
Let t(d) = -d**3 - 14*d**2 - 25*d - 12. Let h be t(-12). Suppose 3267 = 5*a - 3*c - 351, a + 3*c - 738 = h. Does 13 divide a?
False
Let f(r) = 92*r + 22. Let u(v) = -13*v - 3. Let m(q) = 6*f(q) + 44*u(q). Is m(-1) a multiple of 4?
True
Let a = -562 + 604. Suppose 12096 = a*b - 28*b. Does 43 divide b?
False
Suppose 3*i - 32 - 61 = 0. Let p = i + -32. Is 149/3*(-3)/p a multiple of 32?
False
Let c(q) be the first derivative of q**4/4 + 12*q**3 - 7*q**2 - 38*q - 176. Does 37 divide c(-36)?
False
Let m(s) = s**3 + 12*s**2 + 8*s - 23. Let v = -27 - -16. Let h be m(v). Suppose -h*b - 387 = -19*b. Is 31 a factor of b?
False
Suppose 5*h - 10 = 5*s, -20 = 15*h - 16*h - 5*s. Suppose 4*c - 981 = 5*d - 62, h*d + 226 = c. Is c a multiple of 16?
False
Is 25 a factor of (6 + -4 - -5448)*((-30)/12 - -3)?
True
Suppose -211*o - 127*o = -5677386. Does 33 divide o?
True
Suppose 9*h - 18*h + 18776 = 5*m, 2*h - 18818 = -5*m. Is 44 a factor of m?
False
Suppose 8*i - 1256 + 7056 = 0. Let q be i/(-6) - 6/144*-4. Let s = q - 57. Does 21 divide s?
False
Let m = -21 - -23. Suppose -31 = 4*r + n, n = m*r + 12 - 1. Does 11 divide ((-80)/r + -2)*7?
True
Let j be (-630)/(-18) - (-2 + -5). Let w = j + 579. Is w a multiple of 18?
False
Suppose 100133 + 70440 = 32*a + 59821. Is 24 a factor of a?
False
Suppose -3*i + 5*i = 0. Suppose 22*a - 4*a - 6678 = i. Is 7 a factor of a?
True
Suppose z - 13 = -5*w, 4*z - w = 14 - 4. Suppose d + 5*n = -z*d + 4530, -n = -4*d + 4518. Does 37 divide d?
False
Let o be -3 - (-3 + 18/(-9)). Is 31 a factor of (3 - 0 - 6/o) + 1116?
True
Let j = -26932 + 31651. Does 11 divide j?
True
Suppose 4*o - 17896 = f, 5*o = -4*f + 8*f + 22359. Does 25 divide o?
True
Let o be (-5)/(-3) + (-12)/(-36). Let v be 127 + 0 - (0 - o - -1). Suppose -19*g + 15*g = -v. Does 5 divide g?
False
Let g(s) = -3076 + 7*s + 6146 - 3077. Let c(h) = 2*h**2 - 4*h - 3. Let r be c(4). Is 21 a factor of g(r)?
True
Let c(p) = 3*p**3 - 9*p**2 + 2*p - 10. Let a = -143 + 148. Is 50 a factor of c(a)?
True
Let s(m) = 5*m + 6. Let q be s(-2). Let i be -78 + (2 - (3 + q)). Let l = i + 111. Is 18 a factor of l?
True
Let n = -189 - -747. Suppose 8 + 7 = -5*w, -2*w = -t + n. Does 24 divide t?
True
Suppose 2*g - 10572 = 6*c - 7*c, -g + 5286 = 2*c. Suppose p + 5*d - 1063 = 0, 4*d + g = 19*p - 14*p. Does 23 divide p?
True
Suppose r + 10 = 2*l, -2*r = -21*l + 23*l + 2. Suppose l = -8*w + 7*w, -2*w = -h + 229. Does 17 divide h?
False
Is 48 a factor of (10/(-7))/(11/514745*-7)?
False
Suppose -10*y - 114 = -16*y. Suppose 3*s + y*s - 20174 = 0. Does 74 divide s?
False
Let v be 14/(-1) - (-4)/2. Suppose -219 - 187 = -7*h. Let j = h + v. Does 8 divide j?
False
Let h(k) = k**3 - 12*k**2 + 22*k - 16. Let u be h(10). Suppose 2*p = 4*b - 7*b + 155, -4*b + 200 = u*p. Is 5 a factor of b?
True
Suppose 2*o - 9340 = -4*n, 0 = 7*o - 5*o + 5*n - 9337. Is 12 a factor of o?
False
Let f(g) = 470*g**2 + 82*g + 28. Is 19 a factor of f(-4)?
True
Suppose -11*x = -10*x - 4. Let w = 219 - 219. Suppose -5*d - 3*t + 18 = w, 40 = 3*d + d - x*t. Is d a multiple of 3?
True
Let z(b) = b**3 + 6*b**2 - 7*b - 1. Let l be z(-7). Let v(a) = a + 1. Let k be v(l). Is 92 - (1 - (k + -1)) a multiple of 9?
True
Let m(g) = 7*g + 9. Let x = 36 - 32. Suppose x*j - 33 = -21. Is m(j) a multiple of 3?
True
Let h(i) be the third derivative of i**6/120 - i**5/10 + i**4/12 - 4*i**3/3 + i**2. Let m be (-14 + -34)/12 - -11. Is 11 a factor of h(m)?
True
Let p = -2968 - -10738. Does 10 divide p?
True
Suppose 3422 = 5*k - 9*k + 6*k. Is k a multiple of 9?
False
Does 20 divide (-11540)/15*(-150)/(-3 + 13)?
True
Let n = 85 - 50. Let w(c) = -c**2 + 36*c + 65. Does 11 divide w(n)?
False
Let y(x) = x**2 + 3*x - 3. Let b be (-2)/(-3) + ((-204)/(-18) - -4). Let p = -12 + b. Is 7 a factor of y(p)?
False
Suppose 0 = 7*d - 19 - 107. Suppose -6*v = d*v - 1152. Is v a multiple of 24?
True
Let h be -6*(1 + 1 - 143). Suppose 3*r - 6*r + h = 0. Does 47 divide r?
True
Let q(t) = -t**2 + 3*t + 10. Let k be q(-4). Let d(n) = 4*n**2 + 8*n - 150. Does 66 divide d(k)?
False
Is 5 a factor of (-7761039)/(-395) + (-28)/(-10) + -1?
True
Let d(g) = -9*g**3 - 7*g**2 + 37*g + 79. Let j(y) = 10*y**3 + 8*y**2 - 39*y - 81. Let n(f) = 6*d(f) + 5*j(f). Does 6 divide n(-3)?
True
Let r = -971 + 4567. Is r a multiple of 11?
False
Let w = -502 + 498. Does 10 divide 512 - -11 - (w - -7)?
True
Does 245 divide 45/27 - 0 - (5 + 961566/(-18))?
False
Let y(g) = 285*g**2 + g - 1. Let z be y(1). Suppose -10 = -3*v - 5*w, 5*v = 4*w + w + 30. Suppose 5*a - z = -4*n, v*a = 4*n + 351 - 66. Is a a multiple of 7?
False
Suppose 24 = 4*d + 16. Suppose -g = -u - 63, -279 = d*g - 6*g - 5*u. Does 16 divide g?
False
Let a = -11800 - -32972. Is 134 a factor of a?
True
Let h(u) = u**3 + 12*u**2 + 10*u - 27. Is 42 a factor of h(9)?
True
Let c = -94 + 96. Let v(i) = -86*i**2 + 87*i**c + 9 - 2. Does 10 divide v(-5)?
False
Suppose -2*w + 5*w + 480 = 0. Suppose -5*f + 0*a - 2*a + 1300 = 0, 2*a = 3*f - 780. Let i = w + f. Is 15 a factor of i?
False
Let f(m) = 51*m + 1. Let t be ((-1265)/3)/(-5) + 2/3. Let x(j) = 715*j + 15. Let g(h) = t*f(h) - 6*x(h). Is g(3) a multiple of 22?
False
Suppose 0 = -2*m - 5*u + 21824, m + 2122 = 3*u + 13023. Is 11 a factor of m?
False
Suppose 5*r = -0*s + 2*s - 300, -305 = 5*r - 3*s. Let c be ((-51)/34)/(9/600*2). Let u = c - r. Is u a multiple of 2?
True
Suppose 109*b = 799737 + 951348. Is 15 a factor of b?
True
Is (-18)/10*9500/(-60) a multiple of 14?
False
Suppose -3*d + 3*b = 1 - 4, -4*d + 3*b = -8. Suppose -3*g = -2*k - 6*g + 1080, 5*k + d*g = 2710. Does 26 divide k?
True
Let m be (26 + -6)/4 + -1. Suppose -2*w + w + x + 367 = 0, -m*x = 5*w - 1844. Is 7 a factor of w?
False
Suppose -4*v + 5 = -27. Suppose -1365 = -v*p - 5*p. Is p a multiple of 42?
False
Suppose 0 = -c + 4*w + 1540, 2*c + 4*w - 7820 = -3*c. Suppose -7*b + c - 482 = 0. Let t = b - 28. Is t a multiple of 13?
False
Let d(m) = -2*m + 9. Let b be d(4). Let i be 1/2 - (-35)/2 - b. Suppose -t = -4*z - 128, 0 = -t - z + i + 106. Is t a multiple of 31?
True
Let d be ((-486)/(-14))/(-1) + (-4)/14. Let z = -32 - d. Suppose 6*b = 3*b + f + 80, 2*f - 74 = -z*b. Is b a multiple of 13?
True
Suppose 0 = 46*f - 3*f - 9*f - 352512. Is 4 a factor of f?
True
Suppose 0 = 2*t - 5*k - 1164, 211*t - 209*t - 1164 = -2*k. Does 97 divide t?
True
Suppose 5*p - 4*k + 286 = 300, -16 = -4*p + 4*k. Suppose -5*i = -2*l + 625, -5*l + 839 + 716 = -5*i. Does 21 divide (-42)/35*l/p?
False
Let v = -9678 + 10759. Is 23 a factor of v?
True
Let y = 42664 - 29200. Is y a multiple of 132?
True
Let t(a) = 14*a - 38. Let v(l) = -l**2 - 7*l + 9. Let r be v(-3). Let w be t(r). Suppose 0 = 4*y - 12*y + w. Is 3 a factor of y?
False
Suppose -4*j = 3*m - 6979, j - 32*m - 1739 = -27*m. Is j a multiple of 79?
False
Suppose 0 = 19*j - 23*j + 16. Let p be (j/16*-2)/((-2)/100). Let a = p - -35. Is 6 a factor of a?
True
Let o = -58 - -68. Let u = o - 10. Suppose u = -3*n - 0*n + 5*x + 64, -4*x - 8 = 0. Is 6 a factor of n?
True
Let g = 1352 + 573. Is 11 a factor of g?
True
Let p(r) = -r**3 - 9*r**2 + 11*r + 14. Let j be p(-10). Let o(u) = 4*u + j*u - 2*u**2 + 8*u - 4*u + 8. Is o(6) a multiple of 6?
False
Is 12 a factor of -9 + 76/19 - -3905?
True
Does 19 divide 4 - (11 - -7) - -2764?
False
Suppose 3*a = c + 15472, 39*a + 3*c + 5152 = 40*a. Does 11 divide a?
False
Suppose 3 = 4*o - 29. Let m be ((0 - 3) + o)*(-64)/5. Let w = m - -83. Does 3 divide w?
False
Let i(t) = t**2 - t. Let l(j) = 6*j**2 - 7*j - 21. Let y(q) = -3*i(q) + l(q). Let s be (35/15 + -5)*(-6)/(-4). Does 4 divide y(s)?
False
Suppose -71*v = -69*v + 276. Is v*((-189)/(-6))/(-7) a multiple of 23?
True
Let t(x) = 60*x**3 + 8*x**2 - 220*x + 1083. Is t(5) a multiple of 39?
True
Suppose d - 1775 = r, 3*d - 3011 - 2328 = -4*r. Is d a multiple of 25?
False
Is 9 a factor of -6*(-145)/15 + (-32)/8 + 1?
False
Suppose -61*s = -122779 - 257770 + 117029. Is 40 a factor of s?
True
Let z(c) be the third derivative of c**5/60 - c**4/12 + 5*c**3/3 + 96*c**2. Is z(-7) a multiple of 73?
True
Let r(h) = 6*h**3 - 8*h**2 - 128*h - 4. Is r(12) a multiple of 24?
False
Suppose 0 = 5*x - 14*x - 225. Let w = x - -27. Suppose -w*v + 220 = 5*f, f - 6*v = -v + 17. Does 21 divide f?
True
Let p(m) = m**2 - 64*m - 289. Does 9 