 11 + c = 0. Is 14 a factor of d?
True
Suppose 2*p - 30 = -3*p. Is 5 a factor of p?
False
Let y(o) = 4*o - 15. Suppose 5*k - 27 = 3. Is y(k) a multiple of 9?
True
Suppose -214 = -5*z - 4*h + 97, 3*z = 2*h + 169. Is 13 a factor of z?
False
Let b = 70 - 44. Is b a multiple of 11?
False
Let h(g) = 2*g**2 + 5*g - 10. Does 6 divide h(-8)?
True
Let q be (20/12)/(2/6). Suppose -q*h = -4*y + 68, -4*h = 5*y - y - 32. Is y a multiple of 12?
True
Suppose 5*i = -2*b + 528, 4*i - 311 = b + 114. Suppose -3*m + i = 4. Is 9 a factor of m?
False
Let m(i) be the third derivative of i**4/24 + 2*i**3 - 3*i**2. Is m(0) a multiple of 12?
True
Suppose 3*s - 5 = 4. Suppose -2 + 5 = s*k. Suppose -o + k = -12. Is o a multiple of 13?
True
Let m = -174 + 293. Is m a multiple of 38?
False
Suppose -4*b + 0*m = 5*m + 44, -5*b - 34 = m. Let i(d) = 9*d - 7*d - 3*d + 3. Is 9 a factor of i(b)?
True
Let g = 14 + -4. Let r be (2/3)/(g/855). Let w = -9 + r. Does 16 divide w?
True
Suppose -5*f + 15 = -5*g, -3*f + 5 = 5*g - 4. Suppose -3 + 9 = -f*a. Does 14 divide 82/2 + 0/a?
False
Suppose r - 5 = -0*r, r = -p + 22. Does 3 divide p?
False
Suppose 4*a + 40 + 32 = q, -4*a + 268 = 4*q. Is q a multiple of 17?
True
Let b be 81/(-18)*(-20)/3. Is 20 a factor of 2/6 + 2120/b?
False
Is (-4 - 13/(-3))*159 a multiple of 8?
False
Let x be ((-2)/4)/(1/(-2)). Let t be -1 + 0 + x - 18. Let i = 10 - t. Does 14 divide i?
True
Let r(x) = -x - 2 + 2. Let q be r(-3). Suppose -j = -q*i + 85, -5*j = i + 3*i - 88. Is 10 a factor of i?
False
Suppose 6*b = 3*b + 12. Suppose -76 = -b*n + 6*f - f, 5*f - 22 = -3*n. Is n a multiple of 7?
True
Let n(g) = -g**3 - 5*g**2 - 6. Let j be n(-5). Let c be 3/j*-4 + 1. Suppose -c*p + 4*r + 104 = 13, 163 = 4*p + 3*r. Is p a multiple of 15?
False
Let d = -105 + 105. Let q(z) = z**3 + 7*z**2 + 5*z - 1. Let x be q(-6). Suppose 2*b + x*t - 25 = 0, -3*t + 2*t + 1 = d. Does 5 divide b?
True
Let m(a) = -a**3 + 12*a**2 - 9*a - 16. Let z be m(11). Let j = 3 + z. Does 9 divide j?
True
Suppose -5 = -5*j, -5*j = -4*i - 0*i + 67. Is 3 a factor of i?
True
Suppose -5*j + 62 = 17. Suppose -3 - j = -4*q. Suppose q*r = -r + 112. Is r a multiple of 14?
True
Let w = -17 + 25. Let r(u) = 9*u**2 + 2 - 6*u - 4 + 0 - u**3. Is 10 a factor of r(w)?
False
Suppose -2767 - 1141 = -4*b + 2*x, -x = 3*b - 2936. Let t be 2/(-10) + b/15. Suppose 2*y = -6, -2*y - y - t = -2*z. Does 14 divide z?
True
Suppose 3*m - 2*m - 75 = -2*n, 3*m + 5*n = 221. Suppose 32 = -4*w - 2*u - 16, -5*w + u = m. Let h = 40 + w. Does 9 divide h?
True
Suppose 25 = -3*a + 118. Does 14 divide a?
False
Let b be 1 - 4/2 - 59. Let d be b*(0 + 2 + -3). Suppose 2*s = -s + d. Is s a multiple of 10?
True
Let j = -276 + 432. Does 26 divide j?
True
Let k = 11 - 5. Suppose 3*c = 5*m + 48, 2*c + 22 = -2*m + k*c. Let d = m - -17. Does 3 divide d?
False
Let l be -5*(21/15 + -2). Suppose 3*b - 29 = -4*w, -3 = -l*w - b + 5*b. Suppose -1 = -5*f - 4*m + 223, -3*f - w*m + 137 = 0. Does 27 divide f?
False
Suppose -m - m + 8 = 0. Suppose 12 = m*v - 12. Is 17 a factor of 3/v + 33/2?
True
Suppose 234 = 5*o + 3*v - 69, 4*v = o - 56. Suppose 0 - o = -3*w. Is 10 a factor of w?
True
Suppose 0 = -y + 2*z - 1, 3*y + z - 14 = -y. Suppose 0*k + k - a = 17, 0 = y*a - 15. Does 7 divide k?
False
Let o(a) = -2 - 8*a - 1 + 2. Let b be o(2). Let i = b - -30. Is i a multiple of 5?
False
Suppose -5*a + 4*a = -4. Suppose -4*i = -3*k - 21, 3*i + k - 2 = a. Let v = i + 1. Is 2 a factor of v?
True
Let i(u) = u**2 - 8. Does 14 divide i(-6)?
True
Let d = -4 - -4. Suppose -8*o + 11*o - 27 = d. Is 6 a factor of o?
False
Let v = 3 + -4. Does 5 divide v*2*1 - -13?
False
Suppose 2*l = -3*l - 4*y + 180, -y = 2*l - 69. Suppose -2*g + g = 2*w - l, -4*w = -12. Is g a multiple of 10?
False
Let i(j) = -j**2 + 7*j - 7. Let d be i(5). Suppose -k - 2*p = 0, -k + d = -2*k - 3*p. Is k even?
True
Let m(y) = -5*y + y - 3 + 2. Let r be m(-1). Is 2 a factor of (0/r + 1)*5?
False
Let c = 18 + -12. Let u = 20 - c. Is 9 a factor of (11/(-2))/((-7)/u)?
False
Let c(x) = -2*x**2 + 7 - x - 13*x**3 - 7. Is c(-1) a multiple of 12?
True
Suppose -2*o = 2*o + 96. Let l = 40 - o. Let t = l + -36. Is 14 a factor of t?
True
Let p(l) = -l**2 - 8*l + 16. Let n be p(-11). Let h(y) = y**2 - 6*y - 2. Let q be h(7). Let j = q - n. Is 20 a factor of j?
False
Let h be (-74)/14 + (-4)/(-14). Let a = h - -5. Suppose -3*m + a*m = -3*z - 27, 33 = 3*m - z. Does 6 divide m?
True
Let w(t) = 2*t - 1 + 14*t - 3*t. Is w(3) a multiple of 19?
True
Suppose -g = 1 - 6. Suppose g = 2*i + 1. Suppose -i*l - 2 = -12. Is l a multiple of 5?
True
Let p be ((-2)/(-3))/((-6)/(-36)). Let k be p + -3 - (1 - 0). Let b = k + 23. Does 6 divide b?
False
Suppose 0 = c - 3 - 19. Is c a multiple of 5?
False
Let m = 2 - 1. Let l = 51 - 83. Let d = m - l. Does 12 divide d?
False
Let g = -120 - -64. Let s be (-3)/5 + g/(-10). Suppose -s*z - 27 = 2*w - 112, -4*w + 2*z + 110 = 0. Does 15 divide w?
True
Suppose -5*b - 10 = 0, -4*b - b - 178 = -3*v. Does 9 divide v?
False
Let r(t) = t**2 - 3*t. Let l be r(3). Let y be (l + 1)/((-1)/(-2)). Is 2/5*(y + 63) a multiple of 13?
True
Suppose 4*m = 8, -6*i + 42 = -5*i + 5*m. Is 16 a factor of i?
True
Let w(f) = -35*f - 1. Let q be 0/(-2) + (-1 - -1). Suppose -4*d + h + 1 = q, -h + 3*h + 10 = 0. Does 12 divide w(d)?
False
Let r(k) = 4 + 1 - 4 + 16*k**2 + 2*k. Does 15 divide r(-1)?
True
Let o(b) = -b - 3. Let d be o(-10). Suppose -3*n - 24 = -d*n. Is 3 a factor of n?
True
Suppose 0 = 3*m - 0*m + 4*v - 44, -4*v + 8 = 0. Is 2 a factor of m?
True
Suppose -3 = 5*y - 8. Let q(z) = 15*z**2 + 1. Let f be q(y). Let o = f + -7. Is o a multiple of 3?
True
Is 4 a factor of ((-70)/(-15))/((-2)/(-3))?
False
Let k be 3/(-6) - (-282)/4. Suppose -4*l + 5*z = -49 - 6, 2*z - k = -3*l. Is l a multiple of 4?
True
Let n(a) = -a**3 + 4 + 2 + 8*a**2 + 0*a**3 - 3. Is 26 a factor of n(7)?
True
Suppose -144 = -x - 5*x. Does 12 divide x?
True
Suppose 4*z + 147 = k, -5*k - 2*z - 265 + 1088 = 0. Does 15 divide k?
False
Suppose -3*w + m = 2*w - 2, 2*w - 3*m - 6 = 0. Suppose -i - p = -11 - 4, w = 2*i - 3*p - 15. Is i a multiple of 6?
True
Let a be (2/4)/((-5)/30). Let x be 4/14 - (-164)/14. Does 6 divide (-8)/x - 38/a?
True
Suppose 7*w = 2*w + 10. Let h be (-64)/w + (-5 - -2). Let r = h + 56. Does 8 divide r?
False
Let t(j) = -j**3 + 6*j**2 - 4*j + 1. Let c be 5 - -1*(1 - 1). Let b be t(c). Suppose 5*d + 4 = b*d. Is 2 a factor of d?
True
Let c(u) = u**2 - 2*u - 7. Let p be c(5). Let i = p + 1. Is 3 a factor of i?
True
Let f(u) = -2*u + 9. Let q be f(-10). Suppose 3*g + 12 = -g, l - 2*g - q = 0. Is 10 a factor of l?
False
Suppose -272 = -5*j - 62. Is 14 a factor of j?
True
Let h = 116 - 82. Does 20 divide h/(-1)*(-9)/6?
False
Suppose -4*h = -5*j - 60, 3*j + 22 = -h + 2*h. Suppose -s - h = -i, 5*i - 75 - 15 = -3*s. Suppose 0 = -2*p - 3*n + 57, i = 2*p - 2*n - 17. Is p a multiple of 7?
True
Let m(u) be the first derivative of 9*u**2/2 + 3*u + 7. Does 12 divide m(5)?
True
Let v(g) = -g**2 + 6*g + 1. Let q be v(7). Is (183/q)/(2/(-4)) a multiple of 26?
False
Let w = 122 - 62. Is w a multiple of 15?
True
Suppose f + 20 = 71. Let n = f - 21. Is 12 a factor of n?
False
Suppose -2*c - 3*c = -4*o - 10, 2*c - 22 = -2*o. Suppose -u = u + c. Is 4 a factor of 1*(-2*6)/u?
True
Let p = 65 - 21. Does 9 divide p?
False
Let s be -1 - (-4 + 3 - 2). Suppose s*i - 2*z - 72 = 0, -i - 7 + 39 = z. Is i a multiple of 14?
False
Is 3 a factor of (-279)/18*-2*1?
False
Suppose 4*m + h - 141 = 0, m = 5*h + 5 + 4. Is m a multiple of 5?
False
Let k be (0*(-2)/6)/(-2). Suppose k = j - 3*j. Suppose -z + 2*w + 21 = j, -3*z + 0*w - w + 63 = 0. Is z a multiple of 12?
False
Does 18 divide (-2 + 1 - -2) + 17?
True
Let c(l) = -l**3 + 13*l**2 + 8*l - 8. Does 32 divide c(13)?
True
Suppose 12 = y - 5*j, 5*y - 2*j - 23 = 152. Does 17 divide y?
False
Suppose -5*i = 3*v - 14, 4*i - 3*i + 14 = 5*v. Let t be (i - 3/(-2))*2. Suppose -t - 8 = -4*u + 5*b, 3*b = 4*u - 11. Is u a multiple of 2?
True
Let j(f) = -f**3 - 5*f**2 + 2*f + 1. Let k be j(-5). Is 3 a factor of (-3)/k*-3*-7?
False
Suppose -4*l = 5*y + 18, 3*y - 2*y + l = -3. Let a(m) be the first derivative of 2*m**3/3 + 3*m**2 - 6*m + 1. Does 15 divide a(y)?
True
Suppose -3*h + 6*h = 12. Suppose -h + 84 = 5*f. Let u = 26 - f. Is 3 a fac