m. Is h(m) a multiple of 45?
False
Let n(f) = -4*f**3 - 20*f**2 - 6*f - 12. Does 6 divide n(-6)?
True
Let l be 438/8 + (-9)/12. Let g = l + -20. Is 17 a factor of g?
True
Let u be 7*(65/7 + 3). Let d = u - 52. Is d a multiple of 14?
False
Suppose -5*x + 40 = -5. Let n(t) = 7*t + 24. Is n(x) a multiple of 9?
False
Suppose -3*q + 705 - 138 = 0. Let h be (16/(-6))/(9/q). Let z = h + 113. Does 18 divide z?
False
Let p = -611 + 1073. Is p a multiple of 12?
False
Let p = -2 + 7. Suppose g - 4*g + x + 180 = 0, -g = -p*x - 60. Is 16 a factor of g?
False
Let r(y) = -737*y + 103. Is r(-1) a multiple of 12?
True
Suppose -2*c + 0 = 34. Let b = c + 113. Let h = b + -48. Is 12 a factor of h?
True
Suppose -p = -m - 168 - 166, 5*m - 15 = 0. Is p a multiple of 47?
False
Suppose 0 = -3*b + 11*n - 13*n + 2019, -3*b - 3*n = -2016. Does 36 divide b?
False
Let q = 5 + -3. Suppose -4*b + q*b + 8 = 0. Is 68*(2/b - 0) a multiple of 12?
False
Let d be (5/(-4))/((-6)/24). Does 6 divide d/((-40)/108)*16/(-6)?
True
Let t(w) = -5*w**2 + 84*w + 25. Is t(14) a multiple of 31?
False
Let j = 46 - 49. Does 12 divide (-920)/(-14) + j + 23/7?
False
Suppose 69 - 84 = 3*n. Let t(w) = 2*w**2 - 8*w - 22. Is t(n) a multiple of 17?
True
Suppose 3*i - 14 = -4*j, -3*i + 2*j - 4 + 6 = 0. Suppose 2*s - 6 = -q, -s + q = i*s - 19. Let m(d) = -d**3 + 9*d**2 - 12*d + 8. Is 7 a factor of m(s)?
False
Suppose -2*o = 3*i, -o + 2*i = o - 20. Let l = -5 + o. Does 17 divide (l/(-1) + 2)*85?
True
Suppose 3*t - 283 - 926 = 0. Suppose -3*j = 79 - t. Does 31 divide j?
False
Suppose 2*o - 5*c = 71, 5*o + 0*c - 5*c - 155 = 0. Suppose 0 = 3*t + o - 10. Is (70/t)/(-7)*24 a multiple of 9?
False
Let j(f) = -6*f**2 - f + 1. Let r be j(1). Let t(s) = -13*s - 10. Does 17 divide t(r)?
True
Let l = 1114 + -656. Is 10 a factor of l?
False
Let x = 621 + 459. Does 9 divide x?
True
Suppose u + 5 = 6*u. Let m be (u - -2)*14/21. Is m + -5 - (-61)/1 a multiple of 16?
False
Let n = -173 - -265. Let d = n + 20. Is d a multiple of 14?
True
Suppose 0 = 3*p + 5*b - 10, -3*p + 3*b - 2 - 4 = 0. Suppose 2*r - 7*r + 750 = p. Is r a multiple of 30?
True
Let w(j) = 9*j**2 - 28*j + 99. Is w(16) a multiple of 115?
True
Let y(s) = 3*s**2 + 3*s. Let o = -1 - -9. Suppose 4*t + 12 = o*t. Is 9 a factor of y(t)?
True
Let w = 311 - -770. Is w a multiple of 9?
False
Let r(w) = -w**3 - 12*w**2 + 9*w - 19. Let i(d) = -2*d**2 - 5*d + 2. Let c be i(2). Let j = c + 3. Is r(j) a multiple of 20?
False
Let y = 32 - -515. Is 9 a factor of y?
False
Let f = 178 - 86. Does 15 divide f?
False
Suppose 1122 = 4*u + 2*i, 3*i + 1137 = 38*u - 34*u. Does 21 divide u?
False
Is 1/4 + (-10506)/(-24) + 3 a multiple of 49?
True
Let t(p) = -p**3 - p**2 - 1. Let z(k) = 3*k**3 - 4*k**2 - 8*k - 4. Let u(x) = -4*t(x) - z(x). Does 8 divide u(-6)?
True
Let q = 105 + -25. Is q a multiple of 20?
True
Let w = 2 + 0. Suppose 0*h + 3*g = -h + 156, 0 = -5*h + w*g + 746. Is h a multiple of 25?
True
Let k(r) = -2*r**3 - 31*r**2 - 202*r + 12. Is 17 a factor of k(-12)?
True
Let d = 838 + -374. Is d a multiple of 58?
True
Suppose 8*i = 304 + 120. Suppose -24 = -4*x + 5*u + 72, -i = -3*x - u. Does 19 divide x?
True
Suppose 0 = -4*d + 2*r - 7*r + 5, -12 = 4*r. Suppose -p - 118 = -5*j, d*p - 34 = -j - 0. Is 8 a factor of j?
True
Let v(k) = -k**3 + 23*k**2 + 8. Let r be v(23). Is (-5 - (-114)/24) + 66/r even?
True
Let x(o) be the first derivative of -o**2/2 + 7*o + 13. Is x(-4) a multiple of 8?
False
Suppose -6*j + 4*j = -s - 2, 0 = 5*j - 5*s - 5. Is 6 a factor of 44/j + (-2 - 1)?
False
Let l(g) = -g**2 + 20*g - 26. Let n be l(18). Let s = n + -7. Suppose 3*h - y = -h + 111, 0 = 4*h + s*y - 115. Is 11 a factor of h?
False
Let o = -1079 + 1235. Is 12 a factor of o?
True
Let h(k) = k**3 + 9*k**2 + 7*k + 10. Does 2 divide h(-3)?
False
Suppose -1350 = -3*t + 3*s, -2*t + 2*s = 3*t - 2250. Does 30 divide t?
True
Suppose -4*w + 1944 = -4*a - 876, -5*w = -4*a - 3522. Is 13 a factor of w?
True
Suppose 3*y + 8*z - 13*z = 407, 0 = 5*y + 4*z - 740. Is y a multiple of 7?
False
Suppose 18 = -5*p - 7. Let f be 5/p*(3 + 0). Is (-34 - 2)/(f - -1) a multiple of 4?
False
Let s be 1/5 + ((-27)/(-15) - 0). Suppose -2*b - 3*v + 469 = -0*b, s*v - 472 = -2*b. Does 26 divide b?
False
Let f = -4 - -9. Suppose 4*a - f = 3. Suppose 4*t + a = 2*z - 0, 3*z - 5 = 4*t. Does 2 divide z?
False
Let p(m) = 55*m + 187. Does 22 divide p(5)?
True
Let j = 14 - -74. Let l = 1162 - 1158. Suppose -6*x + l*x = 5*r - j, 3*r = 2*x + 56. Is 9 a factor of r?
True
Suppose v + 7 = -5*c, -3*v - 4*c + 7 = -4*v. Let q = v + 40. Does 11 divide q?
True
Suppose 3*w - w - 3 = -3*v, -3 = 3*v + 4*w. Suppose -2*n - 2*j = -0*n - 114, 0 = 2*n + v*j - 111. Suppose -3*t + n = 2*t. Is t a multiple of 5?
False
Let f(y) = 5*y**2 + y - 11. Let z(i) = i**2 - 1. Let q(o) = f(o) - 4*z(o). Let m be q(-5). Let s = -6 + m. Is s a multiple of 7?
True
Let j be 12*(0 - 4/(-1)). Let y be (-3)/(-4) - (-156)/j. Suppose -y*s + s = -126. Is s a multiple of 6?
True
Let f = 1398 - 998. Is 31 a factor of f?
False
Suppose 3*r + 360 = 4*r. Suppose r = 3*t + 2*t. Does 24 divide t?
True
Suppose 0 = 5*b - 10*b + 2*n + 996, n - 602 = -3*b. Does 4 divide b?
True
Let d be 4/(-3)*21/(-1). Let x = d - -13. Suppose -4*f + 118 = 5*z, -x = -f + 2*z - 5. Is f a multiple of 16?
True
Let t = -118 + 122. Suppose 2*h = 4*l - 134, -l + t*h = 1 - 24. Does 16 divide l?
False
Suppose -g = -6*g + 5. Let k(u) = 7 + 5*u - u + 1 - g. Is 11 a factor of k(11)?
False
Suppose -11*w - 8 = -15*w. Let x be (-4983)/(-22)*w/(-3). Let u = -87 - x. Is 16 a factor of u?
True
Suppose 2*g - 232 = 4*a, g + 4*a - 488 = -3*g. Does 12 divide g?
True
Suppose 0 = 3*a + 6, -m + 202 = 4*a. Let t = m + -134. Is 17 a factor of t?
False
Let w = 795 - 611. Does 11 divide w?
False
Suppose -22*f + 5*f + 10251 = 0. Does 13 divide f?
False
Suppose -12*p - 19*p + 7130 = 0. Is p a multiple of 5?
True
Suppose 7 = -t + 2*g + 395, 3*g = 6. Suppose i = 5*i - t. Does 10 divide i?
False
Suppose -102 = -5*a - 3*v, 4*a = -18*v + 20*v + 64. Does 6 divide a?
True
Let b = 2675 + -1397. Is 18 a factor of b?
True
Suppose -3*m = 5*p - 417, -p + 5*m = -0*p - 61. Suppose -d - 5*r + 27 = 0, -r = -3*d + 3*r + p. Is d a multiple of 9?
True
Suppose h + 4*z - 408 = -3*h, -4*z = -2*h + 192. Does 15 divide h?
False
Let v(l) = l**2 - 5*l + 152. Let g(t) = 2*t**2 - 9*t + 304. Let k(s) = 3*g(s) - 5*v(s). Is k(0) a multiple of 38?
True
Let t(b) = -b**2 - 20*b + 24. Is 5 a factor of t(-15)?
False
Suppose 15 = -0*s + 5*s. Suppose 8 = 5*n - 3*v + v, n = 4*v + 16. Suppose s*f - 43 + 13 = n. Is 3 a factor of f?
False
Let o(i) = 194*i - 306. Is o(6) a multiple of 4?
False
Let y be (-2 - (-1 - 37))*1. Suppose 7*b + y = 11*b. Is 7 a factor of b?
False
Let y = 75 + -31. Let j(i) = -i**3 - 13*i**2 + 28*i - 27. Let s be j(-15). Suppose 5*x + 79 = 2*n, -s*n + 3*x + y + 61 = 0. Does 16 divide n?
True
Suppose 6*s = -4*x + s - 16, -5*s = -3*x + 23. Let y(h) = -x + 3 - 2 - 8 - 3*h. Is y(-9) a multiple of 18?
False
Suppose 2*m = -2*m + 84. Let b be 8/(-14) - 1731/m. Let c = b - -155. Is 29 a factor of c?
False
Let g be (-306)/8 - 9/12. Is 3 a factor of 36/(-63) + g/(-7)?
False
Suppose 4*i + 0 - 4 = 0, -5*i - 2740 = -5*b. Suppose -7*j + b = -137. Is 14 a factor of j?
True
Let b = -28 - 121. Let d = -120 - b. Is 9 a factor of d?
False
Suppose 462 = 3*o + 3*l, -15*o + 16*o = 4*l + 164. Is o a multiple of 13?
True
Suppose 2 - 26 = -3*g. Let x = 12 - g. Is -4 + x + 108/3 a multiple of 12?
True
Let h(t) be the third derivative of t**4/24 - 2*t**3 + 4*t**2. Let v be h(6). Does 12 divide (-290)/v + 14/21?
False
Let p(s) = s**3 - 3*s**2 + 2*s + 1. Let r = -8 - -11. Let g be p(r). Suppose 0 = -g*m + m + 240. Is 20 a factor of m?
True
Let n(k) = 5*k + 7. Let s(b) = b. Let p be s(3). Suppose -3*v + 24 = p. Does 16 divide n(v)?
False
Let u = 4 - 0. Suppose 2*o - 622 = -5*v + o, v - u*o = 116. Let b = 189 - v. Is b a multiple of 19?
False
Let z = 106 - 148. Is (200/30)/((-4)/z) a multiple of 5?
True
Let m be ((-4)/(-14))/(8/56). Suppose 3*d + 28 = f, 5*f - 84 = -m*d + 3*d. Let b(j) = j**3 - 17*j**2 + 17*j - 13. Is 2 a factor of b(f)?
False
Let a = 608 + -283. Does 39 divide a?
False
Let a = 3 - -40. Let w be -3*2/(-3) + a. Suppose 0 = -0*l - 3*l + w. Is l a multiple of 10?
False
