*y + 4*l. Is 7 a factor of y?
False
Suppose -3*i - 8 - 16 = -3*p, -2*p + 24 = -4*i. Suppose -29 = -p*w + 31. Is 15 a factor of w?
True
Suppose 3*x - x = -14. Let d(f) be the second derivative of -f**3/6 + f**2 + 3*f. Is d(x) a multiple of 6?
False
Is 648/40 - 2/10 a multiple of 16?
True
Let g = 78 - 17. Is 14 a factor of g?
False
Suppose -1 = -5*a + 19. Suppose 15 = a*f + q - 2, -4*f + 2*q = -2. Is f even?
False
Suppose 3*u + i + 3*i = -11, 2*u - 5*i = 31. Let g = u + 0. Suppose 5*l = -3*y + 103, 9 = g*l - y - 64. Is l a multiple of 10?
False
Let q(j) = 19*j**2 - 1. Let f be q(3). Suppose n = 18 + f. Suppose 60 - n = -4*k. Is 9 a factor of k?
False
Let k = 9 + 4. Does 3 divide k?
False
Let a = -9 + 11. Let f(v) = 10*v - 9*v + 11*v. Is 12 a factor of f(a)?
True
Let m(o) = -10*o + 7. Let n be m(-5). Suppose 2*k - 16 = -3*j + 11, -3*k = -j - n. Is k a multiple of 6?
True
Suppose p - 3 + 1 = 0. Suppose -2*i + p + 8 = 0. Suppose 2*f = 13 - i. Is 2 a factor of f?
True
Let a(m) = 36*m - 6. Is 6 a factor of a(2)?
True
Let t(s) = 7*s + 3. Let n be t(-2). Let w = 17 + n. Is w a multiple of 3?
True
Let b(t) = 3*t**2 - t + 1. Let o be b(1). Let j(z) = z**2 + 8*z + 10. Let n be j(-7). Suppose -c + 35 = -y + o*y, n*c + 4*y - 95 = 0. Is c a multiple of 14?
False
Suppose 2*l - 102 = 52. Is l a multiple of 7?
True
Let j(r) = 5*r**2 + 2*r - 2. Is 7 a factor of j(-4)?
True
Suppose -3*z + 362 = -z + u, -5*z + 900 = 5*u. Does 22 divide z?
False
Suppose 0 = 2*m + 3*m - 185. Let y = m + -21. Is 16 a factor of y?
True
Suppose -492 = -11*c + 5*c. Does 3 divide c?
False
Suppose 0*i - 2*i - 2 = c, 2*c - 4*i = 4. Suppose 4*f - 134 = -n, f - n - 36 = -c*n. Does 34 divide f?
True
Let v(c) be the third derivative of -7*c**4/24 + c**3/6 + 3*c**2. Does 15 divide v(-2)?
True
Let k(m) = 8*m + 1. Let g be k(-1). Suppose -5*a + 25 = 5*y, 5*y + 0*a = -4*a + 25. Let u = y - g. Is u a multiple of 8?
False
Let h(w) be the second derivative of w**4/24 + w**3/6 + 3*w**2/2 - 3*w. Let c(a) be the first derivative of h(a). Is 6 a factor of c(5)?
True
Let r(b) = 1 + 0*b - 2 - 7*b + 38*b. Is r(1) a multiple of 10?
True
Let y be (-1 - 2 - -2)*-3. Suppose -y*n + 48 + 0 = 0. Suppose 2*v - 3*v = -n. Is 11 a factor of v?
False
Let y(p) = p**3 - 5*p**2 - 4*p - 1. Let j be y(7). Suppose 4*r + 70 = 3*t + 2*t, -3*t - 3*r = -j. Is t a multiple of 9?
True
Let t = 22 - 18. Suppose -t*g - 159 = -5*l, 0*g - 15 = -l + 5*g. Is 18 a factor of l?
False
Let c be (6/10)/(3/15). Suppose -123 = -4*w + c*z, -2*w - z + 75 = 2*z. Does 11 divide w?
True
Suppose -35*o + 40*o - 215 = 0. Is 5 a factor of o?
False
Suppose -27 = 4*x - 11. Is 28 a factor of (2*1)/(x/(-56))?
True
Let x(b) = -2*b**3 - 2*b**2 - 3*b - 3. Does 5 divide x(-2)?
False
Suppose 3*n + 12 = 4*a - 3, 4 = -4*n. Suppose -4*u + 35 = a*u. Is u even?
False
Let y(h) = -h**2 + h. Let u be y(0). Suppose 3*o - 123 = -2*g - 0*g, u = g + 4*o - 49. Is 23 a factor of g?
True
Let x(o) = 13*o**2 + 23*o + 28. Let z(m) = -3*m**2 - 6*m - 7. Let b(h) = 2*x(h) + 9*z(h). Does 2 divide b(-6)?
False
Suppose 0 = -2*n - 1 + 17. Suppose -5*a + n = d - 10*a, 3*d = 4*a + 35. Let h = d - 6. Is h a multiple of 3?
False
Let l(p) = -p**3 - 7*p**2 + 9*p + 12. Does 2 divide l(-8)?
True
Suppose -2*z + 22 + 10 = 0. Is z a multiple of 3?
False
Let n(f) = f + 84. Is n(0) a multiple of 19?
False
Let z = 124 - 91. Is z a multiple of 17?
False
Let q = -124 + 212. Is q a multiple of 11?
True
Suppose -430 = -3*o + 2*t, 7*o + 3*t - 723 = 2*o. Is o a multiple of 16?
True
Let p = 204 - -26. Is p a multiple of 38?
False
Let b(m) = -m**3 - 8*m**2 - 8*m - 5. Let g be b(-7). Suppose -g*w + 12 = w. Does 3 divide w?
False
Let n(f) = f**2 + f. Let h be n(2). Let i = -10 + h. Let k(d) = d**3 + 4*d**2 - 3*d - 5. Is 3 a factor of k(i)?
False
Suppose 2*u = 2, 0 = -4*y - 4*u + u + 475. Is y a multiple of 21?
False
Let l(p) be the second derivative of p**4/6 - 11*p**3/6 + 5*p**2/2 + 4*p. Does 12 divide l(8)?
False
Let y(m) = m - 6. Let u be y(8). Let p(f) = 3*f**3 - f**2 - f + 2. Let h be p(u). Let x = h + -6. Is 9 a factor of x?
False
Let y(t) = 9*t - 2. Let h = 0 + 7. Let d = h - 2. Is y(d) a multiple of 21?
False
Suppose 15 = -5*n - 30. Let s = 15 + n. Is s a multiple of 6?
True
Suppose -30 = -v - 8. Is v a multiple of 2?
True
Let d = -1 + 6. Suppose d*u = 5*k + 5, -u - u - 6 = -4*k. Does 5 divide u?
True
Suppose 4*w - 102 = -4*x + 30, 0 = 4*w - 2*x - 120. Let z be 0 + -2 + 2 + w. Suppose -5*m + z + 4 = 0. Is 7 a factor of m?
True
Suppose 0 = -3*b + 91 + 233. Suppose -b = x - 3*x. Is 8 a factor of -2 - (-1)/(3/x)?
True
Let u be -7*5/(70/(-48)). Let r be (88/55)/((-2)/(-10)). Suppose r - u = -4*k. Is 4 a factor of k?
True
Suppose 0 = -4*l - b + 31, 4*l - 29 = -5*b + 14. Let a = l - 5. Suppose 3*n - 161 = -4*r - 28, -3*r + a*n + 87 = 0. Does 19 divide r?
False
Let c(k) = 13*k + 20. Does 25 divide c(10)?
True
Let m(n) = n**3 + 8*n**2 + 3. Let b be m(-8). Suppose z + 2*k + b*k = 5, 4*k - 109 = -5*z. Does 15 divide z + (-4 + 2 - -3)?
False
Let p(t) = 128*t**2 + 4*t + 1. Does 19 divide p(-1)?
False
Let a be 5*3*(-4)/(-3). Does 13 divide a - ((-12)/4)/(-3)?
False
Let k = -11 - 1. Let r = k - -22. Does 5 divide r?
True
Let o = -21 - -31. Let z = 7 - o. Is 54/4 - z/6 a multiple of 13?
False
Let j = 42 - 24. Is 9 a factor of j?
True
Suppose 4*z = 2*i + 286, 2*i + 3*i = 25. Is 16 a factor of z?
False
Let d = 110 - 56. Is 18 a factor of d?
True
Let o = 17 - -4. Is 7 a factor of o?
True
Let t(o) be the third derivative of o**8/20160 + 7*o**6/360 - o**5/60 + 2*o**2. Let d(f) be the third derivative of t(f). Does 14 divide d(0)?
True
Let r = 9 + 1. Let p = r - -11. Is 6 a factor of p?
False
Let h(t) = 16*t + 3. Is h(2) a multiple of 5?
True
Suppose -3 = -h + 110. Does 32 divide h?
False
Let v(c) = -c**3 - c**2 - c. Let b be v(-1). Suppose -b - 3 = 4*w. Let s = w - -8. Does 6 divide s?
False
Let v(g) = g**3 + 10*g**2 + 13*g + 9. Is v(-8) a multiple of 11?
True
Is ((-42)/10)/((-13)/130) a multiple of 14?
True
Let n be 1*1/2*44. Let h = 4 + 0. Suppose 0 = -2*j + h*j + x - 22, j = 5*x + n. Does 6 divide j?
True
Suppose 4 = -4*a + 2*a. Is a/(-2 - -3) + 5 even?
False
Suppose -9*s = -8*s - 36. Is s a multiple of 12?
True
Let l(i) = i**3 - 4*i**2 - 5*i + 6. Let p be l(5). Suppose 4*y + 37 = p*y + a, 4*a - 88 = -5*y. Does 10 divide y?
True
Let j(a) = -a**2 - 16*a + 5. Is 22 a factor of j(-13)?
True
Does 16 divide 50 - (-5 - -9) - 0/(-1)?
False
Let n = -2 - -26. Does 12 divide n?
True
Does 6 divide (153/(-12))/((-1)/8)?
True
Let b(y) = -y - 9. Let x be b(-11). Suppose -x*d + 103 = n, -4*d + 2*n = 83 - 301. Let f = d + -15. Is 19 a factor of f?
True
Let h(i) be the second derivative of -13/6*i**3 - i**2 + 2*i + 0. Is 17 a factor of h(-4)?
False
Let w be 4 + 2 - 8/2. Suppose -3*m + w = -10, -2*y + m = -84. Is 11 a factor of y?
True
Let m = -2 - -8. Suppose -m*y = -y - 100. Is y a multiple of 10?
True
Suppose 0 = -s - 5, 5*b + 0*s = s + 295. Let w = b + -32. Is 13 a factor of w?
True
Let s = 25 - 7. Let d = 25 - s. Does 4 divide d?
False
Let x(n) = n**2 - 2*n - 16. Is x(12) a multiple of 17?
False
Suppose 23 = -3*n + 4*n. Let l = -15 + n. Does 3 divide l?
False
Suppose -2*l = o + l - 36, -5*o = -4*l - 237. Is (24/15)/(2/o) a multiple of 12?
True
Suppose -5*o - 2*y = -137, o + 4*y + 0*y - 31 = 0. Does 9 divide o?
True
Let o = 277 - 112. Is 33 a factor of o?
True
Suppose -c + 6*z + 9 = 3*z, -3*c + 2*z = -20. Suppose 0*l - 2*l = 8. Does 20 divide c/l*40/(-3)?
True
Suppose 3*i - 3*l = -0*l + 78, -l + 1 = 0. Let h = 39 + -24. Let b = i - h. Does 12 divide b?
True
Let q be ((-3)/4)/((-2)/120). Let d = q - 31. Is 7 a factor of d?
True
Suppose -d = -i - 4*i + 175, -41 = -i - d. Does 16 divide i?
False
Let i(d) = d**2 + 22*d + 24. Is i(-22) a multiple of 13?
False
Is 22 a factor of 30 - (-5)/(20/(-8))?
False
Let h be (-8)/12 - (-58)/6. Suppose 9*a - 10*a + h = 0. Does 2 divide a?
False
Suppose t = -3, -f + 2*t = 2*f - 165. Suppose 2*i - 82 = -2*m, -54 = -3*m + 5*i + f. Is 13 a factor of m?
True
Let p(u) = 5*u**2 + 40*u - 24. Let n(v) = -v**2 - 8*v + 5. Let l = 11 - 0. Let y(b) = l*n(b) + 2*p(b). Is 3 a factor of y(-8)?
False
Suppose -60 = -2*x - x. Suppose -5*h = 44 + 6. Let m = x + h. Is m a multiple of 4?
False
Let k = 76 + 33. Is k a 