5*n + 4955, 0 = -5*t - j*n + 5717 - 768. Is 59 a factor of t?
False
Let r = 39 + -27. Suppose 7*i = -r + 82. Is 14 a factor of (8/i - 2)/((-4)/90)?
False
Let b be (-2)/3 + (-355)/3. Let p be 4/34 + (28952/136 - 1). Let u = b + p. Is u a multiple of 31?
True
Let r(v) = -4*v**2 + 18*v - 9. Let d(o) = -o**2 + 6*o - 3. Let x(m) = -17*d(m) + 6*r(m). Let h(a) be the first derivative of x(a). Is h(-3) a multiple of 6?
True
Let a(l) = 11. Let o(z) = z - 20. Let t(p) = 9*a(p) + 4*o(p). Is 3 a factor of t(4)?
False
Let c = -4934 - -9300. Is 37 a factor of c?
True
Suppose 2*m - 5758 = 2*g, 20*g + 5755 = 2*m + 19*g. Is 73 a factor of m?
False
Let x = 1956 - -1524. Does 3 divide x?
True
Let p = 298 + -287. Let x = p - -289. Is 15 a factor of x?
True
Let x = -421 + 284. Let f = 137 + x. Suppose 4*j + 7 - 3 = f, -2*r + j + 13 = 0. Is r a multiple of 3?
True
Suppose 0 = 2*f - 4*r - 41480, -5*f + 132673 - 28991 = -r. Does 18 divide f?
True
Let o = 32 - 27. Suppose -o*c - 855 = -5*a, -2*a + 0*a - c = -354. Does 7 divide a/5 - (2 - -1)?
False
Let k = -538 - -493. Is 6 a factor of 5820/k*6/(-4)?
False
Let y = -64 - 263. Suppose 4*s - 8*s = 684. Let p = s - y. Is 30 a factor of p?
False
Let o = 3096 - 2064. Does 8 divide o?
True
Let f(p) = p**3 + 6*p**2 - 7*p + 2. Suppose 0 = 3*i - 0*i. Suppose -6 = -i*r - r - 4*s, -3 = r + s. Is 17 a factor of f(r)?
False
Let z(f) = -2*f**2 + f - 1. Let p(g) = 15*g**2 - 8*g + 13. Let y(u) = p(u) + 6*z(u). Is 13 a factor of y(-10)?
False
Suppose 65*c + 5*i = 69*c - 58449, -3*i = 3*c - 43857. Is c a multiple of 72?
True
Suppose 1583 = 2*d + k - 1430, -2*d + 3018 = 2*k. Does 8 divide d?
True
Is 29 a factor of 1364794/548 + 1/2?
False
Let a = 2676 - 2492. Is a a multiple of 46?
True
Suppose -2*x - 384 = 4*v, 5*x - 6*v + 3*v = -1012. Let q = 510 + x. Is 25 a factor of q?
False
Let j(k) = 133*k**2 - 153*k - 1096. Is j(-8) a multiple of 15?
True
Suppose 778 + 1067 = -5*m + x, -m = -x + 373. Let h = m - -668. Does 6 divide h?
True
Let h = -12237 - -18597. Is 15 a factor of h?
True
Let l(j) = j**3 - 14*j**2 + 7*j - 94. Let m be l(14). Is (-1)/(-20)*5*m + 198 a multiple of 44?
False
Suppose 2*t - 360 = 1236. Suppose 3*w = 7*w + 2*l - t, -4*w - 3*l + 793 = 0. Suppose -4*u = 2*j - 60, -w = -6*j + j + 3*u. Is j a multiple of 24?
False
Suppose 84 = 16*k + 5*k. Suppose 2*s = 3*j + 2156, 3*s + 72 - 3306 = k*j. Does 49 divide s?
True
Let p(r) = 226*r + 22483. Is p(0) a multiple of 5?
False
Suppose -24*c + 23*c - 1 = 0, -1494 = 2*l + 2*c. Let r = l + 1116. Is r a multiple of 9?
False
Suppose -4*s = 3*k - 9, -3*s - 2*k - 1 = -7. Suppose s = -z + 4. Is 10 a factor of z/(12/483) - 3 - -2?
True
Let n = -17759 + 25595. Is n a multiple of 12?
True
Suppose -152*h = -145*h - 42777. Is 21 a factor of h?
True
Let m(g) = -71*g**3 + 3*g**2 + 19*g + 12. Is 3 a factor of m(-3)?
True
Let o = 3814 - 1154. Is o a multiple of 14?
True
Let q(u) = 3 + 5*u**2 + 67*u**3 - 10*u**2 - 65*u**3 - 6*u + 6 - 10. Let h(l) = l**2 - 4*l. Let c be h(5). Is 15 a factor of q(c)?
False
Let c = -97 + 100. Suppose -c*r + 0*x + 571 = 2*x, -2*r + 5*x + 368 = 0. Is 21 a factor of r?
True
Suppose 66*h + 1059842 - 4819862 = 0. Is h a multiple of 29?
False
Suppose 1409*w - 1416*w = -44100. Is 15 a factor of w?
True
Is 10 a factor of (-16)/(64/(-36)) + 20?
False
Let b(o) = 2*o**2 + 87*o - 187. Is b(30) a multiple of 6?
False
Suppose -24*a + 23*a + 4*j = -15325, 5*j - 20 = 0. Is a a multiple of 61?
False
Let h(f) = 43*f**2 - 4*f + 3. Let d = 116 + -114. Does 21 divide h(d)?
False
Let b be 2/((-1)/36*-4*3). Let z be (b + -9)/((-2)/2). Suppose 3*q + 408 = 5*h - h, z*h + 2*q = 323. Does 15 divide h?
True
Suppose 8 = 4*y, 2*i = 6*i - y - 18. Suppose -i*a = 188 - 1068. Is 21 a factor of a?
False
Let m = 177 - 169. Let a(x) = -x**2 + 22*x - 12. Is 20 a factor of a(m)?
True
Let f(y) = 226*y - 336. Is f(6) a multiple of 17?
True
Suppose 755259 = 551*d - 104301. Is d a multiple of 8?
True
Let a(t) = -24*t + 3. Let f be a(0). Suppose -f = 40*k - 43*k, 0 = y - 3*k - 250. Is 11 a factor of y?
True
Let c(y) = -y**2 + 3. Let i be c(0). Suppose -i*q + 120 = 3*b, 179 = 4*b - q + 39. Suppose 2*k + 150 = 4*j, 2*j - k + b = 3*j. Does 15 divide j?
False
Suppose 11*y - 2432 = 14497. Suppose 0 = -30*j + 39*j - y. Is 5 a factor of j?
False
Let u = -442 + 453. Is 7 a factor of u?
False
Let c(k) = -2181*k + 9677. Is c(-8) a multiple of 7?
True
Let w be (4/6)/((-6)/18) - -5. Suppose 3*i = -2*o + 232, 71 = w*i + o - 159. Is 3 a factor of i?
False
Suppose 13*k + 20 - 839 = 0. Let q = 173 - k. Is q a multiple of 3?
False
Let u(z) = 65*z**2 - 579*z + 34. Does 9 divide u(11)?
True
Let w = 7777 + -1571. Is w a multiple of 107?
True
Let m = -21222 + 39174. Is 176 a factor of m?
True
Suppose 9*f = 5*s + 4*f - 855, 0 = s + 2*f - 168. Let m be (s/20)/((-1)/(-18)). Suppose -m = -g - 33. Is 12 a factor of g?
True
Let j = -413 + 430. Let z(g) = 2*g + 99. Does 19 divide z(j)?
True
Let t = 1104 + -112. Does 14 divide t?
False
Suppose -2*u - 20*b + 168 = -17*b, 0 = 4*u + 4*b - 344. Is u a multiple of 7?
False
Suppose -17*f = -71*f - 5*f + 490644. Is 12 a factor of f?
True
Suppose 3*c = 5*a - 176, 4*a + 2*c - 17 = 115. Let b(d) = 2*d**2 - 65*d - 2. Does 26 divide b(a)?
False
Suppose 5*b = -x + 2*b - 10, 3*x + 4*b = -5. Suppose 5*m - 1010 = -5*a, 4*m - x*a + 152 = 915. Is m a multiple of 22?
False
Suppose -10*o = 3*o - 39. Let u be (-4 + o + 0)*13. Is 91/6 - ((-13)/6)/u a multiple of 5?
True
Suppose -79 = 8*l - 95. Is l/(-7) + (-47646)/(-63) + 11 a multiple of 13?
True
Let g = 24899 + -21783. Does 19 divide g?
True
Let x = -798 + 1184. Let k = x - -27. Is k a multiple of 15?
False
Suppose 28*z + 621 + 79 = 0. Let w = 311 + z. Does 61 divide w?
False
Let i = 113 + -115. Let d be (96/5)/(i/(-20)*-2). Let z = d + 117. Does 3 divide z?
True
Suppose 3*j + 4*k = -14832 + 65388, -2*k + 16854 = j. Suppose 19*b - 55*b + j = 0. Does 52 divide b?
True
Let p be 2736/(-84) + -2 + (-18)/(-7). Is 62 a factor of (62/(-4))/(1/p)?
True
Let j(m) = -m**3 + 94*m**2 - 292*m + 124. Is j(90) a multiple of 4?
True
Suppose -8*r = -14 - 10. Suppose -2*x - r*t = -t - 10, -8 = -x + 2*t. Suppose -x*a + 200 = 14. Is 2 a factor of a?
False
Let h = -1631 + 9175. Does 41 divide h?
True
Suppose 0 = c - 6*c + 1650. Suppose -c = -j - 5*j. Let w = j - -62. Is w a multiple of 25?
False
Let t(v) = -40 - 77*v + 26*v + 24*v + 23*v. Does 6 divide t(-25)?
True
Let u(j) = 27*j**3 + 3*j**2 - 11*j + 3. Let f(s) = 55*s**3 + 6*s**2 - 22*s + 5. Let w(i) = -2*f(i) + 5*u(i). Is 17 a factor of w(2)?
False
Suppose 0 = -14*k + 32 + 38. Suppose -k*d - 8 = 2, -233 = -i + 4*d. Does 20 divide i?
False
Suppose x + 3*n + 2 = 0, n - 2 = 4*x + 6. Let c be (-2305)/((-20)/4) - x. Suppose -5*l = 3*y - 440, l - 241 = -5*y + c. Is 28 a factor of y?
True
Let p(c) = 170*c**2 - 2*c + 2. Let x be p(1). Let o = x + -154. Is 3 a factor of o?
False
Let i(x) = -x**3 - 82*x**2 + 322*x - 278. Is i(-86) even?
True
Let k(d) be the third derivative of -d**5/5 + d**3/2 - 8*d**2. Let t be k(-2). Is 20/6*(-432)/t a multiple of 4?
True
Let z(c) = -408*c - 244. Does 35 divide z(-3)?
True
Let x(m) = -12 + 16 + 7*m + m**2 - 12 - 6. Let j be x(-11). Does 4 divide (j/(-9))/((-4)/24)?
True
Let u = 1300 - 748. Let v = -324 + u. Suppose 5*j - 3*r - v = 0, -3*r = -j - 0*r + 48. Does 15 divide j?
True
Suppose 54*r - 1072635 - 352005 = -506*r. Is 48 a factor of r?
True
Let l be 18*(62/4 + -1). Suppose 0 = -6*x + 195 + l. Suppose -19*t + 21*t - x = 0. Does 10 divide t?
False
Suppose -5*g - 2 = -3*g, -2*g = -5*r + 882. Let k = 267 - r. Is k a multiple of 37?
False
Let d be 40/6*(-5 + (-250)/(-20)). Is (-179039)/(-875)*5 - 4/d a multiple of 31?
True
Suppose 1707*x - 1530*x = 7065840. Is 16 a factor of x?
True
Suppose -14*r + 4*s = -4094, 3*s + 1470 = -5*r + 10*r. Is 2 a factor of r?
False
Let p be 398/6 - -2*(-2)/12. Suppose 0 = d - 76 - p. Let h = -126 + d. Does 16 divide h?
True
Let d be -2 + (-12)/(-7) - (-1272)/42. Suppose d*z + 1622 = 8642. Does 9 divide z?
True
Suppose -17*x = -31 - 37. Suppose 0 = -4*b + 5*t + 138, -x*b + 3*t + 102 = -b. Is b even?
True
Let x = -4219 + 25877. Is x a multiple of 207?
False
Let m(l) = -l**2 - 26*l + 29. Let d be m(-27). Suppose -1534 = -4*j + 11*a - 6*a, d*j - 774 = -a. Is 30 a factor of j