s + j*z - 10, z + 4 = s. Does 5 divide s?
True
Suppose -91*c = -97*c + 1134. Is c a multiple of 21?
True
Suppose -3*i + 2*j = 2*i - 266, -4*i + j = -214. Is i a multiple of 9?
True
Let x be (-26)/(-143) + 3342/11. Suppose 5*j + 4*d = x, 0*d - 5*d - 340 = -5*j. Is j a multiple of 9?
False
Let i(c) = c**2 - 11*c - 89. Does 11 divide i(20)?
False
Let n be ((-2)/(-8))/((-3)/(-36)). Suppose n*s + 0*s = 186. Let a = s + -28. Does 15 divide a?
False
Let y be 3424/10 - (-1 - 7/(-5)). Suppose -5*k = -4*q - y, -k - 3*q + 42 = -15. Is 6 a factor of k?
True
Suppose -7228 = -217*i + 215*i. Is i a multiple of 46?
False
Let g = 22 - 17. Suppose -4*u = g*w + 21 - 193, w + 3*u = 41. Does 4 divide w?
True
Suppose 0 = w - 4*f - 32, 3*f = 5*w - 2*f - 145. Is w a multiple of 14?
True
Let i = 124 - 63. Let a = 103 - i. Is 21 a factor of a?
True
Let f(j) = 19*j + 38. Is f(10) a multiple of 16?
False
Suppose -b = 2*b - 4*m + 21, 0 = 5*b + 5*m. Let c be 2 - (12 - (1 - b)). Does 15 divide (-3)/c + (-445)/(-10)?
True
Suppose -5*m + 45 = -5*i, -m - 5*i - 9 = -3*m. Let b(u) = 6*u**3 - 5*u**2 - u + 4. Let q be b(-3). Is 12 a factor of (24/(-10))/(m/q)?
False
Let k(m) = m**2 + m - 6. Let c be k(5). Let t(w) = -w - 29. Let y be t(-21). Let p = c + y. Is p a multiple of 8?
True
Let d(x) = x**3 - 16*x**2 + 6. Let q be d(16). Is 13 a factor of q*(1 - 238/(-4))?
False
Let u(w) = -w**2. Let c(o) = 5*o**2 + 4*o - 8. Let n(v) = c(v) + 4*u(v). Let l(b) = -2*b**2 - 8*b + 16. Let q(d) = -3*l(d) - 5*n(d). Is 2 a factor of q(-6)?
True
Let c = 29 - 26. Let s be -1 + 14*c + 4. Suppose -s = -4*w + 31. Is w a multiple of 3?
False
Suppose u = 2*u - 59. Let x be (u + 1)*(1 + 1). Suppose -3*v + 0*v + x = 0. Is v a multiple of 10?
True
Let t be (-14 - -29) + (-1 - 3). Suppose -t = -4*g + 85. Does 6 divide g?
True
Let w(a) = 978*a**3 + a**2 - 2*a + 1. Is w(1) a multiple of 46?
False
Suppose -6*o + 927 = -2013. Does 13 divide 4/(-6) - (o/(-6) + -6)?
False
Let k be 175/6 + (-2)/12. Let w be k/((-1)/(-1) - 2). Let h = -11 - w. Is 6 a factor of h?
True
Let w be (-30)/(-2)*((-245)/(-15) + -4). Suppose -y + 75 = 4*m, 4*m - w = 3*y - 6*y. Is 5 a factor of y?
True
Suppose -238 = -3*f - 5*v, 102 = 4*f - 3*f - 4*v. Is f a multiple of 2?
True
Let y be (-6)/(-4)*(-38)/(-3). Suppose 2*r = -j + 13, -2*r - 2*j - j = -y. Suppose -5*c + r = -20, -3*m + 5*c + 11 = 0. Is m a multiple of 4?
True
Suppose g + 3 - 7 = 3*a, -4*a + g - 6 = 0. Is (3 + a)/(5/1245 + 0) a multiple of 13?
False
Let n(u) = -15*u**2. Let j be n(1). Let x = 99 + j. Is x a multiple of 14?
True
Let b = 617 + -607. Does 2 divide b?
True
Let q(y) = 7*y**3 - 17*y**2 - 5*y + 13. Let u(i) = 3*i**3 - 9*i**2 - 3*i + 6. Let t(l) = 2*q(l) - 5*u(l). Does 11 divide t(11)?
False
Let t = -537 - -1157. Is 67 a factor of t?
False
Let w = 23 - 19. Suppose 192 = w*r + 4*z, -2*r + 5*r + 5*z - 144 = 0. Does 8 divide r?
True
Let k = 3 - 2. Suppose 2*o + 3*m - k - 21 = 0, 0 = -5*o - m + 42. Suppose o*d = 5*d + 51. Does 12 divide d?
False
Suppose -2*o + 4*o - 48 = 0. Suppose o = 2*f - 14. Is f a multiple of 7?
False
Let t(v) = v**3 - v**2 + 10*v + 11. Let d be t(-5). Does 15 divide (-1 - d)*(-18)/(-36)?
False
Let g(b) = 2 + 2*b - 3 + 2*b**2 - 2*b + 18*b**3. Let t be g(1). Let n = 50 - t. Is n a multiple of 8?
False
Suppose -5*g + 4366 = 3*c, -1747 = -4*g + 2*g - c. Is g a multiple of 74?
False
Suppose 11*q - 1363 - 1629 = 0. Is q a multiple of 16?
True
Suppose 7*h + 3*h = 11*h. Suppose h*w + 7*w - 112 = 0. Does 10 divide w?
False
Let j(g) = g**2 - 3*g - 4. Let q(a) = a**3 - a**2 - 2*a - 2. Let w be q(3). Suppose 0 = -l + 3*l - w. Does 3 divide j(l)?
True
Let a(q) be the first derivative of 2*q**5/15 + 7*q**4/24 + 2*q**3 - 12. Let g(x) be the third derivative of a(x). Is 11 a factor of g(3)?
True
Suppose 2641 = 3*t + 3*p - 443, 5*t + 3*p = 5134. Does 41 divide t?
True
Suppose 2*z = 2*b + 4180, 3*z - 42*b + 37*b = 6268. Is 8 a factor of z?
False
Let f = -23 + 42. Let d(s) = 10 + f - s**3 + s - 11. Does 14 divide d(0)?
False
Let f(y) = -y**3 - 9*y**2 - 12*y + 45. Does 5 divide f(-10)?
True
Let w = 345 + 168. Is 16 a factor of w?
False
Is 22 a factor of (-17846)/(-9) + (-9)/(-81)?
False
Let d(l) = -l - 13. Let x be d(-6). Let w(c) = -5*c. Is w(x) a multiple of 7?
True
Suppose -4674 = -3*r + 5*v, r + 3*v - 759 = 799. Is r a multiple of 82?
True
Let m(f) = -9*f + 6*f + 2 + 11*f**3 + 2*f**2 + 23*f**3. Does 7 divide m(1)?
True
Let p(c) = c**2 + 9*c + 18. Let w = -9 - -7. Is 3 a factor of p(w)?
False
Let w be ((-4)/(-6))/(15/(-27))*-5. Suppose -5*k - 295 = -w*k. Does 53 divide k?
False
Suppose 5*c = b - 4680, -4*c + 14021 = 9*b - 6*b. Does 85 divide b?
True
Does 15 divide 833 + -4 - -7 - (4 - -2)?
False
Let g = -782 + 1058. Does 23 divide g?
True
Suppose -38 - 50 = -11*b. Let c(t) = 3*t**3 - 3*t**2 - 2*t. Let r be c(-2). Let s = b - r. Is s a multiple of 11?
False
Let r(d) = -2*d - 17. Let y be r(-7). Let p = y - -6. Is 8 a factor of (-2 + 4/p)*-33?
False
Suppose 2*q - 229 = 403. Suppose 56 = m - 2*t, 5*m - 5*t + 4*t - q = 0. Is 8 a factor of m?
True
Let c = 672 - -1564. Does 43 divide c?
True
Let v be (-5)/(20/2)*-8. Suppose 0 = -v*i + 9*i - 370. Suppose s + s = i. Is s a multiple of 25?
False
Let y(x) = 38*x - 62. Is 9 a factor of y(4)?
True
Suppose 4*j + 60 = -0*j. Let t be (-6)/j - 39/(-15). Suppose -t*f - f = -36. Is 9 a factor of f?
True
Let x be ((-280)/(-15))/(6/153). Suppose 0 = -y - 3*y + x. Let f = -77 + y. Is f a multiple of 14?
True
Let f(p) = 169*p**2 - 5*p - 14. Is f(-2) a multiple of 14?
True
Let q = 678 - 337. Does 11 divide q?
True
Let m(b) = 2*b**2 - 2*b + 7. Let d(v) = -v**2 + 2*v - 8. Let k(g) = 3*d(g) + 2*m(g). Does 2 divide k(5)?
False
Suppose -3*j + h = -48, 2*j - 4 - 39 = -3*h. Suppose -p = -18 - j. Let d = p + -17. Does 5 divide d?
False
Suppose -x - 2090 = -5*b, 2*b + b = 4*x + 1271. Does 7 divide b?
False
Is 2 a factor of ((2 + -1)*1)/(14/994)?
False
Suppose -2808 = 34*b - 40*b. Is 26 a factor of b?
True
Let v = 9 + -6. Suppose -3*o + 595 = v*h - 203, -1342 = -5*h - 2*o. Suppose -5*t + u - 38 + 312 = 0, -h = -5*t + 5*u. Is 14 a factor of t?
False
Suppose -2*y + 35 = -0*y + 5*z, -3*y - 3*z = -30. Suppose -y*a = 6*r - 5*r - 16, -r + a + 28 = 0. Does 25 divide r?
False
Suppose -287 = 3*m - 965. Is 8 a factor of m?
False
Let v(i) = -2*i - 8. Let n be v(-4). Suppose -p = -n*p - 92. Is p a multiple of 14?
False
Suppose 744 = 13*v - 1128. Is v a multiple of 36?
True
Let f be -1*(-12)/(0 - -4). Let w = f + 0. Suppose -11 = -j + w. Does 10 divide j?
False
Let r(z) = z**3 + 19*z**2 + 18*z. Let h be r(-18). Suppose h = 10*v - 151 - 9. Is 4 a factor of v?
True
Let u = -43 + 48. Suppose 61 = p - 5*y, 0*y + 182 = 2*p + u*y. Is p a multiple of 26?
False
Does 4 divide (-3 + 0)/(6/(-10)) + 111?
True
Suppose 0 = 2*u - u + 1, 5*p - 1821 = u. Is 7 a factor of p?
True
Suppose -6 = -2*l + 2. Suppose 4*j = z + 10 - 33, -29 = 4*j - 3*z. Is (-55)/j - l/(-2) a multiple of 13?
True
Let c(j) = -3*j**3 - 8*j**2 + 3*j - 8. Suppose 4*s + 4*z = -22 + 2, 3*s - z = -11. Does 13 divide c(s)?
False
Let j(h) = 23*h**2 + 19*h + 86. Does 14 divide j(-4)?
True
Let j = -24 + 31. Suppose j*h + 2*h - 72 = 0. Does 4 divide h?
True
Suppose -14064 = 37*c - 53*c. Is 4 a factor of c?
False
Let o(d) = -5*d**2 + 3*d + 15. Let w be o(6). Let x = -10 - w. Is x a multiple of 10?
False
Let p = 570 - 150. Is 12 a factor of p?
True
Does 29 divide 5/(65/2) + 16490/130?
False
Let m = 10 + -8. Let q be (2/(-5))/((-1)/45). Is 5 a factor of 238/q - m/9?
False
Let l = 10 + -7. Suppose 0 = -l*x + 6*x. Is 7*-3*(x + -1) a multiple of 6?
False
Let t = 110 - 48. Let v = t + -42. Is v a multiple of 4?
True
Let n be 0 + 8/(-4) + 4. Suppose -3*b = n*y - 29, -4*y - 5*b + 59 = 2. Is y a multiple of 2?
False
Let w(p) = -4*p**3 + 7*p - 7. Let a be w(3). Let n = 2 - a. Is 10 a factor of n?
False
Let n(c) be the second derivative of c**5/20 - 3*c**4/4 - c**3/2 - 11*c**2 + 6*c. Is 12 a factor of n(10)?
True
Suppose -55 - 105 = 4*t. Suppose 0 = -2*a + 73 + 79. Let x = a + t. Is x a multiple of 9?
True
Let r(m) = -m**2 + 5*m - 4. Let h be r(1). Let z = 4 - 2. Let y = z - h. Does 2 divide y?
True
Suppose -248 = 9*m - 13*m. Suppose v - m = 73. Is v a multiple of 15?
True
Suppose 0 = 87*b - 91*b + 2024. Is b a multiple of 23