 - 66. Is m(v) a multiple of 12?
True
Let l be (-9 - -129 - -5*1)*12. Suppose -l*x + 1494*x + 7866 = 0. Is 41 a factor of x?
False
Let x = 42 - -9. Let d be (-170)/x - 4/6. Is (-2)/d - (-956)/8 a multiple of 24?
True
Let o be 1/((-364)/(-120) + -3). Let u(w) = 8 + 5*w + o + w**2 - w + 22. Is 15 a factor of u(0)?
True
Suppose v = 3, 3*t + 3 = -4*v + 3*v. Let o be (t/5 - (-108)/120)*-4. Is 17 a factor of (2 - -19*2) + o?
False
Let n = 475 + -694. Does 13 divide 3*194 + n/(-73)?
True
Let v(y) = 161*y**2 - 2*y + 2. Let t be v(1). Suppose 0 = 3*l + 14 - t. Suppose q + 7 = -2*o + l, q = -o + 20. Is o a multiple of 14?
False
Suppose 2*o - 5*f = -10, -2*o - 4*f - 12 - 16 = 0. Is 29 a factor of o/12 - -1 - (-62594)/204?
False
Suppose 24*x - 17*x = -77. Let j be 2372/22 - 2/x. Suppose 5*o + 28 = j. Does 2 divide o?
True
Suppose 201*m - 126*m = 138*m - 1321488. Is 12 a factor of m?
True
Suppose 6*n - 8060 - 7895 = -2683. Is 7 a factor of n?
True
Let r = 9495 - 6075. Is 20 a factor of r?
True
Let l(u) = 515*u - 5494. Is 8 a factor of l(20)?
False
Suppose -4*z - 3*k = -987, 3*z - 123 = 5*k + 610. Does 10 divide (44/66)/((-491)/z - -2)?
False
Is 7 a factor of 8973 + (-42)/21 + (6 - 2 - 8)?
True
Is (-6)/(-11 - -5) - (-6755 - (-6 - -12)) a multiple of 23?
True
Suppose 2*x - 3*m + 5 = 19, m = x - 6. Suppose 0 + 232 = -x*i. Let d = 130 + i. Is 20 a factor of d?
False
Let i = 545 + -305. Let p be (i/9)/((-10)/(-6) - 2). Is 6 a factor of 2/7 - p/14?
True
Let w = 4755 - 4005. Is w a multiple of 2?
True
Let q(f) = 1533*f**2 - 30*f + 45. Is q(-4) a multiple of 12?
False
Let p(l) = -65*l + 1. Let k(f) = f - 1. Let v(j) = -2*k(j) - p(j). Let m be v(1). Let x = m + -52. Does 6 divide x?
True
Suppose -2400 = 3*v - 8*v. Suppose 19*f = -2*c + 15*f + 320, -3*c = 3*f - v. Is 5 a factor of c?
True
Suppose 0 = 22*h - 21*h + 116. Let z = h + 362. Is 11 a factor of z?
False
Let a(w) = 2*w**2 - 11*w - 12. Suppose -k = -2*r + 12, 2*r + k - 4 = -0*k. Suppose 3*l = -b - 0*b + 11, -4*l + r = 0. Is 7 a factor of a(b)?
True
Suppose 6 + 0 = w. Suppose 16 = w*p - 2*p. Suppose 0 = p*i + 4 - 12, 2*i = -m + 113. Is 33 a factor of m?
False
Let o(v) = 485*v**3 + 6*v**2 + 148*v - 647. Is 39 a factor of o(4)?
False
Is 58 a factor of (-7680984)/(-552) + (-60)/(-345)?
False
Suppose 24*m - 19*m = -l + 4579, 4561 = l - 4*m. Is 35 a factor of l?
False
Is 30 a factor of 202089/186 + 26/(-4)?
True
Let c = 8647 - 8433. Let w = -107 - -26. Let z = c + w. Is 25 a factor of z?
False
Let j(m) = 2099*m**2 + 55*m + 56. Does 50 divide j(-1)?
True
Suppose 5228 = 2*l - 758*h + 759*h, 4*l - 3*h - 10426 = 0. Is 123 a factor of l?
False
Let q = -322 + 285. Does 7 divide (-51 - q)/((-2)/71)?
True
Let z = 118 - 117. Suppose 0 = 2*w + 5*b - 1, -62 = 4*w - 3*b + z. Is (w/(-9) + 3 - 4)*27 a multiple of 5?
False
Let o be 124/(-28) - (-12)/28. Is 8 a factor of (5 + o)/((-3762)/(-752) - 5)?
True
Suppose -3452 = -4*a + 4*i, 3*i = -16*a + 14*a + 1741. Is a a multiple of 74?
False
Let v(b) = 109 - 11*b - 290 - 13*b**2 - b**3 + 107. Is 23 a factor of v(-13)?
True
Let b = 13102 + -5662. Is b a multiple of 60?
True
Suppose 3314 = 3*x + 7*z, -8*x - 2*z = -4*x - 4404. Is 2 a factor of x?
True
Let i be 124675/55 + (-12)/(-66). Suppose 0 = -6*p + 9*p - 2*s - 2281, 5*s = -3*p + i. Does 68 divide p?
False
Let r be 8/(-3)*(-210)/140. Suppose -4*x = r*d - 2252, 7*d = -x + 9*d + 554. Does 10 divide x?
True
Let m(t) be the second derivative of t**7/630 - 11*t**6/720 - 7*t**4/4 + 2*t. Let j(n) be the third derivative of m(n). Does 15 divide j(9)?
True
Let k = -1088 + 2431. Suppose 718 = 2*q + m - 179, 2*m - k = -3*q. Suppose 4*t = -0*t + 12, -t + q = 4*b. Is 14 a factor of b?
True
Let r(p) = -p**3 - 11*p**2 - 3*p + 3. Let b be 4/(-1 - -2) - (4 + -2). Suppose 4 = -l + b*l - 5*t, 3*t = -9. Is 20 a factor of r(l)?
False
Let t(j) = -4*j**2 + 15*j - 26. Let g(k) = -11*k**2 + 45*k - 78. Let o(n) = 3*g(n) - 8*t(n). Is o(8) a multiple of 5?
True
Let p(u) = u**2 - 73*u + 324. Is p(76) a multiple of 3?
True
Suppose -h - 3*h - 42 = -5*l, -5*h - 69 = 2*l. Let t = -13 - h. Is -3*(-4 + (t - 2)) a multiple of 11?
False
Suppose -6*h - 33449 = -19*h. Suppose 1052 = 5*r - h. Suppose -5*s + r + 325 = 0. Does 35 divide s?
True
Let x = 32115 - 7115. Is 10 a factor of x?
True
Let x(y) = -y**3 - 10*y**2 - 2*y - 14. Let v be x(-10). Suppose -3*s = h - 1070 + 323, -h + 748 = 2*s. Suppose -v*t + h = -t. Is t a multiple of 36?
False
Let i = 86366 - 46909. Does 17 divide i?
True
Let u be 922 - (0 - -1 - -3). Suppose 4*s + 2*q - u = 0, -14*s = -13*s - 4*q - 243. Is s a multiple of 7?
True
Suppose 5*s + 7 = 4*a + 14, -1 = 4*s - a. Let p(y) = 365*y**2 + 3*y + 2. Is p(s) a multiple of 13?
True
Suppose 22*x + 17*x = 288405. Does 42 divide x?
False
Let m(w) = -654*w**2 - 2. Let q be m(-2). Let y = -1859 - q. Is 69 a factor of y?
True
Let w = 17264 + 6370. Does 18 divide w?
True
Let s(i) = i**2 + 10*i - 31. Let k(y) = y**2 - y. Let g(h) = 6*k(h) + 2*s(h). Let c(z) = 3*z**2 + 5*z - 21. Let m(p) = 11*c(p) - 4*g(p). Is 17 a factor of m(0)?
True
Suppose 22 - 7 = 5*m. Suppose -m*n + 560 = 5*g, 259 = n - 3*g + 91. Does 16 divide n?
False
Suppose 12 = -20*c + 23*c. Suppose c*f + b = -332, 181 + 151 = -4*f + 3*b. Let s = f - -113. Does 10 divide s?
True
Let f = 48 - 43. Suppose -2*p - f*b + 30 = -39, -4*p - 3*b + 145 = 0. Is p a multiple of 11?
False
Let g(s) = 15*s + 1. Suppose 3*b - i - 1 - 14 = 0, 0 = -3*b + 4*i + 24. Is 5 a factor of g(b)?
False
Suppose 50*i - 192 = 42*i. Suppose 2*j = -2*d + i, j - 4*d + 3*d = 20. Is j a multiple of 5?
False
Suppose -303669 = 283*h - 364*h. Is 35 a factor of h?
False
Let q be (-9)/(-6)*(-69 - 9). Let n = q - -133. Does 4 divide n?
True
Suppose -10*u + 33*u + 29904 - 111508 = 0. Is 3 a factor of u?
False
Let s(x) = -26 + 40*x + 24 + 8*x + 3*x. Let r be s(-6). Is (-1)/((-1)/(-2*r/8)) a multiple of 11?
True
Is 22 a factor of (1 - -3375) + 34 + (-14 - 11)?
False
Suppose -40*y + 37*y = 3*b - 10128, -3*b + 10120 = 5*y. Does 13 divide b?
True
Let f be (-1 - -2)/((-24)/13512). Does 7 divide (f - -1)*(-1)/4*6?
False
Let q be ((-654)/(-8))/3 - 63/(-84). Suppose 4*y + 5*d = -q + 195, y - 39 = -4*d. Is 43 a factor of y?
True
Let o(u) = -u**3 - 11*u**2 - u + 5. Let w be o(-11). Let q = -11 + w. Suppose q*z - 3*z - 306 = 0. Does 17 divide z?
True
Suppose a + 2 = 28. Let q be (32/(-10))/(a/(-1365)). Suppose -5*z + q = 3*z. Is 21 a factor of z?
True
Let v(s) = 3*s + 89. Let u(k) = 169*k + 5161. Let y(r) = 2*u(r) - 117*v(r). Is 52 a factor of y(-23)?
True
Let n(u) = -u**3 - 3*u**2 + 4*u + 2. Let h be (-1)/(-8) + (-110)/(-16). Let b be h + -8 - (6 + -2). Is n(b) a multiple of 16?
True
Let j(t) = -t**3 + 23*t**2 + 34*t + 63. Let w be j(25). Let d be 0 + (-1)/((-2)/(-462)). Let s = d - w. Does 19 divide s?
False
Suppose -t + 15*t = -8876. Let r = -422 - t. Is 10 a factor of r?
False
Is ((-13 - -197188)/11)/(4/4) a multiple of 41?
False
Let r(u) = 200*u**2 - 5*u - 89. Is r(-5) a multiple of 52?
False
Is 1727/(82 + -73 + -9 + 1) even?
False
Let d(b) = 18*b**2 + 6*b + 7. Let p be d(5). Let g = p - 179. Is 29 a factor of g?
False
Suppose 4*o = 7518 - 4366. Is o a multiple of 2?
True
Is 6 a factor of 7290/(-3)*34/(-85)?
True
Is 17 a factor of -10*60/100 - ((-3 - 44502) + 2)?
False
Let m = 80067 - 50749. Does 137 divide m?
True
Let k be 7*-1 - (31 + -41). Suppose 447 = 2*c - 4*q + 27, 0 = -5*c - k*q + 985. Is 25 a factor of c?
True
Let j(b) be the third derivative of b**5/12 + 3*b**4/8 + 2*b**3/3 - 78*b**2. Is 8 a factor of j(4)?
True
Suppose -v = -4*m - 68, m + 12 + 5 = -2*v. Let u = 39 + m. Suppose -u*y = -23*y + 54. Is y a multiple of 7?
False
Suppose 0 = 34*f - 82347 + 18855 - 45988. Is 24 a factor of f?
False
Suppose 3*d - 180 = 3*s, 5*s - 260 = -5*d - 0*s. Let c = d + -52. Is 6 a factor of -4 - (c + -3) - -68?
False
Let m be 1/(5/210*6). Suppose 0 = -27*z + m*z + 4140. Is z a multiple of 9?
True
Suppose 3*t - 5583 = 14*t - 43830. Is 19 a factor of t?
True
Let h(q) = 11*q**3 + 4*q**2 + 28*q - 2. Is 10 a factor of h(8)?
True
Let g(c) = -c**3 + 3*c**2 + 28*c + 6. Let y be g(-4). Suppose y*m - 785 - 67 = 0. Is m a multiple of 10?
False
Let b = -138 + 142. Suppose -2*t - b*l + 636 = 0, 2*l + 306 = t - 0*t. Is t a multiple of 24?
True
Let z = 445 - 425. Suppose 