alse
Suppose -5*u - 4*b = -8095, 29*u = 28*u + 2*b + 1633. Does 8 divide u?
False
Suppose 0 = 4*u - 1523 - 229. Let j = u - 248. Is 8 a factor of j?
False
Let n(g) = g - 1. Let t(x) = 6*x - 18. Let h(m) = 5*n(m) - t(m). Let k be h(9). Is 3*k*(-23)/(-2)*1 a multiple of 14?
False
Suppose -694*d + 691*d - 5*f = -24375, -5*f = -2*d + 16225. Is d a multiple of 10?
True
Suppose -17*j - 171396 = 40*j - 858474. Is 14 a factor of j?
True
Let g(l) = 7*l**2 - 12*l. Let x be g(-8). Let p = x - 214. Does 55 divide p?
True
Suppose 0 = 228*y - 221*y - 13069. Is y a multiple of 49?
False
Let n = 19757 - 18397. Is 13 a factor of n?
False
Suppose 12*o - 223110 = -55*o. Is o a multiple of 18?
True
Let i = 88 - 85. Let r be (-7 - (-4 - 1)) + i. Suppose -4*n - r = -3*n, -3*n = 5*o - 107. Does 5 divide o?
False
Suppose 2*y - 4*y + 15 = c, -2*y = -3*c - 11. Let o be (y/(-28))/(1/(-76)). Let k = o - 5. Is 4 a factor of k?
False
Suppose 7291*u + 104830 = 7313*u. Does 65 divide u?
False
Let y = -10846 + 12014. Is y a multiple of 8?
True
Suppose 0 = -183*q + 176*q + 70. Let j(f) be the first derivative of f**3/3 + 3*f**2/2 - 8*f + 3. Is j(q) a multiple of 34?
False
Let l = -34 + 34. Suppose l = 6*i - i + 5, 5*v + 86 = -i. Is 10 a factor of v/(-34) + (-118)/(-4)?
True
Let t(i) = -3*i**3 - 12*i**2 + 36*i + 24. Does 28 divide t(-8)?
True
Let t(s) = s**3 + 26*s**2 + 62*s - 34. Suppose 120 = 1086*p - 1092*p. Is t(p) a multiple of 14?
False
Suppose -5*q + 6876 = 3*d, -4*d + 6873 = -4*q + 9*q. Is 10 a factor of q?
False
Does 8 divide (-166426)/(442/(-17)) + -9?
True
Suppose -4*a - 525*x + 521*x + 105168 = 0, 3*a + 2*x - 78880 = 0. Is a a multiple of 152?
True
Is 17 a factor of 3/((-9)/(-3981)) - ((-351)/27 + 12)?
False
Suppose 163 = 24*y - 5. Suppose -3*u - 1296 = -y*u. Does 12 divide u?
True
Suppose 2*w = 2*c - 26, -w - 4*w = 2*c - 19. Let h = 63 - c. Does 7 divide h?
False
Let f(l) = -650*l - 1788. Is f(-3) a multiple of 81?
True
Let w = -19862 - -20345. Does 4 divide w?
False
Let s(k) be the first derivative of -9*k**2/2 - 32*k - 68. Does 31 divide s(-7)?
True
Let o be 6/(-6) + -4 + 0. Let d(t) = -t**2 - 4*t + 7. Let s be d(o). Suppose s*r + 4*f = 122, 2*r - 158 = -r - f. Is r a multiple of 9?
False
Let j(o) = o**2 - 54*o + 564. Is j(64) a multiple of 14?
True
Suppose -8*q + 2 = -7*q. Let i be 4/(-1) - ((-432)/q + 5). Suppose -3*l = -3*o - i, 2*o + 5 - 13 = 0. Does 12 divide l?
False
Let t = 34 + -62. Let n(u) = -u**2 - 49*u - 150. Is 8 a factor of n(t)?
False
Let u(t) = t**2 + t. Let r(l) = 7*l**2 - 5*l + 20. Let q(v) = r(v) - 5*u(v). Is q(8) a multiple of 13?
False
Let w(d) = d + 2. Let s be w(-9). Let c = 82 + s. Let k = 165 - c. Does 10 divide k?
True
Let g be (-4)/8 + 3332/(-8). Let x = g + 245. Let l = -76 - x. Is 32 a factor of l?
True
Let h be 2/(-7) - 401/(-7). Suppose -u - t = -11, -4*t + h - 4 = 5*u. Suppose 2*y = -5*n + 80, -n + u = 2*y - 7. Is n a multiple of 6?
False
Let w be (-30)/9*60/25. Let c be (0 + 3/2)*(-6 - w). Suppose -2*g + 109 + c = 0. Is 16 a factor of g?
False
Suppose 0 = 36*i + 19 - 739. Suppose -4*u = 20, -224 = 17*b - i*b - 5*u. Is b a multiple of 12?
False
Let r(c) = 12*c**2 - 6*c - 6. Let p be r(-1). Does 14 divide -1 + 4 + 1 - p*-19?
False
Let p = 11471 - 10939. Does 2 divide p?
True
Suppose 7 - 1 = 2*j. Suppose 4*z + 2 = -2*p + 4*p, -j*p = 2*z - 11. Suppose 4*s - 121 = -3*f, 2*s - 23 - 24 = p*f. Is 7 a factor of s?
True
Let c = -20 + 25. Suppose 127 = c*h - 83. Suppose -h = -2*a + 6. Does 4 divide a?
True
Suppose 201 = 24*v - 111. Suppose -v*t + 3013 = -19854. Does 21 divide t?
False
Suppose -504007 - 9181 = 481*u - 533*u. Is 71 a factor of u?
True
Suppose 6*w - 4*w - 476 = 0. Let y = w + 11. Suppose -m + 2*m = -l + 114, -2*m + 5*l = -y. Does 9 divide m?
True
Let j(y) = 3*y**3 + 2*y**2 + 3*y + 3. Let u be j(-5). Let t = u + 627. Suppose 0 = w - p - 72, -4*w + 0*w + t = -5*p. Does 10 divide w?
True
Suppose -26*d + 15*d + 1551 = 0. Let k = d - -704. Is 13 a factor of k?
True
Let u = 4439 - 3853. Does 2 divide u?
True
Let a = -24 - -27. Let x(k) = 3*k - 5. Let d be x(a). Suppose 3*v - 206 = -4*j + 222, -d*v + 2*j + 556 = 0. Is 20 a factor of v?
True
Does 118 divide 1019858/56 - (-24)/(-32)?
False
Let z(a) = -106*a - 6. Let t = -93 + 66. Let g be 60/(-27) + (-60)/t + -2. Is 36 a factor of z(g)?
False
Suppose 0 = a + 4*m + 118, 12 = -6*m + 2*m. Let n = 226 + a. Does 24 divide n?
True
Suppose 5*z = -8*z + 104. Suppose -7*n + 405 = z*n. Does 23 divide n?
False
Let f = -441 + 636. Suppose -194*g - 100 = -f*g. Is 5 a factor of g?
True
Does 9 divide (40/24)/((-9)/(-2241))?
False
Suppose -6*l + 106 - 16 = 0. Let o be ((-9)/(-6))/(l/40). Suppose s + 5*p - 65 = 0, -5*s - o*p = -152 - 89. Does 9 divide s?
True
Suppose 0 = 4*c + 4*p - 40, 0*c - 5*c + 26 = -p. Let h be (-4878)/(-30) - c/(-15). Suppose h + 93 = 8*i. Does 12 divide i?
False
Let u = 70137 - 39213. Is u a multiple of 18?
True
Let y be ((-7)/3 + 2)*(-64 - -49). Suppose 0 = -5*n, 5*n + 0 + 6 = q. Suppose -y*b = -q*b + 9. Is 4 a factor of b?
False
Suppose 2*l = -l + 6. Suppose -z + 4 = y, 4*z - 11 = -y + l*y. Suppose -3*r - 16 = -y, -4*r = -4*w + 40. Is 5 a factor of w?
True
Suppose -16 = -14*o + 6*o. Let f be (12/39)/o + (-8104)/(-52). Suppose -f = -2*k + 34. Is k a multiple of 19?
True
Let m(z) = -157*z**2 + 600 + 315*z**2 - 157*z**2 - 6*z. Is m(0) a multiple of 50?
True
Let o be (36/(-14))/((-9)/84). Let j be (4/8 + -2)/(1/o). Does 15 divide 2/6 - 2652/j?
False
Suppose -316*h = -404*h + 963160. Is h a multiple of 199?
True
Let m be (-12)/(-2) + -21 + 15. Suppose m = y - 1412 + 1249. Is 5 a factor of y?
False
Is 18 a factor of ((-7884)/5)/(9 + 1 + 306/(-30))?
True
Suppose -n - 103 + 643 = 0. Let y = -342 + n. Does 18 divide y?
True
Let j(g) = 156*g - 20*g**2 - 28 - 329*g + 165*g - g**3. Is 12 a factor of j(-20)?
True
Is (-106)/689 - (-210942)/26 a multiple of 133?
True
Suppose 3*w + 2*w - 225 = 0. Let n(l) = 60*l + 3662. Let x be n(-61). Suppose v = -x*v + w. Is v a multiple of 8?
False
Let f be (19/(665/(-504)))/(4/(-30)). Suppose -f = 41*z - 1174. Does 2 divide z?
True
Let w = 99 + -94. Let i(n) = 48*n - 15. Does 15 divide i(w)?
True
Let h(p) = 121*p + 1779. Does 32 divide h(-11)?
True
Let p be (-7)/(28/(-12)) - (-1 - -17). Let r be (-26)/p*(0 + 2). Does 9 divide 3 - (-987)/12 - 1/r?
False
Let l(q) be the second derivative of q**5/60 + q**4/6 - q**3 - 19*q**2/2 + 18*q. Let y(n) be the first derivative of l(n). Does 30 divide y(8)?
True
Suppose 13*r + 272 = 1715. Let a = -103 + 212. Suppose -u = -5*z - r, -2*z + 5*z + a = u. Is u a multiple of 12?
False
Suppose 2*o - 4*n + n + 131 = 0, 0 = 2*o - 5*n + 141. Let c = o + 333. Suppose 3*f = 121 + c. Is 22 a factor of f?
True
Suppose 39738 = 3*j + 3*a, -16*j = -15*j + 3*a - 13250. Is 86 a factor of j?
True
Let o be ((-1)/2)/(11/(-44)) - -1. Suppose -o*r - 5*p = -163, -7*r + 3*r = -5*p - 159. Is 31 a factor of r?
False
Let h = 39 + -37. Suppose -5*s - 171 = p - 3*p, h*s + 162 = 2*p. Does 39 divide p?
True
Suppose -2*b + 5*x + 41329 = 0, -5*b + 3*x + 151808 = 48438. Does 27 divide b?
False
Is 56 a factor of (-4 + 109)*(5568/18 + (0 - 0))?
True
Let q = -1176 + 1706. Let u(d) = -2*d**2 - 17*d - 5. Let k be u(-8). Suppose k*g + 2*w - q = 0, 0*w - 185 = -g + w. Is g a multiple of 12?
True
Let f be ((-8)/(64/36))/((-3)/6). Suppose 12*j - f*j = 1350. Suppose j = -22*o + 28*o. Does 5 divide o?
True
Let p(g) = g**3 + 29*g**2 - 66*g + 196. Does 10 divide p(-31)?
True
Suppose -4*q + 1028 = -4*i, 1028 = 4*q - 0*q - 5*i. Let t(j) = -11*j**2 + 6*j - 19. Let s be t(4). Let d = s + q. Is 21 a factor of d?
False
Let t(u) = -215*u**2 + 5*u + 437*u**2 - 220*u**2 - 23. Let g be t(6). Suppose 2*k + 6 = 3*k + 3*w, 0 = 4*k + w - g. Is k a multiple of 4?
False
Let s(t) = -44*t - 19. Let y be s(8). Let v = y - -1306. Is v a multiple of 27?
False
Suppose 0 = w - 3*a - 2555, -a = -w + 3*a + 2560. Suppose 0 = 5*s + 2*o - w, -s - o + 6*o + 508 = 0. Is 65 a factor of s?
False
Let v be 90/75 + (-2)/10 - -5. Suppose -v*c - 496 + 1918 = 0. Is 20 a factor of c?
False
Suppose -4*g - 22556 = -4*v, -25*v - 5*g - 22557 = -29*v. Does 8 divide v?
False
Suppose -3*p = -21*p + 3762. Let t = 429 - p. Suppose -3*m + t = m. Is m a multiple of 9?
False
Suppose 4*d + 93 = 77. Is 22 a factor