/(-5) - (-20 - 0) a multiple of 7?
False
Suppose 4*l = -2*l + 258. Is 24 a factor of l?
False
Suppose 0 = -6*y + 193 - 73. Is 20 a factor of y?
True
Let x be (-277)/(1 - 0) - 2. Let m = -95 - x. Does 10 divide m/6 + 12/(-18)?
True
Suppose -45 = -2*i - 5. Is 2 a factor of i?
True
Suppose 164 = -3*b + 7*b. Let k = b + -25. Suppose -2*l + k = 2*l. Does 4 divide l?
True
Let y = -4 + 3. Let a = y + -1. Let g(r) = 7*r**2 - r + 2. Is g(a) a multiple of 16?
True
Let z(w) = -w**3 - w**2 + w + 1. Let i = 1 + -2. Let d be z(i). Suppose 20 = -d*a + 2*a. Is 7 a factor of a?
False
Let m(d) = -d**2 + 7*d. Suppose 0 = 3*x + f + 17, 3*f + 1 = -5*x - 30. Let q = 8 + x. Does 11 divide m(q)?
False
Let w(t) = 2*t**3 - t**2 - 4*t + 7. Let s be w(3). Does 11 divide 2/2*(1 + s)?
False
Does 3 divide (3/9)/(5/225)?
True
Does 17 divide 2*((-1252)/(-36) - (-4)/18)?
False
Suppose 4*r - 13 + 5 = 0. Suppose -4*a = -r*a + 3*s + 122, -3*s + 70 = -a. Let c = -28 - a. Is 12 a factor of c?
True
Let a be (5 - 7) + 6 + -1. Does 15 divide (-14 + -5 + a)*-2?
False
Is 34 a factor of (-171)/(-5) - 9/45?
True
Suppose 18 = 2*v + v. Suppose 0 = -v*j + 4*j - 2. Does 10 divide (4*j)/(4/(-10))?
True
Suppose z + 3 = 10. Let w = 30 + -17. Let l = z + w. Is l a multiple of 7?
False
Let t be (-1)/(-5) + (-49)/(-5). Let r be (3 - 6/t)*-10. Is 12 a factor of -1*2*r/2?
True
Let g(t) = -t**2 + 8*t - 3. Let j be g(7). Is 5 a factor of j/18 - 399/(-27)?
True
Suppose -93 = 4*u + 3. Does 9 divide (-174)/(-10) - u/40?
True
Let u = 53 + -14. Is 25 a factor of u?
False
Let s(f) = 4*f + 3. Is 16 a factor of s(8)?
False
Suppose 0 = -6*b + 13 + 59. Does 4 divide b?
True
Suppose -w = -0*w + 4*o - 7, -1 = -3*w - 2*o. Let m(b) = -b**2 - 3*b - 1. Let n be m(w). Let f = 5 - n. Does 3 divide f?
False
Let x(n) = n + 1. Let t be x(2). Suppose -t*f - 2*p + 136 = 0, -2*f + 4*p + 112 = -0*f. Suppose 0*m - 3*d = 5*m - 82, -4*m + 2*d + f = 0. Does 14 divide m?
True
Does 14 divide (-147)/(-2) - (-4)/(-8) - 3?
True
Suppose -5*c = 2 + 13. Let m be (-1)/c - (-2)/(-6). Suppose 0 = -m*b - 3*b + 57. Does 19 divide b?
True
Let y(d) = -3*d**3 - 3*d**2 - 2*d. Let g be y(-2). Let o be (-1 - 2 - g) + 1. Let f = o - -55. Is 19 a factor of f?
False
Let z(f) = -9*f + 6. Let n(g) = -45*g + 31. Let a(k) = 2*n(k) - 11*z(k). Let d be a(3). Suppose -2*r = -d - 17. Is 14 a factor of r?
False
Let x = -10 - -16. Let h(l) = -3*l + 4*l - 11*l - l**2 - x + 1. Is h(-7) a multiple of 16?
True
Let c(y) = y**2 + 2*y - 4. Let z be c(-4). Suppose 4*l + 2*p = 8, 2 = 2*l + 4*p + z. Let r = l - 1. Is 2 a factor of r?
True
Let n(s) = -3*s + 4. Suppose 5*r = -4*k - 0*r - 44, -r = -4*k - 20. Is 11 a factor of n(k)?
True
Let o = 4 - 2. Let s be 2/(-4*4/8). Is 20 - (-1 - s) - o a multiple of 18?
True
Suppose -5*n - 150 = 135. Let v = 84 + n. Is v a multiple of 22?
False
Suppose 5*p = 5*y + 290, 5*p - 296 = 4*y - y. Let k = -33 + p. Is 14 a factor of k?
True
Suppose 2*u + 12 = 4*v, -v - v + 10 = u. Let k(b) = -b**3 + 5*b**2 + 9*b - 5. Let s be k(6). Suppose s = v*a - 27. Does 10 divide a?
True
Let z = 66 + 10. Is z a multiple of 19?
True
Let a be -2 - ((-9)/3 - 6). Suppose -4*v + 6 = 3*r - a, 18 = 4*v - 2*r. Is 3 a factor of v?
False
Let a = -387 + 542. Suppose 2*d - 10 = -2*v, 2*d - 2*v - 10 = v. Suppose -3*n + a = d. Does 17 divide n?
False
Let l = -1 + 1. Suppose -4*t + 4*h = 146 + 6, l = -t + 2*h - 43. Let q = -23 - t. Is q a multiple of 5?
True
Suppose 2*o = 4*o - 4*t - 14, -o - 23 = 4*t. Let w be 431/3 - 1/o. Suppose 0*i + 3*i - 3*s - 108 = 0, -4*i = 2*s - w. Does 18 divide i?
True
Let o be (66/8)/(1/8). Suppose -20 + o = 2*n. Is n a multiple of 15?
False
Let r = -21 + -7. Let z be 1/3 + r/(-6). Suppose s = -0*h - 3*h + 23, -5*s - z*h = -125. Is 13 a factor of s?
True
Suppose -s = 8 + 147. Let t = s - -228. Does 31 divide t?
False
Is 21 a factor of -1 + -2 + -1 + 89?
False
Let f be 4/18 - (-403)/9. Suppose 0*d - f = -5*d. Is 3 a factor of d?
True
Let u(n) = -n**2 - 6*n - 2. Let w be u(-5). Suppose w*x + 160 = 8*x. Is 10 a factor of x?
False
Let v(h) = -5*h - 5 + 5 + 2*h**2. Is 11 a factor of v(4)?
False
Suppose 3*z + 0*z = 123. Is 9 a factor of z?
False
Suppose -12 = 4*i - 4*z, 3*i = i - 5*z + 8. Let m be (-1 - i) + (-1 - 50). Let j = m + 73. Does 11 divide j?
True
Let r(a) = -a**3 - 4*a**2 - 3*a + 4. Let z be r(-7). Suppose g + z = 5*g. Is 17 a factor of g?
False
Suppose 2*m - 63 = -v, -2*v - 60 - 38 = -3*m. Is m a multiple of 7?
False
Suppose 0 = a - 2*a + 10. Suppose -f - a = -6*f. Suppose 0 = -f*r - 0*r + 80. Does 20 divide r?
True
Let q = 34 + 6. Is 13 a factor of q?
False
Does 9 divide 9910/50 + (-2)/10?
True
Is 5 a factor of 2*9/(27/96)?
False
Suppose -8*u + 3*u = -635. Suppose -5*a + j + u = 0, -j - 2*j - 6 = 0. Is 18 a factor of a?
False
Suppose 74 = 3*m - 79. Is 17 a factor of m?
True
Let l = 4 + -6. Let o be 4/2 + 0/l. Let n = 1 + o. Is n even?
False
Suppose 4*j - 24 = 5*a, 0*a - 4*a = -j - 5. Is j a multiple of 3?
False
Let i(x) = -3*x - 6. Does 12 divide i(-6)?
True
Let b(u) = 117*u - 20. Is 58 a factor of b(3)?
False
Is 16 a factor of (-1 - -114) + -2 + (-2 - -3)?
True
Let r be (2 - (-14)/(-6))*-6. Suppose 61 = 3*x - 3*q - r*q, 0 = 5*q + 25. Suppose p - x + 2 = 0. Is 5 a factor of p?
True
Let c(f) = f**2 - f + 16. Let y(r) = r - 6. Let m be y(6). Is 8 a factor of c(m)?
True
Let s(w) = -2 - 8 - 2*w - w + 2*w. Let v be s(0). Is 28/13 - v/(-65) a multiple of 2?
True
Let h(r) be the third derivative of r**8/10080 + r**7/720 + r**6/120 + r**5/30 + r**2. Let u(i) be the third derivative of h(i). Is u(-4) a multiple of 10?
True
Let h be 2020/16 - 1/4. Let x be h/15 - 4/10. Does 10 divide 2/4 - (-156)/x?
True
Suppose -h - 3*h + 52 = 0. Let l = 53 - h. Is l a multiple of 14?
False
Suppose -64 = u - 364. Is 50 a factor of u?
True
Let q = 21 - 10. Let v = 179 - 99. Suppose 7*j - q*j = -v. Is j a multiple of 6?
False
Suppose 11 = -5*m - 3*w, 3*m + w + 3*w = 0. Does 3 divide m*1*(-10)/8?
False
Let q = 15 + -5. Let g = -17 + q. Let p(i) = 2*i**2 + 8*i - 6. Is 18 a factor of p(g)?
True
Let q(y) = 5*y**3 + 4*y**2 - 3*y + 2. Is q(2) a multiple of 6?
False
Let j = -34 - -51. Is 3 a factor of j?
False
Suppose q = -0*q + 3. Suppose -48 = 4*x - 0*x - q*r, 2*x = r - 24. Let w = -2 - x. Does 6 divide w?
False
Let d(t) = t**2 - 7*t + 7. Let u = 23 + -9. Suppose 2*n - u = 4. Is d(n) a multiple of 19?
False
Let v(m) = 94*m + 2. Is 14 a factor of v(1)?
False
Suppose -2*n + 0*i + 16 = 5*i, 0 = 3*n + 4*i - 17. Suppose 55 = 3*a + 2*t - t, 0 = -3*a - n*t + 63. Is 8 a factor of a?
False
Let f(t) = t**2 - 13*t + 10. Let b = 32 - 19. Is f(b) a multiple of 5?
True
Is 19 + (1 - 4/1) a multiple of 12?
False
Suppose 135 = 2*h + 3*m, h = 2*m + m + 54. Does 21 divide h?
True
Let g(c) = -c + 7*c - 2*c - c**2 - 3. Let q be g(3). Suppose 0 = 3*a + l - 40, -2*a + 5*l = -q*a - 38. Does 14 divide a?
True
Let w be 2*(1*-3)/3. Let m = w + 2. Is 10 a factor of ((-5)/4 + m)*-16?
True
Let l(k) be the second derivative of k**5/60 + k**4/12 + 2*k**3/3 - 2*k**2 - k. Let h(b) be the first derivative of l(b). Is 4 a factor of h(-4)?
True
Suppose 261 = -5*z + 11. Let x = z - -72. Is 22 a factor of x?
True
Let p(m) = m**2 + 3. Let o be p(0). Suppose 0 = 4*s + o*d - 56, -s - 4*s + 70 = -d. Is s a multiple of 14?
True
Suppose -7*z = -3*z - 28. Is 3 a factor of z?
False
Let k = 3 - 1. Suppose 3*f + f = -108. Does 11 divide k/(-9) - 627/f?
False
Suppose -60 + 246 = 4*v + d, d = -2*v + 92. Is v a multiple of 22?
False
Is (5/15)/(3/684) a multiple of 17?
False
Suppose 4*a - 2*a + 58 = 0. Let t(j) = -56*j**2 - j. Let s be t(-1). Let w = a - s. Is w a multiple of 14?
False
Suppose -3*m + 4*m + 4 = 0. Is 14 a factor of 16 - (m + 1 - -5)?
True
Suppose 6*d - 110 = 5*d. Is 22 a factor of d?
True
Let b be (-1)/(12/16 - 1). Suppose -5*v + f - 5*f = -26, b*f = -4. Is v even?
True
Suppose o + 29 = 5*d, -2*d + 7*d - 37 = 3*o. Suppose -238 = -3*t + 5*b, -t - d*b = -4*b - 82. Is t a multiple of 31?
False
Let w = -76 - -131. Is w a multiple of 11?
True
Suppose 3*s - 2 = 2*s. Suppose -8 = -s*o - o + t, 3*t = -o - 4. Suppose 36 = o*h - 12. Is 13 a factor of h?
False
Let x(j) = 7*j**2 + 2*j + 4. Is 4 a factor of x(-2)?
True
Let y(v) = -11*v + 4. Let o(b) = -b**2 - 5*b - 4. Let s be o(-5). Is 23 a factor of y(s)?
Fal