se -4*b = -2*x - p, 0 = 4*x + 8 - 0. Is b a multiple of 19?
True
Suppose -2*r + 628 = 3*w, -6*w = -4*w - 2*r - 402. Does 45 divide w?
False
Let c(a) = 8*a - 2. Does 8 divide c(2)?
False
Suppose 4*v + v = s - 22, 3*s - 26 = 5*v. Is 17 a factor of -20*(v/(-8) + -3)?
False
Suppose 0 = 2*a + 3*w - 222 - 257, 2*a = -5*w + 485. Is a a multiple of 16?
False
Let w = 10 - 7. Let s(y) = 2*y**3 - 3*y**2 - 3*y + 2. Is 10 a factor of s(w)?
True
Suppose -104 = -2*d + 3*o, 2*d - 4*o - 97 = 5. Suppose 3*r - d - 62 = 0. Does 15 divide r?
False
Is 18/(-6)*(-100)/3 a multiple of 25?
True
Let g(d) = 5*d**2 - 11*d - 8. Let w(l) = 3*l**2 - 7*l - 5. Let i(u) = 5*g(u) - 8*w(u). Is i(3) a multiple of 4?
True
Let f(d) = d**2 - 4*d - 1. Let q be f(-3). Is q/70 - (-570)/14 a multiple of 14?
False
Let f = -122 + 210. Suppose -h + 22 = 3*d, -6*h = -2*h + 4*d - f. Let i = 41 - h. Is i a multiple of 10?
False
Suppose 9 - 44 = -5*z. Is 7 a factor of z?
True
Let o be 80/(-6)*108/5. Let r = o - -408. Suppose 4*g = g + r. Does 12 divide g?
False
Suppose 0 = 3*z - 9 + 3, 2*f + 2*z + 56 = 0. Let w be (-54)/f + 1/5. Suppose -1 = -w*m + 39. Is m a multiple of 10?
True
Let k be 4*2/(-4) + 22. Suppose -4*g = -k - 72. Does 8 divide g?
False
Suppose -t + 4 = 2. Suppose 6 = t*r - 10. Is r a multiple of 8?
True
Let p = 72 - 50. Let o(c) = 2*c**2 - 9*c + 8. Let k be o(6). Suppose 0 = -4*z + p + k. Is z a multiple of 11?
False
Let y = 334 - 154. Is y a multiple of 18?
True
Suppose 0 = 3*m - 8*m + 45. Does 17 divide (0 - 3)*(-141)/m?
False
Suppose 0 = 2*l + 3*l - 540. Suppose -4*q + l = -340. Suppose 0 = -5*g + g + q. Is 18 a factor of g?
False
Let n(s) be the second derivative of 7*s**3/6 - 2*s. Suppose -5*o = u + 13, 2*u + 9 = -u - 5*o. Does 7 divide n(u)?
True
Suppose -3*j + o = -0*o + 5, 3*j - 5*o = -1. Let b = j + 4. Suppose -4*r = -b*r - 68. Does 14 divide r?
False
Let c(q) = -q**2 - 14*q + 2. Let t(y) = y**2 - 7*y - 11. Let x be t(7). Is c(x) a multiple of 16?
False
Let h(c) = c**2 - 4*c + 7. Is 3 a factor of h(-4)?
True
Let c be (-147)/(-4) - 3/(-12). Let l = 15 + c. Is l a multiple of 14?
False
Let t(z) = z**2 - 2*z + 5. Is t(-5) a multiple of 10?
True
Suppose 5*w + 3*m + 73 = 0, -5*w - 4 - 61 = -5*m. Let s(c) = -3*c - 3. Does 13 divide s(w)?
True
Let x be (-4)/(-6) - 1/(-3). Let g be -4 + 2 + 8*x. Suppose 0 = -m - m + g. Is m a multiple of 2?
False
Let s = 8 + -3. Suppose -f - 5*v + 4 = 7, -s*f = 2*v - 31. Let i = 30 + f. Is i a multiple of 14?
False
Suppose -2*z + 9 = z. Suppose 0 = -0*a - z*a + 36. Suppose 0 = s + 1 - a. Does 11 divide s?
True
Is 63 - (-7 - -2 - -8) a multiple of 30?
True
Let q be (-16)/(-3)*(-54)/(-4). Suppose 0 = -2*a - 0*a + 6. Suppose -q = -2*j + 2*m + a*m, j - 2*m = 34. Does 18 divide j?
False
Let u(z) = 1 + z + 8*z - z**2 + 0*z**2. Let m be u(4). Is (m - -1)*2/2 a multiple of 11?
True
Let o(v) = -v**3 - v**2 - 7*v - 5. Is 4 a factor of o(-2)?
False
Let w(j) = -8*j - 4. Let y be w(-4). Suppose y = 5*b - 4*b. Does 14 divide b?
True
Let l(b) = -2*b**3 + b + 2. Is 49 a factor of l(-4)?
False
Let w = -6 - -10. Suppose w = 5*s - n, 0*s + 2 = -3*s + 5*n. Is s + (0 + 1 - -16) a multiple of 9?
True
Let t = 279 - 195. Suppose -f - t = -5*f. Is f a multiple of 10?
False
Suppose -2*k = -0 + 2, -17 = -4*j + 5*k. Let h(v) = -5*v**3 - v**2 + 3 + 2*v**2 + 6*v**3 - 3*v. Is h(j) a multiple of 15?
True
Let k(g) = -g**2 + 4*g + 5. Let r be k(5). Suppose -3*m + 166 - 58 = r. Is 17 a factor of m?
False
Suppose 4*n + 3*u + 83 = 0, 0 = -2*n - 0*u + 3*u - 37. Does 6 divide (-1)/2*(n - -8)?
True
Let h(r) = r**2 - 5*r - 4. Is 10 a factor of h(-3)?
True
Let r(g) = -12*g + 4. Let t(b) = 11*b - 5. Let o(q) = 5*r(q) + 4*t(q). Does 12 divide o(-2)?
False
Let l be (-12)/(-9)*(-6)/(-2). Suppose 0 = -l*f + 115 + 5. Does 10 divide f?
True
Let n be (-6 - 1)*(-24)/14. Is 4 a factor of n*(0 + 4/6)?
True
Let r(x) = 3*x**3 - 4*x**3 + 7 - 6*x**2 - 4 + 4 - 4*x. Let b(u) = -2*u**2 + 2*u - 1. Let p be b(2). Is r(p) even?
True
Let p = 84 - 44. Does 10 divide p?
True
Suppose -5*o + 43 = 5*z + 8, -5*z + 17 = -4*o. Let b be 2*(-1)/o*-2. Suppose b*y - 26 - 40 = 0. Is 12 a factor of y?
False
Let d = 8 + -6. Suppose -d*o = -4*m + 78, -5*m + 98 + 1 = -4*o. Does 12 divide m?
False
Suppose 2*i + 2*i - 132 = 0. Suppose 4*a - n - 45 = 0, -2*a + 0*a - 3*n = -i. Does 17 divide (a/5)/((-2)/(-15))?
False
Let a = -30 - -89. Does 10 divide a?
False
Suppose -4 - 1 = -5*x. Let k = x - -15. Is 8 a factor of k?
True
Suppose -5*n - 43 = -3*j, -4*n = -4*j + 5 + 63. Let s = -14 + j. Is 2 a factor of s?
False
Let i = 2 - 2. Suppose -4*l - 3 + 47 = i. Suppose g - l = -0. Is g a multiple of 4?
False
Suppose -4*x - j = -2*j - 9, -5*x + 5 = 5*j. Let w be (x*-18)/(2/(-4)). Suppose -3*q = q - w. Does 17 divide q?
False
Let l = -5 - -8. Suppose v + l*v = -8. Is (-729)/(-36) - v/(-8) a multiple of 8?
False
Suppose -2*c + 0*c = 0. Is (2 - c) + (3 - -4) a multiple of 5?
False
Suppose 3*q + 53 = 2*h - 0*h, -2*q - 72 = -3*h. Does 7 divide h?
False
Suppose 0 = 3*t + 3*a - 3, -6*t - a = -t - 25. Is t a multiple of 4?
False
Let c = 18 - 8. Does 5 divide c?
True
Suppose c - 17 = -6. Does 11 divide c?
True
Let i(u) = u + 1. Let l be i(-1). Let g be 10/50 - (-18)/10. Suppose l = -g*y + y + 22. Is y a multiple of 8?
False
Suppose -3*c + 154 = t, -4*c - 5 = c. Suppose -s + t - 55 = 0. Suppose 3*q = g + s, 0*q - 3*q = g - 108. Is q a multiple of 19?
False
Let y be 8/(-12) + (-4)/(-6). Suppose -a = -y*a, -4*f - 2*a = -76. Is f a multiple of 10?
False
Let j(d) = d**2 - 4*d - 8. Does 10 divide j(-4)?
False
Let g(y) be the second derivative of 1/12*y**4 - 1/3*y**3 - 2*y - 3*y**2 + 0. Is 5 a factor of g(6)?
False
Suppose -3*s + 3*q = q + 197, -s - 61 = 4*q. Let f = -25 - s. Is 7 a factor of f?
False
Let o(r) = 15*r + 1. Let j be o(-3). Let m = -15 - j. Suppose -m = -g - 3. Does 18 divide g?
False
Is -4 + (-1 - -149) + 0 a multiple of 19?
False
Suppose 2*w - 4 = -0*w. Let l(o) = 10*o - 3. Is l(w) a multiple of 11?
False
Let h = 44 + -37. Does 2 divide h?
False
Let g = -43 + 122. Does 16 divide g?
False
Let x be 2 - (-2)/(-4)*4. Suppose -j - 4*j + 245 = x. Suppose 2*l - j = -13. Is 9 a factor of l?
True
Let r be 1*8 + -2 + 0. Suppose 2*v + r = 3*u + u, -5*u = v - 25. Does 4 divide u?
True
Suppose -2*v = -4*r - 38, v - 3*v + 35 = -5*r. Does 25 divide v?
True
Let h(d) = 4*d**2 + 2. Is 19 a factor of h(-3)?
True
Let u be 18/(-27) - 2/(-3). Suppose 0 = 4*o - u*o - 20. Is o a multiple of 5?
True
Let k = -1 + 46. Does 12 divide k?
False
Let h(l) = 2*l - 3. Let n be 4/18 + (-238)/(-63). Let v be h(n). Suppose v*i - 96 = i. Does 8 divide i?
True
Let n(v) = -v**3 + 3*v**2 - 2*v + 3. Let l be n(3). Let i(d) = -d**3 - 7*d**2 - 6*d. Let p be i(-6). Is 16 a factor of (p/l + -1)*-34?
False
Let g = 31 - -18. Is g a multiple of 20?
False
Let b(f) = 31*f**3 + f**2 + 5*f + 4. Let h(y) = 4 + 30*y**3 + y**2 - 1 + 4*y + y**3. Let q(n) = 3*b(n) - 4*h(n). Is 15 a factor of q(-1)?
False
Let n(y) = y**2 - 3. Is 2 a factor of n(-3)?
True
Suppose 27 = s - 5. Let g = 19 + s. Is 18 a factor of g?
False
Let x(s) = -s**3 + 10*s**2 - 6*s + 19. Is 9 a factor of x(9)?
False
Let u(x) = -x**2 - 7*x + 10. Let b be u(-8). Does 9 divide 35 - -2 - 2/b?
True
Suppose -3*v - x + 3*x = -6, 15 = 5*x. Suppose 5*b - v*b - 2 = 0, -52 = -2*p - 2*b. Is 12 a factor of p?
True
Let c = -32 + 140. Is 12 a factor of c?
True
Does 18 divide (-8 - 0)*(-51)/12?
False
Let w(q) = -11*q + 1. Let l be w(-1). Suppose 2*y + 3 + 11 = -2*g, -l = 3*g. Is 14 a factor of (-1 - -26) + y + 1?
False
Suppose 2*j = j + 64. Is 16 a factor of j?
True
Suppose 5*k - 16 = -1. Let p be (-1 + 3 - 1)*k. Is 16 a factor of 8/(-1 - p/(-2))?
True
Suppose -5*j + 0*j = -5. Let z(v) = 6*v. Is z(j) a multiple of 2?
True
Let j = -3 - 7. Let l = 14 + j. Suppose 3*p - 90 = -4*v, -5*v + l*p - 113 = -10*v. Does 6 divide v?
False
Suppose 0*d = -5*d - 4*m + 701, 4*m = 5*d - 669. Does 34 divide d?
False
Suppose 0 = -10*y + 209 + 271. Is 6 a factor of y?
True
Let t(o) = o**2 - 2*o - 14. Let j be (-90)/(-27)*9/5. Is 6 a factor of t(j)?
False
Let h(t) = -t**3 + 4*t**2 + 5*t + 2. Let s be h(5). Let f = 36 + 30. Suppose -s*m - m + f = 0. Is m a multiple of 11?
True
Is 110/(-8)*12/(-3) a multiple of 16?
False
Let l(w) = w**2 - 4*w - 1. Let b be l(5). S