 4 divide u(-1)?
False
Suppose 4*p + p = -20. Let u(l) = -3*l**3 - 7*l**2 - 2*l - 4. Let v(j) = -4*j**3 - 8*j**2 - 2*j - 3. Let b(f) = p*v(f) + 5*u(f). Does 15 divide b(6)?
False
Let s = 93 - 133. Let u be 64/s*(-85)/2. Is 2 a factor of u/20 - (-6)/(-15)?
False
Let p(q) = -9*q - 9. Let v be p(-2). Suppose -266 = v*o - 716. Does 8 divide o?
False
Let i be ((-16)/6 - -3)*-3. Let d = 9 - i. Is d + -9 + (-60)/(-1) a multiple of 19?
False
Suppose 3*m + 0*u = u - 3, -3*u = 0. Is -2 + 55 + m*9/3 a multiple of 25?
True
Suppose 220 = -4*y + 8*y. Let d be 56/(-2 + 0) + -4. Let r = d + y. Is 23 a factor of r?
True
Suppose -2*z + 17 = 3*h - 26, -17 = -h + 2*z. Let r(b) = b**2 - 12*b + 14. Let d be r(h). Let w = 33 + d. Is 23 a factor of w?
True
Let c = -5 + -15. Let t = c + 6. Is 4 a factor of (t - 5)/(-1 - 0)?
False
Suppose 9*h - 5996 = -704. Is h a multiple of 14?
True
Let v = -2986 - -6950. Is 19 a factor of v?
False
Is 16/((-128)/(-1158))*4/3 a multiple of 8?
False
Let z = 579 + -333. Suppose 0*o - z = -2*o. Is o a multiple of 15?
False
Let c = -13 - -19. Let j(x) = x - 2 + 6 + 1 + 0*x + 6*x**2 - x**3. Does 4 divide j(c)?
False
Suppose 5*u - 10 = 0, o = 4*o - 2*u + 1. Suppose -c + o + 37 = 0. Is 4 a factor of c?
False
Let u = -669 + 1122. Is u a multiple of 23?
False
Is (-105 - -109)*(-786)/(-8) a multiple of 4?
False
Let z(r) = -r**3 + 20*r**2 - 37*r + 26. Let a be z(18). Suppose -a*o + 1345 = -1207. Is o a multiple of 38?
False
Suppose 0 = -3*i - 3*p + 1347, 3*i = 2*p + 1891 - 559. Does 42 divide i?
False
Let r(l) = -24*l - 1. Let g = 0 - 6. Let h be r(g). Suppose -4*d = -0*x - 3*x + h, -50 = -x - d. Does 12 divide x?
False
Let u(m) = 14*m - 12. Suppose -x - 7 = -h, 4*h = h + 5*x + 27. Is u(h) a multiple of 11?
True
Let y be (-49 - (3 - 5))*-5. Let n = -71 + y. Suppose -4*z + n = -5*l, -4*z + 100 = 3*l - 32. Does 12 divide z?
True
Let u = 1436 - 951. Suppose -c - s = -106, -2*c = 3*c - 4*s - u. Does 14 divide c?
False
Suppose 10 - 50 = -4*s. Suppose 4*r + 1212 = s*r. Does 16 divide r?
False
Suppose 0 = -11*w + 10*w. Suppose -5*o + 10*o + 3*a + 35 = w, 4*o - 9 = 5*a. Let z = 24 - o. Is 11 a factor of z?
False
Let a(h) = h**2 + 11*h + 19. Let j = 4 + 13. Suppose -j*d = -16*d + 13. Is a(d) a multiple of 15?
True
Suppose -5*z + 563 = -2*g + 1631, -g + 3*z + 536 = 0. Is g a multiple of 14?
False
Suppose -18 = -c + 10*c. Is 814/7 - c/(-7) a multiple of 26?
False
Suppose 10*q - 105 - 995 = 0. Let r = 54 + q. Is r a multiple of 7?
False
Let x = -478 - -334. Does 32 divide (x - 0)*24/(-18)?
True
Suppose -3*m - y + 899 = 4*y, 3*m = 4*y + 863. Suppose -m = -7*r + 344. Is r a multiple of 17?
False
Let g(d) = -d**3 + 12*d**2 + 14*d - 11. Let q be g(13). Suppose -q*z - 3*m + 549 = 0, -z - 2*m + 274 = -0*z. Suppose -z = -3*t - 54. Is t a multiple of 37?
True
Suppose 2*d - 150 = 5*i + 45, 0 = -2*d. Let m = i + 65. Is m a multiple of 26?
True
Let s(v) = v**2 + 17*v - 109. Is s(-36) a multiple of 27?
False
Let j(d) = 20*d**3 + 13*d**2 + 9*d - 2. Let m(k) = -7*k**3 - 4*k**2 - 3*k + 1. Let w(y) = -2*j(y) - 7*m(y). Is 16 a factor of w(2)?
False
Let y = -29 + 34. Suppose -y*g + 796 = -319. Is 57 a factor of g?
False
Let r(c) = -56 - 3*c + 4*c + 4*c + 11. Is 8 a factor of r(17)?
True
Let j = -2 - 11. Let v = -736 + 739. Let f = v - j. Is f a multiple of 8?
True
Let t(c) = c**3 + 12*c**2 - 13*c + 3. Let p be t(-13). Suppose p*r = -5*r + 656. Does 18 divide r?
False
Let m(o) = o**2 - 9*o + 14. Let q = -9 + 16. Let r be m(q). Suppose r = -4*w - 16, -5*i + 280 = 6*w - w. Is 15 a factor of i?
True
Let b be (-12)/(-54) + 2/(-9). Suppose -2*u - 13 = -3*u + 3*c, b = 3*c + 3. Suppose 0 = 2*n - v - 107, u = -2*v - 0. Is 15 a factor of n?
False
Let v(k) = 58*k - 66. Is 38 a factor of v(9)?
True
Let i = -231 + 305. Does 5 divide i?
False
Suppose 3*u - 55 = 2*n + 3*n, u + 3*n + 5 = 0. Suppose -2*r + 8 + u = 0. Suppose 363 = r*z - 6*z. Is 25 a factor of z?
False
Suppose 0 = -2*u + 6, 3*i + i + 2*u = 6. Suppose -2*a - 3*a = -m + 3, i = 5*m + 5*a - 15. Does 16 divide (-4 - -15 - m)*12?
True
Let i(g) = -19*g + 2. Let w be i(-1). Let h(u) = -u**3 + 4*u**2 - 2*u - 3. Let l be h(3). Is l + 2 + -1 + w a multiple of 8?
False
Let h(o) = -o + 5. Let a = 48 - 28. Suppose -a = 2*u + 2*u. Is 5 a factor of h(u)?
True
Suppose 40 = a + 4*a. Let b = 11 - a. Suppose 5*x - 2*x - b*g = 36, -3*x + 30 = -5*g. Is 5 a factor of x?
True
Let t(a) = -a**3 - 4*a**2 - 2*a + 1. Let y be t(-2). Let d be (-12)/y + -5 + 3. Suppose -5*m + d*m + 3 = 0, 29 = x - 3*m. Is 16 a factor of x?
True
Let c be 57 + 0/(2 + 1) + 3. Let f = -4 + c. Does 8 divide f?
True
Let u be 10/3 - 6/(-9). Suppose -i = -3*v - 0*v + 86, -u*v - 2*i + 128 = 0. Suppose 34*x - v*x - 360 = 0. Does 15 divide x?
True
Suppose -5*o + 2 + 3 = 0. Let w(j) = -j**3 - 7*j**2 + 13*j + 13. Let g be w(-7). Does 6 divide o/4 + g/(-8)?
False
Let q(k) = -4*k - 2. Let t be (55/(-20))/(3/(-12)). Suppose 8*m - 15 = t*m. Is 9 a factor of q(m)?
True
Suppose -3 = -3*b - 12. Let t be ((-25)/(-15))/(b/(-135)). Suppose w + t = 2*w. Does 15 divide w?
True
Suppose 0 = -h - 2, -5*n + 7*h - 3*h = -63. Let t(w) = 7*w + 10. Does 29 divide t(n)?
True
Is 15 a factor of 107*(-48)/(-15) + (-18)/45?
False
Suppose 16*x = 6*x + 120. Let m(c) = -c**2 + 12*c + 18. Is 9 a factor of m(x)?
True
Let d(z) = -8*z - 13. Suppose 3*b = 16 + 2. Let y(a) = a**2 - 8*a + 4. Let g be y(b). Is 17 a factor of d(g)?
True
Let c(z) = -2*z - 2 + 7*z + 3*z**2 - 2*z**3 + z**3. Let b be c(3). Is b - (-1 - -3)/2 a multiple of 6?
True
Is (87/1 - -4)*(-18)/(-21) a multiple of 2?
True
Let z = 10 + 15. Suppose 305 - z = 7*c. Is c a multiple of 20?
True
Let a = -6 - -6. Suppose 8*g - g - 805 = a. Suppose g = f + 5*w, -3*f - 3*w - 435 = -8*f. Is f a multiple of 15?
True
Suppose 4*z = -w + 18, 2*z - 13 = z + 4*w. Suppose 5*v = -5, 1 = -z*d + d + 3*v. Does 7 divide (6 - 3/d) + -2?
True
Let w = -1314 - -2418. Does 48 divide w?
True
Suppose 12272 = d + 12*d. Suppose -8*f + 336 = -d. Is 20 a factor of f?
True
Suppose -5*m - 3*j + 1770 = 0, -354 = -12*m + 11*m + 4*j. Is m a multiple of 18?
False
Suppose -2*m + 4 = 0, -s + 0*s + 134 = m. Does 12 divide s?
True
Suppose 8*a = 32*a - 12672. Does 24 divide a?
True
Is 31 a factor of (6 - 7) + -5 + 87?
False
Suppose 5*q = 4*z + 26, -4*q = -3*q - 3*z - 14. Suppose -q*o - s = -3*o + 16, 0 = 5*s. Let d(n) = -n**3 + 17*n**2 - 14*n + 8. Is 10 a factor of d(o)?
True
Let y(j) = -j**3 - 6*j**2 + 7*j + 2. Let r be y(-7). Is 6 a factor of r/7 + (-332)/(-14)?
True
Suppose 0 = i + 5*h - 3628, 5*i - 9571 - 8699 = h. Is 13 a factor of i?
True
Let c be (-22)/((-2)/2) + -2. Suppose -v + c = 17. Is 2 a factor of v?
False
Let w = 978 + -188. Is 5 a factor of w?
True
Is -7*(12/14)/(-1) a multiple of 2?
True
Let x(h) = h**2 - 5*h - 11. Let k be x(7). Suppose -3*d = -0*o - k*o + 186, 0 = 4*o + d - 268. Does 8 divide o?
False
Suppose 4*c = 4*p - 4, 1 = -p - c - 6. Let w be p + 2 + 4 + -1. Suppose 4*k + 2*d = 158, w*d = 2*k - 3*d - 109. Is k a multiple of 19?
False
Let g = -10 + 11. Does 10 divide 10*(3/g + 1 - -3)?
True
Let m = 131 - 127. Suppose -1100 = -4*q + m*u, 265 = -4*q + 5*q + 4*u. Does 21 divide q?
True
Let p = 38 - 36. Let r(h) = 12 + 2*h - 4*h**p - 14*h + 5*h**2. Is r(15) a multiple of 19?
True
Let p(a) = -881*a - 16. Let l be p(-5). Is 23 a factor of (-4)/6 + l/63?
True
Let k(g) be the second derivative of g**3/6 - 4*g**2 - 9*g. Let y be k(0). Is 28 a factor of 0 - -44 - (-8)/y?
False
Suppose -4*b = 5*v - 235, 2*v = -4*b + 94 - 12. Does 11 divide 3156/v - 2/(-17)?
False
Let y(u) = -u + 66. Let p = 111 - 121. Is 38 a factor of y(p)?
True
Suppose -159 = -m - 2*r, 0 = m - 0*r + 5*r - 150. Is 33 a factor of m?
True
Let y(w) = w**3 - 2*w**2 - 11*w + 4. Does 16 divide y(6)?
False
Let c(p) = -153*p - 248. Is 61 a factor of c(-8)?
True
Suppose 0 = l + 1, -t + 198 - 79 = l. Does 60 divide t?
True
Let u = -331 - 428. Let b = u - -1116. Suppose 3*g - 3*w - 225 = 0, -4*g = g + w - b. Is 36 a factor of g?
True
Suppose -156*o = -161*o + 4410. Is 57 a factor of o?
False
Suppose -5*z + 15 = 0, -438 = -3*k - 0*z + z. Suppose -4*t + c = -k, 5*t - 128 = -c + 49. Is 9 a factor of t?
True
Let f be 5 - (-3)/(-15)*0. Is 15 a factor of (28/(-8) + f)*5*8?
True
Suppose 22344 = 11*a + 38*a. Is a a multiple of 19?