 Does 18 divide o?
True
Does 15 divide -2*(101/(-2) - 2)?
True
Suppose 0 = 3*q - 5*g - 203, -60 = -4*q - 4*g + 264. Does 19 divide q?
True
Let h(y) = 8*y**3 - 5*y**2 + 11*y - 15. Is 17 a factor of h(3)?
False
Let k(d) = d**3 - 6*d**2 + 2*d - 6. Let g be k(6). Suppose s - a = 2, -a + 28 - g = 5*s. Suppose 95 = s*p - 13. Does 16 divide p?
False
Let y(i) = 7*i - 12. Is y(4) a multiple of 4?
True
Let i(l) = -l**3 - 4*l**2 + 6*l + 5. Let k be i(-5). Suppose -2*r + 24 = -k. Suppose -4*q - 4*f = -107 + 39, 3*f - r = 0. Does 13 divide q?
True
Let q = 70 + -7. Does 9 divide q?
True
Let w = -19 - -24. Let b(v) = 3*v**2 - 8*v + 8. Does 19 divide b(w)?
False
Let b = 4 + -2. Suppose r - 24 = -b*q + 70, -3*q + 435 = 5*r. Let t = -42 + r. Does 17 divide t?
False
Let q(f) = -37*f - 6. Is 28 a factor of q(-5)?
False
Suppose -256 = 4*o - 2*o. Let n = -64 - o. Does 18 divide n?
False
Let a(l) = -l**3 - 8*l**2 + 1. Let w be a(-8). Suppose w = k - 5. Suppose 5*y = 0, -2*s + 0*s + k = y. Is 3 a factor of s?
True
Let g = -15 + 61. Does 14 divide g?
False
Let c = 0 + 3. Suppose p = c*r - 5, -5*r - 4*p + 6*p = -10. Suppose -5*a + 115 = -r*a. Is 13 a factor of a?
False
Suppose 0 = -4*s - 1 + 13. Let q(t) = t**2 + 2*t - 1. Is q(s) a multiple of 4?
False
Let u be 1/((-45)/(-23) + -2). Let k = u + 35. Suppose -h + k = 2*h. Does 4 divide h?
True
Suppose -6*x - 114 = -450. Is 8 a factor of x?
True
Is 12 a factor of 6/14 + (-747)/(-21)?
True
Suppose -c + 4*l = -52, -3*c + 2*c - l + 27 = 0. Is 16 a factor of c?
True
Let l(k) = 5*k**2 - k + 2. Let h be l(4). Suppose h = 5*z - 4*z. Is z a multiple of 26?
True
Let p(m) = m**3 + 8*m**2 - 3*m - 2. Suppose -28 = 3*q + 4*l, -5*q - l - 12 = 29. Is p(q) a multiple of 11?
True
Let l = -8 - -14. Does 3 divide l?
True
Let b = -1 + 5. Is b a multiple of 3?
False
Let x = -120 - -67. Let o = x + 84. Is 12 a factor of o?
False
Let c(h) = 2*h**2 - 4*h - 1. Let w be c(3). Suppose w*a - 9 = 2*v + 1, 0 = -4*a + 2*v + 8. Is 14 a factor of (0 - -4)/(a/12)?
False
Let b(o) = -o**2 + o + 4. Let a be b(0). Let d = a + -4. Suppose 2*y - 28 = -d*y. Does 14 divide y?
True
Suppose 0 = 3*s - 10*s + 182. Does 3 divide s?
False
Let a be (9*-1 - 1)/(-2). Let q = -1 + a. Does 3 divide q?
False
Is (-8)/(-4 - (-370)/95) a multiple of 46?
False
Let w = 14 - 9. Suppose w*a = 3*a + 60. Is a a multiple of 15?
True
Suppose -2*w - 6 + 32 = 0. Is w a multiple of 5?
False
Suppose 4*t = 23 - 7. Let j(c) = 3*c**2 - 6*c + 3. Does 10 divide j(t)?
False
Suppose 9*z = 125 + 811. Does 52 divide z?
True
Let w(y) = y**2 - 1. Let c be w(-1). Let o = 11 + -4. Suppose 0*z - z + o = c. Does 5 divide z?
False
Let z(c) = -2*c**3 + 3*c**2 - c + 2. Let i be z(2). Let q(b) be the third derivative of b**5/30 + 5*b**4/24 + 2*b**3/3 - 2*b**2. Is q(i) a multiple of 12?
False
Suppose 10*r - 8*r - 210 = 0. Does 15 divide r?
True
Let m(d) = 4*d**2 - 5. Is m(4) a multiple of 14?
False
Let v(o) = 4*o**2 - 5 + 1 - 7*o**2 - o**3 - 6*o. Let p be v(-4). Does 18 divide p*-1*(-1)/1?
True
Let t be ((-8)/(-1))/(-4) + 3. Suppose x = 6 - t. Is 4 a factor of x?
False
Let a(k) = 32*k**2 - 2*k - 1. Does 11 divide a(-1)?
True
Let h(p) = 2*p**3 - 2*p**2 - 3*p + 2. Let f be h(2). Suppose f*i - 49 = l, -l + 12 = 2*i + l. Is i a multiple of 10?
False
Suppose 5*r = -3*i + 2*i + 215, -5 = i. Is 13 a factor of r?
False
Let x be 2/(-10) - 1/(-5). Suppose f + 2*f - 117 = x. Is f a multiple of 13?
True
Let h be 2 + 0 + (-9 - -2). Let u(n) = -n**3 - 4*n**2 + n - 12. Is 4 a factor of u(h)?
True
Suppose -4*a + 4 = 16, -5*a = 4*j + 27. Let u = j - -13. Is 4 a factor of u?
False
Suppose 0*l + l = 2. Suppose l*c + 135 = 5*c. Is c a multiple of 15?
True
Let o(s) = -s**3 + 7*s**2 - s - 1. Let q be o(6). Let n be (-18)/(-27)*78/(-4). Let l = q + n. Is 8 a factor of l?
True
Let h = -9 + 12. Suppose 4*d = -4*a + 88, d + 0 = h*a + 14. Is 13 a factor of d?
False
Suppose 114 - 36 = 2*t. Is 13 a factor of t?
True
Let d be (-42)/5 + (-12)/20. Let l = 23 + d. Does 11 divide l?
False
Let s be (43 - 1)/3 + 1. Let o = s - -2. Does 10 divide o?
False
Let h(f) = -5*f - 2 + 3*f - f**2 + 2*f**2. Is 13 a factor of h(-3)?
True
Let i = 8 - 2. Is i even?
True
Suppose 0 = -g + 4*y + 11, -5*g + 2*g = -5*y - 40. Let w(z) = -2*z - 4. Let k be w(-3). Suppose -g = k*r - 43. Is 7 a factor of r?
True
Let k be (-5)/(15/(-2))*6. Suppose k*q - 7*q = -144. Is q a multiple of 24?
True
Suppose 0 = u - 5*f - 96 + 8, -25 = -5*f. Is u a multiple of 20?
False
Suppose -3*m + 5*m = 0. Suppose -141 = -m*a - 3*a. Suppose 5*q - 2*p - 238 = 0, a = 2*q + 5*p - 25. Does 15 divide q?
False
Suppose 0 = -d + b + 2, 5*d - b = 3*b + 11. Is 3 a factor of d?
True
Suppose z - 196 = 4*a - 80, -2*a = 2*z + 58. Is a*(1 + (-2)/1) a multiple of 14?
False
Suppose 0*x + 248 = 4*x. Is x a multiple of 31?
True
Suppose -k = 23 - 115. Suppose 4*p + k = 2*u, -5*u - 6*p + 215 = -p. Is u a multiple of 18?
False
Let z be 2 - 2 - (1 + -375). Is z/14 - (-16)/56 a multiple of 9?
True
Suppose -u = -4*p + 15, 4*p - 4*u = 3*p. Suppose 3*b = p + 140. Does 17 divide b?
False
Let a = -8 - -8. Suppose -3*q - 33 + 9 = a. Is 14 a factor of (-21)/(-2)*q/(-3)?
True
Suppose 2*d + 34 = m - 3*m, 5*d + 55 = -3*m. Let c be (-11)/((3/m)/(-1)). Let w = 112 + c. Is 21 a factor of w?
False
Suppose -10 = -3*o - 1. Is 22 a factor of (4/12)/(o/666)?
False
Suppose 5*a = -3*s + 24, -3*s - 2*a - 2*a = -21. Suppose -s*u + 34 = 4*x, -2*x = -x + 2. Does 6 divide u?
False
Suppose 7*g - 31 = 2*g - 4*f, -4*g + 20 = 2*f. Is 24/g*2/4 a multiple of 3?
False
Suppose -283 = -5*w + 27. Does 7 divide w?
False
Let t = -7 - -17. Let j = t - 0. Is 4 a factor of j?
False
Suppose -2*s + w = -2*w - 83, 0 = -2*s + 5*w + 85. Suppose 0 = 5*h - 3*h - s. Let f = h - 9. Is f a multiple of 11?
True
Let f be -3 + 6 - 0/2. Suppose 3*h = -4*n - 8, f*h - 5*n - 10 = -0. Suppose -x = -3*d - 8, h*x - 4*d - 20 = -2*x. Is x a multiple of 14?
True
Suppose -2*s - 4*t - 4 = 0, -5*t - 14 - 2 = -3*s. Suppose 4 = 2*p - 4. Suppose -4*i = s*f - 48, -3*f - p = i - 56. Is f a multiple of 6?
False
Suppose 82 = -5*v - 118. Let k = -26 - v. Does 6 divide k?
False
Suppose -m + 0 = 3*a + 15, -m - a = 5. Suppose b - 195 = 5*z, 4*b + m*b - 708 = 2*z. Suppose 0*l + b = 5*l. Is l a multiple of 14?
False
Let b(j) = -j + 12. Let d be b(7). Suppose 2*a + 12 = 3*a + 2*h, d*h - 35 = -5*a. Does 2 divide a?
True
Let p(a) = -a**3 + 7*a**2 - 4*a + 3. Let s(w) = -w**2 + 10*w - 4. Let f be s(9). Let v = f - 0. Does 12 divide p(v)?
False
Suppose 0 = -4*u - 3*i + 47, 4*i + 11 - 4 = u. Does 11 divide u?
True
Suppose 4*h = -19 - 25. Let o(k) be the second derivative of -k**4/12 - 7*k**3/3 + k**2 - 27*k. Is o(h) a multiple of 16?
False
Let v = -26 + 0. Let c = 36 + v. Does 10 divide c?
True
Suppose -4*x = -x + 63. Let q be (-458)/(-14) - 6/x. Suppose 0*r + 3*r - 2*f - 62 = 0, q = 2*r - 3*f. Is r a multiple of 10?
False
Let b(a) = 3*a - 7. Let l(y) = 6*y - 14. Let m(g) = -5*b(g) + 2*l(g). Does 12 divide m(-8)?
False
Let j = -52 - -82. Is j a multiple of 10?
True
Let b(m) = m**2 + 5*m - 1. Let c be 2/(-9) + 75/(-27). Let v(i) = i - 3. Let l be v(c). Does 5 divide b(l)?
True
Let d = 5 - 2. Suppose 5*j + d*v = 230, 0*v = j - 3*v - 28. Does 14 divide j?
False
Let b(q) = q**2 - 7*q + 3. Let x be b(6). Let j(a) = a + 3. Let d be j(x). Suppose 2*i - 28 + 2 = d. Does 9 divide i?
False
Let h be 12/1*15/6. Suppose -3*s = 2*s - h. Suppose 19 = o - s. Does 10 divide o?
False
Let r(y) = y**3 - 2*y**2 - y + 1. Let p(i) = -i**3 - 3*i**2 + 3*i - 3. Let m be p(-4). Let o be r(m). Is 8 + (-6)/(-2)*o even?
False
Suppose -3*l - 32 = 4*z - 216, 100 = 2*l - 3*z. Is l a multiple of 4?
True
Let i(t) = t + 9. Let k be i(-8). Let d(m) = 9*m**3 - m**2 + 2*m - 1. Does 9 divide d(k)?
True
Let r be 28/(-1) - (-6)/(-3). Let w = 52 + r. Does 6 divide w?
False
Let o be 2/13 - 15568/(-208). Suppose 3*r - 4*s = 160, s + 160 + o = 4*r. Does 12 divide r?
True
Suppose 3*h = 3*q + 3, 5*q = -0*h + h + 7. Is 10 a factor of 46/(3 + q + -3)?
False
Let z = -2 - -3. Is z*(-2)/(-1) - -4 a multiple of 6?
True
Let c = -13 - -14. Is 24 a factor of c*24/15*35?
False
Let a be 5/(25/12)*15. Suppose 24 = r - a. Does 10 divide r?
True
Suppose 273 = 4*i - b + 57, 3*i - 179 = 5*b. Is 13 a factor of i?
False
Let q = 206 + -119. Is 29 a factor o