. Let w = a - f. Does 42 divide w?
True
Suppose -5*i + 2*l = -18815 - 56137, 4*i + 2*l - 59994 = 0. Is i a multiple of 98?
True
Suppose k + 4*j - 51 = 166, 3*k + j - 673 = 0. Suppose -k - 107 = -2*v. Does 11 divide v?
False
Suppose 2*j - 2*o + 4*o = -8, 0 = -5*j + 2*o - 34. Let k be 20/j*42/(-35). Suppose -4*g = 2*v + 3*v - 209, 0 = 2*v + k*g - 86. Is v a multiple of 8?
False
Is 124 a factor of 77/22 + 51570/4?
True
Let k be (-5 - -2 - 0) + (-6 - -12). Suppose -5*l = 2*b - 3*b + 1423, -2*b + 2846 = -k*l. Is b a multiple of 23?
False
Suppose 2*f = -4*b + 298, 295 = 4*b + 14*f - 13*f. Let m = b + -65. Does 4 divide m?
True
Let u = -154 + 217. Is ((-636)/36 + 11)/((-2)/u) a multiple of 10?
True
Suppose r - 17*r + 48 = 0. Let b(q) = -38*q + 9. Let d(g) = -75*g + 17. Let m(s) = 5*b(s) - 3*d(s). Is 7 a factor of m(r)?
False
Let q(s) = s**2 - s + 4. Suppose -2*b + 0 = -4. Suppose -2*o - 1 = -u, -b*u + 1 = 4*o - u. Is q(o) a multiple of 4?
True
Let b(j) = 7*j + 11. Let l be b(-3). Let v(z) = -53*z + 30. Let o(q) = 17*q - 10. Let a(i) = -7*o(i) - 2*v(i). Is 11 a factor of a(l)?
False
Suppose -4*p + 6*p - 14 = -4*o, -2*p + 16 = 5*o. Suppose -c + 4*v = 5, -p*c = -5*c + 2*v + 8. Suppose c*f - 3*f = 2*q + 486, f + 3*q - 132 = 0. Does 9 divide f?
False
Does 8 divide (-7)/(-1) - ((-228)/(-152) - 1809/6)?
False
Suppose -41 = -2*h + 7. Suppose 400 = -h*j + 19*j. Let f = -64 - j. Does 4 divide f?
True
Let p = 110613 + -71231. Is p a multiple of 14?
True
Suppose 47*q - 118*q + 47790 = -56*q. Does 18 divide q?
True
Let w(j) be the first derivative of 5*j**2/2 - 41*j + 1. Let b = -129 - -147. Is 11 a factor of w(b)?
False
Let i(w) = w**2 - 49*w - 78. Let o be i(41). Let y = -122 - o. Is 17 a factor of y?
False
Let h = -8332 - -8728. Is h a multiple of 26?
False
Let t(a) = 34*a**2 + 219*a + 1927. Is t(-9) a multiple of 18?
False
Let o = 143 + -125. Is 36 a factor of 2387/66 + (-3)/o?
True
Let q be (-4)/(12/(-465)) + 10/10. Let g be (q/(-130))/(2/(-1135)). Is 34 a factor of g/4 + (-5)/(3 - -17)?
True
Suppose -350 = 11*j + 288. Let x = j + 60. Suppose -7*l = -x*l - 200. Is 15 a factor of l?
False
Suppose 10*o - 9*o = 5. Suppose -2*z + 2*m = 3*z + 93, 2*z + o*m = -43. Let s(t) = -2*t**2 - 37*t + 25. Does 4 divide s(z)?
False
Let p(n) = -n**2 + 87*n + 2260. Is p(-19) a multiple of 6?
True
Suppose -4*m + 9*f - 34340 = -9*m, 0 = -m + 4*f + 6839. Does 85 divide m?
False
Let d be 390 + 1 + 1 + 0. Let m = d - 164. Suppose 0 = 2*x + 4*s - m, 0*x + 129 = x - s. Is 16 a factor of x?
False
Suppose 3*r - 6791 = -12*s + 8*s, 3*r + 8509 = 5*s. Is s a multiple of 34?
True
Suppose -4*s = -5*a + 1651, -a - 12 = -5*a. Is (-5)/2 - s/2 a multiple of 15?
False
Let y(l) = -2*l**2 - l + 1. Let i(t) = -19*t**2 + t - 18. Let h(q) = -i(q) - 3*y(q). Does 35 divide h(-5)?
True
Let b = 15394 + 7449. Is 37 a factor of b?
False
Suppose r - 3*r = 5*t - 212, 3*t + 318 = 3*r. Let b = r - -187. Is 10 a factor of b?
False
Let n be 1 + -4 + 3 + 3. Suppose -3 = -2*r - q, n*r - 4*q = -2*q - 6. Suppose r = -13*y + 11*y + 96. Is 24 a factor of y?
True
Is 5 a factor of (-3 - (-18)/10) + 50728/340?
False
Let r(c) = -c**3 + 30*c**2 + 25*c + 41. Let l be r(31). Let x = 251 + l. Does 53 divide x?
True
Let p be (-7)/((5 + 0)/(-5)). Suppose -22*u + p*u = -600. Is 4 a factor of u?
True
Let y(m) be the first derivative of -1331*m**4/4 + m**3 + m**2/2 - m + 176. Is 18 a factor of y(-1)?
True
Suppose z + 27*y - 32*y + 246 = 0, 4*y = 4*z + 1000. Let c = z - -350. Does 3 divide c?
True
Let w(l) be the first derivative of l**4/4 + 3*l**3 - 11*l**2/2 + 12*l + 15. Let v = -96 + 87. Is 13 a factor of w(v)?
False
Suppose 0 = -2*z + 169 - 521. Let l = 94 + z. Let m = l - -186. Does 18 divide m?
False
Suppose -21*s + 17*s + 477624 = 52*s. Does 6 divide s?
False
Suppose 5 = -3*a + 8. Suppose a = -8*l + 7*l. Is 13 a factor of (l - 99/12)*-20?
False
Suppose 5*y - 10 = -5*d, 2*d + y + 8 = 2*y. Let l be 1 + ((-33)/(-5) - d/5). Suppose -3*w + 507 = -m, -7*m + 845 = 5*w - l*m. Is 7 a factor of w?
False
Is 1940*(-26 - -23)*(-15)/18 a multiple of 25?
True
Let t(b) = 107*b - 102*b + b**2 - 7 + 3. Let c be t(-8). Does 3 divide (-210)/(-7)*12/c?
True
Let w = -245 - -1502. Let d = w - 833. Is 53 a factor of d?
True
Let i(b) = 671*b + 827. Does 24 divide i(11)?
True
Let w = 810 + 5. Suppose -343 = -6*a + w. Is a a multiple of 36?
False
Let p = 123 + -102. Suppose p*i - 16*i + 200 = 0. Let t = i + 49. Is t a multiple of 2?
False
Let u(s) be the first derivative of -5*s**2 + 109*s + 11. Is u(10) a multiple of 6?
False
Suppose 10 = -3*d - 20. Let c(n) = -n**2 - 8*n + 20. Let k be c(d). Suppose 8*h = -k*h + 720. Is h a multiple of 10?
True
Let u(d) = -2670*d - 6962. Is 56 a factor of u(-6)?
False
Is 6 a factor of (-116248)/(-28) - 0 - ((-150)/(-35))/(-15)?
True
Let r be 3/(-9)*(-1)/((-4)/(-36)). Suppose r*c + 17*c = 1200. Does 6 divide c?
True
Let d be 20/8 + ((-20)/(-8) - 2). Suppose 7 - 16 = -d*n - r, -n + 5 = r. Suppose -2*b + 3*p - p + 348 = 0, 0 = -3*b + n*p + 518. Is 17 a factor of b?
True
Suppose 0 = -0*r + 8*r - 2*f - 17998, -5*r + 11245 = -5*f. Is 30 a factor of r?
True
Let c(q) = 2*q**3 + q**2 + q + 1. Let h be c(-1). Suppose -4458*x + 14 = -4472*x. Is 11 a factor of h/x + 21/1?
True
Suppose 2 = -u, 2*k - 6*k - 3*u + 5394 = 0. Does 50 divide k?
True
Let w = -3555 - -2255. Let h be (0 - -3)/(7 + w/184). Let v = h - -65. Does 12 divide v?
False
Let o(m) = -51*m - 38. Let h(x) = -25*x - 19. Let c(r) = -5*h(r) + 2*o(r). Let d(z) = -23*z - 18. Let f(y) = -3*c(y) - 4*d(y). Is 13 a factor of f(5)?
True
Is 19 a factor of (194714/(-182))/(2/(-14))?
False
Is (735868/(-20))/(-7) - 51/255 a multiple of 129?
False
Does 43 divide -16 + (-8381147)/(-152) + (-3)/24?
False
Let y(h) = h**2 - 2*h + 16. Let o be y(12). Let c = -58 + o. Suppose -l = -4*l - 2*w + c, 4*w = 12. Is l a multiple of 17?
False
Let n(p) = -p**3 - 21*p**2 + 25*p + 36. Let c be n(-22). Is 27 a factor of (-7)/(35/c) + (-7 - -622)?
True
Suppose 112*u + 117*u = 168*u + 3109292. Is 58 a factor of u?
False
Let o(h) be the second derivative of h**4/6 - h**3/2 + 153*h**2/2 + 46*h. Is 14 a factor of o(0)?
False
Let q = 7628 + -7569. Does 10 divide q?
False
Suppose -5*k - 125 - 40 = 0. Suppose -9*d - 16 - 83 = 0. Is 10 a factor of (-988)/d - 6/k?
True
Let a(w) = 423*w - 54. Let b be a(8). Suppose 32*v = 27*v + b. Is 17 a factor of v?
False
Suppose -i - 2*i - 21 = -2*m, -3*m = -3*i - 24. Let g = -19 + 42. Suppose 146 - g = m*l. Does 20 divide l?
False
Let q be 5 - 2 - 1/(-2 - -1). Let d(j) = -j**3 - j**2 - j + 3. Let x be d(0). Suppose 3*p - x*l = 69, 3*p - l - 75 = q*l. Is p a multiple of 7?
False
Let b(n) = 10*n**2 - 32*n + 824. Does 19 divide b(30)?
False
Let y = -56487 + 108996. Does 18 divide y?
False
Suppose -60*k + 347601 = -46119. Is 16 a factor of k?
False
Suppose 13*u = 5*u - 48. Is (269 - (2 - 6)) + u a multiple of 6?
False
Let r(w) = 1. Let h(p) = -p**3 + 9*p**2 + 7*p + 8. Let l(n) = -h(n) - 2*r(n). Does 5 divide l(10)?
True
Let n(q) = 12*q**2 - 4*q + 5. Let f be n(2). Suppose 5*t + u - 4*u = 15, -t + 4*u = -3. Let o = f - t. Is o a multiple of 4?
False
Let d = -1553 - -3983. Is 9 a factor of d?
True
Let n(d) = -d**3 - 6*d**2 + d - 6. Let s be n(-6). Let o be (-5)/(-15) - (-3868)/s. Let r = 455 + o. Is r a multiple of 19?
True
Let k = -32882 - -46063. Is 269 a factor of k?
True
Let d be 8/(-10) + (-9)/(-60)*-68. Let b(j) = -39*j + 14. Is b(d) a multiple of 17?
False
Suppose 5*i = -4*n + 2893, -83*n + 5*i = -88*n + 3610. Does 67 divide n?
False
Let a(y) = 5*y - 7. Let f = -52 + 54. Let k be a(f). Suppose 2*t - s + 0*s - 225 = 0, 213 = 2*t + k*s. Is t a multiple of 11?
False
Let p = 15390 - 8844. Is 33 a factor of p?
False
Let y(f) = f**3 + 3*f**2 - 2*f. Let h be y(-4). Let b(r) = -7*r - 38. Is 6 a factor of b(h)?
True
Suppose -5*z + 5*j = -950, -j - 175 = -4*z + 594. Suppose -1566 = -4*c - 5*q + z, 2*q - 1328 = -3*c. Does 72 divide c?
False
Let g(c) = c**2 - 3 + 15*c + 23 - 2*c. Let w be g(-10). Is ((-44)/8 + 2)*w a multiple of 26?
False
Let d = 45751 + -29698. Is 18 a factor of d?
False
Suppose 0 = -9*j + 9*j + 5*j, 24669 = 3*o + j. Is o a multiple of 28?
False
Let b be (1 - -1)*6*2. Let g be 6/14 + 17003/343. Let f = g + b. Is f a multiple of 9?
False
Let n(z) = -4*z**3 - 2