/(-9). Let x = 2 + m. Is 14 a factor of x?
True
Let o be 2/(-9) + 120/54. Does 3 divide o*(6/1 + -4)?
False
Suppose -d = 37 - 497. Does 23 divide d?
True
Let c(p) = 2*p + 2. Let k be c(-5). Does 24 divide ((-6)/k)/(1/64)?
True
Let z(r) = r + 224. Does 99 divide z(-26)?
True
Let r be (31/(-3))/((-5)/(-15)). Let p = 81 - r. Is 17 a factor of p?
False
Suppose -5*o - 7573 = -5*y - 4*o, 3*y - 4541 = 2*o. Is y a multiple of 101?
True
Let m = -215 + 362. Does 7 divide m?
True
Suppose 3*x = -r + 17 - 61, 0 = -2*r + 4*x - 68. Let f = r - -109. Is f a multiple of 7?
False
Suppose 3*b - 16 = -b. Suppose -4*j = -q - 4 - 5, -4*j = -b*q. Does 6 divide j - 2 - (2 + -53)?
False
Suppose -5*j + 6052 = -2143. Does 6 divide 1/(-4) + j/44?
False
Suppose -3*g - 5*a = -329, -g - 3*a = -5*a - 106. Is g a multiple of 18?
True
Does 14 divide (-6)/(-9)*2*(-3771)/(-12)?
False
Does 25 divide (1/5*5)/(4/4900)?
True
Let i(a) = -1. Let h(n) = -2*n - 14. Let u(s) = h(s) - 4*i(s). Let l be u(-7). Suppose -3*j = -l*j + 49. Does 14 divide j?
False
Let h = -106 + 102. Let i(k) = -k**2 - 7*k - 5. Is i(h) a multiple of 6?
False
Let y(m) = -m**3 + m**2 + m + 41. Suppose -6 = 4*o - p + 2*p, 3*p = -3*o. Let u be (o + 2)*6/6. Is 7 a factor of y(u)?
False
Let b(v) = -5*v - 5*v - v - 4*v + 1. Let m(f) = 29*f - 2. Let h(n) = 13*b(n) + 6*m(n). Is 9 a factor of h(-1)?
False
Let v(h) be the first derivative of 17*h**2/2 - 11*h - 5. Let l be v(13). Suppose 3*f + w = l, -201 = -3*f - 2*w + 4*w. Is f a multiple of 30?
False
Let n = 9 - 13. Let j(x) = 3*x**2 + 4*x - 5. Let i(p) = -1. Let y(r) = -6*i(r) + j(r). Is 11 a factor of y(n)?
True
Is (-4)/2 - (-732 - 5) a multiple of 51?
False
Is 3 a factor of (-2784)/(-20) + (-4 - (-19)/5)?
False
Suppose -u - n = -514, -15*n = -2*u - 12*n + 1043. Is 47 a factor of u?
True
Let b be -1 + -2 - (85 + -3). Let k = -20 - b. Is 13 a factor of k?
True
Suppose 845 = 5*a + 2*d, 3*d - 5*d = a - 169. Let k = a + -131. Does 15 divide k?
False
Suppose 0 = -5*h + 6*h. Does 13 divide h + 47 - 80/(-20)?
False
Let y = -722 - -1197. Is y a multiple of 63?
False
Let g(t) = -t**2 - 14*t + 2. Let k be g(-10). Suppose -2*y = 5*y - k. Is y a multiple of 3?
True
Suppose 4*z + 6 = -6. Let t be -3 - (0/4 + z). Suppose -305 = -4*m - m - 5*x, t = 5*x + 20. Is 13 a factor of m?
True
Let d = 80 - 77. Suppose -d*r + r + a + 24 = 0, -3*r - 5*a + 49 = 0. Is 13 a factor of r?
True
Let m(n) be the second derivative of n**5/20 + n**4/12 - n**3/2 - n**2/2 + 5*n. Let i be m(-2). Is 24 a factor of -1 + (-1)/(i/(-73))?
True
Suppose 3*b - 9 - 27 = 3*o, -30 = -3*b - 3*o. Let t(h) = h**3 - 10*h**2 - 2*h - 26. Is 12 a factor of t(b)?
False
Let h be (-36)/(-24)*16/6. Suppose -5*l - 5 = 0, -4*r + h = 5*l - 15. Is 3 a factor of r?
True
Suppose 12*q - 14*q = -318. Suppose 5*z + 0*y - 197 = 3*y, q = 4*z - y. Is 40 a factor of z?
True
Suppose -5*w - 27 = 113. Let b = w + 31. Is b a multiple of 3?
True
Let w(m) = m**2 + m - 285. Does 2 divide w(17)?
False
Suppose m = -4*y + 38, 3*y = 4*m - 3 - 54. Suppose -2*q + m + 12 = 0. Is q a multiple of 6?
False
Let j = -78 + 81. Suppose 4*o - j*t - 1065 = -o, o - 213 = -4*t. Is o a multiple of 25?
False
Let r = -117 + 110. Let x(o) = 3*o**2 - 9*o + 1. Does 31 divide x(r)?
False
Let h = -116 - -115. Is 35 + -34 + (4*7 - h) a multiple of 10?
True
Let k be 3*4/6 - -23. Suppose 0 = 3*m - 4*m + k. Is 3 a factor of m?
False
Let i(r) = 20*r + 10. Let w be i(-7). Let d = w + 212. Is 12 a factor of d?
False
Suppose 3*t = -5*m - 0*m + 35, -m - 1 = -t. Suppose 5*c - 4*p = -5*p + 315, c + m*p = 63. Does 9 divide c?
True
Let w(z) = -19*z - 25. Let d(q) = -19*q - 25. Let j(i) = -4*d(i) + 5*w(i). Let f(k) = 9*k + 12. Let s(o) = -5*f(o) - 2*j(o). Is 8 a factor of s(-6)?
True
Suppose -h - 55 = 62. Let x = -4 - -2. Is (x/(-3))/((-3)/h) a multiple of 13?
True
Is 5 a factor of 100/16*(29 - 5)?
True
Let p = 135 + -206. Let a(y) = -y**2 - 5*y + 3. Let w be a(-6). Does 14 divide p/w + (-16)/(-48)?
False
Let d = 1953 + -1692. Does 87 divide d?
True
Suppose 0*n = 2*n. Suppose 0*p - p - 91 = n. Let q = -46 - p. Is q a multiple of 18?
False
Is 3 a factor of (-5)/(35/(-21)) - -105?
True
Let b be 3/(-12)*3 + (-3896)/(-32). Suppose 2*t + 4*j + j = 245, -t + b = 2*j. Is t a multiple of 23?
True
Let o = -3495 + 2055. Let w be 6/10 + o/25. Let h = 91 + w. Is 24 a factor of h?
False
Suppose -3*n + 1618 = -467. Is 74 a factor of n?
False
Suppose -265 = 3*d - 2*m, -m + 126 = -2*d - 49. Let l = 43 - d. Is 32 a factor of l?
True
Let x(o) = -18*o**2 + o - 1. Let d(j) = -107*j**2 + 6*j - 6. Let v(n) = 6*d(n) - 39*x(n). Does 15 divide v(1)?
True
Let t(g) = -g + 14. Let b be t(9). Let w(i) = -i**3 - 7*i**2 - 7*i - 3. Let r be w(-6). Suppose -x + 0 = -b, 62 = r*z - 2*x. Is 12 a factor of z?
True
Suppose 8*a - 32 = -0. Let n = a + 18. Is 11 a factor of n?
True
Let i be 1/(1/(-4) + 0). Let z(o) be the third derivative of -o**6/120 - o**5/30 + o**4/24 + 2*o**3/3 - 12*o**2. Is 7 a factor of z(i)?
False
Suppose -5*s = -4*j + 3220, 2*s + 2533 = 5*j - 1509. Does 27 divide j?
True
Let y be (-9)/15*3*-35. Suppose -8*x + x + y = 0. Does 3 divide x?
True
Suppose 12*u - 7*u + 5882 = 2*o, 3*o - 8797 = u. Does 113 divide o?
False
Let z(n) = 18*n - 2. Suppose 4*l - 13 = 3. Does 13 divide z(l)?
False
Suppose 3*y - 2*a = 3*a + 131, 173 = 4*y - 5*a. Suppose -5*f - y = -392. Is 10 a factor of f?
True
Let c = 890 + -490. Suppose 5*x + 15 = c. Does 16 divide x?
False
Let m be ((-4)/(0 + 1))/(-1). Suppose -76 = -2*p + m*c, 5*c = 5*p - 4*p - 23. Is 14 a factor of p?
False
Suppose -3*x = d + 25, 7*d + x = 3*d - 89. Let s = d - -19. Let k = s - -29. Is 11 a factor of k?
False
Let t(z) = z**3 - 8*z**2 + 8*z - 4. Let x be t(7). Let y be x*(-2 + (-8)/(-6)). Let o = 8 - y. Is o a multiple of 3?
False
Let m be (48/(-30) - -2)/(2/20). Suppose -m*u - 262 = -7*u - 2*q, 3*q = -3*u + 264. Does 20 divide u?
False
Suppose -2*n + 3*c + 10 = -c, 0 = c + 1. Let b(j) = -j**3 + 4*j**2 + 4*j. Is b(n) a multiple of 6?
False
Let a be (0 - 1/(-3)) + (-2014)/(-114). Let i = a - -46. Does 8 divide i?
True
Let d(s) = -s**2 + 2. Let f be d(0). Let j(o) = -o**f + 2*o - 2*o + 7 - 2. Is 5 a factor of j(0)?
True
Let n(b) = 7*b + 7. Suppose -3*d + 39 = 3*j, -2*d + 2*j = -2*j - 20. Let z be n(d). Let y = z - 65. Is y a multiple of 14?
False
Let y be -4 + ((-82)/(-2) - 1). Suppose 3*t + v = y, 2*t + 0*t = v + 29. Is 13 a factor of t?
True
Let p be 5/(20/(-12)) - -303. Suppose p = 62*h - 57*h. Does 14 divide h?
False
Suppose -2*y = -4*a + 2834, -3*a + 567 = 2*y - 1548. Suppose 3*w = 277 + a. Suppose 0 = -2*v - 2*v + w. Is 21 a factor of v?
False
Let q(h) be the first derivative of h**3/3 + 11*h**2/2 + 27*h + 18. Does 12 divide q(-11)?
False
Suppose 0 = 5*k - 4*n - 88, 4*k + 2*n = -3*n + 95. Is 1*25 - (k + -19) even?
True
Let b(y) = 1 - 2 + 25*y**2 + 2 - y + 0. Let u be ((-2)/4)/((-2)/4). Is b(u) a multiple of 8?
False
Suppose -42*v = 285 - 5661. Does 8 divide v?
True
Let s = -135 - -239. Suppose s = 51*k - 47*k. Is k a multiple of 26?
True
Let j(y) = y**3 + 18*y**2 - y - 78. Does 12 divide j(-11)?
True
Suppose -6*b + 11*b = 0. Suppose b = -d - d + 4. Suppose 4*c + 45 = d*o - 79, -5*o + 245 = 3*c. Is o a multiple of 13?
True
Let y(r) = -4*r - 88. Is 18 a factor of y(-40)?
True
Suppose 2*q = 2 + 594. Suppose 5*n = -5*c + 760, n - 2*n = -2*c + q. Is c a multiple of 10?
True
Let n = -122 - -204. Is n a multiple of 40?
False
Let k(m) = -m**2 + 10*m. Let p be k(6). Suppose c - p = -c. Is c a multiple of 4?
True
Let m(a) = a**2 + 3*a - 8. Suppose -3*z + 4*z + 15 = 0. Let h be m(z). Suppose 2*c = -2*y + 5*y - 100, 2*c = 5*y - h. Is 18 a factor of y?
True
Suppose -p - 15 = p - 5*g, -2*p + 3*g = 13. Let u = p + -3. Does 14 divide u/(1 + (-11)/10)?
False
Is 11 a factor of 24/(-228) - (-30444)/57?
False
Let s(a) = -23*a**3 + 4*a**2 + 3*a - 1. Let d be s(-2). Suppose d = -2*p + 2*y + 509, y = -2. Is 12 a factor of p?
True
Let q be -4 - (-1 + -1) - -9. Let y = 15 - q. Is 12 a factor of 970/40 + 6/y?
False
Let t be ((-2)/(-6))/((-1)/(-6)). Suppose -4*z - 4*x = -9*z + 19, t*z - 4 = -2*x. Suppose z*s - 118 - 122 = 0. Is s a multiple of 21?
False
Let a = -23 - -28. Suppose 4*c = a*c - 27. Does 9 divide c?
True
Let z(s) = 41*s**2 - 1. Suppose 0*o - 2*o + 3*b - 11 = 0, -5*b + 1