Let o = -49 - -117. Does 4 divide o?
True
Let s(o) = -o**2 + 14*o + 4. Suppose 5*q - 28 = 17. Is 20 a factor of s(q)?
False
Let m(a) = -a**3 + a**2 - 4*a - 1. Does 33 divide m(-4)?
False
Let u = -10 + 10. Let w be (-5 + u - -3)/1. Let i = w - -13. Is i a multiple of 11?
True
Let h(s) = s + 3. Let t be h(-4). Is 3 a factor of t + 6 + (-1)/(-1)?
True
Let i(g) = g**2 - 15*g - 1. Is 40 a factor of i(23)?
False
Let s be (-14)/77 - (-26)/22. Let o = 38 + s. Does 13 divide o?
True
Let i(w) = -w**3 + 12*w**2 + 2*w - 9. Let h be i(9). Is 4 a factor of h/20 - (-2)/5?
False
Suppose 2*p - 30 = -4*d, 0*p + p + 5 = 2*d. Suppose -25 - 35 = -d*z. Suppose z + 10 = f. Is f a multiple of 11?
True
Let b = -7 - -39. Is b a multiple of 8?
True
Does 3 divide 21 - 0 - (-1 + 2)?
False
Suppose -2*z - 2*x + 16 = -0*z, -5*z - 3*x + 42 = 0. Is z a multiple of 3?
True
Suppose 4*z - 20 = 0, -m - 13 - 4 = -4*z. Suppose -m*n = -131 - 19. Let k = n + -26. Is k a multiple of 17?
False
Let t(d) = d**2 - 9*d + 3. Let j be t(6). Is 5 a factor of j/((-3 - 0)/3)?
True
Let f be 0*(2 + 5/(-2)). Let a = f - -15. Does 15 divide a?
True
Let b = -12 + 4. Let i(m) = 3*m**3 + 21*m**2 - 19*m - 25. Let x(c) = -2*c**3 - 14*c**2 + 13*c + 17. Let v(k) = 5*i(k) + 8*x(k). Does 3 divide v(b)?
True
Let d be (-4)/18 + 80/(-45). Let q(u) = u**3 + u**2 + 3*u + 2. Let j be q(d). Does 15 divide (-60)/1*4/j?
True
Let v be (-5)/((-25)/2)*10. Suppose j - 48 = -5*a, v*a + 22 = -j + 74. Is j a multiple of 27?
False
Suppose -7 - 65 = 4*i. Let x = i + 42. Is 16 a factor of x?
False
Let f = -6 - -14. Suppose 2*o + 3*a + f = 44, -2*o + 36 = -3*a. Is o a multiple of 9?
True
Suppose 218 = 3*w + 2*m, -w + 4*m + 264 = 3*w. Does 11 divide w?
False
Let s = 83 - 2. Is s a multiple of 8?
False
Let m = 59 - -26. Suppose 5*c - m - 47 = -3*u, 44 = u - c. Is u a multiple of 22?
True
Let v = 5 - 5. Let k(q) = q**3 + q + 3. Is k(v) even?
False
Let j be (3/6)/(-1)*-4. Suppose -4*v + 4*l = -188, 0 = -j*v - 4*l + 1 + 117. Is 17 a factor of v?
True
Let o = 8 + -4. Suppose -129 = -5*d - f, -o*d + f + f = -106. Does 13 divide d?
True
Let h = -2 + 2. Suppose 2*v + 14 = s, 2*v - v + s + 10 = h. Does 16 divide 104/3 - v/(-12)?
False
Is (8/5)/(2/115) a multiple of 36?
False
Let j = 30 - -49. Suppose -5*g + 2*h - 10 = -j, -20 = -2*g - 3*h. Let l = 28 - g. Does 15 divide l?
True
Suppose -3*d - 19 = -5*w + 52, 2*w + 4*d = 18. Suppose 8 = y - w. Is 13 a factor of y?
False
Is 22 a factor of (6/15)/(2/410)?
False
Let o be 75/(-9) - 2/(-6). Let s = o - -13. Does 5 divide s?
True
Let p(i) = -2*i + 4. Does 14 divide p(-11)?
False
Let a(w) = -3*w - 1. Let j be a(3). Suppose 4*q + 90 = -10. Is 5 a factor of (-8)/j*q/(-2)?
True
Suppose -4 = 2*l + 46. Does 13 divide l*7/((-140)/24)?
False
Let p = 5 + -3. Suppose 3*c + 5 = 2*j + 2*c, -4*j - p = 2*c. Is j + -1 + (2 - 0) even?
True
Suppose 5*n - 2*n - 39 = 0. Let a be 1*-38*1/(-2). Let p = a - n. Does 3 divide p?
True
Is 14 a factor of (-2 + -4 + 9)*(-53)/(-3)?
False
Let z(i) = 16*i - 3. Is z(4) a multiple of 18?
False
Suppose d + 4*d = 465. Is 14 a factor of d?
False
Suppose 4*x + 29 = 9. Let c = x - -4. Does 12 divide (15/6)/(c/(-6))?
False
Let i = 8 + -4. Suppose i*f - 17 = 31. Is 2 - (-5)/(5/f) a multiple of 14?
True
Let c(u) be the third derivative of u**6/720 + u**5/15 - u**4/6 + 4*u**2. Let h(i) be the second derivative of c(i). Is h(-4) a multiple of 3?
False
Let z(s) = -2*s + 9. Is 3 a factor of z(0)?
True
Suppose -g = -0*g - 62. Suppose 2*j - 5*c - g = 0, 3*j + 64 = 5*j - 4*c. Does 14 divide j?
False
Suppose 4*x - 18 = y - 2, -2*x + 22 = -4*y. Suppose z = 3*c - 30, -5*c = -x*z + z - 50. Is 6 a factor of (8/6)/(c/45)?
True
Let g = 4 - 4. Suppose -3*w + 6*w - 33 = g. Is w a multiple of 11?
True
Suppose 2*b = -0*b - 4. Does 14 divide ((-52)/b)/((-2)/(-6))?
False
Suppose 13 = -5*s + 168. Is 18 a factor of s?
False
Suppose 4*w - 2*o = -0*w - 6, o - 15 = 5*w. Let q(u) = u**2 - u - 3. Is 10 a factor of q(w)?
False
Let i = -58 - -124. Does 22 divide i?
True
Let f(x) = 2*x**2 - 2*x - 9. Let t be f(-6). Suppose -2*l - t = -7*l. Is 7 a factor of l?
False
Suppose 5*y - 12 = 3. Suppose -k - 3*t = -y, 5*t + 0*t = -k + 1. Is k a multiple of 4?
False
Let g = -18 - 42. Let x = g + 118. Is 14 a factor of x?
False
Suppose 4*j = -2 - 6. Is 4 a factor of j/((-2)/(-32)*-2)?
True
Let l = 140 - 62. Is l a multiple of 14?
False
Let j be (8/12)/(2/603). Suppose j = 5*m + r, -4*r + 4 = -5*r. Is 12 a factor of m?
False
Suppose -2*j + 40 = 3*j. Let a = j - 5. Suppose -2*y + 2 = -a*m, -m - 4*m - 6 = -4*y. Does 4 divide y?
True
Suppose -2*n + 171 = -t, 2*n - 59 = -2*t + 103. Let p = -35 + n. Is 13 a factor of p?
False
Let l(o) = 8*o + 7*o**3 - 20*o - o**2 + 12*o. Does 3 divide l(1)?
True
Suppose 3*s = -4*n + 21, 3*n - 12 = -3*s + 2*s. Suppose g = -s*g + 132. Is 11 a factor of g?
True
Let u be -2 + -4 + 18 - 3. Suppose -88 = u*m - 13*m. Is 22 a factor of m?
True
Suppose -4*s + 28 = -4*x, 0*x - s - 1 = 3*x. Let r = 5 + x. Suppose 0 = -r*q - 2 + 38. Is q a multiple of 12?
True
Suppose a + 3*u = -0*u + 1, 0 = 2*a - u + 12. Does 2 divide 6 + -1 - (a - -5)?
False
Suppose 0 = -4*v - v + 140. Is 16 a factor of v?
False
Suppose 0 = 10*d - 26 - 134. Is 3 a factor of d?
False
Let a(c) = c**2 + 4*c + 2. Is a(-9) a multiple of 28?
False
Suppose -3*a - 38 = -2*y, 3*a + y = 6*a + 37. Let w = 7 + a. Let j = w - -8. Is 2 a factor of j?
False
Suppose 2*c + 5*j = 78, 2*c - 2*j - 60 = 2*j. Is 14 a factor of c?
False
Let z = 18 + -34. Let g be z/56 - 4/(-14). Suppose -2*b - 2*y = -88, 4*b = -g*b + 3*y + 176. Is b a multiple of 15?
False
Let j(f) = 4*f**2 - 8*f - 5. Let b(s) = -7*s**2 + 15*s + 10. Let p(c) = -3*b(c) - 5*j(c). Let q be p(6). Is 3 a factor of q - (0 + -6 + 2)?
False
Let r(m) = 5*m**2 + 45*m + 24. Let b(h) = h**2 + 11*h + 6. Let v(j) = 9*b(j) - 2*r(j). Is v(9) a multiple of 4?
False
Suppose -2*l + 89 = 3*z, -2*z = l - 56 - 5. Does 33 divide z?
True
Let q = -49 + 21. Let n = q + 73. Is 13 a factor of n?
False
Suppose 0 = w + 2*w - 6. Suppose 15 - 69 = -3*r + f, -2*f = w*r - 36. Is 6 a factor of r?
True
Suppose q + y - 1 = 0, 0 = 4*q - y - 21 + 2. Let w be 15/q*32/3. Suppose 3*d - w = -2*d. Does 4 divide d?
True
Let o(d) = 6 - 2 + 2*d + d. Let y be o(-6). Is 15 a factor of (-2 - -1)*(y - 1)?
True
Let k = -65 - -119. Is 26 a factor of k?
False
Suppose -2*y - 13 = -45. Does 4 divide y?
True
Let l be 1 + -2 + 5/1. Let c = l - 1. Suppose -c*h + 7 = -2*h. Is 7 a factor of h?
True
Suppose 0 = 2*m + 5*b + 36, 2*m - 2*b = 6*m + 72. Let y be (-1191)/m + (-4)/24. Suppose -5*x = 3*p - 2*x - y, -2*p + 43 = x. Does 9 divide p?
False
Is 31 a factor of 1/5 - (-2456)/20?
False
Let b(s) be the third derivative of s**7/840 + s**6/90 - s**5/30 + s**4/8 - s**3/3 + s**2. Let q(u) be the first derivative of b(u). Is 19 a factor of q(2)?
True
Let f = -7 + 14. Suppose -2*v - f = -3. Is (-6 - 5)*(1 + v) a multiple of 4?
False
Let n = 15 - 17. Let c(b) = -6*b - 3. Is c(n) a multiple of 9?
True
Suppose -4*b - z - 3*z + 16 = 0, -b - 5*z = 8. Does 7 divide b?
True
Let y = 11 + -7. Is 66/y + 2/4 a multiple of 16?
False
Suppose 4*s - 311 = 321. Does 9 divide s?
False
Let u(c) = -c**2 - 17*c + 16. Let b be u(-12). Suppose 4*x + b = 2*f + 2*x, -x = 5*f - 178. Let d = f - -4. Is 14 a factor of d?
False
Let b(t) = 44*t**2 - t - 1. Let o(g) = g**2 - 10*g + 8. Let k be o(9). Does 22 divide b(k)?
True
Suppose 4*a - 40 = -2*t - 0*a, -4*t + 5*a = -41. Let c be (-2)/(-8) - t/(-8). Suppose -c*n + 76 = 3*l, 0 = 2*n - 2*l - l - 76. Is 13 a factor of n?
False
Let a be 9/1*118/6. Let x = 31 - 33. Is 14 a factor of x/8 - a/(-4)?
False
Let n(s) = s + 3. Let c be n(-3). Let t = 4 - c. Suppose t*k = 2*v - 38, v + 2*k + 45 = 4*v. Is 8 a factor of v?
False
Suppose 0 = -3*l + 4*o + 30 + 7, 0 = -2*o - 8. Is l even?
False
Let v = -153 + 169. Is 2 a factor of v?
True
Let g(y) = 11*y**2. Suppose -8*v + 4*v - 8 = 0. Is 11 a factor of g(v)?
True
Let j = 284 + -129. Does 14 divide j?
False
Let q = -10 - -23. Is 12 a factor of q?
False
Suppose -4*z + 816 = 4*i, -2*z = -6*z - 5*i + 821. Is z a multiple of 14?
False
Let y(f) = -f**3 + 13 - 12*f**2 - 2*f - 5*f + 3*f**3 - 3*f**3. Let r be y(-12). Suppose x = g - 15, r = 5*g - 4*x + 18. Is 7 a factor of g?
False
Let s(x) = 80*x - 1. Let w be 