v*a + 325. Does 17 divide a?
False
Let x(h) = 4*h**3 + 3*h**2 - 2*h - 7. Suppose 0 = -4*w + 6*w + 6. Let l(c) = 7*c**3 + 5*c**2 - 4*c - 13. Let b(a) = w*l(a) + 5*x(a). Is b(-3) a multiple of 8?
False
Suppose -4*u + 321 = u + 2*o, -4*o - 73 = -u. Let w = 18 + u. Is w a multiple of 21?
False
Let u(x) = x**2 + 4*x + 2. Let k = 46 + -51. Is 7 a factor of u(k)?
True
Let j(v) = -284*v - 66. Does 72 divide j(-4)?
False
Suppose 0 = -5*m - 0*m + 15. Suppose 0 = z - 5*o - 8, -o - 4*o = 3*z + 16. Is z/6 + 28/m even?
False
Let n be -2*2*1445/(-20). Suppose 2*d = -5*p + n, 0 = 5*p + 4*d + 34 - 327. Is p a multiple of 11?
False
Suppose 4*m + 0*m - 8 = 2*f, -f + m = 0. Suppose f*p - 5*p = -58. Is 9 a factor of p?
False
Suppose 41*x = 40*x - 73. Let l(b) = 16*b - 3. Let k be l(7). Let q = k + x. Is 9 a factor of q?
True
Suppose -3*i + 126 = j - 161, j - 192 = -2*i. Let z = i + 20. Does 21 divide z?
False
Let h(u) = -5*u**2 + 7*u - 16. Let w be h(4). Let r = 60 - w. Is 16 a factor of r?
True
Let i(c) = -13*c**3 - c**2 + 2*c + 2. Let d = -10 - -9. Does 3 divide i(d)?
True
Let t = 1047 - 781. Is 19 a factor of t?
True
Let o(a) = 37*a + 389. Is 73 a factor of o(25)?
True
Let z(f) = 2*f - 18. Let n be z(8). Is 7 a factor of 75/5 - (-2)/(n/1)?
True
Suppose 3*x - 5*d = 41, -8 - 8 = -4*x - 3*d. Suppose -4*v = -2*o + 110, 2*v = -x*o + 5*o + 80. Does 15 divide o?
True
Suppose -i - 4 - 1 = 0. Let c be i + 11 - (6 + -3). Suppose 6 = 2*o, c = h - 3*o - 7. Does 4 divide h?
False
Let t(r) = 2*r**2 - r. Let m be t(0). Suppose -4*f + 276 = -4*c, m = -4*f - 2*c + 154 + 98. Is 13 a factor of f?
True
Let x(q) = 491*q + 21. Does 129 divide x(10)?
False
Let s(d) = d + 2. Let z be s(1). Suppose -z*v = -7*v + 12. Suppose v*f + 45 = 4*f. Is 15 a factor of f?
True
Is 8 a factor of (-4)/54*-3 + 13640/99?
False
Suppose 4*p = 109 - 37. Let d(c) = -c + 22. Is d(p) a multiple of 2?
True
Let o = -164 + 394. Does 5 divide o?
True
Is 24/56 + 6*1299/42 a multiple of 7?
False
Let j = -7 - -11. Suppose 0 = -2*s - j*s + 480. Is ((-64)/s)/((-2)/95) a multiple of 19?
True
Let t be -6*(12/(-9) + (-2)/(-6)). Suppose a + t*a = 392. Does 14 divide a?
True
Suppose -5*j - 76 = -86. Is 8 a factor of ((-2)/3)/((-3)/135) + j?
True
Let n(m) = m**3 + 3*m - 4. Let h = 10 - 7. Does 8 divide n(h)?
True
Let q be 6/(-10) + (-2574)/(-65). Suppose -p = -0*y + 2*y - 141, -213 = -3*y - 2*p. Let u = y - q. Is u a multiple of 5?
True
Let p(l) = -l**2 - 34*l + 108. Is 3 a factor of p(-36)?
True
Suppose -163 = 9*c - 10*c. Suppose -4*a + c = -45. Suppose 41 = v + 5*j, -5*j = -3*v + v + a. Is v a multiple of 21?
False
Let b = -84 - -150. Does 9 divide 120/(-8)*b/(-15)?
False
Suppose 116 = y - a, y = -4*a - a + 104. Let i = y - 81. Is i a multiple of 4?
False
Let z = 23 + -19. Suppose -2*u = -u + 4, 5*w + z*u - 234 = 0. Does 12 divide w?
False
Suppose -4*t - 3196 = -2*p, 4*t - 3*t - 1 = 0. Does 50 divide p?
True
Suppose 0 = -0*k - k. Let d be 9 - (0 - (0 - k)). Suppose -195 = -d*v - 42. Is v a multiple of 17?
True
Let i(q) = q**3 + 11*q**2 - 18*q + 5. Suppose -5*u + 2*r + 44 = -9*u, -u - 16 = -2*r. Is i(u) a multiple of 50?
False
Let g(t) = t**3 + t**2 + 2*t + 2. Let a be g(0). Suppose 0 = -5*d - 3*v - 2*v + 770, -5*d = -a*v - 749. Does 39 divide d?
False
Let p(z) = -2*z - 4. Let a be p(-4). Suppose 4*y - 132 = -a*j, 2*y - 133 - 29 = -5*j. Is 17 a factor of j?
False
Suppose -n - 3 = w, -4 = -3*w - w. Let z = n + 6. Suppose 2*m = 2*x - 54, -4*x - z*m + 31 = -47. Is 18 a factor of x?
False
Let f(v) be the first derivative of -13/2*v**2 + 9*v + 2/3*v**3 + 3. Does 27 divide f(9)?
True
Let q(m) be the third derivative of 6*m**2 + 1/6*m**3 + 1/24*m**4 + 0*m + 0. Is 3 a factor of q(10)?
False
Let a = 3651 + -1891. Is a a multiple of 5?
True
Let o(l) = 40 - 3*l + 43 - 93 - 3*l**2 + 5*l**3. Is o(4) a multiple of 10?
True
Let r(d) = 18 - 3*d + 4*d + 4*d. Does 8 divide r(4)?
False
Let p = 8 - 3. Suppose 2*a = p*a - 966. Let h = a + -190. Is h a multiple of 27?
False
Is 3 + 1 + 6 - -636 a multiple of 11?
False
Let f be (-2)/(-4) - (-475)/10. Suppose s + 3*s = 2*p - f, -5*p + 5*s = -145. Does 4 divide p?
False
Let z = 31 + -23. Is 25 a factor of (z - 10)/(4/(-50))?
True
Suppose 4*q = -4*w + 756, 995 = 5*w - 7*q + 2*q. Is 15 a factor of w?
False
Let q = -411 - -437. Does 6 divide q?
False
Suppose 2*k = 9 + 1. Suppose g + 156 = k*g. Does 5 divide g?
False
Suppose 0 = -4*l - 3*x + 22, -5*x + 4 = -l - 2. Let v(s) = 10*s + 3. Let j be v(3). Suppose 67 + j = l*g. Does 25 divide g?
True
Let o(b) = b + 7*b**2 + 5 + b**3 + b**3 + 1 - b**3. Let x be o(-7). Let f = x - -43. Is 11 a factor of f?
False
Let i(n) = 51*n**2 - 1. Suppose -3*a = -3*h + 11 - 2, 0 = -5*a - 4*h + 21. Let c be -1 - (a - (1 + 2)). Does 19 divide i(c)?
False
Let g = 22 - 20. Suppose -9 = g*i - 141. Does 11 divide i?
True
Suppose 4*y + 2 = -2*w, 2*y + 14 - 3 = -3*w. Suppose -5*h - y = -q + 4, -2*h + 6 = 0. Is q a multiple of 9?
False
Suppose -86*q + 89*q = 72. Does 3 divide q?
True
Let l = 34 + -29. Suppose -l*k + 104 = -7*k. Is 594/14 - k/91 a multiple of 11?
False
Let g(a) be the first derivative of a**2/2 - 5*a - 6. Let k be g(8). Suppose n - 254 = -3*q + 2*n, -2*n = -k*q + 256. Is 33 a factor of q?
False
Let u be (-1 - -17) + 0 + 2. Suppose -k = -120 - 148. Suppose -5*o = -k + u. Does 11 divide o?
False
Suppose 3*l + 2*j + 10 = 3*j, 14 = -2*l - 3*j. Is 25 a factor of l/8 + (-865)/(-10)?
False
Let x = 69 + -65. Suppose 283 = 5*l - x*w, -w - 116 = -2*l + 2*w. Is l a multiple of 11?
True
Suppose -517 = -3*x - 142. Suppose -4*o = -9*o + x. Is o even?
False
Let b be -2*(-1)/(-2) + 15. Suppose 5*w = 7*w - 56. Let p = w - b. Does 7 divide p?
True
Let a(h) be the third derivative of -5*h**6/24 - h**5/15 - 5*h**4/24 - 2*h**3/3 + 34*h**2. Does 10 divide a(-2)?
True
Let t(r) = r - 1. Let h be 5/(5/4) + -1. Let a be t(h). Suppose w - 2*n = -0*n + 50, 38 = w + a*n. Is w a multiple of 12?
False
Is (-6 - (-11)/2)/((-1)/120) a multiple of 5?
True
Let q(z) = z**3 + 47*z**2 + 100*z - 154. Is 21 a factor of q(-43)?
False
Let t(o) = -12*o - 7*o - 7*o - 6 + 5*o. Does 10 divide t(-6)?
True
Let l(h) = 2*h + 268. Let f = -15 + 15. Let z be l(f). Suppose 5*v - z - 17 = 0. Is v a multiple of 24?
False
Let b = 191 + -176. Suppose 0 = -4*s + n - 17, -2*n + 0*n + 25 = -5*s. Let l = b + s. Does 4 divide l?
True
Let o(x) = -10*x + 6*x + 6 - 34*x. Is 4 a factor of o(-1)?
True
Let y(v) = 11*v + 96. Let d be y(-9). Suppose -4*u + 5*x + 204 = -2*u, 5*u + 2*x - 481 = 0. Does 32 divide d + (-2)/(-1) + u?
True
Suppose 5*a + 938 = 2693. Is 14 a factor of a?
False
Let f = -666 - -862. Is 78 a factor of f?
False
Let g = -416 + 614. Is g a multiple of 17?
False
Suppose 0 = 4*u - 2*m + 8, -3*u - 17 = -3*m - 5. Let o(c) be the first derivative of c**3/3 + c**2 + 17*c - 91. Does 17 divide o(u)?
True
Let f be (-2 - 2)/(0 - 2). Is 294/2 + -1 + f a multiple of 11?
False
Suppose 5*q - 442 - 547 = -h, -4*q + 3*h + 776 = 0. Does 9 divide q?
False
Let u(i) be the second derivative of -1/12*i**4 + 0 + 0*i**3 + 69/20*i**5 - 9*i + 0*i**2. Is u(1) a multiple of 22?
False
Let x = 19 + -16. Suppose -x*i - 20 = -8*i. Suppose -5*n = -p - 183, -6*p = -i*n - 2*p + 156. Does 18 divide n?
True
Let v(s) = -s**2 + s - 5. Let y(t) = t**2 - t + 6. Let n(r) = -6*v(r) - 5*y(r). Does 21 divide n(-6)?
True
Let m be 6/3 - 99 - -2. Let q = m - -208. Let h = q + -81. Is 21 a factor of h?
False
Let y(p) = p**3 - 3*p**2 + 6*p + 6. Let n be y(6). Let t = -60 + n. Does 18 divide t?
True
Let r(u) = -u**2 + 13*u. Let q be r(13). Suppose h + q*h = -k + 57, -5*k - 3*h = -295. Is k a multiple of 18?
False
Suppose -48 - 78 = -14*h. Suppose -h*c = -c - 2176. Is c a multiple of 34?
True
Let d(z) = -25*z + 3. Let w(r) = -38*r + 5. Let k(c) = -8*d(c) + 5*w(c). Does 5 divide k(1)?
False
Let w = 30 - 45. Let s = w - -21. Suppose -5*q + 3*q = -s, q = -2*c + 43. Is 10 a factor of c?
True
Let x(c) = 28*c**2 + 4*c - 3. Let f be x(2). Let h = f - 62. Does 12 divide h?
False
Let n(y) = 15*y - 35. Let i be (10 - 1)*19/19. Is n(i) a multiple of 20?
True
Suppose -173 = -3*t - 53. Suppose 0 = m + 4*z - 4, -3*z + 2 = -1. Suppose m = -5*n + 2*a + t, -3*a + 37 = 2*n - 8*a. Does 6 divide n?
True
Let v be 7/2*4/(-7). Let d = 31 - v. Let n = -6 + d. Is 26 a factor of n?
Fals