False
Let i = -135 - -173. Suppose 3*m + 0*m = 0. Suppose m = 2*p - 0*p - i. Is 19 a factor of p?
True
Let i(g) = 1. Let v(u) = u + 6. Let n(y) = 2*i(y) + v(y). Let z be n(-9). Is 3 - (-5 - z - -1) a multiple of 6?
True
Let c(h) = -2*h**3 - 3*h**2 - 5*h - 6. Is 9 a factor of c(-6)?
False
Is (-3448)/(-12) - 1/3 a multiple of 41?
True
Let n = -740 + 2302. Is n a multiple of 14?
False
Let k(f) = f**2 + 8*f - 7. Let p be k(-9). Suppose -4*t + 4 = 4*h, -3*h - h + 4*t - 4 = 0. Suppose a + 3*w - 32 = -w, -p*a - w + 29 = h. Is a a multiple of 6?
True
Suppose 0 = -3*t + 2*v + 196, 0 = -6*t + 8*t + 2*v - 124. Does 12 divide t?
False
Suppose -4*y = 5*q - 380, -2*q + 0*y + 140 = 4*y. Is 13 a factor of q?
False
Let p(n) = n**2 - 15*n + 6. Let y be p(18). Let j = y + -28. Suppose 8*c + j = 10*c. Is c a multiple of 6?
False
Suppose 3*k - 6 = 0, -114 = -3*p + 4*k + 58. Does 12 divide p?
True
Let o(s) = 8*s. Suppose c - 6 = -1. Suppose -2*d = 8, -p = -4*d - 13 - c. Does 8 divide o(p)?
True
Suppose -2*q + 3*q = 2*n + 1018, -3*n = -5*q + 5055. Is 56 a factor of q?
True
Let a(w) = -w**3 - 9*w**2 - 10*w - 14. Let z be a(-8). Suppose -2*n - p = -293, 5*n + 3*p + z*p = 725. Is 22 a factor of n?
False
Does 6 divide (-42)/((-905)/(-230) + -4)?
False
Let w(a) = -52*a + 2636. Is 31 a factor of w(0)?
False
Suppose -2*m - 3212 = 3*r, 0*r + 4*m = -r - 1064. Is 15 a factor of 2/9 + r/(-36)?
True
Is (-6)/(-2) + 226 + -22 a multiple of 9?
True
Let b = -13 - -19. Suppose -b*v + 24 = -4*v. Does 4 divide v?
True
Suppose 3150 = 133*r - 119*r. Is r a multiple of 18?
False
Suppose 3*c = -9, 4*c = o + 3*c - 387. Is o a multiple of 48?
True
Let h be (-7)/(-1) - (-1 - -3). Let s = 254 + -127. Suppose s = h*y + 2*v, 3*y - 2*v = 2*v + 71. Is y a multiple of 20?
False
Suppose -1570 - 96 = -2*w. Is w a multiple of 7?
True
Let x = -33 + 55. Suppose -x = -5*k + 158. Does 18 divide k?
True
Suppose -3*l = 5*n + 16, 9*l + 10 = 4*l - 5*n. Suppose -5*m - l*m + 1200 = 0. Does 50 divide m?
True
Let x = -589 + 1057. Is 18 a factor of x?
True
Let m(s) = -s**3 - 16 + 5*s + 6*s**2 + 18 + 3. Is m(-4) a multiple of 14?
False
Suppose 2*p - r = 4, 3*p = -p - r + 8. Suppose p*x - x = 2. Suppose i = x*i - 89. Is i a multiple of 16?
False
Suppose 95 = 5*i - 4*i. Let h(r) = 6*r - 3. Let v be h(-10). Let y = i + v. Does 8 divide y?
True
Let w(i) = -138*i + 15. Is w(-4) a multiple of 27?
True
Suppose -2640 = -66*o + 56*o. Is 44 a factor of o?
True
Let d be 22*2/12*-6. Let t = 9 + d. Let q = 21 + t. Is 3 a factor of q?
False
Let f(k) = -153*k + 32. Is f(-1) a multiple of 37?
True
Let a be 2 + 12 - (-8 - -10). Let c = -3 + a. Does 4 divide c?
False
Let y be -6 + (-2)/(-1) - -6. Let k(v) = v**2 - v**3 - v + 0*v**2 + 10*v**3 + 13 - 11. Is k(y) a multiple of 19?
True
Suppose -80 = 3*r - 4*g - 560, g = -3. Is r a multiple of 15?
False
Suppose 2323 = i - 5*p, -16*p + 6939 = 3*i - 21*p. Is 34 a factor of i?
False
Suppose 278 = 5*p + 88. Let m = -4 - -222. Suppose -5*u = -m + p. Is 18 a factor of u?
True
Suppose 11*t = -13*t + 9696. Does 58 divide t?
False
Suppose -26863 - 50093 = -44*h. Is 11 a factor of h?
True
Let l(b) = -b**3 + 15*b**2 + 18*b - 23. Let j be 1*(-3 - -1) - -29. Suppose -j = -4*a + 37. Is l(a) a multiple of 9?
True
Let m(c) = c**2 + 14*c + 7. Let b be 5/((-20)/8) + -13. Let s be m(b). Suppose -t = -4*g + t + s, -8 = 4*g + 4*t. Is g even?
False
Let z(d) = 8*d**2 + 2*d - 17. Does 8 divide z(-5)?
False
Let s = -363 + 235. Let x = -41 - s. Does 8 divide x?
False
Suppose b + 6 = 2*j + 43, 0 = b - 3. Let u = j - -24. Suppose 90 = u*a - 2*a. Is a a multiple of 5?
False
Let v = -11 + 10. Is 10 a factor of (-1)/v + 2 + 25?
False
Let q be 3/(-6)*2 + 6. Suppose 0 = 3*b - 4*j - 59, b + 15 = -q*j + 3. Let x(m) = -m**2 + 12*m + 19. Does 3 divide x(b)?
True
Suppose -20 = p + 3*p, p + 3 = 2*k. Let v be k*3/(3/(-166)). Suppose 5*n = -2*j - 2*j + v, -4*n = -8. Does 17 divide j?
False
Let r(d) = 5*d + 3. Suppose 0 = 5*t - 54 + 39. Suppose 3*b = -5*a + 44, -5*a - t*b = -2*a - 30. Is 9 a factor of r(a)?
False
Let r(x) = x**3 + 6*x**2 + 3*x + 4. Let o be r(-5). Suppose 0*z = -5*z. Suppose n + 4*m - 42 = 0, 5*n - 4*m - 104 + o = z. Is n a multiple of 11?
True
Let q = 1027 - 347. Is 5 a factor of q?
True
Suppose -26*b - 130 = -27*b. Is b a multiple of 58?
False
Let s(o) = -o**2 + 6*o - 5. Let n = -9 - -15. Let c be s(n). Let i = 15 + c. Does 6 divide i?
False
Suppose -2*a + b = -26, a - 3 = 2*b + 7. Let d = a - 17. Is 7 a factor of (-3)/d*(2 - -23)?
False
Let u be 5 + 0 + -6 - (-1 - 4). Is u + (0 - -1) - -31 a multiple of 12?
True
Let m(j) = -j**3 + 2*j**2 + j - 2. Let h be m(2). Suppose -5*x + 2*a + 49 = h, -a + 61 = 5*x + a. Does 20 divide -3 - (-11)/(x/48)?
False
Let u(j) = -3*j + 255. Is 3 a factor of u(15)?
True
Let q be (-4 + -2)*(-30)/(-9). Let a(k) = k + 22. Does 2 divide a(q)?
True
Let j = -12 - -23. Is 8/44 + 790/j a multiple of 8?
True
Let c(z) = -4*z**2 - 5*z + 9. Let u(x) = 3*x**2 + 5*x - 8. Let k(q) = -q**2 + 7*q - 5. Let p be k(7). Let g(t) = p*c(t) - 6*u(t). Is 12 a factor of g(-4)?
False
Suppose 0 = 4*r - 136 - 56. Does 24 divide r?
True
Suppose 4*v - 6*p - 3616 = -4*p, 0 = -v - 2*p + 894. Is v a multiple of 82?
True
Suppose 96 = -g + 2*g - 4*m, 4*g = 3*m + 423. Suppose -h + 348 = 4*d, 0 = -2*d + d + 5*h + g. Is d a multiple of 59?
False
Let n = 4 - 7. Let o(c) = -4*c**3 - 3*c**2 + 3*c. Does 20 divide o(n)?
False
Suppose 4*n + 4 = 0, n = 19*l - 24*l + 24374. Is 13 a factor of l?
True
Let x be 2712/(-54) - 4/(-18). Suppose 9 = -2*v - 2*p + 3, 0 = 4*v - 3*p + 40. Is v + 4 + 1 - x a multiple of 24?
True
Suppose -24*m + 444 + 516 = 0. Is 10 a factor of m?
True
Let k(l) = -3*l - 4. Let t be k(-3). Suppose -t*j - 9 = -3*n - 4*j, -2*n = 3*j - 6. Is 13 a factor of 45 + n/(-5 + 2)?
False
Let d(j) = -2*j**3 - 18*j**2 - 35*j - 92. Is d(-11) a multiple of 21?
True
Suppose 4*j - 18 = -6. Suppose j*i + 4*i = 133. Is i a multiple of 4?
False
Let n be (-3070)/(-50) + 2/(-5). Suppose 3*y = 2*y + n. Is y a multiple of 18?
False
Let c(o) = 2*o**3 + 5*o**2 - 11*o + 4. Let a be c(5). Is 6 a factor of (-4 - -6)*a/8?
False
Let y = 148 - 34. Let x = 164 - y. Suppose -5*d + x + 15 = 0. Does 13 divide d?
True
Let l = -89 - -29. Let k be ((-18)/(-15))/((-8)/l). Suppose -159 + k = -5*d. Is d a multiple of 5?
True
Let a(l) = l**2 + 7*l + 10. Let r be a(-7). Suppose 2*z = 4, -3*z + 12 = 4*t - r. Suppose t*u - n = -3*n + 52, 4*n = -16. Does 4 divide u?
False
Let a(n) be the third derivative of -n**6/60 - 7*n**5/60 - n**4/8 + 2*n**3/3 + 20*n**2. Does 12 divide a(-6)?
False
Suppose -6*j = j - 798. Let c = -69 + j. Is 26 a factor of c?
False
Suppose 138*a - 117*a = 4158. Is 22 a factor of a?
True
Let c = 25 - 15. Suppose 12*y = c*y + 2. Is y/(3 + (-80)/28) a multiple of 5?
False
Let f(a) = 2*a**2 - 26*a - 88. Does 31 divide f(-13)?
False
Suppose 48 + 11 = 2*v - 3*d, -2*v + 62 = -4*d. Is 16 a factor of v?
False
Suppose 9*m - 25*m + 3552 = 0. Is 22 a factor of m?
False
Let z(v) = 8*v**2 - 20*v. Is z(6) a multiple of 14?
True
Let l(y) = 11 + 26 + 257*y - 269*y. Is 29 a factor of l(-9)?
True
Suppose 3*j - 7 = 5. Suppose -20 + j = -4*w. Let i(r) = 21*r - 9. Is i(w) a multiple of 25?
True
Is 2 a factor of -15*(-3)/(-9)*-28?
True
Suppose -4*a + 385 = -3*t + 29, 3*a = -5*t + 296. Is 46 a factor of a?
True
Let u(b) be the second derivative of 11*b**6/40 + b**5/30 - b**3/6 - 3*b**2/2 + 3*b. Let o(c) be the first derivative of u(c). Is 12 a factor of o(1)?
False
Is 38 a factor of 3/((-9)/15) - (-1190)/10?
True
Let a be 4/(-2) + -20 + 4. Let i = 18 - a. Is i a multiple of 9?
True
Let t(k) = 82*k - 282. Is t(6) a multiple of 30?
True
Suppose u = 1 + 3. Let m(z) = 18*z - 6. Let y be m(u). Suppose -2*f + y = -0*f. Is f a multiple of 15?
False
Let a = 1852 - 565. Is 16 a factor of a?
False
Let n = 747 - 592. Is n a multiple of 7?
False
Suppose p - 84*k + 82*k - 293 = 0, 4*k = -p + 299. Does 5 divide p?
True
Suppose -12 = 5*y - 17. Is 3 a factor of y/(5/45*3)?
True
Let u(w) = 6*w**2 + 42*w - 58. Is 87 a factor of u(18)?
False
Let a(m) = 5*m**2 - 14*m + 49. Is a(9) a multiple of 41?
True
Let p(d) = 108*d - 52. Is 21 a factor of p(10)?
False
Let b(a) = 5*a + 4. Let l = -1 + 29. Suppose l = 3*g - 2. Is 10 a factor of b(g)?
False
Let r(h) be the second deriv