2)?
False
Let c(q) = -q**2 + 14*q - 27. Let g be c(11). Suppose 2*o + w + 25 = 0, g*w - 2*w = -o - 30. Is 8 a factor of (-333)/(-6) - o/20?
True
Suppose p + 3 + 0 = 0. Let x(i) = -i**3 - 3*i**2 - 3*i - 4. Let t be x(p). Suppose -t*v - v + 432 = 0. Is 8 a factor of v?
True
Suppose 0 = 2*z - 3*i - 221, 0*i = z - i - 109. Let u = z - 61. Is 12 a factor of u?
False
Let a = -74 - -158. Let d = -242 + a. Let y = d - -242. Is y a multiple of 21?
True
Let x be 4*(-1 + 0) - (-12 + 5). Suppose 0 = x*m - f + 2, -m - f = 2*f + 4. Is 19 a factor of -6 - -2 - (-138 + 2/m)?
False
Suppose 116 = 4*j - s - 242, -3*s = -2*j + 184. Is 3/(6/8) - (-2314)/j a multiple of 5?
True
Let v(n) = -3*n**3 - 15*n**2 + 96*n + 930. Is 126 a factor of v(-17)?
True
Let t = 49214 + -7138. Does 18 divide t?
False
Is 10 a factor of 8763 - (45/(-12))/(129/172)?
False
Suppose 139*o - 27*o - 2444445 = -23*o. Is 36 a factor of o?
False
Let c(u) = 6*u**2 + 7*u + 6. Let s be c(-6). Let n be 1/(11/88*(-6)/(-93)). Let j = s - n. Is 14 a factor of j?
True
Let d(t) = t + 11. Let j be d(-9). Let y(q) = -10 + 22 + 2*q + j*q. Is 16 a factor of y(9)?
True
Let j(z) = -3*z**3 - 7*z**2 + 6*z - 1. Suppose -h + 4 = -3*t - 10, -2*t = -h + 9. Is 13 a factor of j(t)?
True
Suppose -5*m + 13 = -m + l, 2*m + 11 = 3*l. Suppose -16 = 4*d, 2*y - m*d - 285 = 771. Is y a multiple of 8?
False
Is 13 a factor of ((-19)/3 - -2)/(204/(-121788))?
True
Suppose 4*g + 2*g - 24 = 0. Suppose -188 = 4*t - 4*f, 0 = g*f + 4 + 8. Let w = t - -116. Does 11 divide w?
True
Let l(p) = -14 - p - 2*p**2 + 2*p**2 + 2*p**3 - p**2 - p**3. Is l(6) a multiple of 8?
True
Let r(o) = -2*o**3 - 18*o**2 - 7*o - 17. Let b be r(-10). Suppose b = 4*d + w - 98, -4*w - 444 = -5*d. Is 8 a factor of d?
True
Suppose 17*c = 5*c + 828. Suppose -3*x = -4*p + c, -3*p + 0*x + 36 = 3*x. Does 14 divide ((-90)/p)/((-122)/118 + 1)?
False
Suppose -4*c + 3*w = 9 - 30, 0 = c + 2*w + 3. Suppose -c*z = 4*a - 185 - 488, z - 215 = a. Is z a multiple of 28?
False
Suppose -2*s - 2 = -0*h + h, 3*h - 2*s - 10 = 0. Let q be 4/h - (-14 - (3 - -1)). Suppose 6*b - 118 - q = 0. Does 4 divide b?
False
Suppose 3*h = 2*q - 3 + 7, -2*q - 4 = -4*h. Does 45 divide (-100)/(-20)*-2*79/q?
False
Suppose i = -3*i - 16, -4*i = d - 1517. Does 43 divide d?
False
Let h = -116 + 110. Let v(u) = -2*u**2 - 14*u - 12. Let d be v(h). Does 17 divide 3 + (31 - (0 - d))*1?
True
Is 24 a factor of (-38882)/(-3)*23/828*54?
False
Suppose 5*u - 20957 = y, 3*u + 44*y - 42*y - 12569 = 0. Is 73 a factor of u?
False
Is ((-6)/144*8)/(2/(-6642)) a multiple of 9?
True
Suppose 4*d + 8 = -2*h, -h + 4*d = -1 + 5. Let l(y) = y**3 + 4*y**2 - 7*y - 22. Does 2 divide l(h)?
True
Is (-22)/88 - 16136/(-32)*(1 + 0) a multiple of 4?
True
Suppose 86 = -0*w - 2*w. Let b = w + 43. Suppose -3*g = m - 73, 2*m + 4 = -b. Does 5 divide g?
True
Is 88 a factor of 45/(-75) - (-78328 + 6)*3/10?
True
Suppose 2*x = -4*p + p + 4090, 10210 = 5*x + 5*p. Is x a multiple of 4?
True
Let v(k) = k**3 - 7*k**2 + 4*k - 3. Let x(i) = 2*i - 5. Suppose -n = -2*d + 10, -28 = -0*d - 3*d - 5*n. Let r be x(d). Is v(r) a multiple of 25?
True
Let b be 288/108*(14 - (1 - 2)). Suppose -11*a - b = -238. Does 3 divide a?
True
Suppose 0 = -2*p + 715 + 1205. Suppose 3*n - p = -n. Suppose 0 = -j + 9*j - n. Is j a multiple of 5?
True
Suppose -30 = -5*g + 11*g. Let z(b) = 6*b**2 - 3*b - 8. Let k(l) = -5*l**2 + 3*l + 8. Let s(p) = g*k(p) - 4*z(p). Is s(-4) a multiple of 4?
True
Let w be (10/(-3) + 3)*(11 + -3032). Suppose -6*j = -25*j + w. Is j a multiple of 38?
False
Suppose 0 = 20*c + 14*c - 516313 - 581615. Does 285 divide c?
False
Is (-924168)/(-924) - (-2)/(-11) a multiple of 16?
False
Let a = 7692 - -93. Does 15 divide a?
True
Let q be 46/(-299) + 28/13. Suppose q*p + 194 = 506. Does 12 divide p?
True
Is (-1820)/(-273)*(-1701)/(-6) a multiple of 18?
True
Let h(r) = 7*r**2 - 3*r + 3. Let n be h(2). Suppose 42*d = 37*d + n. Suppose 0 = 5*b + d*m - 4*m - 1526, 3*m - 1223 = -4*b. Does 61 divide b?
True
Let n = 3255 - 2256. Is n a multiple of 112?
False
Suppose -3*m - 40 = d, -2*m - 2*d - 68 = 3*m. Does 6 divide 146 + -8 - m/(-2)?
True
Let u = -11 + 22. Let y(v) = 75*v + 155. Is y(u) a multiple of 35?
True
Let x(w) = 20*w**2 + 33*w + 486. Does 10 divide x(-12)?
True
Suppose 14*v - 14*v + 27*v - 3186 = 0. Is 3 a factor of v?
False
Suppose 2*i + 2 + 0 = 0. Let k be i + 1 + 30*2. Suppose 0 = 3*j - 4*u - k, -j - 20 = -2*j + 4*u. Does 4 divide j?
True
Suppose 5*g - 1425 = -3*s - 0*s, 4*s = -5*g + 1420. Let z = g - -154. Does 34 divide z?
True
Let x = -511 + 499. Is ((x - -10) + 117)*18/10 a multiple of 7?
False
Let p(u) = -u**2 + 9*u + 16. Let g be p(12). Does 3 divide (-2)/(-10) + (-224)/g*4?
True
Let d(h) = -h + 22. Let q be d(23). Let u be (-1 + 1)/((-4)/(3 - q)). Suppose -2*x + 8 = u, c + 2*x - 92 = 3*x. Is c a multiple of 15?
False
Let c = -12 + 17. Suppose 5*n - 3*n + 2*k = 4, 2*n + c*k + 5 = 0. Suppose -y = -3*m - 270, -5*y + n*m + 1300 = -0*m. Is 15 a factor of y?
True
Let v(m) = -4*m**3 + 525*m**2 + 75*m + 973. Does 29 divide v(131)?
False
Suppose 5*j - y - 2 = 2*y, 6 = 3*j - 3*y. Let x(z) = 2*z**3 + 3*z**2 + 2*z + 2. Let i be x(j). Does 4 divide (i/(-15))/((-3)/(-135))?
False
Suppose -10*j + 25010 = 12*j - 47590. Does 100 divide j?
True
Is ((-486468)/9)/(-4) - 13 a multiple of 54?
True
Suppose 4*l - 12 = 0, -18566 = -5*p + 57*l - 59*l. Is p a multiple of 36?
False
Let z = 105 - 132. Let r be (-3)/((-76)/144 - (-6)/z). Is 7 a factor of r*7*(-3 - -5)?
True
Let k(s) = -s**2 + 6*s + 15. Let x be k(9). Let d = x + 15. Suppose -d*v = -187 + 43. Is 6 a factor of v?
True
Let w(m) = -17*m - 68. Let z be w(-4). Suppose 0*q = 2*q - h - 305, z = 3*q + 5*h - 464. Is 9 a factor of q?
True
Let r = 234 + 558. Is 28 a factor of r?
False
Suppose 0*j = -4*j + 272. Let q = 11666 - 11623. Let w = q + j. Does 17 divide w?
False
Let l be (-11172)/8 + (-6)/12. Let f = l - -2207. Does 18 divide f?
True
Let m be (500 + 144)*2*1/2. Suppose -m = 45*z - 59*z. Is z a multiple of 17?
False
Let g(l) = l**3 + l**2 + 1. Let j(q) = -4*q**3 + 3*q**2 + q. Let b(o) = -3*g(o) - j(o). Let c be b(6). Does 3 divide (-392)/(-63) - (-2)/c?
True
Let k = 95 - -1596. Does 4 divide k?
False
Let m(k) = -k**3 + 10*k**2 + 2*k - 8. Let w be m(10). Suppose 4*x - w = 20. Suppose x*s - 168 = 2*s. Does 14 divide s?
True
Suppose -12*g + 28522 = -4598. Is g a multiple of 10?
True
Let o(h) = h - 13 + 9*h - h - 46. Let l = 16 - -4. Is o(l) a multiple of 11?
True
Let i be 0/(5 + (3 - 9)). Suppose i = 19*h - 5786 - 7438. Is h a multiple of 22?
False
Let h be ((-20)/6)/((6/(-54))/(-1)). Let a = h + 55. Is 49 a factor of 4/10 - (2 + (-6165)/a)?
True
Suppose -5*q = 2*f + 1, -8*q - 34 = -4*f - 6*q. Let s(x) = x**2 + 2*x - 41. Is s(f) a multiple of 14?
False
Suppose 5*u + 2*i - 1503 = -218, -3*u + 5*i + 740 = 0. Let n = u - -116. Let y = -258 + n. Is y a multiple of 29?
False
Suppose -12*i + 464 = 4*i. Suppose 0 = -3*s + 56 - i. Does 3 divide s?
True
Let c(p) = p + 6. Let t be c(-3). Suppose -o + t*d + 65 = 0, -316 + 56 = -4*o + 2*d. Suppose -5*q + o = -0*q. Is q a multiple of 11?
False
Suppose -25*t + 44030 = 60*t. Is t a multiple of 14?
True
Suppose -121 = -40*t + 39. Is (t/16 + 6)*116 a multiple of 25?
True
Let v(b) = -b + 8. Suppose 3*z + 3 = 12. Let r be v(z). Suppose 5*s + r*k - 266 = 3*k, 0 = 2*k - 6. Does 26 divide s?
True
Let j(b) = b**2 + 14*b - 20. Let q be j(10). Let y = 418 + -74. Let o = y - q. Is 31 a factor of o?
True
Let m(a) = 29*a**2 + 14*a + 15. Let h(p) = 30*p**2 + 13*p + 14. Let g(d) = 6*h(d) - 5*m(d). Does 31 divide g(-4)?
False
Let m(d) = 41*d + 16 - 34*d + d**3 - 38*d - 12*d**2. Is m(16) a multiple of 34?
True
Let l be 16/72 + 2*129/54. Suppose -352 = l*g + 11*g. Let h = 29 - g. Is 14 a factor of h?
False
Let r(z) = 44*z - 43. Let c be r(11). Suppose -15*s = -294 - c. Is s a multiple of 2?
False
Let r(i) = 2*i - 5. Let k = 19 - 21. Let g be r(k). Let s = g + 86. Does 11 divide s?
True
Suppose 36306 = 127*k - 7890. Is k a multiple of 6?
True
Suppose -3*q = -4*q + 15. Suppose -3 = -6*i + 3*i, 0 = g - 3*i - q. Suppose 3*b = g + 315. Is b a multiple of 37?
True
Let r(v) = 15*v**2 - 64*v + 723. Is 4 a factor of r(-35)?
False
Suppose 150*c = 155*c - 25. Suppose -3*r - 19 = -2*i, 3*r + 10 - 1 = 0. S