f 6?
True
Let o(l) = -2*l**3 + l**2 - 17*l - 8. Let w be o(-4). Let h = 261 - w. Is 19 a factor of h?
True
Let r(z) = -z**2 - 9*z + 27. Let o be r(-11). Suppose -o*t - 8*t + 1300 = 0. Suppose 3*h = 4*g + 60, -5*h + 7*g = 4*g - t. Is h a multiple of 9?
False
Let k(d) = 14*d**2 - 41*d - 12. Let a(i) = -5*i**2 + 14*i + 4. Let t(x) = -17*a(x) - 6*k(x). Let n be t(-8). Suppose n*v - 15*v + 77 = 0. Is v a multiple of 7?
True
Suppose 125*f - 126*f = 5*s - 9294, -3*s = 4*f - 5573. Is s a multiple of 88?
False
Let w = 16943 + -13777. Is 7 a factor of w?
False
Let t(p) = p**2 + 8*p - 4. Let l = 38 + -47. Let w be t(l). Suppose 0 = -w*u + 340 + 50. Is u a multiple of 21?
False
Is 21 a factor of (37 - 40)*(369439/3)/(-7)?
False
Let d = -37 - -14. Let n(l) = -6*l**2 - 142*l - 16. Is n(d) a multiple of 35?
False
Suppose 4*l + 8 = -2*s, -2*s - l = -0*l - 1. Suppose -s*m - 137 - 7 = 0. Is (-8576)/m + (-1)/9 a multiple of 17?
True
Let a be 15/(-6) + (-2)/(-4). Let f be 87/(a/(-2)) + -2. Suppose -4*h + 350 = 3*p, -3*p + 2*p = -5*h - f. Is 10 a factor of p?
True
Is 3 a factor of ((-8)/(-4))/((-4)/(-626)) - 9?
False
Let v = -2895 + 4095. Does 14 divide v?
False
Let r(p) = -302*p - 501. Does 43 divide r(-28)?
True
Suppose -p - 4*p = -60. Let y be -350*((-2)/1 - (-18)/p). Suppose 4*n = 3*l - 176, -3*l + 5*n = -0*n - y. Is l a multiple of 4?
True
Let n(h) = -h**2 - 20*h - 36. Let i be n(-18). Suppose -18*y + 34*y - 26592 = i. Is y a multiple of 48?
False
Suppose 0*c = 2*c. Suppose c*w + 10*w - 1350 = 0. Is 35 a factor of w?
False
Let f be 247 + 5 + 8/(-2). Let w = -132 + f. Is 29 a factor of w?
True
Let o be (1 - 10/6)/(6/(-396)). Let x = o + -35. Suppose 89 + 415 = x*i. Does 14 divide i?
True
Is (5740/5 - 1) + (-3 - -4) + -3 a multiple of 31?
False
Let u(a) = -17255*a**3 + 4*a**2 - 2*a + 1. Is u(-1) a multiple of 14?
True
Suppose 5*r = 2*r + 27. Suppose -d = r*d. Suppose -5*c + 300 = -5*a, 3*c + 3*a - 156 = -d*c. Does 13 divide c?
False
Let a(m) = -m**3 - 14*m**2 - 15*m - 18. Suppose -12 = 2*z + k + 9, 0 = z + 4*k - 7. Let g be a(z). Suppose -t - 182 = -g*t. Is 8 a factor of t?
False
Suppose -2*j + 10 = -2*v - 16, -v + 20 = 2*j. Let h(f) = 15*f**2 - 7*f**2 - 4*f + 2*f + 5 - f**3 - j*f**2. Is 4 a factor of h(-5)?
False
Let o(f) = -f**3 - 54*f + 28*f - 2 + 32*f - 7. Let d be o(2). Is 10 a factor of d + -4 + 4 + 67?
False
Suppose -68*f + 2253405 = 163*f. Is f a multiple of 187?
False
Let a(r) = -42*r - 271. Is 17 a factor of a(-11)?
False
Let u = 91247 - 51722. Does 255 divide u?
True
Suppose -7192 = -10*z - 432. Suppose 0 = 3*d - z - 1022. Does 17 divide d?
False
Let c(d) = -6*d + 42. Let q(b) = 23*b - 168. Let f(p) = -26*c(p) - 6*q(p). Is 10 a factor of f(24)?
False
Does 29 divide 1364 - -10 - (1 + 4)?
False
Let i(q) = 3*q**2 - 19*q + 6. Let y be i(6). Suppose -c + y*c - 36 = 0. Is 15 a factor of 5*(c/(-5) - -4)?
False
Suppose 16*k - 8 = 14*k. Does 2 divide (0 + k/16)/((-7)/(-308))?
False
Suppose 65*g - 1028 = 2352. Suppose 217 = 4*j - 151. Let y = j - g. Is 5 a factor of y?
True
Let y(k) be the third derivative of -k**4/8 + 35*k**3/6 - 8*k**2. Let i be y(8). Is 8 a factor of (0 + 267)/(i - 8)?
False
Suppose 106 = -5*w + 261. Let d = w + -36. Let j = d - -10. Does 2 divide j?
False
Suppose -o - 2*h = 4, -o + 6*o + h - 7 = 0. Let k be o/(-1*(-6)/105). Let q = -22 + k. Is q even?
False
Suppose -2*d + d = -685. Let f = d - 404. Suppose 5*y - f = 4*b - 0*b, 0 = -y + 4*b + 53. Is 12 a factor of y?
False
Let w(u) = u**3 + 12*u**2 - 15*u + 2. Let z be w(-13). Suppose -z*b = -24*b - 900. Is 45 a factor of b?
True
Let i = 11573 - 7973. Is i a multiple of 16?
True
Does 15 divide (-96)/(-80) + -53484*(-24)/45?
False
Is 28/42 - (3 + (-12028)/12) a multiple of 50?
True
Suppose 292*n - 341330 = 2*n. Is n a multiple of 7?
False
Let j(n) = 333*n + 130. Let a be j(8). Let b = a - 1594. Is 60 a factor of b?
True
Let w = -188 - -186. Is -2*(-3)/w + 1491/3 a multiple of 40?
False
Let y(b) = 3*b**2 - 14*b + 5. Suppose 0 = 3*r + 15, 2*q - 6*q - r = 5. Let f be 9 - (-1 + q)*24/(-8). Is 6 a factor of y(f)?
False
Let s be ((-8)/(-6)*9/2)/2. Suppose 0*c - 5*c + 3*u + 1529 = 0, 0 = s*c + 4*u - 900. Let h = -88 + c. Is h a multiple of 54?
True
Let m(s) = 12*s**2 - 5*s - 9. Let v be 16/18*3*6/4. Let w be m(v). Suppose 0 = -4*b + 577 + w. Is 13 a factor of b?
False
Suppose -f - 12*k + 12568 = -8*k, -25175 = -2*f + 5*k. Does 20 divide f?
True
Suppose -154*v - 22404 + 80308 = -60*v. Does 154 divide v?
True
Let u(q) = -2*q + 16. Let x be u(11). Let d be 16/x*(-3 - 12/(-2)). Is 9 a factor of -4*d/((-160)/(-105))?
False
Suppose 21472 = -40*g - 0*g + 101*g. Is g a multiple of 176?
True
Suppose 3*y = 3*q - 73158, 0 = 4*q + q + 3*y - 121962. Is q a multiple of 30?
True
Suppose -238 - 63 = 43*q. Is q + (-102)/(-15) - (-5402)/10 a multiple of 20?
True
Suppose -9590 = -2*q - 5*g, -q = -g - 3*g - 4808. Suppose q = -25*v + 29*v + 4*b, -3*v + b + 3600 = 0. Is v a multiple of 16?
True
Let x = 137 + -135. Let l(g) = 32*g**2 - 15*g**2 - 12*g**2 + x*g - g + 6. Is 15 a factor of l(4)?
True
Suppose -8*y + 72337 = -26263. Does 5 divide y?
True
Let i be (-1778)/(-6) - 2/(-3). Let u(d) = 19*d**2 - 57*d + 43. Let y be u(3). Suppose j - i = -y. Is 36 a factor of j?
False
Let b(t) = t**2 - 38*t - 200. Let q be b(43). Suppose q*i + 7657 = 34*i. Is 13 a factor of i?
True
Let u = -1 + 27. Let f = -822 + 826. Suppose s + u = o, -f*o - 3*s + 38 + 66 = 0. Is 12 a factor of o?
False
Is 9 a factor of 3643 + (3 - (-1)/(-1))*3/3?
True
Suppose 2*g + 42 = h, g - 4*g - 178 = -4*h. Let j(d) = -h + 11*d**2 + d**2 + 43 - d**3. Does 22 divide j(10)?
False
Let a(k) = -17*k**2 + 6*k + 25. Let x be a(-6). Let o = x - -389. Let t = o + 346. Is 16 a factor of t?
True
Suppose 0 = -s + 2*a - 4, -4*a = 4*s + 4. Let l(v) = 90*v**2 + 4*v - 2. Let o be l(s). Suppose 0 = 2*d + 2*j - o, -d + 3*d - 350 = -j. Is d a multiple of 25?
True
Let n(s) = 4 + 0 + 8*s**2 - 10*s**2 + 13*s. Suppose -3*a - 12 = -6*a. Is n(a) a multiple of 13?
False
Let q(k) = -396*k + 285. Let c(f) = 79*f - 57. Let a(d) = 21*c(d) + 4*q(d). Does 14 divide a(3)?
True
Suppose -2*m + 35 = 3*m - 5*r, -m = -3*r - 13. Suppose m*h + j = 2*h + 327, h - 4*j = 141. Is h a multiple of 9?
False
Let n = -142 - -152. Is (72/n)/(7/70*4) a multiple of 3?
True
Suppose 2*g - 90 - 57 = 3*v, -365 = -5*g + 5*v. Let h(y) = y**2 - 6*y. Let d be h(6). Let q = d + g. Is 7 a factor of q?
False
Suppose j - 320 = -k + 3*j, -318 = -k + j. Let r = k + -176. Is 14 a factor of r?
True
Is (57/(-5))/(70/(-6650)) a multiple of 57?
True
Let n(x) = -89*x**2 + 20*x - 74. Let q be n(4). Let k = -604 - q. Is k a multiple of 59?
False
Suppose 12167 + 3377 = 5*g + u, 0 = 5*u - 20. Is 138 a factor of g?
False
Let w(t) = -2*t. Let n be w(4). Let c be (-297)/(-18)*n/(-3). Suppose f + c = 3*f. Is f a multiple of 11?
True
Let n = 25 - 26. Let w = 1 - n. Suppose -40 = -w*x + 2. Is x a multiple of 3?
True
Suppose 42*r + 62*r - 193024 = 0. Is 32 a factor of r?
True
Let t be 10/400*8 + (-14)/(-5). Suppose -t*a - 25*a + 26208 = 0. Does 78 divide a?
True
Suppose -3 = -5*j + 2, 0 = 10*w + 3*j - 38533. Does 15 divide w?
False
Let t be (30 + -26)*((-1)/2 + 1). Suppose 3*k - 309 = -2*p, 2*p = t*k - 295 + 79. Is 15 a factor of k?
True
Suppose -9*t + 87866 = 5795. Does 43 divide t?
False
Let w = -22275 - -32059. Is 8 a factor of w?
True
Let q(x) be the third derivative of x**4/8 - 3*x**3 - 3*x**2. Let i be q(6). Suppose 3*r = -5*n - r + 1108, i = -3*n - 5*r + 670. Is 29 a factor of n?
False
Suppose v = 2*l + 576, -13*v = -14*v + 3*l + 578. Does 52 divide v?
True
Does 46 divide (2 - -4)/(111/376142)?
True
Let k(t) = -709*t**3 - 4*t**2 + 10*t + 28. Is k(-2) a multiple of 15?
False
Let p = -12135 + 20429. Is p a multiple of 29?
True
Let x(i) be the third derivative of 3*i**4/8 + 20*i**3/3 + 43*i**2. Is x(4) a multiple of 38?
True
Let i(u) be the first derivative of -7*u**2/2 - 7*u + 40. Is i(-5) a multiple of 2?
True
Let w(h) = -8*h**2 + 40*h + 6*h**3 - 7 - 38*h - 6 + 2. Is w(4) a multiple of 23?
True
Let b = 1135 - 417. Let u = -439 + b. Is 31 a factor of u?
True
Suppose -33*m + 13544 + 90951 + 55687 = 0. Is m a multiple of 13?
False
Suppose 23*u = 19*u + 108. Suppose 2*l = 3*a - 10, 2*a + u = -4*l + 7. Suppose a = 3*c - w - 3*w - 208, 