 = -138. Is y a multiple of 6?
True
Let v(c) = -c**3 - 7*c**2 + 4*c - 8. Let p be ((-3)/3)/((-2)/(-16)). Is 5 a factor of v(p)?
False
Does 6 divide ((-2)/3)/(4/(-126)) - -3?
True
Let x = 98 - 165. Let w = 113 + x. Is 19 a factor of w?
False
Suppose 0 = -4*a + a + 432. Suppose 0*c - a = -3*c. Is 11 a factor of c?
False
Let t(o) = -o - 6. Let v be t(0). Let f(a) = -a - 4. Let j be f(v). Suppose -j*l - 3*g = -49, 0 = -3*l - 2*l + 3*g + 133. Does 13 divide l?
True
Let b(o) = -27*o**3 - 2*o - 1. Does 7 divide b(-1)?
True
Let r(v) = 4*v**2 + 2*v + 2. Let n(h) = 7*h**3 + h**2 + 2*h + 1. Let q be n(-1). Let b = 5 + q. Does 7 divide r(b)?
True
Let i(c) = -c**2 - 6*c - 2. Let y be i(-6). Let q = 5 + y. Does 3 divide q?
True
Let j(g) = g**3 - 6*g**2 + 6*g - 3. Let n be j(5). Suppose n*d - 84 = -2*d. Is d a multiple of 7?
True
Let x(v) = -v**2 + 32. Let f(p) = -p**3 + 6*p**2 + p - 6. Let q be f(6). Let g be x(q). Let z = g - 20. Is 6 a factor of z?
True
Does 23 divide (93 - 2) + -8 + 9?
True
Let t = 85 - 3. Does 21 divide t?
False
Suppose 5*c = -3*g + 11, 0 = 5*c - 2*g - 3*g + 5. Let v be (-15)/(-25) + (-304)/(-10). Does 11 divide c + -1 + (v - 4)?
False
Suppose -3*i = z - 2*z - 3, i + 7 = 3*z. Suppose -5*a - 22 = -6*h + 5*h, -z*a + 5*h = 0. Does 21 divide (21 - 3)*a/(-3)?
False
Let s(f) = -f**3 + 6*f**2 + 9. Is 12 a factor of s(5)?
False
Suppose 161 = 5*x - 94. Is x a multiple of 11?
False
Let z(r) be the third derivative of -r**4/24 + r**3/2 + 3*r**2. Let u be z(3). Suppose 4*n - 4 = u, -3*t + 2*t + n = -21. Is 11 a factor of t?
True
Suppose 5*k = -3*g + 13, 2 - 9 = -k - 5*g. Is 11 a factor of (-1)/k + 65/2?
False
Suppose 0 = -4*n + 2*n + 10. Let y = 3 + 1. Suppose -n*a = 25, a - 11 - y = -b. Is 20 a factor of b?
True
Suppose -4*d + 179 = 647. Is 2 a factor of 58/18 + 26/d?
False
Let v be (3/1)/((-5)/10). Does 7 divide (2 + 68/v)*-3?
True
Let a be (57/(-9) - -2)*-18. Does 13 divide ((-14)/(-21))/(2/a)?
True
Suppose -6 + 26 = 4*i. Suppose i*n + 63 = 4*c - c, 29 = c + n. Does 13 divide c?
True
Let f(d) = -2*d - 7. Let m be f(-9). Let i = 12 + m. Does 23 divide i?
True
Suppose 0 = 3*c + 4*f + 3, -4*f + 2 = -3*c - 1. Let x(y) = -13*y - 1. Does 12 divide x(c)?
True
Suppose 3*t + 15 = -5*m, 5*m + 2*t = -36 + 16. Let x(h) be the second derivative of -h**5/20 - h**4/2 - h**3/6 + 3*h. Does 3 divide x(m)?
True
Suppose i - 92 = 54. Is 29 a factor of i?
False
Let y be (-3)/(3/48*6). Let m be (y/(-6))/(2/6). Is -2 + -1 - (-4 - m) a multiple of 2?
False
Let c(g) = -38*g + 32. Is 29 a factor of c(-8)?
False
Let i = 46 - -43. Does 12 divide i?
False
Suppose 4 - 8 = -2*s. Suppose -5*i = s*a - 7 - 61, 4*i + 4*a = 52. Does 6 divide i?
False
Let v(y) = y**2 + 12*y + 45. Is v(-18) a multiple of 15?
False
Suppose 265 + 239 = 7*j. Does 7 divide j?
False
Suppose c + 22 = 5*y - 10*y, -2*y = -3*c + 19. Suppose 0 = 3*x + s - 76, c*s + 0 = -6. Is x a multiple of 7?
False
Let l = 128 - 2. Does 9 divide l?
True
Let x(o) = -o**3 - o. Let r(c) = 4*c**3 - 6*c**2 + 4*c + 3. Let y(l) = r(l) + 5*x(l). Let q be y(-6). Suppose -q = -5*g + 1. Is g a multiple of 2?
True
Let t = -10 - -118. Suppose -2*a - 5*b + 40 + 14 = 0, -t = -4*a + b. Is a a multiple of 9?
True
Let v = 36 + 12. Is v a multiple of 16?
True
Let h be ((-6)/(-8))/((-2)/40). Let z = -25 - -14. Let s = z - h. Does 2 divide s?
True
Let h(m) = m**2 - 12*m - 17. Let t be h(14). Suppose 0*s + t = w - 2*s, 0 = w + 3*s - 11. Is w a multiple of 2?
False
Suppose 0 = 5*u - 5 - 15. Let x = -3 + u. Does 9 divide 18 + (0 + -2)*x?
False
Let c be 6/(-12) + (-1)/(-2). Suppose 2*i = -c*i + 28. Is i a multiple of 5?
False
Does 19 divide 9/3 + (-73)/(-1)?
True
Suppose 4 = i + 3*i, 2*i = -3*k + 14. Is (-2)/(-1) - (-1 - k) a multiple of 5?
False
Suppose 2*k = -4*t - 1364, -1422 + 396 = 3*t + 3*k. Suppose 0 = 4*c - 7*c - b + 41, -b - 55 = -5*c. Is (-2)/6 - t/c a multiple of 14?
True
Suppose 15 = -5*x, 2*x = 5*i - x - 144. Is 4 a factor of i?
False
Suppose 3*l + 21 = -0*l - 5*b, -3*l = 2*b + 12. Let y = 0 - l. Let n(a) = 11*a - 2. Does 9 divide n(y)?
False
Let x = -14 + 54. Is x a multiple of 20?
True
Let l(u) = 9*u**3 + 2*u**2 - 2*u + 1. Suppose b + 5 = 6*b. Does 10 divide l(b)?
True
Let b(a) = -a**2 - 8*a + 5. Let n be b(-9). Is 44 - (2*6)/n a multiple of 12?
False
Let j = 65 - 24. Suppose 5*y - j = 14. Is 5 a factor of y?
False
Let o(t) = -t**3 + 8*t**2 + 0*t**3 - 2*t**2 - 2 - 2*t. Is o(4) a multiple of 17?
False
Let v be 80/14 + (-4)/(-14). Let m(b) = 4*b + 12. Is 9 a factor of m(v)?
True
Let n(q) = q + 10. Let u be n(-5). Let l = 7 - u. Is l a multiple of 2?
True
Let u(v) = v**3 + 6*v**2 - v - 4. Let p be u(-6). Is 3 a factor of (3 - p)/(1/3)?
True
Let w = 5 + 49. Suppose l - 26 = 3*x, 2*x = 2*l + 2*l - w. Does 6 divide l?
False
Let j(b) = 2*b**2 - 5*b + 2. Let i be 0/(-3) - (-2 + 2). Suppose -o + 5*c - 5 = i, -5*o + 4*c - c = -19. Does 11 divide j(o)?
False
Suppose 5*q - 127 = -3*o - o, -2*q - o = -49. Does 5 divide q?
False
Let p = -57 + 62. Let l(v) = -3*v**3 + 2*v**2 - 1. Let j be l(-1). Suppose p*i = j*i + 13. Does 6 divide i?
False
Suppose -2*p + 36 = -8. Does 11 divide p?
True
Let m be (2/(-3))/(1/(-3)). Let y(n) = -n + 6 + 2*n**m - 5*n - n**3 + 4*n**2. Is 14 a factor of y(4)?
True
Let h = -2 - -3. Let a = h + 5. Let p = 40 - a. Does 17 divide p?
True
Let a(f) = -f**2 + 10*f - 1. Let t be 50/20 + (-6)/(-4). Is 4 a factor of a(t)?
False
Suppose 6*o - 10*o + 208 = 0. Does 13 divide o?
True
Let m(w) = -w**2 - 9*w + 2. Let i be m(-9). Suppose -18 = -i*u + u. Does 14 divide u?
False
Suppose 0 = -r - 4 + 13. Let a(m) = -m**2 + 14*m - 9. Let b be a(r). Suppose -5*j + 19 = -b. Does 4 divide j?
False
Suppose 4*z - 4 = 0, 1 + 3 = m + 3*z. Is 75/(-5)*(-4 + m) a multiple of 12?
False
Let g be (-10)/55 + (-2)/(-11). Is (-1 + g)*(-13 + 0) a multiple of 12?
False
Let t = 59 - 16. Is t a multiple of 9?
False
Let n = 46 - 42. Is n even?
True
Is 17 a factor of 273/4 - 1/4?
True
Suppose 0*x - 4*x = 0. Is 6 a factor of 10 - (-3 + x - -3)?
False
Suppose 9*h - 8*h - 47 = 0. Is 19 a factor of h?
False
Suppose -4*a = -t + 54, 7*t + 3*a - 140 = 3*t. Does 4 divide t?
False
Let f = -5 + 8. Suppose -v + 6 = f*b, -4 = -2*b - 6*v + 2*v. Suppose -3*m - 102 = -2*q - q, -b*m - 97 = -3*q. Is q a multiple of 11?
False
Suppose -3*b = 2*b - 25. Suppose -7 = 5*m + 4*n - 47, 21 = -m + b*n. Does 3 divide m*(-2 - (-33)/12)?
True
Suppose -z = -21 + 3. Is 5 a factor of z?
False
Let f be -2*((-45)/2)/3. Is 8 a factor of f*(-10)/(-12)*2?
False
Suppose -t = 4*v - 44, t + 2*t - 4*v - 148 = 0. Is t a multiple of 35?
False
Let r(d) = -d**2 + 5*d - 4. Let u be r(4). Suppose u*m + 42 = 2*m. Is 12 a factor of m?
False
Let l = -89 - -151. Is l a multiple of 18?
False
Is 21 a factor of 1*-2*84/(-8)?
True
Suppose -3*i + 5*z + 141 = 0, 2*z - 59 = -i - 23. Does 3 divide i?
True
Let t = 5 + -5. Does 4 divide (t + -24)*7/(-14)?
True
Let u = -21 + 15. Let t be (-242)/(-6) + 2/u. Suppose 0 = 3*h - t - 14. Is h a multiple of 9?
True
Suppose -211 + 61 = 5*p. Does 14 divide p/105 + 788/14?
True
Suppose -x = -2*v - 9 - 10, 2*v + 41 = 3*x. Let d = 5 + x. Is 16 a factor of d?
True
Let n(k) be the first derivative of k**4/4 + 7*k**3/3 + k**2/2 + 4*k + 2. Let d be n(-6). Let q = d + -17. Does 7 divide q?
False
Let p = 68 - 6. Is 31 a factor of p?
True
Let z be 5/(-20) + (-1394)/(-8). Let b = 246 - z. Suppose -b = 2*m - 6*m. Is m a multiple of 18?
True
Let h = 198 + -96. Suppose -342 = -4*t + 2*t. Suppose -2*k + h = -5*j, 44 = -3*k + j + t. Is 17 a factor of k?
False
Suppose 3*s = s. Let g = -2 + s. Is (-18)/2*(g + 0) a multiple of 9?
True
Let n = 6 - 4. Suppose 0 = -n*f + 2*w, -4*w + 0*w = -f - 6. Suppose -2*m + 21 = -4*r - 17, m = -5*r - f. Is 13 a factor of m?
True
Suppose n + 1 = 8. Is n a multiple of 3?
False
Let m(y) = -y**2 + 4*y + 8. Let d be m(6). Let q be d/(22/(-10) - -2). Suppose 2*j - q = 10. Does 8 divide j?
False
Suppose 3*z + 2*t = 140, 0 = -5*z - 5*t + 305 - 80. Is 30 a factor of z?
False
Let x(d) = 5*d - 6 - 6*d - 5*d + 0*d. Is x(-6) a multiple of 15?
True
Let u be (-1)/(-3) - 52/(-6). Let s be 2/u + (-223)/(-9). Suppose -p = -y - 0*y + s, 4*p = -2*y + 74. Does 15 divide y?
False
Let q = -19 - 8. Let k be 107/(-7) - (-16)/56. Let h = k - q. Does 6 divide h?
True
Let m(p) = -p**3 - 12*