- 9 = -30. Let x = w + i. Does 7 divide x?
True
Does 11 divide -1 - (2 + -2) - -12?
True
Let z be 3 - 1*(0 + 4). Does 2 divide (-3)/(z + 1 + -1)?
False
Let p(v) = -78*v**3 + v**2 - v + 1. Let y be p(1). Let q = -45 - y. Is 11 a factor of q?
False
Let j(o) = -2*o + 21. Let b be j(8). Let c(u) = 3*u + 1 + 5*u - 3. Is 19 a factor of c(b)?
True
Suppose -14 = -7*l + 5*l. Is 4 a factor of l?
False
Suppose 6*y - 455 = y - 5*b, 0 = 3*y + 4*b - 274. Let u = 175 - y. Is 17 a factor of u?
True
Let o be ((-8)/6)/(4/(-6)). Suppose -5*k + 160 = -4*w, -3*k = -o*w + 7 - 101. Does 14 divide k?
True
Let a(z) = 0 - 4 + 3 - 9*z. Let j be a(-1). Is -2*2*(-18)/j a multiple of 9?
True
Let y = -7 + 25. Suppose -d + y = -2. Suppose x + z = -2*z + d, 16 = 3*x - 2*z. Does 6 divide x?
False
Let f(p) be the third derivative of -p**6/60 - p**5/15 - p**4/24 + 2*p**2. Is 21 a factor of f(-3)?
True
Let h be (66/9)/(1/3). Does 8 divide (1 - 3) + h + 0?
False
Suppose -5*q + 269 - 61 = 4*i, -i + 77 = -5*q. Suppose i = 2*u + u. Does 9 divide u?
False
Let p = -19 - -21. Suppose -2*j + p*v + 10 = 0, -2*j + 3*v = -2*v + 5. Is 5 a factor of j?
True
Let k = 2 + -6. Does 7 divide (2 + 6)/((-2)/k)?
False
Let p(q) = 268*q + 2. Let w be p(-3). Is w/(-14) + (-10)/35 a multiple of 14?
False
Let r(k) = k**2 + 2*k + 1. Suppose -2*l + 0 - 14 = 0. Does 21 divide r(l)?
False
Suppose 0 = 5*x + h - 301 - 122, 0 = x + 3*h - 93. Is x a multiple of 21?
True
Suppose 3*u + 12 = 0, -c + 18 = -2*c - 5*u. Suppose -8 = -c*x - 2. Suppose f - 24 = x*y, 4*y + 4 = -f - 0*y. Does 12 divide f?
True
Suppose 0*x - 2*x = -1182. Does 20 divide (-9)/(-15) + x/15?
True
Is 12 a factor of 2/(((-4)/96)/(-1))?
True
Suppose -5*w + 461 = 2*m, -67 = -w + 5*m + 9. Does 19 divide w?
False
Suppose 4*a = -0*a + 388. Is 12 a factor of a?
False
Suppose -5*s - 6 = -2*s. Let x = 7 + s. Suppose x*r = 150 + 45. Is r a multiple of 14?
False
Let d(u) = 13*u - 2 + 6*u + 10*u - 9*u. Let i be d(3). Suppose 4*h + 2*o = 86, 0*h + 2*o + i = 2*h. Is h a multiple of 8?
True
Let x(p) = 3*p**2 - p + 1. Let z be x(1). Suppose 3*o - 4*r = -r + 93, 0 = r - z. Does 16 divide o?
False
Let s(n) = n - 3. Let i be s(5). Let u(k) = -5*k**3 + 0*k**3 + i*k**3. Does 2 divide u(-1)?
False
Let w = 10 + -65. Let f = 78 + w. Is 14 a factor of f?
False
Let r(y) = -29*y**3 - 5*y**2 + 7*y - 7. Let z(v) = -15*v**3 - 2*v**2 + 3*v - 3. Let q(f) = 2*r(f) - 5*z(f). Is q(1) a multiple of 14?
False
Let g(w) = 3 - 3 - w. Let j be g(-3). Is 477/(-6)*(-2)/j a multiple of 21?
False
Let l(t) be the third derivative of -t**6/120 - t**5/12 - 5*t**4/24 - t**3/6 + t**2. Suppose 6*a = a - 5*k - 20, 15 = -2*a + 5*k. Does 12 divide l(a)?
True
Let z = 220 - 129. Suppose 421 = 3*d + z. Is 33 a factor of d?
False
Let u(f) = -f + 11. Let p = 1 - -8. Let g be u(p). Suppose -g*s + 32 = 12. Is s a multiple of 10?
True
Let h = 1 - -21. Is 22 a factor of h?
True
Is 29 a factor of (2/(-4))/(655/656 - 1)?
False
Suppose -3*w + 4 = -2. Suppose -17 = -4*m - 3*j, 0*j + 2*j - 8 = -w*m. Suppose -4*u = -m*i + 251, u = -5*i + 57 + 199. Is i a multiple of 17?
True
Suppose -4 = 4*m + 8. Let d = m + 3. Suppose d = 4*u + 16 - 72. Is 14 a factor of u?
True
Let x(p) = 4*p**2 - 6*p + 9. Does 39 divide x(6)?
True
Suppose 49 = -5*n + 499. Let c = n - 60. Does 15 divide c?
True
Let l = 11 + -38. Let h = l + 59. Is 13 a factor of h?
False
Let s(w) = 16*w + 1. Suppose -9 = -3*d - 6. Let k be s(d). Suppose -3*y = 4*a - 31, -a + k = 5*y + 5. Is a even?
False
Suppose -3*t + 0*t + 162 = 0. Let c = t - -9. Is c a multiple of 21?
True
Let m(j) = j**3 - 12*j**2 + 7*j - 13. Let k be m(12). Suppose -5*z - 238 - k = -4*a, 4*z = 12. Is a a multiple of 21?
False
Let y = -13 + 15. Suppose 2*l + 13 = y*z - 29, 3*l = 4*z - 87. Is z a multiple of 8?
True
Is 10 a factor of (-1 - 1)*2/(-4)*55?
False
Let s(n) = n**2 + 13*n + 15. Let c be s(-12). Suppose 0 = -5*l - 3*j + 180, -2*l + 61 = 2*j - c*j. Does 9 divide l?
False
Suppose 54 = 3*x - 0*x. Let l = x + 0. Is 13 a factor of l?
False
Let s be (-2 - (-10)/(-4))*-2. Let p(r) = -r**3 + 8*r**2 + 11*r - 11. Is p(s) a multiple of 7?
True
Let h(w) = 16*w**2 + 5*w + 3. Is h(-3) a multiple of 12?
True
Let c = -3 + 0. Is (-55)/c + (-9)/27 a multiple of 11?
False
Let n = -310 + 576. Is n a multiple of 33?
False
Suppose -504 = 32*z - 38*z. Is z a multiple of 12?
True
Suppose 5*v - l - 115 = 0, 0 = v - 2*l - 2*l - 42. Is 11 a factor of v?
True
Let x(b) = 3*b**3 - 3*b**2 + b + 2. Let z(f) = f**3 + 8*f**2 + 4. Let s be z(-8). Suppose -5*t + s = -3*t. Is 5 a factor of x(t)?
False
Let d(z) = -z. Let w be d(2). Let f be (-115)/(-3) - w/3. Suppose -7*g = -4*g - f. Is g a multiple of 6?
False
Let o(x) = -x - 18. Let s be o(-11). Let j = 8 - s. Is 15 a factor of j?
True
Let p be ((-16)/(-6))/(3/9). Suppose 0*v + 2*v - p = 0. Is 3 a factor of v?
False
Suppose 15*n - 23*n = -168. Is 18 a factor of n?
False
Let o(c) = 4*c - 1. Is o(1) a multiple of 2?
False
Let v(i) = 2*i**2 - 11*i. Let w be v(9). Let b = w + -23. Is 20 a factor of b?
True
Suppose -5*p + 117 - 7 = 0. Let k = -11 + p. Is 11 a factor of k?
True
Suppose -q = -2*q + 119. Does 47 divide q?
False
Let n be (-1)/6 + 427/42. Suppose -h - n = -34. Is h a multiple of 8?
True
Let j = 57 + -4. Does 13 divide j?
False
Is 4 a factor of (-8)/(((-28)/6 - -4)*3)?
True
Let i(s) be the second derivative of -s**6/360 + 11*s**5/120 - 5*s**4/24 + s**3/3 + s. Let a(l) be the second derivative of i(l). Is a(7) a multiple of 14?
False
Let j = -87 - -151. Is 8 a factor of j?
True
Let y be (-1)/(-2) + 15/(-10). Let a(q) = -94*q**3 - 2*q**2 + 1. Let u be a(y). Suppose 4*j - j - u = 0. Is j a multiple of 12?
False
Is 4/(-10)*(-120)/4 a multiple of 6?
True
Let n(m) = 13*m + 17. Is n(7) a multiple of 27?
True
Let v(s) = 3*s**2 - 6*s - 6. Let a be v(5). Suppose -a = 3*q - 6*q. Does 7 divide q?
False
Let p(v) = v**2 - 22*v - 17. Let b be p(17). Let l = -29 - b. Does 13 divide l?
False
Let n(x) = x**3 + 8*x**2 + 3*x. Is 15 a factor of n(-5)?
True
Suppose 0 = 6*t - 4*t - 8. Suppose t*b - 3 = 4*n - 59, -3*b + 8 = 2*n. Is n a multiple of 10?
True
Let h(j) = -4*j - 4. Let a be h(-5). Let y be 0 - -8 - (-2)/(-1). Let r = a - y. Does 5 divide r?
True
Let c(z) = z**3 + 11*z**2 - 2*z - 9. Is 13 a factor of c(-11)?
True
Let c be (-29)/(-2) - 9/(-6). Suppose -3*v = -5 - c. Is v a multiple of 5?
False
Let s(w) = -w**2 - 5*w + 3. Let m be s(-5). Is 6 a factor of m/(-4) + (-174)/(-8)?
False
Suppose 2*j - 20 - 92 = 0. Does 14 divide j?
True
Let l(q) = -2*q - 5. Let y be l(-7). Suppose b = -y - 0. Does 7 divide (-159)/b + (-2)/(-6)?
False
Let n(l) = -l**3 - 3*l**2 + 4*l - 2. Let w be n(-4). Let a be (2 - 2)/(w/2). Suppose a*z = 5*z - 210. Does 17 divide z?
False
Let s = 15 + -10. Suppose -s*h = -4*h. Suppose 0 = 2*i - h*i - 36. Does 9 divide i?
True
Suppose -q - q + 3*o = 36, -5*o + 32 = -q. Let f = 34 + q. Does 8 divide f?
False
Suppose 0 = -3*k + k. Suppose -5 = -k*i - i. Suppose 4*s - 5*n - 28 = -0*s, 4*s - 28 = -i*n. Is 4 a factor of s?
False
Let y(p) = p**2 + 8*p + 15. Does 24 divide y(-9)?
True
Let z be ((-18)/(-27))/((-2)/141). Let f = 30 - z. Is f a multiple of 13?
False
Is 20 a factor of (-888)/(-44) + (-2)/11?
True
Suppose -4*j + 5*g + 73 = -53, 4*j + 2*g = 112. Suppose -2*w + j + 15 = 0. Is w a multiple of 11?
True
Suppose 0 = x - 4*l - 60, -266 = 3*x - 7*x + 3*l. Does 17 divide x?
True
Suppose -8 = -0*d + 2*d. Does 2 divide 2*(-6)/d + 1?
True
Suppose -1090 = -0*b + 5*b. Let y = -152 - b. Is 22 a factor of y?
True
Let m be 1 + (-2 - 0) + 1. Suppose -b + 9 + 1 = m. Is b a multiple of 5?
True
Let a(k) = 3*k - 9. Let z(f) = -3*f + 10. Let s(d) = 4*a(d) + 5*z(d). Does 18 divide s(-17)?
False
Let a = -6 + 0. Let x(r) = r**2 + 2*r + 2. Does 11 divide x(a)?
False
Let s(n) be the third derivative of 3*n**4/8 - n**3/6 - 2*n**2. Let p(q) = -q**3 - 5*q**2 - 3*q + 5. Let f be p(-4). Is s(f) a multiple of 4?
True
Suppose z - 2*n = 11 - 1, n = -z + 19. Is z a multiple of 2?
True
Let z(s) = -s**3 + 6*s**2 - s + 7. Let w be z(6). Let k(q) be the first derivative of 5*q**3/3 - q + 1. Is k(w) a multiple of 2?
True
Suppose 0 = 3*b - 8*b. Suppose d - 4*d = b. Suppose -3*y + d = -9. Is y even?
False
Let q(b) = -2*b**2 - 6*b + 3. Let i be q(-5). Let r = i - -34. Is 17 a factor of r?
True
Let v