rue
Let s(c) = 17*c + 208. Let j be s(-36). Let y = j - -420. Does 8 divide y?
True
Let o be (-13 + (-28)/4)/((-1)/132). Suppose 0 = -0*k + 12*k - o. Is 44 a factor of k?
True
Let h(s) = -s**3 + 16*s**2 + 35*s - 40. Let d be h(16). Suppose -31*i = -35*i + d. Is 12 a factor of i?
False
Let h(f) = 3813*f**3 - 3*f**2 - 14*f + 14. Does 15 divide h(1)?
True
Is ((4 - 6)/2)/(1/10296*-9) a multiple of 17?
False
Suppose 12593 = 8*s - 367. Is 30 a factor of s?
True
Let j be (((-112)/(-24))/7)/(4/18). Suppose -3*q + 16 = -5*f, -48 = -18*q + 13*q + j*f. Is q a multiple of 4?
True
Let r be -5 + 2 + 1*6. Suppose m = b + 2 + 11, r*b = -m - 35. Let h = 33 + b. Is h a multiple of 2?
False
Let i(m) = 2*m + 20. Let p be i(-8). Suppose -p*q + 5*v = -6*q + 397, -v = -3*q + 553. Suppose 6*f = q + 96. Is 7 a factor of f?
False
Let q = -1693 - -6412. Does 28 divide q?
False
Let f(r) = 58*r + 566. Is 26 a factor of f(26)?
False
Suppose -4827 = -r + 10519 - 5070. Is r a multiple of 92?
False
Let s(z) = 47*z**2 + 59*z - 18. Let b be s(-10). Is 13 a factor of (-3)/5 + (b/20 - 4)?
False
Suppose -19*h + 30546 = 11182 - 32221. Does 32 divide h?
False
Let t(i) = -7*i + 1. Let y be t(-1). Let w be 15/12*y/(-2). Is 6 a factor of 0 - (-213)/12 - w/20?
True
Does 95 divide -4 - (1 - 18120 - -5*140/(-100))?
False
Suppose -3*i + 16 + 8 = 0. Is 12 a factor of (4620/i)/15*4?
False
Let o be (2/3)/((-12)/2853)*-2. Let p = 42 + o. Does 19 divide p?
False
Let n(g) = 106*g**3 - g**2 + 2*g - 2. Let q(p) = p**2 + 3*p + 5. Let f be q(-5). Let o be (-5)/2*(-6)/f. Is 24 a factor of n(o)?
False
Suppose 4680*d + 161112 = 4708*d. Is 6 a factor of d?
True
Suppose -56*c + 82995 = -163519 - 56894. Does 29 divide c?
False
Suppose 106*m - 1458587 = 2089021. Does 11 divide m?
False
Let l(i) = 42*i - 38. Let n(o) = 21*o - 19. Let t(s) = -3*l(s) + 7*n(s). Is t(13) a multiple of 22?
False
Let d(u) = 3642*u - 687. Is d(4) a multiple of 25?
False
Suppose -x = -4*d + 18479, 13*d - 36961 = 5*d - x. Does 22 divide d?
True
Let p be -2 - 15/(-6) - (-524)/(-8). Let o = 61 + p. Is 15 a factor of 12/(-3) - o - -45?
True
Suppose 0 = 4*s - 5*t - 3847, -3*s + 4*t = -3017 + 131. Let l = -640 + s. Suppose -410 = -8*p + l. Is 12 a factor of p?
False
Does 3 divide (-67249)/(-17) - 174/(-986)?
False
Let o be 4*(2 + (-15)/4). Let x = 4375 + -4207. Is 18 a factor of ((-18)/o)/(6/x)?
True
Let m(y) = 79*y + 53. Suppose 2*u - 20*u + 54 = 0. Does 29 divide m(u)?
True
Let m(w) = 351*w**2 - 4*w - 5. Let x be (4 - (0 - -5))/1. Is 21 a factor of m(x)?
False
Let f = 2235 - 995. Does 6 divide f?
False
Let j = -87 - -90. Let t be ((-12)/14)/(j/(-14)). Suppose 2*z = 5*i - 616, t*i + 0*z = 3*z + 490. Is 31 a factor of i?
True
Suppose -5*b + 56 = 36. Suppose -4*f = 5*i - 325, b*f - i = 4*i + 275. Suppose -6*g = -7*g + f. Does 12 divide g?
False
Suppose -2*d + 77 = b + 42, -3*d = -2*b - 35. Let m(x) = 22*x - 57. Does 7 divide m(d)?
True
Suppose i + 74 = 3*o, -17*o = -16*o + 4*i - 42. Does 13 divide o/(25/10*(-20)/(-25))?
True
Let w(m) = 21*m - 96. Let o = 77 - 70. Does 17 divide w(o)?
True
Let y = 30 - 39. Let h(g) = g**3 + 10*g**2 - g - 5. Let t be h(y). Is 1/(-5) + 2992/t a multiple of 5?
True
Let k = -86 + 88. Let y = 205 - k. Does 22 divide y?
False
Let z be -8 - ((3 - -1) + -3). Let k = -9 - z. Suppose k = -5*q + 443 + 147. Does 24 divide q?
False
Suppose -46*n = -38*n - 200. Suppose 634 = 2*o - 3*m - n, -o + 357 = 4*m. Is 6 a factor of o?
False
Suppose 0*a + a = 4*g - 43, -2*a + 44 = 5*g. Suppose -3*p - g = -136. Is 27 a factor of p?
False
Let g be (21*-1)/((-10)/90). Let u = g + 132. Does 6 divide u?
False
Is 3/69 - (-1136324)/322 a multiple of 59?
False
Let f(z) = -3*z**3 - 74*z**2 + 51*z - 16. Let r(y) = -2*y**3 - 49*y**2 + 34*y - 11. Let m(i) = 5*f(i) - 8*r(i). Does 27 divide m(-22)?
False
Suppose -6970 = -f - s, -67*s - 13908 = -2*f - 61*s. Is 11 a factor of f?
False
Suppose -19407 = -2*r - 5*a, -8*r = -4*a + 5*a - 77533. Does 17 divide r?
False
Let a(w) = -21*w**3 - 2*w**2 + 1. Suppose 3 = -f + 8, t = 4*f + 15. Let y = t - 36. Does 4 divide a(y)?
True
Let y = 3910 - 2312. Does 48 divide y?
False
Suppose 3*t + 24 = 51. Suppose -272 = -t*n + 520. Suppose -4*z = -264 - n. Is 8 a factor of z?
True
Suppose 2*l + 13490 = -0*l + 60104. Is l a multiple of 17?
True
Let j(a) = a**3 + 23*a**2 + 13*a - 30. Is 20 a factor of j(-16)?
False
Let p(o) = 3*o**2 - 33*o - 4. Let b be p(11). Suppose 4*q - 2*v = 8, 0 = 5*q - 3*v + 3 - 14. Does 2 divide q/b - (-218)/8?
False
Let z = 666 - -122. Suppose 60*q - 64*q = -z. Let h = -131 + q. Does 11 divide h?
True
Let b(j) = -810*j + 169. Is b(-7) a multiple of 44?
False
Suppose 4*c = -10*p + 7*p + 5807, -3*p + 2*c = -5777. Suppose 333 = -7*a + p. Is a a multiple of 38?
True
Let b = 13767 + -3538. Is b a multiple of 40?
False
Suppose -2*g - 227 + 3349 = 4*p, 5*g = 2*p + 7805. Is 16 a factor of g?
False
Let l(m) = -6*m + 18. Let i be l(12). Let n = 99 + i. Let g = n + -27. Is g a multiple of 3?
True
Is 31 a factor of (-6)/(-5) + (-237776)/(-770)?
True
Suppose n + 2 = 2*w, n = -w + 1 - 3. Suppose w = -48*z + 41*z + 637. Is 10 a factor of z?
False
Let b = -16 + 22. Suppose -s + 5*o = 32, -3*s + 0*o = 3*o + b. Let i(l) = l**3 + 6*l**2 - 16*l. Does 9 divide i(s)?
True
Suppose 0 = -4*n - 80 - 184. Let k be 2*(-132)/8 - 1. Let h = k - n. Is h a multiple of 5?
False
Let v(j) = -31*j - 90. Let d be v(-22). Suppose -6*q = -d - 296. Is q a multiple of 18?
False
Is 53 a factor of 2 - 4 - (13 - 8) - -6610?
False
Let m(v) = -5*v**2 - 37*v + 89. Let r(l) = 3*l**2 + 18*l - 44. Suppose 71 - 188 = -9*d. Let n(p) = d*r(p) + 6*m(p). Does 34 divide n(4)?
False
Let v(i) = 43*i + 2009. Is 16 a factor of v(-27)?
True
Let k = 222 + -149. Let d = -8 + k. Is 24 a factor of d?
False
Suppose d = 2*s - 4*d - 4945, -2*s = 4*d - 5008. Is s a multiple of 6?
True
Let v(t) be the third derivative of t**6/120 + t**5/12 - t**4/24 - t**3/6 - 18*t**2. Let w be v(-5). Suppose -2*k = -w*k + 430. Is k a multiple of 12?
False
Suppose w - 566 = k + 27, -15 = -3*w. Let b = k - -985. Does 25 divide b?
False
Suppose 0 = -x + 3*z - 408 + 1637, -4*z + 4980 = 4*x. Is x a multiple of 5?
False
Let n(k) = -k**3 + 7*k**2 + 9*k + 4. Let a(y) = 3*y + 29. Let r(m) = m + 14. Let j(w) = 3*a(w) - 7*r(w). Let l be j(8). Does 15 divide n(l)?
False
Suppose 4*t - 37244 = -2*w, 2107*t - 2108*t + 4*w + 9302 = 0. Is 10 a factor of t?
True
Let a = 1840 - 950. Let o = a - 461. Is 13 a factor of o?
True
Suppose -28*i + 27424 - 79798 = -42*i. Does 26 divide i?
False
Does 5 divide (-15 - -6)/(1*3/(-18))?
False
Suppose -4*o + 3*x = -11994, 2*x = 2*o - x - 5994. Is o a multiple of 12?
True
Suppose 0 = 76729*l - 76734*l + 4680. Does 156 divide l?
True
Let w = 271 + -267. Suppose 4*y = 4*k + 8*y - 352, w*k - 364 = -y. Does 46 divide k?
True
Suppose 1749 = 4*i + x, -1767 = -247*i + 243*i + 5*x. Is 7 a factor of i?
False
Let q be (-3 - -37) + (5 - 6). Let u = 503 - q. Is u a multiple of 26?
False
Let o = 121 - 119. Suppose 5*g + 4*a = -2, -2*g + o*a + 4 = -3*g. Does 5 divide (-1 - (g + -4))/(-1)*-18?
False
Let i be (-1 + -1)/(34/(-119)). Is 4*(-35)/(-20)*i a multiple of 6?
False
Let j(z) = -146*z + 1559. Is j(7) a multiple of 18?
False
Let i(f) = -24104*f**3 - 4*f**2 - 8*f - 7. Is i(-1) a multiple of 9?
False
Suppose 4*w + 0*x - 2*x = 154232, 5*x = -2*w + 77080. Is 125 a factor of w?
False
Suppose -1158086 = 9*x - 37*x - 30*x. Is 5 a factor of x?
False
Let p be 53568/60 - 1/(15/12). Suppose -4*m - 344 = -p. Is 10 a factor of m?
False
Let p = 6874 - 5134. Is p a multiple of 10?
True
Let m be (680/(-102))/(2/6 - 0). Is 21 a factor of (-2 - 1)/30 + (-1062)/m?
False
Is (9 - (-183435)/(-10))*-2 a multiple of 17?
True
Let z(s) = -58*s**3 + 6*s - s**2 + 5 - 52*s**3 + 97*s**3. Is z(-2) a multiple of 36?
False
Let v = -10054 + 15013. Is v a multiple of 171?
True
Let o(w) = 3933*w - 14022. Is o(5) a multiple of 5?
False
Suppose 3*j - 5182 = -y, 192*y - j = 197*y - 25952. Is 17 a factor of y?
False
Suppose 5*l - 2585*v = -2582*v + 70101, 9 = 3*v. Is 171 a factor of l?
True
Let h = -1071 + 1732. Is 4/7 + h*(-3)/(-21) a multiple of 6?
False
Let i(t) = -6*t**2 - 22*t - 9. Let r(y) = -5*y**2 - 22*y - 8. Let p(d) = -3*i(d) + 4*r(d). Let g = -275 + 265. Is 15 a factor of p(g)?
True
Let n be (