?
True
Suppose -8*h + 5*h = -2*r + 8, -4*h - 4*r = -16. Suppose -49 + 188 = 2*l + 3*k, h = 2*k - 2. Is 6 a factor of l?
False
Suppose 9*n = 23*n - 1666. Does 40 divide 6/(-14) + 23851/n?
True
Suppose 179*z - 176*z - 18502 = -5*l, l - 24692 = -4*z. Does 14 divide z?
True
Let k be ((-10410)/45 + 3)/((-2)/(-18)). Let p = k + 3228. Is 69 a factor of p?
True
Suppose 0 = 45*j - 109749 + 2829. Is 99 a factor of j?
True
Let v = 5897 + -5885. Is v a multiple of 3?
True
Suppose 0*v + 5*v - 210 = 0. Suppose o - v = -2*o. Suppose -x = -o + 2. Is 5 a factor of x?
False
Suppose 5*a - 9*f + 11*f = 25280, -2*f - 15168 = -3*a. Is a a multiple of 79?
True
Suppose 20*h - 6*h - 42 = 0. Suppose 4*j + 1879 = h*a, 354 - 3544 = -5*a - 5*j. Does 9 divide a?
False
Let i(o) = 4*o**3 - 26*o**2 + 75*o - 578. Is i(11) a multiple of 9?
False
Let v be 276/(-9) - (-3)/(-9). Let c = v + 471. Suppose -4*k = k - c. Does 21 divide k?
False
Suppose 3*y = 0, 2*y + 6 = -0*n + 2*n. Suppose -3*w = -l + 1290, -5*l + 2*w + 6480 = -n*w. Is 46 a factor of l?
False
Suppose 4*t - 20 = 2*u, 5*u - 7*u = 4*t - 20. Suppose u = -7*s + 1703 - 107. Does 12 divide s?
True
Let x(t) = -3*t**3 + 18*t**2 + 196*t + 27. Is 4 a factor of x(-9)?
True
Is 46 a factor of 43/(516/(-3816))*-18?
False
Suppose -3*k - 4*t + 14 = -62, -2*k + 3*t = -28. Suppose 2*o - o - h = 2, 0 = -5*h + k. Suppose o*q + 69 = 7*q. Is 29 a factor of q?
False
Suppose 9*a - 6*a + 3 = 0. Is a/(16/(-606)) + (-2)/(-16) a multiple of 4?
False
Suppose -200*r + 1539464 = -603984 + 235448. Does 20 divide r?
True
Suppose 2*v + 178 = -5*i, -6*i + 2*i - 152 = 4*v. Let c(x) = -x**3 - 33*x**2 + 33*x + 39. Is c(i) a multiple of 11?
False
Suppose 7*a + 365500 = 75*a. Does 133 divide a?
False
Let c be (-6)/((-18)/16*(-32)/(-24)). Suppose 0 = c*a - 4*o - 224, a - 5*o = -o + 71. Does 6 divide a?
False
Suppose 734 + 1814 = 15*k - 287. Suppose -2*c + 2859 = -4*w + 673, -c = -w - 1096. Suppose c - k = 14*b. Does 5 divide b?
True
Suppose 15*d - 67 = 38. Let n = -9 + 63. Let j = n - d. Is 25 a factor of j?
False
Suppose 0 = -2*g + 2*y + y - 165, -3 = -y. Let f = -75 - g. Suppose 3*k - 3*u - 195 = 0, u + 8 = -f*u. Is k a multiple of 9?
True
Suppose 0 = -6*n + 50 + 52. Let z = n + -19. Does 33 divide (-1287)/(-6) + z/(-4)?
False
Is (-7583)/(-1) + 1 + (9 + 33)/7 a multiple of 138?
True
Suppose 3*q - q - 5*d - 100 = 0, -4*q - 2*d = -200. Let n = 69 - q. Let b = -3 + n. Is b a multiple of 8?
True
Let t(b) = b**3 + 9*b**2 + 9*b - 1. Let x be t(-8). Let q be (105/x + -1)*6/1. Let k = q - -122. Is 14 a factor of k?
False
Let h(b) = -96*b + 35. Let f(o) = -4*o - 95. Let s be f(-23). Is 24 a factor of h(s)?
False
Let m(v) = -3*v - 68 + 220 - 55. Is 41 a factor of m(5)?
True
Suppose -9*u + 1 = -26. Does 47 divide (-4)/10 + u + 21220/50?
False
Let h(v) = -13*v**2 + v - 8. Let f(x) = 37*x**2 - 2*x + 23. Let n(c) = 4*f(c) + 11*h(c). Does 18 divide n(-5)?
False
Let l(i) = 9*i - 28. Let q be l(29). Suppose 229*s + 1040 = q*s. Is 52 a factor of s?
True
Suppose 0 = -16*n + 19*n. Suppose n = -3*c + 4*c. Suppose c = -5*x + 5*b + 225, -2*b - 8 = -0*b. Is 13 a factor of x?
False
Let x(y) = 281*y**2 + 2*y - 3. Let t be x(2). Suppose -31*o + 4052 = -t. Is 69 a factor of o?
False
Is 19 a factor of ((-51390)/(-54))/((-21)/(-1197))?
True
Let g be (1 + 2)/(24/(-32)) + 376. Suppose -g = 4*p - 1428. Does 12 divide p?
True
Let b(a) = -a**2 - a + 16. Let x be b(3). Suppose -5*l - q + 135 = 0, -3*q + 0*q = x*l - 108. Is l a multiple of 8?
False
Let s = -445 + 449. Suppose -3*j = 4*a - 787, -219 = -s*j + 3*a + 847. Does 18 divide j?
False
Let x(i) = -i**2 - 5*i + 26. Let c be x(6). Let z = c + 32. Is (z + 3)/(-5)*50 a multiple of 10?
True
Suppose -135 = 5*d - 380. Let z = -55 + d. Let p(w) = -10*w + 18. Is p(z) a multiple of 13?
True
Let x(v) = v**3 - 3*v**2 - 26*v - 12. Does 54 divide x(12)?
True
Suppose 36 = 2*q - 2*d + 10, 0 = -5*d - 25. Suppose -2*h = 4*u - q*u + 650, -155 = -u + 3*h. Does 26 divide u?
False
Let f be (-40)/10 + 17/(3/3). Suppose 2192 = f*t - 1162. Is t a multiple of 10?
False
Let h be 1/3*(74/2 + -1). Does 26 divide -5*4*10/h*-6?
False
Does 162 divide -9 + 4376/3*3 - -7?
True
Let b = 4188 - 2828. Is 16 a factor of b?
True
Let o(n) = 9*n + 76. Let f be o(-9). Let u(j) = -6*j**2 + 9*j + 12. Let b(g) = 11*g**2 - 17*g - 23. Let t(w) = 3*b(w) + 5*u(w). Is t(f) a multiple of 16?
True
Suppose 3*o = 12, 3*o + 4 - 16 = 5*k. Suppose k = 6*t - 477 - 1737. Is 41 a factor of t?
True
Let j(g) = -132*g**3 - g**2 - g. Let n be j(-1). Suppose d - 5*x - n = -d, -3*x = 5*d - 299. Let p = 91 - d. Is p a multiple of 15?
True
Suppose 0 = -7*z - z + 120. Is 9 a factor of 1197/z + 9/45?
False
Suppose -14205 = -8*u + 4803. Suppose 0 = -155*w + 159*w - u. Is 22 a factor of w?
True
Let q be 4*(850/8 - -7). Let x = q + -309. Is x a multiple of 9?
True
Suppose 3*f = 4*f - 265. Suppose -2*d = -f - 113. Suppose -3*k + 78 = -d. Is k a multiple of 12?
False
Suppose 2 = -2*o, -7891 = 14*n - 16*n + 3*o. Is 29 a factor of n?
True
Let v(r) = 2*r**3 - r**2 + 6*r - 4. Suppose 0 = 5*t + 4*c + 20, 2*t + 0*c = c + 5. Suppose a = -3*g - t*g + 8, 0 = -g - 2*a - 4. Is v(g) a multiple of 44?
True
Is 35 a factor of ((-42)/(-4))/(1/(-3)*126/(-21644))?
False
Let r(b) = -b**3 + b**2 - 2*b + 2. Let j be r(1). Let x = -28 + j. Let q = x + 84. Is 8 a factor of q?
True
Let q = 311 + -307. Suppose w + q*c = 194 + 212, 2*w + 3*c - 792 = 0. Is 30 a factor of w?
True
Let t(r) = 56*r**3 - 2*r**2 + 17*r - 85. Is t(4) a multiple of 35?
True
Let l(u) = 62*u**2 + 16*u - 38. Let o be l(3). Suppose 4*h = -35*n + 33*n + o, 4*n - 576 = -4*h. Is h a multiple of 3?
False
Let c = 4805 + -1311. Is 30 a factor of c?
False
Suppose -3*k = -4*r + 7, -3*k + 25 = 4*r - 0*k. Let t be (1 - 2) + r + -3. Suppose -2*p + 53 = 3*l, 0 = 3*l - p - t*p - 68. Does 12 divide l?
False
Suppose -5*p - 18 = -63. Let l(a) = 3*a**2 - a + 18. Let t be l(p). Does 21 divide (-4 + (-30)/(-9))/((-2)/t)?
True
Let h(y) = -y**2 + 13. Let v be h(5). Let j = -1 - -3. Does 2 divide j*((-13)/(-4) + v/(-48))?
False
Let l = 28 - 20. Suppose 783 = -l*i + 2247. Let t = i + -111. Is 9 a factor of t?
True
Let t(j) = 12*j**2 - 335*j + 248. Does 37 divide t(46)?
False
Let p(q) = -6*q + 6. Suppose 0*w + 52 = 13*w. Suppose -4*t + 1 = -3*c - 9, -w = 3*c + 2*t. Is p(c) a multiple of 5?
False
Let g = -28 - -37. Let x(c) = 8 + g*c + 2*c**2 + c**2 - 8*c**2 + 4*c**2. Does 22 divide x(7)?
True
Suppose 0 = 4*x + 4*i - 8172, -4*x = 4*i - 7*i - 8151. Suppose -2*h - 5*k = -1366, 6*h = 3*h - 3*k + x. Does 17 divide h?
False
Let z(v) = v**2 - v + 196. Let u be z(0). Suppose -u = -14*b + 7*b. Does 2 divide b?
True
Let u = -1500 + 738. Let v = 1138 + u. Does 22 divide v?
False
Let n be 16653/15 + (0 - (-5)/(-25)). Suppose -1045 = -5*z + 5*r + n, 4*z = -2*r + 1730. Does 24 divide z?
True
Let b = 2204 - 1370. Suppose 3*o - 838 = -0*o - i, -3*i = 3*o - b. Does 35 divide o?
True
Let b(i) = 10*i - 137. Let d be b(13). Let o(z) = 3*z**2 - 2*z + 14. Is o(d) a multiple of 5?
True
Let r(p) = 30*p**2 + 21*p - 11. Is r(8) a multiple of 20?
False
Suppose -3 + 51 = -t. Let d = t + 40. Is 10/40 - 374/d a multiple of 7?
False
Let k = -23534 - -33323. Does 55 divide k?
False
Let y be 1 + 24/(-36) - (-29)/3. Does 38 divide 19080/75 + (-4)/y?
False
Let h = 160784 + -110752. Is h a multiple of 59?
True
Let u = 1545 + 1498. Is 18 a factor of u?
False
Suppose 4*l - 5*n - 12057 - 33508 = 0, -5*l - 4*n = -57028. Is l a multiple of 40?
True
Suppose 17*z = 2*d - 3175 - 3005, -4*d + 12558 = -z. Is d a multiple of 39?
False
Does 68 divide (-6 + 4)/(8/(-1072))?
False
Let q(t) = 313*t**2 + 6*t - 4. Let m be ((-32)/(-6) + -4)*(-6)/(-8). Is q(m) a multiple of 21?
True
Let z = 743 + -749. Let m(g) = 28*g**2 + 19*g - 3. Does 11 divide m(z)?
True
Suppose 0 = 8*d + 3690 - 1410. Let b = -197 - d. Does 27 divide b?
False
Suppose 0 = 533*o - 482*o - 19890. Is 26 a factor of o?
True
Suppose -2621 = -3*o + 4*a, 4*o + 3501 = 8*o + a. Is o a multiple of 25?
True
Let l(c) = c**3 + 10*c**2 - 24*c + 7. Let u be l(-12). Is 7 a factor of 15/(30/14 - (u - 5))?
True
Is (-21213)/(-2) - -10*(-14)/(-280) a multiple of 29?
False
Let b(s) = 12671*s**2 - 32*s + 2. Is b(-2) a multiple of 20?
False
Let j(o) = 7*o**2 + 6*o - 7. Let n be j(-7). Suppos