 factor of h(8)?
False
Let r(t) = -2*t - 18. Let b be r(-12). Let g = b - 2. Suppose g*x = 21 + 31. Is x a multiple of 3?
False
Suppose 0 = -3*f - 245 - 88. Let v = 36 - f. Is v a multiple of 49?
True
Let o be -67 + (-3 - -6) + -4 - 3. Let a = -11 - o. Is 5 a factor of a?
True
Suppose 383 = 6*k + 23. Let v = k - -58. Is 9 a factor of v?
False
Let l = 4 + 10. Let s = 12 - l. Is (-704)/(-14) - s/(-7) a multiple of 12?
False
Suppose -4*b + 22*b - 846 = 0. Is b a multiple of 3?
False
Suppose 8*r + 810 = 3*b + 13*r, 0 = -5*b - 4*r + 1363. Is 5 a factor of b?
True
Let k(m) = -m**3 - 2*m**2 + 6*m - 7. Let j be k(-6). Suppose t - j - 17 = 0. Suppose -t = -5*d + 3*d + 4*s, 0 = 5*d - 5*s - 280. Does 6 divide d?
False
Suppose 2*d - 415 + 64 = 5*n, -d - 2 = 0. Let c = -29 - n. Does 6 divide c?
True
Suppose 5*l - 34 - 6 = -2*b, -2*l - 3 = -3*b. Is 15 + ((-7)/3 - l/9) a multiple of 3?
True
Suppose -5*y - 1005 = 4*q, -y - 4*q - 332 = -131. Let u = -115 - y. Does 27 divide u?
False
Does 6 divide (-438)/(-8) + 45/(-60)?
True
Let n = 172 - -703. Is 35 a factor of n?
True
Does 15 divide 3/(-8) - (-26264)/64?
False
Let l = 70 - 68. Does 13 divide (l + 2 + -5)*-69?
False
Let l = -286 + 616. Does 30 divide l?
True
Let x = 78 - 28. Suppose 2*u + 4*l = -u + x, -5 = -u + l. Is u even?
True
Let t(h) = 108*h + 4. Let j be t(6). Suppose -3*i - 4*m - 89 - 558 = 0, 3*i = -5*m - j. Does 14 divide (-1)/(-5) - i/5?
True
Let g be 695/(-25) - ((-1)/1)/(-5). Let p = g + 65. Is p a multiple of 11?
False
Let f(r) = r**2 + 12*r - 24. Let d be f(-14). Suppose 0 = -4*v - 3*z + 60, 3*v = 5*v - d*z - 52. Does 18 divide v?
True
Is 8 a factor of (-18)/4*(-3240)/90?
False
Suppose -3*w - u + 1592 = 0, -u - 91 = -w + 445. Is w a multiple of 19?
True
Let j(m) = m + 137. Does 9 divide j(43)?
True
Let y = -748 - -1098. Is y a multiple of 11?
False
Let g = 28 + -22. Let z(d) = d**3 - 5*d**2 - 4*d - 6. Let x be z(g). Does 9 divide 21/(-3)*x/(-3)?
False
Suppose g + 25 = -3*b, 4 = -3*b + 2*b. Suppose 13*w = -w + 462. Let m = g + w. Is m a multiple of 10?
True
Suppose -2*m = -5 + 3. Suppose f = 2*f - m, -f - 151 = -n. Is n a multiple of 8?
True
Let v = -27 - -26. Does 4 divide (((-90)/(-4))/1)/(v/(-2))?
False
Suppose u + 3*l + 14 = 0, -5*u - l = -0*l + 14. Let i be (u/(-4))/((-5)/(-1800)). Let r = i - 100. Is r a multiple of 16?
True
Suppose 25 = -4*w - 215. Let c be 3 - (1 - 1) - w. Suppose 0 = 2*a + 5*i - 10*i - c, 4*a - 135 = i. Does 17 divide a?
True
Let j = -661 + 841. Is 10 a factor of j?
True
Let o be 3 + -2 - (-9 + 3 + 0). Let m(u) = -5*u + 2*u**3 - u**3 + 0*u**3 - 4*u**2 - 7. Does 35 divide m(o)?
True
Let v(b) = -b**3 - b**2 + b. Let c(d) = -5*d**3 - 32*d**2 - 8*d - 6. Let x(a) = -c(a) + 3*v(a). Is 7 a factor of x(-14)?
False
Let p(l) = -l**2 + 2*l + 2. Let s be p(0). Suppose -m + s*m = 5. Suppose 0 = x + g - 34, g = m*g + 8. Is x a multiple of 8?
False
Let c(f) = 211*f**2 - 17*f + 5. Does 47 divide c(-2)?
False
Let f be 24/(-16)*(-16)/6. Suppose 2 + 29 = 3*d - f*z, 4*d - z - 50 = 0. Is d even?
False
Suppose -d - 4 = 6. Let t = -7 - d. Suppose 0 = t*c - 4*w + 6*w - 109, 5*w + 74 = 3*c. Is 15 a factor of c?
False
Let u = -46 - -56. Does 18 divide (-25*(-4)/(-8))/((-5)/u)?
False
Suppose 2*m = 2*o + 2, 4*m - o - 2*o = 0. Is ((-2)/m - 2)*-144 a multiple of 41?
False
Let k = -7 - 136. Let x = 241 + k. Suppose -3*s - 2*a = 13 - x, 5*a = -5*s + 140. Is s a multiple of 8?
False
Let m = -3 - -5. Suppose 2*t - 72 = -m*t. Suppose -2*p + 23 = -3*d, 10 + t = 3*p + 2*d. Does 10 divide p?
True
Let t(m) = 9*m - 1. Let h be t(-1). Let f = 10 + h. Suppose -3*k - k + 144 = f. Does 12 divide k?
True
Let x(l) = -3*l**2 + 52*l + 38. Is x(13) a multiple of 9?
True
Suppose -2*g - 4*h = -h + 11, -g = 2*h + 8. Suppose 0 = -2*t + g*z + 306, -3*t = z - 0*z - 459. Does 32 divide t?
False
Is 117949/117 + 2/(-18) a multiple of 42?
True
Suppose 0 = -3*l - 3*h + 7 + 11, -5*h + 24 = 4*l. Suppose -135 = s - l*s. Suppose 2*q + s = 73. Does 23 divide q?
True
Let r = 10 + 21. Suppose 0*n + 3*h - 14 = n, -2*n = -h + 33. Let m = r - n. Is m a multiple of 12?
True
Let r(x) be the first derivative of -x**2 + 12*x - 2. Let a be r(6). Suppose o + a = 9. Is o a multiple of 4?
False
Let s be 0/(-2*(15/(-6) - -3)). Does 17 divide s/(-3) + 4 - -61?
False
Suppose 5*t + 51 = 11. Let a = 8 + t. Suppose a*q - 16 = -2*q. Is 4 a factor of q?
True
Suppose -5*v - 3*k = -20, 4*k = 2*v + 7 + 11. Let d(b) = 144*b**2 - 3*b - 17. Let q(y) = 48*y**2 - y - 6. Let t(n) = 6*d(n) - 17*q(n). Is t(v) a multiple of 13?
False
Let b(q) = q**2 + 2*q - 1. Suppose 4*l - 5*g - 45 = 0, -3*l + 35 = -g - 3*g. Suppose -15 = l*j - 0. Is b(j) even?
True
Let v(a) = -a**3 + 5*a**2 - 2. Let r be v(2). Suppose -r*l + 6*l = -220. Does 11 divide l?
True
Suppose 5*s - 123 = -4*h, 5*h - 9*h + 4*s = -96. Is 3 a factor of h?
True
Let b = 39 + -27. Let v be b/(-20) + 56/10. Suppose n + 50 = v*l - 2*n, -2*l - 5*n + 20 = 0. Is 5 a factor of l?
True
Let l(o) = 6 + o**3 + 3*o - 16 - 8*o**2 + 0*o**3. Is 7 a factor of l(8)?
True
Suppose 10*q - 4048 = 2*q. Suppose 182 - q = -3*k. Suppose -k = -5*u + 292. Is 8 a factor of u?
True
Suppose m + 0*m = 2. Let p(w) = 11*w**3 + 2*w**2 + w - 1. Is p(m) a multiple of 13?
False
Let o(b) = -b**3 + 11*b**2 - 20*b + 18. Let z be o(9). Suppose z = 5*q + j - 766, -4*q - 2*j + 454 = -q. Is 14 a factor of q?
True
Let p(z) = -z**2 + 2*z + 3. Let s(f) = -4*f**2 + 2*f + 1. Let n(v) = 2*v**2 - v. Let r(d) = 7*n(d) + 4*s(d). Let g(c) = 5*p(c) - 4*r(c). Is 19 a factor of g(3)?
False
Let q = 488 + -456. Does 4 divide q?
True
Suppose -4 = -x, 0 = -7*f + 11*f - 2*x - 2712. Is f a multiple of 40?
True
Let u = -14 + 14. Suppose u = -4*w + 2 + 18. Suppose w*t + 3*n = -n + 43, 3*t = -3*n + 24. Does 11 divide t?
True
Let l be (-6)/(-15) + 24/15. Does 8 divide (-4)/((-1)/16*l)?
True
Suppose 0 = -a, 2*n - 59 = n - 5*a. Let f = -44 + n. Is 15 a factor of f?
True
Let o(c) = c**3 + 3*c**2 - 12*c + 13. Let b be o(-9). Let l = 522 + b. Let f = l + -77. Is f a multiple of 16?
True
Is 14 a factor of ((-54)/4)/(30/(-840))?
True
Suppose 2*k = -3*r - 0*k + 18, -15 = 5*k. Suppose r*h - 3*h + 60 = 0. Does 3 divide 3 - (-3 - -3) - h?
True
Let u = 109 + -48. Let k = u + -58. Does 3 divide k?
True
Suppose 0 = 22*c - 14*c - 512. Does 8 divide c?
True
Let p(a) = -676*a - 130. Is 47 a factor of p(-2)?
True
Let c(w) = 18*w - 18. Let i be c(12). Suppose i = 3*d + 4*m, 2*d - 5*m - 134 = -7*m. Does 14 divide d?
True
Let u(m) = -3*m**3 + 3*m**2 - 2*m. Let o be u(3). Let r be 0 - (1 + -3 + 96). Let t = o - r. Does 14 divide t?
False
Let n(p) = 2*p - 14. Let k(d) = -73*d - 1. Let g be k(1). Let a be 12/16 + g/(-8). Does 2 divide n(a)?
True
Suppose -7*w = -25*w + 954. Does 8 divide w?
False
Let b(x) = 285*x - 174. Does 9 divide b(7)?
False
Suppose 2*s - 2*d - 68 = 96, 5*s = 2*d + 416. Is s a multiple of 21?
True
Let h = -154 - -13. Let v = -96 - h. Does 8 divide v?
False
Let z be ((-45)/6)/(-2*1/4). Let w = 22 - z. Is w a multiple of 6?
False
Let o(a) = -15*a**3 + 9*a**2 - 11*a - 9. Is 66 a factor of o(-5)?
False
Suppose 2*u + 5*h - 92 = 0, 3 = -2*h + 11. Does 4 divide u?
True
Let g be 0*3/9 + 2. Suppose 3*q - 2*q - g*l = 72, -3*q + 205 = 5*l. Does 12 divide q?
False
Let i(p) = -30*p + 94. Is i(-18) a multiple of 17?
False
Let z be (-174)/(-30) + 3/15. Let y be -2*(-3)/12*z. Suppose 2*r + 5*s + 99 = 5*r, -y*r = 3*s - 75. Is r a multiple of 7?
True
Let u = 710 - -343. Does 9 divide u?
True
Let h(t) = 7*t - 17. Suppose -a - 2*a = -45. Does 26 divide h(a)?
False
Suppose 0 = -2*m + 3*m - 3*h - 995, -m + 997 = -2*h. Is m a multiple of 11?
True
Let f(a) = a + 19. Suppose 4*b - 5*h + 41 = 0, 32 = -3*b - 2*h + 6*h. Let y = b - -4. Is f(y) a multiple of 19?
True
Suppose -5*m + 37 = i - 10, -3*m + 301 = 5*i. Let p be ((-8)/(-140)*-7)/(2/160). Let j = i + p. Is j a multiple of 10?
True
Does 5 divide (10/54*9)/(2/594)?
True
Suppose -91*y + 78*y = -8190. Does 30 divide y?
True
Let a(p) = -p**2 + 4*p - 4. Let k be a(5). Let v be (6/k)/((-2)/153). Suppose -3*c - v + 213 = 0. Is c a multiple of 18?
True
Suppose l = -5*p + 134, 8 + 84 = 4*p - 3*l. Is (1 + -1 + 2119/p)*2 a multiple of 17?
False
Let g = 268 + -160. Is 27 a factor of g?
True
Suppose 5 - 1 = z. Suppose -z*o + 8*o = 40. Is o a multiple of 2?
Tru