*m, 4*m = -g - 3*g - 4. Does 20 divide (16 + g)*80/a?
True
Let i = -180 + 165. Does 28 divide (i + 13)/((-8)/860)?
False
Is 11 a factor of 1 + (-6 - -4) - 1/(-1) - -7567?
False
Let h(w) = 2230*w - 13054. Does 42 divide h(19)?
True
Is 6 a factor of -10 - ((-11)/1 + -31817 - -6)?
True
Does 6 divide 4/(-14)*-1 + (923956/(-14))/(-11)?
True
Let i = -37228 - -58753. Does 75 divide i?
True
Suppose 5*h - 3*o - 12 = 0, -8*h + 10*h - 9 = -3*o. Does 11 divide ((-54003)/94)/(h/(-2))?
False
Let y(b) = 25427*b**2 + 6*b + 4. Let t be y(-1). Suppose 121*m - 106*m - t = 0. Is 56 a factor of m?
False
Suppose 3*u + 2*u - 35 = 0. Suppose 0 = -u*a + 44 + 5. Suppose -a*k + 1218 = -0*k. Does 28 divide k?
False
Suppose -5*j + 8105 = 5*h, 2*j - 330 = -4*h + 2916. Let l = -1152 + j. Is l a multiple of 18?
False
Let i = 122 - 164. Is 44 a factor of ((-594)/21)/(3/i)?
True
Suppose -138*i + 621775 = -269*i + 156*i. Does 19 divide i?
True
Let m = -9893 - -19786. Does 46 divide m?
False
Let i = 100 - 47. Suppose -30*u = -29*u - i. Is u a multiple of 6?
False
Suppose -2*y + 20 = -2*i, 25*i - 21*i + 5*y = -85. Let q(t) = t**3 + 6*t**2 - 3. Let h be q(-6). Let v = h - i. Is 4 a factor of v?
True
Suppose -5*h - 1332 = -4*s, 6*s = 9*s + 4*h - 999. Is 3 a factor of s?
True
Let h be (1 - -1)*2 + -4. Let v = 0 - h. Suppose -11*r + 14*r - 69 = v. Does 8 divide r?
False
Suppose u + 4*q - 11942 = 0, 2*q - 47782 = 61*u - 65*u. Does 22 divide u?
True
Let t(m) be the first derivative of -m**3/3 + 7*m**2/2 + 8*m - 4. Suppose -36 = -4*l - 4*a, 5*l = -2*a + 11 + 25. Is 2 a factor of t(l)?
True
Let f = 16760 + 1640. Is f a multiple of 16?
True
Let h(w) = -w**2 + 5*w + 30. Let a be h(7). Suppose -26820 = a*l - 31*l. Is 109 a factor of l?
False
Let a(g) be the second derivative of -24*g + 5/2*g**2 + 0 - 53/6*g**3. Does 38 divide a(-1)?
False
Is ((-25194)/24)/13*(3*-125 - 1) a multiple of 47?
True
Let g(t) = -t**2 - 12*t + 12. Let w = 33 + -40. Let r(v) = v**3 + 8*v**2 + 6*v - 17. Let f be r(w). Is g(f) a multiple of 10?
False
Suppose -3*j + 22*y = 17*y - 58597, -y = 2*j - 39030. Is 20 a factor of j?
False
Let y(z) = 255*z + 2429. Does 14 divide y(-7)?
True
Suppose 0*j - 576 = -3*j. Suppose -4*m - 104 - 264 = -4*t, 5*t - 4*m = 456. Let w = t + j. Is 28 a factor of w?
True
Let h be 1/(-2) - 1791/6. Let t = h - -323. Does 4 divide t?
True
Let d(k) = -59*k + 2. Let y(n) = n**3 - 10*n**2 - 4. Let b be y(10). Is 17 a factor of d(b)?
True
Let r(c) = 16*c**2 - c + 8. Let z = -177 + 75. Let w = z - -107. Is 13 a factor of r(w)?
True
Let b(f) = 935*f - 3233. Is 62 a factor of b(8)?
False
Let a(w) = 12*w**3 - 12*w**2 + 33*w - 36. Is a(4) a multiple of 28?
True
Let y(i) = -5*i**2 + 46*i - 405. Let n(b) = -2*b**2 + 3. Let q(c) = n(c) - y(c). Does 16 divide q(23)?
False
Suppose 3*l - 596 = 700. Suppose 4*b = -4*r + 432, 0*b + 4*b - 3*r - l = 0. Suppose b = 3*f + 6*f. Is f a multiple of 6?
True
Let b = 291 - 165. Suppose -2*s = 4*x - 68, 4*s + 2*x - 28 - b = 0. Suppose 67*f = 72*f - s. Is 3 a factor of f?
False
Suppose -q - 5*c + 77 = -37, 3*q - c - 374 = 0. Let n = 434 + q. Does 18 divide n?
True
Let g(m) = 843*m - 1705. Is g(3) a multiple of 8?
True
Suppose 4*o = -3*u + 24, -2*o + 6 = 3*u - 4*o. Suppose -4*s - 4 = u*c + c, 2*c + 8 = 0. Does 31 divide -2*(s + 222/(-4))?
False
Let s = 120121 - 66073. Is 98 a factor of s?
False
Suppose 0 = -2*d + 7 - 1. Suppose d*g = 2*m - 25, -5*m + 11 + 4 = 2*g. Suppose 431 - 26 = m*b. Is 27 a factor of b?
True
Let x = 206 + -211. Is ((-436 - x) + 0)/(-1) a multiple of 19?
False
Suppose -15444 = -415*t + 413*t. Is 21 a factor of t?
False
Suppose 5*z + 36*b - 37*b - 59936 = 0, -21*b = 126. Is z a multiple of 2?
True
Let u(n) be the first derivative of -19*n**4/4 - n**2 - n + 1. Suppose -25*v + 4*w = -28*v + 21, 29 = -5*v + 4*w. Does 12 divide u(v)?
False
Suppose 0 = x - 7*i + 4*i - 8452, 0 = -3*x + 3*i + 25350. Is x a multiple of 71?
True
Let s(l) = 24*l**2 + 417*l + 2045. Does 243 divide s(-5)?
False
Suppose -2*o + i = -5, -6*i + 17 = 2*o - 3*i. Suppose 485 = o*m - 2375. Is 55 a factor of m?
True
Let h = 84436 + -55792. Is h a multiple of 21?
True
Let u(m) be the first derivative of 92*m**2 + 39*m - 12. Is u(6) a multiple of 16?
False
Suppose 0 = 33*b + 29617 - 1171. Let l = 1421 + b. Is l a multiple of 90?
False
Let r(z) = -20*z**3 + 104*z**2 - 3*z + 33. Is 24 a factor of r(-9)?
True
Let i be -1 - 5/5 - 0. Let g be (-172)/((i - -1)*2). Let t = g + 18. Is 44 a factor of t?
False
Let h(n) be the second derivative of 11*n**4/12 - 31*n**3/6 + 6*n**2 + 19*n + 2. Is 30 a factor of h(8)?
False
Let y = 348 - 360. Does 35 divide (y + 1)*3/(6/(-70))?
True
Let n(p) = -p**3 - 18*p**2 + 102*p + 202. Is 4 a factor of n(-23)?
False
Let m be ((-21)/14)/(6/(-8)). Let a be (m + -16)/((-12)/(-30)). Let o = 82 + a. Is o a multiple of 35?
False
Suppose -21*n - 5*t = -17*n + 662, 5*n - 5*t = -805. Is 4 a factor of 14*(n/(-14) - 8/56)?
False
Let m = 569 - -52. Suppose -2*t = -t - 5*g - 293, m = 2*t - 3*g. Suppose 7*l - 130 = t. Is l a multiple of 32?
True
Is 5938 + (-29)/(261/90) a multiple of 12?
True
Suppose 95*l - 94*l = -n + 4250, l + 2*n - 4250 = 0. Is l a multiple of 10?
True
Let c = 37 + 33. Suppose -2*p = -8, 4*p - c - 62 = -v. Does 8 divide v?
False
Is 5 a factor of (-5 - 1649/(-323)) + (-20706)/(-38)?
True
Let i(n) = 2*n**2 + 19*n - 26. Let y be i(6). Let b = y - 94. Suppose 216 = 3*g - b. Is g a multiple of 16?
False
Let w be 3 + 802 + (0 + -10)/2. Let a = w - 116. Is a a multiple of 76?
True
Suppose 0 = 96*p - 99*p + 732. Suppose 18*x - 748 = -p. Is x a multiple of 7?
True
Let i(b) = 30*b - 813. Is i(67) a multiple of 8?
False
Let x(o) = -192*o. Let i(g) = g. Let n(k) = 320*i(k) + 2*x(k). Is n(-1) a multiple of 16?
True
Suppose 4*i - 432 = 484. Suppose -3*d = 2*f - 752, -5*f + 0*f + i = d. Is d a multiple of 43?
False
Suppose p - 30 = -i, 6*p - 11*p + 170 = -5*i. Let d = 30 + p. Does 47 divide d?
False
Let f = -93 + 27. Is 44 a factor of f/4*(-96)/9?
True
Let g(q) = -q**3 + 11*q**2 - 12*q + 31. Let h be g(10). Suppose -h - 265 = -12*j. Is j a multiple of 23?
True
Let p(y) = -y**2 - 26*y - 23. Let i be p(-25). Suppose 5*a + m - 128 = 0, a = i*m + 3*m + 36. Is 17 a factor of a?
False
Let z(t) = t**2 - 13*t - 45. Let v be ((-6)/(-4))/((-3)/10) - 0. Is 5 a factor of z(v)?
True
Suppose 68411 - 11767 = 17*o. Is 14 a factor of o?
True
Suppose -88 = -4*v - 3*s, s - 13 + 9 = 0. Suppose 1959 = v*z - 1157. Is z a multiple of 18?
False
Suppose 0 = 27*x - 20*x + 210. Is 19 a factor of 5/(x/24) - -207?
False
Let a(u) = u**2 - 3*u + 80. Is 10 a factor of a(-17)?
True
Let p = 58 - 58. Let z be (0 - p) + -28 + 28. Suppose o = -c - 0*c + 14, z = -4*c - 4. Does 3 divide o?
True
Let r(k) = -121*k**2 + 10*k - 4. Let o(h) = 241*h**2 - 21*h + 8. Let b(s) = 4*o(s) + 9*r(s). Let g be b(-4). Is 6 a factor of g/(-28) + 9/(-21)?
True
Is 12 a factor of 27/2*(-58560)/(-216)?
True
Suppose -585*w + 228*w + 5996655 + 1976940 = 0. Is w a multiple of 39?
False
Let z(q) = -5 + 3*q**3 + 54*q**2 - 20*q - 3*q - q**3 + 17*q. Is z(-27) a multiple of 4?
False
Let y(k) = k**3 - 4*k**2 - 8*k + 5. Suppose -12*z + 5*v - 60 = -17*z, -3*z = -v - 20. Is 34 a factor of y(z)?
False
Suppose 537 = -38*b + 41*b. Suppose 0 = 3*s - 3*y - b - 34, 0 = 3*s - 2*y - 213. Is 5 a factor of s?
False
Suppose -h + 80 = 4*h. Let q(d) = 2*d**2 - 22*d + 8. Let t be q(h). Suppose i = 4*z - 0*i - 336, -2*z + 4*i + t = 0. Is 7 a factor of z?
True
Suppose -4*t - 63 = -3*i, 0*i = -i - t + 28. Suppose i*w - 11954 - 20046 = 0. Is w a multiple of 12?
False
Let x be (-210)/(-48) - 4 - 3/8. Suppose -4*w - t + 4200 = x, -3*w - 2*w + 5250 = 3*t. Does 9 divide w?
False
Let j(q) = 2*q**2 + 54*q + 29. Let y be j(-24). Let d = -207 - -492. Let k = y + d. Is 17 a factor of k?
True
Let q be (42/21)/(2/3). Suppose -2*u + 7*k - 8*k + 6 = 0, 5*u + k = 12. Suppose -5*y + 313 = -u*g, 4*g - q*g = -2*y + 127. Is 5 a factor of y?
False
Let b be (((-16)/3)/4)/(30/(-37035)). Let c = b + -1126. Does 10 divide c?
True
Let f(r) = 11*r**3 - 3*r**2 + 7*r - 6. Is f(9) a multiple of 18?
False
Suppose 5*u = f, f + u - 3*u = 3. Suppose 121 = -f*y + 2221. Is y a multiple of 12?
True
Suppose 2*j + 2*a - 1182 = 0, -4*j + 6*a = 2*a - 2388. Is j even?
True
Let f = 38 - 29. Let m be f/(-7