5*c**2 + c - 1. Let u be h(5). Suppose -s = -64 + u. Does 16 divide s?
False
Let p = -149 - -226. Is 11 a factor of p?
True
Suppose -241 - 35 = -4*d. Is d a multiple of 18?
False
Suppose r = 5*r - 64. Let t = -4 + r. Is t a multiple of 11?
False
Let a(c) = 14*c**3 - c**2 - c + 1. Let f be a(1). Let r = f + -8. Is r a multiple of 5?
True
Suppose 0*j + 4*j = -48. Let b = 18 + j. Is 3 a factor of b?
True
Let x = -18 + 202. Does 23 divide x?
True
Let n(m) = -4*m**3 - m**2 + m - 2. Let p(d) = -d**3 + 4*d**2 - d + 2. Suppose 4*v + 0*i = -3*i + 1, 4*v - 3*i - 31 = 0. Let b be p(v). Is 12 a factor of n(b)?
True
Suppose 8 = -4*o + 24. Suppose 53 = o*i + 5*d, d - 5*d + 27 = i. Is i a multiple of 6?
False
Suppose -t + 5 = -0. Let i(z) = 7*z**2 - 2*z - 47. Let a(c) = -10*c**2 + 3*c + 71. Let d(f) = t*a(f) + 7*i(f). Is d(0) a multiple of 13?
True
Is 16 a factor of (4 - -243) + 5 + -3?
False
Suppose -5*y - 129 = 3*i, i = 2*y - 0*y + 45. Suppose -14 - 302 = 4*v. Let j = y - v. Is 19 a factor of j?
False
Is 4 a factor of (-57)/(-12)*9/((-36)/(-16))?
False
Let j(w) = -w + 0*w + 0*w + 15 - 10. Let i be j(5). Suppose 2*g - 4*q - 52 = i, -2*g - 2*g + 86 = -2*q. Is 10 a factor of g?
True
Let d = 9 + -4. Suppose 5*k + 175 = d*r, 0*k - 3*k = -5*r + 171. Does 11 divide r?
True
Suppose -75 = -2*q + p, -2*q - 5*p + 47 = -10. Is 13 a factor of q?
False
Let d = 157 - 103. Does 18 divide d?
True
Let r(t) = -t**3 - 4*t**2 + 2*t. Is 3 a factor of r(-5)?
True
Let p(w) = -2*w**3 - 2*w**2 + w - 1. Is 3 a factor of p(-2)?
False
Suppose n - 4*y + 1 = -6, -4*y + 25 = n. Let i = 0 - n. Let p(g) = -g**2 - 12*g - 13. Is p(i) a multiple of 6?
False
Let n be (-2)/(-8) - (-435)/20. Let u = 38 - n. Is 16 a factor of u?
True
Let q = -113 + 154. Is q a multiple of 18?
False
Suppose 0*i = -3*i + 177. Suppose j + 21 = -3*m - 47, -m + 3*j = 6. Let x = m + i. Is 22 a factor of x?
False
Let b be (-1)/(-2*(-2)/(-8)). Suppose -b*p = 2*z - 62, -p + 4*p - 4*z - 65 = 0. Is p a multiple of 9?
True
Suppose -505 + 181 = -3*r. Is 27 a factor of r?
True
Suppose -18 = 3*t - 3*q - 276, -q = -5*t + 410. Is 6 a factor of t?
False
Let l(h) be the first derivative of 11*h**3/3 - h + 4. Let x be (-2)/(-1)*1/2. Is l(x) a multiple of 6?
False
Suppose 19 + 2 = t. Is t a multiple of 21?
True
Let o be -87 - 1 - (-5 - -2). Let l = o + 125. Suppose 4*d = -z + 35, z - 2*d - l = -z. Is z a multiple of 22?
False
Suppose 3*w + 3 = -s, -5*s + 2*w + 18 = -3*s. Does 2 divide s?
True
Suppose 262 + 1814 = -4*s. Does 7 divide 4/(-18) + s/(-27)?
False
Suppose 6*w + 399 = 3*k + 3*w, -5*k - 5*w = -635. Is ((-3)/(-2))/(39/k) a multiple of 5?
True
Suppose -5*m + 34 = 4*l, -6*l + 3*m = -l - 24. Suppose 2*p - 26 = -l. Is 10 a factor of p?
True
Let t = 15 - 5. Suppose -5*y + 10 = 5*m - t, m + 8 = 3*y. Suppose -5*w + 2*l + 62 = 0, -y*w - 4*l - 14 = -72. Does 5 divide w?
False
Let f(y) = y**3 + 9*y - 1 - 9*y - y**2. Let l be f(2). Is l/1*(5 + -2) a multiple of 9?
True
Let g(s) = s**3 + 9*s**2 + 5*s - 3. Let q be g(-6). Let b = q - 47. Does 10 divide b?
False
Suppose 4*r + 2*g + 0*g - 204 = 0, 3*r = -2*g + 153. Is 11 a factor of r?
False
Let n = -10 + 13. Suppose -n*c - 292 + 103 = -3*f, 4*c + 191 = 3*f. Is f a multiple of 16?
False
Suppose -3*p + 4 = 2*x, 5*x - 2 = -4*p + 1. Let w be ((-2)/(-4))/(p/4). Does 12 divide 115/5 + 0 + w?
True
Let p(j) = j**3 + 11*j**2 - 5*j - 10. Let m(h) = -h**3 + 7*h**2 - 3*h + 10. Let z be m(7). Does 15 divide p(z)?
True
Is 31 a factor of 3 + (1/4 - (-5313)/44)?
True
Let d = 13 - 14. Let m(h) = -23*h + 2. Does 6 divide m(d)?
False
Let b be (-1 - -2) + (-4 - -23). Suppose 76 = 3*f - 5*m, -7*m + 3*m - b = 0. Is f a multiple of 4?
False
Suppose s - 4*g + 2*g - 70 = 0, 2*g - 58 = -s. Let j = s - 43. Is j a multiple of 10?
False
Let w = 32 + 0. Does 5 divide w?
False
Let u = -60 - -100. Suppose -n - v + 50 = 0, -4*n + 5*n - u = -3*v. Does 18 divide n?
False
Suppose -3*d = -5*j - 149, -d + 0*j + 55 = j. Suppose -z + 47 = p, 3*p + 2*z = d + 90. Is p a multiple of 14?
False
Suppose 0 = -3*c - 2*c + 2*v + 6, -5*c + v + 3 = 0. Does 6 divide 9 + c + 9/3?
True
Let q(d) = d**2 - 4*d - 8. Does 6 divide q(7)?
False
Let w(p) = 21*p - 1. Let r be w(1). Let h(s) = -3*s. Let d be h(-3). Let m = r - d. Is m a multiple of 11?
True
Is (-2)/(266/67 + -4) a multiple of 12?
False
Suppose 0 = 10*v + 117 - 457. Is 5 a factor of v?
False
Let t(a) = -3*a**3 - 3*a**2 - 4*a - 4. Is 31 a factor of t(-3)?
True
Let m(j) = -3*j + 6. Is 5 a factor of m(-6)?
False
Let m(t) = 17*t - 3. Is m(1) a multiple of 12?
False
Let y be (11/(-2))/(2/(-4)). Let j = y - 6. Suppose -3*d - 3*x = -15, -4*d - j = -5*d + 4*x. Is d a multiple of 2?
False
Suppose 0 = -4*k + 2*k - 4. Let f be -11*1 - (-4)/k. Let m = 2 - f. Is 9 a factor of m?
False
Suppose -8 = -f + 3. Let v = f + -4. Does 2 divide v?
False
Suppose -4 = -2*x + 70. Is 10 a factor of x?
False
Let g(r) = -7*r**3 + r**2 - 3*r - 4. Does 29 divide g(-3)?
True
Let o be ((-8)/14)/(2/(-7)). Suppose -2*t - m = -4*m - 55, 2*m + 50 = o*t. Is 10 a factor of t?
True
Let r = 195 - 131. Let b(l) = -l**2 - 18*l + 6. Let o be b(-17). Let n = r - o. Is n a multiple of 16?
False
Suppose m = 3*m - 4*h - 4, 0 = 3*h + 15. Let f = m + 3. Is 64/10 + 2/f even?
True
Let r(j) = 2*j**2 - 2*j + 3. Let c be r(3). Suppose 0 = 3*s - c - 0. Is 2 a factor of s?
False
Let t(a) = -29*a + 1. Let o be t(1). Let z be (o/(-35))/(2/10). Suppose z*r = 2*n + r - 9, 0 = -5*r + 5. Is 3 a factor of n?
True
Suppose -3*d = -0 + 12. Does 16 divide d/5*(-2 - 18)?
True
Suppose 2 + 11 = 4*s - 5*f, 0 = f + 5. Let t be (-16)/s + (-3)/9. Is 1/(((-5)/(-6))/t) a multiple of 6?
True
Suppose -4*d + 502 = -2*g, 3*d - 2*g - 374 = 2*g. Let r = 16 - 11. Suppose -d = -r*j - 1. Is 19 a factor of j?
False
Let l(b) = -b**2 + 3*b + 4. Let d be l(5). Is 27/(-18)*76/d a multiple of 11?
False
Let k = 79 + -36. Is k a multiple of 2?
False
Let l(f) = 5*f**2 - 2*f. Suppose k = -5*v - 0*v + 12, 5*v = k + 8. Does 16 divide l(k)?
True
Suppose -3*h = -4*l + 167, -h = 4*l + 6 - 185. Is l a multiple of 11?
True
Suppose 25*z - 704 = 17*z. Does 11 divide z?
True
Let x be 4/8 + 93/6. Suppose -3*i + x = i. Suppose 2*d - i*t - 8 = 0, -3*t + 2*t = 0. Does 2 divide d?
True
Let m(y) = -2*y - 9. Let i(o) = -o**3 - 8*o**2 - o + 10. Let r be i(-8). Let x = -26 + r. Is 3 a factor of m(x)?
False
Let g = -24 - -41. Is g a multiple of 17?
True
Suppose -3*j + 334 = -0*j + 5*t, -j - 4*t + 102 = 0. Is 24 a factor of j?
False
Let t(n) = 7*n**3 - n**2 - 2*n + 1. Does 4 divide t(2)?
False
Let a = 54 - 101. Does 14 divide (1*-2)/(2/a)?
False
Let l = 151 - 214. Let a = l - -34. Let z = a - -44. Is 5 a factor of z?
True
Suppose 0*s + 4*s - 52 = 0. Let h = s - -24. Is h a multiple of 27?
False
Let y be 3 + (-11 - 1) + 3. Let j be (0 - y/(-2)) + 51. Suppose 5*h - 2*p = 72 + 11, 3*p - j = -4*h. Does 6 divide h?
False
Let r(y) be the third derivative of y**5/15 - y**4/24 - 6*y**2. Is 4 a factor of r(-2)?
False
Let w be ((-28)/20)/((-2)/10). Let i(l) = -l**3 + 7*l**2 - 8*l + 10. Let v be i(w). Does 21 divide 0 - (v + (-2)/(-1))?
False
Suppose 3*m - 5*m + 4 = 0. Suppose -5*k + 12 = -m*k. Suppose k*j - 5*j + 15 = 0. Is j a multiple of 6?
False
Does 48 divide 136 + ((-2)/2 - -3)?
False
Let z(q) = q**2 - 5*q - 6. Let y be z(6). Suppose y = 2*s, -2*g + 3*g = 3*s + 45. Is g a multiple of 27?
False
Let v(i) be the first derivative of -i**3/3 - 15*i**2/2 - 2*i - 2. Does 19 divide v(-7)?
False
Suppose 0 = -3*t + 2*t - 7. Let r(c) = c**3 + 7*c**2 - 6*c + 6. Is 24 a factor of r(t)?
True
Does 11 divide 3 + 1 - 4 - 3*-7?
False
Let f(b) = 28*b**3 - b. Does 4 divide f(1)?
False
Suppose -q - 4*v = -90, 132 = 2*q + 3*v - 7*v. Suppose -239 = -5*g + r, 2*r + 158 = 5*g - 80. Let i = q - g. Is i a multiple of 13?
True
Let n(d) = 8*d**3 + d**2 - d - 2. Let c be n(2). Suppose -3*r + 2*r + c = 0. Does 20 divide r?
False
Is (-18)/(-7)*(-3 - (-7 + -3)) a multiple of 9?
True
Let q(j) = -79*j - 4. Is q(-1) a multiple of 9?
False
Let p(r) = -r**2 - r - 1. Let a(s) = -3*s**2 + 2*s + 2. Let o(g) = -a(g) + 2*p(g). Let v = -9 + 15. Is 3 a factor of o(v)?
False
Let r(a) = a**3 + 8*a**2 - a + 5. Let t(q) = 4*q + 4. Let g(j) = -2*j + 5. Let u be g(4). Let x be t(u). Is r(x) a multiple of 4?
False
Let b(g) = -12*g. Let f(r) = 36*r - 1. 