ppose -1 + 3 = i, 3*f + 5*i - 97 = 0. Is 11 a factor of f?
False
Suppose -v - v = -4. Suppose v*s = -a - 3*a + 66, -5*a + 90 = 5*s. Is 15 a factor of a?
True
Let x(q) = -q**3 + 6*q**2 - q - 3. Let o be x(4). Suppose -2*n = 3*n - o. Suppose n*b + l - 7 = 4*b, -3*l - 3 = -b. Is b a multiple of 6?
True
Let j = 29 - -71. Suppose -3*u + j = 2*u. Is 10 a factor of u?
True
Let x(y) = y**2 + 6*y - 8. Let k be x(-7). Let z(f) = -7*f + 1. Does 6 divide z(k)?
False
Let p(c) = -7*c - 1. Let t be 56/(-26) + (-4)/(-26). Let b be 60/(-9) + t/6. Is p(b) a multiple of 15?
False
Let j(z) = 11*z**2 - 35*z - 3. Let u(o) = 5*o**2 - 17*o - 1. Suppose -22 = 4*y + 2. Let f(d) = y*j(d) + 13*u(d). Is f(-10) a multiple of 9?
False
Suppose -39 = -3*s + 9. Is s a multiple of 16?
True
Let i = -15 - -33. Let g be (-3)/6*-9*-2. Let p = g + i. Does 9 divide p?
True
Suppose -h - 2*n + 3*n = -44, 2*n = -h + 32. Let z = h + -24. Does 8 divide z?
True
Let i(y) = -y**2 + 7*y - 5. Let s be i(6). Let g be 5/1*6/(-5). Is 11 a factor of (-3)/(s/(28/g))?
False
Suppose 4*b - 28 = -2*m, -2*b = 4*m - 3*b - 56. Let l = m - 25. Let r = l - -19. Is r a multiple of 4?
True
Suppose x + 6*c = c - 24, -4*x - 3*c = 28. Let p(k) = k**3 + 5*k**2 - k + 5. Is p(x) a multiple of 11?
False
Let u = 268 - 185. Does 32 divide u?
False
Let z(r) = -4*r**2 + 2*r. Let x be z(2). Let y be (9/(-4))/(x/64). Suppose 3*w = 5*w - 2*p - y, 5*w = 2*p + 42. Is 4 a factor of w?
False
Suppose y - 2*d + 5 = 34, y = 3*d + 32. Is y a multiple of 15?
False
Let z be (12/10)/(6/15). Suppose -d - z*d = -140. Let l = -14 + d. Is l a multiple of 8?
False
Suppose 5*u = -3*k + 99, -k + 5*k - u = 155. Is k a multiple of 6?
False
Is (-87)/3*7/(-7) a multiple of 5?
False
Let v = 10 + -5. Let o(g) = 14*g**2 - 10*g + 1. Let c(u) = -5*u**2 + 3*u. Let p(l) = -11*c(l) - 4*o(l). Does 6 divide p(v)?
True
Suppose -5*b = -3*o - 892, b + o - 196 = 6*o. Suppose 2*r + 2*q = 4*q + 72, 0 = -5*r + 4*q + b. Does 16 divide r?
True
Suppose 32*u = 29*u + 93. Does 6 divide u?
False
Does 37 divide -17*5/10*-10?
False
Let w be (-4)/10*10/(-2). Suppose w*p - 17 = 19. Is p a multiple of 18?
True
Let g(j) = 2 + 11*j**2 - 7*j + 15*j - 3*j**2. Is g(-3) a multiple of 9?
False
Let r = -43 + 95. Is r a multiple of 26?
True
Suppose -1 = 2*c - 3. Is 6 a factor of (-2 - c)/((-3)/19)?
False
Let s(b) = -b**2 - 7*b - 1. Let g be s(-8). Is (-4)/((-12)/g) - -23 a multiple of 6?
False
Let w = 34 + 7. Is 15 a factor of w?
False
Let k(m) = -m - 2. Let b be k(-10). Let t be (36/b)/(2/4). Suppose 0*s = s - t. Does 9 divide s?
True
Let n = -178 + 454. Suppose d + n = 4*q, 3*d + 90 + 117 = 3*q. Suppose 0 = -4*l - 21 + q. Is l a multiple of 12?
True
Let b(m) = -m**2 - 23*m + 35. Is b(-24) a multiple of 5?
False
Let n(j) be the first derivative of 3*j**2/2 - 12*j - 3. Does 6 divide n(8)?
True
Let s = -1 + 73. Is 24 a factor of s?
True
Suppose -3*k + 100 = -11. Is 23 a factor of k?
False
Let c(z) = z**3 + z**2 + 137. Is 18 a factor of c(0)?
False
Let c be 1*3/(9/12). Suppose -5 = -0*h - h, 84 = c*l - 4*h. Does 13 divide l?
True
Suppose 0*t - 190 = -2*n + 2*t, t = 4*n - 392. Let g be 2/((-4)/98) - 1. Let v = n + g. Is v a multiple of 17?
False
Let d = 16 + -10. Suppose 0 = l - 4*n - 36, d*n = -5*l + n + 180. Does 17 divide l?
False
Suppose -r + 176 = 3*r. Is 5 a factor of r?
False
Suppose 59 = r - 3*g, 2*r - 76 - 37 = g. Suppose f + r = z - f, -57 = -z + f. Does 15 divide z?
False
Does 33 divide 782/6 + (-45)/(-27)?
True
Let f be (-1)/3 + 7/3. Suppose -f*z = -0*z - 4. Is z a multiple of 2?
True
Let u be (-4)/14 - 382/(-14). Suppose -2*h - b = 2*h - u, 0 = 3*h - b - 22. Suppose -2*k - h = -23. Is k a multiple of 4?
True
Let a(l) = l + 18. Is a(-16) even?
True
Let y(f) be the second derivative of -f**5/20 + f**4/3 - f**2 - 2*f. Is y(3) a multiple of 7?
True
Let l(x) = -x**3 + 2*x**2 + 5*x + 1. Let u be l(4). Let j = 19 + u. Suppose 2*h = -2*h + j. Is h a multiple of 2?
True
Let u(j) = 14*j**3 + 15*j**2 - 11*j - 18. Let l(t) = -5*t**3 - 5*t**2 + 4*t + 6. Let z(i) = 17*l(i) + 6*u(i). Is 9 a factor of z(4)?
True
Let w be (-9)/6*2/(-1). Let p = w - 1. Suppose 0 = -0*s + p*s - 6. Is 2 a factor of s?
False
Let u(v) be the second derivative of -19*v**5/5 - v**4/12 - v**3/6 - v**2/2 + 3*v. Let t be u(-1). Let q = t - 40. Does 11 divide q?
False
Let l = -16 + 24. Does 18 divide 8 + l + (2 - 0)?
True
Let w(o) = 9*o**2 - 10*o - 5*o**3 + 6*o**2 - 6*o - 10. Let q(s) = -6*s**3 + 16*s**2 - 17*s - 10. Let h(v) = 4*q(v) - 5*w(v). Is h(10) a multiple of 15?
True
Suppose 3 - 18 = 5*k. Let f(o) be the third derivative of o**5/60 - 2*o**2. Is 5 a factor of f(k)?
False
Suppose 3*j + j = -5*t + 1420, j = -5*t + 1435. Does 36 divide t?
True
Suppose 5*j - 92 = 3*j. Is 15 a factor of j?
False
Is 37776/252 + 4/42 a multiple of 23?
False
Suppose -8*r - 30 = -13*r. Suppose 0 = -r*c + 3*c + 78. Is c a multiple of 5?
False
Suppose 0 = 4*s + 8 - 52. Does 7 divide s?
False
Suppose 12 = -3*g, -2*z + 5*g = 3*z - 30. Suppose -z*y - 2*y + 168 = 0. Does 15 divide y?
False
Let v(j) = -j**2 - 12*j - 9. Does 6 divide v(-9)?
True
Suppose 37 + 23 = 3*j. Let z be (-4)/j - (-963)/15. Let d = z + -36. Is d a multiple of 14?
True
Let r(p) be the third derivative of p**7/840 - p**6/120 + p**5/60 - p**4/12 + p**3/6 - p**2. Let v(a) be the first derivative of r(a). Is 4 a factor of v(3)?
True
Does 8 divide (-1020)/(-16) - 4/(-16)?
True
Let w = 89 + -46. Let h = -31 + w. Let z = 2 + h. Does 7 divide z?
True
Let d = 84 - 34. Let p = d + -18. Does 16 divide p?
True
Does 25 divide 8*(-3)/(-6) + 21?
True
Let s(v) = v**3 + 8*v**2 + 14*v + 4. Let y be s(-6). Let j(d) = -d**3 - 9*d**2 - 10*d + 2. Is 5 a factor of j(y)?
False
Let j(g) = 8 - 2 + g + 2. Let p be j(-8). Suppose -3*n + 2*n + 28 = p. Is n a multiple of 9?
False
Let g be (-7)/(-7) - (-17 - 1). Suppose -133 = -3*n - g. Suppose -3*v - 14 + n = 0. Is v a multiple of 8?
True
Suppose -5*b = n - 44, 4*n - 435 + 139 = 4*b. Is n a multiple of 23?
True
Suppose 3*x = 3*c + 69, 5*c = x - 5 - 14. Suppose 2*j + 0*h - 3*h + x = 0, -3*j - 4*h - 2 = 0. Is 4 a factor of (-2)/j + (-23)/(-3)?
True
Let w = -138 + 243. Is w a multiple of 18?
False
Let z(x) = 2 + 3 - 2*x - 7. Does 3 divide z(-3)?
False
Let v = -429 - -626. Is 15 a factor of v?
False
Let k(y) be the third derivative of 53*y**5/60 - y**4/24 + 3*y**2. Is k(1) a multiple of 21?
False
Let k be (-2)/3 + 4/6. Let y = 33 - 18. Suppose k = -3*a + y + 30. Is a a multiple of 7?
False
Let n = -7 + 11. Suppose -n = -r - 1. Does 4 divide r - 1 - (-2 + -4)?
True
Suppose -2*a + 0*a = -6. Suppose y = -a*y + 16, -4*w - 4*y = -72. Is w a multiple of 4?
False
Let g be -1*2 + -1 + 1. Let m = g + 5. Suppose -74 = -m*i - 2*d, 0 = i + i + 3*d - 41. Does 14 divide i?
True
Is (1 - -89)*(-48)/(-60) a multiple of 36?
True
Let d(z) be the third derivative of 0*z + z**2 + 7/8*z**4 - 1/6*z**3 + 0. Does 10 divide d(1)?
True
Suppose 0 = t + 5, -4*z - 3*t + 237 + 228 = 0. Suppose 3*h - 5*i - 32 = -0*h, -5*h = 5*i - z. Does 7 divide h?
False
Let n = 350 + -200. Is n a multiple of 23?
False
Suppose 79 = 5*a - 41. Is a a multiple of 24?
True
Let v(f) = f + 6. Let t be v(-3). Suppose -t*p = -0*p - 54. Does 8 divide p?
False
Let p = 57 + -30. Suppose -4*d + 17 + p = 0. Is d a multiple of 5?
False
Let f = -32 - -83. Is f a multiple of 17?
True
Let u(o) = -3*o + 29. Is 6 a factor of u(6)?
False
Let p be (-294)/(-4) + (-1)/2. Let g = p + -45. Is g a multiple of 28?
True
Suppose 3 = -b + 7. Is 2 a factor of b?
True
Let h(m) = -m**2 + 9*m + 5. Let v = -22 + 31. Is h(v) a multiple of 5?
True
Let l = 11 - 10. Does 6 divide (l + (-6)/4)*-38?
False
Suppose -5 = h - 2. Is 2 a factor of -8*(0 + h/6)?
True
Suppose 20*g - 26*g = -684. Is 11 a factor of g?
False
Does 18 divide 1*8*9/2?
True
Let b(i) = -i. Let f be b(12). Let g = 30 + f. Does 9 divide g?
True
Suppose 4*c - 2 = -2*k, -4*k = -4*c - 0*k + 20. Is 30 a factor of 81 + -4*(-1)/c?
False
Let t = -302 + 451. Is 34 a factor of t?
False
Let q = -5 + 6. Let k be (5 - 3)*33*q. Let z = k - 46. Does 11 divide z?
False
Let r(l) = -7*l - 3. Let v be r(-2). Let s = 27 + v. Is s a multiple of 19?
True
Suppose 4*x - u = 198 + 140, -4*u = 8. Is 28 a factor of x?
True
Let b be (-5 - -4)*(0 + -2). Suppose 5*n - 3*k = 112, -4*n - 16 = -5*n -