se
Let c = -23 - -27. Suppose -2*f + 5*m = 135, 3*m = c*f - 0*m + 277. Let a = 98 + f. Does 23 divide a?
False
Suppose -12590 - 26413 - 4073 = -11*a. Is a a multiple of 17?
False
Suppose -441*q + l - 36333 = -442*q, -5*l - 181755 = -5*q. Is 116 a factor of q?
False
Is -5380*(13 - 20)/14 a multiple of 14?
False
Let m(l) = -3*l**2 - 4*l**2 - 43*l + 8 - l**2 + 22*l**3 + 52*l - l**3. Is 60 a factor of m(4)?
True
Suppose 0 = -6*a + 16 + 8. Suppose -4*q = a*q + 152. Let p = 70 - q. Is p a multiple of 20?
False
Suppose -4*p = 5*z - 34, -65 = -5*z - p - 34. Let w(o) = -6*o + 10. Let l(b) = 36*b - 61. Let t(m) = 6*l(m) + 34*w(m). Is 23 a factor of t(z)?
True
Does 29 divide 24997 - (-4 + (5 - 2))?
True
Suppose -z + 215 = 2*v, -7*v + 9*v + 454 = 2*z. Suppose -2*d + 2*h + 183 = -39, 2*d - 3*h - z = 0. Is 5 a factor of d?
True
Let q(t) = 9*t**2 - 25*t - 90. Let m be q(-5). Suppose 2*p = -1 - 63. Let w = m + p. Is w a multiple of 38?
True
Let z = -285 - -387. Suppose -3*h = -2*h + 8. Let p = z + h. Does 11 divide p?
False
Let w(n) = n**3 + 23*n**2 + 43*n + 30. Let f be w(-21). Suppose -8*b - 216 = -f*b. Let a = b + -55. Does 23 divide a?
True
Suppose -5*w - 3*k + 3289 = 0, -116*k = 5*w - 112*k - 3292. Is 31 a factor of w?
False
Suppose -26*g - 52090 + 378000 = 0. Does 23 divide g?
True
Let t = -17778 - -18113. Does 2 divide t?
False
Suppose -w - 24 + 72 = 0. Is 191/4*1 - w/(-192) a multiple of 8?
True
Let l(o) = -2*o**3 - 196*o**2 - 1152*o + 86. Is 284 a factor of l(-93)?
True
Suppose 185*r + 72*r + 12588 - 47283 = 0. Is r a multiple of 15?
True
Let n(x) = -2*x + 14. Let b be n(1). Suppose 193 = b*d - 491. Is 57 a factor of d?
True
Let r be 5132/28 + (-6)/21. Let g = 12 - r. Does 2 divide ((-4)/12)/(3/g)?
False
Let j be 5 - -15*(-1)/3. Suppose j = 2*n - 0*n - 554. Suppose 17 - n = -5*a. Is 16 a factor of a?
False
Let c(i) = 3*i**2 + 2*i - 2. Let q be c(-2). Let p = 204 - 108. Suppose p = q*o + 2*o. Does 3 divide o?
True
Let o(k) be the second derivative of -k**4/12 - k**3/3 - 3*k**2/2 + 15*k. Let p be o(0). Let d(z) = z**2 - 3*z + 2. Is 2 a factor of d(p)?
True
Let v(h) = h**3 - 3*h**2 - 8*h - 6. Let p be v(5). Suppose 2*x - 714 = -p*y, x = 1 + 4. Is 11 a factor of y?
True
Suppose -x + 60563 = 37*a - 35*a, 30284 = a + 3*x. Is 107 a factor of a?
True
Suppose -781*x + 24624 = -775*x. Is 18 a factor of x?
True
Is 46 a factor of (-66)/(264/(-24)) + (31020 - 1)?
False
Suppose -15044 = 5*o - 3*i - 56464, o - i = 8286. Does 8 divide o?
False
Let v be -2 - -1*2/1. Let w be (-47094)/(-799) + 3/51. Suppose v = -3*u + w + 85. Is u a multiple of 6?
True
Let r(t) = 3*t**3 + 3*t**2 - 29*t + 7. Is 20 a factor of r(7)?
True
Suppose 13*m = 5*m + 56. Let o(b) = b**3 + 0*b**2 + 2 + 16*b - 24*b - 3*b**2 - b**2. Does 31 divide o(m)?
True
Suppose 0 = -y + 5*t - t - 26, 0 = -t + 3. Let a = y + 510. Does 62 divide a?
True
Let r = 1629 + 5547. Is 8 a factor of r?
True
Let z = -151 + 50. Let g = 137 + z. Does 12 divide g?
True
Is 123 a factor of (2 + 2)*(2 - (-1 + 5)) + 6404?
True
Let j(d) = -924*d - 851. Is 5 a factor of j(-2)?
False
Let z = -1568 - -1573. Let q(u) = 14*u**2 + 4*u - 1. Let b be q(-3). Suppose z*t + 0*t + b = x, 4*t - 428 = -4*x. Does 18 divide x?
True
Let r(v) = -10*v**3 - 15*v**2 - 30*v - 1. Is 9 a factor of r(-6)?
False
Let h = 94 + -95. Let t be h/((-2 - -4)/(-10)). Suppose -5*j - 3*a + 741 = 0, t*a - 4*a = -3. Does 30 divide j?
True
Let g be (-73754)/(-16) - (1 - 33/24). Suppose g - 740 = 10*p. Does 43 divide p?
True
Let b = -294 + 463. Let q = b + -296. Let i = q + 299. Is 43 a factor of i?
True
Suppose -5*u + 42 = 3*n, -10 = 4*n + 4*u - 66. Let k(l) = 2*l**2 - 14*l + 59. Is k(n) a multiple of 15?
True
Let z(w) be the first derivative of -w**3/6 + 61*w**2/2 - 16*w + 19. Let g(k) be the first derivative of z(k). Is 7 a factor of g(0)?
False
Suppose -2*i = -2, f - 6*f + 4*i = -286. Let l = 633 + 10. Suppose -9*o - f = -l. Does 10 divide o?
False
Let y(k) = 2*k**3 - 25*k**2 - 29*k + 180. Does 52 divide y(17)?
True
Let g = -931 - -936. Suppose 2*f + 1084 = 4*w - 3200, g*w + 2*f = 5346. Is 92 a factor of w?
False
Let b = -29823 - -50343. Suppose -9*g + b = 21*g. Is g a multiple of 36?
True
Suppose -10*x + 15*x - 4265 = 0. Let q = -623 + x. Does 4 divide q?
False
Let z be 2/(1 - 3)*-1. Let t be (-3)/((-30)/(-8)) - 21359/(-155). Let k = t - z. Does 15 divide k?
False
Suppose 43*q - 80*q = -38*q + 7135. Is 9 a factor of q?
False
Suppose 0 = -c - 4*a - 254, -4*c + a + 90 - 1072 = 0. Let m = -58 - c. Is 24 a factor of m?
False
Suppose -14*s + 17*s = 2*v + 7, -2*v + 5*s - 5 = 0. Is ((-225)/(-27) + v)*33 a multiple of 10?
True
Let n = -18 - -21. Let w be n/((-9)/20)*(-6)/1. Suppose -15*y + w = -10*y. Is 8 a factor of y?
True
Suppose 0 = 7*s + 50 + 104. Let d be (-4)/(-22) + 4/s. Suppose -4*n + 95 + 33 = d. Does 8 divide n?
True
Let n = 60709 + -36677. Is n a multiple of 32?
True
Suppose -z + 3746 = 856*g - 853*g, -4*g - 3*z + 4988 = 0. Does 4 divide g?
False
Does 102 divide (-61 + 10)*(-55)/15*-2*-66?
True
Is 115 a factor of 22576/2 - (2 + -2)?
False
Let z(v) = v**2 - 7*v + 18. Let p be z(4). Suppose p*d - 22 = 2. Suppose g - 303 - 344 = -5*y, d*y - 2*g = 526. Does 26 divide y?
True
Let s(j) = -31*j - 3. Let t be s(-5). Suppose -2*a + 18 = 14. Suppose -z - a*d + 50 = 0, 0*z + 5*d = -3*z + t. Is 9 a factor of z?
True
Let g(w) = -25*w**2 - 1. Let m be g(2). Let p = 98 + m. Is 14 a factor of 18/15*((-945)/p)/3?
True
Suppose -630 = -4*j + 1110. Suppose -573 - j = -3*i - 4*b, 3*b = 9. Is 36 a factor of i?
False
Let d = -610 + 3747. Does 18 divide d?
False
Suppose 0 = l + 198 - 1417. Suppose -l - 1161 = -7*o. Does 17 divide o?
True
Suppose -5*p + 237 - 327 = 0. Let j(s) = -s**3 - 18*s**2 - 14*s + 8. Is j(p) a multiple of 26?
True
Suppose -48477 - 251151 = -82*m. Is m a multiple of 42?
True
Suppose -3*d + 2*p = 6*p - 2, 0 = d + 2*p. Suppose -3*a = -d*m + 70, -4*m = -a - 2*a - 68. Does 8 divide (-8)/a - (-286)/6?
True
Let m = -53 - -57. Let u(a) = 5*a**2 + 9*a - 14. Let t be u(m). Let w = t - 53. Does 4 divide w?
False
Suppose 53*o = 51*o. Suppose b - p + 4 = 7, o = 2*b + 5*p - 13. Suppose b*s + 73 = 325. Does 7 divide s?
True
Does 6 divide 112/252 - (-16408)/18?
True
Let v(h) be the first derivative of 5*h**3/3 - 3*h**2/2 + 5*h - 1. Suppose -8*m + 40 = -5*r - 12*m, 4*m = -20. Is v(r) a multiple of 11?
False
Let a be 8/32 - (-28)/16. Let c be (-2)/8 + 1/4. Suppose 5*b = -a*j + 278, 3*b + 0*b - 5*j - 173 = c. Is 4 a factor of b?
True
Suppose -4*h + 46 = -3*y + 12, 5*h + 3*y = 29. Suppose 24 = -l + h*l. Suppose 0*t + 40 = 5*r - l*t, -2*r = 4*t - 44. Is 4 a factor of r?
True
Suppose 2*t - 7150 = j, 14 - 26 = 2*j. Does 47 divide t?
True
Suppose 0 = -5*w + 67 + 8. Suppose 2*h = -2*f + 13 + w, -3*f = 5*h - 34. Let s = f + 49. Is 12 a factor of s?
False
Let o be 20652/3*2/4. Suppose o = 7*f + 782. Does 26 divide f?
False
Let u(j) = -32*j**2 - 9 - 8*j - 2*j**3 + 5 - 6. Does 10 divide u(-16)?
False
Let u(a) be the third derivative of 0*a + 12*a**2 - 1/2*a**4 + 0 + 1/3*a**3. Does 13 divide u(-2)?
True
Suppose 5*z = -2*m + 11983, 7*z = 3*z - 3*m + 9585. Suppose -2*j + 3*j = 2*t + 957, -5*t = -4*j + z. Is (t/3)/(-1*(-1 - -2)) a multiple of 15?
False
Let p = 259 - 277. Does 9 divide 13/((-78)/p) - (1 + -124)?
True
Let f(j) = j**2 + j - 1. Let b(d) = 4*d**2 + 4*d - 47. Let v(m) = -b(m) + 3*f(m). Let w be (-1)/2*(35 + -35). Is 9 a factor of v(w)?
False
Does 147 divide (-40)/(-170) - (-264890)/17?
True
Suppose 122*x + 91952 = 130*x. Is 90 a factor of x/10 - (2 - 65/25)?
False
Let g be (-20)/5 + 49 + -1. Let k be ((-60)/8)/(-1)*g/(-6). Let z = 134 + k. Does 10 divide z?
False
Suppose 4*p - 5*s + 23 = -2, -s = -p - 5. Suppose 1534 = -p*d + 13*d. Is d a multiple of 7?
False
Is ((-352528)/18)/(-2) + 14/126*-4 a multiple of 36?
True
Let h(i) = i**3 + 8*i + 67 + 69 - 17*i**2 - 147. Does 25 divide h(17)?
True
Let u(t) = -t**3 + 10*t**2. Let b be u(10). Suppose -9*r + 0*r + 2574 = b. Does 8 divide r?
False
Let i(h) = -h**3 - 25*h**2 - 17*h + 178. Does 18 divide i(-28)?
True
Let u(t) = 54*t**2 - 33*t + 223. Is 97 a factor of u(8)?
False
Let h = -2240 + 3244. Suppose -4*b + 4*x + 3908 = h, -3 = -x. Is 20 a factor of b?
False
Let g(o) = 2*o**2 + 435*o - 55. Does 5 divide g(15)?
True
Let c = -2747 - -1