f 32?
False
Let g(a) = -a**2 + 8*a + 3. Is 5 a factor of g(6)?
True
Let h(n) = 3*n**2 - 3*n - 2. Let a be h(-3). Suppose -3*s = -s - a. Is 7 a factor of s?
False
Let f(z) = z**2 - 5*z + 7. Let c be f(6). Let a be 3/(6/8) - 2. Let h = c + a. Does 13 divide h?
False
Suppose w = 2*p - 24, -5*p + 10*p = -2*w + 42. Is 4 a factor of 4/p*(6 + 34)?
True
Suppose -2*y + 48 = y. Is y a multiple of 16?
True
Let o(g) = 19*g**2 + g + 8. Does 14 divide o(-4)?
True
Suppose -y = -42 - 15. Suppose 5*p + i = 124, -3*p + 31 = 4*i - y. Does 8 divide p?
True
Let r be (1 + 2)*(-164)/(-3). Is 7 a factor of 6/9 + r/6?
True
Let q be (-24)/(-9) + (-2)/3. Suppose -o = q*o - 33. Is o a multiple of 11?
True
Suppose 2*k - 141 = 411. Suppose 4*b - i = 3*i + k, i - 327 = -5*b. Let h = b + -37. Is 16 a factor of h?
False
Let d(m) = -m + 16. Let z(w) = w**3 - 14*w**2 + 13*w + 6. Let b be z(13). Does 5 divide d(b)?
True
Let r be 10*2 - -3 - -3. Let f be 2/(-7) + r/(-7). Let a = f + 26. Is a a multiple of 17?
False
Suppose 9*r - 5*r - 96 = 0. Is 24 a factor of r?
True
Let o = -95 - -221. Is 21 a factor of o?
True
Let d(b) = -b - 1. Let u be d(-5). Suppose -4*v + 2 + 1 = -3*r, -u*v + 13 = -5*r. Is 2 a factor of 1/(v/(-12)) - 1?
False
Let r = 2 - 2. Suppose 5*n - 43 = u, 4*n - u - u - 38 = r. Is 15 a factor of 122/8 + (-2)/n?
True
Let q(s) = s**3 + s**2 - s + 2. Let n be q(-2). Let z = n - -7. Is 3 a factor of z?
False
Let v = -4 + 6. Does 11 divide 1/v + (-129)/(-6)?
True
Let i(c) = -1. Let r(t) = t**2 - 2*t + 3. Let y(k) = 5*i(k) + r(k). Let o(d) = d**3 - 3*d + 2. Let b be o(2). Does 6 divide y(b)?
True
Suppose 0 = 4*h - h - 12. Suppose -5*r + 52 = -18. Suppose 5*u - r = h*u. Does 14 divide u?
True
Is 7 a factor of 154/21*-1*(-9)/2?
False
Suppose 4*m - 42 = -10. Let j = m - 5. Does 3 divide j?
True
Let c = -1 - -10. Let f be 14/21*(41 - 2). Let t = f - c. Is t a multiple of 5?
False
Let f be (4/(-6))/(2/(-12)). Suppose 22 = 4*s + 2. Suppose -50 = -f*y + l, -s*l = -5*y - 24 + 79. Is y a multiple of 13?
True
Let h(g) = 3*g - 12. Let d = 10 + 2. Is h(d) a multiple of 24?
True
Let g(v) = -v**3 + 10*v**2 - 7*v + 10. Let z be g(7). Suppose 2*l - 5*l = -z. Does 18 divide l?
True
Let b be (-2)/6 - (-4)/12. Suppose b = -2*h - 2 + 10. Suppose -h*l + 77 = 1. Is 19 a factor of l?
True
Let y = 6 - 3. Suppose 5*q - 4 - 1 = 0, 51 = 2*r + y*q. Is 12 a factor of r?
True
Let d = 32 + -15. Let h be d/2*1*2. Let x = h - 3. Is 14 a factor of x?
True
Let h(v) = 3*v - 19. Does 41 divide h(20)?
True
Let a = 134 + -15. Suppose 2*g - 2 = 0, -2*r + r - 2*g = -a. Does 19 divide 2*r/6 + 0?
False
Let g be -4 + -2*(2 - 1). Let f(u) be the first derivative of -u**3/3 - 4*u**2 + u - 7. Does 5 divide f(g)?
False
Is (-18492)/(-108) + (-2)/9 + -3 a multiple of 14?
True
Let v(k) = 6*k - 1. Let y be v(-1). Let h(s) = -4*s - 5. Is 14 a factor of h(y)?
False
Let d(q) = -q**3 + 10*q**2 + 14*q + 9. Is 14 a factor of d(11)?
True
Suppose 5*f + 5*d = 3*f + 16, -4*f + 3*d - 20 = 0. Let o = f + 13. Is o a multiple of 11?
True
Suppose -5*c - 27 = -217. Let i = -12 + c. Suppose i = -2*y + 4*y. Is y a multiple of 6?
False
Suppose -4*q + 3*k + 0*k = -118, 58 = 2*q - k. Does 28 divide q?
True
Let o = 6 - -9. Is 5 a factor of o?
True
Suppose -4*x - 65 = x. Let f = x - -55. Is f a multiple of 21?
True
Let w be ((-12)/15)/((-2)/(-5)). Let z(m) = m**2 - 5. Let f be z(-5). Let x = w + f. Is x a multiple of 6?
True
Let b be (1 + -3 + 5)*1. Is 3 a factor of 40/6 - 2/b?
True
Is 5 a factor of (30/(-18))/(1/(-15))?
True
Suppose -2*f + 9 = -7. Suppose 0 = 4*p - 5*l + f, 0*l - 3*l = -12. Is p a multiple of 2?
False
Is ((-1364)/(-8) - -5)*2/3 a multiple of 13?
True
Let f(k) = k**2 - k - 5. Let r(l) = -l**3 - 5*l**2 - 4*l - 3. Let q be r(-4). Let h be 5*(-1)/3*q. Is 6 a factor of f(h)?
False
Let z(f) = f**2 + 5*f - 7. Let p be z(-6). Let j = p - -46. Does 19 divide j?
False
Suppose 12*m + 1241 = 3233. Is 9 a factor of m?
False
Let d = -3 - -5. Suppose -d*t = -5*j + 2*t + 14, -2*j + 4*t = -8. Suppose u - j*u + 41 = 0. Is u a multiple of 13?
False
Let w(p) = -p**3 - 9*p**2 - 13*p + 9. Does 12 divide w(-8)?
False
Let i be (0 - -4)/((-12)/42). Let c be (-9 - -1) + (-2 - -3). Does 13 divide ((-12)/c)/((-1)/i)?
False
Suppose 0 = 4*h - 4*b - 10 - 6, 0 = 5*b - 5. Suppose -y - h*y + 54 = 0. Is 3 a factor of y?
True
Does 47 divide 7 - (3 + 3) - -313?
False
Let f(m) = -20*m + 13. Is f(-2) a multiple of 8?
False
Let q be 9 + (1 + 1 - 5). Suppose 135 = 4*l - 5*d, q*l + d - 85 = 4*l. Is l a multiple of 20?
True
Let d = -20 + 44. Does 6 divide d?
True
Let b(z) = z**2 + 4*z - 3. Let y be b(-5). Let p be y/6 + 15/9. Suppose -3*m = -u + 4*u - 42, p*u - 26 = -3*m. Is u a multiple of 8?
True
Does 11 divide (-143)/(-5) - (-2)/5?
False
Suppose -14 = 4*m - s, 3*m + 4*s = 2*s - 16. Let k(w) = -w**2 - 5*w - 1. Let d be k(m). Suppose 33 = d*a - 4*q - 10, -4*q = 16. Does 9 divide a?
True
Let c be (9/15)/(2/110). Suppose -2*t + t + c = 0. Is t a multiple of 9?
False
Let r = 14 - 33. Let n = r + 35. Is (n/(-10))/(2/(-5)) a multiple of 3?
False
Let n(q) = q**2 - q - 1. Suppose -2*t - 2 = 0, -1 = 3*h + 2*t - 2. Suppose 3*o = -h - 11. Is n(o) a multiple of 19?
True
Let a = -25 + 38. Suppose t + 19 = 46. Let g = t - a. Is g a multiple of 7?
True
Let s(n) = -39*n - 18. Is 27 a factor of s(-6)?
True
Let w be (-3 + -1)*8/(-16). Suppose 0 = w*k - 0 - 18. Is k even?
False
Let p = -64 + 136. Let t = -75 + 113. Let h = p - t. Is h a multiple of 17?
True
Suppose -5*r = -0*h - 4*h - 33, -3*h = 6. Let o = 9 - r. Suppose 0 = o*x + x - 25. Does 5 divide x?
True
Let q(f) be the second derivative of -f**5/20 - f**4/6 + f**3 + 2*f**2 + 4*f + 4. Let m be -5*(0 + 4/5). Is q(m) a multiple of 5?
False
Let r be (-2)/(-9) - (-80)/45. Suppose 3*k - 49 = -5*h, -2*k - r*h + 15 = -k. Does 14 divide k?
False
Let c(x) = 69*x**2 - 2. Is 17 a factor of c(-1)?
False
Suppose -3*y - 9 = 0, -y + 0*y + 67 = 2*g. Let h = 65 - g. Is h a multiple of 10?
True
Suppose 0 = 12*v - 608 - 316. Does 18 divide v?
False
Suppose 2*m = 2 + 8. Suppose -4*t + 30 = 3*l + 2*l, -2*l + 29 = m*t. Is 5 a factor of t?
True
Let r = 124 + -20. Is r a multiple of 26?
True
Suppose 5*p - 4*p + 27 = 0. Let z = p - -65. Is z a multiple of 14?
False
Let x be ((-6)/(-4) + 0)*2. Suppose -x*z = -5*z + 84. Is 21 a factor of z?
True
Let h be 27 + (-5 - (-3 + 0)). Let q = h - -2. Does 9 divide q?
True
Let j be -14*(15/(-6) - -1). Let n = j - 16. Is 5 a factor of n?
True
Let x(p) = 7*p**2 - 2*p - 3*p**2 + 5 + 0*p**2. Is x(-4) a multiple of 26?
False
Suppose -8 = -3*r + 2*r. Let i be 2/r + (-28)/(-16). Does 14 divide 0 + -2 - (-32 + i)?
True
Let b = 21 - -7. Is 28 a factor of b?
True
Let o be (3 + (-28)/8)*8. Let g(n) = n**3 + 6*n**2 - 4. Does 14 divide g(o)?
True
Suppose c = 4*a - 12, -3*a - 2*a = -20. Suppose 63 = c*m - 2*x - 15, 0 = 3*m - 3*x - 54. Does 10 divide m?
False
Let p(d) = -d**2 + 10*d - 5. Let q be p(9). Let n = 3 - q. Is 8 a factor of (4 - n)*72/20?
False
Suppose 0 = -6*t + 147 - 39. Is 6 a factor of t?
True
Let t = -19 + 38. Let n = -7 + t. Is n a multiple of 9?
False
Let h(a) = a**2 + 2*a**2 + a**3 + 2*a + 0*a**3 + 4 + a**2. Is 7 a factor of h(-3)?
True
Suppose 0*c - 10 = -c. Let h(w) = w + 16. Let b be h(-11). Suppose 4*o + c = d, 3*o - 2*o + 126 = b*d. Is 13 a factor of d?
True
Suppose -3*r + 7*r - 46 = 3*l, 3*r + 4*l = 47. Let k = -6 + r. Suppose 2*d + 76 = 4*j, 20 = -2*d + k*d. Is j a multiple of 21?
True
Let j(p) = -43*p + 1. Let q be j(4). Let w = q + 341. Suppose 4*f = -f + w. Is 16 a factor of f?
False
Let d(m) = 36*m**2 - 2*m + 2. Is d(1) a multiple of 15?
False
Suppose -9*i - 898 = -2671. Is i a multiple of 17?
False
Let x(q) = -q**3 - 4*q**2 - 4*q. Let v be x(-3). Let y = -96 - -175. Suppose -b = -v*l - l - 38, -5*l - y = -3*b. Is 5 a factor of b?
False
Does 3 divide 7/2*(-12)/(-7)?
True
Suppose 2*b + 1 = 7. Suppose 14 = -b*d + 2*v, 6*d - d - 5*v = -30. Does 3 divide 11 + d/(-4)*-2?
False
Let w = 73 - 53. Does 6 divide w?
False
Is 31 a factor of 3 + (0 - -145 - -3)?
False
Suppose -2*w - 16 = -4*w. Suppose a - w = 4. Is 6 a factor of a?
True
Let g = -12 + 17. Suppose 4*z - g*l - 43 = 0, -z + 4*z - 30 = 3*l. Is z a multiple of 7?
True
Let u(a) = 2*a**2 - 2*a - 1. Is u(-4) a multiple of 4?
False
Let r(q) = q**3 + 7*q**