o + 255. Let g(t) = -t**3 - t**2 - 3*t - 2. Let x be g(-1). Does 10 divide 3 + x/((-3)/o)?
True
Let y = 4 - 0. Suppose 3*x + 2*x = 5*m - 110, -4*m - y*x + 64 = 0. Is 19 a factor of m?
True
Let s = 94 + -24. Does 26 divide s?
False
Let j be (-1)/(1/(-141)) + -2. Suppose -3*z + j + 104 = 0. Suppose 3*c - z = 21. Is c a multiple of 14?
False
Let z = -89 - -156. Is 29 a factor of z?
False
Suppose 4*d = -4*w + 3*d + 46, -5*w + 68 = -4*d. Does 12 divide w?
True
Suppose 2*q = 7*q - 15. Suppose j - 1 = -2*f - q, 4*j = 5*f + 44. Is j a multiple of 6?
True
Let m = -4 + 8. Suppose m*t - 475 = -t. Suppose 5*p + r = 139, -5*r = -2*p - 34 + t. Is 14 a factor of p?
True
Is -3 - (-8 + 1) - -51 a multiple of 16?
False
Suppose -2*s + 58 = -10. Is s a multiple of 21?
False
Let q(p) = 3*p**2 + 3*p - 9. Does 9 divide q(3)?
True
Suppose -2*g - 3*l = -8, 4*g + 2*l = -3*l + 16. Suppose -8 = -3*m + g*a - 1, 0 = 4*m + 2*a + 20. Let h = 12 + m. Is h a multiple of 3?
True
Suppose 0 = -5*d - 3*a + 6*a + 69, -3*a = 2*d - 36. Is 7 a factor of d?
False
Suppose 4*t - 5*z = 18, 0*t = -5*t - 4*z + 2. Suppose -100 = -t*q - 0*q + 2*c, -3*q = -2*c - 146. Is q a multiple of 18?
False
Suppose -2*p = -i - 3*i - 38, 4*p = -2*i + 76. Let r(k) = 2*k - 2. Let o be r(-2). Let t = p + o. Does 13 divide t?
True
Let b(m) = -5*m - 12. Does 8 divide b(-4)?
True
Let z = 30 + -7. Does 23 divide z?
True
Suppose 8 = 2*x - 6*x, 3*m + x - 229 = 0. Is (-22)/m - 760/(-14) a multiple of 15?
False
Let t = 10 + -4. Is t a multiple of 2?
True
Suppose 5 - 17 = -4*x. Suppose o = x*o - 72. Is o a multiple of 12?
True
Let p(s) = -s**2 + 3. Let r be p(0). Suppose r*v = 3*k + 114, 2*v = -v - 5*k + 130. Is 21 a factor of v?
False
Let u(a) be the third derivative of a**5/30 - a**3/6 - 5*a**2. Is 18 a factor of u(-5)?
False
Suppose -34 = -6*t + 512. Does 12 divide t?
False
Let y = 0 - 0. Suppose 2*r - 2 + y = 0. Does 13 divide r*-1*(2 + -23)?
False
Let j be (2 + -3)/((-1)/(-11)). Let f be j/1 + -2 + -1. Let g = f - -26. Does 5 divide g?
False
Suppose 3*b = 2*y + 15, 3 - 12 = -5*b - 2*y. Suppose -k - 3*d - 7 + 31 = 0, -b*k + 33 = -4*d. Is 14 a factor of k?
False
Let w = -6 + 2. Let o = -8 + w. Let y = o + 17. Does 2 divide y?
False
Suppose 0 = -2*c + 3*d + d + 498, -d = 2*c - 483. Does 27 divide c?
True
Suppose -504 = -4*r + 4*h, 5*h - h = r - 120. Let a(u) = u**2 + 4*u - 5. Let z be a(4). Suppose -4*w - 4*x + r = 0, 5*x + 23 + z = 2*w. Does 15 divide w?
True
Is (-6)/(-4) + 75/2 a multiple of 13?
True
Let n = -144 - -180. Is n a multiple of 18?
True
Suppose 12*b = 13*b - 42. Does 8 divide b?
False
Let p(w) = w + 7. Let t be p(-8). Is 1 + -2 - (t - 16) a multiple of 14?
False
Let l be -36*((-12)/9)/(-2). Let m = l - -114. Suppose 0 = 3*x + 2*x - m. Does 17 divide x?
False
Let n = 8 - -4. Is 6 a factor of n?
True
Let a(n) = -n**3 - 9*n**2 + 3*n - 1. Let f(h) = -h**3 - 8*h**2 + 3*h - 1. Let g(t) = -4*a(t) + 5*f(t). Is g(-5) a multiple of 3?
True
Let s(v) = v**3 + 5*v**2 + 5*v + 2. Let j be s(-4). Let l be 62/8 + j/(-8). Suppose -105 = 3*t - l*t. Is 12 a factor of t?
False
Let g(r) = 2*r**2 - r - 6. Does 20 divide g(6)?
True
Let r be (-6)/(-10) - 153/5. Let p = 62 + r. Let o = p + 0. Is o a multiple of 11?
False
Let b(y) = 132*y - 2. Is b(1) a multiple of 13?
True
Let g(d) = d**3 - 13*d**2 + 12*d. Let b be g(12). Let a(j) = j + 15. Is a(b) a multiple of 9?
False
Let d(n) = 194*n + 8. Does 14 divide d(1)?
False
Let c = -8 - -17. Suppose 5*h - 6 = c. Suppose -3*x + h*p = 4*p - 36, x = 4*p - 1. Is x a multiple of 11?
True
Let m(f) be the second derivative of -f**4/12 - 7*f**3/6 - f. Is m(-6) a multiple of 6?
True
Suppose 3*l = u + 8, 2*l - 4*u + 20 = 3*l. Let j be (-32)/((-2)/l*2). Suppose 3*f = -5*v + 27, -4*v - 6*f = -f - j. Is v a multiple of 3?
True
Suppose 2*g = 3*g - 11. Suppose 0 = y - g - 26. Is y a multiple of 29?
False
Let c(s) = s**2 + 6*s + 3. Let r be c(-6). Let h(t) = 4*t + 2. Does 7 divide h(r)?
True
Suppose -p + 0 = -4. Suppose -5*n - 2*h = -0*n - 103, p*n - 85 = h. Does 7 divide n?
True
Suppose 0 = -b + 3, -2*b + 41 = 4*m + b. Let y(w) = m - 2*w - w**2 - 5*w + w. Is 3 a factor of y(-6)?
False
Let p = 103 + -67. Does 4 divide p?
True
Suppose -d - 12 = -5*d. Is 9 a factor of ((-9)/d - -16) + 3?
False
Suppose 5*j = -4*y + 49, 8*j - 9*j = -3*y - 25. Does 2 divide j?
False
Let a be (-4)/10 + 26/(-10). Let p = -318 - -10. Does 13 divide a/(-9) - p/12?
True
Suppose 16 - 54 = -2*z. Suppose -4*a + 5 = -z. Suppose -9*u - 5*t = -4*u - 20, a = 5*u - 2*t. Does 2 divide u?
True
Let g(r) = -r + 6. Let h be g(11). Let c(a) = -3*a + 11. Is c(h) a multiple of 13?
True
Suppose -57 = -4*t + 19. Suppose -5*j - t = y, -5*y + 2*j = -2*j - 50. Does 6 divide y?
True
Let m(d) = -2*d**3 - 6*d**2 + d - 6. Let b be m(-6). Suppose 4*c = 4*j + 6*c - b, -5*c + 60 = j. Is 25 a factor of j?
True
Let p be 36/16 - 2/8. Let j(x) = 2*x**p + 5 + 0*x - 3 + 0*x. Is j(3) a multiple of 10?
True
Suppose 4*w = -4*x + 1000, -2*x - x = 2*w - 753. Is x a multiple of 32?
False
Suppose 2*p + 2*p = 4*f - 20, 0 = 3*f + p - 11. Suppose 2*k - 4*g = 3*k - 9, -5*g + 91 = f*k. Does 8 divide k?
False
Let b(r) = -r**3 + 6*r**2 - 4*r - 2. Let p be b(5). Let d = p + 31. Does 19 divide d?
False
Let v = 131 - 74. Let s = -104 + v. Is 14 a factor of 4/(-8) - s/2?
False
Let a(x) = 5*x + 1. Does 4 divide a(1)?
False
Let k be 2 + -2 - (1 - 3). Suppose 3*f + 48 = 2*t + 2*f, -f - 96 = -4*t. Suppose -u - k = -t. Is u a multiple of 11?
True
Let n = -42 - -71. Is n a multiple of 3?
False
Let o(f) = 18*f - 2. Let k(n) = 2*n**2 + 4*n + 2. Let y be k(-2). Is o(y) a multiple of 16?
False
Suppose 3*j + 1 = 10. Let d(a) = 2*a**3 - 2*a**2 - 4*a + 3. Let x be d(j). Suppose -o = -0*o + 4*h - x, -5*h = -o. Is o a multiple of 4?
False
Suppose 5*i - 9 = k, 3*i = -5*k - 0*k + 11. Suppose i*p = -2 + 6. Suppose 2*u = -q - 5, -3*q - 5*u = -p*q + 20. Is q a multiple of 5?
True
Let i be (-279)/(-5) + 2/10. Does 13 divide (i/8)/(2/10)?
False
Let d(m) = -m**3 + 3*m**2 + 3*m + 2. Suppose 4*b + x - 16 = 0, -3*b + 8 = -b + 5*x. Let r be d(b). Does 11 divide (-11 - 0)/(1/r)?
True
Suppose 0 = -b + 47 + 123. Let k = -56 + b. Is (-1)/((-3)/k*2) a multiple of 16?
False
Suppose 5*l = 0, 3*j + 40 = 3*l + 337. Is j a multiple of 15?
False
Let i(y) be the first derivative of 7*y**2 - 2*y + 1. Suppose 4*d = 3*t - 3 + 12, -d = -3*t. Is i(d) a multiple of 20?
True
Suppose 4*w - 28 = -0*w. Is 11 a factor of 1/(((-21)/(-66))/w)?
True
Let h be (-2)/(-1) + 104/(-2). Let n = h - -30. Let w = n + 31. Is w a multiple of 11?
True
Suppose -v = 3*v - 340. Does 19 divide v?
False
Let b(t) be the third derivative of t**6/120 + t**5/15 - t**4/12 - t**3/2 + t**2. Is 3 a factor of b(-4)?
False
Suppose 0 = -4*i + i. Suppose 5*w = -10, i*m - w = 2*m - 62. Is 16 a factor of m?
True
Suppose -3*z - 7 - 11 = w, -6 = -w + 3*z. Let d(l) = l**3 + 5*l**2 - 8*l + 3. Does 15 divide d(w)?
True
Suppose 0*v = v - 5, 2*v = -2*s + 46. Does 18 divide s?
True
Is 25/2 - (-4)/(-8) a multiple of 4?
True
Suppose 0 = 3*l - 302 + 59. Does 9 divide l?
True
Suppose 0*z + 126 = 2*x - 3*z, -5*z = 10. Suppose -22 = a + 5*s, -4*s = -4*a + 6 + 26. Suppose 3*y = x + a. Does 9 divide y?
False
Let g = 204 - 18. Does 62 divide g?
True
Let l = 272 - 156. Is l a multiple of 29?
True
Let i(u) = u**3 + 9*u**2 + 7*u - 6. Is 15 a factor of i(-6)?
True
Let w(a) be the second derivative of -a**5/60 + a**4/24 - a**3/6 - 3*a. Let h(d) be the second derivative of w(d). Is 4 a factor of h(-4)?
False
Suppose 3*b - 45 = 24. Does 23 divide b?
True
Let u be -9 - (-2)/(-2)*-1. Let q = -54 - -78. Let g = q + u. Is g a multiple of 10?
False
Let l(n) be the first derivative of -n**5/20 + 2*n**4/3 - 4*n**3/3 + n**2 + n - 2. Let g(u) be the first derivative of l(u). Does 16 divide g(6)?
False
Suppose -f + h + 0*h = -22, -5*f + 114 = -h. Does 8 divide f?
False
Let b(i) = i**2 + 2. Let o be b(0). Let a be o/(3/(63/6)). Let m(n) = n**2 - 6*n + 10. Is 17 a factor of m(a)?
True
Let i be 60/25 - 2/5. Suppose 0 = 3*h - p - 16, 0*h = -i*h + 3*p + 13. Is 5 a factor of h?
True
Let i = 14 + -5. Is i a multiple of 4?
False
Suppose o - 3*g - 136 = 0, g - 600 = -5*o - 0*g. Is o a multiple of 13?
False
Suppose -3*f + 4*q + 62 = -82, -3*f = -2*q - 138. Is 14 a factor of -2 - 0 - (0 - f)?
True