 + 2 - (-2 - -6). Is x(t) a multiple of 20?
True
Suppose 109 + 80 = 9*w. Does 7 divide w?
True
Let l = -408 + 771. Let u = l - 223. Is 15 a factor of u?
False
Let b(w) = -4*w**2 - 2*w - 15. Let q(d) = -3*d**2 - d - 16. Let m(g) = 2*b(g) - 3*q(g). Let o be m(0). Suppose 6*r - o = 5*r. Is r a multiple of 9?
True
Suppose 5 = -0*o + 5*o. Is 29 a factor of o - (1 - (-3)/((-12)/464))?
True
Let c be (-3)/2 - (5 + 11/(-2)). Is 12 a factor of (-67 + -9)*c*(-3)/(-3)?
False
Let y(t) = -t**3 - 17*t**2 + 31*t - 160. Is y(-23) a multiple of 59?
True
Suppose -2*d + d + 117 = 2*b, 5*d - 540 = 5*b. Let t = d - 59. Let f = -15 + t. Does 11 divide f?
False
Suppose 10*b = b + 1116. Does 8 divide b?
False
Let j = -18 + 26. Suppose -j*n + 3*n - 45 = 0. Let b(w) = -w**2 - 12*w - 8. Is b(n) a multiple of 10?
False
Let b = -209 - -283. Does 6 divide b?
False
Let l = -805 + 1646. Does 51 divide l?
False
Let t = -4 + 10. Let y be 14/(-6) + (-9)/(-27). Is t/(-4) - 67/y a multiple of 13?
False
Is -142*((-7)/(-14) + -1) a multiple of 69?
False
Is 8 a factor of ((-4)/1 + -12)*(-14)/4?
True
Let n be ((-12)/(-18))/((-2)/(-12)). Suppose -n*h - 236 = -4*a, 2*a - 153 = -a - 3*h. Suppose -6*b + a = -119. Is b a multiple of 10?
False
Let a = 19 + -31. Let i = a - -2. Does 27 divide (-30)/(-4)*(-108)/i?
True
Let q = 76 + -43. Suppose 0 = -35*l + q*l + 416. Suppose -4*k - 3*c = -211, 2*c - 6*c + l = 4*k. Is k a multiple of 15?
False
Let l(g) = 2*g + 3. Let c be l(-2). Let j be 80 + 4 + c + -1. Suppose 98 + j = 5*r. Is r a multiple of 9?
True
Is 172*-8*((-6)/(-8))/(-3) a multiple of 10?
False
Let s(a) = 7*a**3 - 14*a**2 + 8*a + 1. Let x(w) = 6*w**3 - 13*w**2 + 8*w + 1. Suppose -15 = 3*k - 0. Let v(h) = k*s(h) + 6*x(h). Does 8 divide v(7)?
True
Let m(c) = c**2 - 6*c + 6. Let n be m(3). Let s(f) = -2*f**3 - f**2 + 3*f - 4. Let p be s(n). Suppose -3*g = u - 26 - p, 4*u = 2*g + 176. Is 12 a factor of u?
False
Is 22 a factor of ((-3069)/124)/(1/(-24))?
True
Suppose -2*b - 283 = -v - 96, 0 = -5*v + 4*b + 929. Let p = 54 - v. Let k = 230 + p. Is k a multiple of 26?
False
Let f be (5 + -3)*(3 + 189/(-6)). Let w = -51 - f. Is w a multiple of 3?
True
Let j = 9 - -96. Suppose b + 2*b - j = 0. Suppose 119 - b = 4*v. Is 21 a factor of v?
True
Let f(z) = z**2 - 4*z - 2. Let y be f(7). Suppose 0 = 3*v + y - 163. Suppose 3*s + 0*s - v = 0. Does 16 divide s?
True
Is ((4455/(-36))/15)/(9/(-1956)) a multiple of 27?
False
Suppose 5*b = -14*b + 3458. Is 26 a factor of b?
True
Let b be (187/17)/(2/16). Suppose 5*g + 60 = -2*c + 7*c, 4*c - b = -4*g. Is c a multiple of 9?
False
Suppose 9*n = 2*h + 5*n - 758, 0 = 2*h - 5*n - 755. Is h a multiple of 8?
False
Let h = 176 - 64. Does 7 divide h?
True
Let s(j) = 163*j**2 + 17*j - 11. Is 18 a factor of s(3)?
False
Let x(y) be the second derivative of -y**5/20 + 7*y**4/4 - 13*y**3/6 + y**2 - 39*y. Does 47 divide x(20)?
False
Let i(b) = 3*b**2 + 2*b - 4. Let g be i(2). Suppose 5*n + p - 43 = 238, g = -3*p. Is 20 a factor of n?
False
Suppose 5*v + 5*b - 8525 = 0, -11*b = 4*v - 9*b - 6826. Is 61 a factor of v?
True
Let i be 0 + ((-10)/2)/(-5). Let l be 3/((-9)/(-3))*i. Suppose g - 4 = l. Is g a multiple of 5?
True
Let a = 879 - 460. Is 24 a factor of a?
False
Does 12 divide (1 - -2) + (104 - (-4 - 1))?
False
Let t = 128 + -68. Suppose 4*a = -16 + t. Does 6 divide a?
False
Let q(g) = 3*g**2 + 2*g - 184. Does 24 divide q(-16)?
True
Let x = 8 + -4. Let y = -7 + 1. Does 9 divide (4 - x*y) + -1?
True
Suppose -111*m = -105*m - 10920. Is m a multiple of 26?
True
Let o = 4 + 4. Suppose 3*t - 5*t = -o. Suppose t*a - 60 = -a. Is 11 a factor of a?
False
Let k(u) = u**3 + u**2 - 6*u + 72. Is k(0) a multiple of 18?
True
Let h = -62 + 134. Suppose 4*k - h = -0*k. Is 15 a factor of k?
False
Suppose 29*h = 28*h + 4. Suppose -h*y + 217 = 3*y. Is 13 a factor of y?
False
Suppose 4*s - 496 = -w, -3*s = 2*w - 6*w - 353. Suppose 3*d - 2*k = 245, d + 41 = k + s. Does 15 divide d?
False
Suppose 0 = v - 9 + 95. Let m be v/12 - 4/(-24). Is 28 a factor of 8/56 - 419/m?
False
Suppose 6 = -2*z - 3*j, -j + 8 = 5*z - 3. Is (z*-18)/((-19)/57) a multiple of 6?
True
Let g be (3/2)/(-4 + (-942)/(-240)). Is (1/2)/((-2)/g)*4 a multiple of 3?
False
Suppose 5*k - 2*i + 1239 = 0, -4*k + i = -i + 990. Let r be k/(-27) + (-4)/18. Let m(q) = 3*q - 6. Does 21 divide m(r)?
True
Suppose 5*b = -5*m - 15, -4*b - 2*m + 4 = 18. Let p = 2 - 3. Does 4 divide p/(-2*b/(-56))?
False
Let k = 127 + -49. Let a = k - 48. Is 10 a factor of a?
True
Does 40 divide 3/(-48)*-7676 + (-1)/(-4)?
True
Suppose 3*h = -1 + 7, -5*c + h + 373 = 0. Is 4 a factor of c?
False
Suppose -3*i + 12 = -3*u, 0*u + 15 = -5*i - 2*u. Let h be -14 + 4/(-4) - i. Let b(t) = -t**2 - 16*t - 21. Is b(h) even?
False
Let t(k) = k. Let j be t(6). Suppose 0 = -p + j*p - 130. Let z = -14 + p. Is 6 a factor of z?
True
Is (-200 + 52)/((-2)/15*3) a multiple of 37?
True
Let d(z) = z**3 + 7*z**2 - 10*z + 2. Let b be d(-7). Suppose 0*j - b = 4*j. Does 19 divide (-2615)/(-30) + 3/j?
False
Let n = 28 + 57. Suppose -u - 5*j + n = 0, 0 = -5*u - 3*j + 4*j + 451. Is 9 a factor of u?
True
Is 9 a factor of (-2)/(-4) - (-10122)/84?
False
Let a(z) = 133*z**2 - 5*z + 4. Let g be a(1). Let l = -60 + g. Does 30 divide l?
False
Suppose -4*v + 29 - 21 = 0. Suppose -6*p - 5*j + 234 = -v*p, p - 58 = -j. Is 16 a factor of p?
False
Is 8 a factor of 12/16 + (-47715)/(-60)?
False
Let j be 24/((-246)/(-80) - 3). Let u be j/(-28) - (-9)/21. Let k(z) = -3*z + 15. Is k(u) a multiple of 16?
True
Suppose 2*l = x - 50, -176 = -4*x - 5*l + 89. Does 8 divide x?
False
Suppose -2*i + 2126 + 616 = 2*d, -4*d = -5*i + 6846. Is i a multiple of 28?
False
Let h be (6/4)/((-4)/8). Let w = h + 6. Suppose 5*g = -5*z - 0*z + 115, -2*g - w*z + 44 = 0. Does 5 divide g?
True
Suppose 1 = 2*l + m, 0 = m + 3 + 2. Suppose c = l + 7. Let s = 22 - c. Does 4 divide s?
True
Let w = -11 - -6. Let j be (59/5)/(w/(-25)). Let f = -26 + j. Is f a multiple of 11?
True
Let b(t) be the first derivative of -t**4/12 + 2*t**3 - 3*t**2/2 + 6*t - 9. Let c(z) be the first derivative of b(z). Does 6 divide c(9)?
True
Suppose -2*s - 22 - 2 = 0. Let j = s - -14. Suppose -b + 54 = j*b. Does 18 divide b?
True
Let b be (-13)/(-3) + 2/3. Let s = b + -3. Is 30 a factor of 240/(-9)*(-5 + s)?
False
Let r(p) = 2*p. Let b(i) = -2*i + 1. Let k(y) = 3*b(y) + 4*r(y). Does 11 divide k(10)?
False
Let c = 1807 + -20. Is c a multiple of 20?
False
Suppose 0 = 2*u + 8. Let w be u/(-12)*3*-1. Does 8 divide (4/(-3))/(w/18)?
True
Let y(v) = v**3 - 10*v**2 + 7*v - 15. Let l(m) = -2*m - 2. Let f be l(-6). Is y(f) a multiple of 11?
True
Suppose 4*f + 2*c - 7864 = 0, -15*f + 5*c = -18*f + 5905. Is 55 a factor of f?
False
Let p be 28/35*(-45)/(-6). Suppose 3*x = p + 24. Is x even?
True
Let g(d) = d**3 + 9*d**2 + 2*d - 3. Let w be g(-8). Suppose 0 = 7*t - 2*t - w. Is t a multiple of 7?
False
Let j = 59 - 204. Is (-232)/(-3) + j/(-87) a multiple of 11?
False
Let p(b) be the third derivative of -b**5/60 - 13*b**4/24 + 7*b**3/3 + 53*b**2. Is p(-10) a multiple of 6?
False
Is 24 a factor of (-9)/36 - (-8643)/12?
True
Let p(i) = -3*i**3 - 19*i**2 - 34. Is 11 a factor of p(-8)?
True
Let d(k) = 57*k + 99. Is 42 a factor of d(13)?
True
Suppose 0 = 164*i - 168*i + 5896. Is i a multiple of 4?
False
Let p be (6/(-21))/(2/(-14)). Suppose -24*h + 56 = -20*h. Suppose 0*n - h = -p*n. Does 2 divide n?
False
Is (-7 - -8)*-10*-56 a multiple of 28?
True
Suppose 26 = 3*t + p, -2*t + 66 = 3*t - 4*p. Suppose -188 = -t*y + 6*y. Does 20 divide y?
False
Let a be 14/35 - (-46)/10. Suppose -5*y - 125 = -5*d, d - y + 6*y + a = 0. Is d a multiple of 10?
True
Let l = 174 - -11. Is l a multiple of 37?
True
Suppose u - 12*u + 55 = 0. Suppose -5*z + 415 = 4*t, -z - 4*t + 72 = u. Does 35 divide z?
False
Let q = -172 + 297. Suppose 2*s - q = 193. Suppose 73 = f - 3*p, -3*f - 2*p + s = p. Is 29 a factor of f?
True
Suppose 4*r + 16 = 0, -3*r - 44 = -5*b - 12. Suppose -156 - 76 = -2*q + 5*n, -b*q + 484 = -5*n. Does 9 divide q?
True
Let z = 132 + 135. Does 53 divide z?
False
Let i = -1586 + 3140. Is i a multiple of 21?
True
Let m(a) = a**2 + 45*a + 1. Is 5 a factor of m(7)?
True
Let i be 1*(0/2)/(5 - 3). Suppose i = -3*q + 4*r + 83, r + 31 = q - r. Is 8 a factor of q?
False
Let w be (-1)/(-4 + 3) -