) = -d**3 - 11*d**2 + 10*d - 1. Let q be g(-12). Suppose 139 = 2*b + q. Is 29 a factor of b?
True
Let g(p) = 435*p - 178. Is 16 a factor of g(6)?
True
Let i = -34 + 62. Let k be (i/6)/((-3)/(-9)). Let s(l) = -l**2 + 15*l - 4. Does 10 divide s(k)?
True
Let a be (-3)/(-9) - (-445)/15. Suppose -5*u + 4*i + 64 = 0, -5*u + a + 62 = 3*i. Suppose -2*k = 2*j - 64, 0 = 5*j - 1 + u. Is 9 a factor of k?
False
Let g(k) = k**3 - 21*k**2 - 53*k + 84. Is 14 a factor of g(28)?
True
Suppose 4*v = 2*y - 0 + 8, -y - 5*v + 10 = 0. Suppose m - 6*m = -4*f - 223, y = -m + f + 44. Is 29 a factor of m?
False
Suppose 4*n + 3226 = 5*w - 2*w, -4*w = 4*n - 4292. Is w a multiple of 6?
True
Let q(x) = -7*x**2 - 4*x + 1. Let k be q(-3). Let r = 73 - k. Is 11 a factor of r/4 - (-3)/12?
False
Let i = 14 - 12. Let l be i/(-2)*(1 - 4). Suppose -t + 282 = 3*t + l*d, d + 2 = 0. Does 23 divide t?
False
Let h(b) be the first derivative of 13*b**2/2 - 2*b - 5. Let w be h(-4). Is 30 a factor of (-3231)/w + 1/6?
True
Let z(c) = c**3 - 12*c**2 - 24*c - 5. Let y be z(14). Let d = 39 + y. Does 15 divide d?
True
Is 11 a factor of (-150)/(-20)*(2 - 728/(-12))?
False
Let p = -400 + 253. Let j = -119 - p. Is j a multiple of 4?
True
Let c(z) = z**3 - 19*z**2 + 3. Let f be c(19). Suppose 0 = n - f*h - 41, 6*h = -5*n + 4*h + 222. Is n a multiple of 7?
False
Let u be 1/6 - (-471)/(-18). Let r = u - -54. Is r a multiple of 5?
False
Let r = -588 + 695. Suppose -v = 2 - 24. Suppose v = s - r. Is s a multiple of 37?
False
Let d(p) = p**2 - 5*p - 3. Let i be d(5). Let q be (i/4)/((-5)/20). Suppose 2*c + q*b - 75 = -c, b - 5 = 0. Is c a multiple of 20?
True
Suppose -4*f + 2*x = f - 2, -3*x - 3 = 0. Let k be (f - (-3 + 2)) + 4. Suppose c = k*c - 64. Is 4 a factor of c?
True
Let s(m) = 6*m**2 + 6*m + 8. Suppose -3*k + 3*c - 6 = -24, c + 16 = 3*k. Does 47 divide s(k)?
True
Let z(f) = 29*f**2 + 27*f - 104. Is z(4) a multiple of 26?
True
Suppose 0 = 3*z - 5*i - 53, z - 3*i - 83 = -4*z. Suppose 12*k - z*k + 964 = 0. Is 38 a factor of k?
False
Let n(i) = i**3 - 8*i**2 - 4*i + 8. Let c be n(8). Let h = -20 - c. Is h a multiple of 2?
True
Suppose -4 = -8*q + 12. Suppose 4*y = -0*l - q*l + 20, -9 = -l - y. Is 4 a factor of l?
True
Suppose -4*k = -k - 15. Suppose b = k*b - 216. Let t = b + -30. Is 12 a factor of t?
True
Does 32 divide 59 - (-8 - -3) - 0/3?
True
Suppose 1186 = 4*t + 2*n, -3*n = -2*t - 8*n + 581. Is 22 a factor of t?
False
Suppose 33538 - 10588 = 10*w. Is 26 a factor of w?
False
Let x(m) = -m**3 - 14*m**2 - 2*m - 21. Let b be x(-14). Suppose -2*u + 15 = b. Does 5 divide 4 - (u + -6 + 1)?
True
Let d be (5 - 4/4) + 0. Suppose -w - 5*j + 0 = -d, 5*j = 4*w - 16. Suppose -w*q + 552 = 2*q. Is q a multiple of 23?
True
Let n be 1 - (0/1)/(-4). Does 15 divide n*(-4 - 0 - -49)?
True
Suppose 29*d - 2529 - 2517 = 0. Does 29 divide d?
True
Let c = -29 - -33. Is 2 a factor of c?
True
Suppose 18 - 3 = 5*l. Let s(q) = -4*q + 11. Let n be s(2). Suppose 5*h - n*i = 294, i = -3*h - l*i + 188. Does 20 divide h?
True
Suppose -110*k + 3744 = -92*k. Does 30 divide k?
False
Let n be (12/(-42))/((-27)/(-14) + -2). Suppose 27 + 57 = n*u. Is u a multiple of 2?
False
Let r = 18 + 127. Is r a multiple of 6?
False
Suppose 14*m + 20*m = 16660. Is m a multiple of 14?
True
Suppose -6*v = -v - 860. Let j(f) = f**3 + 16*f**2 + 21*f + 4. Let u be j(-14). Let p = v - u. Is p a multiple of 14?
True
Does 12 divide 28*(-134)/(-52) - 4/26?
True
Let s = 1427 - 801. Is 3 a factor of s?
False
Suppose 6*u - 48 = -0*u. Suppose -u*y = -5*y - 162. Does 27 divide y?
True
Let v = 10 + -10. Suppose v = -4*n - 3*a - 159, 9*a = n + 4*a + 11. Is 17 a factor of (68/(-3))/(24/n)?
True
Suppose 0 = -2*f + 3284 - 240. Is f a multiple of 77?
False
Suppose -j = -5*j - 12, -2*j = -4*y + 1998. Suppose -8*b + 4*b = 3*m - y, -5*m + 494 = 4*b. Is b a multiple of 27?
False
Let h(s) = s**2 - 3*s + 4. Let a be h(2). Does 29 divide 127*2/a + 0?
False
Let b = 63 - 21. Suppose -2*l = 2, -3*r - b = -l - 2*l. Does 15 divide (40/(-2))/(10/r)?
True
Suppose -8274 = -26*y + 72. Does 44 divide y?
False
Suppose 4*n + 3*f = 3, -4*n = -0*f - 5*f - 27. Let u be n + 0 + 28 + -1. Is u + (-2 - 1) + 1 a multiple of 12?
False
Let j = 4 - 3. Let l(v) be the third derivative of 43*v**5/60 - v**4/12 + v**3/6 + 7*v**2 + 45. Does 14 divide l(j)?
True
Let u(f) = -7*f**2 + 1 + 0 - f**2 + 12*f + 7*f**2. Let a(m) = -m + 3. Let r be a(-7). Is 14 a factor of u(r)?
False
Is (7*-64)/(7/189*-6) a multiple of 36?
True
Suppose -3*i + 417 = -150. Suppose 4*p - p - i = -4*y, 3*y = p + 145. Suppose y = 2*q - 56. Is 17 a factor of q?
False
Suppose 2*q + 26 = q - 5*p, 0 = -2*q + 5*p + 8. Let g(c) = -c**3 - 3*c**2 + 16*c + 8. Is g(q) a multiple of 4?
True
Let g = 263 + 1837. Is 20 a factor of g?
True
Let s(i) = -i + 4. Let b be s(5). Let y be (1/b - 40)*-1. Let h = -14 + y. Does 10 divide h?
False
Suppose -90 = 8*i - 274. Does 12 divide i?
False
Let g = 2538 + -1372. Is 53 a factor of g?
True
Does 18 divide 7*(153/14)/((-2)/(-8))?
True
Let i = 49 + 23. Is 7 a factor of i?
False
Suppose p = 5*i - p - 3141, 3*i = 4*p + 1879. Is 8 a factor of i?
False
Let w(r) = r**2 - 5*r - 4. Let z be w(6). Suppose z*t = -2*t + 344. Is 15 a factor of t?
False
Let s(l) = l**3 - l + 88. Let q(a) = a**3 - 5*a**2 - 6*a. Let v be q(6). Let x be v*(-3 + (-20)/(-8)). Is s(x) a multiple of 25?
False
Suppose 1 = 2*i - 11. Let a = -4 + i. Suppose 0 = a*f - f - 12. Is f a multiple of 12?
True
Let c = -20 + 164. Is c a multiple of 10?
False
Suppose 4*a - 2 = -3*m, -3*a + 5 = 3*m - 1. Let p(n) = -n**2 + 6*n + 2. Let o be p(m). Suppose -i = -2*z - 3*i + 26, -3*i = o*z - 23. Is 16 a factor of z?
True
Suppose 1287 = 8*r - 1089. Is r a multiple of 27?
True
Let p(g) = 3*g - 12. Let o be p(8). Does 15 divide 56 + 7 + o/(-4)?
True
Suppose 5*k - 4*r = -17, 2*k - 4*k + 10 = 4*r. Let j be (-160 - 4)/(k - 1). Suppose -50 = 2*g - 5*g + 2*s, 4*g + 5*s = j. Does 9 divide g?
True
Suppose -5*m = -4*f + 163, f + 0*m - 22 = 5*m. Let k(p) = p**3 + 9*p**2 - 12*p + 3. Let i be k(-10). Let b = f - i. Is 12 a factor of b?
True
Let t = 130 - 78. Suppose t = 3*c - 5*c. Is (-6)/4 + (-221)/c a multiple of 5?
False
Let s = 1 + -13. Let f = 14 + s. Let g = f - -18. Is g a multiple of 10?
True
Let n(u) = -4*u + 9. Is 15 a factor of n(-24)?
True
Let l = -141 + 211. Does 18 divide l?
False
Let v = -246 + 239. Let d(f) be the first derivative of f**3/3 + 5*f**2/2 + 4*f + 1. Is 6 a factor of d(v)?
True
Let q(d) = d**2 - 4*d + 8. Let i(o) = -o + 7. Let a be i(-8). Let b = a - 9. Is 10 a factor of q(b)?
True
Let t = -7 + 7. Suppose t*y + 5*y - 320 = 0. Is 32 a factor of y?
True
Let m(y) = y**3 - 11*y**2 - 12*y + 3. Let r be m(12). Let k be (r - -2)*(-4)/(-10). Suppose 0 = -2*h + 2*l + 56, h = 4*l + k + 17. Is 14 a factor of h?
False
Suppose 8 = q + q - s, -5*s = 20. Suppose -q*o + 9 = -5. Suppose -54 = -o*v + 5*v. Is 11 a factor of v?
False
Suppose 7*z - 6*z - 4*a + 269 = 0, -2*a = -z - 259. Let r = 354 + z. Is r a multiple of 35?
True
Let p be (4/(-3))/(2/(-21)). Is 50 a factor of 199*1*(p - 13)?
False
Let b be 9/(-21) + 535/7. Suppose o = -p + b, p - o = -5*o + 67. Is 10 a factor of p?
False
Let l(p) = 99*p**3 + p**2 + 3*p + 1. Let q be l(-1). Let u = -58 - q. Does 14 divide u?
True
Suppose -12 = -m - u - u, -u = -4*m + 30. Suppose 1 = 3*j - m. Suppose -q - 130 = -6*l + 3*l, j*l + 2*q = 145. Is l a multiple of 15?
True
Let k(d) = d**2 + 13*d - 12. Let h be k(-14). Let u(p) = -p + 2*p - p + 5 + p**h. Does 21 divide u(-4)?
True
Let f = 2149 + -1423. Is 16 a factor of f?
False
Let t(o) = 3*o**2 - 13 - 2*o**2 + 2*o - 5 + 13*o. Let f be t(-16). Does 6 divide 28 - (-4 - f)/(-2)?
False
Let y(j) = 144*j**2 + j. Let b be y(1). Suppose -4*f + 5*a = -f - b, 0 = -4*f + a + 182. Does 21 divide f?
False
Suppose 6*s = -16*s + 21054. Does 29 divide s?
True
Let s = -519 - -450. Let l be 7 + (1 - -1 - 1). Is s/(-2) + 4/l a multiple of 35?
True
Does 3 divide (0/3 - 1)*(7 + -50)?
False
Let s be 7/(2 - 1) - 3. Let r = s - 1. Suppose 32 = r*f - f. Is 5 a factor of f?
False
Let o = -3 + 9. Is (548/o - 16/(-24)) + -3 a multiple of 17?
False
Suppose -3*r + q + 3112 = 0, r + q - 31 = 1001. Is r a multiple of 10?
False
Suppose -8*t = -3*t + 60. Let k(m) = m**2 + 2*m - 28. Is 23 a factor of k