Let j = 365 + -387. Let r(b) = -b**3 - 21*b**2 - 27*b + 2. Is r(j) a multiple of 24?
True
Let q = 93 - 59. Let d = 41 - q. Suppose d*b - 27 = 15. Is 3 a factor of b?
True
Let v(s) = 16*s + 780. Is 22 a factor of v(68)?
False
Let z(b) = -b**3 - 40*b**2 - 6*b - 9. Suppose -27*q - 839 - 241 = 0. Is z(q) a multiple of 18?
False
Let j(c) = -c**3 + 7*c**2 - 6*c. Let g be j(8). Let z = g - -149. Is 2 a factor of z?
False
Let d = -2178 - -2259. Is d a multiple of 34?
False
Suppose -4*f + 4*d = 36 + 40, f + 34 = -2*d. Is 12 a factor of (0 - f/(-20))/((-4)/360)?
True
Suppose 3*w - 2*t - 9069 = 0, -2*w + 393 + 5640 = 3*t. Is w a multiple of 5?
False
Suppose 66*o = 23653 + 9571 + 40. Does 9 divide o?
True
Let n(u) be the first derivative of u**2/2 - 9. Let g(z) = -178*z + 2. Let r(h) = -g(h) - 6*n(h). Is 33 a factor of r(1)?
False
Let s(c) = -2*c**3 - 59*c**2 - 76*c - 141. Does 12 divide s(-30)?
False
Suppose -2*q + 5*q = -5*v + 343, 3*q - 313 = v. Suppose -5*p - 3*j = -q - 584, 2*p - 4*j - 276 = 0. Does 6 divide p?
True
Suppose -81 = -2*g - 3*c, -3*c = 5*g - 8 - 190. Let d = 41 - g. Suppose -d = 3*k + 1, -x + 2*k = -35. Is x a multiple of 11?
True
Let z(s) = -3*s**2 + 5*s + 16. Let v be z(-2). Is 6/((-1)/(20/v)) + 2 a multiple of 3?
False
Let v(o) = -3*o**3 + 2*o**2 - 9*o. Let w be v(-4). Let m = 93 + w. Is m a multiple of 37?
False
Let a(g) = 4*g**2 + 15*g - 4. Let v(u) = u**2 + 4*u - 1. Let r(q) = 6*a(q) - 22*v(q). Let o be r(-2). Suppose -n + 44 = 2*b, -1 - 1 = o*b. Does 23 divide n?
True
Let z = -5519 + 7648. Is z a multiple of 3?
False
Let t be 955/(-15)*(7 + -4). Let o = -182 - t. Does 3 divide o?
True
Let t(g) = -5*g + 7. Let a be t(0). Suppose 0 = -4*z + 5*i + a, 0 = 3*z - i - 0*i + 3. Does 29 divide (0 + (1 - 0))/(z/(-174))?
True
Let c(v) = -7*v**2 + 3*v - 1. Let t be c(2). Let f be 1 + 9/(-7) - t/7. Suppose z + y - 114 = 0, -y + 334 = f*z - 18. Does 17 divide z?
True
Let m = -10863 - -29097. Does 9 divide m?
True
Suppose 7*k + 23 = 121. Let d be (-323)/(-119) - (1 - 18/k). Does 22 divide (276/(-10))/(d + (-66)/20)?
False
Suppose -5350 = 2*f - 8960. Is 5 a factor of f?
True
Suppose -43 = 4*b - 75. Suppose -7*k - 2*w - 126 = -b*k, -3 = -w. Is 5 a factor of k?
False
Let o(z) = 5*z**3 - 18*z**2 + 13*z - 45. Let r(p) = -2*p**3 - p**2 - 2*p. Let v(g) = -o(g) - 3*r(g). Is v(-19) a multiple of 45?
True
Suppose -4*t = -5*t. Suppose -2*y + 198 = -t*h + 2*h, -5*h + 186 = 2*y. Let w = y - 29. Is 37 a factor of w?
True
Let f(i) = 22705*i + 1341. Is 16 a factor of f(3)?
True
Let r(t) = -69*t + 593 + t**3 + t**3 - 612 + 58*t**2. Does 12 divide r(-30)?
False
Does 4 divide (3 + (-118)/(-4))*8?
True
Let k(m) = -19*m + 24. Let c be k(1). Suppose -h + 1975 - 13 = c*t, -2*t + 3*h = -778. Does 14 divide t?
True
Is ((-216250)/(-35))/((-28)/(-98)) a multiple of 173?
True
Suppose 0*w + 4026 = 11*w. Suppose -w*z + 362*z = -92. Is 6 a factor of z?
False
Does 72 divide (5 - 36/6)/1 + 1513?
True
Let k(z) be the second derivative of -z**5/20 + 7*z**4/12 + 17*z**3/6 + 6*z**2 + 10*z. Let o be k(9). Is 21 a factor of 115 + 3 + 5 + o?
True
Suppose 11*n + 4237 - 17437 = 0. Does 6 divide n?
True
Suppose 556 + 2614 = -5*j. Let g = j - -203. Let c = -211 - g. Does 44 divide c?
True
Suppose -5*c + 4*v + 3 = -5, -4*v + 32 = 5*c. Suppose 4*y = -4*l + 92, l = -c*l - y + 107. Is 24*l*4/18 a multiple of 16?
True
Let j(q) be the second derivative of -q**4/12 - 2*q**3/3 - 3*q**2/2 + 2*q. Let v be j(-2). Let h(s) = 62*s**3 - s**2 - s + 2. Is 4 a factor of h(v)?
False
Suppose -5*l = -5*c + 270, -18 = -5*l + 2. Suppose 0*a = -a + m + c, 4*a + 5*m - 250 = 0. Suppose 0 = 2*g + g - a. Is g a multiple of 10?
True
Let h = 459 + -371. Suppose 0 = 17*i - 150 - h. Is 6 a factor of i?
False
Suppose -2*z + 6*s - 6 = 8*s, 2*z - 3*s - 19 = 0. Suppose 0 = 4*n + 3*i - 2705, -5*n + 3*i = -z*i - 3355. Is 13 a factor of n?
False
Suppose -2 - 30 = -3*u + 5*z, -2*u = -z - 26. Let a(d) = 11*d - 58. Let v(c) = -32*c + 170. Let m(q) = -17*a(q) - 6*v(q). Does 9 divide m(u)?
True
Let h = 16 - 13. Suppose -17*a = -h*a - 3640. Is a a multiple of 5?
True
Is (-3 + (-42)/(-70))/(2/(-980)) a multiple of 21?
True
Let g = -271 - -272. Is 20 a factor of (g - 14/6) + (-421414)/(-651)?
False
Suppose -2810656 = -363*h - 406144. Is 96 a factor of h?
True
Let t(z) be the second derivative of z**3/6 + 3*z**2 - 5*z. Suppose -60 = -4*v - 4*j, -3*v + 21*j + 52 = 17*j. Does 22 divide t(v)?
True
Let g = -32820 + 58752. Is 133 a factor of g?
False
Let p be (-7 - -13) + -3 + 1. Let m be -580*-2*1/p. Suppose 4*v = m + 386. Does 21 divide v?
False
Suppose 6*r - 1504 = -2*o, -2262 = -3*o + 2*r - 5*r. Is 84 a factor of o?
False
Suppose -7*k = 8 + 55. Does 74 divide k/3 + 8 + -10 - -1229?
False
Let m be (-22)/(-3)*(-33)/(-2). Let c = m + 263. Suppose -8*a = -14*a + c. Is a a multiple of 12?
False
Let i(z) = -3*z + 38. Let u be i(11). Suppose -a + u*a = -12, 152 = h + 2*a. Does 5 divide h?
False
Suppose 4*o + 3*y - 25134 - 36285 = 0, 4*o = 5*y + 61379. Does 51 divide o?
True
Suppose 3*n - 24359 = -5*b, -247*b - 24394 = -3*n - 245*b. Is n a multiple of 12?
False
Suppose -104 - 62 = -5*t + k, -t = -3*k - 36. Is t*9 + (0/(-4))/6 a multiple of 13?
False
Let v be ((-4)/(-6))/((-770)/99 - -8). Suppose -v*h - 2 - 4 = -m, -2*h + 21 = m. Is m a multiple of 5?
True
Let o(q) = 20*q**2 + q + 15. Let a(i) = -39*i**2 - 3*i - 29. Let g(m) = 6*a(m) + 11*o(m). Let c be g(-3). Does 6 divide (2/(-4))/(3/c)?
False
Suppose 0 = 4*d + 20, a - 89 = -5*d + d. Suppose -105*r + a*r = 900. Does 25 divide r?
True
Let l(n) = -3101*n - 12. Is l(-1) a multiple of 6?
False
Let h(o) = 1286*o**3 + 54*o**2 - 106*o - 2. Is 101 a factor of h(2)?
False
Let m = 239 + -275. Let o = 899 + m. Does 29 divide o?
False
Let o(l) = -l**2 + 13*l - 39. Let c be o(6). Suppose 17 = c*m + 4*k, -71 = -5*m - 3*k - 28. Suppose 8*f - m*f = -105. Does 7 divide f?
True
Is 4 a factor of ((-40104)/30)/(5*(-6)/150)?
True
Suppose -8*b + 9602 = -0*b - 43398. Is b a multiple of 72?
False
Is 15 a factor of (4216 + (8 - 21))/((-1)/(-1))?
False
Suppose -4*v - 77 = 7*v. Is 22 a factor of 3004/20*(-2 - v/1)?
False
Suppose 4*c - o - 7224 = 0, -8394 = -5*c - 4*o + 636. Does 86 divide c?
True
Suppose 0 = -22280*a + 22297*a - 195296. Is a a multiple of 129?
False
Does 38 divide 738/4*(38/7)/(22/154)?
False
Let g(x) = 7*x - 8. Let p be g(8). Suppose p*l = 49*l - 469. Let f = -279 + l. Does 19 divide f?
True
Let l = 420 - -700. Is 70 a factor of l?
True
Let h = -412 + 169. Let c be h/(1/(-2)*2). Let j = c - 141. Does 13 divide j?
False
Let v(k) = 5*k**2 + 6*k - 60. Let c be v(8). Let i = c - -88. Is i a multiple of 18?
True
Suppose 0 = 7*y + 5117 - 28168. Let b = y + -2141. Is 72 a factor of b?
True
Let p be (16/(-6))/(-8) - (-1949)/3. Suppose -12*c + 934 = -p. Is 22 a factor of c?
True
Let k = 104 - 225. Let r = 119 - k. Is r a multiple of 24?
True
Let t(i) = -674*i + 42. Does 10 divide t(-22)?
True
Let b(r) = -81*r + 633. Does 69 divide b(1)?
True
Let i(u) = u**3 + 20*u**2 + 18*u - 16. Let g be i(-19). Suppose -14 + 5 = g*z. Is ((-15)/(-5))/(z/(-98)) a multiple of 14?
True
Let q = 488 - 312. Suppose -890 = -47*x + 42*x - 5*m, -x - 2*m + q = 0. Is x a multiple of 9?
True
Let h(n) = 2176*n**2 - 58*n + 190. Does 15 divide h(5)?
True
Let j = -4465 + 2496. Let d = -912 - j. Does 17 divide d?
False
Let q(n) = 12*n + 92. Let x be q(-9). Is 8 a factor of ((-14)/(-20)*x)/(2/(-10))?
True
Let p(c) = 61*c**2 + 14*c - 277. Is 238 a factor of p(-9)?
False
Let z(v) = -v**2 + 9*v - 16. Let t be z(5). Is t/(-22) + 232392/759 a multiple of 16?
False
Let y = -677 + 1399. Suppose 5*f - y = 73. Let n = f + -45. Is 19 a factor of n?
True
Let h = -4 + 0. Let p be h + -56 + (2 - 4). Let s = 140 + p. Does 26 divide s?
True
Let o be (20/(-25))/(4/(-4020)). Suppose -q - o = -4*q. Is q a multiple of 14?
False
Let s be (-27516)/(-33) - 2/(-11). Suppose 2*j + s = 5*f + 259, 4*f + 5*j - 427 = 0. Is f a multiple of 57?
False
Suppose -435 = -3*j + 4*t, 0 = 4*j - 0*t + 4*t - 552. Suppose 5*b - 5*r - j = 249, 2 = -r. Does 19 divide b?
True
Let c be (-1 - -103)*(5 - (-308)/21). Suppose 7*d = 4*x + 4*d - c, 2*d = -5*x + 2496. Suppose -4*n - n = 3*m - 642, 0 = 4*n - m - x. Is n a multiple of 18?
True
Let v(a) be the third derivative of a**6/60 - a*