(y) = -2*y - 14. Suppose 1 + 17 = -2*b. Is 4 a factor of f(b)?
True
Suppose 0 = -2*k - 0*k + 2, -4*k + 24 = 5*q. Suppose -q*i + 29 = 5. Suppose 5*o - 3*t - 77 = 0, -t + 65 = i*o - 2*o. Is 8 a factor of o?
True
Suppose -5*x + 12 = -8. Suppose -x*t = -t - 18. Suppose -4*s - 5*c = -t*s + 9, 3*s = c + 20. Is 5 a factor of s?
False
Let q(c) = -8*c**2 + 16*c + 5. Let s(d) = -7*d**2 + 15*d + 4. Let h be (-3)/6*(1 - 15). Let m(f) = h*s(f) - 6*q(f). Does 8 divide m(6)?
True
Suppose 5*d - 4*x = 330, -5*d = -5*x - 470 + 140. Is 8 a factor of d?
False
Let i = -9 - -3. Is 17 a factor of 52/3*i/(-4)?
False
Let d(g) = -g**2 + 5*g + 2. Suppose 25 = 5*v - 0. Let z be d(v). Suppose -w + z*w - 15 = 0. Is w a multiple of 15?
True
Let z(u) = u + 38. Does 8 divide z(0)?
False
Suppose x - 90 = -b + 32, 2*b = -4*x + 236. Does 7 divide b?
True
Let u = 124 - 63. Suppose -184 = -2*m - h, -8*m - 5*h + 368 = -4*m. Suppose -2*y + d = -u, -4*d = 4*y - 0*y - m. Does 14 divide y?
True
Suppose 7 = k + 2. Suppose -k*d - 91 + 31 = 0. Let l = d - -21. Is l a multiple of 5?
False
Let d = 1 + -6. Let l = -5 - d. Suppose l*r - 48 = -3*r - p, 5*r - 3*p - 94 = 0. Does 17 divide r?
True
Let j(h) be the third derivative of h**5/30 + h**4/6 + h**3/6 - h**2. Is j(-3) a multiple of 2?
False
Let a be 0 + 0 + 2/(-2). Let p = a - -5. Suppose 2*q + 4*j - 106 = 0, 3*q = j - p*j + 159. Is q a multiple of 15?
False
Let o = 158 + -128. Does 13 divide o?
False
Suppose 3*f = y - 107, -y - 3*f + 122 = -9. Is 27 a factor of y?
False
Suppose -v - 3*o + 18 = 0, -3*o + 54 = 7*v - 2*v. Let t = -5 + v. Is 2 a factor of t?
True
Does 6 divide (20/12 + 1)*6?
False
Let f(t) = 2*t**3 + 2*t - 1. Let l be f(1). Suppose l*v + 0*v = 129. Does 22 divide v?
False
Let o(a) = a**2 - 6*a + 7. Suppose -2*q + 5*f + 12 = 0, -3*q - f + 6 = -12. Let n be o(q). Does 14 divide n*6*(-4)/(-6)?
True
Suppose -5*c = 3*b - 196, 3*b + 3*c = -0*c + 186. Suppose -b + 17 = 4*w. Is 362/10 - (-2)/w a multiple of 14?
False
Suppose y + 5*t - 15 = 0, 0*y + t = y - 21. Does 20 divide y?
True
Let b be (8/(-12))/((-4)/18). Suppose 3*k = i - 7, 130 = 2*i + b*i + 4*k. Is 7 a factor of i?
False
Does 21 divide 2/(-15) + 2219/105?
True
Let x be -1*(-5 - (0 - 2)). Let m(q) = -12*q - 1. Let u be m(x). Let j = 65 + u. Is 14 a factor of j?
True
Let t be ((-8)/3)/((-10)/15). Suppose 2*m - 64 - t = 0. Is 11 a factor of m?
False
Let s(r) be the second derivative of 3*r - 3/10*r**5 + 1/2*r**3 + r**2 - 1/6*r**4 + 0. Does 16 divide s(-2)?
False
Let s be 0 + (-2)/((-4)/2). Let m be 17/2*(-3 + s). Let q = -10 - m. Is q a multiple of 3?
False
Suppose 0*f = -4*f + 68. Suppose -r + f = -8. Is r a multiple of 19?
False
Suppose -2*a + 6*a - 164 = 0. Is 14 a factor of a?
False
Suppose u + x = -0*x + 276, 0 = -4*u - 2*x + 1104. Does 26 divide u?
False
Suppose 0 = -3*s - 3 + 15. Let h(i) = i**3 - 4*i**2 + 3*i - 6. Is h(s) a multiple of 5?
False
Is 7 a factor of (-1 - 2)*-21*49/63?
True
Let f = -14 - -46. Suppose -2*z + q = -f, -5*z + 3*q = q - 82. Is z a multiple of 9?
True
Suppose 3*d = 0, 5*b = 3*b + 5*d + 10. Suppose -m - 4 = -b*m. Does 12 divide (35 + 2 - m) + 0?
True
Let n(k) = k + 7. Let y(c) = -c - 9. Let f be y(-6). Let o be n(f). Is (-37)/3*(-12)/o a multiple of 15?
False
Suppose 0 = -n + 11 + 36. Suppose -n = -p + 5*l, 4*p - 96 = -4*l + l. Is 6 a factor of p?
False
Let l = -45 - -56. Does 3 divide l?
False
Suppose 2*l = -l + 906. Is 46 a factor of l?
False
Let w(c) = -c + 10. Let a(k) = k**3 - 7*k**2 + 8*k - 7. Let u be a(6). Is w(u) a multiple of 5?
True
Let a(o) = -2*o**3 + o**2 - 2*o - 3. Let z be a(5). Let r = 387 + z. Suppose 5*j = 11 + r. Is 16 a factor of j?
True
Let v be 4/(1/(-2 - -1)). Let d = 9 + v. Suppose 81 = d*l - 144. Is l a multiple of 16?
False
Let a(z) = -2*z - 2. Let d be (-72)/10 - 5/(-25). Is 4 a factor of a(d)?
True
Let d(m) = -m + 6. Let t be d(4). Suppose t*k = -3*k + 25. Suppose -5*b - 55 = -2*v, v + 117 = k*v - 3*b. Does 14 divide v?
False
Let p(u) be the third derivative of -u**4/6 + 7*u**3/6 - 4*u**2. Does 7 divide p(-5)?
False
Suppose 2*y - 161 - 305 = 0. Is 24 a factor of y?
False
Let p be 4/9*15*18. Suppose -2*g + 123 = 3*i, 3*i - p = -g - 0*g. Is 10 a factor of i?
False
Suppose -4*g + 50 = -5*r - 91, -r = -5*g + 150. Suppose -13 = 3*z + g. Let t = 21 + z. Is t a multiple of 7?
True
Suppose -8 = 2*u, -2*u - 24 = 3*b + 44. Let x = 28 + b. Is 4 a factor of x?
True
Let s(k) = -30*k - 15. Is s(-6) a multiple of 20?
False
Is (-2)/5 - (2 - (-268)/(-20)) a multiple of 2?
False
Let t = 60 + -30. Is 6 a factor of t?
True
Let j(g) = g**3 - 8*g**2 + 9*g - 2. Is j(8) a multiple of 15?
False
Suppose -3*j = -228 + 78. Is j a multiple of 25?
True
Let b = 1 - -1. Suppose -b*z + z = -5. Does 8 divide z*(-2 - (-26)/5)?
True
Suppose -3*k - 4 = -10. Let c = k - 1. Let u = 6 + c. Is 7 a factor of u?
True
Let k(d) = -3*d - 4. Is k(-4) a multiple of 8?
True
Is 3 a factor of -1 - 0 - (-8 - 1)?
False
Let w = -5 + 3. Let m(k) be the second derivative of k**4/2 - k**3/2 - 3*k**2/2 - k. Is m(w) a multiple of 10?
False
Let a(x) = x**3 - 10*x**2 + 9. Suppose -m = -4*m - 5*q + 290, 0 = 2*m + 4*q - 194. Let d be (-2)/(-4) + m/10. Is a(d) a multiple of 9?
True
Let a(q) = -q**2 + 3*q + 3. Let i be a(3). Suppose -i*w = -16 - 77. Is 10 a factor of w?
False
Let o(h) be the first derivative of -h**4/4 - 8*h**3/3 - 3*h**2 - 3*h + 2. Let x be o(-6). Does 10 divide x/(-2) - 3/(-6)?
True
Let r be (-353 - 5)*(-1)/2. Suppose -15 = -5*j, 5*i + 91 + r = -5*j. Let y = 97 + i. Does 20 divide y?
True
Let j be (-3)/(-18) + (-105)/(-18). Is 5 a factor of (-4 + j)*57/6?
False
Let p = -18 - -35. Is 17 a factor of p?
True
Let t(i) = i**2 - 8*i + 3. Let x(h) = 21*h - 8. Let o(z) = -z**2 + z. Let r(n) = 4*o(n) + x(n). Let k(d) = 2*r(d) + 7*t(d). Is 7 a factor of k(-5)?
False
Suppose 5*u = y - 19 - 30, 3*u = 3*y - 159. Suppose y = 2*f - 5*k, -33 - 45 = -4*f - 5*k. Is 22 a factor of f?
True
Suppose 46 + 14 = 4*j. Is j a multiple of 5?
True
Suppose -4*o + 3 = o + 3*g, 0 = -4*g + 4. Let i(p) = 2*p + 30. Is 11 a factor of i(o)?
False
Suppose -n + 0*n + 1 = f, 0 = f + 4*n + 2. Suppose -3*a + 99 - 7 = -2*m, 3*m = f*a - 128. Let q = m + 68. Does 14 divide q?
True
Suppose -3 + 31 = 4*a. Suppose 3*i - a*i + 24 = 4*f, 2*f = i + 24. Suppose f = -t + 75. Does 24 divide t?
False
Let j = 71 + 66. Is 18 a factor of j?
False
Let f(o) = -2*o. Let a be f(-1). Let u(s) = -10*s + 3. Let q be u(a). Let i = q + 49. Is i a multiple of 14?
False
Let d = -53 + 23. Let k be ((-2)/(-2) - d) + 0. Suppose 0 = 4*o - k - 97. Is 14 a factor of o?
False
Let z(a) = -2*a**3 - 5*a**2 + 7*a - 3. Is 17 a factor of z(-6)?
False
Suppose t = 2*r - 3*t + 8, 5*t - 15 = 0. Suppose 2*j + r*j + 2*h = 28, 0 = 3*j + 4*h - 16. Suppose 3*n = n + j. Is 4 a factor of n?
True
Let i be (-171)/(-5 + 2) - -3. Suppose 2*n = i + 14. Does 11 divide n?
False
Suppose -4*d = -p - 289, 2*d = -0*d + 3*p + 147. Suppose -3*g = 4*t - 143, -g = -5*t + 83 + d. Does 16 divide t?
True
Suppose -5*d + 2*u + 31 = 0, 5*d - 2*u = 3*u + 40. Suppose 0*a + 2*w + 4 = 2*a, d*w - 2 = a. Suppose a*p + 0*p - 72 = 0. Is 12 a factor of p?
True
Let y(z) = -18*z + 21. Does 8 divide y(-6)?
False
Let h(o) = 9*o - 6. Let p(n) = -8*n + 6. Let i(u) = -6*h(u) - 7*p(u). Let v(l) = -5*l**3 + l**2 - l - 2. Let r be v(-1). Is 2 a factor of i(r)?
True
Suppose -3*a - 11 = -32. Let m = a - 4. Is (-3)/((-10)/m - -3) a multiple of 3?
True
Suppose o + o - 2*t = -4, -4*o = -2*t + 18. Let g(f) = -f - 5. Let k be g(o). Suppose 5*u - k*z - 35 = 0, 4*u - 16 = -0*u + 4*z. Is u a multiple of 6?
False
Let y(a) = -a + 21. Suppose 0 = t - 4 - 12. Does 3 divide y(t)?
False
Let v = -3 + 7. Suppose v*s = 3*s + 30. Does 9 divide s?
False
Let g be 2/8 + 15/20. Is 13 a factor of 2015/52 - g/(-4)?
True
Let k = 111 + 7. Suppose -2*z - 213 = -u, -3*u = 4*z + k + 283. Does 13 divide (6/(-4))/(4/z)?
True
Suppose 0*q + 2*q = -2*w + 74, q - 36 = -2*w. Is q a multiple of 18?
False
Suppose 0 = 3*o - 5*x - 11, -2*o - 3*o - 3*x + 41 = 0. Does 2 divide o?
False
Let m be (-5)/1 + 6 - (-2 - -2). Let t(j) = 0 + 1 + 4*j + 8*j. Is 13 a factor of t(m)?
True
Suppose -1180 = -f - 4*f. Let i = f - 156. Suppose -i = -0*k - 5*k. Does 7 divide k?
False
Let w = -28 + 63. Is w a multiple of 5?
True
Let i(g) = -1 + 1 + 1 +