k**3 - k**2 + k + 1. Let s(f) = -2*g(f) - q(f). Let o be s(5). Is (-986)/o - 2/(-9) a multiple of 9?
False
Let z(w) = w**3 - 2*w**2 + 5*w - 42. Let u(j) = j**3 - 4*j**2 - 9*j - 11. Let v be u(6). Does 34 divide z(v)?
True
Suppose 11*h - 20 = 6*h. Suppose h*w = -6*w + 30. Suppose -w*s + 236 = 2*g, -398 = -5*s + 5*g - 6*g. Is 11 a factor of s?
False
Let r(s) = 2*s**2 + 3*s - 2. Let m be r(2). Let k = 12 - m. Suppose 2*q = -8, 5*c = q - k*q + 204. Is c a multiple of 9?
False
Suppose -17*x = 2*x - 7790. Let o = x + -227. Is o a multiple of 6?
False
Let g(m) = -2*m**2 - 28*m - 19. Let j be g(-16). Let s be (-8271)/63 - (-2)/7. Let a = j - s. Does 24 divide a?
True
Let d = 4333 + -1873. Is 123 a factor of d?
True
Let s = 29 + -17. Suppose 4*h + 0 = s. Suppose -h*y - 2*i = -55, 3*y - 117 = -2*y + 3*i. Does 6 divide y?
False
Suppose -3*c = 9*w - 13*w - 31, -80 = -5*c + w. Suppose 0 = -c*b + 12*b + 525. Does 15 divide b?
True
Suppose 972 = q + 4*o, -4*q - 5*o + 5252 = 1397. Does 20 divide q?
True
Suppose 5*b - 2141 = -2*s + 4244, -4*b + 5090 = -2*s. Is b a multiple of 17?
True
Let j = -290 + 278. Does 19 divide (j - 420/(-36))*(-1416)/2?
False
Suppose 0 = 34*x - 33*x. Suppose -2*g + 64 + 42 = x. Let f = g - 44. Is 7 a factor of f?
False
Suppose -4*d + 71 = 3*j - 206, 3*d - 209 = -j. Suppose -4*v - d = -14. Let g(a) = a**3 + 13*a**2 - 24*a - 34. Is 14 a factor of g(v)?
False
Suppose 3*x = 2*t - 8829, -t + 4431 = 18*x - 14*x. Is t a multiple of 7?
False
Suppose -34 = -2*n - 0*n. Let t = n - 12. Suppose -o + 20 = -t*z, 14 = 3*o - 2*o + z. Is o a multiple of 15?
True
Let c = 4 - 6. Suppose -14*g - 110 + 39 = -1. Is 15 a factor of g/((-33)/22*c/(-54))?
True
Let g be (0 - -15 - -3)*1/2. Suppose -3*n - 6 = -5*z, 5*z = 2*z + g. Suppose -n*j = -6 - 120. Is j a multiple of 14?
True
Let t(m) = -2255*m + 8532. Is t(-8) a multiple of 26?
True
Let t = -716 - -721. Suppose -13*i + 16*i + 3006 = 3*y, 0 = -t*y - 5*i + 5000. Is y a multiple of 11?
True
Suppose -7623 + 695 = 4*o + 5*v, -o = 5*v + 1717. Let m = o - -1162. Let s = -377 - m. Is 11 a factor of s?
True
Let q be 30/(-10) - (-1 + -1). Let n(p) = -p**3 - 3*p**2 + 2. Let v be n(q). Suppose v = -t + 5*t - 672. Is t a multiple of 12?
True
Let c = 332 - 346. Is -14 - c - 13/((-13)/1422) a multiple of 9?
True
Let o = -10918 + 17361. Does 13 divide o?
False
Let r(l) be the first derivative of -l**4/4 - 4*l**3/3 + 3*l**2/2 - 8*l - 1. Let g = 3583 + -3591. Is 14 a factor of r(g)?
True
Suppose 3*s - 4*s + 3*r = 0, -12 = -3*s - 3*r. Suppose -s*f = -8*f + 685. Let h = f + -36. Does 20 divide h?
False
Suppose 13865 = -8451*v + 8456*v. Is v a multiple of 59?
True
Let i = 93 - -288. Suppose 0 = -12*a - i + 1461. Is a a multiple of 30?
True
Does 15 divide 714/85*-5*2/4*-61?
False
Let c = -48451 - -71649. Is 6 a factor of c?
False
Suppose -2*v + 17 = -5*v - 5*z, 3*z - 17 = 5*v. Let h(n) = 5*n**3 + 11*n**2 + 4*n - 2. Let m be h(v). Is 398/9 - (-36)/m a multiple of 9?
False
Suppose -27*y - 142726 + 487462 = 0. Is y a multiple of 19?
True
Suppose 5*p - 2*p = 66. Suppose -4*s = -3*q, -3*s + p = -s + 4*q. Is (-1)/s - 68/(-6) a multiple of 2?
False
Let i(w) = -6*w**3 + 21*w**2 - 8*w - 23. Let s(o) = -o**3 + o**2 + 1. Let d(r) = i(r) - 5*s(r). Is d(15) a multiple of 10?
False
Let n be (-7)/(-2) + (-78)/52. Is n/(-7) + (-3427)/(-161) a multiple of 2?
False
Let g(f) = 2*f + 36. Let l be g(-17). Suppose -l*i + 3 = -5*n - 45, 3*i - 5*n - 62 = 0. Let p(u) = -u**2 + 32*u - 7. Is 49 a factor of p(i)?
True
Is 0 + 28280 + (16 + 32)/24 a multiple of 218?
False
Suppose -2*y = -5*q - 33620, 8*y - 136865 + 2265 = 5*q. Is 99 a factor of y?
True
Let s = -17724 + 27544. Is s a multiple of 94?
False
Let o = 120 + -758. Let h = o - -1125. Does 17 divide h?
False
Let m(l) = -17*l**3 + 57*l**2 + 335*l - 1. Does 86 divide m(-7)?
True
Let f be (-8)/72*-1239 + (-4)/6. Let l = -67 + f. Is l a multiple of 35?
True
Let l(x) = 62*x**2 + 3*x - 2. Let z be l(2). Suppose 0*m - 63 = -m - 2*q, -4*q - z = -4*m. Let w = -40 + m. Is 4 a factor of w?
False
Suppose 6*z - 3*z - 1527 = 2*l, -3*z - 5*l = -1548. Suppose 0 = -7*g + 490 + z. Is 22 a factor of g?
False
Suppose j - 6 = 0, 5*w + 36*j - 38*j - 15303 = 0. Does 3 divide w?
True
Suppose 5*o - 262530 = -5*f, -o - 79686 = 5*f - 342212. Is f a multiple of 75?
False
Let p(c) = -2*c**2 + 24*c - 13. Let d be p(11). Let k(w) = 26*w - 27. Does 24 divide k(d)?
False
Let m be ((-15)/5)/((-3)/(-54)). Let w = 1046 - m. Suppose 9*r = -290 + w. Is r a multiple of 21?
False
Suppose 3*k = f + 4463, -22*f - 2974 = -2*k - 21*f. Is 13 a factor of k?
False
Suppose -25558*f = -25518*f - 128400. Does 15 divide f?
True
Suppose 5*x = -p + 4, -5*p = -2*x + 7*x. Let l = 5 - p. Is (2 - l/4)/(2/252) a multiple of 29?
False
Let o(w) = -w**2 + 20*w + 19. Let v be o(21). Is (2*v/(-5))/((-12)/(-3510)) a multiple of 78?
True
Let w = -77 + 89. Does 26 divide 261 + -3 + w/6?
True
Let l be 4 - ((0 - 3) + 5). Suppose -3*f - q + l*q + 4555 = 0, -f + 1527 = 4*q. Suppose -4*k + 11*k = f. Does 33 divide k?
False
Suppose -74*g = -139*g + 463580. Does 22 divide g?
False
Does 89 divide (-4*208521/270)/((-4)/10)?
False
Does 167 divide 10 - -4283*(-9)/(-3)?
True
Suppose 40 + 30 = 14*s. Suppose -s*i = -2563 + 653. Does 20 divide i?
False
Let u = 294 + -290. Suppose -1027 = -u*y - 355. Is 24 a factor of y?
True
Suppose 0*l + 28 = 4*l. Let h(n) = 4*n - 17. Let o be h(l). Suppose r + o = 19. Is 4 a factor of r?
True
Let i(n) be the third derivative of 13*n**5/60 - n**4/3 + 5*n**3/6 - 11*n**2. Let z be i(3). Does 13 divide (z/21)/((12/117)/2)?
True
Suppose l + 180 = -i, 4*l - i - 2*i = -720. Suppose -8 = 4*k, 1548 = -0*m - 5*m + k. Let y = l - m. Does 11 divide y?
False
Let r = 0 - -45. Suppose -3*k - 3*k = 126. Let y = r - k. Is 22 a factor of y?
True
Let q(w) = 437 + 18*w + 494 - 703 - 3*w. Does 6 divide q(-11)?
False
Let h(i) be the second derivative of -i**4/4 + 38*i**3/3 - 25*i**2/2 + 2*i + 4. Is h(23) a multiple of 6?
False
Suppose 929 - 3644 = -5*u. Let f = u + -307. Is 2 + -5 + 6 + f a multiple of 36?
False
Suppose -34*p + 9 = -39*p - 3*k, 2*k = -6. Is 7 a factor of -5 - p - -2 - (-9 + -119)?
False
Suppose -5*q - 11*s + 110992 = -12*s, -4*q - 4*s = -88832. Is 30 a factor of q?
True
Suppose 437 = -4*r - 167. Let x = 7 - r. Suppose 330 = 4*m - x. Does 25 divide m?
False
Let m(p) = -2*p**2 - 181*p - 392. Is m(-74) a multiple of 41?
True
Let v = -28 - -43. Does 3 divide 153/12 - v/20?
True
Suppose -961 = -3*i + 437. Let u be (2051/7)/(-5 + 6). Let z = i - u. Does 32 divide z?
False
Suppose -15 = -7*j + 34. Suppose 2*x + 1293 = 3*q + j*x, 0 = 5*x. Is q a multiple of 43?
False
Suppose -731166 = -780*v + 687*v. Is v a multiple of 27?
False
Let s(t) = -4653 + 53*t**3 - 2*t + 4650 - 2*t**2 + 7*t**2. Is 11 a factor of s(1)?
False
Suppose 5*v - 15 = -5*n, -2*n = 4*v - 5*v. Suppose 0 = 4*t - 38 + 46, -v*t = 4*k - 1888. Is k a multiple of 22?
False
Let b = -170 + 254. Let k(j) = -5 + b*j**2 - 82*j**2 + 13*j**3 + 2*j**3. Is 41 a factor of k(2)?
True
Let p = 14826 - 1926. Is p a multiple of 22?
False
Suppose -r = -129*r + 18*r + 126720. Does 23 divide r?
False
Is (-276)/((-664)/320 + 2) a multiple of 19?
False
Suppose -34*i + 77207 = -21*i. Let y = -4222 + i. Is 101 a factor of y?
True
Let g = 1683 + -1002. Let a = g - 217. Is 58 a factor of a?
True
Suppose 0 = -24475*b + 24469*b + 220302. Does 175 divide b?
False
Suppose 0 = -3*n + 2*t - 8553 + 33261, -3*n = -5*t - 24708. Does 71 divide n?
True
Let f(o) = -37*o - 24. Let j be f(-2). Suppose 0 = -4*z - 5*c - j + 1078, -4*z = -3*c - 996. Is z a multiple of 27?
False
Let a(t) = 14*t - 292. Let k be a(25). Suppose -k*j + 7371 = -49*j. Is 17 a factor of j?
False
Suppose 5*s + 104 = -4*a, 4*s - 5 = a - 0. Let u be (6/(-8))/((36/(-4))/(-36)). Does 18 divide ((-432)/(-28))/(u/a)?
True
Suppose -5*q + 2040 = -13*x + 18*x, 3*q = 12. Suppose -5070 = -417*r + x*r. Is 10 a factor of r?
True
Let d(r) = -176*r - 671. Is d(-14) a multiple of 36?
False
Let x(q) = 2*q + 3. Let w be x(5). Suppose -w*m = -15*m. Suppose -u - 106 = -5*f, m*f + 3*u - 18 = -f. Does 21 divide f?
True
Suppose -4*s + 2 - 7 = g, 0 = 4*s + 4*g + 20. Suppose s*j - 25 = -5*j. Suppose -3*h = -j*w + 868, -3*h + 888 = 5*w - h. Is w a multiple of 44?
True
Let l = -5817 