ppose -14 = -2*q - 0*q. Let w(z) = z**3 - 6*z**2 - 7*z - 8. Let m(k) = 2*k**3 - 12*k**2 - 13*k - 17. Let n(i) = 2*m(i) - 5*w(i). Does 10 divide n(q)?
True
Let q = 44 - 22. Let h = 34 - q. Is 2/h - (-717)/18 a multiple of 14?
False
Suppose 88 = 2*o + 9*o. Is o a multiple of 3?
False
Suppose v - 5*i + 4*i - 3 = 0, -5*i = 15. Suppose v = -2*a + 36. Is a a multiple of 18?
True
Let g be -1 + -1 - 12/(-2). Suppose u + 3*f - 7 = -0*f, 5*u - 54 = g*f. Is u a multiple of 10?
True
Suppose b + 4*y = -y + 49, -5*b = -3*y - 301. Does 33 divide b?
False
Suppose 4*p + 17 = 5*x, -2*p = -x + 2 + 5. Let o be p/(-12) + (-11)/(-4). Let i = 8 - o. Is i a multiple of 3?
False
Let d(o) = 3*o + 4. Is 8 a factor of d(3)?
False
Let y(z) = -6*z - 60. Is 24 a factor of y(-14)?
True
Let z = 142 + -64. Let s = 130 - z. Suppose 0 = -3*b + 32 + s. Is 14 a factor of b?
True
Let n(y) = -y**2 + 13*y - 14. Let t be n(11). Suppose -z + t = -70. Is 26 a factor of z?
True
Let x = 154 - -26. Is x a multiple of 60?
True
Let y = 9 + -6. Does 9 divide -5*y*9/(-15)?
True
Let k(a) = -a**3 - a**2 - 4*a - 2. Let t(y) = y**2 - 1. Let z be t(2). Let l = -6 + z. Does 12 divide k(l)?
False
Is 2 a factor of 1 + 9/(-1 - 2) - -13?
False
Let f = 85 - 40. Is f a multiple of 3?
True
Suppose -3*d - 2*d = -20. Suppose d*u = 8 + 12. Let p = 13 + u. Is p a multiple of 7?
False
Let p(v) be the first derivative of -v**2/2 - 2*v + 1. Let n be p(-3). Is 5 a factor of 1/(n/(16 - -3))?
False
Let a(l) = l**2 - 9*l + 2. Let r be a(9). Let v be (-3 + 0)*(r + -3). Suppose 2*z - 140 = -v*z. Is 19 a factor of z?
False
Let t be (9/(-4))/(3/(-8)). Let d be (0/t)/(-2*1). Is (2 - d - 7)/(-1) a multiple of 2?
False
Suppose -2*x + 8 = -0*l + 2*l, 3*l = -5*x + 22. Suppose -6 = -x*q + 14. Is 4 a factor of q?
True
Suppose 0 = -2*j + 4*j - d - 21, 0 = -3*j + 5*d + 28. Does 4 divide j?
False
Suppose 0*q + q = 2. Let j(i) = 3*i**3 + 2*i**2 - 4*i + 3. Is 16 a factor of j(q)?
False
Let d(a) = -a**2 - 6*a - 2. Let i(g) = -g**2 - 4. Let b be i(0). Let k be d(b). Does 10 divide (20/k)/((-1)/(-6))?
True
Let q(i) = 3*i - 6. Is q(7) a multiple of 14?
False
Suppose 0 = -l + 4*s + 8, -9*s = 4*l - 4*s - 11. Suppose -2*u + 2*v = -14, 0*v - l*v = u - 2. Let r(c) = c**3 - 4*c**2 - 6*c - 3. Is r(u) a multiple of 19?
False
Suppose 0 = h + 3 + 2. Let m = 24 + h. Let k = m + 8. Is k a multiple of 27?
True
Is 4 a factor of 81/21 - (-2)/14?
True
Suppose 9 = -q + 10. Let n(b) = 12*b + 2. Does 7 divide n(q)?
True
Let p be (-28)/8 - (-1)/(-2). Let i(j) be the third derivative of j**5/60 + j**4/24 + j**3/2 + 2*j**2. Is 8 a factor of i(p)?
False
Let t = -7 - -10. Suppose -114 = -t*g - 7*x + 2*x, 5*x + 58 = g. Is g a multiple of 17?
False
Let t = 6 - 1. Suppose -t*w + 0 = -10. Suppose -w*h - 14 = -3*h. Does 9 divide h?
False
Suppose -r + 4*n - 6*n = -8, 5*r - 24 = -2*n. Suppose -5*z + 131 = -r*v, -z - 4*v = -0*z - 7. Is 8 a factor of z?
False
Suppose -12 = 2*z - 5*c, 0 = -3*z + 4*c - 1 - 3. Suppose 6 = -i + z*i. Is 4 a factor of i/(-4)*1*-10?
False
Let y = 35 - -9. Suppose -y = -l - l. Does 11 divide l?
True
Suppose m = -0*m. Suppose -3*t + 96 = -m*t. Does 10 divide t?
False
Does 8 divide 3 - (4 - 3) - -38?
True
Let z be 1/(-2)*(2 - 2). Is (z - -2)/(2/18) a multiple of 10?
False
Let g = -54 + 25. Let a = g + 49. Is a a multiple of 5?
True
Let u be (4 - 8) + 234/(-3). Let f = 128 + u. Does 13 divide f?
False
Suppose j - 11 = 97. Does 12 divide j?
True
Let d(y) = y**3 + 5*y**2 + 5*y - 5. Let q be d(-6). Suppose 0*p = 4*p + 3*w + 413, 4*w = 4*p + 420. Let x = q - p. Is x a multiple of 11?
True
Let a = -106 - -199. Is a a multiple of 16?
False
Suppose -4*l - q + 88 = -0*q, -5*q = -l + 1. Is l a multiple of 7?
True
Let j(n) = -n**3 + 3*n**2 + 3*n + 1. Let c be j(4). Let x be c*-2*(-3)/(-18). Is 30/8 + x/4 even?
True
Is (-8)/12 + (-7)/3 - -105 a multiple of 17?
True
Let v be 16/((-10)/(-4) - 2). Let x = -8 + v. Is 12 a factor of x?
True
Let b = 0 + 4. Let d(i) = 11. Let o(f) = -f - 12. Let j(k) = -6*d(k) - 5*o(k). Is j(b) a multiple of 14?
True
Is 12 a factor of (9*18)/2 + 15/5?
True
Suppose 0 = -3*j + j + 154. Is j a multiple of 11?
True
Let s = 122 - 89. Does 11 divide s?
True
Let n(d) be the third derivative of -d**6/120 - d**5/20 - 2*d**2. Is 16 a factor of n(-4)?
True
Let r(d) = -4*d + 4*d - 8 + 2*d + d. Does 4 divide r(4)?
True
Let u(a) = -10*a + 4. Is 14 a factor of u(-2)?
False
Is 1 + 80 - 0/(-11) a multiple of 27?
True
Let y(j) = 0*j + j**2 + 4 + 4*j**2 - 3*j. Does 15 divide y(3)?
False
Let q = 2 - -4. Suppose -2*l = -38 - q. Is 11 a factor of (l/(-4))/(11/(-22))?
True
Suppose -n - 4*b + 14 = 0, 3*n + 0*n + 5*b = 49. Is n a multiple of 2?
True
Let j = 98 - 54. Let w = 86 - j. Does 19 divide w?
False
Let d(j) = j**2 - 4*j - 2. Let l(f) = -f**2 + f + 1. Let k(t) = -d(t) - 2*l(t). Does 8 divide k(2)?
True
Suppose w = -0*w + 10. Suppose v + 4*c = 20, -3*v + 2*v = -2*c + w. Suppose v*p + 2*p = 14. Does 7 divide p?
True
Let x(n) = -n + 8. Suppose 4*l + 15 = 3*l. Let k = l - -9. Does 14 divide x(k)?
True
Let q(t) = t**3 + 11*t**2 - t - 12. Let h be q(-11). Let k be (-7)/(-14) - 3/(-2). Is k*h + 2 + 36 a multiple of 18?
True
Let t = 5 + 1. Suppose -t*d - 2*k + 67 = -d, -2*k - 50 = -4*d. Does 8 divide d?
False
Let h = -76 + 181. Does 21 divide h?
True
Let z(u) = u**2 + 6*u**2 + 7*u - 6 + 0*u**3 - u**3. Does 23 divide z(4)?
False
Let s(a) = a**3 + 6*a**2 - 27*a + 2. Does 5 divide s(-8)?
True
Let l be (-2)/10 - (-42)/10. Let s = 12 - l. Is s a multiple of 5?
False
Suppose z - 2*u - 4 = 5*z, -4*z - 4*u - 12 = 0. Let i = 3 - z. Suppose -108 = -5*h + i. Does 11 divide h?
True
Let f(i) = 8*i**2. Let o(a) = -a**2 + 8*a + 1. Let d be o(8). Let y be f(d). Suppose -4*l + y = 2*b, -14 = -3*b - 6*l + l. Is b a multiple of 3?
False
Let n(t) = t - 6 + 0*t + 0*t. Let o be n(4). Is 17 a factor of (-49)/(-3) + o/(-3)?
True
Suppose 2*q - q = -9. Does 13 divide (-1)/(-3) - 114/q?
True
Suppose 2*i + 3*a = -a - 12, 3*i - 4*a - 32 = 0. Suppose 4*n + i*w - 188 = 0, 4*n + w - 2*w - 213 = 0. Does 22 divide n?
False
Let r(z) = z**2 - 9*z - 16. Let c be r(11). Suppose 0 = c*f - 2*f, 4*d - 4 = f. Is (0 + d)*-1 - -11 a multiple of 10?
True
Let f(t) = 2*t - 2. Let q be f(0). Does 13 divide -3 + 3 + (-30)/q?
False
Let n(a) = -10*a + 4*a - 5 - 6. Let k(m) = -m - 2. Let s(y) = 33*k(y) - 6*n(y). Does 3 divide s(1)?
True
Let g = 22 - 8. Is 4 a factor of g?
False
Is 1*(-6)/(-15) + (-3588)/(-30) a multiple of 15?
True
Suppose 2*l + 2*t - 82 = -3*l, 2 = 2*t. Does 4 divide l?
True
Does 12 divide (-3 + (6 - 2))/(1/86)?
False
Let b(r) = 2*r - 14. Is b(11) a multiple of 5?
False
Suppose 0 = 5*m + 25, y + 0*m = -2*m - 11. Let c(i) = -10*i. Does 9 divide c(y)?
False
Let a(b) = -113*b**3 - 1. Let f be a(-1). Suppose -5*v - 4*t = -f, 6 = 3*t - 3. Is 6 a factor of v?
False
Suppose -15 = -7*o + 4*o. Suppose 3*k = 2*k. Suppose k = -5*b + o*w + 250, -2*b + 30 + 86 = 2*w. Is 28 a factor of b?
False
Let u = 91 + 13. Suppose -u + 294 = 5*g. Is 22 a factor of g?
False
Suppose 2*y = 70 + 62. Is 22 a factor of y?
True
Let a = -126 - -180. Is a a multiple of 9?
True
Suppose -4 = -2*j - 3*n, -3*n + 16 = 4*j - n. Suppose -2*t - 3*t = 3*c + 10, 5 = -4*c - j*t. Is c even?
False
Let r(x) = -7*x - 10. Let j = -22 - -15. Let z be r(j). Let b = 65 - z. Does 20 divide b?
False
Let p = -51 - -56. Suppose -g = -1, 5*g = w - 4 - 1. Suppose 0 = d - p*r - w, -r + 3*r + 7 = d. Does 5 divide d?
True
Suppose 0 = -5*l + 33 + 77. Is l a multiple of 6?
False
Let v(l) = -3*l - 3. Let k(b) = b**3 + 3*b**2 + 3*b. Let y be k(-2). Let z be v(y). Suppose -2*j - j = 4*a - 97, a - 31 = -z*j. Is a a multiple of 11?
True
Suppose -u + 35 = 11. Suppose -3*o = -o - u. Does 21 divide (-378)/o*4/(-3)?
True
Let f(i) = i**3 - 6*i**2 + 6*i - 8. Is 14 a factor of f(6)?
True
Let g = 142 + -101. Is 15 a factor of g?
False
Let u = 10 - 14. Is (u/(-5))/((-4)/(-270)) a multiple of 18?
True
Suppose -3 = -2*t - 5. Is 12 a factor of (t + (2 - 4))*-12?
True
Let t(p) = -4 - 11*p + 2 - 4 - p**2. Let v(x) = x**3 - x + 2. Let l be v(-2). Is 10 a factor of t(l)?
False
Let h(m) = m**2 + m - 3. Let r be h(3). Suppose -2*p - 4 = 0, -5*p + r = b - 11. Suppose -3*x + b = -0*x. Does 5 divide x?
True
Let l(h) = 58*h - 5. Does 21 divide l(3)?
False
Let m(y) = y**3 + 2*