5)?
True
Let s = -7900 + 9631. Is s even?
False
Let t = 3637 + -1482. Let r = t - 979. Does 28 divide r?
True
Let t(b) = -315*b - 691. Does 31 divide t(-39)?
True
Suppose 58928 = 23*l - 7*l - 1191440. Is 28 a factor of l?
True
Suppose -4 = -j - j + 4*s, -3*j + 9 = -3*s. Suppose -l - 2*d + 190 = 0, j*l - 4*d = 28 + 672. Does 6 divide l?
True
Let g = 2563 - 1543. Is g a multiple of 6?
True
Let s(w) = -61*w - 4. Let o be s(-7). Suppose -4815 = 3*b - 18*b. Suppose 3*m - o = -4*f, -3*f + b = -0*m + m. Does 12 divide f?
True
Let t be 56/(-3) - (-38)/57. Let h(z) = -10*z - 53. Let c be h(t). Suppose c = -6*w + 1849. Does 18 divide w?
False
Suppose -y = -4*z - 16, 10*z - 31 = -3*y + 5*z. Does 2 divide y?
True
Let z be (-1 - 27)/((-246)/(-50) + -5). Let v = 776 - z. Does 71 divide v?
True
Let x(m) = m**2 + 24*m - 21. Let n be x(-25). Suppose n*h + 150 = 826. Is h a multiple of 13?
True
Let q(x) = 6*x - 134. Let p be q(23). Let y be -3*(0 + 5/(-3)). Suppose 0 = 3*g - p*a - 230 - 183, -4*g + 550 = -y*a. Does 15 divide g?
True
Let d be 180/(-5)*(-6)/8. Suppose -29*m = -d*m - 306. Is m a multiple of 17?
True
Suppose 17 = 2*q - 3*q + 5*n, 0 = 2*q + 5*n - 26. Suppose -6*v = -11*v - 5*r + 2045, 0 = -q*v + 5*r + 1267. Is 11 a factor of v?
False
Let t = 7586 - 1932. Is t a multiple of 22?
True
Let u be 1/5 + (-54)/(-30). Suppose -u*a + 5*l = -55, 3*a - 4*l - 72 = 21. Does 9 divide (-10)/a - (-149)/7?
False
Let s = -152 - -236. Let h = 785 + s. Is 11 a factor of h?
True
Is 72 a factor of ((-266)/(-76))/(3 + 4318/(-1440))?
True
Let p be -2 - 4/(-12)*6*2. Suppose p*w + w = -o - 9, 1 = o + w. Does 4 divide (o/(-2) - -7) + 4?
True
Is 262 a factor of 6006 - 645/(-258)*12/(-5)?
False
Suppose -29*n + 26*n = -3657. Suppose 4*x + 4*l = 3*x + 230, -3*l - n = -5*x. Is x a multiple of 11?
True
Let i(s) = s**2 - 9*s - 28. Let t be i(12). Suppose -w - a + t = -0*w, a = 3*w - 12. Suppose -w*k + 10*k = 485. Is 14 a factor of k?
False
Is (((-8)/6)/4)/(5 - (-24431)/(-4884)) a multiple of 20?
False
Let k(j) be the first derivative of 4*j**3/3 - 6*j**2 + 20*j + 1. Let l = 13765 - 13758. Does 22 divide k(l)?
True
Let u = -21 - -25. Let h(q) = -2*q - 1. Let j be h(-13). Suppose j = 3*t + 5*c, 0*c + 2*c = u*t - 16. Does 3 divide t?
False
Suppose -3*o = 4*h - 38725, 80*h = 85*h - 5*o - 48450. Is h a multiple of 13?
True
Let q(w) = -w**3 - w**2. Let s(a) = 3*a**3 - 5*a**2 - 8*a + 4. Let m(l) = 4*q(l) + s(l). Let g be m(-8). Suppose 0 = 7*b - 269 - g. Is 15 a factor of b?
False
Let f be (3/(-6)*-1)/((-36)/(-60912)). Suppose -45*h + f = -27*h. Is h a multiple of 2?
False
Suppose c = 63*c - 703762. Is 86 a factor of c?
False
Suppose -u = y - 3*u - 407, -4*u = 4*y - 1604. Let n = y + 42. Does 5 divide n?
True
Let f = 5616 - -3000. Is f a multiple of 43?
False
Let x(h) = 643*h**3 - 2*h**2 - 2*h + 2. Suppose 4*a + 1 = -4*b + 3*a, -4*b + 3*a = -19. Does 16 divide x(b)?
False
Let s = 62859 + -35377. Does 118 divide s?
False
Let i(d) = -d**2 + d. Let v(l) = -l**3 - 19*l**2 - 6*l. Let h(j) = 2*i(j) + v(j). Is 27 a factor of h(-22)?
False
Suppose 32*t = 33*t - 3. Suppose 368 = -t*d + 20. Let u = d + 169. Is 7 a factor of u?
False
Suppose 3*t - 5*a - 56 = 0, 0*t - 2*a - 44 = -3*t. Let i = t + -11. Does 2 divide i/2 - 9/2*-1?
False
Suppose f + 2 = 0, -4*p - 2*f - 2*f = -149100. Does 30 divide p?
False
Let d(y) = -2*y + 11. Let i be d(-7). Suppose 27*z - 286 = i*z. Is z a multiple of 11?
True
Let w(i) be the third derivative of i**6/180 - i**5/40 + i**4/4 + 13*i**3/2 + 35*i**2. Let o(n) be the first derivative of w(n). Is 2 a factor of o(3)?
False
Let v be 60/33 - 2 - (-595)/(-55). Let h = -9 - v. Let t(b) = 3*b**3 + 2*b**2 - 3*b - 1. Is 9 a factor of t(h)?
False
Let r(u) = -6*u**2 + u**3 - 11 - 5*u + 5 + 23 + 2*u. Is 9 a factor of r(7)?
True
Let c(u) = 4*u + 2*u**2 + 5 + 3*u**2 + 5*u - 6*u**2. Let f = -39 + 44. Is c(f) a multiple of 13?
False
Suppose 3*p - 72160 = k, 0 = 2*p + 173*k - 159*k - 48180. Does 13 divide p?
False
Let h = 13565 - -15144. Is h a multiple of 19?
True
Suppose v - 4*v = 19*v - 97614. Does 15 divide v?
False
Let n(w) = 260*w**2 + w + 3. Let j be (2/(-12))/((-142)/(-24) + -6). Does 10 divide n(j)?
False
Suppose 4*a - 4*c - 10388 = 0, -c = 2*a - 5*c - 5186. Suppose v + 4*k - 864 = 0, v + 2*v + 3*k - a = 0. Does 14 divide v?
True
Let c = -33 - -68. Let d = c + -28. Let o(f) = -f**2 + 10*f - 2. Is 6 a factor of o(d)?
False
Let u be 0 - -3 - 3/((-3)/2). Let r be (u/(15/(-34)))/((-1)/(-3)). Let i = -13 - r. Is 11 a factor of i?
False
Let b = 2245 + 430. Is b a multiple of 53?
False
Let b be 19/57*45 + -14. Let c be (0 + -6)*52/2. Let s = b - c. Does 19 divide s?
False
Suppose 4 - 4 = -37*j. Is 71 a factor of 1 + j/2 - -70?
True
Let k(u) = u**3 + 11*u**2 - 12*u + 5. Let h be k(-12). Suppose 86 = n + 5*g, -7*n - 182 = -9*n - h*g. Is n a multiple of 16?
True
Is (-2)/(-11) + (3904/(-88))/8*-1349 a multiple of 13?
False
Suppose 4*t - 42*l - 80648 = -40*l, 2*t = -3*l + 40308. Is 144 a factor of t?
True
Let h(t) = 845*t**2 + 5*t + 6. Let u be h(-1). Suppose 5*z - 4*q = -301 + u, 5*q = -z + 80. Is 35 a factor of z?
True
Suppose 0 = -5*b - 4*r + 8802, -b = -10*r + 9*r - 1755. Does 10 divide b?
False
Suppose -2*i - 7 = -5*c, -i + 4*c = c + 5. Let y be (1/((-6)/i))/((-17)/16626). Let r = y - 337. Is 35 a factor of r?
True
Suppose 48*x - y - 40 = 43*x, -5*y = -4*x + 53. Suppose -1680 = -x*n + 3*n. Is n a multiple of 42?
True
Let j be 8*(-35 + 3)/4. Let s = 226 + -106. Let g = s + j. Is 13 a factor of g?
False
Suppose -23536*l + 23514*l - 9922 = 0. Suppose 2*f + 209 = -431. Let m = f - l. Is 34 a factor of m?
False
Let s be 102*(544/12)/4 - -1. Does 9 divide s + (1 - 5) + 10 + -6?
False
Let b(t) = -t**3 + 7*t**2 + 6*t + 3. Let m be b(8). Let z be m/(-2)*1*(-12 + 14). Suppose 0 = 9*l - z*l + 60. Does 2 divide l?
False
Let w be ((-120)/280)/((-1)/42). Suppose 5*l + 2*v + 206 = -0*v, 0 = -v - 3. Does 19 divide l/(-12)*(3 + w)?
False
Let a = -108 + 113. Suppose 2*y + a*s - 1111 = -0*s, 4*y - 3*s - 2287 = 0. Suppose -12*z = -620 - y. Does 9 divide z?
True
Let u(p) = 3*p**2 - 18*p - 543. Let z(t) = -2*t**2 + 12*t + 362. Let d(o) = 5*u(o) + 7*z(o). Is 14 a factor of d(30)?
False
Let i = 1004 - -31. Suppose 14*c - i + 41 = 0. Is 8 a factor of c?
False
Suppose 570 = 7*z - 543. Suppose -4*v = -7*v + t + 93, -5*v + z = -3*t. Does 10 divide v?
True
Suppose 0 = 2*z + 5*h - 12, 2*z + 33*h = 29*h + 10. Let a(r) = 822*r**2 - 74*r + 74. Is a(z) a multiple of 19?
False
Let w(p) = -5*p**3 - p**2 + 29*p + 129. Is 25 a factor of w(-5)?
False
Is 5*((-40572)/(-460) - (-3 + 6 - 10)) a multiple of 54?
False
Let k = 546 - 379. Let t(b) = -140 + 9*b**2 + 5*b + k - 13*b + b**3. Is t(-8) a multiple of 31?
True
Let u = -207 - -519. Suppose 0 = -q + u - 21. Does 27 divide q?
False
Suppose -q + 500 = -6*q + 5*s, 5*q + 3*s + 508 = 0. Let l = q - -476. Is 25 a factor of l?
True
Suppose 309 = 5*c - 606. Suppose 3*d - 252 - c = 0. Is d a multiple of 8?
False
Let w(p) = 8*p**3 + 8*p**2 - 3*p - 15. Let m(x) = -7*x**3 - 7*x**2 + 3*x + 13. Let l(k) = 6*m(k) + 5*w(k). Does 30 divide l(-3)?
True
Let s(t) = -515*t + 56. Let y be s(-4). Suppose 5*c = 2*f - 1058, -4*f + 10*c + y = 12*c. Is 88 a factor of f?
False
Suppose 30974 = 3*y - 13*d + 12*d, -5*d = 3*y - 30980. Is y a multiple of 7?
True
Let u = 12263 - 7383. Is u a multiple of 29?
False
Suppose -v = 2*t + 16, -2 = -4*v + 6. Let r = -2 - 0. Does 4 divide 18*(t/(-6) - r)?
False
Is 2854/5*(-91)/182*-10 a multiple of 22?
False
Suppose 0 = -21*f + 8209 + 13088 - 6009. Is f a multiple of 13?
True
Suppose -11*c = -12*c + 1. Does 38 divide 0 + 763 - c*(10 - 7)?
True
Let s = -7 + 9. Let h(q) = 2*q**3 - 2*q**3 + 6*q**2 + q**3 + 5*q**s + 9 + 11*q. Is h(-9) a multiple of 11?
False
Suppose 119 = -3*k - 97. Let a = k + 77. Suppose -2*b = -0*r - 2*r + 74, -r - a*b + 61 = 0. Does 6 divide r?
False
Let s = -31601 - -37745. Does 128 divide s?
True
Let p(x) = 3*x - 47. Let j be (4/14 - 0) + 4/(-14). Let l be p(j). Is 19 a factor of 1*(l - 0)*(0 - 1)?
False
Suppose 0 = -h + 13*h - 984. Suppose h*y - 81*y = 313. Let l = -127 + y. Is 27 a factor of l?
False
Let m be ((-18)/5)/((-1419)/(-285) + -5). Suppose -5*g - 4*d = -m, -2*g + 8*d + 73 = 5*d. Does 5 divide g?
True
Let d(b) = -4*b**2 - 5*b - 83. Let