ue
Is 12 a factor of (-25917)/(-24) + (45/(-40))/(-9)?
True
Let o = 7643 + -5249. Does 34 divide o?
False
Let m = 3679 + -2899. Does 78 divide m?
True
Suppose 0 = 4*h + 91 + 133. Let f = 171 + h. Is f a multiple of 14?
False
Suppose -4*z + 3261 = -2*f - 1555, 6020 = 5*z + 2*f. Is 53 a factor of z?
False
Suppose -5*d + 11016 = 12*d. Does 24 divide d?
True
Suppose -5*o - 2*l = -21, -3*o + 7*o = 5*l + 30. Suppose 21 = o*y - 9. Is 2 a factor of ((-32)/(-24))/(2/y)?
True
Suppose j - 2 = -0*j. Let u(v) = -2*v - 223 + v**j + 0*v + 235. Is u(9) a multiple of 16?
False
Suppose -3*d = -4*c + 43, 5*c - c - d - 33 = 0. Let t(j) = j**3 - 8*j**2 + 7*j + 1. Let r be t(c). Is 4 a factor of -7 + 4 - (-8 - r)?
False
Suppose -m + g = 12, 7 = -2*m + m - 4*g. Let o(c) = -c**3 - 12*c**2 - 14*c + 6. Is o(m) a multiple of 5?
False
Let x(c) = 2*c + 13. Let q be x(-15). Let f = 69 + q. Is f a multiple of 13?
True
Let f(z) = 13 - 6 - 7*z + 7*z**2 + 2*z - z**3. Suppose -15*w + 123 - 33 = 0. Does 13 divide f(w)?
True
Suppose 2*g = -4*d + 10, d + 0*g = -g + 2. Let o(l) = -2*l**2 + 5*l - 2*l**3 - 2 + 0*l**2 + l**d. Is 16 a factor of o(-5)?
True
Let b(p) = -2 + 11*p + 0*p**3 + 7*p**2 - p**3 + 1. Let u = -235 - -243. Does 12 divide b(u)?
False
Let j(v) = -79*v + 820. Does 11 divide j(5)?
False
Let a(p) be the second derivative of p**4/12 + p**3/3 - p**2/2 + 7*p. Let f be a(-2). Let o(k) = -12*k - 1. Does 3 divide o(f)?
False
Let p(o) = 4*o - 10. Does 6 divide p(17)?
False
Let n(r) = r**2 - r - 2. Let y be n(8). Suppose 2*i - 348 = -y. Does 34 divide i?
False
Let m be (0/2 - 2) + -43*3. Let p = m - -275. Is 36 a factor of p?
True
Let j(p) = -p**2 + 8*p + 4. Let d be j(8). Suppose 3*h = -d + 13. Does 12 divide (6/(-7))/(h/(-84))?
True
Let t(j) = 37*j + 4. Let d be t(8). Suppose 0 = 5*k + 2*g - 461 + 92, 4*k - d = -4*g. Does 10 divide k?
False
Suppose -5 = 7*u - 2*u, 16 = 4*y + 4*u. Suppose -14 = -y*x + 81. Is x a multiple of 8?
False
Let m = -98 - 35. Let r be -189 - (0 - 1/(-1)). Let j = m - r. Is 20 a factor of j?
False
Suppose 7*q = 3*q + 12. Let t(v) = -v + 2*v**q + 13*v**2 + 15 + 0*v - v**3. Is 14 a factor of t(-13)?
True
Suppose -14 = 4*v - 2, 4*t = 5*v + 3. Let a be (-2)/5 - (-2)/5. Is 16 a factor of a/3 - t - -45?
True
Suppose -b - 11*b + 2*b = 0. Suppose s - 3*q - 241 = b, 3*s + s - 2*q - 1004 = 0. Does 38 divide s?
False
Let n be -2 + 15 + -2 + -1. Let m(z) = z - 4*z - 3*z + n + z. Is 25 a factor of m(-8)?
True
Let j(y) = 137*y**2 - 1. Let c = 9 + -8. Let g be j(c). Suppose -4*q + 0*q + g = 0. Does 17 divide q?
True
Suppose -f + 3*p - 2 = -2*f, -3*f + 5*p = -6. Suppose d = f*d - 33. Is 6 a factor of d?
False
Let f = -19 - -17. Is 31 a factor of (1984/16)/(f/(-3))?
True
Suppose -c = 3*z - 21 - 31, -5*c + 204 = z. Let k = 123 - 103. Let x = k + c. Is x a multiple of 28?
False
Let x(r) be the second derivative of r**5/20 - 13*r**4/12 + 2*r**3 + 23*r**2/2 + 17*r. Is x(12) a multiple of 7?
False
Let b(c) be the second derivative of -2*c**3 - 9*c**2 - 15*c. Is b(-5) a multiple of 6?
True
Suppose g = -4*g + 1060. Let v = g + -80. Suppose 2*d + 5*b - v = 0, 3*d - 60 - 120 = -3*b. Is d a multiple of 14?
True
Suppose 4*z - 16 = -3*d - 0*z, 4*z = 5*d - 16. Suppose -4*s + 4*l + d = -3*s, -120 = -5*s - 5*l. Is 10 a factor of s?
True
Let j = -36 - -37. Suppose 5 = -2*d + j, 5*d + 25 = 3*h. Is 5 a factor of h?
True
Suppose 4*o - 3*m - 348 = 0, -4*m = -4*o - 0*m + 348. Suppose -o = 15*a - 2127. Does 17 divide a?
True
Suppose -17*y + 20*y - 27 = 0. Suppose -6*s + y*s = 105. Is 7 a factor of s?
True
Let f(v) = -2*v**2 + 104*v - 46. Is f(38) a multiple of 51?
False
Is 53 a factor of ((-4470)/(-105))/(1/7)?
False
Let m(c) = -c**3 + 13*c**2 + 13*c + 10. Let y(z) = z**3 - 13*z**2 - 13*z - 10. Let l(h) = -3*m(h) - 2*y(h). Is l(14) a multiple of 2?
True
Suppose 3*z + 6 = 2*r + 3, -2*z - 2 = -5*r. Let h(i) = 3*i**2 + 2*i - 1. Let y be h(1). Is 22 a factor of (-64)/(2 - (y + z))?
False
Let g(c) = 3*c**2 + 3*c. Let v(o) = o**3 + o - 1. Let w(u) = 2*u + 3. Let n be w(-2). Let a(y) = n*g(y) + 2*v(y). Does 15 divide a(4)?
False
Let u(q) = q**2 + 5*q. Let c be u(-6). Is 3/(-5) - ((-2358)/5)/c a multiple of 12?
False
Let g = 47 - 45. Suppose -g*p = -2*k + 158, 3*k - 345 = -4*p - 108. Does 18 divide k?
False
Let s(o) = 2307*o - 165. Is s(1) a multiple of 7?
True
Is 14 a factor of ((-84)/10)/(15/(-200))?
True
Let u be 63/6*4/(-6). Let z = u - -5. Let x(y) = -39*y. Is x(z) a multiple of 26?
True
Let c(x) = 125*x**2 + 11*x + 12. Does 7 divide c(-1)?
True
Suppose i - 213 = -a, 1168 = 4*i + 8*a + 316. Is i a multiple of 5?
False
Let j(t) = -8 + 2*t - 2*t**2 + 4 + 3*t**2 + 5. Suppose -x + y = 5, -4*x + 0*y - 15 = y. Is 3 a factor of j(x)?
True
Let h(m) = m**3 + 5*m**2 - 11*m - 8. Let y be h(-7). Let p = y + 91. Does 31 divide p?
True
Let h = -17 + 10. Let t(s) = -s - 5. Let l be t(h). Suppose 26 = l*z + 4*a, 5*a - 50 = -2*z - 21. Is 2 a factor of z?
False
Let u = 97 + -162. Is 21 a factor of (-2)/(-13) + (-9545)/u?
True
Suppose 8046 = 7*l + 2334. Does 48 divide l?
True
Let p(b) = 3*b**2 + 2*b - 2. Let n = 33 - 35. Let x be p(n). Suppose -x*i - 84 = -7*i. Is i a multiple of 42?
True
Let v(q) = -q**2 - 6*q. Suppose 0 + 18 = -3*u. Let g be v(u). Is 8 + g + 0/3 a multiple of 8?
True
Suppose 2*b - 48 = -2*b. Suppose -3*w + b + 12 = 0. Let f(m) = 2*m**2 - 7*m. Is f(w) a multiple of 24?
True
Suppose -12 = -3*q, 181 + 231 = 3*r - 5*q. Is r a multiple of 12?
True
Suppose -4*v + n = -48, 4*v + 5*n = -0*n + 48. Let d(a) = 6*a + 9. Does 10 divide d(v)?
False
Let r(a) = 31*a + 679. Does 33 divide r(26)?
True
Suppose 315 = 5*p + 15. Is p a multiple of 15?
True
Suppose 22*a - 35671 = -4035. Does 11 divide a?
False
Suppose 0 = 5*p - 4*r - 34, p - 2*r - 10 = 2*r. Let b = p - -23. Suppose -s + b = 2*t - 36, -4*s - 4 = 0. Does 11 divide t?
True
Let u be (-2)/10 - 1626/(-30). Let o(j) = 3*j. Let r be o(-1). Let k = u - r. Is k a multiple of 23?
False
Suppose 4*u - 7*u + 1116 = 0. Suppose -u = -5*s + 468. Is s a multiple of 14?
True
Does 29 divide -1 + (8 + -3 - -411*1)?
False
Suppose -8*b = -216 - 584. Is 6 a factor of b?
False
Suppose -3*r - 5 + 11 = 0. Let v(j) = -8*j**2 + 0*j**3 - 7 - 2*j**2 + 4*j + 0*j**r - j**3. Is 33 a factor of v(-11)?
False
Is (-8)/((-1154)/288 - (-36)/9) a multiple of 64?
True
Suppose 4*g - 94 = -2*x, -g + 4*x + 3 + 7 = 0. Suppose 5*q = -4*u + 72, q + 97 = 5*u - g. Is 23 a factor of u?
True
Let f(o) = -9 + 1 - 6*o - o**2 + 3*o**2. Is f(6) a multiple of 14?
True
Suppose -949 = -m - 274. Is m a multiple of 25?
True
Let r(v) = v**3 - 5*v - 29. Let s be r(0). Let n = s - -47. Is 5 a factor of n?
False
Let b = 3 - 2. Suppose c - b = 11. Is c a multiple of 4?
True
Let f = -93 + 158. Is 11 a factor of f?
False
Suppose 3*d - 5*r = -2*d, 2 = 3*d - 4*r. Let u = d - -18. Is u a multiple of 16?
True
Suppose 3*h = -11*h + 686. Suppose h = 2*n - 41. Is 20 a factor of n?
False
Suppose 27 = -7*a + 4*a. Does 11 divide 75*(a/(-2))/(15/4)?
False
Let n(o) = 3*o**3 - 4*o**2 - 3*o + 9. Suppose 2*h = 3*h - 3. Does 10 divide n(h)?
False
Let x = 909 + -872. Is x a multiple of 3?
False
Let k(b) be the first derivative of -b**4/4 + 3*b**3 - 3*b**2/2 + 1. Suppose -34*a = -25*a - 72. Does 20 divide k(a)?
True
Let l(o) = o**3 + 10*o**2 - 12*o - 1. Let k = 46 + -35. Let h = 0 - k. Is l(h) a multiple of 6?
False
Let h = -465 + 554. Is h a multiple of 28?
False
Let n be (-19)/(3/(-3) - -2). Let l = n + 47. Does 5 divide l?
False
Does 34 divide (-4)/16 - (-1089)/4?
True
Let h = 1121 + -797. Is 9 a factor of h?
True
Suppose 30*b - 18 = 1122. Suppose -4*w + 16 = -0*w. Suppose -2*o = w*d - 122, -5*o - 13 + b = 0. Is d a multiple of 13?
False
Let s be 1*9/(-15)*-15. Suppose 4*k - 49 = -s. Let c = k - -26. Does 12 divide c?
True
Suppose 3*i = 5*k - 2370, -14*i - 10 = -16*i. Is k a multiple of 9?
True
Let d(n) = 11*n**2 + 3*n - 5. Let p be d(2). Let s = 48 - p. Does 3 divide s?
True
Let v(f) = f**2 + 10*f + 18. Is v(-14) a multiple of 4?
False
Let t(m) be the second derivative of m**5/20 + m**4/12 - m**3 + 2*m**2 - 10*m. Is t(-3) even?
True
Let g(l) = l**2 + 42*l + 198. Is g(36) a multiple of 18?
True
Suppose -5*k + 316 = -0*k - 2*b, 109 = 2*k + 5*b. Let g = k + -34. Let w = 94 - g. Is 17 a factor of w?
False
Let t(s) = s**3 - 12*s**2