n(z) = 40*z**2 - 9*z + 4. Let m(j) = -20*j**2 + 5*j - 2. Let i(x) = -11*m(x) - 6*n(x). Let q be i(2). Let c = 119 + q. Is 7 a factor of c?
True
Let j(v) = 12*v - 6. Let h be j(8). Suppose -5*n = x - 65, -h = -2*x + 3*n + 105. Is 3 a factor of x?
True
Let z(o) = 5 + 3*o - 4 - 1 + 8. Is z(0) a multiple of 3?
False
Let h(u) = 51*u**3 + 4*u**2 - 7*u + 8. Does 22 divide h(2)?
True
Let j be (81/6)/((-3)/(-6)). Suppose -4 = v - 5*v + 4*n, -2*v - 3*n + j = 0. Suppose -3*c = v, 0 = -5*r - c + 66 + 22. Is 6 a factor of r?
True
Let r = -12 - -172. Suppose -4*m - r = -8*m. Does 10 divide m?
True
Suppose 5*t = -4*j + 2086, 4*t = -5*j + 110 + 1566. Is 23 a factor of t?
True
Let o be (3 - -1) + 6/(-2). Let z be (o + -11)/(5/(-55)). Let y = 178 - z. Is 17 a factor of y?
True
Let u = 1642 - 1388. Is 39 a factor of u?
False
Let l(i) = i**3 + 19*i**2 + 16*i - 30. Let h be l(-18). Suppose -272 = -h*c - 8. Is 4 a factor of c?
True
Let y(j) = 12*j**3 - 19*j**2 + 11*j - 19. Let d be y(6). Suppose -d = -5*i + n - 423, 0 = -i - 4*n + 298. Is i a multiple of 18?
True
Let a(p) = -p**3 + 9*p**2 - p + 4. Let g be a(9). Let h = g + 8. Suppose -u + 108 = h*u. Is u a multiple of 8?
False
Suppose -402*k + 372*k = -22320. Is k a multiple of 31?
True
Let s(x) = x + 3. Let m = -21 + 11. Let n be s(m). Let d = 0 - n. Is d a multiple of 2?
False
Suppose 9800 = -870*c + 905*c. Is 8 a factor of c?
True
Let k = -2218 - -3226. Is 9 a factor of k?
True
Let p(a) = -a**2 + 24*a - 30. Let h(v) = v**2 - v + 5. Let l be h(4). Is p(l) a multiple of 9?
False
Let w(f) = 39*f**2 + 7*f + 12. Is 12 a factor of w(-3)?
False
Let p(t) = t**2 + 4*t - 10. Let l(u) = u - 5. Let k be l(-4). Does 2 divide p(k)?
False
Let m(c) = -9*c - 23*c + 4 + 16*c. Is m(-2) a multiple of 14?
False
Let i(z) = 2*z**2 + 31*z + 1. Let d be i(-13). Let f be -7*-6*(-3)/6. Let y = f - d. Does 7 divide y?
False
Let h = 52 + -55. Does 37 divide (-397)/h + (-3)/18*2?
False
Let a be 4/(-26) + 271/(-13). Let j be a/(-35) + 114/10. Is 12 a factor of j/(-3 + (-35)/(-10))?
True
Let b = 15 + -13. Let j be (3 - b)/((-2)/(-6)). Suppose 70 = 5*u + 3*m, m - j = 2*u - 20. Does 6 divide u?
False
Suppose -5*z + 10*z = 150. Suppose -4*o + 90 - z = 0. Is o a multiple of 6?
False
Suppose 11*g - 1105 + 16 = 0. Is g even?
False
Let l(m) = 5*m**2 + 12*m - 18. Let q be l(-8). Let w = q + -145. Is 5 a factor of w?
False
Let a(i) = -2*i + 45. Let c be a(20). Suppose 4*o = -h + 240, 0 = -3*o + h - c*h + 180. Is 12 a factor of o?
True
Suppose 0 = f + 2*f. Suppose 4*k + w + 228 = f, k - 5*k = 5*w + 244. Let l = k + 89. Is 11 a factor of l?
True
Suppose 0 = 2*d - 2*f - 16, -f + 6 = 4. Suppose 4*r + 6 - d = 0, -2*r = 3*q - 53. Is 3 a factor of q?
False
Let a be (14/3)/(16/24). Let i = -3 + a. Suppose 3*j - 169 = -o - o, 0 = j - i*o - 75. Does 11 divide j?
False
Is 7 a factor of 13 + -16*(-11)/22?
True
Let d(x) = -709*x**3 - 2*x**2 - 2*x + 2. Is d(-2) a multiple of 14?
True
Suppose 0 = 3*o, -5*s - 3*o = -4*o - 1805. Is s a multiple of 8?
False
Let f be ((-3)/2)/(18/(-24)). Let v be 25/35 + f/7. Does 8 divide v + -3 + 21 - 3?
True
Let c(d) = 2 - 1 + 5*d**2 + d**3 + 0*d - 2 - 7*d. Is 2 a factor of c(-6)?
False
Suppose 4*m = 2*m + 32. Let a be m/28*(8 - 1). Is (105/(-25))/(a/(-40)) a multiple of 14?
True
Suppose 2*i - 13*i - 594 = 0. Let b = 89 + i. Is b a multiple of 15?
False
Does 32 divide ((-4160)/(-78))/((-1)/(-15))?
True
Is 31 a factor of ((-76)/8)/((-2)/(-104)*-2)?
False
Let b(q) = -47*q - 8. Is 19 a factor of b(-3)?
True
Let x be 15/6*(-16)/(-10). Suppose 0 = -2*a + x*a. Suppose -3*k + 14 + 13 = a. Does 9 divide k?
True
Let k(v) = 3*v - 16. Let o be k(7). Suppose 0*m + r + 193 = 5*m, -3*r = o*m - 201. Is 143/m + (-2)/(-6) even?
True
Let u(z) be the first derivative of 4*z**3/3 - 5*z**2/2 - 5*z - 3. Let d be u(5). Suppose 0 = -p + d - 13. Does 19 divide p?
True
Suppose b - 4*m - 121 = 30, 2*b - 296 = 5*m. Is 3 a factor of b?
False
Suppose -o = j - 683, 12*j + 3450 = 5*o + 10*j. Is o a multiple of 13?
False
Let q(o) = -3*o - 15. Let z(i) = -2*i. Let a be z(3). Let h be q(a). Suppose -2*j + 43 = 5*m, -4*j - h*m + 79 = -0*j. Is 6 a factor of j?
False
Let p be ((-5)/(-1))/(15/45). Is 20 a factor of (-2)/10 - (-333)/p?
False
Let x = 302 + -41. Does 43 divide x?
False
Let n(c) = 2*c**2 - 7*c. Let l be (3 - (-3 + -3)) + 1. Let r(f) = f**2 - 9*f - 3. Let u be r(l). Does 10 divide n(u)?
False
Let d(y) = -y**2 - 8*y + 14. Let m(j) = j**2 + 8*j - 14. Let n(c) = -4*d(c) - 3*m(c). Is n(6) a multiple of 10?
True
Suppose 0 = -34*h + 238 - 68. Let j(w) = 2*w**2 + 5*w - 6. Let u be j(-6). Suppose -h*a - d = -89, 2*a - u + 1 = -d. Does 9 divide a?
True
Suppose 4*v = -0*v - 4. Is 11 a factor of ((-24)/(-40))/(v/(-105))?
False
Let f(j) = -225*j + 45. Is 36 a factor of f(-7)?
True
Let o be (-2)/(-5) - 6/15. Let x be 0 + o/(-3 - -2). Suppose 0 = 3*j + 3 - x, -q + 67 = j. Does 24 divide q?
False
Is ((-6)/5)/((-3)/(-4440)*-3) a multiple of 101?
False
Let p = 57 - 54. Let v(h) = 3*h**3 + h**2 - 2*h + 1. Let i be v(1). Suppose -p*t = 2*q - 99, q - 48 = -0*q - i*t. Is 17 a factor of q?
True
Suppose -28*q + 1276 = l - 25*q, l + 4*q = 1272. Does 28 divide l?
True
Does 7 divide (616/(-12))/((-8)/24)?
True
Let i(x) = 2*x - 9. Let k be i(5). Suppose 9*u + k = 10*u. Does 12 divide -4 - (-4 + u + -14)?
False
Let h(m) = -6*m - 7. Let j be h(4). Let l = j + 58. Is 9 a factor of l?
True
Suppose -2*d + 3*b + 9 = -0, 3*b = 4*d - 33. Suppose 0 = 2*c - 1 - 3, 4*c + 4 = 3*f. Suppose 5*y - f*y - d = 0. Does 12 divide y?
True
Let i(m) = -m**2 - m + 135. Is i(0) a multiple of 19?
False
Let d(a) = a**3 - a**2 + 2*a + 31. Is 31 a factor of d(0)?
True
Let l(h) = -5*h + 60. Suppose -4*d + 25 = -9*d - 5*j, -j - 5 = 0. Is 12 a factor of l(d)?
True
Suppose 0 = -2*y - 2*w + 348 + 424, -1954 = -5*y + w. Is y a multiple of 5?
True
Is -6*(-9)/90 + (-1432)/(-5) a multiple of 7?
True
Let q = -334 - -544. Is 5 a factor of q?
True
Let k(o) = 3 + 11*o**2 + 14 - 27 + 7*o. Is 14 a factor of k(4)?
False
Let b = -6 - -49. Let s = 6 + b. Is s a multiple of 7?
True
Let m be (-5)/(20/(-12)) - 7. Does 19 divide ((-6)/m)/(6/348)?
False
Suppose -4*d - 3 - 161 = 0. Is 22 a factor of d*(2 + -2 + -2)?
False
Let m be 8 - (-4 + 2)/2. Let w = 49 + m. Is 29 a factor of w?
True
Suppose 5*c = 2*g - 1491, 5 = c - 2*c. Is 15 a factor of g?
False
Suppose -5*r = -2*l + 3333, 8324 = -107*l + 112*l - 4*r. Is l a multiple of 16?
True
Let x be (-3 + 4)*(4 + -2). Suppose -x*l + 48 = 2*p, 0 = p + 3*l - l - 20. Suppose p = 3*o - 68. Is 8 a factor of o?
True
Let d be (-8)/3 + 28/(-84). Does 33 divide 4 + -2 + 1*(d - -102)?
False
Suppose 0*v - 4*v = -32. Let r be -2*(-4 - (-4)/8). Let b = v + r. Does 3 divide b?
True
Suppose 13 = 5*w - 3*o, 2*o - 7 = -5*w - o. Let l be (2 + w - 2) + 0. Suppose l*d - 2*v + v - 199 = 0, 4*d - 423 = -3*v. Does 30 divide d?
False
Suppose -5*m + 71 - 11 = 0. Suppose -2*i = -6*i + m. Suppose 2*b + i*b = 165. Does 13 divide b?
False
Suppose 0 = -4*x - 8 + 12. Is 2/x + (27 - 4) a multiple of 20?
False
Suppose -i = 0, 2*p - 367 = 2*i + 25. Does 23 divide p?
False
Let u be -3*(-2)/3*(-15 - -11). Does 3 divide ((-2)/u)/1*4*11?
False
Suppose -61*p = -59*p - 806. Does 13 divide p?
True
Let n(l) = -13*l**3 + 2*l**2 - l + 2. Let z(v) = 4 - 4*v**3 + 3*v + 4*v**2 - 2*v**3 - 19*v**3 - 6*v. Let w(g) = 5*n(g) - 3*z(g). Is w(2) a multiple of 26?
True
Let p = 57 + 51. Is 4 a factor of p?
True
Suppose 0 = 8*y - 175 - 905. Is y a multiple of 4?
False
Suppose -36*g + 28132 = 16*g. Does 28 divide g?
False
Let i(y) = y**2 + 11*y - 2. Suppose -78 = 2*w + 4*w. Let k be i(w). Suppose 74 = 5*b + 3*a, b - 2*a - 2*a = k. Is 4 a factor of b?
True
Suppose 0 = -q + 52 + 18. Suppose 0*o + q = o. Is 14 a factor of o?
True
Let c(o) = -7*o - 2. Suppose 3*i + 4 = 2*f, -4*f = -5*i - f - 8. Let l be c(i). Let p = -8 + l. Is 6 a factor of p?
True
Let i = 30 - 24. Suppose 5*o - 2*h = 361, 355 = 5*o + h - i*h. Is 17 a factor of o?
False
Let l(n) = 473*n + 39. Does 25 divide l(7)?
True
Let q(w) = -w**2 + 8*w + 4. Let x be q(7). Suppose 2*j - 5*b - x = 0, 2*b = -3*j + 6*b + 20. Let c(i) = i**2 - 6*i + 2. Does 18 divide c(j)?
True
Let t(l) = -2*l**3 - 11*l**2 + 26*l - 18. Is 78 a factor of t(-14)?
False
Let n(a) = -2*a**3 + 3*a**2 + 14*a + 61. Is n(-5)