s 2 divide i?
True
Let b = 18 + 44. Suppose -b = -x + 2*u, 4*x = 5*x - u - 57. Does 24 divide x?
False
Let k = 9 - -6. Does 4 divide k?
False
Suppose 2*u - 10 = -2*j - 3*u, 2 = -2*j + u. Let d be 9/(-6)*(j + -2). Suppose -d*p = p - 144. Is 13 a factor of p?
False
Suppose -g - 30 = 4*g. Does 21 divide (3 + 4)/((-2)/g)?
True
Let v = -11 - 41. Does 13 divide (v/6)/((-2)/9)?
True
Suppose 3*c = -58 - 44. Is 2/(-8)*2*c a multiple of 17?
True
Let y(q) = q**2 - 2*q + 2. Let w be y(3). Let h = w - 2. Is 2 a factor of h?
False
Suppose -2*w = 5*o - 112 - 105, 172 = 4*o + 2*w. Does 9 divide o?
True
Let c = 9 - 2. Let h = c - -7. Suppose -5*f + 3*q = -54, 0 = -4*f + 3*f - q + h. Is 12 a factor of f?
True
Let f(x) = x**2 - 6*x - 1. Suppose 2*t = -0*t + 14. Let s be f(t). Let a(w) = w**3 - 6*w**2 + 6*w - 6. Does 15 divide a(s)?
True
Suppose 4*a - a - 5 = u, 0 = 5*a - 3*u - 3. Is a a multiple of 2?
False
Let t be (4/6)/(8/(-12)). Let g = 23 - t. Is 8 a factor of g?
True
Suppose 2 = -i + 4. Suppose -i = -c + 2. Is c even?
True
Suppose 4*g + g - 30 = 0. Let q = 28 - g. Let x = q + -8. Is 13 a factor of x?
False
Let q(i) = 15*i + 1. Is q(1) a multiple of 8?
True
Let s(d) be the third derivative of d**5/30 + 5*d**4/24 + d**3 - 2*d**2. Suppose -2*o - 11 = 5*g - 5*o, -5 = 5*g - 5*o. Is s(g) a multiple of 18?
True
Let b(m) = -m**3 - 7*m**2 - 21*m. Is 9 a factor of b(-6)?
True
Let q(j) = j + 77. Is 3 a factor of q(-29)?
True
Let r be (-4)/12 + 62/6. Let l(u) = -3*u - 2. Let z be l(-2). Is 4 a factor of z/r - (-38)/5?
True
Let x = 11 + -11. Let z = 57 + x. Is 27 a factor of z?
False
Let s = -31 + 13. Let c = -6 - s. Suppose -3*o = -2*t - c, -4*t - 20 = -3*o - o. Is o even?
True
Suppose -3*g + 14 = -4*r, g + 4*r = -r + 11. Is 3 a factor of g?
True
Let s = 11 - 20. Let m(g) = g**3 - g**2 + 21. Let n be m(0). Let r = s + n. Does 12 divide r?
True
Suppose -2*q + 7*q = -4*j + 45, -4*j + 3*q + 5 = 0. Suppose 4*b = j*b - 16. Is 13 a factor of b?
False
Let t(d) = -3*d + 3. Is t(-4) even?
False
Let d be (2/2)/(1/2). Does 11 divide ((-18)/(-4) - -1)*d?
True
Let v be (-2)/7 - 798/(-49). Is (-36)/v*(-32)/3 a multiple of 12?
True
Does 4 divide (1 - 6) + 2 + (-54)/(-2)?
True
Suppose 576 = -12*u + 1728. Does 3 divide u?
True
Suppose -224 = -5*u - 4. Does 11 divide u?
True
Suppose -5*j = 3*i - i + 35, -2*i = -4*j + 8. Let a = -8 - i. Does 2 divide a?
True
Let a be (-3)/4 + (-333)/4. Let t = -52 - a. Is t a multiple of 8?
True
Suppose 2*o + 4 = -2*o. Let j = 3 - o. Is 4 a factor of j?
True
Let g(x) = 16*x - 1. Let a be g(1). Let z = -11 + a. Suppose -60 = -o - z*o. Is o a multiple of 6?
True
Let o(n) = 1 + 1 - 2*n - n - 2*n. Is o(-3) a multiple of 17?
True
Let x(d) = -d**2 + 5*d - 4. Let b be x(4). Suppose -f - 3*j + 151 = b, -f = 4*j - 158 + 10. Is ((-6)/5)/((-6)/f) a multiple of 16?
True
Let k(p) = 5*p - 3*p + 4*p - 5. Is k(4) a multiple of 16?
False
Let u(d) = -d**3 - 6*d**2 + 4. Let i be u(-6). Suppose i*b - 87 = b. Suppose 3*s - 112 = -2*f, 0*f - b = -s + f. Is 16 a factor of s?
False
Let c = 272 - 103. Is 26 a factor of c?
False
Suppose -11 = -3*p - 0*p + w, -3*p - 1 = -4*w. Is p even?
False
Let p(t) = t**3 + 9*t**2 + t + 13. Let a be p(-9). Suppose 116 = a*k - 3*s, -k - 87 = -4*k - 3*s. Is 19 a factor of k?
False
Let u(d) = -d + 4. Let g be u(-9). Suppose 0 = 3*h - 75 - 24. Suppose b = -g + h. Is 10 a factor of b?
True
Let k(g) = g**3 + 7*g**2 + 2*g - 4. Is 9 a factor of k(-5)?
True
Suppose 0 = -0*s - s + 6. Let j = 10 - s. Does 4 divide j?
True
Let z = 36 - 20. Is z a multiple of 8?
True
Let a = -8 - -25. Is 8 a factor of a?
False
Let t(p) = 27*p + 4. Let l be t(3). Suppose -5*a - 5 = -l. Is a a multiple of 8?
True
Suppose o = 3*o - 6. Suppose -j - 4*u = -27 - 18, -3*u = -o*j + 75. Does 9 divide j?
False
Let c = 5 + -3. Let q(h) = 7 + h + 1 - 2*h + c*h. Is 4 a factor of q(0)?
True
Suppose -5*d = 2*a - 745, 0 = -6*d + 3*d - 5*a + 466. Suppose 2*i = 2 + 4, d = 5*k - i. Is k a multiple of 11?
False
Suppose 0 = -0*h + 3*h - 24. Let d(r) be the second derivative of r**3/6 - r**2/2 + 6*r. Is 7 a factor of d(h)?
True
Is 14 a factor of (2/(-5))/(2/(-420))?
True
Does 6 divide (1*4/(-6))/((-1)/90)?
True
Suppose 3*y - 5*k = -3*k + 630, -y + 5*k = -197. Suppose 0 = -o - 3*o + y. Does 11 divide o?
False
Let j be 1 + (-5)/((-5)/4). Suppose 0 = 5*w - s + 2*s - 162, 170 = j*w + 5*s. Is 9 a factor of w?
False
Does 7 divide 0 - ((-4)/(-12) - (-28)/(-3))?
False
Suppose 0*s + 5*s = -20. Let h(z) = -3*z - 8. Let j(g) = 3*g + 9. Let t(m) = 3*h(m) + 2*j(m). Is 2 a factor of t(s)?
True
Let i(a) = a**3 - 5*a**2 + 6*a + 16. Does 11 divide i(6)?
True
Suppose -415 + 79 = -6*h. Is h a multiple of 28?
True
Let z = -15 + 9. Let y = z - -30. Is 11 a factor of y?
False
Suppose 2*y - 5*y + 9 = 0. Is 13 a factor of 38 - (1 + 2)/y?
False
Let v(o) = o**2 - 2*o + 11. Let g be v(9). Let t be (-2)/4 - 11/(-2). Suppose 4*y = -t*j + g, 0 = -4*j - y - y + 58. Is j a multiple of 14?
True
Let t(c) = -9*c + 1. Suppose 5*r + 4*x + 0 = 1, 5*r + 19 = x. Let f be (r/2 - -2)*-2. Does 10 divide t(f)?
True
Suppose 0 = f - w - 43 - 57, -2*w - 394 = -4*f. Is 16 a factor of f?
False
Let j(q) = 17*q**3 + 8*q**2 - 8*q. Let l(a) = -11*a**3 - 5*a**2 + 5*a. Let o(t) = -5*j(t) - 8*l(t). Is o(2) a multiple of 11?
False
Let p(w) = w**3 - 8*w**2 + w - 4. Let o be p(8). Suppose 3*a - 2 = 2*a - 5*g, 5*a + o*g - 94 = 0. Is 8 a factor of a?
False
Suppose 102 = 4*c - 3*c + 4*l, 3*c - l - 306 = 0. Suppose -5*h + 15 = 0, 4 + c = 4*u + 2*h. Is u a multiple of 11?
False
Let b(a) = 3*a - 2. Let z be b(2). Suppose z + 2 = 3*y. Let l = y - -5. Does 5 divide l?
False
Let q(r) = 14*r. Suppose -5*z + 3*z - 2*m - 4 = 0, -2*z + 31 = -5*m. Suppose -3*a = 2*a + 4*v + 11, 5*a + 2*v + z = 0. Is q(a) a multiple of 8?
False
Let b(m) be the first derivative of -m**4/4 - 5*m**3/3 - 5*m**2/2 - 5*m + 4. Does 4 divide b(-5)?
True
Let g be 372/(-9) + (-2)/(-6). Let b = -5 - g. Is b a multiple of 12?
True
Let c = 2 - -15. Suppose -5*s + 182 - c = 0. Does 20 divide s?
False
Let x(y) be the first derivative of -y**6/120 + 7*y**5/60 - y**4/12 - y**3 - 2*y**2 - 2. Let t(a) be the second derivative of x(a). Does 14 divide t(5)?
False
Let d = 107 - 67. Let n = d + -28. Is n a multiple of 9?
False
Let c(n) = 4*n - 2*n + 4*n + 0*n. Does 3 divide c(1)?
True
Let n be (-6)/(-30) + (-1)/5. Let q(b) = 1 + 13*b + 1 + n. Is q(3) a multiple of 14?
False
Let p = -61 - -146. Is p a multiple of 11?
False
Let u(y) = 32*y - 10. Is 35 a factor of u(4)?
False
Let g = -130 + 250. Let m = g + -82. Is 17 a factor of m?
False
Suppose 6*l + 12 = 2*l. Suppose 6*m + 12 = 2*m. Does 20 divide 2/(l/180*m)?
True
Suppose -15 = -d - 5*c, -7*c - 15 = -5*d - 2*c. Let w = 3 + d. Is 8 a factor of w?
True
Suppose -4*f = -9*f + 20. Let j be 120/54 + (-4)/18. Suppose -f*w = 2*y + j*y - 56, 88 = 5*w - y. Is 9 a factor of w?
False
Suppose 5*v = 50 - 155. Let o = 27 - -4. Let j = o + v. Is 10 a factor of j?
True
Let s be (-130)/(-10)*(-1 - -2). Suppose -2*o + 3 = -1. Suppose 2*x = k - s, x + 5 = o*k - 21. Does 9 divide k?
False
Let q = 5 + -6. Let z = q + 7. Is z a multiple of 3?
True
Let i = -11 - -15. Suppose i*c = c. Suppose -2*j + 27 + 5 = c. Is 8 a factor of j?
True
Let l(f) = -f + 5. Let m be l(0). Suppose 4*h - 3*h - m = -u, 5*h = 3*u - 15. Suppose -61 = -u*x - 21. Is x a multiple of 4?
True
Let x(i) = i**3 + 2*i**2 - 3*i + 4. Let r be (3/4)/((-1)/4). Let l be x(r). Suppose 5*g + 3*b = 134, 5*g - l*g - 3*b = 34. Does 14 divide g?
True
Is 12/(-5)*40/(-3) a multiple of 11?
False
Let d be -2 - -6 - (0 - 1). Suppose 73 = -4*k - 5*j, -k - 34 = j - d*j. Let c = 47 + k. Is 9 a factor of c?
False
Suppose h = -3*h + 8. Suppose i - 3*d = 24, 4 = i - 0*d + h*d. Is i a multiple of 4?
True
Let a(m) be the first derivative of 15*m**2/2 + 19. Suppose 0 = 2*h - 5*h + 6. Is a(h) a multiple of 8?
False
Let t = 10 - 9. Let z be 2/(-4)*(t - 1). Suppose 36 = -z*l + l. Is l a multiple of 18?
True
Let r(v) = v**3 + 7*v**2 - 2*v - 10. Let q be r(-7). Suppose q*j - 191 = -55. Is 10 a factor of j?
False
Suppose 0 = 7*h + 4 - 116. Is h a multiple of 8?
True
Let q = 119 - 31. Suppose -5*o + 5 = -20. Suppose -w - q = -o*w. Does 7 divide w?
False
Let a(q) = 5*q. Let p be a(-1). Let z = 7 + p. Let s = 9 - z. Is 7 a factor of s?
True
