 h be (-3)/(-2)*2 - 4. Does 16 divide (q - (-1412)/8) + h/(-2)?
True
Let y(b) = -112 - 88 + 38*b - 2 - 80*b. Does 20 divide y(-12)?
False
Does 4 divide 10/(-45) + (-4 - (-6216)/27)?
False
Suppose -181986 = -118*u - 74753 + 512385. Does 39 divide u?
False
Does 69 divide (378/(-135))/((-28)/691240)?
False
Suppose 0 = 4*a + 4*k - 4248, -k = 2*a - 1341 - 781. Is 11 a factor of (1 - a/4)*(0 + -1)?
True
Let x = -204 - -511. Let c = 611 - x. Is 13 a factor of c?
False
Suppose -75968 = -21*z + 32602. Is z a multiple of 22?
True
Suppose -3*f + 6*f = -3*u + 4563, -f + 5*u = -1551. Let h = -914 + f. Is 25 a factor of h?
False
Does 90 divide 1051865/205 + (-12)/246 - (1 + 0)?
True
Suppose -2*l - 26 - 112 = 0. Suppose 56*m - 57*m = 3*v - 113, -4*v + 554 = 5*m. Let b = l + m. Is 23 a factor of b?
False
Let y(o) = -569*o**2 + o + 17. Let x(k) = -k**2 + 2*k - 1. Let n(s) = -5*x(s) - y(s). Is 24 a factor of n(-1)?
False
Let y(h) = h**3 + h**2 + h - 61. Suppose -3*b - 22 = -4*z, -6 = z - b - 11. Does 15 divide y(z)?
False
Does 104 divide 6*25/60*25*208?
True
Let p be 38/6*(-3 + 6). Suppose -2829 + 606 = -p*a. Does 12 divide a?
False
Let z(f) = f**2 + 2*f + 1. Let n(s) = s**2 - 3*s - 41. Let h(p) = n(p) + z(p). Let l be h(8). Suppose -l = -13*y + 9*y. Is y a multiple of 20?
True
Let y(t) = 213*t**3 + t**2 - 3*t - 3. Let h be y(-1). Let a = h + 150. Let q = a - -135. Is 10 a factor of q?
False
Let a = 8 + -6. Suppose -s + a*l + 3*l = -368, -1924 = -5*s + 4*l. Does 11 divide -5*s/(-22) + 4/(-22)?
True
Let x be (4/(-18))/((-4)/36). Let y(c) = c + 75*c**x + 61*c**2 - 1 + 89*c**2 + 71*c**2. Does 49 divide y(-1)?
True
Is (-8)/((-97450)/6960 - -14) a multiple of 12?
True
Suppose -7 = g - 2*u, u = 4*g + 4*u - 27. Suppose g*j = -6*j + 702. Does 6 divide j?
True
Let o be 94 + (5 - (-4 + 5)). Suppose -4*i - 330 = -7*i - 3*h, i = -4*h + o. Is i a multiple of 38?
True
Let v(a) = 6*a - 19*a**2 + 4*a**2 - a - 19 + 16*a**2 - 35*a. Does 22 divide v(-9)?
False
Let p(m) = -m**3 + 54*m**2 + 133*m - 392. Is p(55) a multiple of 40?
False
Let b(c) = 3*c**2 + 16*c + 21. Let n be b(-5). Suppose 0 = -17*i + n*i + 60. Is i a multiple of 5?
True
Suppose 0 = 3353*t - 3392*t + 6630. Does 85 divide t?
True
Let g = 62 - 60. Suppose -3*z + 5*z = -4*a + 204, 0 = -g*a + 5*z + 102. Is (12/9)/4*a a multiple of 17?
True
Let n(d) = 77*d**2 + 296*d + 1986. Does 98 divide n(-7)?
False
Suppose 108*h = 49114 - 12286. Does 7 divide h?
False
Suppose 56*x - 28*x = 115808. Is 11 a factor of x?
True
Suppose 4*h = -p + 29, -6*p - 55 = -11*p - 2*h. Suppose -6*a - p*a = -1635. Is 10 a factor of a?
False
Let k(i) = -i + 8. Let y be k(-11). Let u(h) = -9 - 43*h + y*h + 2 - h**3 + 29*h**2 + 3. Does 36 divide u(28)?
True
Let k = 6184 - 3458. Does 94 divide k?
True
Suppose 0 = -44*r + 730631 - 127259. Is 7 a factor of r?
True
Let l be -2 + (-36)/(3 - -1). Let h(t) = t**3 + 9*t**2 - 3*t + 18. Let w be h(l). Let i = -111 - w. Is i a multiple of 20?
True
Let w be (29/4)/(28/1568). Suppose -200 = -2*i - 4*h, -16*i = -20*i - 5*h + w. Is i a multiple of 8?
True
Suppose -2190 = 10*h + 8290. Let b = h + 1603. Is b a multiple of 56?
False
Let v(s) = 5*s + 157. Let r be v(0). Let d = r + -121. Is 18 a factor of d?
True
Does 148 divide (-16)/68 - (-60867968)/3808?
True
Is 48 a factor of (-483843)/(-18) - 12/72?
True
Let b = -6824 + 19470. Is b a multiple of 98?
False
Let q be (1 + -2 - -1) + 2. Suppose -9*r = -q*r - 462. Does 9 divide r?
False
Let p = 643 - 1190. Let m = 871 + p. Is 27 a factor of m?
True
Let w(m) = 1997*m + 4689. Is w(0) a multiple of 17?
False
Suppose -37 = -k - 2*a, -7*k + 2*k + 4*a + 171 = 0. Suppose 6*t = -t - k. Is 20 a factor of ((-64)/t)/((-20)/(-50))?
False
Suppose -14*z = -27*b - 17*z + 33633, 5*b = z + 6233. Is 14 a factor of b?
True
Suppose -125*c - 71*c = -66*c - 1147900. Is 16 a factor of c?
False
Let g(l) be the second derivative of l**5/20 + 3*l**4/2 + 5*l**3/6 - 25*l**2/2 + 126*l. Is g(-15) a multiple of 23?
True
Suppose 0*p - 3*q = 2*p - 2, q = p - 1. Let a be 11/((-22)/20) - p*-4. Let u = 10 - a. Is u a multiple of 4?
True
Let c(o) = 192*o**2 + o - 12. Let h be c(-2). Suppose -h = -4*q - 2*f, 3*q - 4*f - 548 = -2*f. Is 5 a factor of q?
False
Suppose 8*i + 7 - 39 = 0. Suppose 80 = i*l - 152. Let d = l - 25. Is 5 a factor of d?
False
Let p(t) = -2*t**2 + 2*t - 1. Let l be p(0). Let c be (-3 - -1)*(-8 - -10)*l. Suppose -y = c*y - 4*m - 339, -3*y - 2*m = -199. Is 13 a factor of y?
False
Let q(c) = 76*c - 168. Let o be q(4). Suppose 0 = 153*z - o*z - 13464. Is 36 a factor of z?
True
Let o be 2/15 - 392/(-210). Suppose b - 4*d + 86 = 0, 0 = o*b + 2*d - 0*d + 122. Let m = 109 + b. Does 7 divide m?
False
Suppose -405675 + 4707576 = 333*w - 2837286. Does 7 divide w?
False
Suppose 3*p - 6*p + 90 = t, -98 = -t - 5*p. Is 26 a factor of ((-1)/(8/t))/(3/(-56))?
True
Let g(i) = 3 + 1 + 1 - i. Suppose 241 - 271 = 5*m. Is 2 a factor of g(m)?
False
Let v be 11/(44/24) - -9. Let a(z) = z**3 - 15*z**2 + 25*z - 54. Is a(v) a multiple of 67?
False
Let h(n) = -13 - 8*n + 3 + 38*n - 2. Does 6 divide h(7)?
True
Let i(c) be the third derivative of 2*c**5/15 - c**4/2 - 16*c**3/3 + 6*c**2. Let j(a) be the first derivative of i(a). Is 6 a factor of j(3)?
True
Suppose -57*a = 123*a + 2*a - 629356. Does 9 divide a?
False
Let m = 92 - 92. Suppose m = 3*i + 3*p - 15, 3*i - 2*i - 2*p - 11 = 0. Is i a multiple of 4?
False
Does 36 divide (-162)/4*(-15080)/435?
True
Let h(o) = 27*o**2 + 2*o. Let p(x) = 13*x**2 + 6*x + 2. Let d be p(-5). Let j(r) = 3996*r**2 + 297*r. Let c(g) = d*h(g) - 2*j(g). Does 6 divide c(1)?
False
Let n(r) = 181*r - 67. Let z be n(-2). Let k = z - -599. Does 2 divide k?
True
Let r(u) = u**3 - 5*u**2 - 7*u + 5. Let q be r(7). Let n = q + -50. Suppose 65 = 5*p + 5*b, 1 = -b - n. Is 18 a factor of p?
True
Let k(w) = 622*w**2 + 2*w. Is 8 a factor of k(1)?
True
Let a be (-1)/(20/6 + -3) - -3. Suppose a = 38*h - 37*h - 3. Suppose 76 = -h*m + 7*m. Does 4 divide m?
False
Let l = -336 + 2303. Suppose -6*g + l = -301. Is g a multiple of 15?
False
Let r(l) = -6*l - 27 - 13 + 65*l**2 - 7*l + 10. Is r(-3) a multiple of 15?
False
Let w(o) = 440*o + 107. Does 25 divide w(7)?
False
Let i be (-24)/(-9)*-4*3/(-8). Suppose 4*s - 6*b + b = 4269, i*b = 3*s - 3201. Is 51 a factor of s?
True
Let u(b) = b**2 + 26*b + 323. Is u(31) a multiple of 38?
True
Let v(o) = -129*o + 26. Suppose -21*q + 33 = -32*q. Let j be v(q). Suppose -3*t + j = -5*y, 4*t + 186 = 5*y + 735. Is t a multiple of 8?
True
Suppose -5*d + 3*d + 1348 = 4*h, 0 = 4*h - 2*d - 1348. Let r = h - 32. Suppose -r + 43 = -2*w. Is w a multiple of 14?
False
Let c = 35379 + -13468. Is 20 a factor of c?
False
Let q(r) = -r**3 - 22*r**2 - 1. Let f be q(-22). Let k be 372/(-9) - (-4)/(-12)*f. Let b = 84 + k. Does 2 divide b?
False
Suppose -n = y - 18616 - 42537, -5*n = y - 305773. Is 18 a factor of n?
False
Suppose -4*i + 8339 = 3*d - 22012, 40468 = 4*d + 2*i. Does 151 divide d?
True
Suppose v - 4280 = -f - 2*f, 9*f - 4316 = -v. Does 13 divide v?
False
Suppose 1044 = 70*n - 79*n. Let s = 137 + n. Does 9 divide s?
False
Let c(o) = 23*o**2 - 24*o - 746. Does 7 divide c(-18)?
False
Let b(h) = 45*h**2 - 434*h + 78. Does 91 divide b(-10)?
True
Suppose 564 = -2*u + 2*z + 6358, -u + 2*z + 2895 = 0. Is u a multiple of 13?
True
Let u be 4/(-66) + 4192/(-528). Let w(s) = 3*s - 51 - 8*s - 4*s. Is w(u) a multiple of 7?
True
Suppose -15*z = 1168 + 1052. Let l be 12/((-73)/70 - -1). Let p = z - l. Is 27 a factor of p?
False
Let l(c) = 31*c - 127. Let u = -308 + 320. Does 12 divide l(u)?
False
Suppose -244 = -20*o - 64. Suppose -614 = -o*x + 871. Is 15 a factor of x?
True
Suppose -r = -p - 27, 3*r - 5*p = -5 + 76. Suppose 532 + r = 4*i. Is 9 a factor of i?
False
Let m = 1819 + 506. Suppose -p = -4*q - 755, -2*q + 5*q = -3*p + m. Is 13 a factor of p?
False
Let g be (-8)/(-3)*(-180)/24. Let q(z) = z**3 - 9*z**2 - 4*z + 4. Let b be q(10). Let y = b + g. Is y a multiple of 5?
False
Suppose 0 = 7*i - 2*i + 3*j - 20095, -2*j + 8042 = 2*i. Is i a multiple of 13?
False
Let g(x) = -3*x**2 - 3*x + 3. Suppose t + 1 = -1. Let y be g(t). Let r(b) = -7*b + 11. Does 16 divide r(y)?
True
Let t = -3 + 2. Let n = 4736 - 4738. Does 49 divide (t - n)*(-879)/(12/(-4))?
False
Let g(s) = 15*s - 41. Let m be g(