4*g**3 + 4*g + 2. Let w(d) = -d**3 - 23*d**2 + 80*d + 50. Let u be w(-26). Is h(u) a multiple of 20?
False
Let v(d) = -d**3 + 8*d**2 - 19*d + 64. Let i be v(7). Is 615/(-2)*i/15 a multiple of 10?
True
Let z = 141 + -87. Suppose 5*v = -3*l - 265 + z, 4*l + v + 304 = 0. Let j = 148 + l. Is 15 a factor of j?
False
Let k = -35734 - -63526. Does 18 divide k?
True
Suppose -377*g = -383*g, 0 = w - 2*g - 11063. Is 57 a factor of w?
False
Suppose 3*m - 2*m = 10. Let a = 2259 + -2250. Suppose -n + m = -2*i - 1, -n + i = -a. Does 7 divide n?
True
Suppose 0 = 21*q - 12*q. Suppose 0*b + 15*b - 1125 = q. Does 25 divide b?
True
Let s(u) = 5*u**2 - 5*u + 2. Let m(w) = -w**2 - w + 8. Let k be m(-4). Let g(c) = -4*c**2 + 6*c - 3. Let r(o) = k*g(o) - 3*s(o). Does 28 divide r(11)?
True
Let w(b) = 20*b**3 - 93*b**2 + 143*b + 152. Let n(k) = -7*k**3 + 31*k**2 - 48*k - 51. Let f(c) = 17*n(c) + 6*w(c). Is f(30) a multiple of 27?
True
Let r = -1086 + 1152. Is 11 a factor of r?
True
Let o(m) = -96*m**3 - 4*m**2 - 7*m - 33. Is 22 a factor of o(-5)?
True
Suppose 6*a = 26 - 2. Suppose -9*c = -a*c - 120. Suppose c = 2*l - 156. Does 16 divide l?
False
Let q(w) = 3*w**3 + 9*w**2 + 2*w - 2. Let i be q(-4). Let j = -72 - i. Let p = j + 52. Is p a multiple of 19?
True
Let x(o) = -o**3 - 13*o**2 + o + 18. Let k be x(-13). Suppose 4*h - 31 = 13. Suppose t + 4*m = h, -k*t - m = m - 127. Is t a multiple of 3?
True
Suppose 3 = -5*z + 28. Suppose -26 = 4*b + z*x + 5, 0 = 5*b + 5*x + 40. Is 2 a factor of b/(5/15*-3)?
False
Let x = -229 + 231. Suppose y - 988 = -x*t + 5*y, -4*t + y = -1941. Does 29 divide t?
False
Suppose -2*h - 5*h = -24528. Suppose -21*p - 123 + h = 0. Is p a multiple of 7?
True
Suppose 0 = -5*k + s - 6, 0 = k + 2*k - s + 2. Let x(o) = o**3 + 4*o**2 + 3*o. Let j be x(k). Suppose 10 = -j*h, 4*b - h - 96 = -23. Does 8 divide b?
False
Suppose -54792 = -26*p + 53501 + 32107. Is 72 a factor of p?
True
Let h be (-126)/(-9) + (0 - 1). Suppose h*z - 11*z = 0. Suppose z*x - 4*x + 196 = 0. Is x a multiple of 9?
False
Suppose 0 = 4*o + 13*o - 6205. Let j = -225 + o. Is j a multiple of 14?
True
Let c be 4/20 - 99/(-30)*56. Let v be (-6)/(-14) - (-96)/21. Suppose -2*l - 2*l + 5*b = -385, 2*l + v*b - c = 0. Does 27 divide l?
False
Suppose -m + 24 = -11. Let o be m/9 + (-2)/(-18). Suppose 5*w + 3*u = 240, -o*w + 2*u + 209 = u. Is w a multiple of 14?
False
Let w be ((-100)/25)/(8/18). Suppose 11 = -4*z - 9. Does 12 divide w/2*z/((-20)/(-24))?
False
Let a(q) = -959*q - 29. Let u be a(-3). Suppose 0 = -3*j + n + u, 0*j + 2*j - 3*n - 1887 = 0. Let t = -647 + j. Is t a multiple of 37?
False
Let y(q) = 2051*q + 3657. Does 25 divide y(18)?
True
Suppose 3*s - 106273 = 5*l, -4*s - 9118 = 3*l - 150767. Is s a multiple of 152?
True
Let v(w) = w**3 + 4*w**2 + w - 4. Let l be v(-2). Suppose 3*q + 3*y = 15, -1 = q + l*y - 9. Suppose 0 = -0*j + q*j - 100. Is j a multiple of 10?
True
Suppose -631*q = -580*q - 495567. Is q a multiple of 11?
False
Suppose 7*t - 410 = 9*t. Suppose 0 = 11*s + 631 + 260. Let x = s - t. Is 31 a factor of x?
True
Suppose 6*z - 19*z = -27365. Suppose 0 = 21*g - 11839 - z. Is g a multiple of 8?
True
Suppose 1630*w = 1603*w + 17091. Is 3 a factor of w?
True
Let g(x) = -4*x**3 + x**2 + 6*x + 5. Let r be g(-2). Is 6 a factor of 2/((1/2)/(r/2))?
False
Let h be 7/1*(-6 - (-264)/42). Let z be (14/5)/(h/20). Suppose 0 = z*t - 24*t - 408. Is 27 a factor of t?
False
Let s = 560 + -1668. Is 11 a factor of (s/6*(-48)/(-32))/(-1)?
False
Let m(b) = 97*b + 100. Let q be m(15). Suppose 4*x + 274 + 1290 = 4*l, 0 = 4*l - x - q. Is 13 a factor of l?
False
Let o(n) = 2*n + 38. Let w(a) = 2*a - 11. Let b be w(6). Let y(g) = 1. Let q(j) = b*o(j) - 3*y(j). Does 29 divide q(26)?
True
Let t(l) = -35*l + 3. Let u be t(-1). Is u*(24/(-56) - 115/(-7)) a multiple of 56?
False
Suppose 101 = -5*x + 326. Let o be (4/6)/(3 - 132/x). Let a(h) = h**2 - 8*h + 4. Is 3 a factor of a(o)?
True
Let h(l) = l**2 - 85*l**3 - 6*l**2 + 5*l + 9 + 69*l**3. Let o(n) = 3*n**3 + n**2 - n - 2. Let q(z) = 2*h(z) + 11*o(z). Is 36 a factor of q(4)?
True
Is -4 + 1627 - (2 + -4) a multiple of 125?
True
Suppose k + 11873 = -66*x + 69*x, -35611 = -9*x - k. Is 9 a factor of x?
False
Let t(r) = -2*r + 15. Let i be t(6). Suppose -i*u + 73 = -551. Does 26 divide u?
True
Suppose -4*n - 156078 - 65594 = -4*o, 7*o - 4*n - 387932 = 0. Does 326 divide o?
True
Let y be (-4 - 6/(-1)) + 5. Let d(b) = 80*b - 8. Let q be d(14). Suppose y*u = -u + q. Does 14 divide u?
False
Let p be (-198)/22*1/(-3). Suppose -23 = -p*s + 5*w, w - 6*w - 5 = 0. Suppose 5*z = v + 300, -3*z + v + 208 = s*v. Is z a multiple of 19?
False
Let h(o) = o - 12. Let z be h(0). Let d = 208 - 211. Is 9 a factor of z/d - 310/(-5)?
False
Suppose 2*g + 8*q = 4*g - 80, 5*g - 155 = 5*q. Let f = -2 - -4. Suppose -4*k + 2 = -f*b + b, -5*b = -k - g. Is b a multiple of 3?
True
Let i = -5936 - -6239. Does 6 divide i?
False
Suppose 263568 = -43*v + 94*v. Does 19 divide v?
True
Let y = -261 + 264. Suppose -6*w - 4*m + 577 = -w, -2*w + 240 = -y*m. Is w a multiple of 13?
True
Let y(n) = 11*n**2 - 3*n + 2. Let h be y(-2). Let f = -44 + h. Let v(j) = -j**3 + 11*j**2 - 20*j + 11. Does 6 divide v(f)?
False
Let l(v) = -v**2 - 9*v + 26. Let y be l(14). Let z = -144 - y. Is z a multiple of 19?
True
Suppose -4*s = 2*c - 112, -3*c + 123 = -s - 66. Suppose -114 = -8*h + 38. Let p = c - h. Does 7 divide p?
False
Suppose -17*l = -27*l + 2580. Is l a multiple of 4?
False
Suppose z + 10 = 5*q, -4*z + 5*q = 2*q + 23. Is (-1323)/(-6) + 54/12 + z a multiple of 5?
True
Let o(d) = d**2 + 2*d + 9. Let v be o(-3). Suppose v*k - 52 = -k. Does 2 divide k?
True
Let d(t) = 8*t - 84. Let u be d(-8). Let n = u - -477. Is n a multiple of 5?
False
Let s(v) = 8*v - 6. Let l = 142 - 84. Let c = -54 + l. Is s(c) a multiple of 3?
False
Is 2 a factor of 3*(-3054)/(-9) + -8 + (-36)/(-3)?
True
Let g(u) = 68*u**3 - 8*u**2 + 20*u + 14. Is 5 a factor of g(4)?
False
Let q be (-2)/3 + (-6 - (-4774)/(-21)). Let s = 459 + q. Does 15 divide s?
True
Let k(f) = -4*f - 1. Let l(i) = -6*i - 28. Let s(c) = -1. Let y(x) = -l(x) + s(x). Let v be y(-7). Does 19 divide k(v)?
False
Let o(i) = i + 4. Let q be o(-6). Let r be 94/235 - ((-397)/(-5) + 1). Does 20 divide 15/q*r/6?
True
Suppose 231*c - 236*c - 152295 = 0. Is 10 a factor of c/(-65) + (-2)/(-5)?
False
Let d be -3*(-1 - 0) - -5. Let s be d/12*(-1 + 0 + 4). Suppose 3*h + 145 = 2*t, s*t - 2*h - 180 = -6*h. Is t a multiple of 4?
True
Suppose -10*i = -4*p - 12*i - 818, 4*p - 5*i + 853 = 0. Is -1*1/3 + (-206034)/p a multiple of 79?
False
Let t(p) = 2*p. Let w be t(-6). Suppose 524*g - 232 = 520*g. Let h = g + w. Does 17 divide h?
False
Does 120 divide 12/(-28) + 4361457/413?
True
Let h = 458 + -162. Does 148 divide h?
True
Suppose 52*y + 29*y - 2844639 = -0*y. Is 127 a factor of y?
False
Suppose 94*s - 1066785 = -105*s + 259152. Is 9 a factor of s?
False
Suppose -179 = -19*i + 201. Suppose -19*k + i*k + 253 = j, -1010 = -4*j + 2*k. Is j a multiple of 18?
True
Suppose -5*d - 4 = -2*s, -7 = 13*d - 8*d - s. Let j(y) = -5*y**3 - 2*y**2 + 1 + 0*y - 3*y + y. Is j(d) a multiple of 12?
False
Let g(v) = -v**2 + 7*v + 7. Let z = -67 + 76. Let h be g(z). Is 5 a factor of 41/4 - h/(-44)?
True
Let m(z) = -2*z**3 + 72*z**2 + 106*z - 104. Is 3 a factor of m(37)?
True
Suppose 2*y + 2*x - 38113 = 3071, -3*y - 4*x = -61776. Does 104 divide y?
True
Let p(m) = m**2 + 10*m + 6. Let x(k) = k**2 - 10*k - 14. Let b be x(10). Let r be p(b). Is 30 a factor of r + -1 + (-15)/15?
True
Let s(o) = -258*o - 818. Is s(-5) a multiple of 8?
True
Suppose -t - 8 = 3*y, 0 = y + 4*y - 5*t + 40. Let q(g) be the third derivative of -3*g**4/4 - 2*g**3 - 6*g**2. Is q(y) a multiple of 20?
True
Let a be 354 - (14/(-3) + (-6)/(-9)). Suppose 3*p + 2*h = a, 4*h = 5*p - h - 605. Does 10 divide p?
True
Let b(d) = -2*d**3 + 100*d**2 - 403*d + 237. Is b(45) a multiple of 2?
True
Suppose -40*m + 2288 = -1272. Suppose -5*d + 21 = 2*l, -2*l + d + 2 = -1. Suppose 41 = 2*o + l*i, i + 0*i = 3*o - m. Is o a multiple of 7?
True
Suppose 133044 = 4*x + 2*f, 3*x = 21*f - 16*f + 99770. Is x a multiple of 176?
False
Let x(d) = 2*d - 39. Let l be x(20). Suppose o = -l, -3*r - 5*o + 10*o + 1301 = 0. Is r a multiple of 18?
True
Let u(t) = -2187*t - 