*i - 6. Let d = -9 - -4. Let q be c(d). Suppose -q*x + 10 + 14 = 0. Is 6 a factor of x?
True
Suppose 5*g + 4*o = -120, 7*g = 2*g - 5*o - 115. Let s = -25 - g. Is s a multiple of 3?
True
Suppose 235 = 3*h - 4*y, 245 = 9*h - 6*h - 2*y. Does 16 divide h?
False
Is 11 a factor of 40 - (-5 - 2 - -3)?
True
Let p(k) be the third derivative of k**5/10 + k**4/12 - 8*k**2. Is 6 a factor of p(2)?
False
Let h(c) = -c**3 - 5*c**2. Let o be h(-5). Suppose o = -n - 0*n + 60. Is n a multiple of 20?
True
Suppose 43 = -3*u + 4*u. Does 5 divide u?
False
Let f(y) = 1 + 0*y**3 - y**2 - 6*y**3 + 3*y**3 - 4*y**3 + 3*y. Does 12 divide f(-2)?
False
Let w(o) = o**2 - o. Let j(z) = -6*z**2 + 3*z - 2. Let d(s) = -j(s) - 3*w(s). Does 6 divide d(2)?
False
Suppose -2*l - 2*n = 2, -2*n = 1 + 1. Suppose 2*h - 481 = -l*h - 3*p, -4*h = 3*p - 977. Is h/20 + 2/(-5) a multiple of 12?
True
Let n(j) = 2*j**2 - 12*j - 5. Suppose p + 4*p - 45 = 0. Is n(p) a multiple of 15?
False
Does 24 divide (0/1 - 4) + 41 + 2?
False
Let h = 46 - 21. Does 20 divide h?
False
Let s(y) = 10*y**2 - 2*y + 2. Let d(t) = t**3 + 6*t**2 - 7*t + 2. Let g be d(-7). Is 13 a factor of s(g)?
False
Suppose o + 3 = 7. Is o a multiple of 3?
False
Let g(i) = -i**3 + 7*i**2 - 5*i + 9. Is g(6) a multiple of 3?
True
Suppose -v + 4 = l - 2*l, 3*v = -4*l - 30. Let r be (-203 + 0)*l/7. Is (1/(-2))/((-3)/r) a multiple of 11?
False
Suppose -205 = 7*a - 849. Is 9 a factor of a?
False
Does 7 divide 12/54 + (-158)/(-18)?
False
Let f be 1/2 - (-35)/(-2). Let l be (f/(-1))/(5/5). Let u = l + -3. Is 14 a factor of u?
True
Suppose -4*z - 28 = 4*s, 3*s + 17 = 2*z - 3*z. Let a be 2/(-4)*36/(-1). Let k = s + a. Does 6 divide k?
False
Suppose 4*b + c - 24 = 0, -2*b - 3*c - c + 26 = 0. Suppose -b*x = -2 - 8. Let m = 18 - x. Does 8 divide m?
True
Let v(t) = -5*t - 1. Let i be v(2). Let c = -3 - i. Is 4 a factor of c?
True
Let x(b) = b**3 - 5*b**2 + b - 1. Let z be x(5). Suppose -z*l + 0*l = -32. Does 4 divide l?
True
Suppose 9 = -2*t - 7. Let m(s) be the second derivative of s**4/12 + s**3 + s. Does 11 divide m(t)?
False
Let t(r) = r**2. Let o be (-4 + 0)/2 + 12. Let l be (8/10)/((-2)/o). Does 7 divide t(l)?
False
Suppose o - 5*o = 0. Suppose o = -2*z + 6 + 2. Suppose z*y = 33 + 55. Is y a multiple of 11?
True
Let v = 202 - 114. Is v a multiple of 19?
False
Let t be 2*(78 + (-6)/(-3)). Suppose -5*k + t = -5*u, 0 = -u + 2*k + k - 26. Does 19 divide u/15*(-20 + -1)?
False
Let a = 27 + -23. Suppose 0 = -3*y + 4*y - 31. Suppose -a*z + 9 = -y. Does 4 divide z?
False
Let g(i) = i + 10. Let w be g(0). Suppose 4*f + 2*l - 37 = 13, 4*l = -2*f + w. Does 8 divide f?
False
Let p(y) = 11*y**3 + 3*y**2 - 2*y + 1. Let j(x) = 22*x**3 + 7*x**2 - 4*x + 2. Let r(m) = -2*j(m) + 5*p(m). Does 11 divide r(1)?
True
Let k(y) = 2*y**2 - y + 4. Let l = 16 + -1. Suppose -3*x = -3*z - l, -5*z = -10*z - x - 13. Is 14 a factor of k(z)?
False
Let t = 11 - 10. Let f = 4 + t. Is f a multiple of 2?
False
Let w = 10 - 5. Suppose 3*a = m + 13, 3*m + 21 = 3*a - 0*a. Suppose 2*n = -a*x + 28, -w*x = -5*n + 15 + 55. Does 14 divide n?
True
Let h = 19 - -19. Does 15 divide h?
False
Suppose 7*f = 5*f + 90. Is 9 a factor of f?
True
Let d(y) = -y**3 - 6*y**2 - 7*y. Let i be d(-6). Let g = 16 + -11. Suppose -i = -g*n + 4*n. Does 20 divide n?
False
Let b(h) = h**2 - 14*h + 3. Let n be b(13). Let q = n + 20. Is 5 a factor of q?
True
Suppose r - 592 = -4*n, -r = r - n - 1193. Does 10 divide r/20 + 2/10?
True
Let n(z) = -32*z**2 + z - 1. Let j be n(1). Let p = -22 - j. Does 9 divide p?
False
Suppose 0*c = 2*c + 14. Let q(h) = h**3 + 9*h**2 + 9*h - 10. Is q(c) a multiple of 7?
False
Let o = 11 + -3. Let p = 22 + o. Does 15 divide p?
True
Suppose 2*a + 9 = 21. Let b(y) = -y**3 + 7*y**2 - 5*y + 1. Is b(a) a multiple of 4?
False
Let x be 0/((-4)/6*-3). Suppose x*q - 288 = -4*q. Is 18 a factor of q?
True
Let a = -10 - -15. Suppose a*c - 44 = c. Does 4 divide c?
False
Let z be 0/3 + (-3)/(-1). Suppose 5*p + 280 = z*c - 0*c, 6 = -3*p. Suppose 18 = 4*v - c. Is 9 a factor of v?
True
Is 22*(310/60 - 4/6) a multiple of 25?
False
Let k(y) = -y**3 + 11*y**2 - y + 8. Let s be k(11). Let i be (-9)/s + 1 + 1. Is (-20)/(-4)*8/i a multiple of 8?
True
Let a = 8 - -12. Let k be (-5)/a - (-5)/4. Let q = 17 + k. Is 6 a factor of q?
True
Suppose 0 = -3*q - 4*t + 193, -4*t = -0*t - 16. Let z(p) = 4*p + 14. Let o be z(-10). Let x = q + o. Is x a multiple of 9?
False
Suppose -2 = 5*t + j, 3*j + 0 = -6. Suppose t = -k - 2*k + 18. Does 3 divide k?
True
Let v(m) = 11*m + 11. Let w(q) = 7*q + 7. Let x(j) = 5*v(j) - 8*w(j). Let a be x(-6). Let h(y) = 2*y**2 - 5*y - 3. Does 6 divide h(a)?
False
Is 33/((39/10)/13) a multiple of 5?
True
Suppose -152 = -5*m - 0*y + y, y = -2. Is m a multiple of 10?
True
Let k = -68 - -114. Is 22 a factor of k?
False
Suppose -p = -5*n + 210, 3*p - 159 = -4*n + 2*p. Suppose 4 = -o + 4*u, o = 6*o + u + n. Does 4 divide (-12)/o*(-8)/(-3)?
True
Let o(x) be the third derivative of -1/3*x**3 - 1/6*x**4 + 0 - 3*x**2 + 0*x. Does 8 divide o(-6)?
False
Let d = 11 + 7. Is 6 a factor of d?
True
Suppose -5*w - 4*r = -108, -3*w + 3*r + 27 = -27. Is w a multiple of 10?
True
Let d(c) = c - 5. Let m be d(3). Does 3 divide 4 - (3/1 + m)?
True
Let v be 0*(-3)/6 - -32. Let c = v + -4. Is c a multiple of 14?
True
Let b(h) = -h**2 + h + 18. Let y be b(0). Suppose -18 = -u + 2*x, y = u - 0*u + 3*x. Suppose -l + u = -4. Does 11 divide l?
True
Let v be 100/(-6)*(-15)/10. Suppose 2*h - 164 = -6*p + 2*p, -v = -5*p. Suppose -h = -3*w + f, f + 26 = w + 2. Is w a multiple of 12?
True
Does 14 divide (82/10)/(3/15)?
False
Suppose -4*u = 5*d - 321, -u = -5*d + d + 261. Does 13 divide d?
True
Let s(v) = -v - 5. Let o be s(-10). Suppose 2*k + 5*l = -3*k + 445, -o*l + 25 = 0. Does 24 divide k?
False
Let h = 32 + 88. Let w = h + -55. Is w a multiple of 21?
False
Suppose -9*y + 4*y + 805 = 0. Is y a multiple of 28?
False
Let w(i) = -i - 3. Suppose d + 11 = 4*n, d + 6 = -0*n - n. Let z be w(d). Suppose -r + 35 = z*r. Is r a multiple of 3?
False
Suppose -2*k - 4*r + 36 = 0, -3*r - 1 = -2*k - 0*k. Suppose 0 = -3*x - 2 + k, 3*d - 4*x - 1 = 0. Does 4 divide 8/(d*2/3)?
True
Let o = -7 + 11. Let d(f) = -8*f**2 - f**3 - 4*f + 2 + 3*f**2 - 2 + o. Does 16 divide d(-5)?
False
Let s(l) = -l + 6. Let y be s(3). Suppose 0 = y*a - 4*a + 43. Let h = a + -31. Does 6 divide h?
True
Let p(l) = l**2 + 17*l + 6. Is p(6) a multiple of 18?
True
Let o = -1 + 4. Suppose -3*i - o*l - 27 = 0, l + 3*l - 6 = 3*i. Let v(z) = 2*z**2 + 8*z - 3. Is v(i) a multiple of 12?
False
Let b be 94/7 + 18/(-42). Suppose 3*d + j - 12 = 0, 3*d + j + b = 5*d. Is d a multiple of 2?
False
Let t(w) = -37*w**3 + 2*w**2 + 2*w. Is t(-1) a multiple of 20?
False
Let s = 10 + -10. Suppose 0 = 6*k - 3*k - 15. Suppose s = -k*n + 7 + 13. Is 2 a factor of n?
True
Suppose 0 = 3*q - 3*w + 18, 18 = -3*q + 2*w. Is (-18 + q/(-3))*-2 a multiple of 13?
False
Let n(v) = -v**3 - v**2 - v + 16. Is 10 a factor of n(0)?
False
Let x = -59 + 25. Let y = 64 + x. Is 17 a factor of y?
False
Let d = 33 + -15. Let w be (d/(-8))/((-1)/4). Suppose -3*j = -w - 6. Is j a multiple of 5?
True
Let r = 47 - -73. Does 30 divide r?
True
Suppose 8 = -4*s, -6 - 10 = -2*d + 3*s. Suppose 4*o + 2 = d*y, o + o = -y + 6. Suppose -4*m = o*p - 110, 0 = -5*m - 3*p + 5*p + 160. Is 15 a factor of m?
True
Let n = 28 - 14. Is 7 a factor of n?
True
Let z be -2*((-135)/(-6))/(-5). Does 5 divide 6/(-1)*z/(-6)?
False
Is (-4 + 2)/(2 + 111/(-55)) a multiple of 22?
True
Let o be 59/2 + (-2)/(-4). Suppose o = 2*c + c. Does 6 divide c?
False
Let n(r) = 5*r**2 + 2*r - 1. Let l(x) = 4*x**2 + 3*x. Let m(f) = 4*l(f) - 3*n(f). Let w be (9/6)/(2/(-12)). Does 15 divide m(w)?
True
Let z(d) be the second derivative of d**5/20 - d**4/2 + 2*d**2 + 2*d. Let a be z(6). Suppose 0 = a*k - 3*b - 101, -k + 31 = k + 5*b. Is k a multiple of 9?
False
Let t = -124 - -62. Is 1/(1/t*-2) a multiple of 13?
False
Let f(s) = -s**2 - 9*s + 8. Let p be f(-7). Let o = -12 + p. Is 5 a factor of o?
True
Let u(s) = -s**3 - s**2 + 2*s**3 - 8*s**2 - 2*s**2. Let t be u(11). Suppose -h = z - 2 - t, h - 2 = -5*z. Is h a multiple of 2?
True
Let o = 8 + -5. Let d be 1/((9/(-21))/o). Let l(f) = f**3 + 7*f**2 - 5*f - 7. Is 14 a factor of l(d)?
True
Let y(j) = j**2 + 4*j + 