-2*g + l. Suppose -s*m + 1 = -g. Does 8 divide m?
False
Suppose -650 = -3*q - 2*f, -3*q + 895 = q - 3*f. Suppose -5*i + q + 100 = 0. Is 21 a factor of i?
False
Let c(g) = g**2 - 2*g + 1. Let v be c(1). Suppose v = -3*j + 3*a + 12, -3*j - 6*a + 52 = -a. Is j a multiple of 9?
True
Suppose 8 + 0 = 2*i. Suppose i*j + 36 = 2*a, -5*j + 4 = 2*a - j. Is a a multiple of 3?
False
Suppose 5*t - b + 7 - 3 = 0, 3*b = 4*t + 12. Suppose t = -4*p - a - 0*a + 15, 3*a + 20 = p. Is p a multiple of 2?
False
Let t(b) = -b**2 - b + 1. Let y be t(-2). Let v = y + 2. Is 18 + (-1 - 1)*v a multiple of 8?
True
Suppose 4*c = 5*f + 25, 0*c - 5*f - 30 = -5*c. Suppose -c*p + 4*o + 341 = 0, 2*p = -2*p - 3*o + 279. Is 23 a factor of p?
True
Let r be ((-784)/(-2))/4 - -3. Suppose 3*x - m - 153 = 0, 3*x - 5*x = -m - r. Is x a multiple of 14?
False
Let o(y) = 7*y**2 + y - 1. Let m be 8/3*(-3)/2. Let f(j) = 6*j**2 + j - 1. Let u(k) = m*o(k) + 5*f(k). Is 9 a factor of u(-3)?
False
Let a(s) = s**2 + 2*s + 64. Is a(0) a multiple of 6?
False
Suppose -12 = -3*v, 0*z = -2*z + 3*v + 94. Is z a multiple of 9?
False
Let y(o) = 2*o**3 - 4*o**2 + o + 2. Let j be y(2). Suppose -13 = j*k - 73. Suppose -4*t + 42 = d - 0*t, -3*t = -k. Is 8 a factor of d?
False
Suppose 0 = -5*r + f + 6 + 37, -2*r + 3*f + 25 = 0. Let i(l) = -l**2 + 12*l - 4. Let g be i(r). Let m = g + -16. Does 12 divide m?
True
Is 12 a factor of (1*24)/3 + 4?
True
Suppose 5*x = -4*n - 0*n - 44, x + 2*n + 10 = 0. Let o(c) = -3*c + 5. Let l be o(x). Suppose -1 + l = 2*i. Is 9 a factor of i?
False
Is 5 a factor of -6 + (-8)/(-4) + 17?
False
Let b be 170*(-2 + (-36)/(-15)). Let s(x) = 34*x - 2. Let h be s(3). Let c = h - b. Does 14 divide c?
False
Let s(t) = 3*t**2 + 8*t - 13. Is 36 a factor of s(4)?
False
Suppose -4*f + 47 = f + l, -3*f + 5*l + 45 = 0. Is 10 a factor of f?
True
Let r(u) = u - 2. Let j be r(2). Suppose 2*v = -j*v. Suppose v = b - 2*b + 22. Does 13 divide b?
False
Let f = -290 + 497. Is f a multiple of 20?
False
Suppose -3*i + 16 = i. Is i a multiple of 3?
False
Let j(h) = 8*h - 4. Let y be j(4). Is 16 a factor of (-114)/(-7) + (-8)/y?
True
Suppose o - q = -6, 6*q - 6 = -3*o + q. Let f be (-4)/(-3 + (-2 - o)). Suppose -3*n - 44 = -8*n - f*r, 5*n + 5*r = 50. Does 3 divide n?
False
Let g be (0 - 3) + 20 + -1. Let z(w) = -2*w**3 - 5*w**2 + 4*w + 2. Let m be z(-4). Let k = m - g. Is k a multiple of 8?
False
Let a(b) = b + 15. Let g be a(0). Let z be 15/2*4/(-3). Let s = g - z. Does 9 divide s?
False
Let t(z) = -z**2 - 4*z - 2. Let c be t(4). Let d = c + 71. Is 19 a factor of d?
False
Suppose -v - 4 - 43 = 0. Let f = -13 - v. Is 17 a factor of f?
True
Suppose -5*k - 43 = 4*x + 49, -2*x + 5*k - 76 = 0. Let w = x - -41. Is w a multiple of 13?
True
Let r(y) = y**3 + 16*y**2 + 13*y - 11. Suppose -2*d - 18 - 12 = 0. Is 15 a factor of r(d)?
False
Let h(l) = -2*l**3 - 5*l**2 + 2*l - 23. Is h(-5) a multiple of 17?
False
Suppose -2*j = -7 + 1. Does 5 divide -2 + -1 - -21 - j?
True
Let b be (1 - -2)/(0 + 1). Suppose -s - 10 = -b*s. Does 4 divide 22/s - (-8)/(-20)?
True
Let o(q) = q**2 + 3*q + 3. Let v be o(-3). Suppose 20 = v*l + l. Suppose -l*r - 3*d + 67 = -69, -4*r + d = -119. Is r a multiple of 18?
False
Suppose 45 = 3*v - 3*f, -23 = -2*v + f + 10. Is v a multiple of 18?
True
Let n be 2*(-1 + (-75)/(-6)). Let c = 46 - n. Is 8 a factor of c?
False
Let t(s) = -s**2 - 4 + s + 3 + 5*s**2 + 2*s**2. Let b be t(2). Suppose 2*j = c + 4*j - b, 5*c + j = 125. Is 20 a factor of c?
False
Suppose 5*u + 18 = 93. Suppose 4*c = -5*l + 33, 3*l - u = -3*c + 6. Is l a multiple of 5?
True
Let x(g) = -g**3 - 10*g**2 - 9*g + 4. Let b be x(-9). Let w(t) = 9*t**2 + 2*t + 1. Let o be w(-1). Suppose 0 = -3*n - 3*h + h + b, 3*h = -n - o. Is n even?
True
Suppose -5 = -g + 9. Does 14 divide g?
True
Let q(t) = 28*t - 6. Is 4 a factor of q(1)?
False
Let o = -4 + 4. Suppose o = x + 4*x. Suppose x = 2*p - 76 - 44. Does 21 divide p?
False
Let j(q) = 19*q**2 - 5*q - 1. Does 37 divide j(2)?
False
Let j(q) = q**3 - 12*q**2 - 10*q - 2. Let f be j(13). Suppose 3*a = 84 - 6. Let h = f - a. Is h a multiple of 4?
False
Let q be (-4)/(4/3) + 3. Let y = 0 + q. Does 12 divide y + 1/(-1) - -25?
True
Suppose -5 = 5*k - 15. Does 8 divide k/(-1)*(3 - 11)?
True
Let z(t) = t**3 - 7*t**2 - 7*t - 3. Suppose -4*k + 37 = -g, k = -2*g - 2 - 0. Is z(k) a multiple of 5?
True
Let b(l) = 49*l - 17. Does 26 divide b(3)?
True
Suppose 137 = 2*w + 53. Suppose o = 4*o - w. Let y = -3 + o. Is 7 a factor of y?
False
Let z = -141 + 73. Suppose 66 = -4*h - 86. Let j = h - z. Does 16 divide j?
False
Let w be 8/(-20) - 36/10. Is (-21)/w - 2/8 a multiple of 3?
False
Let c(o) = o**3 + 7*o**2 + 5*o - 3. Let s be ((-4)/3)/((-4)/12). Let k = s + -9. Is c(k) a multiple of 13?
False
Let h be (-18)/8 - (-3)/12. Let p = -1 + h. Let c = 1 - p. Does 2 divide c?
True
Suppose -w + c = -2*w + 86, -4*w - 2*c + 334 = 0. Is 27 a factor of w?
True
Suppose -2*a + 48 = 8. Let n = 2 + a. Is n a multiple of 7?
False
Let r be 1/(-4) + 393/(-12). Let i = 70 + r. Let k = i + -8. Is k a multiple of 11?
False
Suppose -9 = -2*v + 1, -4*w + 300 = 4*v. Is w a multiple of 20?
False
Let b = -10 - -11. Suppose -o + 2*q + 9 = q, -5*q - b = -o. Does 11 divide o?
True
Let c be 0/(1*2/1). Let u be c*(1 + 9/(-6)). Suppose 5*d - 3*s - 204 = 0, -4*d = -u*d - 5*s - 171. Is 13 a factor of d?
True
Let d be (-2)/(-6) - 134/6. Let o be ((-3)/(-2))/(3/88). Let y = o + d. Is 13 a factor of y?
False
Suppose 0 = 3*p + z - 6, z + z + 15 = 3*p. Suppose -p*j + 2*j = -64. Does 38 divide j?
False
Does 3 divide 9/(-6) - (-73)/2?
False
Suppose 2*f + 69 = -3*z + 247, -10 = -5*f. Is z a multiple of 22?
False
Suppose -1 = u - 4*h, -4*u - h + 22 = -4*h. Suppose 0 = -2*b - 3 + u, -4*b + 65 = 3*x. Does 15 divide x?
False
Let o = 3 - -3. Suppose -5*d = -14 - o. Does 3 divide d?
False
Let t = 2 - 2. Suppose t = -0*w - 4*w + 64. Is 4 a factor of ((-4)/8)/((-2)/w)?
True
Let n(s) = 2*s**2 + 2*s. Suppose j + 0 + 2 = -3*g, 8 = 4*g + 4*j. Let p be n(g). Is 5 a factor of 2/(p/78*3)?
False
Let a = -13 - 52. Is (-2)/13 - 4950/a a multiple of 19?
True
Let a = 257 + -173. Is a a multiple of 12?
True
Let w be 1 + (-2 - -2) + 2. Suppose 0 = -3*f - 6, -289 = -4*c - c - w*f. Is c a multiple of 25?
False
Let q(k) = 37*k**3 - 2*k**2 - k. Let u be q(-1). Let w be 1/2 - (-226)/4. Let r = u + w. Does 8 divide r?
False
Is 6 a factor of 37/2 + 2/(-4)?
True
Let i be (-13)/(-5) - (-2)/5. Suppose 3*j + 0*j + 4*g = 5, -i*g = 2*j - 2. Is j even?
False
Suppose 0 = -f - 6 - 0. Let w(x) = x. Let k(d) = -8*d. Let u(o) = k(o) + 5*w(o). Is 6 a factor of u(f)?
True
Let j(d) = -2*d + 12. Let p(s) = 3*s - 12. Let q(z) = 4*j(z) + 3*p(z). Does 12 divide q(0)?
True
Let j = -1 - -1. Let f(w) = j*w**2 + 3*w + 4*w**2 - 2*w**2 - 1 - w. Does 2 divide f(1)?
False
Let d = 58 + -55. Is 2 a factor of d?
False
Let r = 18 - 13. Suppose r*w - 151 - 69 = 0. Does 20 divide w?
False
Is 14 a factor of 1860/55 - (2 - 48/22)?
False
Let s = 84 + 12. Is (s/(-20))/(3/(-30)) a multiple of 14?
False
Suppose 0 = 4*i - 4 - 8. Suppose -13 + 1 = -i*r. Suppose 2*v = r + 64. Does 16 divide v?
False
Let r(k) = 4*k - 8. Does 6 divide r(4)?
False
Suppose -4*j = j. Suppose 2*h - 7 - 17 = j. Suppose 4*n = h, -3*c + 3*n + 42 = -n. Is 9 a factor of c?
True
Let k = -16 + 226. Is k a multiple of 28?
False
Let o(i) = -i**3 - 10*i**2 + 11*i - 15. Let z be o(-11). Is 4 a factor of (-6 - -5)/(3/z)?
False
Let q(l) = l**3 + 10*l**2 + 9*l + 3. Let b be q(-9). Suppose -b*a - a + 5*v = -26, -a + 5*v - 1 = 0. Is a a multiple of 3?
True
Does 35 divide 1/(-4) + 11/(-4) + 85?
False
Is 8 a factor of (1/2)/(1/94)?
False
Let f = -283 + 91. Let p = -123 - f. Is 18 a factor of p?
False
Let x be (-12)/(-16) + 10/8. Suppose -5*u = 5*p - 625, -6*p + 3*u + 585 = -p. Suppose 6*n = x*n + p. Is 15 a factor of n?
True
Let j(h) = -h**2 - 15*h - 8. Does 7 divide j(-12)?
True
Let x(a) = a**3 - 3*a**2 + 2*a + 4. Let f be x(3). Let h = f + -1. Is h a multiple of 3?
True
Suppose 2*k - k - 2*c = 2, 0 = 5*k - 2*c - 2. Suppose k*z - 21 = -3*u + 2*z, 0 = -3*u + 4*z + 21. Does 2 divide 1/(-2) + u/2?
False
Let p = -50 + 65. Is 15 a factor of p?
True
Is 12 a factor of ((-122)/12)/((-4)/24)?
False
Let o(i) be the first derivative of -i**4/4 - 14*i**3/3 + 7*i**2 - 4*i + 