-21*s**2 - 426*s - 83. Is k(-23) a multiple of 36?
True
Suppose 22*b + 11*b = 54*b - 152271. Is b a multiple of 75?
False
Let s(p) = 76*p - 88. Let h(y) = 6*y + 112. Let x be h(-18). Is s(x) a multiple of 23?
False
Suppose -h - 580*w = -576*w - 8657, -w - 8642 = -h. Is 7 a factor of h?
True
Let n = 36 - -66. Let w = n + -88. Is w a multiple of 2?
True
Let m = 191 - 11. Suppose -528 = 6*i + 18. Let b = m + i. Is 19 a factor of b?
False
Does 39 divide ((684/(-8))/(45/4485))/(1/(-10))?
True
Let l = 28 - 22. Let d(x) = -9*x + 12*x**2 - 2 + 7*x - l*x**2 + 12. Does 27 divide d(-5)?
False
Suppose -2*f + 4*k - 13 = -3*f, 0 = 4*f - 5*k - 10. Let y(w) = 5*w**2 + 17*w - 34. Does 22 divide y(f)?
True
Let p be (-89 - -77)*((-5854)/(-4) + 0). Is 38 a factor of (-246)/(-33) + -8 - p/11?
True
Let z = 493 - 104. Is z a multiple of 3?
False
Suppose -s - 51 = -3*s - 5*r, 0 = s - 4*r + 7. Let l(z) = -2*z**3 + 29*z**2 - 19*z + 18. Does 15 divide l(s)?
False
Let t(i) = -i**3 + 28*i**2 + 17*i - 39. Is 31 a factor of t(26)?
False
Let w(t) = -15*t + 42. Let x be w(3). Is 28 a factor of (8 - (x - -6))*1176/10?
True
Let l(b) be the second derivative of b**5/20 + 7*b**4/4 - 7*b**3 + 47*b**2/2 + 258*b. Is l(-21) a multiple of 48?
False
Let k(l) = 198*l + 6547. Is k(0) a multiple of 70?
False
Let s be (9 + -10)/((-2)/8). Suppose s*z = -16, 5 = y - 2*z + 3. Is 2/y - (-73)/3 a multiple of 13?
False
Let o = 19617 + -4129. Does 64 divide o?
True
Suppose 0 = -t - 5*o + 4, 0 = -2*t - 4*o + 8*o + 8. Suppose -5*x - 2*b = 46, x = 2*x + t*b + 2. Is (-32)/(-80) + (-86)/x a multiple of 9?
True
Let t be ((-6)/5)/(21/(-70)). Suppose o - 2*y = 84, -t*y = 4*o - 2*o - 208. Is o a multiple of 5?
False
Let r be (9 - 1)*(-3)/6. Let n be 6/r*4*214/(-6). Let x = 326 - n. Does 21 divide x?
False
Let h = 39 - 60. Let n be 3/h*-2 - 6/21. Suppose n*t + 3*t = 264. Is 22 a factor of t?
True
Let h be ((-25)/15)/(14/(-42)). Suppose -h*k + 2122 = -2*d, -d = -5*k + 1953 + 168. Is k a multiple of 33?
False
Let c be 8 - 9 - (1 - 0 - -254). Let s = -103 - c. Does 7 divide s?
False
Suppose 34 - 28 = 3*s, 3*w + 4*s - 2735 = 0. Does 87 divide w?
False
Let w be (4 - (-8)/(-2)) + 317. Let a(o) = 18*o + 49. Let t be a(6). Let p = w - t. Is p a multiple of 16?
True
Suppose -31*g = -48051 - 125518. Is g a multiple of 14?
False
Let t(o) = 7*o**2 + 16*o - 13. Let r be t(6). Let g be (-1*r/10)/(1/2). Let d = -13 - g. Is d a multiple of 6?
True
Let h = -1439 + 2031. Suppose -881 = -3*f - 5*y, 5*f + y = 3*f + h. Does 28 divide f?
False
Let d(z) = -6*z**2 - 4*z + 4. Let q be d(2). Let v be (-2*1)/(q/(-854)). Let h = -45 - v. Does 16 divide h?
True
Suppose 16*q - 2976 = 4*q. Suppose 0 = 11*u - 13*u + 24. Let s = u + q. Is s a multiple of 52?
True
Suppose 13*w - 9*w = 268. Let g(y) = 2*y**2 - 77 - 2*y - y**2 - y + w. Is 30 a factor of g(-5)?
True
Let o(u) = -30*u**3 + 14*u**2 + 56*u + 46. Does 7 divide o(-3)?
False
Suppose -5*t + 4*n = -28852 - 10363, -5*t + 39185 = 2*n. Does 117 divide t?
True
Let y(m) = -m + 4. Let f(l) = -11*l - 17. Let p(b) = -f(b) + 2*y(b). Let w = -6 - -11. Is p(w) a multiple of 35?
True
Let r = 309 - 599. Suppose -4*h - 45 + 33 = 0, 0 = -4*p - h - 483. Let t = p - r. Is 12 a factor of t?
False
Suppose 1905*k - 5642 = 1898*k. Does 4 divide k?
False
Let y(f) = -551*f - 26. Is y(-13) a multiple of 3?
True
Let j(a) = -a**2 + 21*a + 22. Suppose 0 = 6*m - m - 200. Let h = -20 + m. Does 14 divide j(h)?
True
Let w(j) = -j - 11. Let q be w(-18). Suppose -13*t = -4167 + q. Is t a multiple of 8?
True
Let j(k) = -k**3 - 34*k**2 + 39*k - 344. Is j(-49) a multiple of 16?
True
Suppose 2*v + 5*h - 28 = 0, -3*h + 116 = 4*v - 8*h. Suppose -5*x - 8 = -3*t + v, t = 4*x + 20. Suppose 2*f - 31 = 3*w, -t*f + 3*w + 74 - 21 = 0. Is f even?
False
Let w(n) be the second derivative of 3*n + 5 + 23*n**2 - 3/2*n**3. Is w(-12) a multiple of 14?
True
Let w(h) be the first derivative of h**2/2 + 35*h - 7. Let l be w(-20). Suppose -f - l + 137 = 0. Is f a multiple of 40?
False
Let z(i) be the second derivative of 39*i**5/5 - i**4/12 + i**3/6 + 67*i. Let j = 21 + -20. Is z(j) a multiple of 34?
False
Suppose -4*i - 17 + 53 = 0. Let o(a) = 22*a - 7. Let p be o(i). Suppose 53 = 5*n - 2*l - 114, 5*n - p = -4*l. Does 3 divide n?
False
Let i(a) = -3*a**2 + 16*a - 5. Let c(s) = s**2 + s. Let u = 48 - 49. Let y(n) = u*i(n) - 4*c(n). Does 9 divide y(-17)?
False
Let j(n) = -116*n**3 + 2*n + 3*n - 4 - 12*n**2 + 5*n**2 + 8*n**2. Does 18 divide j(-2)?
True
Suppose 5*h - 2185 = y + 211, 2*h - 4*y - 962 = 0. Suppose -14*w + 13*w + k = -h, -4*w = 4*k - 1900. Is 49 a factor of w?
False
Let u be (-1 - 1 - 0)*(58 - -8). Let b be -4 + (35/14)/((-2)/u). Let q = b - 121. Is 10 a factor of q?
True
Let k(q) = 465*q + 79. Is k(0) a multiple of 37?
False
Let v be -5 - (-2)/(10/395). Suppose 8*j - v = 22. Is 2 a factor of j?
True
Suppose -4 = -4*t, 4*a + t = 8*a - 511. Let r(c) = -c**3 + 11*c**2 + 4*c - 7. Let h be r(11). Let d = a - h. Does 13 divide d?
True
Let y(t) = 18*t**2 - 35*t - 99. Is y(28) a multiple of 45?
False
Suppose -395406 - 28342 = -56*z + 513020. Is z a multiple of 41?
True
Suppose -40*n + 33*n = -2436. Suppose 0 = -351*f + n*f + 948. Is 31 a factor of f?
False
Let l = 3200 - 2282. Is 9 a factor of l?
True
Let a(c) = -c**2 + 2*c + 11. Let s be a(0). Suppose j - 5*j = 3*w - s, -w - 13 = -2*j. Suppose 0 = 5*u - u - m - 228, -j*u + 4*m = -285. Is 11 a factor of u?
False
Suppose 7819 = -2*l + 5*s + 25227, 3*s - 26112 = -3*l. Does 32 divide l?
True
Suppose -4*w + 3*w + 557 = -2*x, -3*w + 4*x = -1663. Let l = -289 + w. Does 10 divide l?
True
Suppose 26*m = 63*m - 59*m + 273548. Is m a multiple of 72?
False
Suppose -3*m + 412 - 427 = 0. Is 46 a factor of 1255*(-3)/m + 7?
False
Suppose 0 = 5*t - 21 - 9. Suppose -13*k + 18*k - 280 = 0. Let y = k + t. Does 31 divide y?
True
Let a(d) = 42*d**2 + 9*d - 10. Let g be -4 + 11 + -5 + 0 + 0. Is a(g) a multiple of 16?
True
Let v be (-4)/(-10) - (5 - (-84)/(-15)). Let l be v/(1 + 84/(-87)). Suppose -l*q = -33*q + 460. Is q a multiple of 20?
False
Let y(x) = 275*x - 91. Does 32 divide y(25)?
True
Suppose -17*w + 80 = -12*w. Let k = w + -25. Is 76 - (k/(-3) + -5) a multiple of 6?
True
Let j = -10930 + 12627. Is j a multiple of 21?
False
Suppose -2*r - 54 = 7*r. Does 21 divide 19386/63 - r/21?
False
Suppose -3*s + 4*p = -1160, -2*s - 78*p = -83*p - 785. Is s a multiple of 10?
True
Let h be 12/54 + 129/27. Let r = h + 281. Is r a multiple of 12?
False
Let q(j) = 2*j**2 + 4*j + 9. Suppose -24*u = -28*u + 28. Does 5 divide q(u)?
True
Suppose -46*a - 8*a + 27955 = -734363. Is 82 a factor of a?
False
Let r = 343 + -338. Suppose r*y - 5*c = 2950, 0 = 5*y - 4*c + 9*c - 3000. Does 31 divide y?
False
Suppose -4*r + 442 = -154. Suppose -2*f + 158 = 24. Let l = r - f. Is 12 a factor of l?
False
Let r(m) = -m**3 - 4*m**2 - 5*m - 6. Let j(x) = -x**3 + 6*x**2 - 6*x + 1. Let g be j(5). Is 7 a factor of r(g)?
True
Suppose 438 = 20*a - 2. Is 1192/a - 2/55*5 a multiple of 27?
True
Suppose -11*x - 20 - 2 = 0. Let f be (-90)/(-4) + (-1 - 5/x). Suppose -3*g = -2*y + f, 2*g = 2*y - 13 - 11. Is y a multiple of 5?
False
Suppose -4791*l + 4802*l = 50666. Is l a multiple of 49?
True
Let x(m) = 698*m - 760. Is x(13) a multiple of 48?
False
Let w = -16844 - -24197. Is (w/172)/(2/32) a multiple of 36?
True
Let g be ((11 - 7) + -16)/(-2). Is 4 a factor of (g/4)/(-10 - 24610/(-2460))?
False
Let u(l) = 135*l**3 - 13*l**2 + 30*l - 1. Is 7 a factor of u(3)?
False
Let g(c) = -1 + 8*c + c**2 + 3*c**2 - 2*c**2 - c. Let p be g(-3). Does 32 divide 103 + p + 6/(-2)?
True
Let l(t) = t**3 + 16*t**2 + 24*t - 8. Let y = -264 - -252. Is 28 a factor of l(y)?
True
Let f = -2848 - -4939. Suppose -f = -12*p + 177. Does 7 divide p?
True
Let o be (-8)/32 - 1/(-4). Suppose o = -3*m - 4*b + 469, -2*m = 3*b - 390 + 77. Let h = m - 41. Is h a multiple of 11?
False
Suppose -4*z = 2*u - 110, z + 92 = 5*z - 4*u. Suppose 4*j = 994 + z. Is 16 a factor of j?
False
Let c(n) = -3*n**3 - 4*n**2 - n + 2. Let s be c(-2). Suppose 0 = 2*t + 2*p - 0*p - s, -60 = -5*t + 5*p. Let f(j) = 7*j + 2. Is 37 a factor of f(t)?
False
Suppose 7*u = -88 + 53. Does 11 divide u - 1 - -32 - -7?
True
Let h = -3409 + 4939. Does 45 divide h?
True
Suppose 0 = -2*v + 6. Suppose 0 = -4*k + v*k + 4.