se
Let j be (24/(-9) - -2)/(5/(-225)). Let m = j + -5. Does 20 divide 175*(-3 - (-95)/m)?
True
Let x(g) = -36*g + 211. Let q be x(-18). Let o = q - 251. Is 32 a factor of o?
True
Suppose -138 = -2*u + d + 202, -161 = -u + 5*d. Let f = 103 + -186. Let o = u + f. Does 22 divide o?
True
Let v(j) = 16*j + 60 + 24*j**2 - 10*j**2 - 11*j**2. Is 3 a factor of v(-7)?
False
Suppose -4*v - 20 = -9*v + 5*h, 10 = 4*v + 2*h. Is (2 - 4/v)*87 a multiple of 9?
False
Let p = -223 - -250. Suppose -p*b = -25*b - 86. Is b a multiple of 9?
False
Let q(l) = -l**2 - 12*l + 5. Let s be q(-12). Suppose 0 = -s*c - 296 + 2096. Suppose -2*p + c = 3*p. Is 6 a factor of p?
True
Suppose -x + 4*p + 27 = 87, -5*x + 4*p - 236 = 0. Let l = -34 - x. Is 3 a factor of l?
False
Let s be (7 - (-1 + 6)) + -4. Let c(n) = -n**2 - 6*n. Let u be c(s). Does 3 divide 4*(u + (-6)/2)?
False
Let n(g) = -g**2 + 11*g + 12. Let q be n(11). Let v be -2*(-21)/q*(-8)/(-14). Suppose v*i - 83 - 39 = 0. Does 19 divide i?
False
Let a = -92 - -1829. Is a a multiple of 24?
False
Suppose -2*s + 1918 = -3*l, 2*s + 1922 = -2*l - l. Is 40 a factor of l*(-7)/((-84)/(-9))?
True
Let z = 959 + -643. Suppose -5*h - 4*s + z = -6*s, -242 = -4*h - 2*s. Suppose 79*q - h = 78*q. Is q a multiple of 7?
False
Suppose 180 = -0*d + 3*d. Let k be (-5)/((-30)/28) + d/(-90). Is (-287)/((-28)/k) + 0/(-2) a multiple of 18?
False
Suppose -c - 3*x = 6 + 2, 11 = 3*c + 2*x. Let w be 108/(-14) + (-2)/c. Does 32 divide (w*(4 + 7))/(-1)?
False
Suppose 29*i - 2094 = 342. Does 28 divide i?
True
Suppose -2*w + 567 = 3*u - 207, 0 = -4*w + 3*u + 1512. Is 70 a factor of w?
False
Suppose 40*a - 15904686 + 684146 = -225*a. Does 166 divide a?
True
Let a be 10*(-10)/(-150) + (-74)/3. Let p(b) = 86*b**3 - 24*b**2 - 6*b - 44*b**3 - 43*b**3 - 59. Is 12 a factor of p(a)?
False
Let d(t) = -3 + 21 - 2*t + 4. Does 6 divide d(8)?
True
Let d = 74774 + -45195. Is d a multiple of 26?
False
Let x = -423 + 401. Let z(d) = d**3 + 22*d**2 - 17*d + 25. Does 21 divide z(x)?
True
Let q be 7/(-63) + (-512)/9. Let u = q - -87. Is 6 a factor of u?
True
Let i(p) = -p**3 + 26*p**2 + 26*p + 31. Let b be i(27). Suppose -27 = b*z - 4*h - 1531, -384 = -z + 5*h. Is z a multiple of 11?
True
Suppose 3*d - 71076 = -3*i, 3*d - 30287 = -5*i + 40789. Is 45 a factor of d?
False
Let n = -88 - -742. Suppose 3*u - 303 = n. Does 29 divide u?
True
Let y(s) = -211*s**3 + 6*s**2 + 7*s + 3. Does 45 divide y(-3)?
False
Let g = 11268 + -964. Does 16 divide g?
True
Suppose 3*o - 15256 = -2*c - 4086, 4*c + 4 = 0. Is 4 a factor of o?
True
Let a = 63039 + -29628. Suppose a = 11*n + 26*n. Does 21 divide n?
True
Suppose 0 = 7*c - 2*c - 20. Suppose -s = a + s - 10, 4*a + s = 12. Suppose 2*r - a*g = 20, -20 - 30 = -5*r - c*g. Is r a multiple of 4?
False
Suppose -2*u - 2*v = -14, 0 = -5*u + 2*u - 4*v + 24. Let q(p) = -3*p**3 + 15*p**2 + 26*p + 11. Let d(l) = l**3. Let i(n) = u*d(n) + q(n). Does 11 divide i(-13)?
True
Let b = -46 - -68. Suppose -5*a - 10 = -5*n, a + 0*n - b = -5*n. Suppose -8*q = a*q - 550. Is q a multiple of 6?
False
Suppose -52 + 55 = 3*w. Let q(h) = 77*h**3 + h - 1. Does 7 divide q(w)?
True
Let j(b) = 6293*b - 3757. Is j(9) a multiple of 40?
True
Suppose 53*g + 9*g - 1534568 + 527378 = 0. Does 45 divide g?
True
Let a(g) = 7*g - 55. Let p be a(9). Let n(y) = 3*y**2 - 9*y + 4. Let t(v) = -7*v**2 + 19*v - 7. Let i(r) = 5*n(r) + 2*t(r). Is i(p) a multiple of 14?
True
Let b(h) = -7*h**2 + 29*h + 9. Let m be b(4). Suppose -5*z = 3*q - 629, -m*z + q = -12*z - 121. Is 3 a factor of z?
False
Let s = 5757 - 5042. Does 5 divide s?
True
Let h(u) = -8*u + 8 - 46*u**3 + 2 - 11*u**2 + 45*u**3. Let k be h(-11). Suppose 2*y - 5*y + 4*t = -k, -4 = -t. Does 10 divide y?
False
Suppose 22 = -v + 3*a - 57, 2*v - 5*a + 156 = 0. Let g = v + 77. Suppose -967 = -4*l + 4*f - 303, -g*f + 533 = 3*l. Is l a multiple of 9?
True
Suppose -3*i - d - 5 = 0, 2*i + 3*d + 4 = 3. Does 22 divide (i - 1) + (-653)/(-6)*6?
False
Suppose 0 = 17*o - 5570 + 674. Suppose 5*a - o = -a. Is a a multiple of 24?
True
Let i(g) = 65*g - 40*g - 14*g + 3. Is i(4) even?
False
Let p = -111 + 111. Suppose p = 9*l + 148 - 1354. Is l a multiple of 14?
False
Is 35 a factor of (1499740/2807)/((-4)/(-98))?
True
Let z(g) = 14*g**3 + 3*g**2 - 7*g + 58. Is z(9) a multiple of 130?
False
Let c = 43706 + -29146. Does 26 divide c?
True
Let v = -4045 + 4542. Does 2 divide v?
False
Let x = -126 + 128. Suppose -3*z = -4*t + 351, -3*z - 90 = t - x*t. Suppose -t = -3*g + 372. Does 14 divide g?
False
Does 97 divide (-6 + (-856)/(-16) - -1)*182?
True
Suppose b - 4346 = -5*i + 2454, -2*b - 3*i = -13656. Is 57 a factor of b?
True
Let l = -6715 + 10915. Is l a multiple of 39?
False
Suppose -686 = -5*t + s, -4*t = 5*s - 153 - 390. Let n be 8/(-60) - t/(-15). Suppose 3*a = n*a - 36. Is a a multiple of 3?
True
Let f(d) = 20 - 15 + d**3 - 3*d**2 - 10 - 11*d. Is f(7) a multiple of 6?
True
Let k be (-1)/(-1) - 110/(-55). Suppose -447 = -5*l + 4*r, k*l + 5*r = 4*r + 258. Is l a multiple of 14?
False
Let h = -315 - 739. Let i = h - -1562. Is 52 a factor of i?
False
Let v(x) = x**3 - 4*x**2 + 3. Suppose 5*k - 9 = 11. Let u be v(k). Suppose -j = -q + 170, u*j + 793 = 4*q + 115. Is q a multiple of 42?
True
Suppose 30*j - 13989 - 28791 = 0. Does 8 divide j?
False
Let c(d) = 1. Let r(l) = 8*l + 2. Let u(b) = -4*c(b) - r(b). Let k(v) = -4*v**2 + 2*v - 6. Let h be k(0). Is u(h) a multiple of 12?
False
Let y(r) be the first derivative of -r**4/2 - 5*r**3/3 - 3*r**2/2 - 5*r + 931. Let q be (0/1)/(-1) - 4. Is y(q) a multiple of 18?
False
Suppose -r + 3 = 0, 2*b + 2*r + 18159 = 74013. Is 13 a factor of b?
True
Suppose 3*y - 7320 = -3*g + 2571, -2*g = 5*y - 6585. Does 20 divide g?
True
Let b(a) = 45*a + 10. Let m be b(-3). Let l = m - -456. Suppose 3*s = l - 37. Is s a multiple of 7?
True
Let b(u) = 2*u + 4. Let o be b(-4). Let p(m) = -2*m**3 + 0*m**2 - 6*m + 33*m - 5 - 13*m - 11*m - 4*m**2. Does 11 divide p(o)?
False
Suppose 48*h - 70*h + 38*h - 53808 = 0. Is h a multiple of 4?
False
Let p(b) = -b**3 + 3*b**2 - 2*b + 2. Let u be p(2). Let g = 217 + -215. Suppose -5*z + g*r = -160, -r = -3 - u. Is z a multiple of 5?
False
Let n(l) = -l**2 + 54*l - 553. Does 16 divide n(27)?
True
Let d(k) = -3*k + 3*k**2 - 2 - 6 - 3 + 0. Let b be (12/(-10))/((-17)/85). Is d(b) a multiple of 8?
False
Let l(h) = -h**3 - 5*h**2 + 2*h - 4. Let m be l(-4). Let b = -33 + m. Let f = b - -166. Does 22 divide f?
False
Suppose -3099894 + 1104028 = -106*j + 2150430. Is 154 a factor of j?
True
Let x(j) be the third derivative of -j**5/60 + j**4/6 + 7*j**3/6 - 15*j**2. Let w be x(5). Suppose w*q + q - 251 = -5*s, 0 = 5*q + s - 389. Does 11 divide q?
True
Let o = 33 + -43. Let m be (-5)/(-2)*(-8)/o - 171. Let l = -57 - m. Is 16 a factor of l?
True
Is 4/(-14) - -1*659585/133 a multiple of 87?
True
Suppose -2*m - 5*g = -3*g + 316, 3*g + 321 = -2*m. Let v = m + 311. Suppose 2*b + 20 - v = 0. Does 21 divide b?
False
Let p(t) = t**2 + 3*t + 2. Let j be p(-3). Suppose 18 = 3*m - 4*k, 5*m = 2*m - j*k. Suppose -d + v + 26 = 0, v + 72 = m*d + d. Is 2 a factor of d?
False
Suppose 2*u + 1642 = 4*y + 4*u, -4*y = u - 1637. Suppose 2*v - y = -5*p, 5*v + p + 285 - 1259 = 0. Does 15 divide v?
False
Let y(f) = f**3 - 15*f**2 + 5*f + 861. Is y(20) even?
False
Suppose 33*h + 3*h = 18*h + 679176. Does 24 divide h?
False
Does 5 divide (-90 - -2)*23/(-46)?
False
Let v(k) = k**3 - 7*k**2. Let s be v(7). Let g be (2/(-10))/(25/(-625)) + 355. Suppose -22*p + 30*p - g = s. Is 17 a factor of p?
False
Let o(a) = -a**3 - 19*a**2 - 45*a - 6. Let w be o(-16). Let m = w + 124. Does 35 divide m?
True
Suppose 20191 - 3707 = 3*w + 4*s, 0 = 4*s - 8. Is w a multiple of 10?
False
Suppose -3*u + 7 + 14 = 4*c, 2*u + 3*c = 15. Suppose 3*g = -u*k - 12, 2*g - 20 = -3*k + 8*k. Is (-21 - g)/(33/(-44)) a multiple of 25?
False
Suppose 27*g + 2880 = 32*g. Suppose 4*f - 5*f + g = 0. Is 18 a factor of f?
True
Suppose 425413 = 134*t - 6347 - 609420. Is t a multiple of 8?
False
Suppose 149 = 2*m - 265. Let r = -9 + 14. Suppose 8*o = r*o + m. Does 11 divide o?
False
Let r(m) be the third derivative of m**4 + 15*m**3 + 13*m**2 - 2. Is r(21) a multiple of 27?
True
Let y = -5801 + 6491. Is y a multiple of 15?
True
Suppose 51650 + 7296 - 1706 = 6*b. Is 36 a fac