k**2 + 4 + 12 + k**3 + 9*k - 6. Let g = -26 - -15. Is 8 a factor of j(g)?
True
Suppose r - 155 = -u, -3*r - 641 = -7*u + 3*u. Let z = u + -33. Does 19 divide z?
False
Let q(i) = -3*i + 30. Let j be q(12). Is (-35)/14*j/5 a multiple of 3?
True
Suppose -197 = -4*g - 0*t + t, g + 3*t = 59. Suppose g = -6*n + 560. Is 17 a factor of n?
True
Let g(y) = -60*y - 93. Is g(-3) even?
False
Suppose 12 = -l + 4*l. Suppose 0*c - l = 4*c, -c - 259 = -2*m. Is m a multiple of 22?
False
Suppose 119 = g - 2*q + 25, 0 = 2*q + 4. Is 10 a factor of g?
True
Let l(v) = 4*v - 4. Suppose -u + 5 = 3. Suppose u*z + 2 - 10 = 0. Does 6 divide l(z)?
True
Suppose 24*p - 4*g + 386 = 25*p, 3*p - 1185 = -3*g. Is p a multiple of 7?
False
Is 52 a factor of 34628/9 + (-404)/(-909)?
True
Let g(z) = 2*z - 4*z + 0*z. Let u be g(-1). Does 3 divide u*(4/(-8) + 3)?
False
Suppose -10*v = -15*v - 120. Let c = v - -53. Is c a multiple of 8?
False
Suppose -279 = -5*l - 4*o - 104, 4*l - 136 = -4*o. Let n = 0 + l. Is n a multiple of 13?
True
Let a be 1*-4*(-20 - -19). Is 114 + a + -5 + -1 a multiple of 16?
True
Suppose 14*q = 12*q - u + 210, 3*u - 110 = -q. Does 5 divide q?
False
Let b(w) be the third derivative of -w**6/120 + w**5/3 + w**4/8 - 13*w**3/2 + 19*w**2. Does 3 divide b(20)?
True
Let q = -189 - -328. Suppose -3*c + q = -335. Is c a multiple of 9?
False
Let m be 672/14 + 1 + -1. Does 16 divide 55/2*m/20?
False
Is 21 a factor of 51/(-663) - 4344/(-26)?
False
Suppose 486 = 11*k - 8*k. Is 6 a factor of k?
True
Let n = -1146 - -1399. Is n a multiple of 11?
True
Let z = 3262 + -307. Is z a multiple of 61?
False
Let g = 69 - -671. Suppose -2*f - g = -4*w, -3*w - 141 = -2*f - 697. Does 20 divide w?
False
Suppose -5*q - 51 = -b - q, 0 = -2*q. Does 17 divide b?
True
Let a = 193 - 137. Suppose -166 = -6*m + a. Is m a multiple of 12?
False
Let x(d) = d**3 - 4*d**2 + 5*d - 6. Let c be x(5). Suppose 5*f = c + 51. Is f a multiple of 18?
False
Suppose -1774 - 5030 = -21*g. Does 8 divide g?
False
Let p = 535 + -76. Is p a multiple of 15?
False
Is 0 - (-14560)/((-50)/(-5)) a multiple of 91?
True
Is 8 a factor of ((-584)/(-511))/((-1)/(-2282))?
True
Suppose 84 = 4*q - 80. Let b = q + 60. Let t = b + -65. Is t a multiple of 12?
True
Let q(n) = 14*n + 238. Does 12 divide q(-5)?
True
Suppose 3*k - l - 2077 - 2648 = 0, -k - 4*l = -1575. Is 21 a factor of k?
True
Let l(b) = -b**3 + 5*b**2 + 2*b - 16. Suppose -4*m = -v - 10, 3*v + 0*v = 6. Is l(m) a multiple of 4?
True
Let l(j) = -j**3 - 4*j**2 - 2*j - 3. Let h be l(-4). Let n = h + -1. Suppose n*f - 14 = 3*x + 21, -3*f = -5*x - 40. Does 2 divide f?
False
Let b(l) = l**3 + 37*l**2 + 43. Does 43 divide b(-37)?
True
Suppose 3*p + l = 310, 4*p + 4*l + l - 417 = 0. Is 3 a factor of p?
False
Suppose -2*r + 125 = -7*r. Suppose 0 = 5*h + 113 + 112. Let z = r - h. Is z a multiple of 10?
True
Let a(h) = -h**2 + 13*h - 11. Let d be a(11). Is 4 a factor of 46/d + 4/(-22)?
True
Let s be (-5)/(3 + 2) + 3. Suppose -9*m - s*m + 1716 = 0. Is 13 a factor of m?
True
Suppose -m = 5*s - 10384, -4*s - 9*m + 8303 = -4*m. Is s a multiple of 30?
False
Let u = -59 + 449. Does 26 divide u?
True
Let z(w) = -8*w**3 - 7*w**2 + 4*w + 3. Let n(c) = c**3 - c**2. Let m(r) = -6*n(r) + z(r). Let g be m(-2). Let u = -4 + g. Does 33 divide u?
True
Suppose 3*v + 10 = -2*a + a, 0 = 2*a + v. Let o = -20 + 34. Let b = o - a. Is b a multiple of 8?
False
Let b(m) = 6*m**2 + 8*m - 2. Is b(-2) even?
True
Suppose -2*r + 6 = -0. Suppose 665 = 8*m + 641. Suppose 0 = -r*a - 3*k + 121 - 1, -232 = -5*a + m*k. Is a a multiple of 17?
False
Let o = -28 + 25. Does 48 divide (-1)/o + -267*(-42)/54?
False
Let n(o) = 2*o**3 - 4*o**2 - 6*o + 8. Let b be n(4). Suppose -3*c - b = -5*c. Suppose -2*s + 6 = 0, s = -5*d + c + 84. Is d a multiple of 7?
True
Let o(p) = p**3 - 15*p**2 - 26*p - 28. Is 18 a factor of o(17)?
True
Is 42 a factor of 106*4*(3 - 2)?
False
Let j = 35 + -27. Suppose -j + 312 = 4*s. Is 13 a factor of s?
False
Let j(x) = -x**3 - 5*x**2 - 7*x - 4. Let t be j(-4). Suppose 3*z - t*z + 70 = -2*b, 50 = 5*z + 2*b. Is z a multiple of 4?
True
Let p be ((-55)/33)/(1/(-42)). Let r = -31 + p. Does 6 divide r?
False
Let a = 203 + -103. Suppose a + 78 = -2*h. Let n = h - -134. Is n a multiple of 15?
True
Let f = 79 + -97. Does 5 divide (69/f)/(1/(-6))?
False
Let n(i) be the first derivative of 2*i**3/3 + 11*i**2/2 + 9*i + 269. Suppose 5*d = 2*s + 1, 2*d = -3*s - 2*s - 46. Does 9 divide n(s)?
False
Let h(d) be the second derivative of -247*d**4/4 + d**2/2 + 3*d. Let z be h(1). Is 24 a factor of z/(-25)*10/4?
False
Let o be (-6 + 7)*4/(-2)*-2. Does 43 divide o/(-2)*-1 - -213?
True
Let c = 3055 - 1719. Is c a multiple of 15?
False
Let t be 6 + ((-2)/(-8) - (-100)/(-80)). Suppose -2*k = -0*k + 4*f - 568, 2*k - 568 = t*f. Is k a multiple of 55?
False
Suppose 2*c - 12 = 5*m + 8, -27 = -5*c + m. Is 15 a factor of 2/5 - (-333)/c?
False
Let y(s) = -s**2 + 9*s. Let l(i) = i**2 + 4*i - 2. Let q be l(-6). Let k = 15 - q. Is y(k) a multiple of 12?
False
Let p = -46 - -39. Let x(b) = b**2 + b + 5. Is 36 a factor of x(p)?
False
Let j = -756 + 1111. Is 20 a factor of j?
False
Let w be (2 - -22) + (5 - 4). Suppose 4*f = -f - w. Let m = 17 - f. Is 12 a factor of m?
False
Let w(g) = -31*g + 18. Is w(-7) a multiple of 27?
False
Is (-72)/(-396) + (-4156)/(-11) a multiple of 12?
False
Let m = 10 - 5. Suppose -j = -5*f + 12, 16 = m*f - 0*j - 3*j. Suppose 4*c - 56 = f*c. Is 14 a factor of c?
True
Let x(f) = -f**2 + 108*f - 211. Is x(64) a multiple of 16?
False
Suppose 5*r = 8*r + 39. Let x be -4*(-4)/8 + r. Let v(n) = -4*n - 10. Is 17 a factor of v(x)?
True
Let i(a) = a + 5. Let v be i(-2). Is 8 a factor of 3 - ((-7)/((-28)/(-160)) + v)?
True
Suppose -4084 = -15*r + 5276. Is 13 a factor of r?
True
Suppose -10 + 22 = 4*q. Suppose f + 695 = 4*p, -q*p - f + 0*f + 530 = 0. Does 25 divide p?
True
Let r = 52 - 49. Suppose 0 = r*f + 9*f - 1608. Is f a multiple of 28?
False
Suppose -t - t + 10 = 0. Suppose t*c = -6 + 21. Suppose c*z + 204 = 7*z. Is 17 a factor of z?
True
Let p(s) = -8*s**2 + 3*s**2 + 5*s - 17*s**3 + 18*s**3 - 3. Is p(6) a multiple of 9?
True
Suppose 5*g - 12695 = -3*b, 5*g + 3*b + 12665 = 10*g. Does 111 divide g?
False
Is 2 a factor of (2*76/40)/((-2)/(-10))?
False
Does 38 divide 3/((-18)/(-6380)) + 96/144?
True
Let b be (-20)/3*15/(-10). Let y(g) = -g**2 + 12*g - 13. Is y(b) a multiple of 3?
False
Let y(n) = 1 + 3 + 6*n - n**2 + 3. Let h be y(7). Suppose -k + 72 = -h*k. Does 12 divide k?
True
Let l = 5 + -3. Let b be 0 - (1*-6)/l. Suppose -5*f + 2*g = -51, 5*f - b*g - 57 = g. Is 9 a factor of f?
True
Let b be (32/48)/(2/15). Suppose 4*i - 13 = 5*r, -20 = -2*i - b*r + 3*r. Suppose 0 = -c - i + 14. Is c a multiple of 4?
False
Suppose -5*o + 16 + 9 = 0. Let a(r) = -2*r + 8. Let l be a(o). Is 9 a factor of l/(-4)*-2 - -19?
True
Suppose -q + d + 4 = 5, -d = -4*q + 8. Suppose 0*w - 2*f = -w + 131, 5*w - q*f = 641. Does 11 divide w?
False
Let z(y) = -3*y - 2 + 3 + 3 + 8*y. Let w(v) = -v**3 + 4*v**2 - 2*v. Let c be w(3). Is z(c) a multiple of 19?
True
Suppose 3*p + 5*b = 6148, 8*b - 5*b - 6 = 0. Does 31 divide p?
True
Suppose -3*i + 6*i = 4*n + 950, 0 = 4*i + 2*n - 1274. Is i a multiple of 39?
False
Let i be 3/(-12) + (-111)/(-12). Is 6/(-18) + 201/i a multiple of 15?
False
Let a be ((-12)/(-10))/(10/25). Suppose i - 2 = 0, -4*y + 5 = -a*y + i. Suppose -4*n + y*n + 16 = 0. Does 11 divide n?
False
Let t be (-8 + 4)/1 - -12. Suppose t*h - 250 = 3*h. Let j = h + 2. Does 9 divide j?
False
Let m(c) = 2*c**2 - 3. Let f be m(2). Suppose -d + 3*d - 3*b = 69, f*b = 25. Does 14 divide d?
True
Suppose 31*j + g = 30*j + 1923, 8 = -4*g. Is j a multiple of 43?
False
Suppose -2*a + 43 = 5*m, 4*m - a + 3*a - 36 = 0. Let q(p) = 3*p**2 - 2*p - 11. Is 18 a factor of q(m)?
False
Suppose -8*k = -6*k - 986. Does 29 divide k?
True
Suppose 3*m - 8 = -2*q, m + 2 = 3*q + 1. Suppose 0 = -2*f - 2*x + 48, m*f - f - 2*x = 12. Suppose -19*d - f = -20*d. Does 4 divide d?
True
Let i = 170 + -22. Suppose 3*s = 5*f - 185, 0 = 4*f + 4*s - 2*s - i. Is f a multiple of 10?
False
Suppose -f - 5 = -1. Let d be (f/(-6))/((-28)/126). Is 21 a factor of 0 - (-26*4 + d)?
False
Suppose 14*s = 9*s + 2160. Suppose j + s = 9*j. Does 17 divide j?
False
Suppose -4*x = r - 412, -7*