+ x - 563, -3*y + 7*y + 3*x - 561 = 0. Does 4 divide y?
False
Suppose -47 = -3*d + 49. Suppose -2*x + 71 = 3*b, -b + 3*x + 10 = -d. Does 5 divide b?
False
Let r(k) = k**3 - 54*k**2 + 179*k - 45. Is 61 a factor of r(51)?
True
Suppose 5*t + 3 - 13 = m, -t + 3*m = 12. Is ((-280)/6)/(t/(-9)*1) a multiple of 28?
True
Suppose 0*p + 2*p = 60. Let b(d) = 47*d + 15. Let l be b(5). Suppose -35*z + p*z = -l. Is 25 a factor of z?
True
Let s(t) = 6*t**2 - 2*t**2 - 2*t**2 - 7. Suppose -3*w + 5 = -2*w. Is s(w) a multiple of 15?
False
Let q = 2 + 0. Let s(k) = 6*k**2 - 7*k - 5. Let o be s(6). Suppose -2*w + o = 5*f, 5*w + 69 + 16 = q*f. Is f a multiple of 20?
False
Suppose 0 = -5*t + 5*i - 508 + 14283, -8285 = -3*t - i. Does 120 divide t?
True
Let b(d) = -d + 89 - 4*d + d - 4*d**2 + d**3 - 94. Let w be b(5). Suppose w = -o + 5*o - 116. Does 12 divide o?
False
Let y = 1 + 3. Suppose -3*v = 5*c - 2, -v + 0*c - 4 = y*c. Suppose -n = -k - 1 - 10, -n - v*k = -26. Does 7 divide n?
True
Let u(t) = -3*t - 1. Let n be u(-3). Is (11 - -149)*n/10 a multiple of 31?
False
Suppose -12*u + 9*u - 870 = 0. Let x = -134 - u. Does 26 divide x?
True
Suppose -2*m + 1934 = 4*w, -w = -5*m + 3048 + 1831. Is m a multiple of 34?
False
Let x = 37 - 40. Suppose d - 77 = -5*v, 2*d - 322 = -3*d - 4*v. Let b = d + x. Is 21 a factor of b?
False
Let s(d) = -6*d**3 - d**2 + 4. Let c be 2/(8/(-20)) - -3. Does 16 divide s(c)?
True
Suppose -4*z = -22*z + 1026. Is 2 a factor of z?
False
Let d be (-3 + 2)*-1*25. Let p = 66 - d. Suppose -4*b - p = -5*b. Is 13 a factor of b?
False
Let h(j) = -2*j**3 - j**2 + 19*j - 11. Is h(-6) a multiple of 15?
False
Let p be (1 - -2)/9*0/(-1). Suppose p = 2*n - 159 - 49. Is 26 a factor of n?
True
Let m(u) = -11*u - 34. Is m(-10) a multiple of 19?
True
Let d(g) be the third derivative of g**4/24 - g**3/6 - g**2. Let o be d(4). Suppose 15 = o*j - 84. Does 11 divide j?
True
Suppose -11 = -2*n - 9. Is 8 a factor of (4*(1 + 0))/(n/4)?
True
Let b be 0 + 2 + 2 - 4. Suppose b*w + w - 82 = 0. Let i = w - 49. Is i a multiple of 33?
True
Suppose 442 + 1133 = 15*r. Suppose 3*c - 4*s - r = 0, -2*c - 9 = s - 68. Is c a multiple of 6?
False
Suppose 12*q = 22 + 2. Suppose 0 = q*h - 149 - 15. Is h a multiple of 4?
False
Let i = 0 + 0. Suppose i = 5*y - 4*d - 55, -20 = -4*d - 0*d. Does 6 divide (-104)/(-6) - 5/y?
False
Let f = -40 + 33. Let w(n) = -3 - n**3 + 7*n**2 - n + 2*n**3 - 3*n. Is 12 a factor of w(f)?
False
Let h = 7 + -7. Suppose -3*q + 2*q + 4 = h. Does 2 divide q/10 + 64/40?
True
Suppose 0 = -0*n + 2*n + 202. Suppose p + 768 = -5*f, 5*f + 46 = 4*p - 732. Let u = n - f. Is u a multiple of 17?
False
Suppose -5*k = 5*g + 45, -39 = 2*g + 5*k - 9. Let m(s) = s**2 - 3*s - 10. Is m(g) a multiple of 10?
True
Suppose 3 = -s + 2. Does 3 divide 2/(0 + s) + 58?
False
Suppose 0 = 9*c - 6082 - 2054. Does 29 divide c?
False
Suppose 2025 = 9*p - 0*p. Suppose 2*l = -l + p. Is l a multiple of 18?
False
Is (60/(-100) + 834/15)*5 a multiple of 32?
False
Suppose -4*r + 3*r + 180 = 3*g, -g - 4*r = -60. Let m be (0 - -1)/(12/g). Let a(x) = 15*x - 9. Does 33 divide a(m)?
True
Let u = -17 + 26. Suppose -2*a + 226 = 4*b, b = -a + 49 + u. Does 5 divide b?
True
Let p(a) = 37*a + 25. Let x be p(-4). Let s = -56 - x. Is 21 a factor of s?
False
Let k = -554 - -917. Suppose -12*j + k = -405. Is j a multiple of 18?
False
Suppose -408 + 1197 = 5*f + 2*c, 3*c = -f + 163. Suppose 0 = -4*x + 4*h + 188, -5*x + h + f = -74. Is x a multiple of 15?
False
Let f = -5 + 2. Let m be f/9 + 4/12. Suppose -4*l - j + 119 = m, l + 4*j + 64 = 3*l. Is 21 a factor of l?
False
Let i(t) = 7*t - 24. Let q be i(-15). Let h = q - -217. Is 11 a factor of h?
True
Let w(l) = -l - 24. Let v be w(-21). Is 9 a factor of -3 - (v + 1 + -64)?
True
Let g = 3996 - 1303. Is g a multiple of 21?
False
Let s be 6/(5 - (4 + -1)). Let c be 2/(-6) - (-22)/3. Is s/3 + c + -6 even?
True
Let v(h) = -h**2 + 13*h - 5. Let k be v(10). Suppose t = 6*t - k. Suppose 0*m - 5*m - t*b + 415 = 0, 0 = 3*m - 2*b - 234. Is m a multiple of 19?
False
Let r(s) = -2*s**2 - 3*s - 4. Let j(m) = 2*m**2 + 3*m + 5. Let v(u) = 6*j(u) + 5*r(u). Suppose -7*k + 8*k = -7. Does 25 divide v(k)?
False
Let b be 25*(-8)/(-30)*3. Suppose 0 = -0*l - 4*l + b. Suppose 5*t - 4*g - 75 = 172, -l*t = 2*g - 259. Does 21 divide t?
False
Let c(t) = -157*t - 21. Is c(-3) a multiple of 10?
True
Let o(z) = -z**3 + 9*z**2 + 9*z - 4. Let u be o(7). Let d = u + -87. Is d a multiple of 18?
False
Suppose -1389 = 6*d - 9*d - 5*k, 0 = -5*d + k + 2315. Does 45 divide d?
False
Is ((-34)/(-6))/(34905/(-4365) + 8) a multiple of 17?
True
Let p(z) = 1 - 2 - 4 + 16*z**2 + 3 + 6*z. Does 19 divide p(-3)?
False
Let f be 3/3 - 2 - (-3 - -1). Is (-4)/5*f/((-2)/205) a multiple of 18?
False
Suppose -5*s = -0 - 10. Let c(v) = -v**3 + 2*v**2. Let b be c(s). Suppose 0 = 2*m + 2*k - 34, -m - 2*m + 3*k + 75 = b. Does 21 divide m?
True
Let p(a) = -4 - 15*a**2 - 11*a**2 + 29*a**2 - 2*a**3. Is 3 a factor of p(-2)?
True
Let j be (2/4)/(9/(-216)). Let l = 14 + j. Suppose -48 = -l*z + 18. Does 11 divide z?
True
Is 12 a factor of 3/30 + 2 + (-198)/(-20)?
True
Suppose -69 = -5*k - 9. Let r = k + 84. Does 32 divide r?
True
Let i be ((-495)/(-6))/(3/6). Does 31 divide -85*11/(i/(-18))?
False
Let o(i) = 7*i + 1 - i - 4*i**3 - 8*i - 5*i**2 + 2*i**3. Let h be (-2)/(-7) + (-115)/35. Does 6 divide o(h)?
False
Let l = 95 - -81. Suppose 0*f = 4*f - l. Let u = 80 - f. Does 25 divide u?
False
Let m = 43 + 1. Let a be 4/(-22) - 36/m. Let y = a + 14. Is 5 a factor of y?
False
Suppose -3*s - 4 = -a, -a = 5*s - 0*a - 4. Let x = 5 + 24. Let c = s + x. Is 29 a factor of c?
True
Suppose 18 = -9*i + 10*i. Let x(y) = -2*y**2 + 40*y - 11. Does 14 divide x(i)?
False
Let o(t) = -9*t + 9. Let g(r) = r - 1. Let y(l) = -12*g(l) - o(l). Is y(-4) a multiple of 3?
True
Let m = -9 - -11. Suppose t = 2*x - 4*t + 82, -3*x - m*t = 123. Does 14 divide (-1)/(-1*(-1)/x)?
False
Let b(f) = -f**2 + 8*f - 2. Let c be b(7). Suppose c*o = 269 + 91. Does 15 divide o?
False
Let c = -567 + 1197. Is 14 a factor of c?
True
Let s be (2/6)/((-17)/(-35853)). Suppose -4*y - 119 + s = 0. Is 14 a factor of y?
False
Suppose 3*d - 6 = 2*c, 0 = 5*d + 2*c - 7*c - 10. Let n(z) = z**2 - 5*z - 6. Let p be n(6). Suppose l - 4*r + 4 = -0, p = d*l + 2*r - 32. Is l even?
True
Let n(s) = -130*s + 15. Is n(-1) a multiple of 29?
True
Let r be 0/((-10 - -2)/(-4)) - -79. Suppose -3*m + r = -5*i, -m - 2*i - 54 = -3*m. Is 14 a factor of m?
True
Suppose -5*a + 18 = -b - 1, 0 = -2*a + 3*b + 18. Suppose -l - s + 5 = -a, s + 8 = l. Suppose -l*o - 15 = -11*o. Is o a multiple of 4?
False
Suppose 2683 = q - 5*s, 3*q - 8035 = 34*s - 33*s. Does 76 divide q?
False
Let c(b) = -b**3 + 20*b**2 + 17*b - 25. Does 35 divide c(20)?
True
Let a(i) = 13*i**3 - 2*i**2 + 4*i + 1. Let h be a(3). Let t = h + -726. Is 1 + -5 - t/4 a multiple of 21?
False
Suppose -39*t - 10 = -38*t. Does 7 divide (-7)/(-35) + (-488)/t?
True
Let d(c) = 90*c**2 + 6*c - 2. Does 3 divide d(1)?
False
Let m(x) = 2*x - 2. Let y be m(2). Suppose y*q - 9 + 1 = 0. Suppose 3*a = -3*t + 81, -7*t + q*t + 27 = a. Is 22 a factor of a?
False
Let k(o) = -o**3 + 13*o**2 + 13*o + 16. Suppose d - 5 = 9. Let i be k(d). Suppose i*w - 36 = 14. Is w a multiple of 11?
False
Let n(w) = -w**3 - 5*w**2 - 2*w + 8. Let o be n(-5). Is (6 - 111/o) + (-1322)/(-12) a multiple of 22?
True
Let g = 68 - 62. Let s = 231 - g. Is s a multiple of 9?
True
Let v = -25 + 51. Suppose -2*c = -4*f - 30, v = 3*c - c - 3*f. Does 7 divide c?
True
Suppose 4*b + 10813 + 1739 = 5*r, 0 = r - b - 2511. Is 114 a factor of r?
True
Let z = 44 + -20. Is z a multiple of 6?
True
Suppose -4*q = -217 - 39. Does 5 divide 357/24 + 8/q?
True
Let l(w) = -69*w - 211. Is 10 a factor of l(-9)?
True
Is 770/28*(-96)/(-5) a multiple of 60?
False
Is (-27)/(4 - 38*390/3696) a multiple of 66?
True
Let y(l) = -l - 3. Let g be y(-5). Is -3 + 44 + (g - 0) a multiple of 8?
False
Let z = -13 + 19. Let d = -1 + z. Suppose 4*c = d*c - 37. Is c a multiple of 11?
False
Suppose -219 - 441 = 3*x. Let u = -80 - x. Is u a multiple of 28?
True
Let a be (-74)/(-14) - 36/126. Suppose 0 = -z + 3, a*t + 0*z - z = 42. Is t a multiple of 3?
True
Suppose -4*z - z = 25, 0 = -d - 3*z + 113. Does 8 divide d?
True
Let v(s) = -5*s - 