+ 88 = 2*q. Does 12 divide q?
True
Let t(o) = -2*o + 1. Let h be t(-2). Let n(g) = -g**3 + 8*g**2 - 7*g + 3. Does 12 divide n(h)?
False
Let s = -12 + 12. Let i = s + 8. Is 3 a factor of i?
False
Let r = -56 + 113. Does 21 divide r*(-4)/(-6) + -3?
False
Let v(j) be the third derivative of j**6/120 + j**5/10 + j**4/6 + j**3 + 3*j**2. Is 3 a factor of v(-5)?
False
Suppose -n - 52 = -3*n. Does 7 divide n?
False
Suppose 97 + 8 = 3*l. Is l a multiple of 9?
False
Let v be (-21)/6*(-60)/21. Suppose -5*t - 2*l - 63 = 0, 0*t = t + 3*l + v. Let j = 23 + t. Is j a multiple of 10?
True
Suppose 205 = -4*u + 53. Let k = u + 57. Let f = k + 17. Does 18 divide f?
True
Suppose -f + 159 = -4*a, -1 = f + 4. Let i = -27 - a. Is 14 a factor of i?
True
Suppose 7*b - 11*b = -60. Does 9 divide b?
False
Suppose 5 = -i - 3*w, -2*i - 3*w + 5 = -0. Suppose -5*j + i = -35. Is 9 a factor of j?
True
Suppose -5*o - 31 = -2*x, 0 = -4*x - 6*o + 4*o + 2. Suppose -x*s + 2*s = -2*r + 224, 0 = 5*s - 2*r + 1112. Is 14 a factor of (2/(-4))/(3/s)?
False
Suppose 3*i = j + 6, i + 2*i = -5*j - 12. Let o = 3 + j. Is 7 a factor of o - 0 - (2 + -13)?
False
Suppose -2*l - 4*v = -1040, -5*l = -4*v - 0*v - 2600. Is l a multiple of 65?
True
Let f(t) = t + 5. Let o be f(5). Suppose 2*z + 0*z - o = 0. Suppose -z*m + 16 = -m. Is m a multiple of 2?
True
Let v(d) = -2*d. Let t be v(-1). Does 11 divide 1 - (-16)/1*t?
True
Let g(c) = -c**3 + 5*c**2 + 6*c + 5. Suppose 2*z - 3*j = 3, -5*z = -5*j - 15 - 0. Is g(z) even?
False
Let h = 11 + 13. Is 11 a factor of h?
False
Does 14 divide (-1)/((-4)/(-28))*-10?
True
Let l = 196 + -112. Is 14 a factor of l?
True
Let y(z) = -2*z**3 - 5*z**2 + 3*z. Does 7 divide y(-4)?
False
Let s be (-79)/(-9) - 4/(-18). Let x = 31 - s. Suppose x = 2*a + 2. Is a a multiple of 7?
False
Let f(q) = 4*q - 5. Let y be f(-4). Let m = y - -42. Does 11 divide m?
False
Is -1*4/18 + 8840/90 a multiple of 23?
False
Let t = 18 - -42. Is 20 a factor of t?
True
Suppose 4*j + s - 60 = 177, 5*s - 105 = -2*j. Does 16 divide j?
False
Let i(b) = 10*b**2 + b + 5. Is i(5) a multiple of 23?
False
Let k(x) = -5*x**3 - x**2 + 1. Let r be k(-1). Suppose 20 = o + 3*w - 22, -112 = -3*o + r*w. Is 7 a factor of o?
False
Let p = 4 + -6. Let b be p*4*6/4. Is 2 a factor of (4/b)/(3/(-36))?
True
Suppose 4*k = -17 - 7. Let u be (k/(-5))/((-2)/(-210)). Suppose -6 = 3*o - u. Is o a multiple of 17?
False
Suppose -4*r - 16 = 0, -94 = -2*t + 5*r + 110. Is 21 a factor of t?
False
Let x(h) = -3*h**3 - 3*h**2 - h - 2. Is x(-2) a multiple of 4?
True
Suppose 85 = b - y, 3*y - 5 + 20 = 0. Let p be 2/(-6) + b/15. Let l = 12 - p. Does 3 divide l?
False
Let r(o) = o**3 + 8*o**2 + 6*o + 4. Suppose -13 = m + 5*g, 0*m + 3*g - 2 = -2*m. Let t = m - 14. Is 4 a factor of r(t)?
False
Suppose 3*y - 2 = 4. Let z be 4 + (-2 - -7*14). Suppose -4*i - 2*h = -6*h - 68, -5*i + y*h = -z. Is 11 a factor of i?
True
Let z = -78 - -163. Suppose -6*n = -n - z. Is n a multiple of 9?
False
Suppose 0 = -5*v - 3*t + 31, t + 12 = 2*v + 2*t. Suppose 26 = -v*d + 156. Is d a multiple of 9?
False
Suppose -4*h - 4*q = -0*h - 1892, -2*h + 2*q = -966. Suppose 6*o - 248 - h = 0. Does 34 divide o?
False
Suppose -2 = 4*o + 2. Let t be 4*((-81)/12)/o. Suppose 0 = 5*u - z - 35, 7*z - 4*z = 2*u - t. Does 3 divide u?
True
Let q = 2 - -2. Let b(j) = 4*j. Does 16 divide b(q)?
True
Is 32 a factor of (3 - 0) + 336/6 + -3?
False
Let m = -2 - -4. Suppose 0 = -4*b - m - 2. Is (b*5)/(1/(-4)) a multiple of 10?
True
Suppose -g = -73 + 16. Is g a multiple of 11?
False
Let h = -59 - -134. Is h a multiple of 8?
False
Suppose 19 = 2*v - 17. Suppose f + v = 2*o, -o - f = 4*o - 45. Is o even?
False
Suppose -5*t - 5*v = -135, 8*t - v - 45 = 6*t. Does 11 divide t?
False
Let y = -27 + 227. Suppose -3*w - w + i + 395 = 0, -y = -2*w - 2*i. Is w a multiple of 23?
False
Suppose 3*k - 3 = 3. Suppose -k*y = -4*z - 0*z + 178, -3*z = 3*y - 147. Does 5 divide z/8 - 2/(-8)?
False
Let x(p) be the first derivative of -p**5/20 - p**4/2 - 4*p**3/3 - 3*p**2/2 - 2*p - 2. Let z(d) be the first derivative of x(d). Does 20 divide z(-6)?
False
Suppose -8*a + 3*a = -10. Suppose q - 7 = a. Is q a multiple of 8?
False
Let z be 6*3*(-6)/(-4). Suppose 2*q - z = 3. Is 15 a factor of q?
True
Let a(c) = c**3 - 2*c**2 + 2*c. Let s be a(2). Let z = 56 + s. Suppose 2*f = -f + z. Does 10 divide f?
True
Let r(f) be the second derivative of f**7/2520 + f**6/144 - f**5/30 - f**4/12 - f. Let u(d) be the third derivative of r(d). Does 9 divide u(-7)?
False
Let w = -11 - -50. Is 8 a factor of w?
False
Suppose 134 = 6*t - 112. Is t a multiple of 2?
False
Let o(n) = 21*n + 26. Let m(l) = -4*l - 5. Let d(q) = 22*m(q) + 4*o(q). Let z be d(-6). Does 12 divide (-4)/z - (-254)/9?
False
Let c(p) = 5 - 6 - 2*p + 2. Does 19 divide c(-9)?
True
Suppose 6*u + 18 = 3*u. Is 7 a factor of (-7 - u)*(-17 + -1)?
False
Let t(w) = 3*w**3 + w**2 + w. Let r be t(-1). Does 18 divide 24*(18/(-8))/r?
True
Suppose 0 = -4*z + 5*w + 653, -2*w + 161 = -5*z + 956. Suppose 0 = -5*p + 427 - z. Does 20 divide p?
False
Let j(p) = -p**3 - 3*p**2 + p. Let d be j(-3). Is (-3)/(d/20) + -1 a multiple of 9?
False
Suppose 0 = -3*c - 12, -j + 4*j - 4*c = 31. Let r = 11 - j. Suppose r*k = -4*s + 4*k + 34, -3*s = 5*k - 15. Is 10 a factor of s?
True
Let r(q) = 16*q - 8. Let h(g) = -208*g + 104. Let y(v) = -3*h(v) - 40*r(v). Let l be y(-6). Suppose 0*k + l = 4*k. Is 9 a factor of k?
False
Let t(i) = -26*i**3 - i. Let q(d) = d**3 - 7*d**2 + 6*d - 1. Let k be q(6). Does 9 divide t(k)?
True
Let q(k) = -k**3 + 3*k**2 + 6*k - 5. Suppose 3*v = -a + 16, -4*a - 2*v = -2*a - 16. Let f be q(a). Is 2 - ((-29 - -3) + f) a multiple of 22?
False
Let z(b) = 8*b**2 + 2*b - 12. Let t(v) = 1. Let d(p) = 12*t(p) + z(p). Does 14 divide d(-3)?
False
Suppose -m - 4*m = -655. Let h = m - 63. Suppose -7*z = -3*z - h. Is 8 a factor of z?
False
Suppose -3*c = -4*l + 115, 2*l + c = 3*l - 29. Suppose -j = 5 - l. Is j a multiple of 12?
False
Let u(g) = 4*g**3 - 2*g**2 - 7*g - 7. Let h(y) = 5*y**3 - 2*y**2 - 8*y - 8. Let m(p) = -5*h(p) + 6*u(p). Is 6 a factor of m(-3)?
False
Suppose -2*r + c + 65 = 6*c, 2*r - 62 = -2*c. Let m = -19 + r. Let l = 29 - m. Is l a multiple of 11?
False
Let s(m) = m**3 - 24*m**2 + 6*m - 32. Is s(24) a multiple of 14?
True
Let l = -1 - -15. Let s = -1 + l. Suppose -4*o + s = -7. Is 5 a factor of o?
True
Let j(i) = i**2 + 20*i + 18. Is j(-26) a multiple of 16?
False
Suppose 14 = -k + 3*k + 4*t, -1 = -t. Let s = 6 - k. Does 12 divide (-2 - -20) + 0/s?
False
Suppose -5*u + 65 = s, -2*s - 5*u = -47 - 88. Suppose s = y + y. Is y a multiple of 13?
False
Let s(i) = 2*i**2 + 6*i - 6. Does 10 divide s(3)?
True
Let u be 1/(-1 + 2) - -6. Let r = -42 - u. Is 17 a factor of 3/(-9)*(r - 2)?
True
Suppose 4*f - 207 + 23 = 0. Is 23 a factor of f?
True
Let g = -2 - -2. Is 15 a factor of 13 + (4 - (2 + g))?
True
Let d(s) = -4*s - 12. Is 8 a factor of d(-10)?
False
Suppose 0*d + 3*d = 0. Suppose -2*w = x + 13, -3 = -2*x - 2*x + 3*w. Does 4 divide (-2)/(-1) - (x + d)?
False
Let r = -100 - -189. Does 13 divide r?
False
Let h be 14/(-18) + 3 + (-174)/54. Let j(v) = -4*v + 1. Let k(i) = i. Let t(x) = j(x) - 3*k(x). Is t(h) a multiple of 4?
True
Suppose 416 = -5*b + 7*b. Is 23 a factor of b?
False
Suppose 4*a - 82 = -3*p, 2 + 18 = 5*a. Is 18 a factor of p?
False
Suppose -4*l + 0*l = -20. Suppose -j = l - 0. Is 12 a factor of (-14)/(1*2/j)?
False
Let r be 2526/54 - 2/(-9). Let q(a) = a - 22. Let t be q(0). Let h = r + t. Does 16 divide h?
False
Let w = 33 - -38. Does 31 divide w?
False
Suppose 12*l - 16*l = -84. Is 14 a factor of l?
False
Does 14 divide ((-114)/(-4))/((-4)/(-8))?
False
Let h be 1188/21 - 6/(-14). Let b = 82 - h. Does 7 divide b?
False
Let h be (-17)/(-1) - -1*1. Suppose -h = -2*u + 4*u. Is 10 a factor of (20/6)/((-3)/u)?
True
Is 3/4 + 218/8 a multiple of 7?
True
Suppose 0 = -4*s - t + 329, 5*s = -t + 4*t + 407. Suppose -4*b - s = -5*k + 64, k = -4*b + 10. Is 26 a factor of k?
True
Let h(w) = 3*w**3 - w**2. Suppose 2*b + 18 = f + 4*f, -4*b = f - 8. Let z be h(b). Suppose z*j - 40 = -4. Is 7 a factor of j?
False
Suppose p - 4 + 1 = 0. Let q(y) = -5*y**2 + 3*y**2 - 5*y**2 - 3*y - 4*y**p + 3*y**2. Does 6 divide q(-2)?
False
Let t be (8 - 25)/(1/3). Let g = 85 + t. Is 18 a fact