ative of -13*o**3/2 + 2*o**2 + 25*o. Is 11 a factor of y(-3)?
True
Suppose -2*y + 7 + 3 = 0. Suppose -y*b = 3*q - 292, 0 = 4*q - q + 4*b - 287. Is q a multiple of 8?
False
Let p(m) = -4*m**3 + 22 + 13*m**2 + 3*m**3 + 5*m + 3*m**3 - 33. Is 13 a factor of p(-5)?
True
Let n be (28/8)/((-2)/104). Let w = -126 - n. Is w a multiple of 5?
False
Suppose 19*u = 17*u. Suppose -11*l + 3079 + 694 = u. Is 46 a factor of l?
False
Let r = 753 - 347. Does 39 divide r?
False
Let t(x) = 3*x**3 - x**2 + 4*x. Let v(f) = 3*f**2 - f. Let y be v(-1). Let g(d) = 3*d**3 - d**2 + 5*d. Let r(a) = y*t(a) - 3*g(a). Does 15 divide r(2)?
False
Let z be 4/18 + (-1130)/(-18). Suppose g - 3*l - z = 0, -g - l - 3*l + 28 = 0. Does 19 divide g?
False
Let s = -19 - -23. Suppose s*w = -5*z + 1058, -5*z + 6 + 1073 = -3*w. Does 25 divide z?
False
Let c(n) = 4*n**2 + n. Let a be c(1). Suppose 0 = 5*x - 10 - 0, a*y = -4*x + 633. Is y a multiple of 25?
True
Let n(m) be the second derivative of -m**4/2 + 23*m**3/6 - 3*m**2/2 - 10*m. Let c(p) = 5*p**2 - 22*p + 2. Let q(k) = -5*c(k) - 4*n(k). Does 22 divide q(10)?
False
Let y(c) = -c**3 - 25*c**2 - 30*c - 24. Does 15 divide y(-24)?
True
Suppose -15*r + 2376 = 741. Does 24 divide r?
False
Let n = -8 - -10. Let p(h) = 4*h**2 + 4 - 2*h**2 + 0*h**n + 11*h. Does 12 divide p(-7)?
False
Let p(k) = -2*k**3 + 22*k**2 - 19*k - 8. Let j be p(10). Does 32 divide 768/(-6)*(-1)/j?
True
Suppose 2*q + 3*q - j + 2 = 0, -4*q = -5*j - 11. Is (q/(1/54))/(3 - 5) a multiple of 11?
False
Let x = -214 - -376. Let u = 277 - x. Is u a multiple of 23?
True
Suppose 4*k = -s - 0*s + 12, 5*k + 2*s = 12. Does 5 divide -1 - (k/4 - 12)?
True
Let s(p) = -p**2 - 8*p + 9. Let r be s(-8). Let v = 13 - r. Suppose 4*a = 3*o - 0*a - 29, -v*o - 4*a + 76 = 0. Is o a multiple of 5?
True
Suppose -5*t + 3*t = -254. Let i = 249 - t. Suppose 2*f - 5*p - i = 0, -f - 2*p - 134 = -3*f. Does 13 divide f?
False
Let m be ((-77)/(-55))/(2/(-10)). Is (-12)/(-42) - 201/m a multiple of 7?
False
Is -14*(747/(-63) + -1) a multiple of 10?
True
Let r(x) = x**2 - 13*x + 5. Let f be r(13). Suppose 19 + 6 = f*l. Suppose 4*w = 5*p + 318, -164 = -2*w - l*p + 10. Is 18 a factor of w?
False
Suppose 7*v - 2*v + 10100 = 0. Let c be 4/(-14) - v/14. Suppose -2*w - w + c = 0. Does 16 divide w?
True
Let t(g) = -4*g**3 - 11*g**2 - 9*g - 8. Does 37 divide t(-7)?
True
Is 56 a factor of (2432/(-228))/(4/(-294))?
True
Let h = 610 - 566. Does 44 divide h?
True
Suppose 0 = 4*x - 4*i - 1608, -6*i + 418 = x - 3*i. Is x a multiple of 7?
True
Let d(x) = -3*x**3 - x**2. Let j be d(-1). Is (24/(-28))/(j/(-14)) a multiple of 4?
False
Let c = -807 + 1148. Is 48 a factor of c?
False
Let f = -9 + 16. Let v(d) be the second derivative of -d**3/6 + 12*d**2 + 4*d. Does 5 divide v(f)?
False
Let c = -2265 - -3837. Does 38 divide c?
False
Let d be 18/(-4)*8/(-12). Suppose -d*z = -282 - 108. Is z a multiple of 13?
True
Let s(y) = -2*y - 1. Let v be s(-1). Suppose x + 190 = 6*x. Is 13 a factor of v - x/(-4)*4?
True
Let c = -170 + 253. Suppose -2*l = -l + 49. Let q = l + c. Is 17 a factor of q?
True
Suppose -9*p = -6*p - 42. Let t = -4 + p. Suppose 3*i - t - 89 = 0. Is i a multiple of 11?
True
Suppose -815 = -6*c + 1465. Is 31 a factor of c?
False
Is 13512/15 - 56/70 a multiple of 15?
True
Let g(w) = -w - 7*w + 2*w + 6 + 3*w. Does 11 divide g(-11)?
False
Let a = 123 - 88. Is a a multiple of 12?
False
Let c(j) = -2*j - 20. Let t be c(-10). Suppose t = -2*l + 423 + 101. Is l a multiple of 13?
False
Suppose -3*p - 6*p = -18. Suppose -p*u = 24 - 70. Does 23 divide u?
True
Let q(k) = 8*k**2 - 3*k - 24. Is q(-4) a multiple of 8?
False
Let a(r) = r**2 + 27*r - 58. Let g be a(26). Suppose 318*h - 322*h = -g. Is 52 a factor of h?
False
Suppose -3*f + 13 - 19 = 0. Is 27 a factor of (-6)/(-4)*f + -3 + 33?
True
Is 14 a factor of (-48)/(-1)*(0 + 14)?
True
Suppose 260 = -o - 12*o. Is (-4)/(-2*(-2)/o) a multiple of 4?
True
Suppose -5*a - 15 = -0*a. Let f(m) = 30 - 4 - 14 - 13*m - 2. Is 31 a factor of f(a)?
False
Let c = 158 - -17. Is 3 a factor of c?
False
Let s(p) = p**3 - 6*p**2 - 8*p + 9. Let q be s(7). Suppose 2*c - 3*y = 57, q*c + 30 = 3*c - 3*y. Is c a multiple of 5?
False
Suppose 8*o = 6*o + 10. Suppose o*c = j - 30, j + 4*c - 116 = -j. Is j a multiple of 8?
False
Suppose -27 = 9*f - 12*f. Suppose -3*o - 72 = -f*o. Is 3 a factor of o?
True
Suppose -5*h + 0*h = -3*w - 4224, -10 = -5*w. Does 25 divide h?
False
Let w = 60 + -43. Suppose 290 = -w*h + 19*h. Is 19 a factor of h?
False
Let a = 37 - -8. Does 3 divide a?
True
Let v(w) be the third derivative of 0 + 29/60*w**6 + 1/12*w**4 - 1/30*w**5 - 1/6*w**3 - 9*w**2 + 0*w. Does 16 divide v(1)?
False
Let x = -48 - -63. Suppose -615 = -18*g + x*g. Does 24 divide g?
False
Let d(w) = -w**3 + 5*w**2 - 5*w + 6. Let a be d(4). Suppose -4 = -2*r + 2*f, 5*f - a = r + 2*f. Suppose 172 = 4*n - 2*j, -j - 2*j = r*n - 192. Does 15 divide n?
True
Suppose -29*j + 221699 = 24*j. Is 34 a factor of j?
False
Suppose -509 = -5*d - 114. Let s = 140 - d. Does 19 divide s?
False
Suppose -4*z + 21 = g - 4*g, 3*z - 24 = 5*g. Let x = z + -10. Does 27 divide (x - 225)*(-2)/4?
False
Suppose -16 = -4*a - 4*a. Let f be 2/9*3*-3. Is (8 - a)/f + 14 a multiple of 11?
True
Let p(r) = -24*r. Suppose -3*w = -2*x - 9 - 1, 0 = -2*w - 4*x + 12. Suppose -5*c - 1 = w. Is p(c) a multiple of 12?
True
Let a(p) = 4*p**2 - p - 19. Suppose -15 = -4*f + 13. Is 21 a factor of a(f)?
False
Suppose 8*v - 11*v = -24. Is 14 a factor of (-2 - 1) + 5 + 1328/v?
True
Suppose 0 = -3*n - 0*n - 3*r, 3*r - 10 = -5*n. Suppose 4 = -j + n*j. Is 19 a factor of 38 + (j + -5 - -1)?
False
Let c(q) = -2*q - 1. Let v(u) = u. Let o(l) = 5*c(l) + 4*v(l). Let m be o(-2). Suppose -s + 5*g = -3*s + m, -s + 7 = -g. Is 6 a factor of s?
True
Suppose -3*l + 269 = -667. Is 13 a factor of l?
True
Let t(f) = -f**2 - 11*f + 1. Let a = -32 + 26. Does 31 divide t(a)?
True
Let m = 56 - 54. Suppose -m*q = -5*q + 93. Is q a multiple of 11?
False
Suppose 0 = 5*t - 16 - 14. Suppose -2 = -j + t. Let k = 0 + j. Does 4 divide k?
True
Let h(w) = 3*w**2 - w + 4. Let a(n) = n**3 + 4*n**2 - 5*n - 5. Let y be a(-5). Does 42 divide h(y)?
True
Let t = 1326 + -1054. Is 10 a factor of t?
False
Suppose 2*i = -3*i - 2*z + 2070, 5*i = 4*z + 2070. Does 23 divide i?
True
Let o(y) = -11*y**2 + 2*y - 12. Let k be o(-6). Let d = k + 602. Does 26 divide d?
True
Suppose 0 = -3*k + 9, 0 = 5*w - 2*k - 3*k - 3270. Does 9 divide w?
True
Suppose 4*b + 3*k = -0*b + 82, 5*b - k - 112 = 0. Suppose g = -4*q + 59, -2*g = -2*q + 3*q - 6. Let m = q + b. Is m a multiple of 28?
False
Suppose 162*m = 131*m + 15345. Is m a multiple of 55?
True
Suppose 4*k - 1666 = -0*v - 3*v, 4*k + v = 1670. Is 22 a factor of k?
True
Let j(x) = x**3 + 27*x**2 + 56*x + 39. Does 9 divide j(-24)?
True
Let w(n) be the third derivative of 0 + 19/24*n**4 - 4*n**2 + 1/6*n**3 + 0*n. Is w(1) a multiple of 18?
False
Suppose 0 = 2*y - 4. Suppose -x - 6 = 3*o - 1, -x - y = 0. Is 129/3 + o + 0 a multiple of 21?
True
Suppose 0 = -h + 10*r - 11*r + 32, 3*h - 3*r - 66 = 0. Is h a multiple of 4?
False
Suppose 5*l - 180 = -60. Let a = 50 + -31. Let v = l + a. Is v a multiple of 15?
False
Suppose 22*f - 17*f - 240 = 0. Let x = f - 81. Let a = 61 + x. Is 4 a factor of a?
True
Suppose -f - 8 = 3*f. Let o be (-1 - -8) + f + 1. Suppose 3*s - o*d - 216 = -3*d, -2*d = 8. Does 17 divide s?
True
Let n = 78 + 180. Is n a multiple of 43?
True
Let c be (5/((-30)/(-4)))/((-1)/(-9)). Does 48 divide (-1)/c*-4*(-666)/(-3)?
False
Suppose 17 = 2*p - 7. Suppose 3*d - 64 = -4*s + d, 3*d - p = 0. Suppose 4*c - 6*c = -s. Is c a multiple of 7?
True
Let c be ((-92)/(-10))/(11/55). Suppose 4*o - 4 = 0, -4*y + 0*o = 2*o + c. Is 6 a factor of (1 + -25)/(9/y)?
False
Suppose -d = 2*m - 8, -2*d - 36 = -3*d + 5*m. Let c = d + -14. Suppose -4*g + c*v - 3*v + 48 = 0, -2*v - 47 = -3*g. Is g a multiple of 3?
False
Let r(n) = n + 14. Let d be r(-14). Let c(o) = o + 48. Let g be c(d). Suppose g = 6*x - 3*x. Does 8 divide x?
True
Let s = -69 - -152. Suppose s = 5*p - x, -p + 0*x - 4*x = -4. Does 9 divide p?
False
Let z = -19 + 34. Suppose z*t - 14*t - 84 = 0. Is t a multiple of 13?
False
Suppose 2*c + 5*m = 196, -2*c + 6 + 230 = -5*m. Suppose -4*a = -4 - c. Does 14 divide a?
True
Let v(a) = -2*a