6)/(-9))/4 a multiple of 4?
True
Let o = -43 - -48. Is 7 a factor of (-8)/3*o/((-30)/63)?
True
Let f = -4 + 4. Suppose f = 2*y - y - 6. Let s = y - -14. Is 20 a factor of s?
True
Let r(o) = 0*o - 1 - 2*o + 4*o - 3*o. Let f be r(-6). Suppose 3*u - 5*u = -f*n - 75, -2*u + 4*n + 76 = 0. Is u a multiple of 10?
True
Let t = -3 - -6. Let q be -18*((-10)/t + 3). Suppose -4*r = -62 + q. Is 13 a factor of r?
False
Suppose 3*s = -4*a + 3*a + 2, -3*s + 3*a = -18. Suppose 0*l + 4*h - 28 = -4*l, 8 = s*l + 4*h. Suppose -4*b + 5*b - l = 0. Does 10 divide b?
True
Suppose -15*q + 1575 = -0*q. Let p = q - 67. Does 19 divide p?
True
Let t(n) = -3*n**2 - 108*n - 153. Is 11 a factor of t(-34)?
False
Suppose -5*d + 2*h = -8*d + 12289, 8196 = 2*d - 2*h. Is d a multiple of 17?
True
Let c(p) = -p + 18. Let z(b) = b + 11. Let q be z(-11). Let l be c(q). Suppose 2*w + l = 3*w. Is w a multiple of 6?
True
Let h = 16 - 84. Let d = h - -171. Does 12 divide d?
False
Suppose w = 3*n - 292 - 214, 3*w = 4*n - 678. Is n a multiple of 6?
True
Let r(f) = -2*f - 11*f - 63 - 7*f + 0*f. Does 60 divide r(-21)?
False
Let g = 2044 - 1852. Is g a multiple of 8?
True
Let v(a) = 5*a**2 + 69*a + 33. Is 26 a factor of v(22)?
False
Suppose 2*c + 3*n + 53 = 0, 0*n = -3*c - 2*n - 92. Let d = c - -74. Is 33 a factor of d?
False
Let t be ((-40)/(-6))/((-1)/(-3)). Let g be (-1 - 7/(-7)) + (-10)/(-2). Suppose -g*y + t = -4*y. Does 8 divide y?
False
Let b be (0 + 1)/(7/252). Suppose -5*x + 215 = -2*v, 0 = -0*x + x + v - b. Does 6 divide x?
False
Suppose 0 = 4*j - 2 + 10. Let q be 14/(j/(1 + 1)). Let s = 23 + q. Does 3 divide s?
True
Let f = -198 - -1024. Is f a multiple of 14?
True
Suppose 2*p - p = 21. Suppose 0 = -s + q + 9, -4*q - p = -3*s + 3. Does 4 divide s?
True
Let o = -332 - -373. Is o a multiple of 41?
True
Let x be (28/8)/7*72/(-2). Is 15 a factor of -1 - -64 - (x - -15)?
False
Suppose 61*r - 52*r - 3123 = 0. Does 8 divide r?
False
Let y(o) = -15 + 32 + 2*o - 15. Let u be y(0). Suppose -u*n - n + 48 = 0. Is n a multiple of 8?
True
Suppose 0 = 10*g - 14*g + 224. Suppose -8*j + 3*n = -3*j + 185, -4*n = 3*j + 82. Let r = j + g. Does 22 divide r?
True
Suppose 0 = -3*q - 0*q + 39. Suppose p - 130 = 5*f, 0 = -p - 2*p + 3*f + 366. Suppose 16*s = q*s + p. Is s a multiple of 8?
True
Let q be (516/9)/((-4)/(-18)). Suppose -2*s + 30 = -q. Does 22 divide s?
False
Let g be ((-27)/15 + 1)/((-7)/35). Let u(x) be the second derivative of -x**4/12 + 5*x**3/6 - x**2 + 2*x. Is 2 a factor of u(g)?
True
Suppose 24 = 3*c - 87. Does 4 divide c?
False
Let l(m) = -15*m**3 + 14*m**3 + 13*m - 2*m**2 + 3 - 6*m**2 - 5*m**2. Let r be l(-14). Suppose 3*a - 16 = r. Is 3 a factor of a?
False
Let v = 673 - 272. Let x = 31 - 26. Suppose 154 + v = x*m. Is m a multiple of 24?
False
Let l(j) = -10*j**3 + 2*j**2 - 2*j - 7. Let u be l(-2). Suppose 0 = -4*b - p + u, 5*p + 99 = 4*b - 4. Is 11 a factor of b?
True
Let x(y) = y**3 + 7*y**2 + y - 14. Let q be x(-6). Suppose q = 5*z - 9. Does 2 divide z?
False
Suppose 32*x = 2175 + 28737. Does 33 divide x?
False
Let k(v) = 5*v**2 - 2*v - 14. Let y(g) = -2*g**2 + g + 7. Let h(r) = 6*k(r) + 14*y(r). Does 51 divide h(9)?
False
Let y(z) = -5*z + 6. Let t be y(4). Let s(g) = -g**3 - 13*g**2 + 16*g - 16. Let k be s(t). Let q = 76 + k. Does 8 divide q?
True
Let m(r) = 27*r + 13. Does 36 divide m(6)?
False
Suppose -o - 3 = -2, -o = -m + 313. Does 26 divide m?
True
Suppose -10*b + 6*b = -12. Does 3 divide (b/6 + 1)/((-1)/(-26))?
True
Suppose 27 = -3*l + 4*x, -4*l - 3*x = -9*l - 45. Does 13 divide (-4)/(-42)*l*-28?
False
Let k = 13 - -2. Let y = k + -1. Does 18 divide (-1778)/(-49) - 4/y?
True
Let q(p) = 8*p**2 - 4*p + 2. Let c be q(2). Suppose 4*j + 338 = 5*b - c, -2*j - 2 = 0. Is b a multiple of 24?
True
Let k = -48 - -50. Let w(t) = 12*t + 3. Let n be w(5). Suppose s = 4*d + 7 + 7, k*s - d - n = 0. Is 14 a factor of s?
False
Let y be 8/20 - (-26)/10 - 2. Does 21 divide -2 - (1 - 24/y)?
True
Suppose -3*r + 2*z = -158, r - z - 34 = 19. Is r/(-3)*(17 - 20) a multiple of 21?
False
Does 25 divide (-3)/(-24)*-1 - (-38404)/32?
True
Suppose -5*q + 4281 = 2*z, -4*q + 2*z = -1331 - 2101. Does 18 divide q?
False
Suppose -16*m + 1191 = -13*m. Does 56 divide m?
False
Let v = 25 + -8. Suppose -y = -v - 10. Is 9 a factor of y?
True
Suppose s - 641 = -6*j, -1326 = -2*s - j - 0*j. Is s a multiple of 46?
False
Let r = -147 + 180. Is 33 a factor of r?
True
Let n = -494 + 830. Is 14 a factor of n?
True
Suppose -4*g + 974 = 2*u - 0*u, -20 = -4*u. Is 20 a factor of g?
False
Let c(o) = 4*o**2 - 4*o - 4. Let j(i) = -2*i**2 + 2*i + 2. Let h(p) = -2*c(p) - 5*j(p). Let d be h(2). Suppose 0 = f - d*f + 19. Is 19 a factor of f?
True
Let v(g) = -g**3 + 10*g**2 - 8*g - 15. Let x be v(10). Is 114/x*-15*4 a multiple of 9?
True
Suppose 18*w - 656 = -23*w. Is 8 a factor of w?
True
Let l(j) = -174*j. Let s be l(1). Is s/(-24) - 1/4 a multiple of 5?
False
Let c(r) = -2*r - 10. Let d be c(-7). Suppose m - 4*i = 0, 6 = -d*i + 14. Let k = m + 40. Is k a multiple of 24?
True
Let m be 24/14 - 4/(-14). Suppose m*r = 4 + 2. Suppose -4 = -r*s + 50. Does 18 divide s?
True
Suppose 6*a - 6 = 6. Let v(g) = -g**3 + 3*g**2 - 1. Let k be v(a). Suppose 5*m = -k*c + 97, -c + 2*c = 5*m + 19. Is c a multiple of 3?
False
Let v = 11 - 11. Let n be 0 + (-6)/(-2) + v. Suppose -n*w = w - 252. Is 19 a factor of w?
False
Let v be (70/4)/((-10)/(-260)). Suppose -4*w + v = w. Is w a multiple of 27?
False
Let f(d) = 17*d**2 - 1. Let i = -2 + 1. Let h be f(i). Suppose 33 = w - h. Is 24 a factor of w?
False
Suppose -2*w - 300 = -3*i, 5*i = 8*i - 4*w - 300. Does 13 divide i?
False
Let a = 18 + -12. Suppose 2*y = -2*v + 16, 0 = a*y - 2*y + 2*v - 22. Suppose -6 = -y*d + 12. Does 2 divide d?
True
Let f be (-1)/(-2) + (-38)/4. Suppose 0 = -51*o + 50*o - 5. Let n = o - f. Does 3 divide n?
False
Let a(o) = -o**2 + 4*o + 4. Let j be a(4). Suppose -3*h + 66 = j*u - u, 39 = 2*h + 3*u. Let r = 15 + h. Does 14 divide r?
True
Let f(y) = 6*y**2 + 7*y - 2. Suppose -58*q + 55*q = -9. Does 7 divide f(q)?
False
Let h be 8*-4*9/(-48). Let v(u) = 2*u**2 - 4*u - 16. Let y be v(h). Suppose -13*j = -12*j - y. Does 7 divide j?
False
Suppose -8*p = -3*p - 60. Let a = -17 + p. Let i = a - -54. Is 14 a factor of i?
False
Let b(m) = -23*m + 157. Does 13 divide b(-9)?
True
Suppose 8*l = 12*l + 2*k - 188, 3*l + 3*k - 144 = 0. Does 16 divide l?
False
Suppose f = w - 68, -2*w + 5*w + 2*f - 214 = 0. Suppose 4*k - w = 9*k. Let m = k + 38. Is m a multiple of 5?
False
Let p = -8 + 24. Suppose 2*i - 4 = -4*t, 1 = -3*t + 4*t + 4*i. Is 3/t + p + -9 a multiple of 9?
False
Suppose -o = -2*o + 11. Suppose -s + 8 = 3*s. Is 27 a factor of (-4144)/(-77) + s/o?
True
Suppose -37*x = -34*x - 5016. Is x a multiple of 44?
True
Let d = 380 + 40. Is 30 a factor of d?
True
Let m(n) = 6*n**2 + 17*n - 88. Is 44 a factor of m(11)?
False
Let f(q) be the second derivative of -q**5/20 + q**4/3 + q**3 + q**2/2 + 11*q. Let m be f(5). Is 6 a factor of (-535)/(-30) - (-1)/m?
True
Let u(p) = 4*p - 1. Suppose 4*f + v - 7 = f, -5*f - 2*v = -12. Suppose q - 3*z + 8 = f*q, 3*q - 2 = 2*z. Is u(q) a multiple of 7?
True
Let q be 28/8*4/7. Let y = -16 - -13. Is 23 a factor of (y/(-5))/(q/210)?
False
Let l be ((-135)/(-12))/(3/(8 + 4)). Let k be 1/(3 + -2) - -1. Suppose -3*f - 99 = -k*g - 0*g, -3*f + l = g. Does 23 divide g?
False
Suppose -8610 = -29*j + 4092. Is 52 a factor of j?
False
Suppose 5*s - 6*s = -2. Suppose -w - s*w = -33. Let v = w - 2. Does 9 divide v?
True
Let i(x) = x**2 + 2*x - 1. Let z be i(-3). Let m(b) = 7*b - b**2 + 5 - 11 + z*b. Is 8 a factor of m(7)?
True
Let f = -17 + 22. Suppose 4*o - 21 = -f. Suppose o*v - 7*v + 111 = 0. Is 14 a factor of v?
False
Suppose -l + 4*l - 518 = -d, -5*l = 4*d - 854. Is l a multiple of 31?
False
Let b be (-12)/(-21) - 67/7. Let u = b + 14. Suppose 0 = -u*j - 2*t + 192, j = -2*j - t + 116. Is 10 a factor of j?
True
Let c(t) be the second derivative of -t**5/20 + 5*t**4/12 - t**3/3 - t**2 - 4*t. Let k be c(3). Suppose 0 = m + 2, -k = -4*x - 3*m. Is 3 a factor of x?
False
Suppose 9*r - 49856 = -10*r. Is r a multiple of 47?
False
Let m = -8 - -13. Suppose x - 12 = m*x, 5*x + 87 = 3*q. Does 7 divide q?
False
Let u = -72 + 176. Let b = u - 313. Let r = -125 - b. Is 14 a factor of