t f be o(-6). Let m be f + (-4 - -1) + 0. Is m/((-1)/(55 + 3)) a multiple of 16?
False
Let g(m) = -2*m + 7. Let b be g(3). Is 48/(5 - b) - 4 a multiple of 6?
False
Let h(a) = -67*a + 4. Let k be h(-3). Suppose 61 = 4*u + k. Let d = u + 66. Is 10 a factor of d?
True
Let j(y) be the second derivative of y**4/6 + y**3/3 + 15*y**2/2 - 21*y. Is 25 a factor of j(5)?
True
Let f(a) = a**2 + 10*a + 33. Let x be f(-5). Let i(m) = 32*m - 28. Is 23 a factor of i(x)?
False
Let r(l) = -l**3 - 9*l**2 + l - 15. Does 3 divide r(-14)?
True
Suppose -13 = -6*n - 1. Does 26 divide 179/n - 6/4?
False
Let i(j) = j**3 - 8*j**2 + 11*j - 5. Let f = -20 + 28. Let l be i(f). Suppose -3*d - 11 = -l. Is 14 a factor of d?
False
Suppose i = -4*i - 5*p + 30, 2*i + 3*p - 14 = 0. Let d be (-1)/(6/(-3))*i. Suppose 3*s - 2*s - 27 = 2*y, d*y = 2*s - 50. Is s a multiple of 11?
False
Suppose -10*w + 3880 = 960. Is w a multiple of 14?
False
Is 5 a factor of (522/(-45))/(-1 - (-69)/75)?
True
Let i be (-2)/(-3)*(16 - 13). Suppose 0 = -i*z - 0*t - t + 16, 5*z + 4*t - 40 = 0. Does 4 divide z?
True
Let u(t) = -31*t - 25. Let b(n) = n**3 + 7*n**2 + 5*n - 12. Let d be b(-6). Does 13 divide u(d)?
False
Suppose 159 = 2*d - 5*a, -2*d + 2*a = -64 - 80. Suppose -5*n - 103 - 12 = 0. Let l = n + d. Is 11 a factor of l?
True
Let u(k) be the first derivative of k**2 + 1/3*k**3 - 9*k - 9. Is u(-7) a multiple of 13?
True
Let j(g) = 0 + 13 + 5*g**2 - 11*g - 1 - 1. Is j(-5) a multiple of 16?
False
Let r(k) = -k**3 + 42*k**2 + 11*k + 60. Is r(42) a multiple of 37?
False
Let o(p) = 6*p**3 + 3*p**2 + 17*p + 5. Let f be o(-7). Is 37 a factor of 3/(-2) + f/(-18)?
True
Let r be (16 + -17)*(-199 - -1). Suppose 4*w + k = 774, -5*k - r = -w - 3*k. Is 47 a factor of w?
False
Is 26 a factor of (440/264)/((-10)/(-1404))?
True
Let s = -230 - -395. Does 25 divide s?
False
Let q = 2 + 2. Let l(j) = j**2 - j - 4. Let r(w) = 2*w**2 - 4. Let m(k) = -4*l(k) + 5*r(k). Is m(q) a multiple of 18?
True
Let k = 5 + 16. Let w = -4 - k. Let b = w - -43. Does 6 divide b?
True
Let l be (-10)/(-2 + -3 + 3). Let b be l + -3 + (1 - -3). Suppose -b*y + 160 = -y. Is 6 a factor of y?
False
Suppose 0 = 3*v + 41 + 79. Let q = 635 + -363. Is 9 a factor of (q/v)/(2/(-10))?
False
Let t(l) = -l**3 - 13*l**2 - l - 18. Let k be t(-13). Let i = -21 - k. Let c = i - -22. Is c a multiple of 4?
False
Suppose -49 = 4*o - 3*b - 281, -3*b - 290 = -5*o. Suppose -7*w - 23 = -o. Suppose 0 = -w*u - 5*m + 140, -20 = -3*m - m. Does 23 divide u?
True
Let m(t) = 8*t**2 - 3*t + 1152. Does 18 divide m(0)?
True
Let c(q) = -q**3 - q**2 - q + 21. Let f(b) = 2*b + 2*b + 2*b - b**2. Let l be f(6). Is c(l) a multiple of 14?
False
Suppose 0 = 33*k - 40*k + 2100. Is k a multiple of 12?
True
Suppose 0 = 3*i + 3 - 9. Is 2 a factor of -1*(i - 1) - -9?
True
Suppose m = -5*c + 313, -19*m + 16*m + 4*c = -920. Does 22 divide m?
True
Let z = 31 + -26. Let q(j) = -j**3 + 8*j**2 - 2*j - 13. Does 17 divide q(z)?
False
Let t(m) = m - 12. Let q be t(13). Suppose 4*i + 4*z - q - 3 = 0, -2*z = -3*i + 18. Suppose i*x - 2*j - 49 = x, j + 47 = 3*x. Is 7 a factor of x?
False
Suppose 0*l + 3*b = -l + 17, -l - 3 = -2*b. Let i(q) = -6*q**2 + 4*q - 10. Let a(k) = -7*k**2 + 5*k - 9. Let d(p) = l*a(p) - 6*i(p). Is d(0) a multiple of 5?
True
Let q be 2/(-1) - (93 - 2). Let o be 1/8 - q/24. Suppose -5 = -3*n + o*z, 0 = n - 5*n - 4*z + 44. Is n a multiple of 3?
False
Is (3/3*1)/(12/1704) a multiple of 4?
False
Suppose m - 27 = -2*m. Suppose -12*q = -m*q - 483. Does 23 divide q?
True
Suppose 4*l = -a - 135, 3*a = -0*l - 4*l - 381. Let i = -78 - a. Does 9 divide i?
True
Suppose -4*z - 15 = 5*f, 2*z + 3*z - 6 = 2*f. Suppose 2*r - 2*w - 466 = 0, z = -4*r + 3*w + 506 + 425. Is r a multiple of 40?
False
Suppose 0 = 4*h + 16 - 32. Suppose 0 = 4*j - 3*t - 71, -h*t - 34 = -3*j + 2*j. Is j a multiple of 11?
False
Let m = -74 - -72. Is (0 - -2)*(-47)/m a multiple of 6?
False
Suppose 9*y - 7*y - 5*t = 870, 0 = 3*y + t - 1322. Does 5 divide y?
True
Does 17 divide 9/2*68*5/45?
True
Let w = -42 - -378. Does 12 divide w?
True
Suppose 758 = 3*t - 5*d, 2*d = 2*t + 65 - 573. Is t a multiple of 4?
True
Let o = 1 + 2. Let t be 93 + o + 1 - 3. Let f = t - 65. Is 8 a factor of f?
False
Let i be 3/(-2 + 5)*7. Suppose 9*g - 2 = i*g. Is 5*g/(-2)*-12 a multiple of 14?
False
Let q(d) = 6*d - 3. Let h(t) = -2*t - 4. Let l be h(-8). Let s = -8 + l. Is q(s) a multiple of 7?
True
Suppose 0 = 4*x - 5*w + 35, w = -5*x - 4*w - 100. Let o = 25 + 3. Let t = o + x. Is 4 a factor of t?
False
Suppose 7*i + 5*h + 635 = 3285, 0 = 4*i - 3*h - 1485. Is 15 a factor of i?
True
Let i(b) = -2*b + 13. Let a(g) = 2*g - 14. Let v(k) = -6*a(k) - 7*i(k). Let q be v(11). Suppose -2*h - h - f = -q, f = 3*h - 15. Is h a multiple of 5?
True
Let p(d) = d**3 - 27*d**2 - 43*d + 172. Does 16 divide p(33)?
False
Let l be 1 - 0 - (-5 + -399). Suppose 4*d = l + 115. Suppose d = -17*g + 22*g. Is g a multiple of 26?
True
Suppose -2*n - 2*b = -3*b + 1569, -4*n = -5*b + 3135. Let k = -557 - n. Suppose 2*h - 30 - 54 = -2*g, 0 = 5*h - g - k. Is h a multiple of 8?
False
Let i(y) = y**2 - 7*y + 9. Let h be i(6). Suppose 2*z - z - 5*d - 15 = 0, 9 = 5*z - h*d. Suppose 4*q - 67 - 277 = z. Is 25 a factor of q?
False
Let n(r) = -3*r**3 - 1. Let b be n(-1). Suppose -b*l - l = 0. Suppose l = -3*g + 116 + 112. Is 19 a factor of g?
True
Let u(o) = -4*o + 40. Is u(3) a multiple of 10?
False
Let r(n) = -10*n + 3*n - 9*n - n**2 + 20. Suppose -24 = 6*s + 60. Is r(s) a multiple of 16?
True
Let v = -667 - -699. Is 2 a factor of v?
True
Suppose -m - 195 = -6*m. Is 3 a factor of 4*(-5)/(-10)*m/2?
True
Let d(c) = -3*c - 4. Let x be d(-3). Suppose 3*r - x*a = 6*r - 167, 108 = 2*r + 4*a. Suppose 0 = -0*u - 4*u + r. Does 8 divide u?
True
Let s = 40 - 57. Let t = 26 + s. Suppose -x - t + 24 = l, 5*x - 27 = -2*l. Does 4 divide l?
True
Let s(u) be the second derivative of u**3/6 - u**2/2 - 4*u. Let j be s(3). Suppose 0 = -j*z - 5*f + 43, 0*z - 2*z + 8 = -2*f. Does 6 divide z?
False
Is -13*(-11 + -2) - -6*1 a multiple of 5?
True
Let s(x) = -8*x + 3. Let p(z) = 2*z - 1. Let d(y) = -9*p(y) - 2*s(y). Let h be d(4). Let o(w) = -w**3 - 3*w**2 - 2*w - 6. Does 18 divide o(h)?
True
Let t(o) be the third derivative of -3*o**4/8 - o**3 + o**2. Let q be 25/(-9) - (80/36)/10. Is t(q) a multiple of 14?
False
Suppose -2*p - 3*p + 5*x = -465, -x = -2*p + 183. Is 9 a factor of p?
True
Suppose -8 = -2*m - 5*f + 4*f, -m + 9 = -2*f. Suppose 0 = 4*l - m*l. Is 16 a factor of 64 + l*(-1 + 0)?
True
Let f be (-808)/(-32) + 1/(-4). Suppose -2*b + 13 = -f. Is 9 a factor of b?
False
Let u(y) = y + 5. Let m be u(0). Let b = m - 3. Suppose b*a - 5*h = 56, 0 = -2*h - h. Does 14 divide a?
True
Let l = 2468 + -1557. Does 8 divide l?
False
Let z(q) = 5*q**2 + 13*q - 94. Is 22 a factor of z(8)?
True
Let f(p) = 2*p**2 - 17*p - 27. Let t be f(12). Let i = -1 + t. Is i a multiple of 10?
False
Let w(x) = 0 + 28*x + 11*x + 18 - 2. Does 25 divide w(3)?
False
Let m(f) = -2*f**2 + 2*f - 12. Let d be m(0). Let t(l) = -9*l + 17. Is 25 a factor of t(d)?
True
Suppose -c + 2*d - 12 = -3*d, 3*d = -c + 12. Let t be -1 + c/9*0. Does 5 divide t/((-1 + 3)/(-36))?
False
Let n(o) = 5*o**2 - 8*o + 3. Let y be n(3). Suppose x - y = -4*b, 3*b - 5*x - 12 = b. Suppose -b*j + 310 = -j. Is 12 a factor of j?
False
Let y = -44 - -44. Suppose y*q - 160 = -4*q. Is q a multiple of 13?
False
Let d = -361 - -523. Suppose -3*n = -d - 30. Is 8 a factor of n?
True
Let k = -32 - -31. Is ((-12)/(-24))/(k/(-74)) a multiple of 15?
False
Let a = -150 + 366. Is a a multiple of 54?
True
Let s(c) = -c**3 - 2*c + 92. Let g be s(0). Let b be (g/10)/((-12)/(-30)). Suppose -b = m - 45. Is m a multiple of 8?
False
Let l = 7 + -4. Let y be -14 - (l - (-2 - -5)). Is 3 a factor of (2 + -1)/((-2)/y)?
False
Let j(v) = v + 13*v**2 + 14*v**2 + 3*v**2 - 6*v**2 - 1. Let b be j(1). Suppose -q + b = 2*f, -2*f - 4*q - 13 = -49. Does 10 divide f?
True
Does 24 divide (-940)/35*(-343)/14?
False
Suppose -2*c + 30 + 58 = -f, -c - f + 47 = 0. Suppose -z + 4*z - c = 0. Is 262/5 - 6/z a multiple of 13?
True
Suppose p - 2*p + 4 = 0. Suppose 0 = 2*n + m + 3, 3*m + 8 = 2*n - 1. Suppose p*f + 2*d - 74 = n, -2*f = 2*f + 4*d - 64. Does 7 divide f?
True
Suppose 59*s + 260 = 61*s. Is s a multiple 