= c**3 - 2*c**2 - 2*c + 1. Is 16 a factor of v(l)?
False
Let p = 9 + -5. Suppose 0 = -q - 2*t + 4, p*q + 6 - 15 = -t. Is q a multiple of 2?
True
Suppose 0 = 5*q - 7*q + 102. Does 7 divide q?
False
Let m(t) = t + 5. Let n be m(5). Does 11 divide (-168)/(-15) + (-2)/n?
True
Let u(m) = -6*m**3 + m**2 + m - 2. Let z be u(-2). Suppose 0*v - v + z = 0. Suppose 5*c = c + 5*l + 64, 0 = 3*c - 5*l - v. Does 16 divide c?
True
Suppose -i + 0 = -4. Suppose -p + 0*p = 4, 3*p = -i*d - 20. Is 8 a factor of 34/2 + d + 3?
False
Does 25 divide (-11 - -17)*25/3?
True
Let v(n) = -n**3 - 5*n**2 - 8*n + 18. Is 6 a factor of v(-5)?
False
Let x be 3 + 4 + (2 - 4). Suppose x*a - a - 16 = 0. Suppose a*j = 9*j - 160. Is j a multiple of 16?
True
Does 6 divide (-71)/(5 + (-1 - 5))?
False
Let w be (-12)/(-20) - 3/5. Suppose -v + 0*v + 32 = w. Does 16 divide v?
True
Let h(u) = -2 + 0*u + u + 5 - 2. Let g be h(-5). Let t(z) = -z**2 - 6*z - 4. Does 4 divide t(g)?
True
Let m(j) = -j**3 - j + 2. Let d be m(0). Is 18 a factor of 30 + (-1)/d*-4?
False
Let r(w) = 3*w + 17. Does 10 divide r(6)?
False
Let b be (-4)/1*(-2)/(-2). Let x(o) = -5*o**3 + 11*o**2 - 2*o - 6. Let i(n) = -11*n**3 + 23*n**2 - 5*n - 13. Let v(d) = b*i(d) + 9*x(d). Does 21 divide v(4)?
False
Suppose 0 = 2*q - 3*q + 25. Let x = -15 + q. Does 8 divide x?
False
Suppose -x - 453 = -4*i, x = -3*i - 0*x + 345. Is i a multiple of 20?
False
Suppose -3 - 5 = -4*b. Suppose b*d + d - 54 = 0. Does 9 divide d?
True
Let i be (-2)/(((-6)/(-17))/(-3)). Let p = i + 37. Is p a multiple of 9?
True
Suppose f = 99 + 15. Is f a multiple of 25?
False
Let v(j) = -j. Suppose 2*p = 7*p - 190. Suppose 22 = -2*g - 4*l, l - 15 + p = -4*g. Is 3 a factor of v(g)?
False
Let a = -4 - -5. Let n be (1 - 2) + a*-5. Is ((-55)/15)/(2/n) a multiple of 7?
False
Let u(y) = 7*y + 2. Let v be u(4). Let q = 0 + v. Does 9 divide q?
False
Suppose 5*h = 37 - 222. Let d = -23 - h. Suppose -r = -k + d, 12 = -4*k - 4*r + 92. Does 7 divide k?
False
Let l be ((-2)/(-4))/((-1)/(-4)). Suppose -5*a = 3*s - 2*s - 71, -l*a - 2*s = -30. Suppose -2*i + 30 = -u - a, -u + 52 = 2*i. Does 24 divide i?
True
Let q = -103 + 171. Let x = 108 - q. Does 8 divide x?
True
Suppose 5*a = -p + 7 + 8, a - 5 = 0. Suppose 5*s - 44 = -t, 5*t - 106 = 2*s - 21. Let w = p + t. Is 8 a factor of w?
False
Let q(g) = -g**3 - 11*g**2 + 7*g + 12. Let a be q(-11). Suppose 0*v - 101 = -v. Let w = v + a. Does 12 divide w?
True
Let s = -3 + 6. Suppose -s*w + 34 = -119. Is w a multiple of 17?
True
Suppose -2*x + l + 255 = -4*l, -x + 2*l = -125. Suppose 5 = 4*o - x. Is 10 a factor of o?
True
Let f(p) = -p**3 + p**2 + 20. Let h(m) = -m**3 + 2*m**2 - m + 2. Let x be h(2). Let o = x + 0. Does 10 divide f(o)?
True
Suppose r - 156 = -0*r. Suppose 4*z - r = z. Is 11 a factor of z?
False
Let y = -529 + 1149. Let d be 2/(-3) - y/(-12). Let l = d - 0. Is 13 a factor of l?
False
Let w be (-8)/6*27/(-12). Suppose w*z + x = 32, 0*x = -z + x + 4. Is z a multiple of 9?
True
Let l = 85 + -20. Suppose 3*v + 2*k - l = 0, -3*v + 5*k + 79 = v. Is v a multiple of 7?
True
Suppose 0 = -2*x + 7*x + 35. Let l = 1 - x. Is l a multiple of 6?
False
Let d(k) = -k**2 - k + 1. Let y(x) = -13*x**2 - 10*x + 3. Let u = 15 + -9. Let w(n) = u*d(n) - y(n). Is 23 a factor of w(-2)?
True
Let p be (-3)/(-6)*1*16. Let g = p + -6. Suppose -g*t - 10 = -3*t. Is t a multiple of 10?
True
Suppose g = 3*g - 18. Does 2 divide 60/g - (-1)/3?
False
Suppose -2*k = -2 - 0. Suppose -p = -k - 3, 4*s = 2*p + 52. Is 5 a factor of s?
True
Suppose 0 = 4*m + 1 - 21. Suppose 5*j = -x + 2*j + 11, -3*j - 19 = -m*x. Is 3 a factor of x?
False
Let t(s) = -s**2 + 11*s - 1. Is 8 a factor of t(9)?
False
Suppose 3*l + 3*g = -81, 2*g - 114 = 7*l - 3*l. Does 28 divide 0/(-1 + -2) - l?
True
Let l(s) = s - 6. Let m be l(4). Let f be 0*(m - -1)/2. Let g = f + 12. Is 12 a factor of g?
True
Suppose -2*m - 12 = -2*t, -4*m = -2*t - 5 + 21. Is ((-6)/(-9) + m)*-15 a multiple of 10?
True
Suppose -668 = -2*s + 2*w + 3*w, 2*s - 656 = 2*w. Does 12 divide s?
True
Let v be (0 - 1)/(-1 + 2). Let n = 4 + v. Is (10 - 1)/(n + -2) a multiple of 9?
True
Let i(s) = 3*s**2 + 3*s - 6. Is i(5) a multiple of 28?
True
Let z = 8 - 21. Let c = 19 + z. Is 6 a factor of c?
True
Suppose 3*v + a - 10 = 0, v + 5*a + 7 = -13. Suppose -6 = -v*m + 74. Is 8 a factor of m?
True
Let j be 16/(-56) + 9/7. Let l = j - -24. Is l a multiple of 10?
False
Let r = 6 + -3. Suppose -8 + r = -o. Suppose -4*d + 2*y = -82, o*d + 2*y - 51 = 2*d. Is d a multiple of 11?
False
Let h(x) = -x. Let y(t) = t**3 - 3*t**2 + 3*t - 1. Let d be y(3). Let r be h(d). Let n(m) = -3*m + 2. Does 14 divide n(r)?
False
Suppose -6*o + 37 = -29. Does 3 divide o?
False
Let t(d) = -2*d - 9. Let x(p) = p**2 + 10*p + 10. Let i be x(-8). Does 3 divide t(i)?
True
Suppose 3*g = -3*h + 27, 0 = 3*h - 2*g - 13 - 4. Is h a multiple of 6?
False
Suppose 10 = 2*i + 3*i. Let a(b) = -2*b + 2*b**i + 44*b**3 + b**2 - 2*b**2 + 1. Does 17 divide a(1)?
False
Let m(i) = i**3 + 2*i**2 - i + 8. Does 7 divide m(0)?
False
Suppose 4 = -h + 5*j, 4*j = 4*h - 5 - 59. Is 8 a factor of h?
False
Is 21 a factor of -2*((-8)/(-4) + -20)?
False
Is 15 a factor of 11/(12/10 - 1)?
False
Let z(a) = -14*a. Let n be z(-6). Suppose 0 = -2*b + 28 + n. Is b a multiple of 13?
False
Let u(t) = 4*t - 2. Suppose -2*w + 2*l - 25 = 3*w, -2*l + 15 = -3*w. Let q be (w/(-3))/(1/3). Does 18 divide u(q)?
True
Let i(r) = r**2 + 14*r + 5. Let q be i(-14). Suppose -3*b + 4 = -q. Is b a multiple of 2?
False
Suppose -26 = -5*o - 3*y - 6, -12 = 3*o - 3*y. Is 9 a factor of -4*((-39)/4 + o)?
False
Suppose -g + 1 + 4 = 0. Suppose g*p = 0, 2*y + 4*p - 18 = 6*p. Let m(d) = -d**2 + 10*d + 1. Is m(y) a multiple of 5?
True
Let f(z) be the third derivative of -z**5/30 + z**4/12 - z**3/2 + 2*z**2. Let s(h) be the first derivative of f(h). Is 4 a factor of s(-2)?
False
Let y(c) = c + 4. Let p be y(-4). Suppose p = -0*i - i + 28. Suppose 0 = -5*f + i + 7. Is 7 a factor of f?
True
Suppose 2*y - 86 = -62. Is y a multiple of 8?
False
Let h be 1/2 - (-39)/6. Let b = 8 - h. Let r(u) = 11*u**2 + 1. Does 4 divide r(b)?
True
Let l(w) = -w - 1. Let v(b) = -9*b - 1. Let n(t) = 3*l(t) - v(t). Is 12 a factor of n(11)?
False
Suppose -2*i = -3*q + 107, 5*i = -0*q + 3*q - 119. Suppose 2*b + q = 5*b. Let k(g) = g**3 - 10*g**2 - 6*g - 7. Is k(b) a multiple of 20?
False
Let a = 9 + 14. Does 8 divide a?
False
Suppose 0 = 2*i - i + 2. Let s(p) = -2*p. Let c be s(i). Suppose l - 5*g + 6 = -9, -c*l - 3*g + 32 = 0. Does 3 divide l?
False
Let m(a) = -3*a**3 + 4*a - 5. Let i(r) = r**3 - r**2 - r + 1. Let d(b) = -4*i(b) - m(b). Does 3 divide d(3)?
False
Let j(n) be the second derivative of n**6/144 - n**4/4 + 2*n. Let q(b) be the third derivative of j(b). Is 10 a factor of q(4)?
True
Suppose 0 = p - 7 + 4. Suppose p*x + 4*c - 4 = 0, -9 = -4*x + 2*c + 11. Is x a multiple of 4?
True
Let t(d) = 7*d + 4. Does 13 divide t(5)?
True
Suppose -2*d + 3*l - 1 + 49 = 0, -2*l + 48 = 2*d. Is 24 a factor of d?
True
Suppose 23*b = 17*b + 288. Is 13 a factor of b?
False
Let r be (-1*(-1 + 1))/1. Suppose r*m = m - t - 12, 2*t = 0. Let y = 0 + m. Is 4 a factor of y?
True
Let h(d) = d**3 - d**2 - 2*d - 4. Is h(3) a multiple of 4?
True
Let j = 14 + -9. Suppose -2*h + j*r - 4*r = -131, -4*h + 297 = 5*r. Does 34 divide h?
True
Suppose 3*a - 214 = 2*v + 85, -307 = -3*a + 4*v. Suppose 0 = -2*m + d + a, d - 2*d = -5*m + 235. Is m a multiple of 18?
False
Let j(a) = 2*a**2 + 3*a + 3. Let o be j(-2). Suppose -c - 4*r - 10 = 0, -o*r - 13 = 5*c + 7. Is c + (66/(-1))/(-3) a multiple of 10?
True
Let q(t) = -t - 12. Let g be q(-9). Let m(z) = -6*z**3 - 4*z**2 + 4. Let c be m(g). Suppose 5*p + 2*l - 4*l = c, 3*l + 15 = 0. Is p a multiple of 15?
False
Let n(l) be the third derivative of -l**4/12 + 11*l**3/6 + 4*l**2. Is 13 a factor of n(-8)?
False
Suppose 0 = -2*p - 0*p. Suppose 5*l - 2*l - 12 = 0. Let g = l - p. Does 2 divide g?
True
Suppose -7*z + 3*z + 12 = 0. Suppose -5*f - z*c + 25 = -0*c, 10 = 2*f - 3*c. Suppose -f*g + 50 = -85. Is 11 a factor of g?
False
Let s(n) = -13*n + 3 - 3 + n. Is 14 a factor of s(-3)?
False
Let x(r) = -2*r**2 - 3*r + 1. Let q be x(-3). Is -61*(1 + q/4) a multiple of 17?
False
Suppose 3*j - 2*i = -236, 0*i = 4*j + i + 333. Let o = -25 - j. Is o a 