 = t, -2*t - c*z - z - 8 = 0. Suppose 0 = 5*q + b - 876, -b = 3*q - t*b - 532. Is 16 a factor of q?
True
Suppose 100*l - 308 = 89*l. Let y(a) = a**2 - 28*a + 57. Is y(l) a multiple of 3?
True
Does 92 divide -1 - ((-4)/(-18) - (-111813)/(-27))?
True
Suppose -3*n - 3255 = 3*g, -2*n + g - 77 = 2093. Let o = n - -2150. Is 43 a factor of o?
False
Let u be 12 + (-1)/5*-10. Suppose -15*a = -u*a - 80. Does 10 divide a?
True
Let g(l) be the third derivative of -l**5/60 - l**4/12 + l**3/2 - 11*l**2. Let c be g(-3). Suppose 2*f - 7 = -z, 2*z + f + 0*f - 26 = c. Is z a multiple of 15?
True
Let d = 76 + -128. Let j = -380 - -268. Let i = d - j. Is i a multiple of 20?
True
Does 28 divide (2*(-992)/(-24))/((-1)/(-33))?
False
Let q(k) = 2*k**2 + 8*k - 79. Let m be q(7). Let l = m + 82. Does 16 divide l?
False
Let r(i) = i**3 - 13*i**2 - 7*i - 18. Let u be r(13). Suppose 0*s - 2*s = 76. Is 16 a factor of u/(-3) + s/(-57)?
False
Let s(a) be the first derivative of -109*a**2/2 - 285*a + 184. Is s(-14) a multiple of 15?
False
Suppose 4*i = 5*w - 14, w = -2*w - 2*i + 26. Suppose -10 = m - w*m. Suppose 4 = -2*y, -5*b + m*y = 5*y - 834. Does 22 divide b?
False
Let y be 3 + (-1 - 1) + 4/1. Suppose -11 - 47 = -4*n - y*z, -10 = -5*z. Suppose -4*v - v = s + n, 0 = 3*s - 2*v - 32. Does 4 divide s?
True
Suppose 5*w + 17 = -j, -3*j = -3*w - 8*j + 3. Let b be 442/1 + (-2 - w). Suppose 14*d - b = 11*d. Does 37 divide d?
True
Let f(m) = m**3 - m**2 - 4*m + 180. Let x(r) = r**2 - 3*r - 6. Let h be x(4). Let b be (-12)/21 + (h - (-90)/35). Is f(b) a multiple of 18?
True
Suppose -6*g - 5*g + 19976 = 0. Suppose g = 27*k - 560. Is k a multiple of 8?
True
Let f be 4/(-2 - -10) + 58/4. Let u be (f/15)/((2/(-18))/(-1)). Does 2 divide (-24)/u*((-45)/(-4))/(-3)?
True
Suppose m + 515 = -4*m + 5*q, 560 = -5*m - 4*q. Let o = 12 - m. Is 20 a factor of o?
True
Let r(u) = u**3 + 8*u**2 + 5*u - 9. Let h be r(-7). Let w(g) = -g**3 + 11*g**2 + 7*g - 11. Let b be w(h). Let t = b - 97. Does 10 divide t?
False
Let r = 4732 - 2162. Does 5 divide r?
True
Let h be (15/9)/((-11)/(-33)). Suppose 2*g = 4*f - 648, -2*f - 4*g - 486 = -h*f. Does 9 divide f?
True
Does 6 divide 5 + -21 - (-7910 + -50)?
True
Is 30 a factor of -1080*(-3)/(-12)*-10*(-12)/(-20)?
True
Let w(n) = -13*n + 72. Let y be w(6). Let g = 4 - 14. Is 10 a factor of 520/g*y/8?
False
Is 92 a factor of (29 - (18 - -8)) + 46247?
False
Is 554/2493 + (-3480496)/(-252) + (-4)/(-14) a multiple of 183?
False
Let z be (0 - 2/1)*(-5)/2. Suppose -z*y = -2*d + 220, -4*d + 301 = -3*y - 125. Suppose 0 = 4*n - 9*n + d. Is 7 a factor of n?
True
Let f(a) = a**2 + 15*a - 48. Let c be f(4). Is 6 a factor of 4/14 - ((-3744)/c + -5)?
False
Let g = 134 - 131. Is g/(-6)*-1378 + 0 + -1 a multiple of 86?
True
Let m(l) = -l**3 + 3*l**2 - 10*l + 14. Let p(i) = i**2 - i. Let g(t) = m(t) - 5*p(t). Is g(-6) a multiple of 18?
False
Suppose 4*k - 3*j = -14, -3*k - 1 - 13 = -4*j. Let v = 255 + k. Does 11 divide v?
True
Let u(w) = -w**2 + 23*w + 40. Let b be u(25). Let j be (b + -5 + 3)*(-4)/(-2). Is 102/(((-6)/10)/(j/30)) a multiple of 17?
True
Suppose -11907 = -3*a + 3*j, 44*a - 48*a + 15891 = j. Is a a multiple of 43?
False
Let q(p) = 2*p**2 - 5*p + 10. Let t = -9 - -11. Suppose 0 = -t*s + w + 17, 0 = -5*s - w - 2*w + 15. Does 13 divide q(s)?
True
Suppose 0 = n - 13 + 5. Suppose j - n*q + 10*q - 31 = 0, -2*q - 124 = -4*j. Is j a multiple of 3?
False
Suppose -55*r + 4*y = -60*r + 37, -3*y + 9 = 0. Suppose r*v + 5*c - 456 = 654, 0 = -2*v - 5*c + 450. Does 16 divide v?
False
Let v be (651/28)/(15/40). Suppose 0 = 59*t - v*t + 396. Does 2 divide t?
True
Let k(n) = n**3 + 76*n**2 - 4*n + 208. Is 2 a factor of k(-76)?
True
Let l be (-130)/14 + -2 - (-8)/28. Let w(d) = 2*d + 25. Let z be w(l). Suppose z*o + 3*r = 24 - 3, 4*r = -2*o + 18. Is o a multiple of 5?
True
Let u be 2/6*(43119 - 9)/10. Let s = u + -1012. Is s a multiple of 7?
False
Let p be 0 + 7 - (1528 - -3). Let v = -776 - p. Is v a multiple of 17?
True
Suppose -15*o + 14*o = -3*v + 3, -4*o + 5*v + 9 = 0. Suppose -2*l + 1809 = -o*g + 3*g, -3*g = 2*l - 1791. Is 10 a factor of l?
True
Suppose p - 3*i = 4965, -15*p + 3*i - 9939 = -17*p. Is 54 a factor of p?
True
Suppose 0 = -c + 2*c. Suppose -x - 20 + 40 = c. Is 4 a factor of (-1068)/(-54) - (x/(-18))/5?
True
Is ((-2586)/(-10))/((-106)/(-4240)) a multiple of 118?
False
Suppose 1736*g = 1741*g - 85. Suppose -3*s = 12*q - g*q + 3018, -s = -5*q + 3026. Is 26 a factor of q?
False
Suppose -23058 = -2*j - 2*x, -11*x = -6*x + 10. Is j a multiple of 14?
False
Let m(l) = 843*l + 8411. Is 286 a factor of m(65)?
True
Let h(v) = v**3 - 7*v**2 - 11*v + 27. Let x be h(8). Suppose 5*q - 8*j - 775 = -x*j, -j = -5*q + 763. Is q a multiple of 4?
True
Let w be 161 + (1 - 2)*2. Let d be (40/30)/((-4)/(-15)). Suppose d*p = 6*p - w. Is 18 a factor of p?
False
Let j(a) = -28*a + 14. Let z be j(-3). Let o = 84 - z. Let m(n) = -8*n - 9. Is m(o) a multiple of 5?
False
Let n(m) = 486*m - 279. Let s be n(34). Suppose -15*x = 30*x - s. Is x a multiple of 19?
True
Suppose -1445 = 18*m + 265. Let i = 125 + m. Is 15 a factor of i?
True
Let l(t) = t**3 - 47*t**2 - 46*t - 97. Let m be l(47). Let s = -850 - m. Is s a multiple of 27?
False
Let n(s) = -94*s**3 + 5*s**2 - 5*s - 70. Is n(-5) a multiple of 33?
False
Suppose 9*b - 13*b + 32 = 0. Suppose 660 = 3*a - b*a. Is 26 a factor of a/(-3) + 1 + 0?
False
Let x = 4364 - 1984. Is x a multiple of 16?
False
Let v be (2 - 1) + -3 - (1 + -40). Suppose -5*o + v = 3*u - 68, 42 = 2*o - 2*u. Is (250/21 - 12/o)*3 a multiple of 9?
False
Suppose 2*f - 3*h = -15, 0 = 2*f + 5*h - 0*h - 25. Suppose f = 2*w - c - 1513, -5*w + 0*w - c = -3765. Is w a multiple of 29?
True
Suppose -12*c + 13*c - 178 = 0. Suppose -3*y = -0*g - g - 510, 3*g + c = y. Is 13 a factor of y?
True
Suppose -19*f + 1314758 = 166*f - 320642. Is f a multiple of 130?
True
Let s = 202 + -57. Let j = 150 - s. Suppose -85 = -j*r + 5*i - i, -4*i + 19 = 3*r. Does 13 divide r?
True
Does 8 divide ((-72)/34 - 19/((-646)/4)) + 8922?
True
Let i(w) = w**2 + w + 2. Let g be i(0). Let t be g + (-1 - (-4 - -2)). Suppose -b = -2*b + 3*z + 67, -t*z - 140 = -2*b. Is 11 a factor of b?
False
Let j(u) = -6 + 5 - 7 + 2*u**2 - u**3 - 17*u + 0*u**3. Is 14 a factor of j(-6)?
False
Suppose 2*n - 491 = m - 54, 3*m - 222 = -n. Let u = n + 1. Is 10 a factor of u?
True
Does 3 divide (1 - 5)*(1220/(-8) + -35)?
True
Let p be (-2)/((-642)/90 - -7). Is 60/p + (-2 - -510) a multiple of 63?
False
Let m(w) = w**3 + 32*w**2 + 44*w + 69. Does 33 divide m(-15)?
True
Let b(d) = 64*d**2 + d + 1. Suppose -3*r = 2*o + 3 - 10, -r = -5*o - 8. Does 32 divide b(o)?
True
Suppose -6*z - 1 = -7*z. Let v be (24/(-48))/(z/(-6)). Is 5 a factor of (v + 3)*10*2/8?
True
Suppose -3*y + 585 = 6*y. Let x = y - -28. Let g = x + -31. Is 16 a factor of g?
False
Let z(u) = 0 + 2*u + u**2 - 16 - 11*u. Let b be z(11). Is (b/12)/(1/22) a multiple of 5?
False
Let l(y) = -117*y + 1144. Is l(-33) a multiple of 11?
True
Suppose -22*i - 27620 + 146884 = 4160. Is 48 a factor of i?
True
Is 21167 - ((-99)/9 + 24) a multiple of 104?
False
Let q be 16 - (0 - (4 - 6)). Let r be (-6)/q + 312/42. Suppose -5*c = 3*g - 43, -4*c = -3*c + g - r. Is 6 a factor of c?
False
Suppose -4*s + 9039 = -3*j, 0 = -s - 3*j + 1061 + 1180. Suppose 0 = -25*y + s + 2044. Is y a multiple of 7?
False
Let n be (4/(-8) + 0)*0. Suppose -4*r - 7 + 2451 = n. Is r a multiple of 47?
True
Suppose v - 26248 = -3*j, -36*v - 2 = -38*v. Is 9 a factor of j?
False
Let k = 848 - 811. Suppose -k*x + 5024 = -5*x. Is x a multiple of 24?
False
Let i(r) = 2*r**2 + 15*r - 16. Let p(d) = d + 6. Let t = 102 + -118. Let c be p(t). Is 17 a factor of i(c)?
True
Suppose 0 = -5*u + 4*s + 11, 2*s + 8 = 2*u + 4*s. Let o(q) = 0*q**u - 12 - q**3 - 3*q**2 - q**2 - 5*q**2 + 19*q. Is o(-11) a multiple of 4?
False
Let j(s) = 13*s - 7. Let f(u) = -39*u + 22. Let o = 10 + -7. Let c(h) = o*f(h) + 8*j(h). Does 18 divide c(-5)?
False
Suppose -45*s + 34*s + 1716 = 0. Let l = 21 + -16. Suppose -421 + s = -l*d. Is d a multiple of 15?
False
Let w(g) = g**3 + 2*g. Let s be w(0). Suppose 3*r - 4*p - 318 = s, p + 402 = 4*r + 3*p. Suppose -q + r = -2*o, 2*q - 177 = -6*o + o. Is 16 a factor of q?
True
Let p(c) = 78*c - 6. Let f be p(4). Suppose m -