-4*m + 3047 + g. Is 21 a factor of m?
False
Suppose -l + 5*x + 1 = 0, 4*l - 4*x + 0 + 12 = 0. Suppose -u = 2*s, -22*s - 6 = 2*u - 24*s. Is 4 a factor of (0 + 34 + u)/(l/(-2))?
True
Suppose 2*n - 2*b - 29642 = 0, 0 = -5*n + 27*b - 23*b + 74110. Does 66 divide n?
False
Suppose 14*h - 8*h - 7236 = -61*h. Does 108 divide h?
True
Suppose 122*j + 28*j + 96*j - 13928274 = 0. Is j a multiple of 243?
True
Let p(w) = 707*w + 964. Is p(12) a multiple of 35?
False
Let v(j) = -10*j**2 + 524*j + 274. Does 14 divide v(50)?
False
Suppose -s + 1190 = -5*n, -4*s = -43*n + 47*n - 4856. Is 55 a factor of s?
True
Suppose -3*u - 2*u - 5 = 5*m, 8 = -2*u. Suppose -2*n - 6*p = -n - 360, m*n = -p + 1046. Does 8 divide n?
False
Let b(y) = -6*y + 96. Let z be b(15). Suppose -499 = -2*c - t, c - 4*t = z*c - 1240. Does 42 divide c?
True
Suppose 0 = 3*c + o - 96937, 0 = 2*c - 5*o - 54236 - 10434. Is 281 a factor of c?
True
Is 87 a factor of (-214032)/(-35) - (369/45 + -8)?
False
Let p(m) = -584*m**3 + 5*m**2 + 32*m + 34. Is 19 a factor of p(-3)?
True
Suppose 17*r - 254560 = 128603. Is r a multiple of 13?
False
Let t(y) = -y**3 - 11*y**2 - 13*y - 16. Let x(s) = 2*s**3 + 6*s**2 - 4*s + 6. Let h be x(-4). Is t(h) a multiple of 2?
True
Let g be 14/(-63) - 357/(-27). Let k(x) = x**3 - 14*x**2 + 17*x - 3. Is k(g) a multiple of 2?
False
Let z = 572 + -564. Suppose -13605 + 1757 = -z*k. Is k a multiple of 16?
False
Does 69 divide 50719 - (-8)/72*-99?
False
Let p be (-5 - 76/(-16)) + 15/(-4). Does 16 divide p/30 + (-66286)/(-345)?
True
Suppose 3*z = 3*t - 21, -9*t + 19 = -4*z - 8*t. Let i(q) be the third derivative of -5*q**4/4 + 3*q**3/2 + 6*q**2. Is 43 a factor of i(z)?
True
Let p(i) = -5*i**3 - 27*i**2 - 25*i + 100. Is p(-24) a multiple of 20?
False
Let y(t) = 4*t**3 - 43*t**2 + 13*t + 203. Let o(p) = -3*p**3 + 28*p**2 - 9*p - 135. Let r(v) = -7*o(v) - 5*y(v). Is 84 a factor of r(-14)?
False
Let z(k) = -11*k + 170. Let o be z(15). Suppose 16*d + 4*q - 140 = 14*d, 0 = o*d + 5*q - 355. Is 12 a factor of d?
True
Suppose 0 = u + 14*u + 5130. Let f = 684 + u. Is 10 a factor of f?
False
Let m be -3 + 5/3 - 4880/(-24). Let u(w) = -3*w**2 - 8*w + 4. Let p be u(5). Let n = m - p. Does 55 divide n?
False
Suppose -46 = -10*k - 6. Suppose -k*q - 2*x + 726 = 0, -2*q + 3*x = -87 - 256. Does 7 divide q?
False
Suppose 0 = 3*o + m + 29664 - 123039, 155626 = 5*o + 2*m. Does 31 divide o?
True
Suppose 217*l + 273052 - 7205985 = 0. Is 43 a factor of l?
True
Let k be (-6)/4 + -4 + (-542)/(-4). Suppose 22*f = 9*f + k. Is f a multiple of 2?
True
Let f(u) = -8*u - 57. Let a be f(-25). Let y = a + -94. Does 2 divide y?
False
Suppose -78582 = -4*g - 2*k, 0 = 2*g + 3*k + 10078 - 49359. Is 41 a factor of g/80 + (-8)/(-20)?
True
Let k = 327 - -85. Suppose -k = -4*z + 4*q + 220, z + 4*q - 163 = 0. Is z a multiple of 10?
False
Let z = -175 - -172. Is ((-372)/(-72))/((-1 + z)/(-24)) a multiple of 3?
False
Suppose g - 11860 = -2*z, -97*z + 102*z = g + 29636. Does 12 divide z?
True
Let u(v) = 68*v + 1154. Does 10 divide u(51)?
False
Let g(d) = -27*d - 1. Let s be g(2). Let i = -101 - s. Does 23 divide 3/(178/i - -4)?
True
Suppose -3*n + 5*b = 4*b + 148, 2*b + 88 = -2*n. Let l = n - -56. Let x(w) = 15*w + 23. Does 11 divide x(l)?
True
Let b(v) be the first derivative of -v**3/3 + 17*v**2 - 29*v - 46. Is 12 a factor of b(13)?
False
Let p(v) = 1 - 2*v**2 - 8*v**2 - 7*v + 3*v**3 + 6*v**2. Let w be p(4). Suppose 0 = j + 5*y - 81, -2*j = -j - 5*y - w. Does 17 divide j?
False
Suppose -3*m - 15 = 0, -n + 37*m - 34*m = -17. Is n + 6 + 420/7 a multiple of 5?
False
Let t(o) = 2*o**2 - 22*o + 30. Let p(z) = z. Let d(q) = -4*p(q) + t(q). Let g be d(13). Is 6 a factor of ((-1340)/g)/(2/(-3))?
False
Suppose a - 8 = -2*d, -5*a = 4*d - 8 - 2. Is 1/(498/248 + a) a multiple of 88?
False
Let j(u) = -6*u**2 - 4*u - 4. Let q be j(-3). Suppose 4*y + 60 + 12 = 0. Let s = y - q. Is s a multiple of 4?
True
Suppose 10*w = 7*w + 12. Let i be w/3 - (-12)/18. Suppose -3*d + a + 273 = 0, 3*d + 0*a - 276 = i*a. Is 10 a factor of d?
True
Suppose 5*y + 4*x - 10144 = x, -2*x = 9*y - 18266. Does 62 divide y?
False
Let c = 42 + -40. Suppose 2*q - p = 232, 7*p = q + c*p - 107. Does 13 divide q?
True
Let n(w) = 12*w**3 + 3*w - 2. Let r(c) = -c + 5. Let p be r(4). Let x be n(p). Suppose -4*u + x = -35. Is 4 a factor of u?
True
Let o(i) = 27 - i - i - 8. Let r be o(-18). Let w = 12 + r. Is 14 a factor of w?
False
Is 16622 + (3 - 10/4)/((-3)/(-36)) a multiple of 43?
False
Let s = -139 - -181. Suppose -s*u + 46*u - 792 = 0. Does 4 divide u?
False
Let t be (7/28*-4)/(2/(-296)). Suppose t = c + l, -c + 3*l - l = -157. Does 7 divide c?
False
Suppose -321*a = 202*a - 4765576. Is 87 a factor of a?
False
Let b = -25 - -25. Suppose 15*p + 713 - 7238 = b. Is 29 a factor of p?
True
Let v be 7 + 0/(-1) - 2. Suppose 8*t + 504 = v*t. Let k = t - -285. Is k a multiple of 36?
False
Let x(o) = 5147*o**3 + o**2 + 7*o - 7. Is x(1) a multiple of 52?
True
Let h = -400 + 664. Suppose -4*a = h + 272. Is 19 a factor of (5/2 - (-1 + 4))*a?
False
Suppose -3*k - 10 = 2*k. Let w(l) = -143*l - 26. Let f(p) = 428*p + 74. Let o(g) = -4*f(g) - 11*w(g). Is o(k) a multiple of 18?
False
Suppose 8*z - 5265 = -5*z. Let w = z + -245. Is w a multiple of 10?
True
Let m(w) = 100*w**2 + 30*w + 31. Is 43 a factor of m(-1)?
False
Suppose 0 = -6*n + 2*n - 5*q + 282, 0 = 4*n - 4*q - 264. Does 10 divide 8823/n*8/6?
False
Let n(s) = -s**3 - 14*s**2 - 55*s + 20. Suppose -16*y = 39 + 105. Does 10 divide n(y)?
True
Let y = -6224 - -13556. Is 26 a factor of y?
True
Let q = 66 - 62. Let j be 14/q + 19/38. Is j/2 - 9/((-18)/442) a multiple of 31?
False
Let u(w) = -4*w**2 - 4*w + 1. Let p(b) = -2*b**2. Let o(f) = 4*p(f) - u(f). Let i(q) = -8*q**2 + 8*q - 2. Let s(d) = -3*i(d) + 5*o(d). Does 7 divide s(-3)?
True
Let o be (-1289)/((-3)/2*12/18). Let w(t) = -17*t**2 - o*t**3 + 25*t + 1290*t**3 + 0*t**2 - 48. Is w(16) a multiple of 8?
True
Suppose -1443*t - 384047 = -1484*t. Does 17 divide t?
True
Let r = -6831 + 7660. Is r a multiple of 33?
False
Does 18 divide 18/(-9)*(3 - 8719/2)?
False
Let o = -2358 - -3753. Does 31 divide o?
True
Let r(b) = b**3 + 4*b**2 - 179*b + 10. Let q be r(-10). Let v(m) = 3*m - 1. Let s be v(3). Suppose q = 12*y - s*y. Is y a multiple of 50?
True
Let f be 1402/(-7 - -9) + 6. Suppose 2*d = -i + f, 2*i - 31*d + 30*d - 1424 = 0. Does 59 divide i?
False
Let g(b) = 106*b + 3422. Is g(-17) a multiple of 27?
True
Suppose -2*q - 4*g = -0*q, -q = -g + 12. Let y be ((-4)/6)/((-1)/3). Is 114*36/32 + y/q a multiple of 11?
False
Let r(y) = y**3 - 16*y**2 + 32*y + 24. Suppose -21 = -5*a + u + 46, a - 2*u = 8. Is 4 a factor of r(a)?
True
Let o(g) = -g**3 - 8*g**2 - 4*g - 10. Let n(k) = k**2 + k. Let x(b) = 2*n(b) + o(b). Let c be x(-6). Does 26 divide (-2 + -2 + 121)*c/3?
True
Let m = 24 + -21. Suppose -3*p = -m*o - 2*o - 2021, 5*p - 3363 = 3*o. Is 62 a factor of p?
False
Let d = 15 + -5. Let b(n) = n**3 - 12*n**2 + 19*n + 23. Let l be b(d). Suppose -l*g = -8*g - 1380. Is 12 a factor of g?
True
Suppose -o + 125 = -z, -3*o + 3*z = -o - 246. Suppose -3*w + 8*w + 410 = 0. Let n = o + w. Is 7 a factor of n?
False
Let f(n) = 5*n - 67. Let c = 49 + -35. Let a be f(c). Suppose -2*x = a*q - 391, -112 = -4*q + 3*q + 3*x. Does 9 divide q?
False
Suppose 0 = -51*g - 80*g - 34*g + 4113615. Is g a multiple of 13?
False
Suppose 0 = b - 2554 - 3494. Is 33 a factor of b?
False
Let j(q) = 37*q**2 - q. Suppose 6*g - 15 = 9. Suppose 3*s - g*s = -1. Is 6 a factor of j(s)?
True
Let u(y) = 147*y + 194. Is 22 a factor of u(10)?
False
Let g(z) = 2*z**3 - 16*z**2 - z - 6. Let i be g(8). Let b be i/49 - 242/(-14). Suppose 8 = 2*t, -4*t + b = o - 8. Is o a multiple of 6?
False
Suppose 4*n - 12 = 7*n. Let l(w) = w**3 - 4*w**2 - 5*w - 7. Let p be l(5). Is 5 a factor of (8/n - -5)*p/(-3)?
False
Let y be 15/(-25) - (-377)/(-5). Let g = y - -85. Suppose -3*d + g*d - 444 = 0. Is 31 a factor of d?
False
Let u(j) be the first derivative of j**4/4 + 4*j**3/3 + 3*j**2/2 - 13*j - 38. Is u(3) a multiple of 2?
False
Suppose -272 - 1056 = -2*x. Suppose -11*w - 2*b + x = -9*w, 2*b = -w + 332. Does 28 divide w?
False
Let s = 27231 - -5997. Is 36 a factor of s?
True
Suppose 9*b - 39069 = 38853. Is 35 a factor of b?
False
Suppose x + 85 =