Is 6 a factor of f?
True
Let s = 86 - 84. Suppose k - 73 = -q - 4, 0 = -k + s*q + 57. Is 14 a factor of k?
False
Let u(d) = 144*d - 40. Is u(4) a multiple of 50?
False
Is 11 a factor of (-76)/(-6) + 15/(-9)?
True
Is (-1 - (-4 - 0))/(6/278) a multiple of 12?
False
Let k(u) = -u**3 + 22*u**2 - 4*u - 47. Does 15 divide k(19)?
True
Let g = -33 - -250. Is g a multiple of 9?
False
Let t = -515 + 536. Let u(y) = -4*y + 1. Let s be u(-3). Let x = t - s. Is 2 a factor of x?
True
Suppose -5*m + 3*x + 233 = -1877, 2105 = 5*m - 2*x. Does 9 divide m?
False
Suppose -5*u + 11*u - 14784 = 0. Is u a multiple of 32?
True
Let a(j) = 47*j**2 - 3*j + 30 - 48*j**2 + 5*j. Let f be a(0). Is (6/(-5))/((-6)/f) a multiple of 3?
True
Suppose 8*i = 6369 + 3687. Does 8 divide i?
False
Let b(i) = -3*i**3 - 4*i**2 + 18. Does 29 divide b(-6)?
True
Let g(q) = -q**3 + 19*q**2 - 21*q - 12. Is 20 a factor of g(16)?
True
Suppose -2*p = -4*k + 36, -k - 2*p - 1 = -0*k. Let n(u) = 0*u + 8 - k - u. Is n(-6) a multiple of 2?
False
Suppose -2*n - 6 = -20. Suppose 18*d - 121 = n*d. Is d even?
False
Let a = -2 - 47. Let w = a - -119. Does 9 divide w?
False
Let t(s) = -16*s**2 + 6*s**2 + s**3 + 6*s - s**2 - 5*s - 4. Let h(a) = 2*a**2 - 5*a - 1. Let p be h(4). Is t(p) a multiple of 7?
True
Let v be (0 + 10)*(-17)/(-34). Does 19 divide 35*1 - (v + -2)?
False
Let b = -23 - -34. Suppose 0 = 5*l - b - 4. Suppose 5*d = l*s + 189, 4*s - 47 = 4*d - 5*d. Is d a multiple of 13?
True
Suppose 34*s - 113896 = -12*s. Is s a multiple of 20?
False
Suppose -17*y + 15*y = g - 5786, 3*y = 4*g + 8690. Is y a multiple of 68?
False
Let j = 1224 - 696. Is 20 a factor of j?
False
Suppose 15*f = 17*f - 74. Let a = -26 + f. Suppose -a*m = -6*m - 70. Does 7 divide m?
True
Suppose -4*v = -33 - 15. Suppose -v*k + 32 = -8*k. Is 3 a factor of k?
False
Let z be (-4 - 2)*13/(-6). Let o = 16 - 8. Let h = z - o. Does 5 divide h?
True
Let v(i) = 5*i**2 - 9*i + 71. Is v(10) a multiple of 48?
False
Let f(m) be the third derivative of m**5/6 + m**4/24 + m**3 + 2*m**2. Is 18 a factor of f(3)?
False
Let o(s) = -25*s**3 + 2*s**2 + s. Is 22 a factor of o(-4)?
True
Let k = 55 - -139. Is k a multiple of 7?
False
Let l(o) = -o**3 - 7*o**2 + o + 9. Let m(v) = -v**2 - 2*v - 5. Let a be m(-3). Is 12 a factor of l(a)?
False
Let o(c) = -c**2 + 7*c + 13. Let h be o(-6). Let w = h + 109. Is w a multiple of 22?
True
Is 4 a factor of 18/(-8)*3584/(-48)?
True
Let o(h) = -168*h - 19. Is o(-14) a multiple of 22?
False
Suppose -s + 32 = 5*d + 7, -3*d + 15 = -3*s. Does 9 divide 36/((-10)/(-5) + s)?
True
Suppose 5*n + 1218 = s, s - 1218 = n - 5*n. Is 25 a factor of s?
False
Let i be (-14)/(-5 + (2 - -1)). Is 362/i + 12/42 a multiple of 6?
False
Does 21 divide 295 + 63/(-77) + (-4)/22?
True
Is 19/(12 + (-371)/31) a multiple of 100?
False
Let a(t) = 19*t - 119. Does 41 divide a(19)?
False
Let i(b) = -b**3 - 5*b**2 - 4*b + 9. Suppose -3*r + u = -r + 33, -u + 84 = -5*r. Let t be 9 + r + 2/1. Is 10 a factor of i(t)?
False
Let m(b) = 21*b**3 - 4*b**2 + 2*b. Let u be m(2). Does 39 divide (u/(-18))/(1/(-18))?
True
Let i be -2 + ((-24)/2)/(-4) - 207. Is (4 + -8 - i) + -2 a multiple of 25?
True
Suppose 26*o + 5 = 27*o. Suppose -5*l + 70 = -x, -5 = -2*l + 1. Let g = o - x. Does 18 divide g?
False
Let i(t) = t + 8. Let j(g) be the first derivative of -3*g**2/2 - 3*g + 2. Let s be j(-2). Does 3 divide i(s)?
False
Let u be (-24)/(-18)*3 - (1 - 1). Let s(f) = -5 + 8*f - 5*f**2 - 6*f + 5*f**3 + 5*f - 4*f**3. Is 7 a factor of s(u)?
True
Suppose 3*w - 3*p = 5*w - 485, -2*w - 5*p = -483. Is 5 a factor of w?
False
Let i be ((-36)/(-15))/(9/30). Let t(p) be the third derivative of p**4/12 - p**3/3 + p**2. Does 14 divide t(i)?
True
Suppose 32 = 5*a - 3*a. Suppose 4*f - 4*v - a = 0, f - 4*f + v = -12. Suppose -f*l + 66 = -2*l. Is 8 a factor of l?
False
Let l(q) = 6*q**2 - 11. Let a(x) = 2*x - 32. Let s be a(14). Is 11 a factor of l(s)?
False
Let y = -51 - -178. Is y a multiple of 59?
False
Suppose -3*s - 504 = -3*x - 2*s, -2*s + 672 = 4*x. Suppose a - x = -0*a. Is 21 a factor of a?
True
Suppose 12600 = 209*g - 199*g. Is g a multiple of 12?
True
Suppose 0*v + z = -4*v - 1, -z = 3*v. Is 4 - v*8*17 a multiple of 35?
True
Suppose 332*u = 320*u + 4368. Is 13 a factor of u?
True
Suppose 0 = -o + 3 + 35. Let t(i) = i**3 - 2*i**2 - 4*i + 1. Let s be t(3). Let q = o - s. Is q a multiple of 10?
True
Let h = 31 - 24. Suppose -210 = -h*v - 56. Does 22 divide v?
True
Let g(r) = -2*r**3 - r**2 + 3*r + 2. Let j be g(-2). Suppose -2*o - 5*b + 267 = 0, -338 = -3*o + j*b - 3*b. Is 14 a factor of o?
False
Let p = 11 - 10. Suppose -p = 2*h - 9. Suppose -52 = -3*f - h. Is f a multiple of 9?
False
Let h be (234/15)/(5/25). Is 1/(1 - 0)*h/1 a multiple of 23?
False
Suppose -6*z = -30 - 18. Let s(o) = -o**2 + 8*o + 10. Is s(z) a multiple of 10?
True
Let a = -24 + 14. Let i = -10 + a. Let d = -5 - i. Does 6 divide d?
False
Suppose 2*z = z + 4. Suppose -3*f = -25 + z. Is f a multiple of 2?
False
Let j = 1088 - 730. Does 4 divide j?
False
Let l be (-2)/(-6) + (-992)/(-12). Let h = l - 51. Let q = -6 + h. Is 6 a factor of q?
False
Let o(j) = 188*j**3 + 1. Suppose -5*s - 1 = -3*f - 3, -f - 3*s + 4 = 0. Let q be o(f). Suppose -9*d = -6*d - q. Is d a multiple of 20?
False
Suppose 2*y - k - 1808 = 0, -y + 36*k + 904 = 34*k. Does 10 divide y?
False
Suppose z + 6 = -2*v + 4*v, -4*v + 36 = -5*z. Let q = z - -33. Is q a multiple of 4?
False
Let k(d) be the second derivative of -d**4/12 - 5*d**3/6 + 4*d**2 + 3*d. Is k(-5) even?
True
Let c(o) = o**3 + 6*o**2 + 4*o + 1. Let z be (8/12)/((-2)/15). Let d be c(z). Is 20 a factor of 281/7 + d/(-42)?
True
Let v = -98 - -25. Let y = 78 + v. Is y a multiple of 5?
True
Let l(y) = 55*y**3 - 2*y**2 + 3*y - 2. Let p be l(1). Suppose -5*w + 267 = -j, -327 + p = -5*w + 4*j. Is w a multiple of 9?
False
Let p = 953 + -753. Does 5 divide p?
True
Does 9 divide (-6 + 9 + 27)*9?
True
Let v(x) = x**3 + 9*x**2 + 11. Let d be v(-9). Let p(r) = 2*r**2 - 10*r - 10. Is 34 a factor of p(d)?
False
Does 15 divide ((-184)/12 + -3)/(1/(-27))?
True
Suppose -2*z + 9 + 3 = 0. Let a be (z/(-10))/((-2)/(-30)). Let m(n) = -n**3 - 7*n**2 + 11*n + 2. Is 12 a factor of m(a)?
False
Let v be -9*(0 - 2 - (-25 - -14)). Let t = -60 - v. Is 3 a factor of t?
True
Let r be ((-808)/(-20))/(3/15). Does 38 divide r + (15/10)/((-2)/4)?
False
Is (371/3)/(0 - (-2)/6) a multiple of 91?
False
Let n be (-5)/((-15)/(-6)) + -3. Let t be -2 + 2 + n/1. Is (-7)/t + 3/5 even?
True
Is (-38 + 37)/(2/(-60)) a multiple of 20?
False
Let v(a) = 7*a**2 - 6*a - 1. Let w(z) = -z**2 + z. Let o(j) = v(j) + 3*w(j). Let x(m) = m**3 + 4*m**2 + 3. Let t be x(-4). Is 13 a factor of o(t)?
True
Suppose 8*d - 6*d = 42. Suppose 4*h = 5*a + 5*h + 70, -5*h = 5*a + 90. Let c = a + d. Is 8 a factor of c?
True
Let x = 70 + -69. Is (x - (2 + -17)) + -5 + 9 a multiple of 4?
True
Let w = -285 - -1330. Is w a multiple of 55?
True
Suppose -3*n + 32 = n. Let k be (-18)/n*352/12. Is 32 a factor of 11 + -12 + k/(-2)?
True
Suppose 2*i - 2115 = -5*w, -3*i + 2*w + 3207 = -2*w. Is i a multiple of 29?
False
Let k be ((-125)/(-20))/(2/16). Let u = k + -5. Is u a multiple of 37?
False
Let u be 34/4*(5 - 3). Let h = 84 - 59. Let i = h - u. Is 7 a factor of i?
False
Suppose 492 = 14*o - 2056. Does 7 divide o?
True
Let u(f) = 5*f**3 + 2*f**2 + 3*f + 2. Let y be u(-2). Let v be -1 + 0 + 0 + (-1)/(-1). Is 6 a factor of (5 - v)*y/(-30)?
True
Let t(j) = -43*j - 2. Let h be t(-2). Suppose h - 480 = -3*o. Is o a multiple of 44?
True
Let j(f) = 3*f + 33. Does 18 divide j(8)?
False
Let t(q) = -2*q + 21. Let d be t(-11). Let p = 58 - d. Is 12 a factor of p?
False
Suppose 42*n - 28 = 46*n. Let d(f) = -8*f - 53. Is 3 a factor of d(n)?
True
Does 22 divide (-438 + -5 + 3)*3/(-3)?
True
Let h be 173/(-7) + (-4)/14. Let p be (217 - 5) + (5 - 1). Does 23 divide p/45*h/(-2)?
False
Let f(w) = -3*w - 15. Let k be f(-5). Suppose k = 2*l - 2*i - 122, -2*l + l - 5*i + 55 = 0. Is l a multiple of 15?
True
Let p = 16 + -10. Let f = 11 - p. Is 1/f + 2926/70 a multiple of 7?
True
Suppose 5*y - 5 = -5*c, -c - 3 = 2*y - 0*c. Let l be y - (3 + -4 + -6). Suppose -l*m + 2*m = -8. Is m a multiple of 7?
False
Suppose y - 3 + 1 = 0. Let c(d) = 19*d**2 + 10*d + 1. Is 6 a factor of c(y)?
False
Le