 92. Is 18 a factor of d(o)?
False
Let u be (-2)/8 + (-45590)/8. Let o = -1968 - u. Suppose -o = -9*y - 4*y. Is y a multiple of 35?
False
Let h(o) be the third derivative of -o**5/12 - 91*o**4/24 - 13*o**3/6 + 140*o**2. Does 9 divide h(-14)?
False
Let v = -15 - -9. Let r(x) = -x**3 - 7*x**2 - 8*x - 8. Let g be r(v). Suppose -2*c + 384 = g*c. Is 16 a factor of c?
True
Let j(x) = 4*x**2 + 13*x + 16. Let g(t) = -2*t**2 + 1. Let n(r) = -3*g(r) - j(r). Is n(10) a multiple of 15?
False
Suppose -40*x = -33*x + 28. Is 52 a factor of (-830)/(-2) - x - -2?
False
Let l be (8 - 12/4)*(-2)/(-2). Suppose l*a + v = -v + 1668, 2*a - 676 = -3*v. Suppose -4*f - 3*w + 337 = 0, -5*f + f + a = 4*w. Does 7 divide f?
False
Suppose -22*w + 183301 + 33874 = -247949. Is 34 a factor of w?
False
Let c(q) = -q**3 + 26*q**2 + 27*q - 9. Let o be c(27). Let f(k) = -2*k - 13. Let t be f(o). Suppose -t*r + 2*v + 132 = -196, 8 = -2*v. Is r a multiple of 4?
True
Let l(g) = 5 + 4 - 2*g + 8 - 5. Let c be l(8). Is 5 a factor of (-2 - c/3)*(0 - 36)?
False
Let v(c) be the second derivative of c**5/12 + 47*c**4/6 - 20*c**3/3 - 20*c. Let x(q) be the second derivative of v(q). Is 13 a factor of x(0)?
False
Let q be 42/10 + (-12)/(-15). Suppose 549 = -3*v + 2*k, q*v + 4*k - 146 = -1039. Let c = v + 268. Does 29 divide c?
True
Let g(p) = -p**2 + 6*p + 12. Let l = -22 + 14. Let b be g(l). Let n = 152 + b. Is n a multiple of 5?
False
Suppose 8*r + 4450 = -2*r. Let u = -51 - r. Is 35 a factor of u?
False
Is -1 + 5 - (-18463 - 223) a multiple of 21?
True
Let t = -25 + 28. Suppose t*s - 20 = -0*y - y, -y - 4 = -3*s. Let q(x) = 2*x**2 - 9*x + 20. Is 14 a factor of q(y)?
False
Suppose 0 = -5*l + w - 5, -4*w - 4 = 5*l + 1. Let q be (4/12*3)/l*-259. Let s = -31 + q. Does 19 divide s?
True
Suppose 5*h + 4*s + 2 = -0*s, 2*h - 5*s = 19. Let v(w) = 3*w**2 - 9*w + h*w + 19 + w + 0*w. Does 31 divide v(7)?
True
Let s = 30674 - 3666. Does 68 divide s?
False
Suppose 179*c - 33 = 180*c. Let k = 333 + c. Is 4 a factor of k?
True
Suppose -388*r = -325*r - 456057. Is r a multiple of 57?
True
Suppose 1005 + 595 = 2*o. Suppose 45*a - 37*a = o. Is a a multiple of 7?
False
Suppose -u = -2*u + 48. Suppose -3*z + 38*s = 41*s - 291, 397 = 4*z + s. Let j = z - u. Does 26 divide j?
True
Let o(m) = 6*m**2 + 4*m + 29. Let d(f) = 2*f**2 - f. Let j(r) = -d(r) + o(r). Does 26 divide j(-5)?
True
Suppose 0 = -5*m - v + 38394, -10*m + 3*v = -8*m - 15378. Does 60 divide m?
True
Suppose 0 = -3*q + 2*r - 14, 4*r - 24 = -q + 6*q. Is (q/(-5))/((-2)/(-130)) even?
True
Suppose 845209 = 72*k - 765071. Is k a multiple of 72?
False
Suppose -4*v - 13*s + 15995 = -8*s, -4*s = 5*v - 19978. Is 6 a factor of v?
True
Let s = -26538 + 43008. Is 135 a factor of s?
True
Let w(b) = -b**3 + 75*b**2 + 14*b + 193. Does 15 divide w(66)?
False
Suppose 9*i = 8*i + 145. Suppose 2*x = -5*r + 59, i = 4*x + 2*r - r. Does 4 divide x?
False
Let k = 431 - 428. Suppose 4*t - 12 = 0, -4*c - k*t = -4*t - 1669. Is 11 a factor of c?
True
Let d = 245 + -133. Suppose 3*r - r - d = 0. Is 7 a factor of r?
True
Let q(c) = 4*c**2 + 262*c - 218. Is q(-69) a multiple of 22?
True
Suppose 0 = 2*m - 3*f - 425, -4*m + 6*m - f - 431 = 0. Is 19 a factor of (-3)/((-435)/m - -2)?
False
Suppose 0 = 3*h + 4*p - 356 - 296, 0 = -3*h + p + 647. Suppose 6*t - 408 = h. Is 3 a factor of t?
False
Let g = 53626 - 36554. Does 44 divide g?
True
Let c be (-31)/((-7)/(168/(-3))). Let h = c + 387. Does 15 divide h?
False
Let p(w) = 2*w**2 - 17*w - 11. Let m be p(9). Let s = 9 + -23. Is (m - s/35)/(4/(-70)) a multiple of 28?
True
Suppose -4078 = -2*l - 0*q + 2*q, 2*q = -l + 2036. Does 26 divide l?
False
Suppose -59*a + 382498 = -8*a - 835076. Is a a multiple of 173?
True
Suppose 3*w = -0*w + 6180. Suppose 7*a - 292 = w. Does 12 divide a?
True
Let z(x) = 1497*x**2 + 360*x - 1085. Does 155 divide z(3)?
False
Suppose -5*v + 5*d + 6272 = 452, 4*v = -4*d + 4632. Is 20 a factor of v?
False
Suppose 309485 + 231849 = 47*d + 122188. Is 67 a factor of d?
False
Suppose 0 = -54*x - 30*x + 635376. Does 31 divide x?
True
Suppose -152 = -4*i - 20*r + 16*r, 3*r = -4*i + 153. Suppose -3*k = -i - 291. Is 10 a factor of k?
True
Let g(d) = -d**2 + 2*d + 7. Let p be g(3). Suppose 10 + 10 = p*t. Suppose 4*b + 2*u - 186 = 0, b + 184 = t*b + 4*u. Is b a multiple of 14?
False
Suppose 5*a + 468645 = 162*a. Is 50 a factor of a?
False
Suppose 2*y = p - 14051, -37*y = 2*p - 31*y - 28172. Does 97 divide p?
True
Suppose 4 = -5*f - 3*y, 5*f = -11*y + 6*y. Is 14 a factor of 371 + -57 - 1/(f/(-2))?
False
Let f be ((-4785)/10)/((-18)/24). Suppose f = 3*j + 2*q, j + 7*q = 4*q + 201. Is j a multiple of 36?
True
Let o = 445 + -665. Let v = o - -265. Is 9 a factor of v?
True
Let c = -1087 + 3717. Does 14 divide c?
False
Suppose -26*c + 100*c = -35*c + 167860. Is c a multiple of 35?
True
Does 2 divide (3572/(-6251))/((6/(-749))/3)?
True
Suppose 26*h = 6479 + 4753. Is h a multiple of 16?
True
Let x(s) = -139*s**2 - 14*s - 1. Let f(r) = -70*r**2 - 6*r. Let z(i) = -10*f(i) + 4*x(i). Let p(d) = d**3 - d**2 + d. Let l be p(1). Is z(l) a multiple of 17?
False
Suppose -127*t = -151*t + 47064. Does 117 divide t?
False
Let h be 12/15 + 20/(-25). Let o(g) = 2*g + 504. Does 12 divide o(h)?
True
Let t(p) = 7*p**3 + 9*p**2 - 63*p - 21. Is t(15) a multiple of 51?
True
Let w(a) = a**2 - 7. Let v be w(-3). Let h(k) = 45*k**2 - 5*k + 4. Let r be h(v). Does 41 divide r*1/(-3)*2/(-2)?
False
Let p be (39/9 - 2)*3. Let k be (1/(-4))/(1*p/(-140)). Suppose -q + 221 = o, -q = k*o + q - 1114. Does 46 divide o?
False
Let a(b) be the first derivative of -2*b**3/3 + 19*b**2/2 + 9*b - 637. Let n(v) = v**3 - v**2 + v + 9. Let p be n(0). Is a(p) a multiple of 8?
False
Suppose 4*r - 91*q + 96*q = 16392, 4*r - 16392 = -3*q. Does 14 divide r?
False
Let n = 24600 + 15642. Does 38 divide n?
True
Let u(x) be the third derivative of 43*x**5/60 - 7*x**4/8 - 12*x**3 + 4*x**2 - 2. Does 7 divide u(-3)?
True
Is 11 a factor of (43/((-387)/(-3300)))/((-3)/(-99))?
True
Let r = -107 - -502. Suppose -5*l + 2*t = -622, -t + 147 = -2*l + r. Does 7 divide l?
True
Suppose -1177 = -14*k + 2813. Is 4 a factor of k?
False
Suppose 533209 - 3920 = 45*g - 73396. Is g a multiple of 59?
True
Let a = -219 + 395. Let v be (a - -2) + (-18)/6. Suppose d - 51 = v. Is d a multiple of 23?
False
Let t = -215 + 215. Suppose -3*r + 110 = -5*q, -4*r - r + 3*q + 210 = t. Is r a multiple of 20?
False
Let f(y) = 8*y**2 + 5*y + 1. Let g be f(-1). Suppose -n = -2, -g*b - 2*n = -8 + 48. Let a = 80 - b. Is 13 a factor of a?
True
Suppose -2*n - 163 = -3*z, -2*z + n - 55 + 162 = 0. Is -2 + 1158 + 2 - (57 - z) a multiple of 35?
False
Suppose -r - t = -26285, 3*r + 3*t = 5*t + 78870. Is 248 a factor of r?
True
Is 5 a factor of 2 + -3 + (1065 - 109)?
True
Suppose -o - 6 = 5*l, 3*l + 2 = 2*o + 1. Let u(z) = 7*z - 2. Let g be u(o). Is g/21 + 124/28 a multiple of 4?
True
Suppose 0 = -3*m + u - 182, -u + 8 = 6. Let s be 24/m - ((-7)/5 + -1). Suppose s*r + 2*r - 5*o = 119, -3*o = 2*r - 43. Is r a multiple of 5?
False
Does 23 divide 53285*(-16)/(-40) + (-80)/8?
False
Let d(m) = -5*m - 2. Let h(k) = 5*k + 2. Let x(p) = -6*d(p) - 5*h(p). Let t be x(0). Suppose -t*s + 48 = -4*b, b = -5*s + 25 + 40. Does 13 divide s?
False
Suppose -2*o = -10*o + 2976. Let w = o - -27. Is w a multiple of 14?
False
Suppose -40*h + 63*h + 91026 = 25*h. Is h a multiple of 9?
True
Suppose -2*a - 228 = -3*b + 759, 0 = -a + 5*b - 490. Let f be (-1*6)/((-18)/a). Is 1/(-3*1/f) a multiple of 11?
True
Suppose -w - 3*k - 58 = 0, 11*k - 9*k - 239 = 5*w. Does 39 divide (-13 - 626)*w/21?
False
Let j = -194 - 94. Is 6 a factor of j/64*(-7 + 1)?
False
Let r = 281 - 40. Let f = 494 - r. Is 18 a factor of f?
False
Suppose -63107 = -0*p - 3*p + 5*t, 0 = -2*t - 14. Is 36 a factor of p?
True
Suppose 20894 - 159062 = -18*d. Suppose 36*y - d = 1396. Is y a multiple of 14?
True
Suppose o + 26436 = 3*j, j - 10*o = -13*o + 8822. Is 7 a factor of j?
True
Suppose 2*y = y + 6. Suppose 553 = y*r + 49. Is r a multiple of 12?
True
Let u = 100 + 15. Let h = u - 113. Let m(y) = 4*y**3 + 6*y**2 - 3*y - 2. Is 12 a factor of m(h)?
True
Let j = 7108 + -3388. Is 6 a factor of j?
True
Let q(g) = -18*g - 40. Let m be q(-2). Let l(i) = 4*i**2 - i - 15. Does 18 divide l(m)?
False
