Is g(c) a multiple of 2?
True
Suppose 2*s = -2*s. Let z be (1 - s)/(4/20). Suppose -z*y + 18 + 17 = 0. Does 5 divide y?
False
Let i(b) = 3*b**2 + 3. Does 26 divide i(-5)?
True
Let z(p) = -2 + 7*p**2 - p**2 - p**3 + 2*p - 1. Let j be z(6). Let w = 2 + j. Is 11 a factor of w?
True
Is 37 - (-2 + 0) - 24/12 a multiple of 5?
False
Let s(x) be the first derivative of -x**4 + x**3/3 - x**2/2 - x + 2. Let j be s(-1). Suppose -j*b + 2*b + 30 = 0. Does 10 divide b?
True
Let z = 3 - 3. Suppose z = -4*h + 11 - 3. Suppose r - n = -3*n + 19, -2*n - h = 0. Is 15 a factor of r?
False
Suppose -5*i + 721 + 1049 = -5*w, 358 = i - 5*w. Is i a multiple of 29?
False
Let m be -1*(-1 - (1 + -1)). Suppose -m = 4*z - 9. Suppose -z*r + 6 = -w - 34, 0 = 4*r + w - 80. Does 7 divide r?
False
Suppose 162 = 2*x + 4*r, 4*x = -r + 374 - 71. Is 15 a factor of x?
True
Let u(n) = -n**3 + 5*n**2 - 4*n + 3. Let o be u(4). Suppose 5*h = 3*s + 38, h + o*s - 18 = s. Is 10 a factor of h?
True
Let x be (-3)/4 + 243/36. Is 7 a factor of (x/(-7))/((-5)/140)?
False
Let f(s) = -6*s - 15. Does 12 divide f(-12)?
False
Let m(o) = o**3 + 5*o**2 - 7*o - 3. Let c be m(-6). Suppose c*n + 10 = 58. Suppose n = 2*p - 18. Is p a multiple of 13?
False
Let k(y) = -y**2 + 16. Let f be -2 - (0 - (0 + 12)). Suppose 2*j + 6 = -3*l, -j + 4*j - 5*l = f. Does 16 divide k(j)?
True
Let g be 38/10 - (-3)/15. Suppose 2*x = 2*p + 10, g*p - 35 + 1 = -2*x. Does 9 divide x?
True
Let f(a) = -a. Let o(p) = 7*p. Let u(r) = -5*f(r) - o(r). Let s be u(-2). Suppose 0*z = s*z - 104. Is z a multiple of 13?
True
Let w be 95/4 + 16/64. Suppose 6*k - w = 4*k. Does 4 divide k?
True
Suppose -129 = -2*v - 2*v - 3*m, -m - 57 = -2*v. Let w = v - -38. Does 16 divide w?
False
Let g(z) = -3*z**3 - 5*z**2 - 5*z. Does 55 divide g(-5)?
True
Let p be (3/6)/((-2)/144). Is 12 a factor of 2/(-12) - 1302/p?
True
Suppose 2*r + 0*r + 3*k = 6, 0 = -3*r - 2*k - 1. Let o(w) = w + 3 + 6*w**2 + 3*w - 3*w**2. Does 9 divide o(r)?
True
Let u(m) = m**3 - 5*m**2 + 2. Does 19 divide u(6)?
True
Suppose 0 = 5*n - n + 4. Is 11 a factor of n - (-2 - (0 + 23))?
False
Suppose v = 17 + 51. Does 10 divide v?
False
Suppose 0 = a - 35 - 13. Is a a multiple of 8?
True
Let j = 107 + -47. Let u = j - 27. Does 11 divide u?
True
Is 19 a factor of (-8)/(-6)*(-375)/(-5)?
False
Suppose 3*f = -x + 408, 0 = 5*f + 3*x - 8*x - 660. Is f a multiple of 15?
True
Let y(z) = -z**3 + 7*z**2 - 4*z - 8. Let u be y(6). Suppose 4*r + u*i = 3*r + 1, 0 = 3*r - 4*i - 3. Is 16 a factor of 1/r - -22*1?
False
Let h(a) = a + 3. Let g be h(3). Suppose w = g*w + 25. Let p = 40 + w. Does 10 divide p?
False
Let s(l) = -l**2 + 4*l + 2. Let m be s(3). Suppose 0 = -m*w + 68 + 7. Is 15 a factor of w?
True
Let r(a) = a. Let y be r(5). Suppose n + 2*t = 30 + 9, -211 = -y*n - 2*t. Is n a multiple of 22?
False
Is 8 a factor of (-18)/(-12)*64/12?
True
Suppose -2*o + 208 = 4*y - 0*o, -y = 5*o - 52. Does 13 divide y?
True
Let r = 5 - 2. Let s(j) = -2 - 3*j + r*j - 7*j**2 + j**3 - 7*j. Does 5 divide s(8)?
False
Suppose 0 = c - 4*i - 100, 0 = -c - 2*c - 3*i + 270. Is c a multiple of 4?
True
Let v(b) = b**2 - 4*b + 6. Let w = 15 - 11. Suppose -2*q - 12 = -w*o, -2*o - 2*q = -0*o - 12. Is 6 a factor of v(o)?
True
Suppose 0 = 3*n + 2*a - 15, -4*n = -8*n + a + 9. Suppose -2 = -4*q + n*f - 15, 2*q - 2*f = -8. Let u = 8 - q. Does 4 divide u?
False
Suppose 5*x - 25 + 10 = 0. Is 3 a factor of ((-1)/x)/(5/(-90))?
True
Let r be 1*(1 - (-1)/(-1)). Suppose o - 35 = 3*i, r*i - i = 5*o - 95. Suppose -3*p = -s + o, 3*s = 5*s + 5*p + 4. Does 4 divide s?
True
Let t(b) = -b - 21. Let p be t(-12). Let r(s) = s**3 + 10*s**2 + 6*s - 5. Is r(p) a multiple of 11?
True
Let w = -28 - 20. Suppose a - 3*a - 16 = 4*p, 0 = a - 4. Does 8 divide ((-4)/p)/((-2)/w)?
True
Is 15 a factor of 36/((-5)/(20/(-6)))?
False
Suppose -32 = 2*s + j - 0*j, -3*s - 42 = 3*j. Let x = 39 + s. Does 9 divide x?
False
Let k = 1 - -20. Suppose 3*o - 4*g - 104 = 0, 4*o + k - 108 = -5*g. Does 14 divide o?
True
Suppose 0 = -d - d + 1792. Suppose -r - 3*r = -d. Suppose -5*g - 4*w + r = -2*w, -134 = -3*g - w. Is 14 a factor of g?
False
Suppose -5*n = -2*n - 21. Is n a multiple of 4?
False
Let y = 5 + 43. Is 6 a factor of y?
True
Let s(q) be the second derivative of q**4/12 - q**3/6 + 4*q**2 - 7*q. Does 21 divide s(-8)?
False
Let n(m) = -12*m**3. Let j = 9 - 10. Is 6 a factor of n(j)?
True
Suppose 282 = 5*k - 143. Is 17 a factor of k?
True
Suppose 3*y + 40 = 1. Let g = 29 + y. Does 12 divide g?
False
Let x(l) = l**2 - l - 7. Is 7 a factor of x(5)?
False
Let l(m) = m + 10. Suppose -4 = -2*d - 0, 0 = r - 2*d + 10. Does 4 divide l(r)?
True
Let d(o) = -o**3 - o**2. Let h be d(-2). Suppose 4*b - 17 = -1. Suppose b*k = -h*u - k + 79, -5*u - k + 83 = 0. Is 6 a factor of u?
False
Suppose 4*w + 11 + 5 = 0. Let f = w - -12. Is 8 a factor of f?
True
Suppose -6*r = -66 + 6. Is r a multiple of 5?
True
Suppose 0 = -5*a + 4*v + 488, 0 = -5*a + 3*v + 310 + 176. Does 32 divide a?
True
Let j = -6 + -15. Let c be (-4)/(-3)*(-36)/8. Is (j - c/3)/(-1) a multiple of 16?
False
Let p = -86 - -166. Is 20 a factor of p?
True
Suppose -l + 9 = -14. Is 13 a factor of l?
False
Let s = 7 + 60. Does 11 divide s?
False
Is 13 a factor of (-10)/(-5) + -6*-1*30?
True
Suppose 4*o = -3*x + 21, 2 + 7 = 4*o - x. Suppose 2*r = o*s + 2*s + 40, 5*r = 4*s + 100. Suppose r + 40 = 5*h. Is 10 a factor of h?
False
Let x(d) = -5*d - 12. Let k = -1 + -1. Let s be (16/10)/(k/10). Does 14 divide x(s)?
True
Let s(c) be the third derivative of -c**6/120 - 7*c**5/30 + 7*c**4/12 - 4*c**3/3 + 4*c**2. Is 7 a factor of s(-15)?
True
Does 3 divide ((-2)/(-3))/(14/315)?
True
Suppose 15 - 3 = 4*j. Suppose j*m - 4*h = 80, 9*m - 4*m = -3*h + 172. Let u = 57 - m. Is u a multiple of 11?
False
Let x(z) = 11*z - 20. Does 24 divide x(9)?
False
Suppose 7*d - 3203 + 963 = 0. Does 40 divide d?
True
Let d(c) = c + 4. Let n be d(-4). Suppose n = -3*h + 78 + 138. Is h a multiple of 24?
True
Suppose 52*h = 50*h + 326. Does 15 divide h?
False
Suppose -3*s + 1 = 16, -5*t - 4*s = -205. Does 12 divide t?
False
Suppose -3*r - 5*z + 2*z = -21, 4*r - 28 = -3*z. Is r a multiple of 3?
False
Suppose 0 = 4*t - 0*t. Suppose t = 4*m - 24 - 40. Is (m/10)/(1/5) a multiple of 8?
True
Let m(u) = u**3 + 9*u**2 + 4*u - 6. Is m(-8) a multiple of 20?
False
Let i = -29 + 70. Is i a multiple of 6?
False
Let q(w) = 5*w. Let b be q(6). Is (b/4)/((-4)/(-8)) a multiple of 6?
False
Let v(u) be the third derivative of 1/60*u**5 + 0*u + u**2 + 2/3*u**3 + 0 + 1/8*u**4. Does 12 divide v(-6)?
False
Let h = 1 + 0. Let i(a) = 13*a**2 + 1. Let y be i(h). Suppose 2*d - y = d. Is 14 a factor of d?
True
Let y = 27 - 19. Suppose -3*b + y = 2*s, 2*b - 20 = 3*s - 8*s. Suppose 2*f - 8 = -b*f. Is 4 a factor of f?
True
Let y = 7 - -27. Is y a multiple of 17?
True
Is 19 a factor of (-2)/(1 + (-177)/171)?
True
Suppose 4 = 2*u - 2*x, -3*u + 5*x + 4 = -0*u. Suppose -245 = u*y - 8*y. Suppose b - y = -3*a - 15, -3*b + 108 = 3*a. Is 12 a factor of b?
False
Let d be 2 + 0 + (-1 - 2). Does 10 divide 29 - (3 - (-5)/d)?
False
Suppose 0 = r - 2*r - 67. Let f = -31 - -137. Let d = r + f. Is 14 a factor of d?
False
Let g = 24 - 52. Let z = -13 - g. Is z a multiple of 15?
True
Let d(k) = k**3 - 3*k + 3 - 4 + 7*k**2 - 3 + 9*k. Is 5 a factor of d(-5)?
False
Suppose -3*q - 2*c = -271, -5*q - 2*c = 2*c - 453. Is 24 a factor of q?
False
Let q(m) = m + 1. Let u be (-2 - -3) + (3 - -3). Let f be q(u). Let j(v) = 2*v + 2. Is 6 a factor of j(f)?
True
Let s be 0 + -1 + 3 - -41. Let i = s - 4. Is i a multiple of 13?
True
Let k(h) be the third derivative of -h**4/24 - 2*h**3/3 + 2*h**2. Let r be k(-3). Let w(d) = -10*d**3 - 2*d - 1. Is w(r) a multiple of 11?
True
Let f(q) = -q**3 + 12*q**2 - 12*q + 13. Let p be f(11). Let y = -14 + 8. Does 15 divide (y - 0)*(p + -7)?
True
Let m(l) = -l**3 - 5*l**2 + 7*l + 8. Let b be m(-6). Suppose -v + b = -1. Does 13 divide (9/(-6))/(v/(-62))?
False
Let q(a) = -61*a + 2. Is q(-1) a multiple of 21?
True
Let z be 2/(-6) + 6/(-9). Let l be 0/(z - -2) - -58. Let o = l + -40. Is 9 a factor of o?
True
Suppose 5 + 5 = -5*w. Is (-56)/12*18/w a multiple of 14?
True
Suppose 3*g = -g + 52. Is 2 a factor of g?
False
Does 29 divide (-32)/6*2/((-12)/261)?
True
Is 66/2*6/2 a multiple of 33?
T