 Does 19 divide m?
False
Suppose -5*r - 2*g = -9, -r + 3 = 3*g - 4. Does 12 divide r*-1 + 16 + 8?
False
Let h be (5 - 4) + (-1)/(-1). Suppose -v + h*j + 37 = 0, -v + j = -35 - 4. Suppose 2*n - v = n. Does 17 divide n?
False
Suppose n = 3*n - 16. Let z(g) = 4*g + 5. Is 15 a factor of z(n)?
False
Let f(s) = -s**3 + 4*s**2 + 7*s - 4. Let x be f(5). Suppose -3*o = -x*o - 180. Is ((-4)/(-10))/((-2)/o) a multiple of 12?
True
Let o be ((-45)/(-10))/(1/10). Is 10 a factor of (-204)/(-10) + (-18)/o?
True
Suppose -6*s = -s - 10. Suppose 0 = -2*a, -3*g - s*a = -6*a - 78. Is 19 a factor of g?
False
Suppose -4*n - 3*b = -55, -4*b - 6 - 16 = -2*n. Suppose 0 = -2*z + n + 29. Is 8 a factor of z?
False
Let h(k) be the first derivative of 21*k**2/2 - k + 3. Is h(1) a multiple of 4?
True
Suppose y - 5*y = -208. Is 20 a factor of y?
False
Let l be (-4)/(-6)*(34 + -4). Let k = l + 14. Is 14 a factor of k?
False
Suppose -323 + 43 = -5*v. Is 14 a factor of v?
True
Let n(y) = -y - 1. Let o be n(-6). Suppose 0*t - 2*t - 5*q = -9, 4*t = o*q + 33. Does 7 divide t?
True
Suppose 0*d = -d - 4*f + 260, -2*d = f - 527. Is d a multiple of 22?
True
Suppose 8 = i + 2. Is i a multiple of 2?
True
Suppose 4*p = 3*p + 11. Let g = -7 + p. Suppose g + 28 = 3*x + 5*d, 4*x + 4*d = 48. Is 14 a factor of x?
True
Let p(k) = 7*k - 1. Suppose 3*h + 2*h - 40 = 3*b, -2*b + 3*h - 26 = 0. Let d = b - -11. Is 2 a factor of p(d)?
True
Let d = 41 + -21. Suppose d = -4*w, 4*w = -h + 2*w + 43. Let f = -33 + h. Is 6 a factor of f?
False
Suppose i - 40 = 5*i. Is ((-2)/(-4) + -1)*i a multiple of 5?
True
Let m(v) = v - 10. Let n be m(7). Let f(u) = -12*u + 3. Does 19 divide f(n)?
False
Let w(u) = u**2 - 2*u - 3. Let r be w(-2). Suppose 0*n - r*n = -275. Is n a multiple of 20?
False
Let o(h) = h**2 - 5*h - 8. Let i be o(8). Let q = i - 10. Is q a multiple of 5?
False
Let o = 175 + -106. Is 21 a factor of o?
False
Is ((-1)/4*2)/((-4)/424) a multiple of 4?
False
Let j(m) = 3*m + 6. Let r be j(9). Let k(s) = s**2 - 7*s + 6. Let i be k(6). Suppose -t = -3*h - 0*h + 67, h + 5*t - r = i. Is 10 a factor of h?
False
Let t be 3336/40 - 2/5. Suppose -3*f + 46 = -t. Is f a multiple of 11?
False
Suppose -w = -5*w + 36. Is 3 a factor of w?
True
Let r = 5 + -4. Suppose -i + r + 7 = 0. Is (-3)/2*i/(-3) a multiple of 3?
False
Let d(k) = -11*k + 8. Is d(-6) a multiple of 7?
False
Let g be (-9)/2*12/(-9). Suppose 1 + 13 = 2*t + 5*m, -g = -2*t - m. Is 8 a factor of (-11)/2*(t + -4)?
False
Suppose 2*u = l + l + 12, 5*l + 4*u = -57. Let p = 14 + l. Suppose p*c - 17 = 18. Does 5 divide c?
False
Let u(z) = -8*z - 8. Let d be u(-5). Is d + -1*1/1 a multiple of 10?
False
Is 9 a factor of (4/6)/(4/54)?
True
Does 21 divide 37 - ((-7)/14)/((-2)/8)?
False
Let k = -8 + 5. Let n be (70 + 2)/(k/(-2)). Suppose -w - n = -2*w. Is w a multiple of 16?
True
Let z = 24 - 17. Suppose -3*t = -z*t. Suppose t*d + w = 5*d - 28, 3*w - 1 = -2*d. Is d a multiple of 2?
False
Let y(x) = -x**3 + 7*x**2 + 3*x + 2. Is y(6) a multiple of 14?
True
Suppose 20 = 5*j - 3*u, -12 = -j - j + 2*u. Let b be j + -1 - (7 + -3). Let o = b - -8. Does 2 divide o?
True
Is 804/(-18)*-1*3 - -1 a multiple of 21?
False
Suppose 2*d + 46 = 3*v - 3*d, 3*v = d + 50. Is v a multiple of 10?
False
Let a = 2 + -2. Suppose n - l + 4 = a, 12 = -2*n + n + 3*l. Suppose -g + 6 = -n*g. Is g a multiple of 6?
True
Let h(c) = 3*c**3 - c - 6. Is 9 a factor of h(3)?
True
Let b(h) = -h. Let w(x) = -5*x + 6. Let u(n) = b(n) - w(n). Does 14 divide u(6)?
False
Let h(s) = 7*s**2 - 5*s - 2. Let b(n) = -20*n**2 + 16*n + 6. Let u(f) = 6*b(f) + 17*h(f). Let v be ((-3)/(-4))/(2/24). Does 10 divide u(v)?
True
Let b = 20 - 15. Does 2 divide b?
False
Let v = -47 - -67. Is v a multiple of 3?
False
Let v be -3 - -2 - -1 - 16. Let q be v/(-10) + 6/15. Suppose q*n - 5*w = -2*n + 64, 0 = w. Is 6 a factor of n?
False
Let d be (-4 - -6) + 1*23. Let s = d + -18. Does 3 divide s?
False
Suppose -2*p + 26 = -10. Let w = p - 13. Is 2 a factor of w?
False
Let k(w) = 0*w + 4 - 2*w - w**2 + 4*w. Let o be k(3). Is (-2 - o)/((-6)/26) a multiple of 9?
False
Let f be (-6)/(-2)*(-25)/3. Suppose 2 + 2 = 2*k. Is 13 a factor of f/2*(k + -4)?
False
Let f(u) be the third derivative of -u**4/24 + u**3/6 + u**2. Does 6 divide f(-5)?
True
Suppose 5*s - 170 - 65 = 0. Does 26 divide s?
False
Let i be ((-14)/7)/(2/32). Let z = -4 - i. Is z a multiple of 14?
True
Let z(i) = 46*i - 5 - i**2 - 36*i + 14. Suppose 0*o + 45 = 5*o. Is z(o) a multiple of 6?
True
Let z(j) = -1 + 0*j**2 - 2*j + 5*j + 2*j**2 + 0*j. Does 4 divide z(-3)?
True
Let i = -21 - -69. Is i a multiple of 3?
True
Let m(b) = 2*b - 8. Let w be m(6). Suppose -4*f - w*h = -h - 2, -4*h - 6 = f. Is 4 a factor of 1*(4 + f) - -2?
True
Let a = 4 + 0. Let v = a - 0. Suppose 6 = -v*y + 22. Is 3 a factor of y?
False
Suppose -p + 7*r - 4*r - 9 = 0, 4*p - 2*r = -6. Suppose -5*c - 133 - 82 = p. Let k = c - -62. Does 19 divide k?
True
Suppose 3*p - p - 110 = -4*j, -p - 4*j = -65. Let a be 9/(-6)*(-2)/3. Suppose b = p + a. Is 23 a factor of b?
True
Suppose 4*j - 2*j = 6. Suppose 5*p = -j*u + 144, -35 + 115 = 2*u - 2*p. Let g = u - 13. Is g a multiple of 15?
True
Suppose 19*o = 18*o + 313. Does 61 divide o?
False
Is -6*118/(-4) - (1 - 1) a multiple of 21?
False
Let u(g) be the third derivative of g**5/30 - g**4/12 + g**3/6 - 4*g**2. Let j be u(2). Is 4 a factor of (-1)/(-5) - (-39)/j?
True
Let t be 8/(-24) + (-214)/(-3). Does 18 divide (-2)/(-8) - t/(-4)?
True
Suppose -3 = -3*c, -5*c = 2*n + 2*n - 13. Let z(d) = -17*d + 3*d + 3*d**3 - 12*d**n + 0*d**3 - 4*d**3. Is z(-11) a multiple of 24?
False
Let f(b) = -2*b**2 - 15*b - 3. Let z(u) = u + 6. Let t be z(-3). Let r(m) = -m**2 - 7*m - 1. Let d(s) = t*f(s) - 5*r(s). Is 12 a factor of d(-8)?
True
Let x = -1 + 1. Let j = x - -5. Is ((-6)/(-4))/(j/10) a multiple of 2?
False
Suppose -5*d - 42 = -2*u - 2*u, 0 = -3*d - 5*u - 3. Let z = 8 + d. Is z*(-5)/4*-2 a multiple of 2?
False
Suppose 2*p + p + 1 = 2*d, 0 = -4*d - p + 9. Suppose -5*a = -d*a - 81. Is a a multiple of 9?
True
Suppose -53*y + 58*y = 140. Is 28 a factor of y?
True
Suppose -5*b = 4*o + 2024, 2*o - 2044 = 5*b + o. Let s = b + 578. Suppose 3*a + 2*a - s = 0. Is a a multiple of 20?
False
Let h = 97 - 69. Is 15 a factor of h?
False
Suppose 3*m = 2*t + 1475, 3*m - 5*t + 444 = 1931. Is m a multiple of 64?
False
Let m(y) = -y**3 + 7*y**2 + 8*y + 2. Let k be m(8). Suppose i + 5*n = 17, n - 9 = i - k*i. Is i a multiple of 3?
False
Suppose 5*u - 20 = 0, -2*m + 12 = -u + 2*u. Let y = m - -2. Does 3 divide y?
True
Suppose 0 = j - 6*j + 5, -17 = 2*u - 3*j. Let d(x) = x**2 + 2*x - 6. Let k be d(-7). Let o = k + u. Is o a multiple of 11?
True
Let x(n) = n**3 - 2*n + 1. Let p be x(1). Suppose 5*l - 265 = -p*l. Suppose l = 3*f + 8. Is f a multiple of 4?
False
Let i(k) = -k**3 - k. Let o be -1 - -2 - (5 - 2). Is 5 a factor of i(o)?
True
Let a(w) = 16*w + 4. Is 26 a factor of a(3)?
True
Is (-1040)/(-144) - 2/9 a multiple of 3?
False
Let l(p) = 2*p + 25. Is l(19) a multiple of 9?
True
Let i = -61 - -111. Does 10 divide i?
True
Let a = 9 - -17. Suppose -6*u - 6 = -3*u. Let c = a + u. Is c a multiple of 12?
True
Suppose -181 = -2*l - 29. Is 5 a factor of l?
False
Suppose 6*w + 60 = o + 4*w, -5*w + 345 = 5*o. Is o a multiple of 3?
True
Let u = 3 - -18. Suppose 0 = 3*x - 10 + 1. Suppose -58 = -5*a - 3*f, 2*a = 4*f - x*f + u. Does 11 divide a?
True
Is 2*(-4)/8*-51 a multiple of 19?
False
Let m = 107 - -53. Let y = 7 - 5. Suppose y*r = -0*r + w + 80, 4*r = 3*w + m. Is r a multiple of 21?
False
Suppose -5*k + 5 + 15 = 0. Suppose -k*t + 2*t + 68 = 0. Is t a multiple of 17?
True
Let k(c) = -2*c + 8. Let h(t) = 2*t - 9. Let x(u) = -4*h(u) - 5*k(u). Let y be x(3). Suppose -z + 16 = -y*w - w, -4 = 4*z + 5*w. Is z a multiple of 4?
True
Suppose 34 = v + 10. Let o = 36 - v. Is o a multiple of 9?
False
Let b(x) = -x**3 - 2*x**2 + 8*x + 7. Let p be b(-5). Let q = p + -14. Does 14 divide q?
True
Suppose -q = -3*q + f + 202, q - f - 103 = 0. Does 11 divide q?
True
Let d(y) = 6*y + 1. Does 14 divide d(6)?
False
Let z be 1/(-4) - 18/(-8). Suppose 2*b = -z, -5*b = 5*j - 8*b - 103. Let s = 6 + j. Is s a multiple of 9?
False
Suppose -3*v + 5*v = 60. Suppose -10 - v = -4*o. Does 5 divide o?
True
Suppose 0 = -5*h + 36 + 384. Is