 m(o) be the third derivative of o**5/60 + o**4/4 + o**3/2 - o**2. Is m(n) even?
False
Let m = -222 + 294. Is m a multiple of 8?
True
Suppose 6*t = 4*t + 414. Suppose 0 = -4*q + 7*q - t. Does 14 divide q?
False
Is 33 a factor of (1458/36)/(3/66)?
True
Let v(i) = -2*i**2 + 35*i - 21. Let o be v(16). Suppose -o*n + 22*n = -540. Does 12 divide n?
True
Is 23 a factor of (1104/(-20))/(10/(-500))?
True
Suppose -4961*q + 4953*q = -3800. Does 64 divide q?
False
Let c = 36 - 13. Let a = -7 + c. Is 4 a factor of a?
True
Is (0 - -7)/(1/152*4) a multiple of 89?
False
Let v(o) = 5*o**2 - 8*o + 43. Does 23 divide v(8)?
True
Does 18 divide 6/(48/56) - -515?
True
Suppose b = -3*b - i + 26, b - 1 = -3*i. Let y = 310 + -113. Suppose b - y = -5*m. Does 11 divide m?
False
Let s(a) = 12*a**2 - 4*a - 3. Is s(4) a multiple of 26?
False
Suppose 5*g - 167 = 298. Let a = 148 - g. Does 5 divide a?
True
Let z(w) = -w**2. Let l be z(1). Let a be 6*16 + -1 + l. Suppose y + y - a = 0. Does 21 divide y?
False
Let k(q) = -13 + 5*q - q + 11. Is 6 a factor of k(2)?
True
Suppose 5*u = 4*l + 8123 + 6695, -5*u - 5*l = -14800. Does 71 divide u?
False
Let t be (-9)/3 - -480 - (2 - -1). Suppose -j = 2*j - t. Is 18 a factor of j?
False
Let w(p) = -p - 3 - 3*p + 8. Let l(f) = -f**3 - 10*f**2 - 8*f - 1. Let x be l(-9). Is w(x) a multiple of 15?
True
Does 7 divide (-1 + -7)*(-40)/1?
False
Let r(s) = 64*s**2 - 2*s + 7. Does 25 divide r(3)?
False
Suppose 0 = -5*g + 10 + 20. Is 2 a factor of g + -2 - (-1 + 1)?
True
Let y(d) = 14*d**2 + 19*d - 33. Is y(12) a multiple of 67?
True
Let c = 1439 + -876. Is c a multiple of 25?
False
Suppose a + 5 = -8. Let w be 28*(-2)/(0 + 2). Let q = a - w. Is q a multiple of 15?
True
Let x(q) = -8*q + 2. Let r(c) be the second derivative of c**3/3 + c**2 + 2*c. Let d be r(-2). Is x(d) a multiple of 5?
False
Let m = -298 + 438. Is 10 a factor of m?
True
Let g = 2102 + -1427. Is g a multiple of 15?
True
Suppose -3*z = -5*z. Suppose 0 = 2*k + 3*c - 51, z*c + c = -1. Let j = 53 - k. Does 13 divide j?
True
Let z(a) = -26*a**2 + 7*a + 8. Let b be z(3). Let l = -37 - b. Is l a multiple of 42?
True
Let l(u) = 5*u**2 - 4*u + 3. Let i(w) = -w**2 + w. Let t(v) = 6*i(v) + l(v). Let g be t(-5). Let r = g + 80. Is r a multiple of 16?
True
Let m = 184 - 121. Is m a multiple of 9?
True
Suppose -6*c + 324 = -84. Let l = 48 + c. Does 23 divide l?
False
Let a be 3/(-6)*50 - 3. Let k = a + 30. Is 2 a factor of k?
True
Is 16 a factor of -7 - (-99 + 1)/(22/77)?
True
Let w = -123 - -413. Does 21 divide w?
False
Let o be -14 - (-8)/(-1 - -5). Let h be (1 + 0)*o/3. Let s(t) = t**3 + 4*t**2 - 5*t + 2. Does 6 divide s(h)?
False
Let l = 293 + -168. Let o = -63 + 152. Let m = l - o. Is 18 a factor of m?
True
Let h = -51 - -272. Let x = h + -133. Is x a multiple of 12?
False
Let s(l) = -5*l**2 - 20*l + 54. Let k(y) = -4*y**2 - 19*y + 54. Let g(q) = 4*k(q) - 3*s(q). Is g(-14) a multiple of 22?
False
Let b = 27 - 12. Suppose -3*c - b = 0, d + d = -5*c + 95. Is 20 a factor of d?
True
Let w(y) = y**3 - 2*y + 2. Let r be w(2). Suppose -d - r*d = -84. Does 3 divide d?
True
Let k = -93 + 51. Let y = k - -38. Is 7 a factor of (-54)/y - 4/(-8)?
True
Suppose -8*i + 8666 = -5*i - 5*c, -5*i + 14464 = 2*c. Does 12 divide i?
True
Suppose 53*v = 62*v - 1395. Is v a multiple of 5?
True
Let y(n) be the first derivative of -21*n**2 - n - 31. Does 15 divide y(-1)?
False
Let l = 63 + 351. Is 69 a factor of l?
True
Let w(c) = c + 10. Let v be w(-6). Suppose -v*a = 20, 4*m - 4*a - 120 = 8. Let k = m - 0. Is k a multiple of 13?
False
Is 1/(1/4)*9027/102 a multiple of 15?
False
Let c = -245 + 165. Let x = -19 - c. Is 9 a factor of x?
False
Let f(t) = -2*t**2 + 60*t - 27. Does 65 divide f(22)?
True
Suppose 88*x = 60*x + 26992. Is 39 a factor of x?
False
Suppose o + j - 889 = 5*j, 2*o + 5*j - 1778 = 0. Is 72 a factor of o?
False
Let p = -11 - -19. Suppose 0 = -2*i - 3*i - 4*s - 2, 0 = -i + 3*s - p. Is (-68)/i*(-12)/(-8) a multiple of 14?
False
Suppose 55*l + 5*l = 44820. Is 6 a factor of l?
False
Suppose 0 = -19*h + 15*h + 3336. Suppose -3*x = 3*a - h, -8*a + 9*a = -5*x + 298. Is a a multiple of 21?
True
Let d(w) = w**3 - 12*w**2 + 17*w - 1. Let m be d(10). Is 31 a factor of (4 - m) + (3 - (-12)/(-3))?
False
Let u(w) = 3 - 2*w + w - 8*w - 14. Is 29 a factor of u(-11)?
False
Suppose 380 = c - 3*n - 372, -4*c = 4*n - 3008. Is 54 a factor of c?
False
Let g = -931 - -1370. Is g a multiple of 11?
False
Let g be 18/(-63) + (-276)/14. Let x = 30 + g. Let s = 11 + x. Is 7 a factor of s?
True
Let k(u) = -u**2 - 2*u + u - 29 - 15*u - 11*u. Let n be k(-12). Suppose -3*w + 5*z + 292 = 0, 4*w + 4*z - 185 = n. Is w a multiple of 14?
False
Suppose -3*h + 2*a + 12 = 0, -h + a = -a - 8. Suppose -h*x = -5*d - 12, -d = 2*x + 4*d + 8. Is (2 - x) + 1 + 40 a multiple of 7?
True
Let k = 157 + -82. Let i = -33 + k. Is i a multiple of 7?
True
Let u = -31 + 31. Let t(g) = 2*g + 19. Is t(u) a multiple of 18?
False
Let f = -243 - -438. Is 22 a factor of f?
False
Let x(f) = 3*f**3 + 12*f - 16. Is x(3) a multiple of 4?
False
Let b(m) = -m**3 + 5*m**2 - 8*m + 10. Let o be b(2). Let c be (-2)/((0 - -2)/14). Does 9 divide o/c - (-572)/28?
False
Does 9 divide (-11727)/(-15) - (-17)/85?
False
Let r = 841 + -635. Is r a multiple of 2?
True
Let a(o) = 3*o - 13. Let p be 2 + 1 + -1 + 2. Let m(j) = 6*j - 27. Let r(h) = p*m(h) - 9*a(h). Is 15 a factor of r(-12)?
True
Let a(u) = -1. Let z(f) = -10*f - 10. Let j(m) = -3*a(m) + z(m). Let d be j(-5). Is d + -5 + (2 - -1) a multiple of 11?
False
Let w(v) = 3*v - 19. Let n be w(7). Suppose 5*d - n = 38. Is 8 a factor of d?
True
Suppose 52*g = 93*g - 40057. Is 15 a factor of g?
False
Let r be 1/(54/26 + -2). Let m = r + -11. Suppose -5*d + 162 = -m*u, -u = -4*d - 20 + 152. Is 22 a factor of d?
False
Let v = 31 + -48. Suppose 5*s = 8*t - 4*t + 116, 5*t = -4*s + 101. Let q = v + s. Is q a multiple of 4?
False
Let w = 2391 + 525. Is 10 a factor of w?
False
Suppose -5*q + 80 = -5*z, 0*q - 5*z - 44 = -2*q. Let a(h) = 2*h - 17. Let y be a(6). Let g = q - y. Is g a multiple of 17?
True
Suppose -4*r + r = -5*c - 31, 3*r - 11 = c. Suppose -2*m = -4*b - 82, r*m + 5*b - b = 50. Does 4 divide m?
False
Let d = 15 + -12. Let j(z) = 1 + z + d*z - 2*z. Does 2 divide j(2)?
False
Suppose f - 5*m = 4*f - 1150, 0 = -3*m - 3. Is 22 a factor of f?
False
Let i(l) = -7*l + 179. Is i(-25) a multiple of 59?
True
Let g(h) = 2*h - 3. Let p be g(4). Suppose p*w + 3*f - 54 = 14, -4*w = 3*f - 55. Is 6 a factor of w?
False
Let s = 6 + -1. Suppose -s*m - 94 = -379. Suppose -44 = -o - 3*b, -2*o - 5*b + 28 + m = 0. Does 12 divide o?
False
Let y(g) = -g**3 + 2*g**2 - g - 8. Let z be y(-3). Suppose z*q - 43*q + 270 = 0. Does 15 divide q?
True
Let w = 96 - 96. Is (w + -1)/(5/(-1275)) a multiple of 51?
True
Is 19 a factor of (-78504)/(-28) + 34/119?
False
Let v be ((-98)/(-35))/((-2)/50). Is (-383)/(-7) - 20/v a multiple of 11?
True
Suppose 0 = -6*q + 15 + 9. Is q/(-16)*66*(-8)/3 a multiple of 22?
True
Is 17 a factor of -3 - -7 - 1956/(-4)?
True
Suppose -4*h = 4*c + 12, 5*c + 5*h - 2*h + 5 = 0. Let v(y) = 3*y**2 - 48*y**3 - c*y**2 + y**2 - 1. Is v(-1) a multiple of 13?
False
Let k(m) be the first derivative of 7*m**2/2 + 13*m - 2. Suppose -21 = -2*x - 5. Does 23 divide k(x)?
True
Let d(t) = 46*t**2 - 12*t + 58. Is 5 a factor of d(3)?
False
Let t be (-4)/(-14) - 108/(-14). Suppose 3*o + 15 = t*o. Suppose 3*n = 4*y + 90, -3*y + 4*y + 90 = o*n. Is 14 a factor of n?
False
Let x = 35 + -35. Suppose 0*s + s - 150 = x. Does 10 divide s?
True
Let l = -30 + 33. Suppose 30 - 210 = -l*i. Does 15 divide i?
True
Suppose 36*r = 33*r + 15. Suppose -4*c + 332 = -4*k, -225 = -r*c - 3*k + 222. Does 29 divide c?
True
Let x = 2500 + -1657. Does 6 divide x?
False
Let x be (-4)/(4/3) - -15. Let n be 39/x*(23 + 1). Suppose 2*v - n - 16 = 0. Does 9 divide v?
False
Let d(w) = -938*w**3 + 7*w**2 + w - 5. Is d(-1) a multiple of 23?
False
Is ((-4947)/(-153))/(1/18) a multiple of 8?
False
Suppose 4*a + 0*t + 70 = 2*t, a + 2*t = -5. Let i be 6/a - 34/(-10). Suppose i*s + 56 = 7*s. Does 14 divide s?
True
Suppose -95*x = -92*x - 624. Suppose 182 = 6*o - x. Does 13 divide o?
True
Let r be 36/(-126) - (0 - 1846/(-7)). Does 29 divide 11/(r/(-16)) - (-788)/6?
False
Let h(d) be th