*2 + 91*f - 128. Let w(u) = -u**2 + 45*u - 64. Let y(v) = -3*s(v) + 5*w(v). Is 6 a factor of y(-25)?
False
Let g(o) = o**2 + o + 55. Let l(t) = -3*t**2 - 2*t - 111. Let a(x) = -5*g(x) - 2*l(x). Is a(-16) a multiple of 51?
False
Let f(u) = 14*u + 322. Let y be f(-23). Suppose -2*o = -7*o + 15, 4*q - 4*o - 5488 = y. Is q a multiple of 25?
True
Let o = 7470 + -6510. Is 8 a factor of o?
True
Let c(q) = -q**3 - q**2 + 5*q + 2. Let y be c(-3). Let b(w) = 8*w**2 - 7*w - 29. Does 10 divide b(y)?
False
Let x = 13128 - 2838. Does 21 divide x?
True
Let p be 1001/195 + (-2)/15*1. Suppose 15*w - p*w = 7750. Does 25 divide w?
True
Let h = -50 + 168. Suppose -4*m = m + 225. Let f = h + m. Is f a multiple of 8?
False
Let a = 850 - 613. Let l = -210 + a. Does 4 divide l?
False
Let q = -56 - -235. Let x(t) = 174*t + 15 + 3 - q*t. Is 17 a factor of x(-10)?
True
Let w = 61 + -69. Let d(f) = -15*f + 83. Let k be d(w). Does 22 divide k - (-2 + -2 - -9)?
True
Suppose -c - 26 = -5*c + 3*z, 2*c - 8 = -z. Let x be 2*c/((-10)/(-727)). Suppose x = 6*r + 37. Does 15 divide r?
False
Suppose 4 = -198*c + 202*c. Let f(m) = 307*m**2 + m - 2. Does 34 divide f(c)?
True
Is 3 a factor of (144/45)/(7508/1500 - 5)?
True
Suppose -y + 3*c = y - 4979, -5*y + 12444 = -4*c. Let j = y + -203. Does 61 divide j?
False
Let g(x) be the first derivative of -x**4/4 + 3*x**3 - x**2/2 + 14*x + 4. Let s be g(9). Suppose -s*r + 1836 = 7*r. Does 9 divide r?
True
Suppose -194*t + 439 = -195*t. Let l = 817 + t. Is l a multiple of 54?
True
Suppose 7178 = 9*x - 19534. Is x a multiple of 14?
True
Let j be 3 + 1*(5 + 5/(-1)). Suppose 2*p - 527 = -j*t + 709, p - 5*t - 644 = 0. Is p a multiple of 28?
False
Let y = 242 + -473. Let g = -117 - y. Is g a multiple of 17?
False
Let q(b) = -b**3 - 4*b**2 + 5*b + 7. Let k be q(-5). Suppose -k = -d - 17. Is 24 a factor of (-502)/d - 1/5?
False
Let m be ((-18)/(-6) + -3)*2/(-2). Suppose -3*g + 1301 = 5*o, -4*o + 0*g - 3*g + 1039 = m. Let a = o - 178. Does 18 divide a?
False
Suppose -41*k = -4*l - 37*k + 19392, -k + 14524 = 3*l. Does 32 divide l?
False
Suppose o - 6*o = -10. Let z(m) = 11 - 3*m**2 - 2*m + 9*m**2 + m**3 - m**o + 0*m**2. Does 7 divide z(-5)?
True
Let g = 993 + -646. Let l = 95 - 288. Let q = g + l. Is q a multiple of 14?
True
Suppose -19*l - 8*l + 381616 = -430949. Is 13 a factor of l?
True
Let u be 15/35 - 1886/7. Let b = u - -384. Is 5 a factor of b?
True
Suppose 4*w + 5*l = 14546, -12*w - 7276 = -14*w - l. Is w a multiple of 2?
False
Suppose -2*n = 3*o + 32, o + 4 = -0. Suppose 0 = -4*t + 12, -10*i + 3*t = -15*i + 129. Let u = n + i. Is u a multiple of 3?
False
Let g(b) = b**3 + 11*b**2 - 2*b. Let s be g(-11). Suppose -s*q - 85 = -17*q. Let y = q - -24. Does 6 divide y?
False
Suppose 7*r + 5*g - 12054 = 0, 4*r - 2387 = 3*g + 4460. Is r a multiple of 12?
False
Suppose -p + 20450 - 16801 = 0. Is 26 a factor of p?
False
Suppose 9*m = 226 - 55. Suppose -d + m = -78. Suppose v + 2*v + 3*q = 78, -3*q = -4*v + d. Does 2 divide v?
False
Let u(w) = 3*w**2 - 220*w + 1351. Is 149 a factor of u(94)?
False
Suppose -2*s + 886 = 106. Let m = s - 361. Does 6 divide m?
False
Suppose 0 = -3*c + 2*i - 198, 5*c - i + 264 = -73. Let b = 68 + c. Suppose -23*v + 28*v - 150 = b. Does 4 divide v?
False
Let q(z) be the second derivative of z**4/4 + 5*z**3/6 - 39*z**2/2 + 2*z - 1. Is q(-10) a multiple of 5?
False
Suppose -46*r + 37*r = 0. Suppose 3*s - 4 - 80 = r. Is 19 a factor of s?
False
Let h = -47 - -55. Suppose k - 13 = -h. Suppose -k*n + 3*d + 235 = 0, 83 = n + n + d. Is n a multiple of 22?
True
Let g be 21/6 - 9/(-6). Let x be g - (0 + (-10)/(-2)). Suppose -99 = -2*z - a, x*z + a = -z + 48. Is z a multiple of 8?
False
Suppose 0 = 5*t - 13 - 2, -369 = -3*b + t. Suppose -860 = -6*u - 5*y, -y + b = u - 5*y. Is 10 a factor of u?
True
Let z(q) = -q**3 - 8*q**2 - 5*q. Let o be z(-5). Is 6/15 + (-1830)/o a multiple of 2?
False
Let v(l) = l + 12. Let u be v(-10). Let k(o) = 4 - 25*o + 23*o + 5*o**2 + 7*o**2 + 0*o**2. Is 24 a factor of k(u)?
True
Suppose -31*s = 193 - 374 - 439. Is 5 a factor of s?
True
Suppose 0 = -2*t + 3*p + 15, -5*t + 4*p = -6 - 14. Suppose b + 189 = 3*i, -2*b + i - 4*i - 414 = t. Let v = b - -359. Does 24 divide v?
False
Suppose 173 = j - 2*n - 115, 5*n + 288 = j. Suppose -j = -8*w + 2*w. Suppose -17*q - w = -19*q. Is q a multiple of 8?
True
Let o(p) be the second derivative of p**4/12 - 5*p**3/6 + 3*p**2 + 5*p. Let c be o(4). Is -4 - c/4*-98 a multiple of 9?
True
Let h(z) = 12*z**2 + 9*z - 12. Let d be -14 + -6*(-24)/18. Is h(d) a multiple of 61?
True
Suppose 0 = -43*t + 47*t - q - 24234, 3*t - 2*q = 18168. Is 202 a factor of t?
True
Let q be (-27)/(-6) + 2/4. Suppose q*i - 20 = i. Suppose -4*b - 4*s = -216, -9*s = -4*b - i*s + 248. Does 29 divide b?
True
Suppose -4*v - 166 = -190, -5*v - 53305 = -5*h. Is h a multiple of 74?
False
Let p(g) be the third derivative of 79*g**6/120 + g**5/60 + g**4/8 - g**3/2 - 18*g**2. Is 13 a factor of p(1)?
False
Suppose -m + 3*m - 5*a - 28532 = 0, -4*a = 3*m - 42844. Is m a multiple of 43?
True
Does 55 divide 2/15 + (-2945)/(-9975) - 51293/(-7)?
False
Let t(m) = m**2 + 25*m - 37. Let p = 118 - 146. Does 6 divide t(p)?
False
Let l be (-85)/(-25) - 4/10. Suppose l*s - 1 - 4 = -2*c, 3*c - 2*s - 14 = 0. Suppose c*b - 385 = -3*b. Is 11 a factor of b?
True
Let m(o) = 348*o**2 + 36*o - 212. Is m(6) a multiple of 4?
True
Suppose -5*p - 3*y = 651, p + 2*y - 7 + 133 = 0. Let g = p + 255. Is 46 a factor of g?
False
Let h = 169 + -143. Suppose -h*o - 1576 = -34*o. Does 11 divide o?
False
Let r = -40061 + 59537. Is 23 a factor of r?
False
Suppose -z + 10676 = 2*l, -4*z = -40 + 24. Is l a multiple of 58?
True
Let c(a) be the third derivative of -7*a**6/120 - a**5/20 - a**4/8 - 2*a**3/3 - 17*a**2 - 3*a. Is 12 a factor of c(-4)?
True
Suppose -12755 = 25*s - 3945 - 121460. Is 3 a factor of s?
True
Is 9375 - ((-120)/12)/(-10) a multiple of 86?
True
Let l = 962 - 5. Suppose 97*h - l = 94*h. Does 11 divide h?
True
Suppose 5*p = 3*p + 14. Suppose -z - 12 = -p*z. Suppose -102 = -z*o + 130. Is o a multiple of 22?
False
Suppose 2*d - 5*f + 164 = 0, 0 = -2*d + f + f - 152. Is ((-63)/12)/7*d a multiple of 19?
False
Suppose 3*n - 4*t - 1584 = -2*t, 12 = 2*t. Is n a multiple of 28?
True
Suppose 5*i = -l + 23755, -3*i - 8*l = -13*l - 14225. Is 38 a factor of i?
True
Suppose 4*a = 63 - 195. Let t = 32 + a. Does 3 divide (-125)/(-10) - t/2?
False
Let a be 56*2/((-16)/(-18)). Let i = 133 - a. Suppose -i = -u + 7. Is u a multiple of 14?
True
Let i(x) = -4*x + 46. Let l be i(10). Suppose l*n = 16*n + 1490. Let o = 371 + n. Is o a multiple of 37?
True
Let d = -853 + 608. Let v = d + 348. Does 4 divide v?
False
Suppose 0 = 11*j - 7*j + 48. Is (1136/(-3))/(j/(-9) + -2) a multiple of 71?
True
Suppose 17*a - 475673 = -128414. Is 236 a factor of a?
False
Let z = 445 + -275. Is 85 a factor of z?
True
Let x = -125 + 241. Suppose -780 = 110*z - x*z. Is z a multiple of 13?
True
Let h be ((-36)/(-14))/((-102)/(-952)). Is 14 a factor of (-8)/h + (-319)/(-3)?
False
Let l be (-11)/44*(-8)/1. Suppose -c - 4*c = y - 411, 5*c = -l*y + 827. Is y a multiple of 26?
True
Let b = -4825 + 5383. Is 2 a factor of b?
True
Suppose -1239 = -37*n + 16*n. Suppose -56*f = -n*f + 231. Does 18 divide f?
False
Let m(z) = 141*z + 30. Let q be m(15). Suppose q = u + 4*u. Does 39 divide u?
True
Let q = 1998 - -27. Is q a multiple of 4?
False
Let u = 10412 - 3763. Is u a multiple of 25?
False
Let i = -292 + 716. Let q = i + -244. Does 18 divide q?
True
Let i be 84/(-98)*(-9)/((-9)/(-70)). Does 14 divide (-80)/3*i/(-50) - -1?
False
Suppose -97 = 2*j - 5*a - 31, -3*a + 34 = -j. Let y = j - -28. Suppose y = 4*d - 62 - 74. Is d a multiple of 17?
True
Suppose 12 - 62 = 5*x. Is 2 a factor of (-3 + (-6)/(-3))/(x/170)?
False
Let j = 337 + -104. Let f = j - 64. Does 5 divide f?
False
Suppose 4*h - 5480 + 368 = 0. Is h a multiple of 142?
True
Let t(n) = n**3 - 15*n**2 - 17*n + 5. Let y be t(14). Let o = -293 - y. Is o a multiple of 17?
True
Let x be 0 + -26 + 8 + -3. Let y be 9/(-21) - 1802*3/x. Suppose 4*j + y = 5*c, -j = -0*c - c + 51. Does 9 divide c?
False
Let v be -1 - (24/(-4) - 115). Suppose -2*s = 3*c - 416, c - 6*s = -2*s + v. Does 17 divide c?
True
Suppose -13 = -5*g + 2*g - p, -5*g + 2