f 17?
True
Let w(z) = z**3 - 9*z**2 + 9*z + 5. Suppose 7 = 2*q - 31. Let f = q + -11. Is 9 a factor of w(f)?
False
Suppose 0*z - z + 6 = 5*y, 3*z + 3*y - 54 = 0. Is 21 a factor of z?
True
Let w be (-141)/(-12) - (-2)/8. Is (-82)/(-8) - w/(-16) a multiple of 10?
False
Let m(y) = y - 1. Let f be m(3). Suppose f*w = w + 22. Is w a multiple of 11?
True
Let m = 9 + -3. Does 11 divide 4/6 - (-62)/m?
True
Let m = 9 - 31. Let x be 24/11 + 4/m. Suppose -x*n + 5 = 3*n, 3*c = -2*n + 65. Does 21 divide c?
True
Suppose -3*x = -5*b - 2*x + 20, 5*x - 45 = -4*b. Suppose 1 = h + 4*g - 1, -3*g = 3*h - 6. Suppose 0 = -5*l - b*y + 30, -l - h*l + 3*y = 0. Is l even?
False
Let k = 46 + -28. Is 6 a factor of k?
True
Suppose 3*k - 2*k + 9 = 0. Let v be 135/(2 + 3) - 3. Let w = k + v. Does 5 divide w?
True
Let m be (1 + 2)/((-9)/48). Does 11 divide (-78)/(-8)*m/(-6)?
False
Let z(g) be the third derivative of g**6/120 + g**5/6 - 13*g**4/24 - 5*g**2. Does 11 divide z(-11)?
True
Suppose 3*z + 2 = 212. Is 7 a factor of z?
True
Suppose 4*p = 105 + 75. Let k = p - 20. Suppose -4*l + 5*g + 33 = -2*l, 5*g + k = 0. Is l a multiple of 2?
True
Suppose -3*f - 23 = -5*l, f + 3*l + 0*l = -3. Is 5 a factor of 75/f*8/(-10)?
True
Suppose -s = -w + 2*s + 45, -2*w + 90 = -5*s. Let d be (-4)/8*(w + 1). Let a = -10 - d. Is 13 a factor of a?
True
Let y = 10 - 6. Suppose y*r + 17 = 49. Does 8 divide r?
True
Is 5 a factor of 19 + -1 + 12/(-4)?
True
Let p be (-2)/(4/(-2))*32. Does 15 divide p - (6/(-1))/(-3)?
True
Let b = -11 + 23. Let t = b - 7. Does 2 divide t?
False
Suppose 0 = -2*q - k + 118 - 30, q - 44 = -k. Is 22 a factor of q?
True
Let s(v) = 3*v - 1. Let r be s(1). Let q be (-2)/r*(2 - 11). Suppose -q - 23 = -j. Does 19 divide j?
False
Suppose -3*g = 3*a - 24 - 36, -5*a + 4*g = -64. Let f = -8 + a. Is 8 a factor of f?
True
Let m = -40 - -103. Is 31 a factor of m?
False
Suppose 18*f - 12*f - 96 = 0. Is f a multiple of 4?
True
Let m(d) = 135*d**2 + 4*d - 1. Is 59 a factor of m(1)?
False
Does 7 divide 7*(-2 + 3 + 0)?
True
Let t(r) = 2*r**3 - 2*r**2 - r. Let h be t(2). Is 2 a factor of h/2 + -3 - -2?
True
Let d(b) = -b**2 + 11*b - 5. Let g be d(10). Is 3 a factor of (4 - g) + 0 + 7?
True
Suppose -x - 7 = -2*x. Let y = 23 + x. Is 18 a factor of y?
False
Let d(i) be the third derivative of 3*i**4/8 - 2*i**2. Is d(2) a multiple of 18?
True
Is 16 a factor of (-8)/10*2*-20?
True
Suppose -s = -2*q + 1, -4*q + 3*s + 1 - 4 = 0. Is (0 + -1)/((-1)/q) even?
False
Suppose -a + 1 = -1. Suppose a*w - o - 77 = -18, 2*o = -w + 32. Is 15 a factor of w?
True
Let b(x) = 3*x**2 + 3*x - 3. Does 8 divide b(-4)?
False
Suppose -f + s = -0*s + 3, -5*f + 4*s = 10. Suppose 2*m - 4 + 0 = l, -2*l + f*m = 0. Suppose -w - l*w + 185 = 0. Is 18 a factor of w?
False
Does 30 divide (1 - -919)/5 - 3?
False
Let k(u) = 5*u + 4. Let z(v) = v**2 - 10*v + 5. Let t be z(9). Let l(c) = 4*c + 5. Let o(y) = t*l(y) + 3*k(y). Does 2 divide o(-13)?
False
Let i = -23 - -14. Let n = i - -3. Is 5 a factor of 8 - -4*(-3)/n?
True
Let i = 1 - -35. Does 7 divide i?
False
Let l(a) = 3*a**2 + 8*a + 3. Let x be l(-5). Suppose t + 108 = 4*w - 0*t, -w + x = -3*t. Does 13 divide w?
True
Let q(k) = 97*k**3 - k**2 - k + 1. Does 28 divide q(1)?
False
Let k = 23 + -41. Let g = k - -50. Is g a multiple of 8?
True
Suppose 4*m = m + 21. Is m a multiple of 7?
True
Let g(i) = -i**3 + 11*i**2 - i + 16. Is 5 a factor of g(11)?
True
Suppose 4*f - 39 = 3*f. Let l = -92 + 64. Let o = f + l. Is 6 a factor of o?
False
Let p(w) = -11*w + 3. Let j be p(-3). Let m(g) = g**3 + 6*g - 1. Let r be m(4). Suppose -2*z + z = 5*x - r, -2*x + j = z. Is x a multiple of 8?
False
Suppose 5*m = 2 + 53. Let h be (-1)/2 - m/(-2). Suppose 2*o = -2*l + 98, -h*o - 4 + 149 = 3*l. Is l a multiple of 25?
True
Let g be (12 + 3)*(-1)/(-3). Suppose -2*u + 4*u = -2*i + 10, -i = -4*u - g. Suppose -i*l + 80 = -l. Is l a multiple of 8?
False
Let x(l) = 15*l**2 - 2*l. Let t be x(-2). Let y = -42 + t. Is 11 a factor of y?
True
Let a(z) = -z**2 + 7*z - 4. Let d(u) = u + 12. Let t be d(-6). Let p be a(t). Suppose 0 = -p*y - 0 + 12. Is y a multiple of 3?
True
Suppose 3*o = -a - 2, 2*o = -3*a + 1 - 0. Let d = 56 - 158. Does 3 divide o/4 - d/24?
False
Let s = 156 - 66. Is s a multiple of 18?
True
Suppose -4*m - m = -2*s + 88, 3*s = 4*m + 118. Let i = -24 + s. Does 6 divide i?
False
Let n = -214 + 454. Is n a multiple of 40?
True
Let q = 7 - 7. Suppose -3*u + u + 44 = q. Is u a multiple of 22?
True
Let x(r) = 5*r**2 - 6*r + 6. Let a be x(4). Suppose 3*w - 82 = a. Is 8 a factor of (4/(-8))/((-2)/w)?
False
Let b(y) = y**2 + y + 2. Let d be b(0). Suppose n = -2*a + 64, d*n + a = 69 + 50. Suppose 0*m + m = n. Is m a multiple of 25?
False
Let l be (-2)/(-4) + (-45)/(-2). Suppose -3*k - 9 = -57. Suppose k + l = s. Is 20 a factor of s?
False
Suppose 3*q - 15 = l - 6, 3 = 3*l - 3*q. Suppose l*t = 11*t - 130. Is 8 a factor of t?
False
Let f be 2/1*(-23)/2. Let c be 2/(-2) + 1 + -2. Is 8 a factor of 1/c*0 - f?
False
Suppose 0 = 5*i - 137 - 33. Does 20 divide i?
False
Let d(l) = -4*l**3 + 4*l + 10. Does 27 divide d(-4)?
False
Let c be (-2 - (1 - 1)) + 5. Let g be 1/(2 - c) - -43. Is -1 + g - 0/(-1) a multiple of 19?
False
Let y = 45 - 28. Suppose 3 - y = f. Let i = 27 + f. Is 8 a factor of i?
False
Suppose 0 = 4*c + c - 340. Is c a multiple of 34?
True
Suppose 3*r - 73 = 74. Suppose -k + r = -x + 4*x, -2*x - 4*k = -16. Does 7 divide x?
False
Suppose -m = 2*m - k + 5, 3*k = -3. Let t(o) = -99*o + 2. Let c be t(m). Is 2/(-7) + c/14 a multiple of 9?
False
Suppose -4*v = -161 - 127. Is 12 a factor of v*(-3)/(-18)*3?
True
Suppose -2*v = y - 247 - 188, y + 433 = 2*v. Suppose -5 = -z, 4*b + z - 4*z - v = 0. Is 29 a factor of b?
True
Suppose 3*n = 0, j - 12*n - 112 = -11*n. Is j a multiple of 18?
False
Let c(q) = 2*q + 3. Is c(2) a multiple of 3?
False
Let u(f) = 17*f**3 - 2*f + 1. Suppose -5*p + p = 0. Suppose 2*l + l - 3 = p. Is 10 a factor of u(l)?
False
Suppose -4*v = -0*v. Suppose 4 = 5*s - 16. Is (v - -1 - s) + 8 a multiple of 5?
True
Is 1012/33 + 1/(-3)*-1 a multiple of 7?
False
Let d(u) = u**3 + 8*u**2 + 6*u - 2. Let v be d(-7). Suppose 0 = -v*f, 3*f = 5*w + 177 - 42. Does 3 divide w/(-6) + 12/8?
True
Let p = -2 - -2. Suppose 2*z - 6 - 24 = p. Suppose -z = -3*w, 6*o = o + 2*w + 80. Is o a multiple of 9?
True
Let w = -21 - -34. Does 3 divide w?
False
Suppose -3*c - 2*b + 8 = -10, 5*c + 3*b = 30. Suppose c = 2*x - 0*x. Suppose 0 = 5*z - 3*t - 188, x*z = 3*t + t + 104. Does 20 divide z?
True
Suppose 9*f + 30 = 201. Is f a multiple of 19?
True
Is ((-60)/25)/((-2)/10) a multiple of 12?
True
Is 11 + (-16)/4 + -2 even?
False
Suppose -5*a + 0*a - 4*s + 188 = 0, -5*s - 134 = -4*a. Suppose 0 = -4*y - 4*y + 32. Let u = a + y. Is 23 a factor of u?
False
Let c be 2*-1 - (-5 + 2). Suppose 11 = 4*d - 3*k, 5*k = -3*d - 0*d + c. Suppose -2 + 26 = d*h. Is h a multiple of 12?
True
Suppose 4*l - 5 = 7. Suppose 0 = -7*x + l*x + 92. Does 9 divide x?
False
Let w(k) = -k**3 - 6*k**2 + k + 4. Let a be w(-6). Let x be -1*(a + 4)*-5. Let y = -6 + x. Is 2 a factor of y?
True
Let y = -2 - -1. Let q = 2 + y. Does 8 divide 16 + q/3*0?
True
Let x = 0 - 3. Let f = x + 13. Suppose 2*n = f + 26. Is n a multiple of 8?
False
Suppose 3*w - 3*u = -4*u - 85, 0 = 5*w + u + 139. Let m = 20 + -37. Let r = m - w. Is r a multiple of 5?
True
Let q be ((-10)/4)/((-1)/2). Suppose -3*b = -q*g - 57 - 7, 2*g = 5*b - 94. Is b a multiple of 10?
False
Let j = 117 - 81. Does 6 divide j?
True
Let y(u) = -7*u + 1. Let m be y(1). Let b(n) be the second derivative of n**4/12 + n**3 + 7*n**2/2 + 8*n. Is b(m) a multiple of 3?
False
Suppose 752 = -11*n + 19*n. Does 16 divide n?
False
Suppose v + 3*v = 288. Is v a multiple of 24?
True
Suppose 16 = -3*k + 5*k. Is 4 a factor of k?
True
Suppose -12 = -2*p - 0*p. Suppose -4*c = -38 + p. Is c a multiple of 4?
True
Let u(d) = -d**3 - 5*d**2 + 18*d - 13. Is u(-8) a multiple of 7?
True
Suppose 6 = 3*a, -a + 0*a = -y + 34. Is 18 a factor of y?
True
Let n(w) = -2*w**2 - 7*w - 3. Let o be n(-2). Let f = 83 + -28. Suppose -v - b = -f + 9, -2*v - o*b + 90 = 0. Is 24 a factor of v?
True
Let g(t) = -t**3 - 5*t**2 - 3*t + 5. Let d be g(-4). Does 3 divide d + -2*3/(-3)?
True
Let v(h) = h + 3. Let n be v(9). Suppose n = 4*y - 4. Is 2 a 