True
Suppose 0 = 3*m - l + 20 - 7, 0 = -2*m - 2*l - 6. Let j(z) = -118*z - 212. Is 20 a factor of j(m)?
True
Suppose 3*j + 189 = 4*l, -5*l + 3*j + 260 = 20. Suppose l*r - 52*r = -582. Is r a multiple of 9?
False
Let h(p) = -142*p + 4 - 154*p - p**2 + 278*p. Let m be h(-18). Suppose 639 = 2*d + s, -m*d + 5*s + 339 = -974. Is 33 a factor of d?
False
Suppose 9*t - u - 498 = 4*t, -t = -u - 98. Let d be (t/6)/((-3)/(-9)). Suppose 82 = f + d. Is 15 a factor of f?
False
Suppose -f + g + 554 = 4*g, -5*f - 4*g = -2759. Suppose f - 131 = 4*l. Is l a multiple of 15?
True
Suppose -5*a = -2*m + 4589, -382*a + 384*a = -2*m + 4596. Does 7 divide m?
False
Let c(q) = -q**3 + 3*q + 6. Let x be c(3). Let s be (30 + x)*(-2)/4. Let r(g) = -14*g - 13. Does 12 divide r(s)?
False
Let n(j) = j**2 - 2*j + 7. Let a be n(3). Let b(l) be the third derivative of l**4/3 + 8*l**3/3 - 6*l**2. Does 8 divide b(a)?
True
Let b(t) = t - 1. Let y be b(6). Suppose 7*h - 3*h + y*x + 20 = 0, 0 = -3*x - 12. Let c(d) = -2*d + 12. Is 6 a factor of c(h)?
True
Suppose -6*x + 5*x - 1 = 3*w, 0 = 4*w + 12. Is -1 + x + (0 - -210) a multiple of 28?
False
Let k(c) = c**3 - 70*c**2 - 86*c + 665. Does 90 divide k(72)?
False
Suppose -i + 4670 = -3*g, -8761 = -2*i - 5*g + 557. Is 28 a factor of i?
False
Let q be (4/(-8)*0)/((-2)/1). Suppose q = -4*n + 5*o + 4 + 14, 3*n - 3*o - 12 = 0. Suppose -100 = -5*g - n*i + 56, -4*g + 5*i = -105. Is g a multiple of 3?
True
Let g = 2143 + 14969. Does 184 divide g?
True
Suppose -4*m - 5*t + 8*t = -12904, -3226 = -m + t. Suppose -4*r = 5*a - 2564, 0*r + a = -5*r + m. Is r a multiple of 17?
True
Let a(g) = g**2 - 17*g - 10. Suppose u + 147 = 167. Is 10 a factor of a(u)?
True
Let f(z) = 23*z**3 - 9*z**2 + 15*z - 10. Let i be f(5). Suppose i = 4*v + 3*x, 4*x + 2680 = 20*v - 16*v. Is 45 a factor of v?
True
Let r = 28 + -22. Suppose -r*g = 3 - 21. Suppose -g*l + 19 = -11. Is 4 a factor of l?
False
Suppose 2*z = -2*b + 202, -b - 499 = -2*z - 3*z. Let c = z - 29. Let r = c - 11. Is r a multiple of 12?
True
Let w(p) = p**2 - 3 + 6*p + 5364*p**3 - 5 - 5370*p**3. Does 36 divide w(-4)?
False
Let j(z) = z**3 + z**2 - z. Let c(m) = -6*m**3 - 10*m**2 + 11*m + 8. Let w(n) = c(n) + 5*j(n). Let d be w(-6). Is (-1575)/(-11) + d/(-44) a multiple of 28?
False
Let w(a) = -9*a - 17. Let g(o) = -10*o - 17. Let r(b) = -5*g(b) + 6*w(b). Let x be r(-8). Let j = 162 - x. Is 21 a factor of j?
True
Let l(g) = -g**2 - 25*g + 4. Let q be l(-25). Let d(s) = 32*s**2 + 13. Does 13 divide d(q)?
False
Suppose 0 = -v - 4*v + 10. Suppose -5*d + 3*o + 666 = v*o, 5*o = -d + 154. Suppose -d = y - 3*y + 2*s, -y - 2*s + 58 = 0. Is y a multiple of 6?
False
Let k(s) = 7*s**2 - 114*s - 11. Let m be k(51). Suppose 15*a - 5183 = m. Is a a multiple of 95?
False
Let w(i) be the second derivative of -i**3/3 + 8*i**2 + 12*i. Let y be w(4). Suppose -7*m = -y*m + 21. Does 3 divide m?
True
Let k be (-5)/(10/(-8)) - 632. Let m = -404 - k. Does 18 divide m?
False
Let i(y) be the second derivative of 0 - 3*y - 3/2*y**2 + 1/2*y**4 - 1/2*y**3. Is 13 a factor of i(-3)?
False
Let k = 5643 - 5379. Is 11 a factor of k?
True
Suppose -2*y = z - 1275, -5*z + 2*y - 3012 = -9447. Suppose 5*b + 658 = 2*v - 6622, 5*v + 4*b = 18101. Suppose v = 15*r + z. Is r a multiple of 19?
False
Suppose -3*o = 6, -52 - 22 = 5*z + 2*o. Let f = 610 + -615. Let r = f - z. Is 4 a factor of r?
False
Suppose -3 = -8*a + 13. Suppose -3*n + 3*h + 22 = a*n, h = -3*n + 2. Is 11 a factor of ((-1)/(-2))/(n/164)?
False
Suppose -3943*f = -3995*f + 592956. Is f a multiple of 15?
False
Let p be (-1)/(-7) - (-93334)/322. Suppose 11*z = p + 95. Is z even?
False
Let w(v) be the second derivative of -v**3/3 + 3*v**2/2 + 14*v. Let c be w(0). Suppose c*t + 2*t = -g + 263, 0 = -5*g - 10. Does 9 divide t?
False
Suppose -15155 = 11*l - 70595. Is 35 a factor of l?
True
Let k be (76/5)/((-32)/10 + 3). Let n = 149 + k. Is 19 a factor of n?
False
Suppose -2*x = o, -o = -0*x + 3*x + 2. Let g be o/(-5)*(-10)/4. Suppose g*r = -2*w + 75 + 69, 0 = w + 3*r - 74. Does 4 divide w?
False
Suppose -3*l + 11983 = 5*p, p - 14361 = -4*l + 1639. Is l a multiple of 2?
False
Let u = -33292 - -38960. Is u a multiple of 4?
True
Suppose -2 = 2*s + 2*m + 2, 0 = -5*s - m - 14. Let z be (-2 + 142 - s/1) + -2. Suppose -117 = -3*x + z. Is 17 a factor of x?
False
Let o(d) = -6*d - 25. Let f be o(-6). Suppose 12*l - 17825 = -f*l. Does 31 divide l?
True
Let o = -44 - -47. Suppose o*s - 1678 = y, 2*s = y - 51 + 1171. Suppose 0*w - s = -6*w. Is w a multiple of 31?
True
Let b = 183 + 29. Is 19 a factor of (-6)/(-21) - b/14*-5?
True
Let c = 186 + -184. Suppose -c*y = 7*y - 576. Is y a multiple of 18?
False
Let p = 109 - 93. Suppose 0 = -o + c + p, -2 = -2*o - 4*c. Suppose 0 = o*w + 380 - 1656. Is w a multiple of 18?
False
Suppose -9*g - 60 = -4*g. Let x = 27 - g. Let y = x - 13. Does 26 divide y?
True
Suppose -3*k - 2*t = -1961, 94*k - 90*k - 5*t = 2561. Is 71 a factor of k?
False
Suppose -128*c - 118*c + 5461200 = 0. Is c a multiple of 185?
True
Suppose 3*i + 984 = 2*x, 0*x + 2*i = -4*x + 2000. Let p = -348 + x. Is p a multiple of 4?
False
Does 8 divide 27/(-6) - 82643/(-22)?
True
Does 36 divide (-23 + -16321)*(6/(-21) - (-3)/(-14))?
True
Let w be (-3 - (-20 + 0)) + 8. Suppose -8*t = w*t - 12639. Is t a multiple of 6?
False
Let c = -578 + 633. Suppose d - 1512 = -c*d. Is d a multiple of 3?
True
Let k = 22 + 231. Suppose 3*c + 759 = 3*l, 3*c + k = l + 6*c. Is l a multiple of 12?
False
Let a(m) = -m**3 - 2*m**2 + 30*m + 9. Suppose l = -4*i + 1, -4*l + 2*l = i + 12. Is 8 a factor of a(l)?
False
Let r be 20/6*(-72)/(-30). Let b be (-7)/r - (-6)/(-48). Is 117 - 0 - (b + 4) a multiple of 38?
True
Let w(d) = 5*d**2 + 8. Suppose 43 = 8*l + 139. Is 13 a factor of w(l)?
True
Suppose 0*l = 2*l + 5*n - 8, -8 = -2*l + 3*n. Suppose 5*o + l*v - 248 = 0, -5*o - 4*v = -o - 200. Does 8 divide o?
True
Let x = 107 + -98. Suppose -13*z + x*z + 2234 = -2*i, 4*i = -2*z + 1142. Does 41 divide z?
False
Let q be 2484/(-20) - 9/(-45). Let v = q + 261. Is v a multiple of 12?
False
Let h be (2 - 24/(-16))*(-264)/(-14). Suppose -73*f + 4508 = -h*f. Is f a multiple of 7?
True
Let c = -1192 + 2242. Is 10 a factor of c?
True
Suppose h + 3*n + 7 = 0, 3*h - 8*n + 3 = -11*n. Suppose -2*t + 60 = 4*s - 76, 0 = -3*t + h*s + 196. Is t a multiple of 6?
True
Let i(a) = -141*a - 16. Let y be i(1). Let z = 202 + y. Does 15 divide z?
True
Let j(x) = 3*x**2 - 17*x + 15. Let q(s) = s**2 + 3*s + 2. Let w(g) = g**3 - 25*g**2 - g + 21. Let a be w(25). Let k be q(a). Is j(k) a multiple of 21?
True
Let v(w) = -2*w + 23. Let d be v(19). Is 2700/10 - 5/(d/(-12)) a multiple of 19?
True
Suppose 2*p + 4*f + 0*f + 26 = 0, 37 = -4*p - 5*f. Let w be (p - (-15)/12)/(2/(-48)). Suppose -v - 5 = 0, 4*s + 3*v - 119 = w. Is s a multiple of 18?
False
Let v be 91 - 13/((-13)/(-4)). Let h(n) = n**2 - 8*n - 5. Let a be h(4). Let q = a + v. Does 9 divide q?
False
Let w(d) = -d**3 + 2*d**2 + 4*d + 1. Let y be w(3). Suppose -y*b + 4*v = -0*b + 4, -2*b - 5 = -v. Let o = b + 15. Is 11 a factor of o?
True
Let y = 836 + 596. Is 10 a factor of y?
False
Is ((-24)/3 + (-68263)/(-39))/(1/3) a multiple of 33?
False
Let h be (-6)/(-4)*23/(276/16). Suppose 3*x - 196 = h*x. Does 28 divide x?
True
Suppose 4*m - 6960 = 5*k, 3*m + 72*k - 5221 = 76*k. Is 33 a factor of m?
False
Does 5 divide (45512 - -156)*1/4?
False
Suppose -222 + 78 = -16*r. Is 73 a factor of (6/r + -1)/((-18)/3942)?
True
Let u = 18084 - 13912. Is 149 a factor of u?
True
Let x = 16803 - 12725. Is 24 a factor of x?
False
Is (-36)/(-60) - (-38805)/75 a multiple of 7?
True
Suppose 2*q = t + 2*t - 6, 4*q + 12 = 3*t. Suppose 6*p + 50 - 230 = t. Is 10 a factor of p?
True
Let x be (14 + -16)*(-1 - 0). Is 31 a factor of x/6*(11 - 26) - -284?
True
Let y(m) = 134*m**3 - 9*m**2 - 300*m + 2107. Does 84 divide y(7)?
True
Let h be -8*2/7 + 10/35. Let o be 1/(9/(-6)*h/(-6)). Is 16 a factor of o/(-3)*(3 - 231/(-2))?
False
Let i be 4*(0 - 2/(-1)). Suppose 0 = -2*v - 8, 0 = -3*x + i*x - 2*v + 1497. Let c = -93 - x. Is 13 a factor of c?
True
Suppose 32*q = 27*q + 75. Does 19 divide 186*(-2 + q/5)?
False
Let b be (7 - 8)/((-40)/12 - -3). Suppose -2*i = 4*n - 30, -b*n = 2*n - 3*i - 10. Is n a multiple of 2?
False
Suppose -3*g - 47 + 161 = 0