a factor of g(-4)?
True
Is 8 a factor of (1796/5)/(10/125)?
False
Let j = -129 - -244. Let z be (8/70 + 2/(-5))*-7. Suppose 4*o + 3*r - 6*r - 257 = 0, z*o + 3*r = j. Does 31 divide o?
True
Let n = 25 + -16. Suppose 13*p - n*p = 276. Let g = -37 + p. Is g a multiple of 14?
False
Let n = 103 - 97. Let m be (0 - 10)/(1/(-4)). Suppose m = 7*t - n*t. Does 10 divide t?
True
Let f(z) = -3*z**2 + 22*z + 82. Let l(k) = 3*k**2 - 21*k - 82. Let c(v) = 2*f(v) + 3*l(v). Does 7 divide c(17)?
True
Suppose 15239 - 19299 = -10*x. Does 58 divide x?
True
Let k(n) = 157*n**2 - 1. Let d be k(-2). Suppose 62*t = 73*t - d. Is t a multiple of 3?
True
Suppose 0 = -4*r + 3*y + 6959, r - 109*y + 106*y = 1751. Does 56 divide r?
True
Let i(w) = 2*w - 2. Let j(d) = d - 1. Let v(n) = -2*i(n) + 3*j(n). Let q be v(3). Is ((-1)/q)/(11/(-22)) - -48 a multiple of 47?
True
Let i(z) be the third derivative of z**5/20 + z**4/8 + z**3/6 - 3*z**2. Let w be i(-3). Suppose 2*n - 87 = w. Is 10 a factor of n?
False
Let o be (-71232)/(-120) - (-4)/10. Let x = o + -301. Is x a multiple of 15?
False
Let m(d) = d**3 + 17*d**2 - d - 26. Let w be m(-15). Let x = w - 349. Is 10 a factor of x?
True
Suppose -110*l + 111*l + 4*r - 1608 = 0, 5*l - 7914 = r. Does 48 divide l?
True
Let b(n) = -4*n + 10. Let s(j) = -16*j - 1. Let k be s(-2). Let f = k + -39. Is 7 a factor of b(f)?
True
Suppose 25*z - 24*z - 3 = 0. Let b = 14 + -12. Suppose -c = -b*f - 2*c + 160, -160 = -2*f - z*c. Does 31 divide f?
False
Let p(o) = -o**3 - 6*o**2 + 8*o + 13. Let z be p(-7). Suppose -2*b - 5*d = -z*b + 1944, -2*b - 5*d + 942 = 0. Does 29 divide b?
False
Let d(b) = 62*b**2 - 217*b - 23. Is 17 a factor of d(-12)?
True
Let r = 11205 + -537. Is 127 a factor of r?
True
Let n = 4266 - 912. Does 43 divide n?
True
Let b = -5 + 208. Let o = 331 - b. Does 9 divide o?
False
Suppose 3*c + c - 994 = 3*m, -c - 5 = 0. Let o = 474 + m. Does 17 divide o?
True
Let d(q) = q**3 + 7*q**2 + 35*q - 78. Is 33 a factor of d(15)?
False
Suppose 149512 + 112108 + 86023 = 57*x. Does 57 divide x?
True
Let d be 864/(-504)*14/(-8)*2. Let p(u) = 28*u**2 - 130*u + 8. Does 23 divide p(d)?
False
Suppose -5*d - 20 = 0, 0 = 3*q + 3*d + d + 16. Suppose q = -29*g + 2239 + 13334. Is 33 a factor of g?
False
Suppose -45*k = 59*k - 6444984. Is 13 a factor of k?
True
Suppose 0 = -11*y - 4 - 29. Is 4/(40/(-210))*7/y a multiple of 26?
False
Let c(u) = u**3 + 14*u**2 - u + 2. Let w = -141 - -133. Is 26 a factor of c(w)?
False
Suppose 7 - 36 = -g. Suppose -28*d = 41*d + 1173. Let r = d + g. Does 3 divide r?
True
Is 15 a factor of (2/6)/(15/56025)?
True
Suppose -65 = 5*y - 2*b, 15*b - 16*b = -4*y - 55. Suppose -4*i + 5 = -3*f, i - 5*f + 5 = -3*i. Is (5*i/y)/(3/(-27)) a multiple of 6?
False
Let g(y) = y + 22. Let w be g(-13). Suppose -10*v = -w*v - 88. Suppose 12 = 4*q - v. Does 10 divide q?
False
Let g(s) = -60*s - 1. Let u be g(-13). Suppose -3*n - 4*o + 16 = -3*o, 5*o - 20 = 0. Suppose n*m + z - u = 0, 2*z + 2*z = m - 216. Does 28 divide m?
True
Does 20 divide (4/9 - 76912/(-1584))/((-1)/(-5))?
False
Let q(s) = -s - 11179 - 11170 + 22353 + 3*s**2. Let f = -5 - -10. Is q(f) a multiple of 13?
False
Let x be (-74172)/(-98) - (-3)/21. Let d = x - 613. Is d a multiple of 8?
True
Let v(t) = 10*t**3 + 2*t**2 + 38. Let b be v(-6). Is (1/((-5)/30))/(15/b) a multiple of 82?
True
Let r(q) = -458*q + 623. Does 13 divide r(-8)?
False
Suppose -63 = -12*a + 105. Let o(b) = 2*b**2 - a - 2 - 19 + 3*b - 11. Does 27 divide o(-9)?
False
Suppose 0 = 11*p - 12*p - 2*l + 3450, 5*l = -10. Is p a multiple of 157?
True
Suppose -48 + 81 = 11*q. Suppose -q*d = -5*p - 595, 2*d - 53*p - 406 = -52*p. Does 21 divide d?
False
Suppose 32*f - 1726 = 29*f + 23. Does 7 divide f?
False
Suppose 36128 + 24709 = 13*m - 17085. Is 111 a factor of m?
True
Let h(l) = l**3 + 28*l**2 - 54*l - 67. Let q be h(-29). Suppose -q*u = -655*u - 918. Is u a multiple of 2?
True
Let w = -81 + 87. Suppose -838 = -w*a + 986. Is a a multiple of 13?
False
Suppose -3*g + 2*d + 15585 = 0, 0 = -12*d + 13*d. Is 59 a factor of g?
False
Suppose 4*r = 2034 + 1010. Suppose 306 - 1445 = -3*m + 5*s, 2*m - r = 5*s. Suppose -2*h - 4*z - m = -7*h, 0 = -4*h - z + 315. Is h a multiple of 27?
False
Is (3/((-3)/(-2)))/(2796838/254254 + -11) a multiple of 12?
False
Let r(h) = h**3 + 44*h**2 + 27*h - 240. Let k be r(-40). Suppose 68*n = 64*n + k. Is n a multiple of 43?
False
Is ((-8)/6 - (-264)/252) + (-122000)/(-14) a multiple of 138?
False
Let s(n) = 408*n - 2*n**3 + n**3 - 218*n + 30*n**2 - 215*n + 71. Is s(29) a multiple of 17?
True
Let p(y) = -7*y + 31. Let v be p(16). Let f = -75 - v. Suppose 0 = f*n - 246 - 294. Is n a multiple of 22?
False
Let v(h) = 5*h + 52. Let s be v(-7). Let p = 231 + s. Does 5 divide p?
False
Let m be 26/156 - (2 + (-9442)/12). Suppose 955 = 6*z - m. Does 58 divide z?
True
Let c(o) = 56*o - 308. Let p = 11 + 0. Is 14 a factor of c(p)?
True
Suppose 26*g - 115 = 21*g. Suppose 0 = -25*b + g*b. Suppose 4*l - 772 = -5*p, b = 3*p + l - 3*l - 472. Is p a multiple of 39?
True
Let g = 313 - -6584. Does 19 divide g?
True
Is 13 a factor of (120672/(-21))/((9/(-12))/(672/128))?
False
Let t(w) = 17*w - 48. Let d be t(3). Suppose 0 = -d*u + 2707 - 769. Is 19 a factor of u?
True
Suppose x - 308 = -6*x. Let n(a) = 35*a - 34 - 117*a + 46*a + x*a. Is n(14) a multiple of 39?
True
Let k(w) = -2*w. Let a(u) = u**2 - 24*u + 5. Let i(z) = -a(z) - 5*k(z). Is i(15) a multiple of 35?
True
Let j(x) = -1246*x**3 - 11*x**2 - 2*x + 8. Is 12 a factor of j(-2)?
True
Let k(r) = -17*r - 1. Let s be -1*13/(-1) + -4. Let u be 0 - 3 - (s + -11). Is 15 a factor of k(u)?
False
Suppose 2 = -2*u + 5*f + 6, -5*u + 5*f - 5 = 0. Let p be -5*u/5 - -94. Let o = -78 + p. Is o a multiple of 3?
False
Suppose -3*w + 10217 = r, 10*w + 40778 = 4*r + 7*w. Is r a multiple of 17?
False
Let f(m) = -15*m**3 - 39*m**2 - 4*m + 90. Is f(-13) a multiple of 29?
True
Let j be (4 + -2 - 0)*(-6 + 7). Suppose y = -j*y. Let s(q) = 9*q + 30. Is 5 a factor of s(y)?
True
Suppose -4*l + 4*d + 24 = -l, l - 4*d = 8. Suppose l*o - 5*o - 411 = 0. Suppose -4*y = t - 277, -y + o = y + t. Is 10 a factor of y?
True
Let k = 610 + -606. Suppose k*v + 900 = 14*v. Is 23 a factor of v?
False
Let z(b) = 6*b**3 + 555*b**2 + 44*b - 210. Is z(-92) a multiple of 66?
False
Let z be (6/(-2 - -4) - 1372)*-1. Suppose -1583 - z = -8*k. Does 30 divide k?
False
Let h = 12837 - 5405. Is h a multiple of 41?
False
Let h be (-16 - 1)/((-3)/3). Let n(i) = 2*i**3 + 44*i**2 - 95*i + 21. Let z be n(-24). Is 10 a factor of z - ((-1443)/h - (-30)/(-255))?
False
Suppose -58*p + 26415 = -54*p + 3*d, -3*d = -p + 6585. Is p a multiple of 40?
True
Let j(t) = 34*t**2 - 9*t - 5*t - 7 + 15*t. Is 11 a factor of j(2)?
False
Suppose 140 = 11*y - 1796. Suppose v - 3*r + y = -8*r, -4*v - 3*r - 772 = 0. Let z = -86 - v. Is 22 a factor of z?
True
Let z = 2366 + -1958. Is z a multiple of 24?
True
Suppose 2309*c - 43200 = 2289*c. Is c a multiple of 20?
True
Let g = 58 + -34. Let f(r) = -5 + 0*r + 3 - 3*r + g. Is 2 a factor of f(6)?
True
Let z = 226 - 1703. Let x = z - -2148. Is x a multiple of 10?
False
Let q(s) = 421*s**3 - 17*s**2 + 6*s + 9. Is 31 a factor of q(2)?
False
Let i(a) be the third derivative of a**5/30 + a**4/2 - 10*a**3/3 - 28*a**2. Does 12 divide i(-10)?
True
Is (5/30)/((-21)/(-36))*27188 a multiple of 8?
True
Suppose 602*x = 626*x - 69792. Is x a multiple of 21?
False
Suppose 0 = -8*k + 12*k - 36. Suppose 3*s - 21 = k. Suppose -8*z - 100 = -s*z. Is z a multiple of 10?
True
Let y = -65 + 116. Suppose 0 = -6*f + 5*f + y. Suppose -r + f = -9. Is r a multiple of 15?
True
Let u(v) = v**3 + 9*v**2 + 22*v + 17. Let b be u(-5). Is ((-189)/b + -7)*(-102)/4 a multiple of 16?
False
Suppose -2*l - l = -3*p - 1020, 3*l - p - 1014 = 0. Let k = l + -61. Is 8 a factor of k?
False
Suppose -a + 1750 = 3*h - 3*a, 3*h = 3*a + 1755. Let y = h + -400. Is 30 a factor of y?
True
Suppose -1596 = 30*v - 24*v. Let j = 479 + v. Let m = -125 + j. Is 9 a factor of m?
False
Let k = -6097 - -15124. Is k a multiple of 39?
False
Is (17 + 1817)*-4*(-3 + 15/6) a multiple of 3?
False
Let l(h) = -h**3 + 63*h**2 + 75*h - 1084. Is l(39) a multiple of 294?
False
Suppose 20*b + 161809 + 28691 = 0. Does 22 divide b/(-45) - (-5)/(-3)?
False
Suppose -733538 