 + 2*z + 6 = 0. Let h be (-8)/(o/(-3))*-1. Suppose -h = -r + 18. Does 14 divide r?
False
Suppose 3*g = -3*m + 21, -3*m = -4*g + 2*g - 31. Suppose -5*p - m = -v, -v + 3*v - p = 9. Suppose -4*k + 2*s + 52 = 0, v*k - 2 = 4*s + 46. Is 7 a factor of k?
True
Let u(m) = m**3 + 4*m**2 - 3*m + 1. Let c be u(-5). Let v be c/6*(2 - 0). Is 7 a factor of (51/(v + 0))/(-1)?
False
Suppose 0 = 4*b + 18 + 6. Does 20 divide b/(2 - (-57)/(-27))?
False
Suppose -5*i + 3*n + 53 = 0, 2*i = -3*i + 2*n + 52. Suppose 4*z + z = i. Suppose 0*o - 3*o = -2*v - 11, z*o - 20 = -5*v. Is v a multiple of 2?
True
Let c(i) = i**3 + 5*i**2 - 10*i - 8. Let w = 9 - 15. Is c(w) a multiple of 16?
True
Let p(i) = 27*i**3 - i**2 + 1. Let y be p(1). Let g = y - 13. Is 11 a factor of g?
False
Let o = 132 + -143. Let k(x) = -x**2 - 2*x + 7. Let n be k(-5). Does 9 divide (n - o)/(2/6)?
True
Suppose d - 67 = -4*n + 5, 0 = -2*d. Is 18 a factor of n?
True
Does 16 divide 4/(-5)*(-69 - -4)?
False
Suppose -5*a - 5*f + 105 = 0, -3*a - a + 75 = -5*f. Is a a multiple of 5?
True
Suppose l = 3*y - 1 - 2, -2*y + 3*l = 5. Suppose o = -y + 13. Let s(k) = -k + 23. Is s(o) a multiple of 7?
False
Let r be 1/(3*(-2)/(-12)). Suppose -m - 14 = r*p + 2*p, 3*p = -2*m - 8. Suppose -2*k + u = 2*k - 137, -6 = -m*u. Is 13 a factor of k?
False
Suppose 0 = -w + 4*w, -4*j = 2*w + 804. Is 1/(-3) + j/(-9) a multiple of 19?
False
Let j(m) be the first derivative of m**2 - 4*m + 3. Let x be 0 + 8 + -2 + 1. Does 5 divide j(x)?
True
Let m = -61 - -94. Is 6 a factor of m?
False
Let n(p) = p**3 - 3*p**2 + 3*p - 6. Does 11 divide n(4)?
True
Let q = 3 - -2. Does 9 divide -36*(q/(-2) + 2)?
True
Suppose 2*y = -q + 3, -4*q - 4*y + 1 = -7. Is q/(-4) - (-65)/4 a multiple of 5?
False
Let v = -10 - -23. Suppose -n - 3*n = -a + 19, 2*a - v = 3*n. Let t = n - -10. Does 5 divide t?
True
Let m(o) be the second derivative of -o**4/12 + 5*o**3/3 + 3*o**2/2 + 4*o. Does 7 divide m(8)?
False
Suppose 3*n + u = 2*u + 207, 2*u = -2*n + 130. Is 22 a factor of n?
False
Let r(q) = 10*q**2 - 2*q - 7. Is 29 a factor of r(4)?
True
Does 22 divide 0 + 7/((-21)/(-270))?
False
Let f(g) = g**2 - 11*g - 1. Is f(-8) a multiple of 43?
False
Let g = 64 - 43. Is g a multiple of 9?
False
Suppose 2*m + 32 = 5*j, 5*j - 21 = -2*m + 7. Let d(f) = 6*f + 0*f - 2*f**2 - 7 - f**3 - j*f**2. Does 10 divide d(-9)?
True
Let x be 80/12*(-3)/(-2). Does 17 divide (4/x)/((-1)/(-85))?
True
Suppose 9 = -f + 4*f. Let u = f - -2. Suppose 0*i = -u*i + 40. Is 8 a factor of i?
True
Let h(q) = q + 2. Is 3 a factor of h(8)?
False
Let v(z) = -6*z**3 + 3*z**2 + 4. Is 20 a factor of v(-3)?
False
Let v(r) be the first derivative of 2*r**3/3 - r**2 - r - 2. Is 12 a factor of v(4)?
False
Let n(i) = i**2 + 4*i. Let v be (2/3)/(16/(-120)). Is 5 a factor of n(v)?
True
Let p = 61 - 43. Does 4 divide 2 - 1 - (4 - p)?
False
Suppose 2*h + 26 = -4*r, 40 = -4*h - 2*r - 0*r. Let b be (-93)/(-5) + h/15. Suppose 2*m = 3*m - b. Does 8 divide m?
False
Suppose 6*s = s + 575. Suppose -120 = -3*j - 5*p, 5*j + 4*p - 98 = s. Suppose 0 = v + 5*t - 30, 4*v + 0*t - j = 5*t. Does 15 divide v?
True
Is -2*6/(-4) - (-76)/1 a multiple of 16?
False
Suppose 0 = v + 4*h - 46, -v - 3*h = -35 - 10. Suppose -4*w + v = -62. Does 13 divide w?
True
Let y(k) = -k**2. Let c be y(-2). Let z = 7 + c. Is 2 a factor of z?
False
Let w(x) = -x**2 + 8*x - 3. Let d be w(7). Let v = 40 + d. Does 21 divide v?
False
Let l = 62 - -25. Let d(j) = -j**2 + 10*j + 2. Let i be d(10). Suppose -l = -i*n - 7. Does 18 divide n?
False
Let t be -3 + (-5 - (-4 - -2)). Is 22 a factor of (-4)/t + (-1374)/(-18)?
False
Let u(x) = -x**3 - 11*x**2 + 25*x + 4. Is u(-13) a multiple of 4?
False
Let r = 314 + -170. Is r a multiple of 9?
True
Let s(x) = 12*x**2 + x - 1. Let f(d) = -d**3 + 5*d**2 - 3*d - 3. Let y be f(4). Let l be s(y). Let h = l - 5. Is h a multiple of 2?
False
Let t = -23 + 67. Let c = -2 + t. Suppose 0 = -j - 3*p - 25 + 71, 2*p - c = -j. Is j a multiple of 14?
False
Suppose 2*j - 78 = s + j, 392 = -5*s + 4*j. Is 15 a factor of 4/(-10) + (-3632)/s?
True
Does 29 divide -2*(-57 + -2) + -2?
True
Let v = -15 + -40. Let c = 28 + v. Let g = -14 - c. Does 8 divide g?
False
Let u(x) = x**3 - 5*x**2 - x - 15. Is u(7) a multiple of 19?
True
Let r(s) = 2*s**3 - s**2 - s - 2. Let v(m) = m**2 + m. Let k be v(-2). Let t be r(k). Suppose -2*d - 2 + 12 = y, 3*d - 2*y - t = 0. Is d even?
True
Is -5*15/(-50) + 65/2 a multiple of 11?
False
Let n(x) = -x + 2. Let s be n(0). Suppose y + 34 = 2*i, -2*i - 27 = -3*i - s*y. Is 16 a factor of i?
False
Let p be 2*-1*-1 + 0. Suppose x + 2*i = p, 4*x = -x + i + 10. Suppose 4*c + 52 = x*a, 0 = -4*a + c + 2*c + 109. Does 10 divide a?
False
Suppose 165 = 2*y - y. Suppose 15 = -5*t + y. Is t a multiple of 9?
False
Let t = 223 + -157. Is 9 a factor of t?
False
Let d(h) = 11*h**3 + 3*h**2 - 4*h + 7. Is 14 a factor of d(3)?
False
Suppose 0 = 5*z + 448 - 73. Let v = -52 - z. Is 12 a factor of v?
False
Let j(m) = -7*m**2 - 14*m - 9. Let u(g) = -6*g**2 - 13*g - 8. Let x(d) = -5*j(d) + 6*u(d). Is x(-6) a multiple of 9?
True
Let h(k) = k**3 + 5*k**2 - 7*k - 4. Let x be h(-6). Suppose -n - 4*n = -15, x*i - 67 = -5*n. Is 8 a factor of i?
False
Let b(g) = 2*g**2 + 9*g - 20. Is b(-10) a multiple of 18?
True
Let l(s) = -s**3 + 3*s**2 + 4*s + 6. Is l(-4) a multiple of 17?
True
Suppose 0 = -5*f - c - 2*c - 7, -c = 4. Let m = 8 - f. Is m a multiple of 7?
True
Let k(z) = z**3 + 3*z**2 + 2*z + 1. Let x be k(-2). Is 5*2 - (x + -3) a multiple of 12?
True
Does 8 divide (-2)/(177/(-57) - -3)?
False
Let q(v) = -2*v**2 + 12*v - 4. Let x be q(5). Let c(t) = 11*t - 3. Does 29 divide c(x)?
False
Suppose -74 = -2*l - 3*l - z, 0 = 4*l - 4*z - 40. Is l a multiple of 2?
True
Suppose 15*q + 192 = 19*q. Is 12 a factor of q?
True
Let t = -3 + 3. Suppose 0 = -4*k - t*o + 4*o + 200, -k + 2*o + 52 = 0. Does 16 divide k?
True
Let r(t) = 2*t**2 + 2*t. Suppose -4*b + b + 6 = 0. Let l be 0/(1 - b) - 2. Is r(l) even?
True
Suppose 4*o + 0*o = 5*p - 61, 3*p - 3*o - 39 = 0. Is 9 a factor of p?
True
Let z(l) = -9*l + 22. Is 39 a factor of z(-2)?
False
Does 3 divide 8 - ((-36)/3)/(-4)?
False
Let d(r) = 9*r + 2. Let h(q) = 18*q + 5. Let i be (-64)/10 - 6/(-15). Let p(l) = i*h(l) + 13*d(l). Is p(4) a multiple of 16?
True
Let y(f) = -5*f**3 - 12*f**2 - f - 7. Let h(m) = 6*m**3 + 13*m**2 + 2*m + 8. Let u(b) = -6*h(b) - 7*y(b). Let p be u(5). Is p + 2 + -4 + 22 a multiple of 10?
False
Let x(o) be the third derivative of -2*o**2 + 0 + 1/30*o**5 + 0*o - 1/8*o**4 + 1/6*o**3. Is x(5) a multiple of 18?
True
Suppose -z + 2*z + 3*y + 7 = 0, 0 = -4*y - 16. Suppose -s = 2*f - 57, z*f - 2*s - 210 = -54. Does 10 divide f?
True
Let n = 87 + -40. Is n a multiple of 16?
False
Is 95043/312 - (-6)/16 a multiple of 48?
False
Let m(z) = 2*z + 3. Let i be m(6). Suppose 3*g = -i, -5*a + 4*g = -0*a - 120. Is 11 a factor of a?
False
Suppose -5*j + 4*j + 10 = 0. Is 5 a factor of j?
True
Suppose 2*a - 5*a = -24. Let c(p) = p**2 - 4*p - 5. Is 9 a factor of c(a)?
True
Let y be ((-6)/4)/(8/(-144)). Suppose 2*l - 7 = -y. Let g = l - -23. Is 6 a factor of g?
False
Suppose 0*c = -3*b + 4*c - 33, c = -2*b - 11. Let u be -4 - b - (-9)/(-1). Is (u + 2/(-2))*-1 a multiple of 2?
False
Let a(v) = v. Let x(d) = -d + 1. Let n(m) = -4*a(m) - 2*x(m). Is 3 a factor of n(-3)?
False
Let i(o) = 2*o**2 - 3*o + 5. Is i(5) a multiple of 8?
True
Suppose -5*t + 5 = 0, 0 = -4*u + 3*u - 4*t - 2. Let k(h) = h**3 + 8*h**2 - 5*h - 6. Let c be k(u). Suppose -d - 2*d + c = 0. Is d a multiple of 12?
False
Suppose a = 5*a - 36. Suppose a = 3*h + 3. Is h a multiple of 2?
True
Let s(h) = 2*h**2 - h - 4. Let n be s(3). Suppose -q + n = 4*w, 5*w - 3*q - 1 + 0 = 0. Let v(r) = 5*r**2 - r. Is 6 a factor of v(w)?
True
Let o(t) = t**2 - 11*t + 6. Let i be o(10). Let q(c) = c**2 - c + 3. Is q(i) a multiple of 10?
False
Let z(w) = 6*w**2 + w + 3. Let n(t) = 7*t**2 + 4. Let h(l) = -5*n(l) + 6*z(l). Let c = -5 - -9. Does 19 divide h(c)?
True
Let g be 46/10 - 4/(-10). Suppose -g*h = -0*h + 4*n - 104, 3*h + 5*n = 52. Is h a multiple of 24?
True
Let v = 147 - 113. Is v a multiple of 6?
False
Let h(n) = n**2 + n - 4. Let l be h(-3). Suppose 86 = o + 4*j, 4*o + j - 165 = l*o. Suppose 5*t - 2*f = o, t - 13 = -5*f - 2. Is 8 a factor of t?
True
Let n be 