. Is 7 a factor of i?
False
Suppose -4*t = -8*t - 8. Does 18 divide t/(-3) - 318/(-9)?
True
Suppose 0 = -t + 14 + 12. Does 4 divide t?
False
Let s = -6 + 7. Suppose -c + s = -j - 2, 15 = 5*c + 5*j. Is 3 a factor of c?
True
Suppose -5*j = -0*j - 475. Is j a multiple of 14?
False
Let a = -16 - -5. Let n = -7 - a. Is 2 a factor of n?
True
Suppose -4*f + 246 = 3*d - 314, 2*d - 5*f - 381 = 0. Is 47 a factor of d?
True
Suppose 3*z + 0*w = 3*w - 3, 17 = 3*z + 2*w. Suppose j - 14 = -z. Is 7 a factor of j?
False
Let n be (-2)/2 + 29*2. Suppose -s - 3*p - 28 = -3*s, 5*s - p = n. Is 5 a factor of s?
False
Let a(i) = 5*i**2 - 1. Is a(1) a multiple of 3?
False
Suppose -9 = -3*n, -2*j + 3*n = -41 - 10. Let t = j + -17. Suppose 2*a - t = 1. Is 2 a factor of a?
False
Let n(m) = 8*m - 5. Let r = 1 + 3. Is n(r) a multiple of 9?
True
Let w = -8 + 14. Suppose 0 = q - w*q + 135. Does 21 divide q?
False
Let h = -9 - -45. Is h a multiple of 3?
True
Suppose 140 = 23*j - 19*j. Does 7 divide j?
True
Let f(w) = 12*w**2 + w + 1. Let x(p) = -p + 10. Let v be x(8). Suppose v*d = 4, -3*c - 6*d = -d - 7. Is f(c) a multiple of 12?
True
Let j(t) = -t**2 - 4*t + 6. Let i be j(-5). Let r be (-3 + 0)/((-1)/i). Suppose -3*n + 4*n = -l + 45, 4*l - r*n = 173. Is l a multiple of 22?
True
Suppose -2*s = 3 - 11. Suppose -5*w + 203 = -s*d, 2*d + 76 = 2*w + 3*d. Does 13 divide w?
True
Suppose 6*d - 770 = -d. Is 13 a factor of d?
False
Suppose -196 = -6*q - q. Is 3 a factor of q?
False
Suppose 5*d + 11 = 71. Let m = -6 + d. Is m a multiple of 3?
True
Let i be (2/(-6))/(9/(-54)). Suppose 3 = -i*a + 29. Does 13 divide a?
True
Suppose 7 + 11 = 3*y. Suppose 2*g - y = -0. Let f = g + 2. Does 2 divide f?
False
Let v = 10 - 7. Suppose y + 2 = -v, -11 = -3*x - 2*y. Suppose x = a - 20. Is 18 a factor of a?
False
Let h = 19 + 1. Is 20 a factor of h?
True
Let p(t) = -t + 7. Let r be p(7). Let l = 2 - r. Suppose -33 = -n - 2*n - 2*i, 0 = l*n - i - 22. Does 9 divide n?
False
Let j(l) be the third derivative of l**6/360 + l**5/40 - 5*l**4/24 - l**3/3 - l**2. Let u(g) be the first derivative of j(g). Does 8 divide u(-6)?
False
Let q(c) = -c. Let f be q(-2). Let m = 41 + -29. Let i = f + m. Is i a multiple of 7?
True
Suppose 2*o - 3*a - 99 = 0, -4*o - 2*a + 276 = o. Is o a multiple of 18?
True
Suppose -7*x + 2*x + 150 = 0. Is x a multiple of 29?
False
Let p be 8/(-28) - 704/(-14). Is 17 a factor of p + 0 + (-1)/1?
False
Let u(c) = c**3 + 5*c**2 - c - 3. Let q be u(-5). Suppose -30 = -3*l + q*l + w, 0 = -2*w + 8. Suppose 3*r = 5*x + 30, 4*r - l - 6 = x. Is r a multiple of 10?
True
Let g = -73 - -106. Is g a multiple of 5?
False
Let o = -42 - -142. Does 25 divide o?
True
Let l(y) = -y**2 + 6*y + 5. Let v(t) = -t - 4. Let o be v(-9). Let k be l(o). Does 4 divide ((-32)/(-20))/(2/k)?
True
Let r(j) = -2*j + 4. Let d = 0 - -12. Let u = 7 - d. Does 14 divide r(u)?
True
Let c = -21 + 30. Suppose -w + 9 = 2*d, 3*d = -0*d - 3*w + c. Is 7 - (1 + d/(-3)) a multiple of 8?
True
Suppose 0 = -5*v + 5*h + 535, 4*h - 5*h + 541 = 5*v. Is 13 a factor of v?
False
Suppose 0 = -z + 10 - 0. Suppose -4*m = -3*m - z. Is m a multiple of 5?
True
Suppose 0 + 2 = z. Suppose 140 = z*s + 3*s. Is s a multiple of 14?
True
Is 20 a factor of 0 - (-4 + 4*-23)?
False
Suppose -5*x = l - 18, -3*x - l + 16 = -3*l. Suppose 20 + 4 = 4*o + 4*m, -48 = -x*o + 4*m. Does 5 divide o?
False
Does 32 divide 8/(24/(-72)*(-6)/16)?
True
Let j = 36 + 19. Is 15 a factor of j?
False
Let t(s) = -6 - 10*s + 8*s + 9*s + 14*s. Let f be t(5). Suppose -5*v - 14 = 5*m - f, -v = 0. Is 7 a factor of m?
False
Let j = 251 - 167. Does 21 divide j?
True
Suppose 0*w = 3*w - 69. Suppose 2*p - w = -3. Does 5 divide p?
True
Let c = -26 - -39. Let b = c + -5. Is b a multiple of 8?
True
Suppose 2*v - 6 - 4 = -5*i, 5*v = 5*i - 10. Let u = -1 + i. Let l(r) = 8*r. Does 6 divide l(u)?
False
Does 29 divide (-1454)/(-10) + (8/5 - 2)?
True
Suppose -4*b + 5*g - 4*g = -16, 0 = -5*b + g + 21. Suppose b*m - l - 62 = -2*l, -15 = 5*l. Is m a multiple of 10?
False
Let q(w) = 5*w**2 + 3*w + 1. Let p be q(-2). Suppose -6*d + p = -3*d. Is 5 a factor of d?
True
Suppose 9 = p + 3*s, 4*s = 4*p - 7 - 29. Does 6 divide p?
False
Suppose 16 = s + 3*s. Suppose -s*p = -p - 45. Does 5 divide p?
True
Suppose 4*b = 2*b - 2. Let o be (-1)/4 - (-58)/8. Let n = b + o. Is 3 a factor of n?
True
Let y = 90 - 10. Is 14 a factor of y?
False
Let x(j) = -j**2 + 2. Let g be x(2). Suppose -2*i = a - 2, -2*i - a - 12 = -7*i. Does 3 divide 21/(-12)*(g - i)?
False
Let p(n) = 3*n - 1. Let s be p(1). Suppose -36 = -s*q - q. Is q a multiple of 12?
True
Let s(n) = 7*n**3 - 3*n**2 + 8*n - 8. Let z(o) = o**3 - o**2 + o - 1. Let f(v) = -s(v) + 6*z(v). Let u be f(-2). Is (32/u - -2) + 0 a multiple of 18?
True
Let o(u) = -4*u**2 + 6*u + 3. Let w be o(-2). Let q = w - -44. Does 15 divide q?
False
Let f(t) = t**3 + 2*t**2 - 2. Let m be f(-2). Let o(d) = -8*d - 1. Let c be o(m). Suppose c = 2*y + 1. Does 4 divide y?
False
Let u be 13*2*(9 - 2). Is 20 a factor of 14/(-63) - u/(-9)?
True
Let x be (3/9)/((-3)/(-36)). Suppose -4 = -2*k + x*n, 2*n - 10 = -5*k - 0*n. Does 16 divide (-2 + -74)/(k/(-1))?
False
Suppose -h = 2*h - 228. Suppose -10 = i - 6*i, 5*c - 2*i - h = 0. Is c a multiple of 8?
True
Let c(g) = -g**3 - 6*g**2 + 10*g + 12. Does 20 divide c(-8)?
True
Is 14 a factor of (-144)/20 - -7 - 1051/(-5)?
True
Let v(g) = g**3 - 2*g**2 + 4*g + 12. Does 30 divide v(6)?
True
Let k(v) = -6*v**3 + v**2 - 10*v + 5. Let q(a) = -7*a**3 - 11*a + 5. Let u(i) = 6*k(i) - 5*q(i). Is 17 a factor of u(4)?
True
Suppose -3*n - n + 16 = 0. Suppose n*u - 77 = 7. Does 4 divide u?
False
Let j(w) = 2 - 1 + 4*w**3 + 9*w**3. Suppose 0 = i - 1. Is 14 a factor of j(i)?
True
Let p be 3 + (4 - 3 - 18). Let z be (-7 + 1)/((-3)/p). Is 2 a factor of (-58)/(-8) - (-7)/z?
False
Is 1*5*(2 + 4 + -3) a multiple of 15?
True
Suppose -156 = -j - 108. Is j a multiple of 17?
False
Let v be (-1566)/(-21) - 6/(-14). Suppose -5*r = -10*r + v. Does 5 divide r?
True
Let k be 2/(-2) - (1 - 1). Let y be k + 6 + -1 + 0. Suppose -5*o = -5*a - 10, 6*a = -y*o + a + 44. Is o a multiple of 6?
True
Let p(d) = -2*d**2 + d - 2. Let f be p(4). Does 10 divide (312/f)/(4/(-10))?
False
Suppose 0 = -2*k + 3*l + 1, 4*l - 6 = 2*l. Suppose -85 - 22 = -5*t - a, -4*t - k*a = -73. Is t a multiple of 11?
True
Let y(v) = v + 2. Let t be y(-1). Suppose n - 3 - t = 0. Suppose -3*m + n*m = 19. Is m a multiple of 19?
True
Let x(n) = 2*n**2 - 12*n - 5. Is x(10) a multiple of 25?
True
Suppose -2*m = k + 9, 0 = -m - 2*k + 4*k - 7. Let z be 2/4 - 15/(-10). Does 13 divide (z - 0) + (14 - m)?
False
Let k = -51 - -49. Let f(y) be the third derivative of -y**6/40 - y**5/60 + y**4/24 + y**3/6 - y**2. Is f(k) a multiple of 10?
False
Suppose -w + 9 = 3. Let h(j) = 10*j**2 + j - 1. Let f be h(1). Let g = f + w. Is 8 a factor of g?
True
Let b(v) = -v**3 + 3*v**2 + 7*v - 9. Let r be b(7). Let i be ((-8)/(-6))/((-8)/r). Does 15 divide -1 + i - 0/(-4)?
False
Let d(v) = -13*v + 6*v**2 + 14 - 7*v**2 + 4*v. Let u be d(-10). Suppose -50 = -u*c + 46. Is 24 a factor of c?
True
Suppose 0 = -3*p + 60 + 63. Is 16 a factor of p?
False
Let m = 20 + -40. Let z = 40 + m. Is z a multiple of 8?
False
Let q = -7 + 20. Suppose 0*l + 30 = 2*t + 2*l, 5*t = -4*l + 80. Let u = t - q. Is 3 a factor of u?
False
Let p = 12 - 3. Suppose -2*s = s + 4*q + 194, -s - 2*q = 64. Is 11 a factor of s/9*p/(-3)?
True
Let n be ((-4)/(-14))/(3/21). Suppose -5*u = -3*d - n*u + 174, 3*d + 2*u - 169 = 0. Does 19 divide d?
True
Let s(d) = d**3 - 6*d**2 - 8*d + 4. Let a be s(9). Suppose 5*f - a = -3*l, -5*l + 0*f - 2*f = -279. Is l a multiple of 10?
False
Let x(a) = -a**3 - 11*a**2 + 22*a - 19. Does 11 divide x(-13)?
True
Let d(h) = 2*h**3 - 6*h**2 - 3*h + 11. Let k be (-12)/(-4) + 2 - 0. Does 17 divide d(k)?
False
Let h(c) = 5*c**2 + 35*c - 4. Let b(a) = -2*a**2 - 12*a + 1. Let j be -4*(3/4)/(-1). Let f(k) = j*h(k) + 8*b(k). Is f(7) a multiple of 8?
False
Let t(c) = c**3 - 3*c**2 + 6*c. Is t(4) a multiple of 9?
False
Suppose -2*d = -2*a - 2, 3*a = -2*d + 1 + 1. Suppose a = n - 5 - 5. Is n a multiple of 10?
True
Let p be 7 + (-2)/2 + -1. Let b = -1 + p. Let v = b + 3. Is 3 a factor of v?
False
Let n(g) = -g - 6. Let r(l) = l**3 + l**2 + l + 13. Let m(x) = -5*n(