**2 + 9*y + 13. Is 5 a factor of t(8)?
False
Suppose 15 = 2*i - 2*l - 1, -3*i = 2*l + 1. Suppose 0 = -i*k + 23 - 8. Suppose -w - 88 = -k*w. Is w a multiple of 22?
True
Let t(i) = i**2 + 4*i + 2. Let m be t(-4). Let l(b) = 2*b + 4. Let x be l(7). Does 16 divide x - (0 + 0 + m)?
True
Let j(x) = 15*x**3 - x + 1. Let g(k) = k. Let i be g(1). Let h be j(i). Is (22/(-3))/((-10)/h) a multiple of 6?
False
Is (-2779)/(-49) + (-4)/(-14) a multiple of 19?
True
Suppose -5*k = -p - 4*k + 8, 3*p + 4*k = -11. Suppose 28 = p*v - 0*v + r, 4*r + 9 = -v. Is v a multiple of 6?
False
Let r(l) = -l**2 + 3. Let h be (-3 + 4)/((-3)/(-15)). Let x(k) = 3*k**2 - k - 6. Let g(o) = h*r(o) + 2*x(o). Does 18 divide g(-3)?
True
Let x(j) = -j**2 - 6*j - 3. Let k be x(-6). Let y = 3 - 53. Is 8 a factor of y/k + 10/(-15)?
True
Suppose u + 24 = 6. Is (-2)/(-12) - 249/u a multiple of 14?
True
Suppose 5*w + 95 = 2*g, 2*g + 4*w = -g + 131. Is 11 a factor of g?
False
Let n(g) = -g**2 + 7*g - 1. Let v(j) = 6*j - 1. Let h be v(1). Does 9 divide n(h)?
True
Let c = -74 + 46. Let x = -3 - c. Is x a multiple of 25?
True
Suppose -2*s - 6 - 6 = 0. Is (-12)/(-18) + (-212)/s a multiple of 10?
False
Let p = -5 + 11. Let i(m) = 2*m - 2. Is 10 a factor of i(p)?
True
Does 5 divide (1 - 3)/1 + 10?
False
Suppose -4*w = 3*n + n, 5*w + 2*n = -3. Does 8 divide ((-6)/9)/(w/12)?
True
Let l(c) be the second derivative of -c**3/2 + 3*c**2/2 + 8*c. Is 12 a factor of l(-8)?
False
Is 11 a factor of -3*(-9 - (-2 + 4))?
True
Let m(n) = 99*n**2 - 3*n + 2. Let u be m(2). Let j be u/63 - 4/18. Let w = j + 2. Is w a multiple of 3?
False
Let o = -23 + 7. Let i = o + 52. Is 18 a factor of i?
True
Suppose -4*r = -165 - 71. Suppose -r = 5*m - 249. Is 19 a factor of m?
True
Let v(u) be the second derivative of -u**5/10 - u**4/4 + u**3/6 + u**2/2 + 2*u. Let p be v(-3). Let k = p + -15. Is 4 a factor of k?
False
Let q be 1/(-2) + 7/2. Suppose 3*v - k - 37 = 0, -q*v + 31 = -0*v - 4*k. Does 13 divide v?
True
Let f = 10 - 1. Is 12 a factor of 7 - f - -13*2?
True
Let d(j) = j - 4. Let q be d(6). Suppose -3*c = -n + q*n - 110, -92 = -2*c + 4*n. Suppose c + 13 = 3*k. Does 12 divide k?
False
Does 46 divide 0/3 - (-140 + 2)?
True
Let m(d) = -d**3 - 2*d**2 + 2*d - 1. Let o be m(-3). Suppose 0 = o*a - 4, 4*b = 2*b + a + 74. Is 17 a factor of b?
False
Suppose -1 + 75 = 2*d. Does 35 divide d?
False
Let h(i) = i**3 - 3*i**2 - i - 4. Let v(x) = -5*x**2 - 4*x + 1. Let r(a) = -a**2. Let t(k) = 4*r(k) - v(k). Let z be t(-5). Does 3 divide h(z)?
False
Let y(w) = 1 - w**3 - w + 4*w**2 - 5 + 0*w**2. Let a be y(3). Suppose 0*n - a*n = -42. Is 15 a factor of n?
False
Let h be (-9)/6*(-4)/2. Suppose -3 = 5*g + 2*x - h*x, 4*x - 12 = 3*g. Suppose -4*r + 4*j + 130 = 22, 3*r + 2*j - 96 = g. Is r a multiple of 10?
True
Let d be (4/2)/(0 + 2). Let l = d + -18. Does 8 divide l*(1 - (4 + -2))?
False
Is (-2)/(-10) + (-68)/(-10) a multiple of 5?
False
Is (-4)/1 - -4 - -78 a multiple of 26?
True
Suppose 3*r - 206 = -g, 138 = 2*r - 3*g + 4*g. Is 17 a factor of r?
True
Let m = 16 + -12. Let i(q) = q**2 - q + 3. Is 15 a factor of i(m)?
True
Let s = 2 + 55. Does 5 divide s?
False
Suppose -3*z - 2*z - 20 = 0. Let k be 4 + 3/(6/z). Is (1/k)/((-1)/(-12)) a multiple of 3?
True
Let f(a) = 4*a + 11. Is f(3) a multiple of 23?
True
Let k(y) = 2*y**2 - 6*y + 4. Does 4 divide k(4)?
True
Let t = 1 - 3. Let n(z) = -z**3 - z**2 - 2. Let o be n(t). Suppose -3*l = 5*u - 52, o*u = -2*u - l + 43. Is 8 a factor of u?
False
Let y(i) = -10*i - 1. Is 11 a factor of y(-10)?
True
Let l(v) = v**3 - 2*v**2 - 2*v - 2. Let b be l(3). Let q be 6*b*(-1)/3. Is 4 a factor of (4/q)/((-1)/4)?
True
Suppose 3 = -u - 1. Suppose -4*c - 32 = -4*m, 0 = -2*c + 3*c - 5*m + 12. Let x = u - c. Does 2 divide x?
False
Let s = -11 + 19. Does 7 divide (-888)/(-32) + 2/s?
True
Suppose -5*m + 2*m = -291. Let u = 196 - m. Does 33 divide u?
True
Suppose 5*j - 21 = 3*b - 107, 4*b = j + 92. Is 11 a factor of b?
True
Let n(d) = -8*d + 1. Suppose 3*y + 0*y + 3*g - 3 = 0, 0 = 3*y - 5*g - 19. Suppose -x = -0*w + y*w + 14, x = -w - 6. Does 17 divide n(x)?
True
Suppose 4*u + 18 - 110 = 0. Is 11 a factor of u?
False
Suppose 4*y - 8*y + 52 = x, 4*y - 2*x = 64. Let n = 16 - y. Is n a multiple of 2?
True
Let l be (-9)/(-6)*(-12)/(-9). Suppose 6 = -3*u, -42 = -5*t - l*u + 94. Is t a multiple of 16?
False
Let n(r) = r - 1. Let u be n(3). Suppose 18 = u*g - 30. Is g a multiple of 12?
True
Suppose 0 = -3*u - 62 + 251. Suppose -2*k + 5*z = -u, 0 = -3*k + 4*k - z - 39. Does 22 divide k?
True
Let r(g) = 17*g**2 + 6*g + 12. Is 25 a factor of r(-2)?
False
Suppose 9*h - 8*h = 12. Is h a multiple of 12?
True
Let n(m) = -6*m**2 - m + 1. Let f be n(1). Let s be (-207)/f + (-1)/(-2). Suppose 2*q + 13 - s = 0. Does 6 divide q?
False
Let y = 70 + -24. Let w = y - 4. Is 14 a factor of w?
True
Suppose -2*w + 10 = 0, 2*i - 40 = -i - 5*w. Suppose 2*t + i*q = 0, 3*t = -4*q - 4 + 11. Suppose -231 = -t*d + 39. Is 19 a factor of d?
False
Suppose -s - 2 + 13 = 0. Suppose 3*d = 31 + s. Does 7 divide d?
True
Suppose -5*s - 5*k = -595 + 90, k - 509 = -5*s. Is 13 a factor of s?
False
Suppose -3*m = -0*m - 2*u - 12, 4*m - 16 = -u. Suppose 5*v = -4*k + 6, -k - 9 = -3*v + 2*k. Does 10 divide v + 0 + (m - -4)?
True
Let k = -9 + 11. Does 2 divide k?
True
Let r(p) = p**3 + 6*p**2 - 3*p - 8. Let f be r(-6). Let g be (24/f)/(6/80). Suppose -2*w = -0*w - g. Does 8 divide w?
True
Does 4 divide 3 + (-3)/6*-2?
True
Suppose -37 = -3*b - 4*m, b - m - 62 = -2*b. Is b a multiple of 4?
False
Suppose -3*v + 2*v = 2*i - 2, 0 = -3*i. Suppose 4*m + v*r - 6 = 0, -5*r - 19 = 6. Suppose 2*x = j - 2*x + 5, 2*j - 2 = m*x. Does 6 divide j?
False
Suppose t + 0*t + 15 = -4*k, 0 = -5*t - k + 20. Suppose 3*q + c - 5*c - 1 = 0, -t*c - 10 = 5*q. Let x(w) = -14*w + 1. Is 10 a factor of x(q)?
False
Suppose 5*d = -g + 23, 5*g + 4*d = g + 28. Let i be -3*(g/9 + -1). Suppose -2*t + 4*j = -6, -t - 3*t = i*j - 22. Is t a multiple of 5?
True
Let v(l) be the third derivative of l**5/40 + l**4/4 - l**3/3 + l**2. Let p(s) be the first derivative of v(s). Does 14 divide p(5)?
False
Suppose 3*a - 463 = -3*m - 151, -a = 0. Does 26 divide m?
True
Let n(y) = -y**2 + 20. Let x be n(0). Suppose -5*v - f = -x, -5*v + 2 + 3 = -2*f. Let c = v - -11. Is c a multiple of 14?
True
Let p = -61 - -125. Suppose -5*s - 4*j = -172, 4*s = 4*j + p + 88. Is 12 a factor of s?
True
Suppose 0 = -t + 5*g + 172, 2*t - 2*g + 754 = 6*t. Let x = t - 102. Is x a multiple of 25?
False
Let n = 0 - 0. Let i = n + -3. Let v(f) = 2*f**2 - 4*f - 2. Is 14 a factor of v(i)?
True
Suppose -3*i = -i + 4. Let u be (3 + i)*8 - 2. Suppose 3*a - 37 = -x, 4*a = -u*x + 4*x + 46. Is 14 a factor of a?
True
Does 7 divide (-6 - -5)*-7*4?
True
Let t(o) be the first derivative of 2*o**2 + 2*o - 2. Is 13 a factor of t(6)?
True
Let w be (-1)/((-3)/(799 + 2)). Suppose -w - 77 = -4*o. Suppose 8*m - 2*u - o = 3*m, -2*u + 22 = m. Is 7 a factor of m?
False
Let b(k) = 210*k**3 + 1. Does 15 divide b(1)?
False
Let h = -48 + 191. Is 32 a factor of h?
False
Does 29 divide 2084/18 + (-10)/(-45)?
True
Let o be 3/(-12) + (-39)/(-12). Suppose -o*d + 60 = 2*d. Suppose 0 = -g - 2*g + d. Is g even?
True
Let x(s) be the first derivative of s**3/3 + s**2/2 + s + 4. Let p = -14 + 11. Does 3 divide x(p)?
False
Is 4 a factor of (-214)/(-4) - ((-45)/10 + 5)?
False
Let y(h) = h**2 + 5*h + 7. Let r be y(-11). Let s = -47 + r. Does 7 divide s?
False
Let s = -38 + 110. Does 6 divide s?
True
Is 24 a factor of 1/7 + (-1340)/(-28)?
True
Suppose -5*s - 145 = -q - 2*q, q + 3*s = 25. Is 2 a factor of q?
True
Let g(u) = -u**3 - 6*u**2 + 5. Does 17 divide g(-8)?
False
Let u = -89 + 143. Suppose 2*p - u + 14 = 0. Does 13 divide p?
False
Suppose 3*q + 366 = -3*p, 2*q - p + 249 = -2*p. Let g = q - -86. Let b = -28 - g. Does 13 divide b?
True
Suppose -3*r + q = -223, 75 - 294 = -3*r + 3*q. Does 15 divide r?
True
Let x(z) = z**2 + 2*z - 8. Let y be x(6). Let i = y - 20. Does 18 divide i?
False
Let c be (-4)/6 + (-14)/(-3). Suppose 2*o = c*o - 4. Is o a multiple of 2?
True
Suppose 0 = 4*m - 13 + 5. Let s = m + 30. Does 7 divide s?
False
Suppose -x + 29 = 18. Is x a multiple of 11?
True
Let y = 140 + -94. Is 23 a factor of y?
True
Let g = 139 - 103. Is 12 a factor of g?
True
Let l =