)*241 a multiple of 25?
False
Let l(r) = -177*r - 6940. Does 35 divide l(-110)?
True
Suppose -111*h + 105*h = 36. Is (-1 - (-3605)/6) + (-1)/h a multiple of 24?
True
Suppose 0 = 23*r - 2389 - 14125. Is r a multiple of 2?
True
Let p(k) = -k + 6. Let s be p(-6). Suppose 4*c + s = 0, 3*f + 6*c - 120 = c. Is (-9)/(f/280)*(-60)/14 a multiple of 12?
True
Suppose -6*g + 2*g - 16 = 0, -4*z + 4*g = -28. Suppose 6*p + 9 - z = 0. Is (-4)/(-16) + 203/4 + p a multiple of 27?
False
Let p be 6 + 0 + (-2 - 1). Suppose -3*y - 18 = -g - 1, -p*g - 5*y - 19 = 0. Suppose -5*k + 5*c = -190, -4*k - 3*c - g*c + 116 = 0. Does 34 divide k?
True
Let v = 103438 + -67663. Is v a multiple of 19?
False
Let o = -202 + 323. Let c = -30 + o. Suppose c = -7*x + 476. Is x a multiple of 11?
True
Let q = 42 - 39. Suppose l = -5*s + 116, 4*s - 84 = -0*l - q*l. Suppose -3*h - 2*p = -h - 20, 2*h + p - s = 0. Does 7 divide h?
True
Let u(n) be the first derivative of n**2 - 6*n - 16. Let b be u(-8). Is 1 - -3 - b - (1 + 1) a multiple of 2?
True
Let f(m) be the second derivative of m**5/60 + 21*m**4/8 + m**3/6 + 3*m. Let n(x) be the second derivative of f(x). Is n(0) a multiple of 9?
True
Suppose b = 4*b - 54. Suppose -3*w - b - 27 = 0. Let s = w - -80. Does 23 divide s?
False
Suppose 0 = -14*k + 28038 + 39736. Suppose 4*s = 5*q + k, -5*s + 5*q + 6302 = 257. Does 16 divide s?
False
Let d(w) = -w**2 + 7*w - 19. Let i be d(5). Suppose 4*n - 92 = -0*n. Let r = n + i. Is 14 a factor of r?
True
Does 118 divide (19 - (-1778)/(-35))*-590?
True
Does 9 divide 477477/22 + 3*46/12 + -7?
True
Let l(b) = 5*b**3 + 44*b**2 + 106*b - 14. Let a(o) = o**3 - o**2 + 21*o - 5 + 10*o**2 - 4 + 6. Let n(f) = -11*a(f) + 2*l(f). Is n(-10) a multiple of 7?
False
Let p(j) = -j**3 + 6*j**2 + 29*j - 13. Let g be p(9). Suppose -3*f = b - 132, g*b + 8*f - 684 = 5*f. Does 25 divide b?
False
Let a be 4*1 - (25 - 26). Suppose 3*r + a*x - 211 = 0, 2*r + x = -2*r + 287. Is 6 a factor of r?
True
Let s(c) = -c**3 - 2*c + 55. Let k be s(0). Suppose -l - k = -110. Does 9 divide l?
False
Let x be (64/(-10))/(3/(-15)*1). Suppose 0 = 53*f - x*f - 2121. Is f a multiple of 6?
False
Let p(m) = 30*m + 36. Let c be p(-5). Let t = c + 327. Does 62 divide t?
False
Let w be (0 + (-1 - -3))/2. Let s be (-323)/(5*w/5). Let r = s - -560. Is 12 a factor of r?
False
Does 63 divide 9 - 4*6/((-96)/22312)?
False
Suppose 5*a - 40 = 5*i, 5 = -16*a + 20*a + 5*i. Suppose 4*p - a*x = 392, 0 = 2*p + 5*x - 40 - 156. Is p a multiple of 6?
False
Suppose 2321*k = 2319*k + 2*y + 136592, 4*y = -2*k + 136628. Does 76 divide k?
False
Let n = 18008 - 17209. Is n a multiple of 17?
True
Is 2/(-5) - (-1575504)/210 a multiple of 36?
False
Suppose 5*t = -19 + 49. Suppose 3*c = t*c - 6. Suppose m - c = 3. Is m a multiple of 5?
True
Does 8 divide 15/(-15)*-5 + 9083?
True
Suppose 18*h - 19*h + 7 = 0. Suppose -9*q = -h*q - 518. Is q a multiple of 37?
True
Suppose 60 = 7*n - 9*n - 2*g, 0 = 2*g + 8. Is (-11956)/n - (-24)/156 a multiple of 20?
True
Is ((-2)/(-4))/(0 - (-6)/60) - -47175 a multiple of 24?
False
Let g(l) = l**2 + 67*l + 714. Let h be g(-13). Let v(m) be the second derivative of m**4/12 - 4*m**3/3 + 23*m**2/2 - m. Is 5 a factor of v(h)?
False
Is 8 a factor of (1 - (12 - 4)) + (-312)/(-26) + 17171?
True
Let n = 473 - 453. Is 15 a factor of (5535/n - -1) + 20/16?
False
Is 21 a factor of -24*(225/(-15) - 53)?
False
Suppose 55*z - 249547 = -34*z - 20906. Is 3 a factor of z?
False
Let c be 4*538 + 0/(22 - 11). Let o = c - 1400. Is o a multiple of 57?
False
Let i(w) = -2*w**3 + 18*w**2 + 5*w - 21. Let l(x) = x**3 - 6*x**2 + 5*x + 7. Let a be l(5). Let g be 9 + 0/(a - 2). Is i(g) a multiple of 19?
False
Let y(o) = o**2 + 6*o + 5. Let l be (-1)/(-7) - 3/21. Let w be y(l). Suppose w*u - 76 = i, -4*i + i - 52 = -4*u. Is 16 a factor of u?
True
Suppose 23 + 137 = -16*f. Let y(o) = o**3 + 11*o**2 - 11*o + 42. Is y(f) a multiple of 10?
False
Let g(v) = -6*v + 19. Let u be (-10)/3*13/((-455)/(-42)). Is 2 a factor of g(u)?
False
Suppose 0*l - 4*l + 3*u - 4 = 0, -2*u = 4*l + 4. Let s be (l/2)/(18/(-144)). Suppose 5*h = 2*q - 47, -3*h + 102 + 5 = s*q. Is q a multiple of 26?
True
Let t = 342 + -219. Suppose -306 = 4*v - o, 348*o + 243 = -3*v + 351*o. Let m = v + t. Does 8 divide m?
True
Let s(g) = g**3 + 6*g**2 - 14*g - 78. Let q be s(-6). Let r(t) = 113*t + 421. Does 36 divide r(q)?
False
Let r(s) = 15*s**2 - 135*s - 2660. Does 67 divide r(-21)?
False
Suppose 9*j + 35*j = 23*j + 96390. Does 15 divide j?
True
Does 14 divide (220240/880)/(1/11)?
False
Let o(h) = -h**2 - 58*h - 82. Is 19 a factor of o(-19)?
False
Let p(b) = 2*b**3 + 31*b**2 + 8*b - 3. Does 11 divide p(-14)?
True
Let b = -171 - -121. Let x = b - -294. Let l = 491 - x. Is 13 a factor of l?
True
Suppose -125 = -7*h - 615. Let x = h + 71. Is 60/x*(4 - 20/6) a multiple of 8?
True
Let s = -737 + 738. Let r(u) be the third derivative of u**5/6 + u**4/24 - u**3/6 + u**2. Is 5 a factor of r(s)?
True
Let w be -4*(-4)/(-1 - -33)*-42. Let x be 2/(-6)*w - 5. Suppose 0 = -5*l - 4*z + 320, l - x*l = 5*z - 85. Does 19 divide l?
False
Let o be ((-72)/(-16) - 5)*3*-20. Let x = o + -27. Suppose h = x*h - 4*g - 128, g = -4*h + 274. Is h a multiple of 12?
False
Suppose -4 + 24 = -3*f + 4*y, 15 = -3*f + 3*y. Suppose g - 3*r - 225 = f, -2*g + 360 + 90 = 3*r. Is g a multiple of 15?
True
Is 15 a factor of 23381 - (99/99)/(-3 + (-3 - -5))?
False
Suppose x = 4*x - q - 262, 156 = 2*x + 4*q. Let w = x - 64. Suppose 5*n = 8 + w. Is 3 a factor of n?
True
Let q(d) = d**3 - 46*d**2 + 608*d + 43. Does 36 divide q(30)?
False
Suppose 0 = 2*v - 6*v + 56. Suppose 0 = -5*x + 1 + v. Suppose -f + 4*i + 142 = 0, -284 = -2*f - x*i + 2*i. Does 21 divide f?
False
Suppose 0 = -3*y + 3*q - 114, -5*q = -4*y - 0*q - 150. Let o = y - -42. Suppose -4*b - 4*t + 681 + 175 = 0, o*b - 4*t = 446. Is b a multiple of 31?
True
Let p(n) be the third derivative of 1/120*n**6 + 11*n**2 + 0*n + 10/3*n**3 + 0 + 0*n**4 + 11/60*n**5. Is 20 a factor of p(-10)?
True
Let o(x) = -x - 2*x**2 - 38943 + 0*x**2 + 38975. Suppose 0 = -2*g + 4*g. Does 8 divide o(g)?
True
Let y = -267 + 319. Let z(r) = -18*r + 4. Let p be z(-5). Let l = p - y. Is 21 a factor of l?
True
Suppose 2*q - 2*l + 101 = -115, -4*q + l - 417 = 0. Let b = q + 546. Is 32 a factor of b?
False
Suppose 668*j - 17290 = 649*j. Is 65 a factor of j?
True
Let t(n) = -n**2 + 19*n + 8. Let y be t(19). Suppose y*j - 15*j + 2835 = 0. Is 27 a factor of j?
True
Let r be (-8)/72 - 591/27. Is (r/(-5))/(150/375) a multiple of 11?
True
Suppose -255*v = -258*v + 26283. Is v a multiple of 19?
False
Let g be 1/2 - 132/(-24). Let q(k) = 9 - 3 + g*k - 5. Does 2 divide q(1)?
False
Let y = 12498 + -7870. Is y a multiple of 8?
False
Let f be -2*3/(-6) - -1. Suppose -f*l - 4 = -12. Suppose 5*s - 300 = -3*p, l*p = -4*s + 3*s + 383. Is 24 a factor of p?
False
Let c = 247 + -244. Suppose -225 = -c*d + g, -d + 4*g = -0*g - 86. Is 3 a factor of d?
False
Let v(o) be the second derivative of -7*o**3 - 3*o**2 - 3*o + 3. Does 17 divide v(-1)?
False
Suppose r - 12*r - 1455300 = -242*r. Is r a multiple of 19?
False
Let t be (-2)/14 + 2 + 43/7. Let q = -39 - -18. Is 17 a factor of t/56 - (1422/q)/2?
True
Let z(s) = -3*s + 24. Let c(b) = -16*b + 120. Let r(q) = -2*c(q) + 11*z(q). Suppose 3*o - 25 = f, 0*f - f + 5 = 0. Is r(o) a multiple of 7?
True
Let q(a) be the first derivative of 23*a**2 - 17*a + 53. Does 45 divide q(5)?
False
Let y(b) = 2*b**2 + 42*b + 1015. Is y(-38) a multiple of 36?
False
Let j be 0 - -1 - 3*(-6)/9. Let b be (-126)/(-7) + -1 + j. Is ((-42)/(-5))/(6/b) a multiple of 7?
True
Suppose -2*x - 23 = -27. Let q(p) = 6*p**2 - 10*p**2 + 40 + 22*p + 6*p**x + 0*p**2. Does 4 divide q(-13)?
True
Let v = 945 + -441. Suppose 43*u - 45*u + v = 0. Is u a multiple of 7?
True
Let j(i) be the first derivative of 63*i**2/2 + 102*i + 82. Does 22 divide j(8)?
False
Let f be 7 + (-8 - -2 - -4 - -5). Suppose 3*z = y + 5, -5*z - f = 2*y - 0*y. Suppose 3*v - 6*v + 2*j + 126 = z, -v = 5*j - 42. Is 4 a factor of v?
False
Let x = -3750 - -2204. Let v = x + 2246. Does 6 divide v?
False
Suppose -4*a + 5058 = -3*l, 4*l - 5*a = -0*l - 6745. Is 3*(-15)/2*l/117 a multiple of 14?
False
Suppose 3 = -b, 0 = -4*t + 2*b + 2 + 4. Suppose m + 5*k + 182 = t, 3*k = -3*m - m