6 a factor of 144/1 - ((u - -7) + 12)?
False
Let h(g) = 2*g**2 - 2*g + 13. Let j be h(5). Let y = j - 49. Suppose -46 = -y*o + 2. Is o a multiple of 12?
True
Let i(b) = -4*b - 10 + 3*b - 2*b - 6. Let w be i(-6). Suppose -4*q + 540 = 5*z, -w*q = 2*z - 0*q - 218. Does 8 divide z?
True
Let f(u) be the first derivative of -1/4*u**4 - 5*u - 7/3*u**3 - 4*u**2 - 5. Is 4 a factor of f(-6)?
False
Let i(p) = p**3 + 19*p**2 - p - 2. Let w be i(-19). Let v = -13 + w. Suppose 3*f + v*l - 326 = 0, -3*l + 5*l = -5*f + 548. Does 10 divide f?
True
Let k be 512/28 - (-4)/(-14). Let u = 230 - 228. Is -2*(-1527)/k - u/(-6) a multiple of 17?
True
Let f = 7016 - 5866. Is 2 a factor of f?
True
Let p(q) = -2*q**3 - 30*q**2 + 20*q - 6. Let b be p(-16). Suppose 11*s - 10*s - b = 0. Is 30 a factor of s?
False
Let h be 16/56 + (-4)/((-28)/159). Suppose h*c - 3317 + 741 = 0. Does 5 divide c?
False
Suppose -5*d - 21 = -2*m, 5*m + 3*d - 29 = m. Let i = m + -4. Suppose -i*a = -p - 63, -5*a - 2*p - p = -100. Is 2 a factor of a?
False
Let q = 18062 - 18145. Let t = -87 - 91. Let v = q - t. Does 5 divide v?
True
Suppose 3*v = -6*v + 765. Let o = v + -42. Let z = o - 38. Is 5 a factor of z?
True
Let p(m) = -76*m - 2768. Does 166 divide p(-82)?
False
Suppose 408*l - 403*l - 41870 = 3*i, -3*i - 8374 = -l. Is l a multiple of 79?
True
Suppose -6*h = -381 - 741. Let z = 502 - h. Is 20 a factor of z?
False
Let q(y) = -y**3 - 9*y**2 - 13*y + 9. Let l be q(-7). Suppose -3*s = 9, l*s - 362 = -4*t + 1628. Is t a multiple of 31?
False
Let n(k) = -11*k**2 - 12*k - 192. Let y(c) = 24*c**2 + 24*c + 385. Let h(m) = -9*n(m) - 4*y(m). Is 46 a factor of h(-10)?
True
Suppose 156 = j - 4*p, -j = 5*p - 53 - 130. Does 18 divide (-13)/(260/j)*105/(-3)?
False
Suppose 0 = -7*w + 405 - 174. Let n(h) = -5*h + 182. Is 17 a factor of n(w)?
True
Let k = -131 - -134. Suppose 2*h - i = -2*h + 647, -4*i = k*h - 471. Does 46 divide h?
False
Let i(m) = 1983*m + 472. Is 151 a factor of i(6)?
False
Let w(v) = 22*v**3 + 16*v**2 + 34*v - 158. Is w(6) a multiple of 30?
False
Let u(r) = -13*r - 89. Let k(g) = 27*g + 179. Let p(l) = -6*k(l) - 13*u(l). Is 30 a factor of p(30)?
False
Let o = -638 - -688. Does 8 divide o*-1*80/(-25)?
True
Let c(r) = 4*r**3 + 15*r**2 - 7*r + 16. Let u(a) = -3*a**3 - 16*a**2 + 4*a - 15. Let v(y) = 5*c(y) + 6*u(y). Is 4 a factor of v(12)?
False
Suppose -6*t + 5*t + 580 = v, -3*t + 2*v = -1740. Let o = 2472 - t. Does 44 divide o?
True
Let w = 24172 + 1261. Does 71 divide w?
False
Suppose 20*o + 170184 = -o. Is 2/6 - o/24 a multiple of 26?
True
Suppose -3*n = 2*n + 5*q - 370, 5*n - 410 = 5*q. Let c be (615/(-41))/(15/6). Let p = n + c. Is 18 a factor of p?
True
Let v(h) = -3*h**3 + 1 + 7*h - 5 - h**3 - 5*h**2 + 5*h**3. Let f be v(4). Suppose -5*p + f*p = 144. Does 23 divide p?
False
Suppose 2*q = o + 1170, -8*q + 13*q + 4*o - 2925 = 0. Is q a multiple of 39?
True
Let n = 7105 - -945. Is 35 a factor of n?
True
Let g = 13069 + -8589. Does 14 divide g?
True
Suppose -20*z - 136*z + 457704 = 0. Does 163 divide z?
True
Suppose 5*o - 545 = 3*o + 3*y, 0 = 4*o - y - 1095. Is 8 a factor of 0 - (12/(-2) - o)?
True
Suppose 0 = 3*a + 5 - 11. Suppose 5*q - 432 = a*q. Is q a multiple of 18?
True
Let t = -234 - -240. Suppose -5*g + 5*y + 3625 = 0, t*g - 4*y + 2*y = 4362. Does 8 divide g?
True
Suppose 1 = -3*m + 7. Suppose 10*t = 7*t, t + 1004 = m*a. Is a a multiple of 4?
False
Does 26 divide (-14)/(-84)*280*8892/20?
True
Let u(h) = -h**2 + 8*h - 7. Let g be u(7). Suppose -753 + 113 = -16*c. Suppose 2*t - c + 4 = g. Does 18 divide t?
True
Let m be 22/(-55) + 4/10 - -1181. Suppose -12*y = m - 5657. Does 24 divide y?
False
Let y be 44/6*12/(-3 + 1). Let v = y + 67. Let i = v - -22. Does 9 divide i?
True
Let w(a) = -2*a**3 - 191*a**2 - 643*a + 103. Does 11 divide w(-93)?
False
Suppose -3*q - 3*s = -14 - 10, -4 = q - 5*s. Let p(o) = 5 + 16 - 10 + q + 11*o. Does 7 divide p(7)?
False
Let d be 275/(-110)*(5 - 1)/(-2). Suppose 0 = d*r + 48 + 192. Let g = r - -75. Is g a multiple of 3?
True
Suppose -1107 = -k + 269. Suppose -3*q - 305 = -k. Does 21 divide q?
True
Let n(q) = q**3 + 89*q**2 + 631*q + 191. Does 24 divide n(-77)?
True
Let y(q) = -q**3 + 4*q**2 + 8*q - 8. Suppose -7*g - 65 = -2*g. Let x = -8 - g. Is y(x) a multiple of 2?
False
Let z(p) = -69 - 2*p + 23*p**2 + 65 - 8*p**2. Is 38 a factor of z(4)?
True
Let g be (3 - 2)*20/2. Let i(y) be the third derivative of y**5/60 - 31*y**3/6 + 449*y**2. Is i(g) a multiple of 23?
True
Let z(j) = j**2 - 5*j - 212. Let v be z(-21). Suppose 0 = 2*i - q - 1613, 2*i + q - v - 1269 = 0. Is i a multiple of 9?
False
Let w(b) = 1019*b - 35. Is 17 a factor of w(18)?
False
Let h(c) = 95*c**2 + 2*c + 44. Is 17 a factor of h(-5)?
False
Is (-1)/2 + (8599/4 - 12/48) a multiple of 13?
False
Let c = -15736 - -16725. Is 43 a factor of c?
True
Let f = -4018 - -4698. Does 19 divide f?
False
Let d be -3*(-2)/(-18)*(1 + -60664). Suppose -70*c + d = -11419. Does 8 divide c?
False
Let y = -102 + 448. Suppose -c - 45 = y. Let i = -266 - c. Does 29 divide i?
False
Let d(q) = 16*q + 697. Does 25 divide d(-9)?
False
Is 1/((-55)/(-108450)) - (-2)/11 a multiple of 58?
True
Let l = 69 + -56. Suppose 2*u = l*u - 242. Does 5 divide (-6)/(-4)*(u + -2)?
True
Suppose 8*k + 80 = 3*k. Let c = k + 20. Is 33 a factor of (-19)/(19/6)*(-22)/c?
True
Let x = -73 + 20. Let p = x - -57. Suppose -3*q + 4*d - d = -78, 44 = 2*q - p*d. Is q a multiple of 10?
True
Let l(m) = -m**2 + 13*m + 5. Suppose -4*o = -146 - 14. Suppose 8*r - o = -0*r. Is 15 a factor of l(r)?
True
Suppose 0 = 5*a + 4*o - 32, 3*a - 4*a + 10 = 2*o. Suppose 9877 = -a*u + 21*u. Is 64 a factor of u?
False
Suppose 61*s - 54*s + 140 = 0. Does 59 divide 841/5 + -22*s/550?
False
Let p(g) = -4*g + 24. Suppose 7*b + 319 = 256. Is p(b) a multiple of 10?
True
Suppose 2*r - 3*i = -3*r + 7857, -i + 4717 = 3*r. Let h be 4/(-30)*-5*r. Suppose 0 = -8*a + 16*a - h. Is 31 a factor of a?
False
Let x(h) = h**3 - 2*h**2 + 5. Let n be x(2). Suppose -l - 2 + n = 0. Suppose -f - 1 = -6, 2*j = l*f + 113. Is 15 a factor of j?
False
Suppose 12 = -2*p + 3*d, -2*d + 3 = 7. Let u be p/(-12)*(2 - -2). Suppose 0 = -b - 2, 2*a - u*b - 416 = 2*b. Does 29 divide a?
True
Let x(j) = -8*j**3 + 3*j**2 + 22*j + 66. Does 69 divide x(-10)?
False
Let f(j) = j**3 - 11*j**2 - j + 26. Let x be f(11). Suppose -1485 = -20*n + x*n. Is n a multiple of 23?
False
Let i be (36/30)/(-6*4/(-39300)). Let q = i + -1104. Does 10 divide q?
False
Suppose 0 = -3*y + 4*f + 55070, y - 274*f = -270*f + 18362. Is y a multiple of 138?
True
Let n(f) = 7*f + 24. Let a be n(8). Let j = -78 + a. Suppose r - 3*o = 17, o = -0*r - j*r + 48. Is r a multiple of 7?
False
Let o(s) = -s**3 - 10*s**2 - 9*s + 3. Let b be o(-9). Suppose 3*c = -0*c + b*d + 306, 0 = 3*c + 3*d - 312. Let n = -80 + c. Does 23 divide n?
True
Let c = -83 + 87. Does 33 divide (-28)/c*(-231)/7?
True
Suppose 0 = -41*u + 36*u + 1050. Suppose 1744 = u*g - 206*g. Is g a multiple of 11?
False
Let k = 3370 + -1691. Is 23 a factor of k?
True
Suppose 0 = -65*t + 60*t - 2*z - 68, 2*t + 3*z = -36. Let h(y) = -116*y + 74. Does 102 divide h(t)?
False
Does 44 divide 28644/((-44)/(-4)) + -8?
True
Let v(u) be the second derivative of u**7/840 - u**6/90 - u**5/120 + u**4/2 + 5*u**3/6 + 8*u. Let j(w) be the second derivative of v(w). Is 13 a factor of j(6)?
True
Suppose -30*x + 111960 = 15*x. Does 5 divide x?
False
Let w be (-61)/(18/6 - 2). Let d = w - -81. Is d a multiple of 2?
True
Let g(o) = o**3 - 3*o**2 - 8*o + 16. Let t be (-4)/(-2 + 10/7). Is 26 a factor of g(t)?
True
Let n(t) = t**2 + 15*t + 53. Let p be n(-6). Is (-1 + 3)*(p + 8) a multiple of 3?
False
Let a = 94 - 47. Suppose -71*v + a*v = -816. Does 7 divide v?
False
Let z(m) = 0 + 3*m**2 + 8*m + 8 + 3*m. Let a be 4/(-20)*34 - 1/5. Is z(a) a multiple of 9?
False
Let c = 4955 + -1711. Is c a multiple of 6?
False
Let n be (6 - (-64)/(-24)) + (-2)/(-3). Is 28 a factor of n*5/(-60) + (-673)/(-3)?
True
Suppose 0*y = 3*y - 5*m + 1813, -5*m = 4*y + 2464. Let s = -415 - y. Does 7 divide s?
True
Let l = 20337 + -12938. Suppose 55*s = 48*s + l. Is 12 a factor of s?
False
Let j = -3092 + 2182. Let n = j + 1561. Is n a multiple of 31?
True
Is 2 a factor of (6795 - -5) + 12 + 21?
False
Let a be ((-234)/(-12))/(6/88). S