. Does 4 divide l?
True
Let c be 25/2*(1 - -1). Suppose -k = 4*k + c. Let h(o) = -5*o + 1. Is 13 a factor of h(k)?
True
Let x = 12 + 31. Is x a multiple of 2?
False
Let w(g) = -g - 8. Let y be w(-8). Suppose 0 = -y*b + b - 2. Does 2 divide b?
True
Suppose 0 = 9*y - 5*y. Suppose y*r + 740 = -4*r. Is 7 a factor of r/(-25) - 2/5?
True
Let o(g) = g**3 + 12*g**2 + 7*g + 13. Is o(-8) a multiple of 37?
False
Suppose -2*l + 8 - 2 = 0. Suppose -4*s + l*s = -5. Suppose 2*h - 133 = -s*y, -h + 4*y = h - 88. Is h a multiple of 18?
True
Suppose 3*g + 2 = 4*a + 30, g - a = 11. Is 16 a factor of g?
True
Suppose 0 = -y - 0 - 3. Let t be -20*(3/2)/y. Suppose -3*c - 1 = -t. Is c a multiple of 3?
True
Is 5 a factor of ((-1)/3)/((-5)/225)?
True
Let h = 9 - 5. Let r be (-1 - h)/((-1)/2). Suppose 0 = 5*c - 0*c - r. Is 2 a factor of c?
True
Let d = -105 + 176. Is d a multiple of 12?
False
Suppose 126 = 6*d - 3*d. Suppose -6 = g - d. Is g a multiple of 12?
True
Let l be (5/2)/(1/12). Suppose 17*s - 16*s = l. Is s a multiple of 15?
True
Let i(g) = 2*g + 9. Let d be i(-6). Let y(o) = 4*o**2 + 2. Is y(d) a multiple of 25?
False
Let l(d) be the second derivative of -9/2*d**2 + 2*d + 0 + 11/6*d**3 - 1/12*d**4. Does 7 divide l(7)?
False
Let s = 15 + -8. Is 2 a factor of s?
False
Suppose -2*m = m + 18. Let z = m - -18. Is 7 a factor of (z/7)/((-4)/(-42))?
False
Let h be 423/(-36) - 1/4. Suppose 0*r + 2*r = 8. Is 19 a factor of r/h + 115/3?
True
Let f = 15 + 3. Suppose 0 = -w - 0*w + 47. Is 16 a factor of w/3 - (-6)/f?
True
Let m = 96 - 61. Let s = m + -17. Does 9 divide s?
True
Suppose -2*s - 246 = -2*b - b, 5*b = -4*s + 410. Is b a multiple of 41?
True
Let i(s) = -5*s. Let n be i(-1). Suppose n*a - 22 = 83. Is 7 a factor of a?
True
Suppose -4*s - y = -48 - 293, -94 = -s - 2*y. Suppose 3*c - 2*a + 40 = 0, -2*c + 6*c + 5*a + s = 0. Let g = 48 + c. Is 10 a factor of g?
False
Suppose p + 64 = 5*p. Let i = p + -7. Does 9 divide i?
True
Suppose 9*o - 8*o = 54. Let z = 77 - o. Is 14 a factor of z?
False
Let d be ((-6)/10)/((-1)/10). Let i(r) = r**3 - 5*r**2 - 6*r + 3. Does 3 divide i(d)?
True
Let b = -14 - -84. Does 14 divide b?
True
Let h(r) = -r + 8. Let w be h(-6). Let a = 30 - w. Is a a multiple of 16?
True
Let a(y) = y + 9. Is 2 a factor of a(-7)?
True
Suppose -2*g - 220 = -6*g + 4*o, -4*g = o - 205. Does 7 divide g?
False
Suppose 2*l - 1 = 1. Suppose l + 15 = 2*g. Let n = 15 - g. Does 7 divide n?
True
Let g be (2 + (-12)/5)*5. Let n = -16 - -229. Is n/9 - g/(-3) a multiple of 12?
False
Let u = 107 - -37. Does 48 divide u?
True
Let u(c) = c**3 - 4*c**2 + c + 4. Let p(g) = 4*g**3 - 16*g**2 + 5*g + 16. Let s(t) = 2*p(t) - 9*u(t). Is 4 a factor of s(3)?
True
Suppose 0 = -2*y + 7*y - 150. Is 3 a factor of y?
True
Let i = 28 - 25. Suppose i*x - 4*q = 18, x - 2*x + q + 6 = 0. Does 6 divide x?
True
Let y = 51 + -85. Is 14 a factor of y/(-3)*27/18?
False
Suppose 5*n - 176 = -3*n. Is 6 a factor of n?
False
Let b(x) = -10*x + 14. Is 28 a factor of b(-7)?
True
Let a = -6 + 8. Suppose -2*o - 12 = -a*h, 0*h = -5*h + o + 38. Let k = h + -3. Is k even?
False
Is 9 a factor of 2*2 + (37 - -4)?
True
Let p(d) = d**2 - 2*d - 3. Let q be p(-2). Suppose -a - q + 19 = 0. Is a a multiple of 14?
True
Let k be (3 - -1) + (-5 - 0 - -8). Suppose -11 + 29 = g. Suppose -k = -5*i + g. Is 3 a factor of i?
False
Let a be 3/(2 + 1) + -1. Let u be ((-6)/4 - -2)*a. Suppose -4*m - 24 = -n - u*m, -m = 5*n - 120. Is 9 a factor of n?
False
Let b be (-1 - 0 - 0)*0. Suppose b*d - 3*d + 11 = -q, 3*q = -3*d + 15. Does 2 divide d?
True
Suppose 7 = 2*z + 1. Does 3 divide z?
True
Let z(s) = 6*s**2 - 4*s - 5. Does 24 divide z(-2)?
False
Let s(r) = 2*r - 3*r - 1 + 2*r. Is 2 a factor of s(6)?
False
Let y(w) = 2*w**2 + 3*w + 9. Let l(v) = -2*v**2 - 3*v - 8. Let k(m) = -6*l(m) - 5*y(m). Let c be k(-2). Suppose 0 = -c*p + 3*p + 34. Is p a multiple of 9?
False
Let v = -18 + 30. Is v a multiple of 3?
True
Let s(k) = 2*k**3 - 3*k**2 + 7*k - 3. Does 15 divide s(3)?
True
Let p(v) = -v - 2. Let c be p(-6). Let f(o) = -7*o**2 - 2 - c*o**2 + o + 15*o**2. Is 15 a factor of f(-3)?
False
Let x(h) = -4*h + 4. Is x(-7) a multiple of 32?
True
Suppose 41 = -4*j - 15. Let o = j + 0. Let f = 0 - o. Is f a multiple of 9?
False
Let b(f) = -f**2 + 8*f - 1. Let g be (3 + -5 - -1)*-4. Let p be b(g). Suppose p = -0*v + v. Is 5 a factor of v?
True
Let d(n) = n**2 + 8*n + 6. Is 27 a factor of d(4)?
True
Let z(q) = -5*q - 15. Does 15 divide z(-17)?
False
Let w be 1 - (1 - (-6)/3). Let y = w - -8. Suppose y = 3*c - 2*c. Is c a multiple of 6?
True
Let j(b) = 2*b**3 - 14*b**2 - 6*b - 6. Let d(p) = 2 + p**3 - p - 7*p**2 - 2*p - 5. Let t(u) = 7*d(u) - 4*j(u). Does 14 divide t(7)?
False
Let u(x) = x + 2. Let l(v) = -v**3 - 11*v**2 - 12*v - 15. Let n be l(-10). Is u(n) a multiple of 2?
False
Let g = 26 - 36. Let s = g + 16. Is 3 a factor of s?
True
Suppose 276 = 4*w - 0*w. Is 9 a factor of w?
False
Suppose -42 = 2*s - 4*q, -2*s - 5*q = 3*s + 45. Let d = -5 - s. Does 5 divide d?
False
Let i be 2/(-6)*0/2. Let j be (-1)/(-2)*(-8 + 8). Suppose j*g + 3*g - 21 = i. Is 4 a factor of g?
False
Let g be 1/(1/12*3). Is 60/14 + g/(-14) a multiple of 4?
True
Suppose 2*g + 40 = d, 5*d + g = 157 + 76. Is d a multiple of 23?
True
Suppose -2*g + 164 = -18. Let n = 2 - 2. Suppose 4*b = -n*z + 5*z - g, -14 = -z + 5*b. Does 10 divide z?
False
Suppose 0 = 3*h - c - 169 - 68, -2*h = -2*c - 154. Is 17 a factor of h?
False
Suppose 2*m + t - 16 = 0, 5*m - 4*t + t = 18. Let z = m + -2. Does 2 divide z?
True
Let a(g) = -g**2 - 2*g. Let b be a(-2). Suppose 2*c + b*c + 204 = 0. Let u = -57 - c. Does 16 divide u?
False
Suppose -4*a = -i + 3, 3*i + 2*a - 81 = -2*i. Does 4 divide i?
False
Let q(v) be the first derivative of -v**4/4 + 2*v**3 + 5*v**2/2 + 3*v - 1. Does 18 divide q(5)?
False
Let w(l) = 26*l**2 + 2*l - 1. Let c(b) = -2*b - 1. Let m be c(-1). Does 12 divide w(m)?
False
Let y be (-4)/(-14) + 312/(-14). Let o = -4 - y. Is 9 a factor of o?
True
Let c(q) = 6*q. Let n(z) = -23*z. Let g(a) = -18*c(a) - 4*n(a). Let v be g(-2). Let d = v + -19. Is 13 a factor of d?
True
Let j be (0/(-4))/(1/1). Does 19 divide (19/(-1))/(-1 - j)?
True
Let s be 30/25*(-30)/(-9). Suppose -i + s*d + 48 = 0, 0 = 3*i - d - d - 104. Is i a multiple of 16?
True
Let w be (-38)/(-14) - (-22)/77. Suppose -w*z + 75 = 3. Is z a multiple of 15?
False
Let f = 12 + 12. Is f a multiple of 6?
True
Let b(y) = 5*y - 3*y + 1 + 5*y. Let u be b(-1). Is 7 a factor of (-5)/(1*2/u)?
False
Let p(b) = 3*b**3 - 7*b**2 + 7*b + 11. Let m(x) = 2*x**3 - 6*x**2 + 7*x + 10. Let g(y) = 4*m(y) - 3*p(y). Does 11 divide g(-5)?
True
Let h(v) = v**3 + 9*v**2 + 4*v - 16. Does 9 divide h(-7)?
True
Let f = -4 + 4. Suppose -360 = -f*g - 6*g. Is 11 a factor of g?
False
Let o = 273 + 91. Is 14 a factor of o?
True
Let l(t) = -16*t. Suppose -8 = -2*o + 3*o. Let f(p) = p + 6. Let n be f(o). Is l(n) a multiple of 16?
True
Let c = -10 + 95. Is c a multiple of 8?
False
Let i(m) = -5*m**3 - 16*m**2 - 5*m - 34. Let k(v) be the first derivative of v**4/4 + v**3 + v**2/2 + 7*v + 3. Let q(b) = 2*i(b) + 11*k(b). Does 8 divide q(0)?
False
Let s(i) = 2*i**3 - 5*i**2 - 4*i + 3. Is 35 a factor of s(4)?
True
Let a(q) = -11*q - 15. Let u(i) = 5*i + 8. Let g(c) = -2*a(c) - 5*u(c). Is 4 a factor of g(-7)?
False
Let b be 3/(-6) + 91/2. Let d = b + -20. Suppose 0 = -2*o - 5 + d. Is o a multiple of 10?
True
Let t = 48 + -86. Is 3 a factor of t/(-6) - 4/(-6)?
False
Let u(i) = -i**3 - 5*i**2 - 3*i + 1. Let z(h) = h**3 + 6*h**2 - h + 2. Let s be z(-6). Let o = s + -13. Is u(o) a multiple of 16?
True
Let j(r) be the third derivative of r**4/12 - 5*r**3/6 - 4*r**2. Let i = 13 + -9. Is j(i) a multiple of 3?
True
Does 3 divide 6 + (-2 + 3 - 1)?
True
Let m(s) = s**2 + 11*s + 14. Let p be m(-10). Suppose -3*w = -4*n + w - p, 4*w - 1 = 5*n. Is n a multiple of 3?
True
Let s = 3 - -2. Suppose s*a - 3*v = a, v = 3*a. Suppose a = -6*l + l + 5*x + 90, -2*x + 125 = 5*l. Is 11 a factor of l?
False
Suppose -h = -2*h + 3. Suppose -z - 4*k - 79 = 0, -4*z - h*k - k = 256. Let f = z - -87. Is 14 a factor of f?
True
Suppose 2*g = 5*t - 9, 3*g - t + 0 + 7 = 0. Is 6 a factor of (-33)/2*g/3?
False
Suppose 4*x + x - 180 = 0. Is 12 a factor of x?
True
Suppose 10*u - 3*u + 7 = 0. Suppose -j - 2*