e
Let c(x) = x**3 - 6*x**2 + x + 7. Let r be c(3). Let h = r - -34. Is 3 a factor of h?
False
Suppose 0 = -4*b + 254 + 170. Let q = -59 + b. Is 25 a factor of q?
False
Let m be (-180)/50*(-1 + -109). Let b = 561 - m. Does 30 divide b?
False
Suppose 8*m + 5*m = 12831. Is m a multiple of 10?
False
Suppose 4*b = -2*n + 1112, 5*n = -4*b + 1226 - 126. Is 70 a factor of b?
True
Let q(s) = 4*s - 4. Let t be (-3)/(6/4 - 3). Let c be q(t). Suppose c*j - 25 = -5. Is 5 a factor of j?
True
Let g(m) = 8*m + 9 - m**3 - 7*m - 28*m**2 + 29. Does 2 divide g(-28)?
True
Is (-39)/((-1)/(-6) - (-56)/(-304)) a multiple of 117?
True
Suppose 0 = k + r - 6, -2*k + 0*k + r = 3. Let u(m) = -7*m**2 + 6*m + k + 36*m**2 - 7*m + 14*m**2. Does 16 divide u(-1)?
False
Does 56 divide 409 + -7 + 11 + -8?
False
Suppose 3*u - u - 4*z = -20, -2*u - 38 = 2*z. Is (-2)/u - 447/(-8) a multiple of 14?
True
Suppose 151 = -13*n + 736. Is n even?
False
Let n be 1044 - 1*(1 + -1). Suppose -8*v + n = -12. Is v a multiple of 28?
False
Suppose -4 = -4*z - 12. Let o be ((-21)/(-2))/(z/(-4)). Let w = o - -21. Does 14 divide w?
True
Let g = -168 + 277. Does 17 divide g?
False
Suppose -2*x = -4*q - 3*x + 526, -5*x + 141 = q. Is 5 a factor of q?
False
Let p be 2/9 + (-176)/(-18). Let n(v) = v**2 - 4*v - 1. Let c be n(p). Suppose 94 = 2*h + 2*m, 0*h - 2*h + c = -5*m. Does 14 divide h?
True
Let o be (-4 + 0)*35/(-28). Suppose o*a - 594 = 3*y - y, a - 123 = -y. Is 30 a factor of a?
True
Suppose -1488 = 70*n - 73*n. Is n a multiple of 4?
True
Let z be 561/77 + 2/(-7). Let p(y) = -9*y - 6 + 4*y - y**2 - z*y. Does 13 divide p(-8)?
True
Let x(f) = f**3 - 10*f**2 - 3*f + 10. Let h be x(8). Let u = 262 + h. Suppose -3*r - 39 = -u. Is r a multiple of 9?
True
Suppose 6*o = 3*o + 12. Suppose 9*d = -3*j + 10*d - 138, 2*j = -3*d - 92. Is 23 a factor of (j/(-6))/(o/12)?
True
Let t(r) = r**3 + 9*r**2 + 6*r - 9. Let m be t(-8). Suppose o - 3 + m = 0. Is 2456/44 + o/(-22) a multiple of 16?
False
Is 26 a factor of 6/(-10) + 10557/45?
True
Let g(j) = 5*j**2 - 7*j. Let i be g(5). Let q be 7/49*-2 - 187/7. Let v = i + q. Is 21 a factor of v?
True
Let i = -117 - -119. Suppose i*w - 6*k = -5*k + 31, 5*w = 4*k + 82. Is w a multiple of 3?
False
Suppose 3*d = 3*b - 129, 4*d + 4*b + 184 = 2*b. Let t = -3 - d. Is 8 a factor of t?
False
Let z = -129 - -174. Suppose -3 = -4*n + z. Is 6 a factor of n?
True
Let l(z) = -z**3 - 5*z**2 + 7*z + 9. Suppose -5*f + 0*n - 20 = 2*n, f + 31 = 5*n. Let s be l(f). Let y(g) = 13*g - 7. Does 11 divide y(s)?
False
Let x = 407 + 82. Is x a multiple of 7?
False
Suppose -2*t + 70 + 632 = m, 3*m = 4*t - 1404. Does 13 divide t?
True
Suppose -2*f = -3*f + 5. Suppose b - 5*r = -15, f*b - 39 - 1 = 2*r. Is 3 a factor of b?
False
Let o(m) = m**3 - 5*m**2 + 16*m - 24. Is 18 a factor of o(6)?
True
Suppose -m + 205 = -3*y, -4*m + 820 = -0*y - 2*y. Does 4 divide m?
False
Let a be 0/(15/20*(0 + -4)). Suppose a = -2*i - i + 96. Is i a multiple of 14?
False
Suppose -962 = -5*d + 3*p, 2*d - p + 4*p = 368. Is 38 a factor of d?
True
Let l = 843 + -680. Does 4 divide l?
False
Suppose 4*n + 113 + 83 = 0. Let p = n + 270. Is 20 a factor of p?
False
Suppose 1860 = 4*n + 4*t, 459 = n + 10*t - 7*t. Is n a multiple of 26?
True
Is 18 a factor of (-62704)/(-38) - 6/57?
False
Let o(c) be the third derivative of -c**6/120 - 11*c**5/60 - 5*c**4/24 - 5*c**3/3 + 95*c**2. Let b be 0 + -2 - 18/2. Is 15 a factor of o(b)?
True
Let u(y) = 14*y**2 + 3*y + 19. Let i(a) = -5*a**2 - a - 6. Let d be (-6)/3 + 3*2. Let j(o) = d*u(o) + 11*i(o). Is j(0) a multiple of 5?
True
Suppose 20 = 4*i, -2*s + s = 4*i - 24. Suppose w + 4*r - 63 = 0, 5*w - 374 = -s*r - 43. Is w a multiple of 12?
False
Let m(p) be the first derivative of 3*p**2/2 - 22*p + 2. Is 5 a factor of m(9)?
True
Let n be (-263)/5 - 6/15. Let s = n - -97. Is 4 a factor of s?
True
Let u = 523 - 271. Suppose -5*y + y + u = 0. Is y a multiple of 4?
False
Suppose 0 = 22*d - 4045 + 459. Is d a multiple of 10?
False
Let i be (-13)/(3/(-1 - 2)). Let t = i - 11. Let x = 29 + t. Does 13 divide x?
False
Suppose 49*s - 3968 = 45*s. Is 29 a factor of s?
False
Let h be 0/(((-2)/(-2))/(0 + 1)). Suppose h = 2*m + 1 - 67. Does 3 divide m?
True
Let t be -6 + -6*(-4)/(-6). Let m be (-246)/21*(t - -3). Suppose 0*a + 170 = 5*a - 5*n, 0 = -2*a - 5*n + m. Does 9 divide a?
True
Is 42 a factor of 1818*(-4 - (145/(-15) + 5))?
False
Let p(t) = t**2 + 11*t + 2. Let j be p(-12). Let d = j + -12. Is (-102)/4*d/(-3) a multiple of 17?
True
Suppose k - 613 + 253 = 0. Is k a multiple of 20?
True
Let b(m) = -6*m + 16. Let l be b(2). Suppose -44 = -2*p + l*w, 0 = p - 2*w + w - 27. Does 8 divide p?
True
Let q(f) = 8*f**3 - 8*f**2 + f - 5. Let g(p) = 9*p**3 - 9*p**2 + p - 5. Let z(t) = 2*g(t) - 3*q(t). Does 28 divide z(-3)?
True
Is (-1)/(-4) + ((-13908)/(-48) - 4) a multiple of 8?
False
Suppose -130 = 4*f - 378. Let c = -27 + f. Is c a multiple of 5?
True
Suppose -6 = u + 4*c, -5*u + c + 9 = -3. Suppose 0 = -4*v + 3*k + 14 + 1, -u*v + 15 = k. Is v a multiple of 3?
True
Suppose 3*g - 3*r = 60, -4*g - 2*r + 79 = g. Is g a multiple of 12?
False
Let d = 287 + -279. Is 2 a factor of d?
True
Suppose -2*v + 7 = 1. Suppose -5*d - 4*w + 15 = -w, 15 = d + v*w. Suppose a - 12 = -y, 45 = 4*a - d*a + 5*y. Does 15 divide a?
True
Suppose -2*p - 55 - 79 = 0. Let q = 142 + p. Is 34 a factor of q?
False
Let v = 873 - 617. Suppose 16*a = 20*a - v. Is 4 a factor of a?
True
Suppose -1630 = -3*h - 178. Let l be 2/(-3) - h/(-6). Suppose 11*w = 6*w + l. Does 6 divide w?
False
Suppose -394*m + 382*m = -11028. Is m a multiple of 13?
False
Suppose -4*k - 3*k = -1190. Let f = k - 25. Is f a multiple of 29?
True
Let v = 1680 - 1057. Does 16 divide v?
False
Let j(p) = -3*p**3 - 3*p**2 + p + 2. Let w be j(-2). Suppose 0*a = -a - w. Is (-6)/a - (-65)/2 a multiple of 11?
True
Suppose -i = -5*z - 7, i + z + 2*z = -1. Let y = i + -10. Is 4 a factor of (156/y + 4)*-2?
False
Let u(b) = b**2 - 16*b - 18. Let c be u(16). Let v = c - -35. Is 3 a factor of v?
False
Suppose -2232 = -5*f - 2*u, -9*u = 2*f - 10*u - 900. Is 12 a factor of f?
False
Suppose 0 = 4*g + 37 - 125. Let d = g - -22. Is d a multiple of 11?
True
Let x(v) = -11*v + 276. Does 26 divide x(-34)?
True
Suppose -5*q + 11*q + 108 = 0. Is 4 a factor of -15*10/q + (-1)/3?
True
Suppose 80*i + 13*i - 100440 = 0. Is i a multiple of 6?
True
Let q(v) = -121*v**3 + v. Suppose 0 = -5*s - 25, 4*x = 2*x + 4*s + 18. Does 15 divide q(x)?
True
Let t(x) = -x**3 + x**2 + x - 2. Let a be t(0). Does 14 divide a/4*((-4 - 468) + -4)?
True
Suppose a + 141 = 2*k, -54 = -3*a - 57. Does 14 divide k?
True
Let m(o) = 2*o**2 + o - 1. Let v be m(-2). Suppose -v*x = -5 - 5. Suppose -x*s = -17 - 11. Is 7 a factor of s?
True
Let s(h) be the first derivative of -h**2/2 + 11*h + 1. Let w be s(6). Suppose d = 3*p + 14, w*d + p - 2*p = 28. Does 4 divide d?
False
Suppose -3*w - 2*j + 32 = 0, 4*w + j = -0*j + 36. Suppose 11*g = w*g + 96. Does 8 divide g?
True
Let z(a) = -3*a + 11*a - 4*a + 5*a**3 - 7 - 4*a**2 - 2*a. Is 49 a factor of z(3)?
True
Suppose -a - 9 = -4*a. Suppose 0 + a = q. Suppose s = q*s - 20. Is s a multiple of 6?
False
Suppose -h + 6 = 4*y - 0, 4*h - 4*y - 64 = 0. Suppose -h + 3 = -m. Suppose -3*f + m = -163. Is 13 a factor of f?
False
Let x(w) = 0 + w + 3 + 10*w**2 - 6 + w**3. Let c be x(-10). Let o(y) = y**3 + 12*y**2 - 15*y - 7. Is o(c) a multiple of 10?
False
Let l = 213 - 45. Is l a multiple of 28?
True
Suppose 5*j + 54 = 59. Does 3 divide (30 + 0)/(1 + j)?
True
Is 15 a factor of (2/(-7))/((-6)/21) - -74?
True
Let c(q) be the third derivative of q**5/30 + q**4/12 - 2*q**3 - 2*q**2. Is 24 a factor of c(6)?
True
Let t = 727 - 417. Does 31 divide t?
True
Let b(y) = 2*y**3 - 4*y**2 - 17*y - 7. Does 7 divide b(7)?
True
Let s(l) = -12*l + 10. Let r be s(-4). Suppose 55*m + 273 = r*m. Is m a multiple of 13?
True
Suppose 2*y + 1940 = j, 5*y = 8 - 13. Does 89 divide j?
False
Suppose 3*x = -21 + 453. Suppose x + 144 = 3*n. Is 29 a factor of n?
False
Suppose -r - 3*r = -2*m + 96, -5*m + 240 = 3*r. Is 3 a factor of m?
True
Suppose 127*y + 135 = 132*y. Is 10 a factor of y?
False
Let c(v) = 25*v**3 + 0*v - 8*v**3 + 4*v**2 - 2*v - 1. Let d be c(2). Is (-7)/(d/18)*-14 a multiple of 4?
True
Let y be (0 - -1)/((-3)/(-9)). Let