 4*m - 6*m, -5*y + g*m = -295. Is 11 a factor of y?
True
Let o be -7*(-20)/28 + (2349 - 0). Suppose -5*x + 976 + o = 0. Is x a multiple of 37?
True
Is (-69)/(-2)*(8400/(-45))/(-20) a multiple of 3?
False
Let s(c) = -3*c + 11. Let p(k) = -3*k**3 + k**2 - 1. Let b be p(1). Let h be s(b). Let z(g) = g + 8. Is z(h) a multiple of 28?
True
Let z be (-5)/(255/6) - 14/(-119). Suppose n - m - 28 = 52, -3*n - 5*m + 208 = z. Is n a multiple of 4?
True
Let j = 1979 + -1699. Is j a multiple of 16?
False
Suppose 19*n - 55903 - 119236 + 38643 = 0. Does 9 divide n?
False
Let m = 259 + 239. Let q = -329 + m. Is 13 a factor of q?
True
Suppose -5*i + 832 + 2003 = 0. Let m = i - 147. Is 28 a factor of m?
True
Let j(s) = s**2 + 4*s + 5. Suppose m - 11 = 10. Suppose -c - m = -3*u, 2*c + 7*u - 2*u = -20. Does 34 divide j(c)?
True
Let j(u) = -710*u - 823. Does 37 divide j(-9)?
False
Let p be 2516/(-48)*-3 - (-3)/4. Is 51 a factor of (76/(-10))/(32/(-40))*p?
False
Let g be -9 + 13 - 93*-1. Suppose -3*n = -38 - g. Does 26 divide (-64 - 1)*3*(-30)/n?
True
Let h = 34128 + 42916. Is 17 a factor of h?
True
Let t be 1/(-7) - (-30)/14. Suppose 3*q + 65*b = 61*b + 253, -2*q + 172 = 2*b. Suppose -3*x - 3*c + 285 = 0, -x + 2*c - q = -t*x. Is 13 a factor of x?
False
Suppose 150230 = 5*l + 5*r, -3*r - 663 = -687. Does 181 divide l?
False
Let u = 155 + -95. Suppose 3*i - 4*i = 3*l + u, 0 = 4*i - 5*l + 291. Is 23 a factor of i/(7/((-35)/3))?
True
Let g = -18 + 8. Let a be g/(0 - (-5)/(-30)). Suppose -4*w = -6*w + a. Does 3 divide w?
True
Let v(u) = -37*u**3 - 24*u**2 - 75*u - 428. Does 26 divide v(-6)?
True
Suppose -19*g = -72544 - 3057. Does 23 divide g?
True
Let p(d) = 2*d**2 - 26*d - 29. Let v be p(14). Let y(r) = -97*r**3 - r**2 - r + 1. Does 7 divide y(v)?
True
Let q(o) = o**2 - 2*o - 2. Suppose -2*h - 18 = 7*h. Let y be q(h). Let j(d) = 2*d**2 - 3*d + 2. Does 12 divide j(y)?
False
Suppose -2*f - 1 = -4*i + 3, 5*i = -4*f - 8. Suppose i = -n - 4*n - 75. Let s = 17 - n. Is 4 a factor of s?
True
Suppose 1468 = 10*n - 2014 - 1718. Is 20 a factor of n?
True
Let s be (-3 + (-28)/(-12))*-3. Suppose -3*i = 2*q + 2*i - 10, 0 = 5*q + i - s. Suppose -t = -q*t - 3. Is 2 a factor of t?
False
Suppose -72*p + 284633 + 64243 = -55116. Does 90 divide p?
False
Let j(y) be the first derivative of -4 - y**3 + 12*y - 1/2*y**4 + 1/2*y**2. Is j(-4) a multiple of 29?
False
Suppose -245*i + 248*i - 6 = 0. Suppose 296 = f + 4*o, -2 = 4*o + i. Does 50 divide f?
True
Let l = 556 + -553. Suppose -1031 = -2*n - l*k, -3*k - k - 532 = -n. Does 25 divide n?
False
Suppose -70812 = 34082*i - 34057*i - 513812. Is i a multiple of 8?
True
Suppose 137904 = 2*y - 4*f, 203435 = 3*y - 5*f - 3420. Is 23 a factor of y/150 + (-8)/(-6) + -1?
True
Let r be (-4)/(4/(-60)*-12). Does 17 divide (5*r/(-25))/(3/2889)?
False
Let z = 291 - 171. Suppose 4*g - z = 5*f + 291, g - 100 = 4*f. Is g a multiple of 22?
False
Suppose -t - y + 8 = -3*y, -5*t - 3*y - 25 = 0. Let g = t + 100. Let f = g - 69. Is 7 a factor of f?
False
Let m = -56 - -55. Let x be (-1)/m - (-233 - 1). Suppose -35 - x = -5*n. Is n a multiple of 4?
False
Let t = 34 - 37. Let j be (2 + t)*27*685/3. Is j/(-20) + -3 - 3/(-4) a multiple of 13?
False
Let p(d) = 52*d**2 + 5*d - 3. Let s be p(-3). Suppose -44*c - s = -49*c. Is c a multiple of 3?
True
Let v be 250 + 1 + 13/(52/(-24)). Let z = 265 - v. Does 20 divide z?
True
Does 3 divide (-24111)/(-81)*6*1/2 - -5?
False
Let y = 2496 - 2114. Is 3 a factor of y?
False
Suppose -3 = 3*i, 2*s - 3*s + i + 13 = 0. Suppose 11*t = s*t - 180. Is 36 a factor of t?
True
Let g = 11 - 0. Let v(n) = -n**3 + 12*n**2 + 13*n - 1. Let m be v(g). Suppose 3*b - h - m = -0*b, -2*b - h + 177 = 0. Is b a multiple of 8?
True
Let u = 219 + 87. Let l = u + -222. Does 11 divide l?
False
Suppose -65 = -3*a - 10*a. Suppose -1 + a = o. Suppose 0 = c - 4*j + 8, -2*c - 11 = -o*c - j. Is c even?
True
Let j = 6 + -4. Let h(b) = -2 + 5*b**2 - 5*b - 2*b**2 - 5 - b**j. Is 18 a factor of h(10)?
False
Let j = 1227 - 1036. Let q(k) = 3*k**2 - k - 2. Let f be q(2). Suppose f*n + j = 863. Is n a multiple of 7?
True
Suppose 78*f + 8 = 80*f. Is ((-42)/f)/((-6)/136) a multiple of 17?
True
Does 5 divide -1 + ((-34865)/(-45) - (5 + 376/(-72)))?
False
Let b = 265 + -49. Let z = b - 187. Is 3 a factor of z?
False
Suppose -2*q + a = 36, q - 6*q + 4*a - 84 = 0. Let z be (-24)/(-30) + (-84)/q. Suppose -z*p = -15, -t + p + 15 = -0*p. Is t a multiple of 9?
True
Let k(w) = 6 + 109*w - 220*w + w**2 + 108*w. Let t be k(3). Let m(i) = 2*i**2 - 6*i + 21. Is 15 a factor of m(t)?
False
Let j = -37944 + 68268. Is 19 a factor of j?
True
Suppose -114 = -l - 0*l. Let c = 117 - l. Suppose -c*t + 4*u + 226 = 0, 0 = u + 3*u - 20. Does 19 divide t?
False
Suppose 22*s + z + 2900 = 26*s, -2168 = -3*s - z. Is s a multiple of 12?
False
Suppose -d - 56 = -5*d. Suppose 2*w = -4, -3*k + w + d = -4*k. Let g = k + 24. Is 12 a factor of g?
True
Let u = 23417 - 13179. Is u a multiple of 13?
False
Let i(s) = 242*s**2 - 99*s - 418. Is 14 a factor of i(-4)?
True
Suppose 25*m = 4*t + 27*m + 26, -4*m = -3*t - 25. Is (-119)/(60/(-8) - t) a multiple of 8?
False
Suppose -2*x + 2*b = -3*x + 7907, 3*x + 3*b = 23730. Is 5 a factor of x?
False
Let w(m) = 26*m + 5. Let l be w(0). Suppose 97 + 26 = 3*j + a, l*a - 95 = -2*j. Does 8 divide j?
True
Let d = -243 - -218. Does 35 divide (12 - -100)*d/(-4)?
True
Let d(j) = 2*j**3 - j**2 + 2*j - 3. Let f be d(2). Suppose -22*p + f*p = -4698. Is p a multiple of 14?
False
Let u be 2*19*5*365/50. Let m = u - 950. Is m a multiple of 23?
True
Let a(l) = 8*l - 48. Let x be a(6). Suppose 0 = -5*f - p + 5325, -32*f + 33*f + p - 1065 = x. Is f a multiple of 42?
False
Let n(g) = 10*g**2 + 2*g - 74. Is 13 a factor of n(15)?
False
Suppose 0 = -0*j + 10*j + 25*j - 161665. Is j a multiple of 31?
True
Suppose m - 21 = 5*g, 2*m = -2*m - 16. Let t be 1*2 + (13 - g). Suppose 5*y - t = 30. Does 7 divide y?
False
Suppose 58*i - 15*i - 674353 = 395530. Is 11 a factor of i?
False
Let h(c) = c**3 - c**2 - 182*c + 6352. Does 55 divide h(35)?
False
Suppose 0 = -3*t - 4*g - 1681, 0 = g + 3*g + 16. Let b = -175 - t. Is 38 a factor of b?
True
Let u(v) = v**2 - 7*v - 5. Let b be u(4). Let c = b - -21. Suppose 81 = 4*o - 3*t, -18 = -c*o - 3*t + 93. Is o a multiple of 6?
True
Let f be ((-10)/4)/((-5)/10). Suppose 270 + 55 = f*m. Is 28 a factor of 4540/m - 4/(-26)?
False
Let o(d) = d + 16. Let x = 56 - 64. Let k be o(x). Is (-46)/(-5) - k/40 a multiple of 8?
False
Let z = -4317 + 6717. Does 20 divide z?
True
Suppose -5*s - 6 = -31. Let i(q) = -q**2 + 6*q - 3. Let m be i(s). Is 37 a factor of 11824/64 - m/(-8)?
True
Suppose -5*a + 44 = 6*a. Suppose 4*f - 6 = 3*w, 5*f - 4*w = 3 + a. Suppose f*m - 44 + 8 = 0. Is m a multiple of 12?
True
Suppose 5*n - 3*j = 7327, 3*n + 4*j = 1027 + 3346. Does 12 divide n?
False
Suppose 0 = -j - 0*j + 7. Suppose -j*t = -2*t - 10. Suppose -n + 114 = t*n. Is 9 a factor of n?
False
Let q(l) = 113 - 55 + 0*l - 5*l - 52. Let n(k) = -24*k**2 + 1. Let i be n(1). Is 37 a factor of q(i)?
False
Let i = 57 - 54. Suppose 0*m + i*n + 2229 = -5*m, 0 = 4*n - 8. Does 27 divide 3*(-5)/45*m?
False
Let n = 57 - 89. Let r = n - -36. Suppose 3*x + 126 = 5*q - r*q, -3*x = 2*q - 234. Is q a multiple of 26?
False
Let b(w) = -w**3 - 18*w**2 + w + 26. Let v be b(-18). Let q be 12/v*4/6 + 43. Let i = 52 + q. Is i a multiple of 32?
True
Let t(r) = -r**3 - 6*r**2 + 10*r + 12. Let y be t(-7). Is 27 a factor of (-14)/(y/((-1998)/(-12)))?
False
Let l = 68 - 68. Suppose -9*p + 142 + 29 = l. Does 5 divide p?
False
Let r(j) = 2*j**2 + 6*j - 8. Let g be r(-5). Suppose -g = -7*s + 4*s. Suppose s*d + 5 - 117 = 0. Does 12 divide d?
False
Let h be 49312/(-276)*(1575/4)/(-3). Suppose 10*g - h = -15*g. Is 53 a factor of g?
False
Let i = 53251 - 13478. Does 31 divide i?
True
Suppose -3*t - 6*v = -5*v - 25, 0 = -4*v - 20. Suppose -t*u - 3*u + 3510 = 0. Is 19 a factor of u?
False
Suppose -3*w - 84 - 21 = 3*u, -4*w + u = 115. Suppose -3*q - 87 = -2*q - 5*f, 0 = -3*q + f - 247. Let n = w - q. Does 12 divide n?
False
Let a(j) = 1665*j + 5538. Does 14 divide a(8)?
True
Suppose -3*w - 95 = f, 0*w - 5*w - 159 = 2*f. Let b = -23 - w. Suppose 146 = 3*o - 2*z, 3*o - 3*z - 155 = -b. Does 20 divide o?
False
Suppose -53*a + 124