36644. Is 5 a factor of g?
False
Suppose 5512 = 94*z - 99*z + 17692. Does 42 divide z?
True
Let a be 1/(-3) - 5256/27. Let r = a - -315. Is 6 a factor of r?
True
Is (-135572)/(-42) + ((-725)/105 - -7) a multiple of 9?
False
Let k(a) = 2*a**3 - 18*a**2 + 7*a + 22. Let t = 180 + -171. Is 11 a factor of k(t)?
False
Is ((-641560)/(-50))/(((-4)/5)/(-2)) - 9 a multiple of 93?
False
Let i(h) = -h**2 - 6*h + 11. Let f(w) be the second derivative of w**5/20 - w**4/2 + w**3/6 - 6*w**2 - 11*w. Let k be f(6). Does 11 divide i(k)?
True
Suppose -12*h + 211 = -11*h. Suppose 4*s + 577 = 5*d, -d - 5*s + h = d. Is d a multiple of 21?
False
Suppose -25*j - 11*j + 124830 = 2*j. Is 15 a factor of j?
True
Suppose -4*i = -10770 - 5686. Suppose i = o + 10*o. Does 34 divide o?
True
Let t = 7070 - 68. Is t a multiple of 9?
True
Let g(a) = -a. Let w(v) = -4*v + 62. Let z(s) = 3*g(s) + w(s). Does 66 divide z(-10)?
True
Suppose -g = -3*l + 941, 3*l - 10*g + 7*g = 939. Is 20 a factor of (-36)/(-8)*(-7)/(-21)*l?
False
Suppose -44 - 19 - 77 = -70*q. Let i be 218/(-4)*(-11 + 1). Suppose 0 = -5*s + 5*y + i, q*s = -s - 5*y + 287. Is 12 a factor of s?
False
Let t(o) = 3*o - 28. Let b be t(10). Suppose -i - 2*a = -26, -a = -b*i + 24 + 43. Is i a multiple of 4?
True
Let x be (-1680)/(-2)*19/((-1330)/(-56)). Is 14 a factor of 855936/x + (2/(-7))/(-1)?
True
Let a(z) = -927*z - 622. Does 155 divide a(-5)?
False
Suppose 5*o - 66*t = -65*t + 161, 3*o - 4*t - 83 = 0. Let s = 4 + -6. Does 6 divide (o/(-2))/(s + (-18)/(-12))?
False
Let c(l) = l**3 + 6*l**2 - 9. Let u(m) = m**3 + 6*m**2 + m - 9. Let v(r) = 2*c(r) - 3*u(r). Let p be (-14)/(-1 - (-2 - 1)). Does 23 divide v(p)?
False
Let a = 3260 + -3112. Does 2 divide a?
True
Let k = -203 + 205. Suppose 5*q = -3*g + 1671, 0 = k*q + 2*g - 493 - 173. Is 56 a factor of q?
True
Let m = -73 - -68. Is 37 a factor of m + 952/12 - (-2)/(-6)?
True
Is 21 a factor of (2631/(-2))/(72/(-112))*(2 - -1)?
False
Suppose 31*r = 38*r - 14364. Does 18 divide r?
True
Let f = -21 - -41. Let n be (-48)/f - -2 - (-242)/5. Let k = n + -39. Is k a multiple of 8?
False
Let k = 15 + -10. Suppose 4*x - 16 = 5*c, -3*x + 14 = k*c + 2. Suppose x*z - 4*t = -3*t + 468, 0 = -5*t - 20. Does 10 divide z?
False
Suppose 8*q + 64423 = 193079. Suppose -34*r = 9*r - q. Does 22 divide r?
True
Suppose -j - 4*j - 3*i - 49 = 0, 22 = -2*j - 2*i. Let v be (-487)/(-7) - j/(-14). Let z = 167 - v. Is z a multiple of 20?
False
Does 5 divide (-90)/15*1379/(-42)?
False
Suppose -4*w + a + 7177 = w, 0 = 4*w - 3*a - 5746. Is (-48)/(-10)*w/28 a multiple of 22?
False
Suppose 5*q - 5*p = 35, -1 = 2*q - 0*p + p. Let d(z) be the third derivative of z**5/15 + 11*z**4/24 - 17*z**3/6 + 8*z**2 + z + 127. Does 14 divide d(q)?
False
Suppose 2*s = -q - s - 161, 3*s - 12 = 0. Let n = 36 - q. Does 9 divide n?
False
Suppose 0 = s - 3*o - 4866, 0 = -s + 10*o + 2183 + 2669. Is s a multiple of 84?
True
Suppose j + 45300 = -4*i + 6*i, 0 = 4*j - 2*j. Is 151 a factor of i?
True
Let u(q) = 235*q + 1160. Does 5 divide u(15)?
True
Let k be (97 - -11)*(-63)/(-6). Let w = k + -788. Does 3 divide w?
False
Let y(j) = 2*j**2 + 10*j + 13. Let i be y(-5). Let o(m) = -3*m**2 + 43*m - 17. Is 16 a factor of o(i)?
False
Suppose z + 143 = 140. Is (z - -3) + (-1932)/9*-3 a multiple of 46?
True
Let p(t) = -t**3 + 7*t**2 + 8*t + 6. Let n be p(8). Suppose 2886 = n*x - 3786. Does 13 divide (-1)/(2/4*(-16)/x)?
False
Let i(a) = a**3 - 7*a**2 - 2*a + 9. Let s be i(6). Let z = 36 + s. Let p(l) = -16*l - 5. Is 19 a factor of p(z)?
False
Let c be 20/8*(-18)/(-15). Suppose 0 = n - h - 8, -c*h - 4 = -n - 0. Suppose -n*b + 5*b + 825 = 0. Is b a multiple of 33?
True
Suppose 118297 - 103447 = 15*m. Is 10 a factor of m?
True
Suppose -21 - 3 = -3*a. Suppose -q = -2*j + 3*j - 96, -276 = -3*q - 6*j. Suppose -a*s + q = -3*s. Is 3 a factor of s?
False
Suppose 840 = 5*z - 40*z. Is z/(-4)*-11*21/(-6) a multiple of 16?
False
Let v(z) = 224*z**2 + 73*z + 404. Does 55 divide v(-6)?
True
Does 87 divide (59682/686)/(2 + (-90)/46)?
True
Let o be (3 - (-18)/(-4))/((-138)/460). Let f(m) = -4 + 28*m + 2 + 22. Does 13 divide f(o)?
False
Suppose 29*m - 129 + 42 = 0. Suppose m*a + 1779 = 3*t, -5*t = -2*a + 422 - 3375. Is 17 a factor of t?
False
Is 3 a factor of (-3784627)/(-575) - 20/(-500)?
True
Let a be -1 - -4 - (-3 + 5 - 20). Let l(o) = -o**3 - 4*o**2 + 3*o + 2. Let n be l(-5). Suppose -11*s - a = -n*s. Does 4 divide s?
False
Suppose 0 = 19*y - 231 - 624. Is 7 a factor of 4/18 + 9800/y + -14?
False
Suppose 2*j + 186 = 3*m, -399 + 150 = -4*m + 3*j. Let v = 74 + -26. Let q = m + v. Is 30 a factor of q?
False
Let c be (0 - 5/25) + 558/(-10). Let l = c - -430. Does 34 divide l?
True
Suppose -18 - 30 = 4*k. Let h(b) = -b**3 + 15*b**2 + 5*b + 82. Let v be h(15). Let d = v - k. Does 15 divide d?
False
Let g(p) = -p**3 - 13*p**2 + 19*p + 56. Let i = 90 - 106. Is g(i) a multiple of 26?
True
Let n(h) = h**2 - 16. Let s be n(8). Suppose 5*a + s = -2*c + 209, 0 = -2*a - 5*c + 56. Suppose 5*f + a = 2*q, -f = -0*f + 5. Is q even?
True
Suppose 2*u - 9 = -5. Let m(i) = 162*i**3 - 4*i**2 - 11*i + 30. Does 15 divide m(u)?
False
Let c(g) be the second derivative of -g**5/10 - g**4/2 + 3*g**3 + 71*g**2/2 - 19*g. Is 27 a factor of c(-7)?
False
Is 39897/26 - (14/(-4) + 2) a multiple of 12?
True
Let j = -223 + 223. Suppose -8 = -4*f, j*f = 2*x - 5*f - 60. Is 4 a factor of x?
False
Let v be ((-1 - 2)/((-6)/16))/(11090/404785). Suppose r = -0*r - 194. Let f = v + r. Is 7 a factor of f?
True
Let v = -36 - -525. Let k be v/(-4*(-2)/136). Does 9 divide k/306 - (2 - 1)/6?
True
Let d be (-1)/((-2)/(-112))*30/(-35). Let q = d - -8. Suppose -5*s + z = -0*s - 131, -2*s + 4*z = -q. Does 8 divide s?
False
Let s(l) = -l**3 - 9*l**2 - 7*l - 13. Let n(t) = 3*t**3 + 26*t**2 + 20*t + 39. Suppose 0 = 5*a - 35 + 120. Let o(i) = a*s(i) - 6*n(i). Is 8 a factor of o(-6)?
False
Let b = 1852 + -368. Suppose -2*y + 994 = -4*f, -f + b = 3*y - 0*y. Is 33 a factor of y?
True
Let l(n) be the second derivative of 7*n**3/6 + n**2/2 - n. Suppose 54*i + 10*i = 384. Does 10 divide l(i)?
False
Let n = -16 + -7. Let r(t) = -t + 130. Is 42 a factor of r(n)?
False
Let p = -6485 - -9210. Is 15 a factor of p?
False
Let o be (-9)/(-81)*-4*9/(-1). Let p(n) = 2*n**3 - 5*n**2 + n - 3. Let f(u) = -2*u**3 + 5*u**2 - u + 4. Let t(m) = -6*f(m) - 5*p(m). Is 6 a factor of t(o)?
False
Suppose 5*k - 5*x = 1785, -5*k + 3*x + 1791 = -0*k. Let p = -89 + k. Is p a multiple of 47?
False
Let c(v) = 2*v - 16. Suppose -5*z + 1 - 15 = k, -3*z - 30 = -3*k. Let a be c(k). Is (-9 + (-12)/a)*(-40)/12 a multiple of 3?
False
Let t be 91/(-1 - 6) + 2/1. Let q = 477 + t. Suppose q = 3*j + n, -242 = -4*j - 5*n + 361. Is j a multiple of 12?
False
Suppose 0 = 159*j - 12*j - 895230. Is j a multiple of 42?
True
Let k(x) = x**3 + 20*x**2 - 9*x + 33. Let p be k(-15). Let q = p - 773. Is q a multiple of 8?
True
Suppose -3*b + 25675 = 5*o, -135*b = -134*b + 2*o - 8556. Is b a multiple of 31?
False
Suppose -3*i + q + 35 = 0, 0 = q - 0*q + 5. Is 20*(-4 + -1 + 105/i) a multiple of 22?
True
Let j be (-2)/15 - ((-9985)/75 - -6). Suppose -5*n + 4*y = -j - 363, -3*n + 316 = 2*y. Does 6 divide n?
True
Let s(x) = 7*x**3 - 13*x**2 + 6*x - 294. Is s(14) a multiple of 14?
True
Suppose 2*i + 23 = 3*h - 67, 0 = 2*h + 4*i - 76. Suppose v + 4*g = h, -2*g - 38 = -3*v - v. Suppose v*w - 953 - 607 = 0. Does 13 divide w?
True
Suppose 14*i = -0*i + 4158. Let b = i + -257. Does 8 divide b?
True
Suppose -40 = -3*a - 4. Suppose x - 3168 = -23*x. Suppose -x = -3*v - a. Is v a multiple of 20?
True
Let h(b) = -5*b**2 + 74*b + 13. Let q be h(8). Let g = q + 162. Does 24 divide g?
False
Suppose 5*c + 19*u = 17*u + 6500, 4*u + 5172 = 4*c. Is c a multiple of 3?
False
Suppose 3 = 3*g - 5*o, 25*o = 2*g + 21*o. Is 44 a factor of (g/15)/(26/(-65)) + 45?
True
Suppose 2*m + 28 = 4*y - 178, -5*m + 25 = 0. Suppose -5*l = -4*o + 190, -4*l - y = -4*o + 134. Is o a multiple of 16?
False
Let j(f) = 167*f**2 - 3*f + 3. Suppose 23*v = -2*v + 50. Does 8 divide j(v)?
False
Suppose -16*s + 2687 + 2225 = 0. Suppose 15*v = 983 + s. Does 7 divide v?
False
Suppose -2*j + 25*j - 128250 = 4*j. Does 119 divide j?
False
Let x = -21 + 20. Let v be -3 + (-50)/(-1) - x. Let a = 79 - v. Is 7 a factor of a?
False
Let 