 a factor of l?
False
Let f(j) = 14*j - 14. Is 14 a factor of f(5)?
True
Let x = 35 - 27. Does 4 divide x?
True
Suppose -3*d = 2*n - 6*n - 593, -5 = d. Does 15 divide (-12)/30 - n/5?
True
Let o = -3 - -12. Let f(x) = -x**3 + 10*x**2 - 7*x - 10. Let v be f(o). Suppose -6*w - 60 = -v*w. Is w a multiple of 11?
False
Suppose 6*o - 210 = o. Let b = 64 - o. Is 8 a factor of b?
False
Suppose r - 4*n + 69 = 20, -r = n + 59. Does 8 divide 2 + 2/((-6)/r)?
False
Let v = 31 - 21. Let l = v - -4. Let h = 20 - l. Is 6 a factor of h?
True
Let a(t) = 210*t + 1. Let m be a(1). Suppose 4*c + 2*u = -u + m, 0 = -c - 3*u + 64. Is 21 a factor of c?
False
Let j be (1 + -2 - -1) + -5. Let z = 7 + j. Suppose z*x - 4 = -0. Is x even?
True
Suppose -x + 3*o = -12, -o - 15 = -2*x - 2*x. Suppose -3*t + 3 = -2*m, -5*t + 0*m = x*m - 24. Is 3 a factor of t?
True
Suppose 0 = 2*a - 6*a + 128. Does 12 divide a?
False
Suppose -2*d = -3*r + 7, 2*d = 3*r - d - 12. Does 19 divide r/6 + (-575)/(-30)?
True
Let v(r) = r**3 - 9*r + 2. Let p be v(6). Suppose w - 43 = -0*y + y, -2*y = -4*w + p. Suppose 0 = 4*z + g + 16 - 49, -2*z - 5*g + w = 0. Is z a multiple of 3?
False
Let c be (-4 - -3)*9*-1. Suppose -3*l - 5 = 4*x + c, -3*x - 5 = 5*l. Does 2 divide 4 - (0/l + 2)?
True
Let m = -10 - -14. Suppose 4 = 4*h, m*u + 2*h = -0*u + 42. Is u a multiple of 4?
False
Suppose 2*r + 5*y = 97, -r + y + 21 = -2*y. Is r a multiple of 10?
False
Suppose 0 = -2*q + 6 - 4. Does 19 divide q/(0 + -1)*-38?
True
Suppose -18 = l + 3*o, 0 = 5*l - 0*l + 5*o + 60. Let a(n) = -8*n - 25. Let d(j) = 2*j + 6. Let z(f) = l*d(f) - 2*a(f). Does 3 divide z(-6)?
False
Let m(s) be the first derivative of -s**3/3 + 4*s**2 - 7*s - 2. Is 3 a factor of m(5)?
False
Let r(p) = -p**3 - 9*p**2 - 2*p + 13. Let d(n) = n. Let t(j) = 3*d(j) + r(j). Let y be t(-9). Let s(k) = k**3 - 5*k**2 + 5*k - 1. Is s(y) even?
False
Let g(w) = 3*w**3 + 7*w**2 - 24*w + 12. Let p(k) = -8*k + k**3 + 0 + 0*k**2 + 4 + 2*k**2. Let v(m) = 3*g(m) - 8*p(m). Is v(-6) a multiple of 8?
True
Suppose -5*b - x = -676, -3*b - 2*x = -7*x - 428. Is b a multiple of 34?
True
Suppose 0 = 11*u + 15*u - 8502. Does 27 divide u?
False
Suppose 0*n = 2*n - 50. Does 5 divide n?
True
Suppose -824 = -4*f + 276. Let h = -194 + f. Is 13 a factor of h?
False
Let b(q) = -q**2 - 6*q - 3. Let u be b(-9). Let w = u - -50. Is 8 a factor of w?
False
Let f(h) = h**3 + 8*h**2 + 3*h. Let m be f(-8). Let t = 37 + m. Does 13 divide t?
True
Suppose 19 + 98 = i. Is i a multiple of 21?
False
Is (-1)/1 + 2 + 19 a multiple of 4?
True
Does 17 divide 2 - (-2 - -1 - 33)?
False
Let v(p) = -3*p**3 + 3*p**2 + p + 2. Let a be v(3). Let y = a + 76. Suppose 0 = 2*f - 29 - y. Does 14 divide f?
True
Let w(l) = l**3 + 7*l**2 + 6*l + 3. Is w(-5) a multiple of 6?
False
Suppose 3*i + 15 = 3*l, -5*l - 4*i + 1 = -2*l. Suppose -3 = 2*y - l*y. Suppose -98 = -3*s + 5*m - 5, -2*m = y*s - 72. Is 9 a factor of s?
False
Let y = 99 + -68. Let u = y - 6. Is u a multiple of 25?
True
Suppose -2*b + 2*d - 3 = d, -b + 6 = d. Let v be 11/b*(-1 + -1). Let u = -12 - v. Is 7 a factor of u?
False
Let h be 3/((5/(-4))/5). Is 17 a factor of (h/(-3))/(4/34)?
True
Suppose -6*m - 1080 = -18*m. Is 30 a factor of m?
True
Suppose 104 = 2*m - 2. Suppose -5*a + 3*w + 113 = 0, 5*w - m - 17 = -2*a. Is a a multiple of 25?
True
Let n be -3*((-3)/(-9) + -2). Suppose -3*i - 3*z = 13 - 58, n*i + 4*z - 80 = 0. Suppose 0 = -7*l + 2*l + i. Is 4 a factor of l?
True
Let q(y) be the third derivative of y**2 + 0*y - 1/120*y**6 + 1/4*y**4 + 1/15*y**5 + 0 + 1/6*y**3. Is 6 a factor of q(5)?
True
Suppose 3*n - 2*n = -4*v + 590, v = -n + 149. Suppose -v = -6*p + 3*p. Is p a multiple of 20?
False
Let j = 18 + -27. Let c(t) = t**3 + 10*t**2 + 8*t - 9. Let i be c(j). Suppose i*z = 2*z - 30. Does 5 divide z?
True
Let r(n) = 2*n**2 + 3*n - 3. Let w = 2 + -6. Is r(w) a multiple of 7?
False
Is 2 a factor of (-80)/(-6) + (-35)/(-21)?
False
Let w(k) = k + 3. Let z be w(3). Let m be (21/z*4)/(-1). Let l = 27 + m. Is 9 a factor of l?
False
Suppose u + 0*u + 3*o + 27 = 0, -5*o = -3*u - 81. Let k = 13 - u. Does 20 divide k?
True
Let c(f) = -4*f - 2. Let x be c(3). Suppose 2*b - 52 = -4*n, 0 = 2*b + 2*b - 5*n - 143. Let i = x + b. Is 9 a factor of i?
True
Let y(g) = 4*g - 4*g - 3 - 4*g**2 - g**3. Let s be y(-5). Suppose s = 5*h - 23. Is h a multiple of 6?
False
Suppose 107*a = 105*a + 152. Is a a multiple of 38?
True
Let i = -6 - -10. Does 19 divide 69 + 2/(i/6)?
False
Suppose 0 = -5*m - 92 - 108. Let j be (-2)/1 - (m - -3). Suppose -2*q - 3*q + j = 0. Is 7 a factor of q?
True
Let x(p) = -24*p. Let d(b) = -2*b**2 + 4*b - 2. Let t be d(2). Is x(t) a multiple of 24?
True
Let p be 6/(-21) - (-12)/(-7). Let a(k) = -k**3 - k**2 + 4*k + 3. Let r be a(p). Let s(l) = -10*l**3 + l**2 + 2*l + 1. Is 8 a factor of s(r)?
False
Let z(o) = -o**3 - 3*o**2 - 4*o - 3. Let l be z(-4). Let f = l - 9. Does 11 divide f?
False
Let g(i) = 6*i - 61. Let y(r) = -r + 12. Let w(t) = 2*g(t) + 11*y(t). Suppose 3*v + 25 = -2*v. Is w(v) a multiple of 5?
True
Let w(z) = 68*z**2 - z + 1. Let s be w(1). Suppose 4*k + s = 4*o, -o + 20 = -0*o + 2*k. Is 18 a factor of o?
True
Does 2 divide (-23)/(-5) + 44/110?
False
Let i(z) = z**3 - 9*z**2 + 12*z - 10. Is i(8) a multiple of 9?
False
Let t(i) = 1. Let o(v) = 5*v - 4. Let l(y) = 2*y - 2. Let b(z) = 5*l(z) - 3*o(z). Let s(x) = -b(x) + 3*t(x). Does 9 divide s(3)?
False
Suppose 0 = z - 4*z + 12. Let r = -4 + z. Suppose -3*k = -r*k - 144. Is 16 a factor of k?
True
Suppose 0 = -6*w + 8 + 94. Does 17 divide w?
True
Is (1/(-2) - -2)*14 a multiple of 4?
False
Suppose 31 = 3*q + 172. Let u = -30 - q. Is 14 a factor of u?
False
Let p = -13 - -16. Is 8 a factor of ((-1)/p)/(9/(-1053))?
False
Is 4 a factor of -3*10/(-105)*161?
False
Let l(v) = 12*v - 5. Let i be l(-5). Is 3 a factor of 4/(-26) - 400/i?
True
Let d(a) = -a**3 + a + 2. Let i be d(0). Is (-1 + i)/((-13)/(-364)) a multiple of 20?
False
Let o be (-2)/(-3)*-3 + 6. Suppose -a + 6*a = 25, o*a = -5*k + 130. Is k a multiple of 11?
True
Suppose 5*a - 6*a = -63. Does 37 divide a?
False
Let m = -5 + 14. Suppose 6*x = m*x - 45. Is 4 a factor of x?
False
Let p be 3/(-5) - (-656)/10. Let g be (1 - p*1) + -2. Is 5 a factor of (-2)/(-5) + g/(-10)?
False
Let u(k) = -4*k**3 - 2*k**2 + 4*k - 1. Let r be u(-3). Let n = -31 + r. Is 12 a factor of n?
False
Suppose 9*i = 11*i - 16. Is 4 a factor of i?
True
Let u(l) be the third derivative of -l**4/6 + 3*l**3/2 - 2*l**2. Let o be u(-7). Is 0 - o*(-2 + 1) a multiple of 16?
False
Suppose 8*w - 620 = -236. Is w a multiple of 18?
False
Let b = -175 - -385. Is b a multiple of 7?
True
Suppose -4*f - z - 379 = -31, -3*z + 12 = 0. Does 21 divide (-5 - f) + -1 + 1?
False
Suppose -2*b - 2*b + 12 = 0. Suppose -n - b*a = -5*n - 55, -a = 3*n + 51. Let x = n - -31. Is x a multiple of 10?
False
Suppose -4*r + 2*w - 18 = 0, 3*r + w - 9 = -2*w. Let m be 36/2 - (-1 - r). Let v = 40 - m. Does 8 divide v?
False
Suppose -3*j + 27 = 5*h, h = -4*j - 0*j + 19. Suppose 44 = 4*m - 4*c, 0 = -j*m - c + 12 + 27. Is 10 a factor of m?
True
Let x(q) = 2*q**2 - 4*q. Does 8 divide x(-2)?
True
Let r(j) = -4*j**3 - 2*j**2 + 2*j - 8. Suppose -5*s = 3 + 2. Let k(p) = p**3 - p + 1. Let g(v) = s*r(v) - 5*k(v). Is g(-2) a multiple of 7?
False
Let f(d) = -d**3 + 9*d**2 - 7*d + 8. Is 19 a factor of f(7)?
True
Is 57 - -2 - -4 - -1 a multiple of 27?
False
Let x(i) = i**3 + 5*i**2 - 6*i + 2. Let t be x(-5). Let q = 56 - t. Suppose -q = -k - k. Is 12 a factor of k?
True
Let l = 195 - 183. Does 5 divide l?
False
Suppose 6 = 2*b, 5*b + 800 = 6*y - y. Suppose 0 = -g + 2*g + 3*z - 28, 4*g = 5*z + y. Is 14 a factor of g?
False
Let l = -2 - -4. Let o be (8/6)/(l/(-9)). Is o/(0/(-2) - 1) a multiple of 3?
True
Let s(o) = 2*o**2 + 2*o - 2. Let r be s(-2). Suppose r*l - 4 = 22. Is 13 a factor of l?
True
Let x = 8 + 107. Does 32 divide x?
False
Let y = -7 - -9. Suppose y*n - 3 = 3*w - 0, 0 = 4*w + 2*n + 4. Does 10 divide (-9 - w)/(6/(-15))?
True
Suppose -2*n - 5 + 15 = 5*s, -n = -s + 2. Suppose s*f + 72 = 5*f. Does 8 divide f?
True
Is 37 a factor of 37*(-4 - -3 - -2)?
True
Suppose 92 = w - 4*u, 4*w - 5*w + 3*u + 91 = 0. Is 11 a factor of w?
True
Suppose 4*z - 23 = 157. Does 2 divide z/105 - 18/(-7)?
False
Suppose 0*c + 90 = o + 5*c, -2