- 8*j**3/3 - 31*j**2/2 - 21*j. Let k be f(13). Let c = -83 + k. Is 8 a factor of c?
True
Let u(h) = -13*h**3 - 2. Let s be u(-1). Suppose -s*g + 363 = -88. Is 10 a factor of g?
False
Let h(d) = 2*d - 28. Let m be h(11). Let f be 6816/40 - m/10. Suppose -j = 2*l - f, 2*j = -4*l + l + 255. Is 6 a factor of l?
False
Let r be 10*(-11)/12 + (-13)/(-78). Let w(t) = -t**3 - 10*t**2 - 10*t + 15. Is 8 a factor of w(r)?
True
Suppose 3*c - 23632 = -5*x, 4*c - 1 = -5. Does 38 divide x?
False
Suppose -31*z + 9543 = -11785. Is 4 a factor of z?
True
Let i = 134 - 132. Suppose -i*u + 3*p = 2*p - 12, -4*u - 3*p + 4 = 0. Suppose -3*x = -u*f + 777, -6*f + 399 = -4*f - 5*x. Is f a multiple of 25?
False
Suppose 4*j - 1848 = -4*o, 4*j = -o + 2*o + 1858. Let d = j - 264. Is d a multiple of 20?
True
Suppose 46*k + 7130 = 51*k. Suppose 0*z - 266 = 2*z. Is 22 a factor of (-19)/z - k/(-14)?
False
Is ((-3422367)/(-18))/13 - (30/(-4))/(-15) a multiple of 24?
False
Let h = 919 + 2531. Does 46 divide h?
True
Suppose 246 = 4*t + 2*c, t + 36*c - 84 = 40*c. Suppose -3*x + 0*b = b - 272, x - b - 92 = 0. Let u = x - t. Is 3 a factor of u?
True
Suppose 0*k + 10*k + 7880782 = 143*k. Is 13 a factor of k?
True
Suppose 5*c + 0*w - 31 = w, 5*w = c - 11. Suppose -8*a + 84 = -c*a. Suppose x = 3*m - 71, -2*m + a = x - 2. Is m a multiple of 23?
True
Let h = -124 + 1442. Suppose -8*p + h = 70. Is p a multiple of 12?
True
Suppose 2*d = -4*j + 108828, 371*d + 20 = 376*d. Is j a multiple of 229?
False
Suppose -5*r = 4*a - 20977 + 5553, 0 = 4*r - 2*a - 12308. Does 7 divide r?
True
Let z(m) be the third derivative of m**4/3 + 18*m**3 - 3*m**2 + 7. Is z(9) a multiple of 12?
True
Let d(p) = -4*p**2 - 7. Let m be d(6). Let n = m + 217. Does 11 divide n?
True
Let h be 2/(-9) - 874/(-207). Suppose -49 = -h*p + 335. Is p a multiple of 40?
False
Let m = -5744 + 10532. Is 14 a factor of m?
True
Let y be ((-8)/(-20))/((-2)/(-665)). Suppose 0*z + 1 = 3*w + 4*z, -2*w - 2*z = -2. Suppose 3*s - 201 = 2*i + w*i, -2*s + y = -3*i. Is 21 a factor of s?
False
Let q(k) = k**3 + 3*k**2 - 12*k + 42. Let s be q(6). Let l = -46 + s. Is l a multiple of 9?
False
Is 169 a factor of ((-2)/(-11))/((-306)/(-55843623))?
False
Let h(d) = 2*d**2 + 15*d + 1630. Is h(-85) a multiple of 7?
True
Suppose 5*u + 5*z = 1070, 5*u - 1076 = -z + 2*z. Let l = 360 - u. Does 20 divide l?
False
Suppose 5 = 3*h - 4*l, 4*h - 4*l - 2 = -l. Let o be (-2 - h)/(4/(-32)). Let s(c) = 13*c - 14. Is s(o) a multiple of 18?
True
Let r(j) = j**2 - 18*j + 45. Let a be r(21). Suppose 0 = -3*z - 15, -a = -y + 4*z + 80. Is y a multiple of 5?
False
Let y be (23/4)/((-1)/(-8)). Suppose 0 = -47*a + y*a + 248. Is a a multiple of 5?
False
Let r(a) = a**2 - 25*a + 48. Let b be r(23). Is 23 a factor of b/(-8) + 27244/112?
False
Suppose 22*p + 1188 - 286 = 0. Does 4 divide (p + 7)*(-5)/10*1?
False
Let b = 17314 - 9744. Does 58 divide b?
False
Let l(o) = 9*o + 21. Suppose 7*w - 18 - 38 = 0. Is l(w) a multiple of 72?
False
Let d = 82 - 89. Is (-2 + (-1 - d))/(12/1959) a multiple of 11?
False
Let g be (20/(-8) + 5)/(1/4). Let b be (-4)/g + 3*12/90. Suppose -3*x + b*x = -120. Is x a multiple of 4?
True
Let m(p) = p**3 - 82*p**2 + 57*p - 380. Is 7 a factor of m(82)?
False
Let n = -1250 - -789. Let c = n + 687. Does 10 divide c?
False
Let y = -2 + 2. Suppose -11*q + 19*q - 24 = y. Let b(g) = 3*g**3 + 4*g - 5. Does 11 divide b(q)?
True
Let u(j) = -5 + 595*j + j**2 + 597*j - 1198*j. Let w = -30 - -27. Is u(w) a multiple of 11?
True
Let m = -318 - -153. Let o be m/6*(1 - 36/20). Suppose o*k = 24*k - 16. Is 4 a factor of k?
True
Suppose 4*q = 0, 0 = -2*y + q + 4 - 2. Suppose 4*i + 6 = 2*l, -2*l - y = l + 4*i. Is 23 - (1 - (l - 1)) a multiple of 5?
False
Suppose 10*p + l = 5*p + 48640, -14*p - l = -136201. Is 23 a factor of p?
True
Let w = 138 - 481. Let h = 88 - w. Does 50 divide h?
False
Suppose 14*o - 18*o + 2821 = -3*o. Is o a multiple of 16?
False
Suppose 4*y + 217 = 53. Is 11 a factor of 40 + y - (-99 + -1)?
True
Is (-10)/25 - (7877620/(-1050) - (-4)/42) a multiple of 6?
False
Suppose z - 2*p - 3210 = 0, 0 = -z + 6*p - 7*p + 3225. Is z a multiple of 17?
False
Let y(f) = f**3 + 54*f**2 + 118*f - 358. Is y(-36) a multiple of 53?
False
Suppose 3*s - 1823 = 1279. Suppose -19*a + s = -1873. Suppose w - a = -93. Is 41 a factor of w?
False
Let g = 2285 + -1514. Suppose 0 = r - g + 758. Is 13 a factor of r?
True
Let c(m) = -5*m - 12. Let u be c(-2). Let h(t) = -308*t - 22. Let k be h(u). Suppose -8*j = -134 - k. Is j a multiple of 49?
False
Let w = 40 - 42. Let o(y) = 4*y + 5 - y - 3 + 20*y**2. Is o(w) a multiple of 14?
False
Let g(b) = 1. Let n(f) = 2*f**2 + f - 5. Let w(d) = 4*g(d) + n(d). Let j be w(1). Suppose 650 = -j*a + 7*a + 5*h, -3*h = -2*a + 270. Does 12 divide a?
True
Let z(m) be the third derivative of 38*m**2 + 11/3*m**3 + 0 - 1/4*m**4 + 0*m. Is z(-11) a multiple of 22?
True
Let v(a) = 109*a - 9. Let o be (14/4)/(5 - (-27)/(-6)). Is 54 a factor of v(o)?
False
Suppose -21 = -v + 4*z - 2, 4*v = 3*z + 24. Let d(r) = -r**2 - 4*r + 7. Let p be d(-5). Suppose -589 = -2*t - v*t + p*c, 5*c = -5*t + 610. Is 20 a factor of t?
False
Does 24 divide (-98)/(-245)*(11589 - -2) - (-4)/(-10)?
False
Suppose 20*a - 39565 = -21*a. Suppose 9*p - a - 1015 = 0. Does 100 divide p?
False
Let y(a) = 109*a - 5. Suppose 4*n + 3 = -3*u, 0 = -5*n - 5 - 10. Is 5 a factor of y(u)?
False
Suppose 32*k - 21513 = 21559. Suppose -3*c + 718 = -k. Does 16 divide c?
True
Let v(x) = -183*x - 163. Let r(g) = -g**3 - 10*g**2 - 14*g - 48. Let z be r(-9). Does 14 divide v(z)?
False
Suppose -38*m + 40*m = 4*v + 30316, -3*m + 3*v = -45492. Does 99 divide m?
False
Let g(b) = -11457*b**3 - 2*b**2 - 3*b - 2. Let r = -108 - -107. Let c be g(r). Does 33 divide 4/(-22) + 7 + c/88?
False
Suppose -58776 = 6918*y - 6919*y. Does 79 divide y?
True
Let r be -8 - 9*(9 - 10). Let j(a) = -4*a + 9 - 4*a + 0*a + 129*a**2. Is j(r) a multiple of 11?
False
Let p be (2 - 26)*(27/(-4))/1. Suppose 0 = 2*a - i - 74, -5*i = 4*a - 0*i - p. Is a even?
True
Suppose 0 = 5*g + d - 1545, 6*d - 11*d = g - 333. Does 2 divide g?
True
Suppose -3*y + 4*y = -3. Let u be (182/1)/((-6)/y). Let o = -80 + u. Is 2 a factor of o?
False
Suppose 2172702 + 1522458 = 371*p. Is p a multiple of 12?
True
Let s = 30562 + -18385. Is s a multiple of 27?
True
Suppose 17*z - 8172 = -z. Suppose z = g + 137. Is 10 a factor of g?
False
Let h(a) = 9*a**2 + 9*a - 15. Let k be h(3). Let d = 97 - k. Suppose 0 = -0*p - 4*p - d*x + 404, -x = 0. Does 9 divide p?
False
Suppose 0 = -48*w + 195840 + 230496. Is w a multiple of 94?
False
Let g = -556 + 1524. Suppose -19*x = -27*x + g. Is x a multiple of 20?
False
Let s(p) be the third derivative of -3*p**2 + 1/60*p**5 + p**3 + 1/24*p**4 + 0*p + 0. Is 27 a factor of s(12)?
True
Suppose -27317*s = -27307*s - 28980. Is 21 a factor of s?
True
Suppose 4907 = -0*d + 5*d + 3*a, 4*a - 1974 = -2*d. Suppose -6*t + d + 89 = 0. Is 6 a factor of t?
False
Suppose z = 5*t - 29116, -131*t - 3*z = -132*t + 5840. Is t a multiple of 27?
False
Let m(l) = 10*l - 10. Let s = 38 + -4. Let h = s - 26. Is 18 a factor of m(h)?
False
Suppose 0 = -f + 2*l - 200 + 65, f - 5*l = -147. Let z = f + 56. Let u = -45 - z. Does 5 divide u?
False
Let s(u) = u**2 + 20*u + 25. Let g be s(-13). Let l = -66 - g. Suppose -30*w + 26*w + 108 = l. Is w a multiple of 26?
False
Let c be 3694/10 + (240/(-50))/12. Let u = 807 - c. Does 9 divide u?
False
Let k(f) = 693*f - 30. Let r be k(-1). Let x = 269 - r. Is 43 a factor of x?
False
Let f(c) be the first derivative of -c**3/3 + 19*c**2/2 + 14*c - 19. Let i(d) = -4*d**2 + 76*d + 55. Let v(m) = 9*f(m) - 2*i(m). Is 5 a factor of v(19)?
False
Let n(m) = -m**3 + m**2 + 3. Let i be n(2). Let c be 204 + i + (-2)/(-2) - 0. Let q = -101 + c. Is q a multiple of 23?
False
Let i(o) = 2*o**2 - 2*o - 12. Suppose -2*a = -a + l - 37, -4*a - l + 163 = 0. Suppose 3*c = -4*c + a. Is 12 a factor of i(c)?
True
Does 161 divide (-7 + -172)/((-4)/(-192)*(-12)/18)?
False
Suppose 4*u - 207 + 675 = -4*v, -15 = -5*u. Let o = -141 - -57. Let z = o - v. Is 4 a factor of z?
True
Suppose 31*k + 82075 = -46*k + 1543612. Is 41 a factor of k?
False
Let w = 60 + -59. Does 50 divide (8 + w)*(371/21 - 1)?
True
Suppose 5*n + 39 = -m, 3*n + 15 = -4*m - 22. Let