351 = 2*x + 95. Suppose -a = 2*k - x. Is 7 a factor of k?
True
Let c = -1108 + 1628. Does 10 divide c?
True
Suppose -20*r - 143 = -21*r. Does 9 divide r?
False
Suppose 5*c = -3*l + 3357, -2*l + 26*c - 29*c + 2239 = 0. Does 23 divide l?
False
Let c(d) = -14*d + 10. Let g be (30/(-75))/((-2)/(-30)). Does 13 divide c(g)?
False
Suppose -4*j + 4 = -4. Let o be (-1)/(j + (-20)/8). Suppose -363 = -5*f - 7*k + 4*k, 149 = o*f + 5*k. Is 12 a factor of f?
True
Suppose -3*v + 6 = -12. Suppose 14 = -4*o + v*o. Suppose 5*b = 3 + o. Does 2 divide b?
True
Let t(s) = s**2 - 25*s + 174. Let p be t(10). Let y = -15 + -5. Let g = p + y. Is 2 a factor of g?
True
Let y(r) be the second derivative of -r**4/12 - 8*r**3/3 + 4*r**2 - 20*r. Does 7 divide y(-11)?
True
Let f = -1971 - -1988. Is f a multiple of 2?
False
Suppose 171*d = 148*d + 2300. Is 5 a factor of d?
True
Let c(p) = -34*p**3 - 5*p**2 + 29*p + 91. Is 23 a factor of c(-5)?
True
Does 142 divide (-1501045)/(-325) - 2*6/20?
False
Let t = -319 + 464. Is t a multiple of 29?
True
Let v(y) = -y**3 - 6*y**2 + 5*y - 9. Let j be v(-7). Let b = j - 13. Does 24 divide b/(1 + (-16)/12)?
True
Suppose -54*h = -5965 - 20117. Is 7 a factor of h?
True
Suppose -3*r - 18 - 33 = 0. Let q(d) = 3*d**2 + 41*d + 10. Does 26 divide q(r)?
False
Suppose -g + 4*d - 17 = 0, 5*g - d = 10 - 0. Is 39 - (g - (-12)/(-3)) a multiple of 9?
False
Suppose 5*c = 6*c - 2. Suppose -c*j - 12 = j. Let q = j - -10. Is q a multiple of 5?
False
Suppose 0 = -5*r + 31 + 1509. Is r a multiple of 28?
True
Let a(t) = -2 + 6 - 5 - 2*t. Let c be a(-6). Suppose 5*d - 64 = c. Is 4 a factor of d?
False
Let w = -259 + 819. Is w a multiple of 40?
True
Let d be (-156)/10*30/(-12). Suppose 4*g - 3*k - d = 2*k, -5*g + 3*k + 39 = 0. Does 11 divide 214/g + (-10)/15?
False
Suppose 3*o = 3*g + 5*o - 8, -g = -3*o + 1. Is ((-20)/(-25))/((-57)/30 + g) a multiple of 5?
False
Suppose -2*n + 0*n = f - 61, 4*n - 120 = -4*f. Suppose -n = -2*i + 33. Does 4 divide i?
True
Let n(b) = 2*b + 8*b + 2*b. Is 12 a factor of n(6)?
True
Let q(u) = 1157*u**2 - u + 1. Does 14 divide q(-1)?
False
Let z be (-1)/4 - (-26)/8. Suppose -2*l = -z*l + 4*r - 12, 2*l = -2*r + 16. Suppose 92 - 23 = l*w - y, -87 = -5*w + 2*y. Does 11 divide w?
False
Let w = -193 - -69. Let h = w + 180. Is 14 a factor of h?
True
Is 4539/12 + 5/(-20) a multiple of 7?
True
Let n(u) = -20*u**2 + 7*u - 7. Let k(b) = -29*b**2 + 10*b - 10. Let f(q) = -5*k(q) + 7*n(q). Is f(-3) a multiple of 11?
False
Let v be (2 - 0) + 1*-113. Suppose u - 5*g = -67, u = -3*u + 2*g - 304. Let t = u - v. Does 9 divide t?
False
Suppose 0 = -15*u + 4127 + 3973. Is 30 a factor of u?
True
Suppose -9627 = -6*z - 3525. Is 56 a factor of z?
False
Let c(l) = -415*l - 32. Does 27 divide c(-1)?
False
Let i = 865 + -492. Is 18 a factor of i?
False
Suppose -4*w - 18 = 2*o, 2*o + 5 = -3*o. Let p be (3 - 5)/(w/14). Suppose -3*r = -p*r + 192. Is r a multiple of 20?
False
Let x(z) = z**3 - 13*z**2 + 13*z - 7. Let s be x(12). Suppose -s*n - 25 = 5. Let r = n + 9. Is r even?
False
Is (2/(-4))/(-2 - (-766)/384) a multiple of 12?
True
Let o(b) = 15*b**3 + b**2 - b - 2. Let u be o(2). Suppose 0 = 7*s - 3*s - u. Is 6 a factor of s?
True
Suppose -5*g - 18*g + 6624 = 0. Is g a multiple of 32?
True
Let y = -8 + 6. Is y/(-3) - 26/(-6) even?
False
Let q = 81 + -69. Suppose n = 2, 3*x - 222 = 3*n - q. Is 24 a factor of x?
True
Let z(q) = -36*q**2 + 2*q - 1. Let c be z(1). Suppose 0 = 4*k - 3*k + s - 17, 2*k + 3*s - 36 = 0. Let o = k - c. Is o a multiple of 25?
True
Suppose -u + 46 = -5*a + 4*a, 0 = 5*u + 5*a - 220. Let k(q) = -q**2 + 12*q. Let m be k(11). Suppose 0 = -2*x + u + m. Does 10 divide x?
False
Let w be (-1)/8 - 41/(-8). Suppose w*c = -3*i + 4*c + 896, 0 = 4*c + 16. Suppose -4*x + i = 2*x. Is x a multiple of 9?
False
Let d(a) = -5*a**2 + 2*a + 4. Let p be 5*16/60*-3. Let f be d(p). Let z = -30 - f. Is z a multiple of 18?
True
Let u = 1898 + 884. Is u a multiple of 107?
True
Suppose 4*f = -6*a + 8742, -445 = -2*f - a + 3916. Is 127 a factor of f?
False
Let u(i) = -7*i - 9. Let d be u(-9). Suppose 2*w = 2*a - 0*w - d, -5*w = 2*a - 75. Let l = a + -7. Is 6 a factor of l?
False
Let a = 86 - -30. Is 7 a factor of a?
False
Let w be (-27 - -2)/(-4 + 3). Is 12 a factor of 2/5 + 1315/w?
False
Let r = -81 + 66. Let o(x) = x**3 + 15*x**2 - 14*x + 17. Is o(r) a multiple of 23?
False
Let b = 96 - -208. Is 8 a factor of b?
True
Let g(a) = 2*a + 210. Is g(-24) a multiple of 12?
False
Let b be ((-2)/(-5))/(9/(-90)). Let x(y) = 4*y**2 + y - 1. Let q be x(b). Let u = -24 + q. Is 8 a factor of u?
False
Let d(p) = -17*p**2 + 17*p + 0*p**3 + p + 3*p**3 - 2*p**3. Is 8 a factor of d(16)?
True
Let d(p) = 100*p**2 + 28*p + 3. Is 17 a factor of d(-5)?
True
Let m(r) = -2*r - 3. Let h be m(-3). Suppose 3*n - h = 2*n. Suppose -7*v + n*v + 32 = 0. Is v a multiple of 8?
True
Suppose 0 = -33*n + 7615 - 487. Does 36 divide n?
True
Let i(j) = 7*j**3 - j**2 + j - 3. Let l be i(-2). Let h = l + 145. Is 17 a factor of h?
False
Let a(i) = -27*i + 562. Does 4 divide a(20)?
False
Let c(v) = 3*v**2 + 24*v - 189. Is 21 a factor of c(6)?
True
Let c be (-11)/(-4) - 12/(-48). Let v = c - 3. Suppose -3*i - 58 = -3*z + i, v = -5*i + 25. Is z a multiple of 9?
False
Suppose -3*q = 5*z - 1375, -z + 254 = -2*q - 8. Does 19 divide z?
False
Let t = -788 - -1843. Suppose 0 = -13*c + 8*c - t. Let s = -121 - c. Is 18 a factor of s?
True
Suppose -2*u = -3*a + 5995, 3*u - a = -4*a - 8955. Is u/(-39) - (-8)/6 a multiple of 26?
True
Let u be 984/(-18) - 1 - (-1)/(-3). Is 18 a factor of (-16)/u + 1139/7?
False
Let r(n) = 2*n**3 - n + 1. Let p = 1 + -3. Let c be (1 - -3) + 1*p. Is r(c) a multiple of 15?
True
Let q = -1644 + 2134. Does 5 divide q?
True
Let t = -378 - -665. Does 18 divide t?
False
Let j(f) = 21*f + 5. Let o(p) = -64*p - 16. Let y(s) = 8*j(s) + 3*o(s). Is y(-5) a multiple of 14?
True
Let w = 4348 + -3022. Suppose 3*s + 14*s = w. Is 26 a factor of s?
True
Suppose 162 - 17 = 5*r. Let h = -11 + r. Does 9 divide h?
True
Suppose 5*w - 4624 = 4*c, 0*w = 3*w + 2*c - 2770. Does 77 divide w?
True
Let c(l) = -488*l + 1 + 246*l + 9 + 243*l. Let k(b) = b**2 - 3*b - 1. Let j be k(5). Is c(j) a multiple of 19?
True
Is (-54)/(3 + 6) + 942 + 0 a multiple of 78?
True
Let h(l) = 10*l**2 - 60*l + 18. Is h(9) a multiple of 24?
True
Suppose -3*y - 4*d + 5 = 0, -y + 5*d = -0*d - 8. Suppose y*n - 46 = 23. Is n a multiple of 4?
False
Let z = -134 + 277. Is z a multiple of 52?
False
Suppose 2*z + n - 968 = 0, 2*n - 7*n = -4*z + 1922. Does 15 divide z?
False
Let h(t) be the first derivative of t**4/4 - 2*t**3 - 3*t**2/2 + 14*t - 5. Let s be h(6). Let l(g) = g**3 + 7*g**2 - 4*g + 4. Is l(s) a multiple of 16?
False
Let v = 2138 - 1150. Is 76 a factor of v?
True
Let g = -1830 - -2600. Does 7 divide g?
True
Let o = -37 + 26. Let d(w) = -w**3 - 8*w**2 + 14*w + 12. Let p be d(o). Suppose 2*k = -2, 0*k - 5*k = -2*a + p. Does 33 divide a?
False
Let m(j) be the first derivative of -1/3*j**3 - 5 - 1/4*j**4 + 5*j + 1/2*j**2. Does 3 divide m(0)?
False
Suppose 3*i = w - 640, -i = -w + 3*w - 1252. Does 26 divide w?
False
Let v = 2 - -8. Let z = v + -6. Suppose -a = z*a - 25. Is a a multiple of 4?
False
Let a(p) = 0*p**2 + 3 - 70*p - p**3 + 2*p**3 + 68*p + 7*p**2. Is a(-4) a multiple of 13?
False
Suppose -2 = 5*a + 4*d - 22, 3*a + 2*d - 10 = 0. Suppose -3*q + 32 - 5 = a. Is 7 a factor of q?
False
Let d(q) = -17*q**2 - 20*q + 1. Let o(r) = 6*r**2 + 7*r. Let f(u) = -3*d(u) - 8*o(u). Let y be f(3). Is 32 - (-9)/(y/16) a multiple of 9?
True
Let s = -186 - -277. Suppose -2*b + 321 = s. Is b a multiple of 23?
True
Let i = 74 - 35. Is 22 a factor of 330/(-2)*(-26)/i?
True
Suppose 2*f - 803 - 343 = -4*j, 3*f = 5*j - 1460. Let g = j - 171. Suppose u + 3*u = -2*m + g, -3*m - 39 = -2*u. Is u a multiple of 5?
False
Let k(d) = -d**2 + 6*d - 1. Suppose 2*t + 3*b = 21 - 5, 4 = 2*b. Let v be k(t). Let j(f) = 8*f + 9. Is j(v) a multiple of 10?
False
Suppose 16*w = 13*w + 12. Suppose 96 = d - w*t, -5*d + 412 = -0*d - 3*t. Suppose -5*q + d = -2*c - 3*c, 0 = -2*c - 10. Is 2 a factor of q?
False
Suppose 3*z = 34 - 19. Suppose -4*d - 299 = -3*v - 0*d, -103 = -v + 2*d. Suppose -288 = -z*g - v. Is 9 a factor of g?
False
Suppose -11*q + 36 = -10*q. Does 3 divide q?
True