m + 2*o = 8, -o - 2*o = -2*m + 27. Is m a multiple of 4?
False
Let m(k) = 3*k**2 + 22*k - 22. Does 11 divide m(-11)?
True
Let z(d) = 2*d - 6. Suppose 0 = y + 2*y - 15. Let f be z(y). Does 3 divide (-26)/(-4) - (-2)/f?
False
Let d(z) = -z**2 + 26. Suppose 3*l - 19 = -5*x + 3, 5*x + l - 14 = 0. Let o be 0/1*(-1)/x. Is d(o) a multiple of 19?
False
Let c(s) = 4*s**2 + 0*s**3 - 5*s + 3 + s**3 - 3*s**2. Is c(3) a multiple of 24?
True
Suppose 6 = 2*o, 4*a = 4*o + 208 + 40. Is 18 a factor of a?
False
Let o = -11 - -20. Suppose -o*y + 65 = -4*y. Does 7 divide y?
False
Suppose d + 3*d - 153 = -5*f, -5*d - 147 = -4*f. Suppose 4*u - f = 27. Let p = u + 0. Is 4 a factor of p?
False
Suppose -149 = 4*s - 545. Is 19 a factor of s?
False
Suppose -w + 14 = 2. Suppose 2 - w = -5*m. Let h = m + 2. Does 2 divide h?
True
Let l(y) = -5*y**3 - 4*y**2 - 3*y - 1. Suppose -3*w = -2*k + 5*k - 9, 2*k = 2*w + 2. Let n = w + -3. Does 11 divide l(n)?
False
Suppose -s + l - 118 = -5*s, -l = 2. Suppose -3*w = 5*f - 573, 2*w - 15 = f - 127. Suppose 4*h + s = f. Does 10 divide h?
False
Is (-4)/(-20) - (-108)/10 even?
False
Suppose 0 = c - 3*z - 7, 0 = -z - 3. Let v = c - -7. Suppose -5*s - v*b + 25 = 0, -4*s - 3*b + 2 = -22. Does 4 divide s?
False
Let c(i) = -i - 1. Let k be -2 - (-1 + 1) - -1. Let w be c(k). Suppose -y + 1 + 3 = 0, w = -3*q - 4*y + 97. Does 17 divide q?
False
Suppose b = -2*j + 1, -1 = -2*j - 3*b - 10. Suppose 2*k + j*o = 8, 0 = k - 10*o + 5*o + 9. Does 12 divide k/((-213)/(-105) - 2)?
False
Suppose y - 48 = -3*y. Suppose 5*j = y - 2. Does 2 divide j?
True
Let d(y) = y**3 - 3*y**2 + 12*y - 3. Let u(g) = -g**3 + 2*g**2 - 13*g + 3. Let z(o) = 5*d(o) + 4*u(o). Is z(6) a multiple of 7?
False
Let h(z) = 15*z - 27. Does 12 divide h(5)?
True
Suppose 0 = k - i - 29, 0 = 2*i + 3*i. Does 19 divide k?
False
Let z = 118 - 79. Does 13 divide z?
True
Suppose 73 = 3*v - 8. Is (-1)/(2 + v/(-12)) even?
True
Is (22/6 + -4)*-51 a multiple of 17?
True
Let x(y) = -y**2 - 6*y + 5. Is 7 a factor of x(-5)?
False
Let k be (-5 + 4)/((-1)/2). Let b = 8 - k. Is b a multiple of 5?
False
Suppose -5 + 1145 = 5*n. Suppose 0*f - n = -3*f. Suppose -f = -5*h + h. Does 19 divide h?
True
Let s(n) = n**3 - n + 9. Let r(k) = -7 + k**3 - 4*k + 11*k - 8*k**2 + k. Let q be r(7). Does 8 divide s(q)?
False
Suppose n - 1170 = -5*n. Is 39 a factor of n?
True
Let l(t) = 4*t**2 + t - 2. Suppose -2*r - 4*d = d + 15, 2*r + 6 = -2*d. Let u be -1*(-1 - 1) - r. Is 11 a factor of l(u)?
False
Let f(t) = 2*t**2 - 3*t - 1. Suppose -5 + 26 = p. Suppose 2*n + 1 = -m + 5, p = 5*n - 3*m. Is f(n) a multiple of 7?
False
Suppose -5*j - 2*o + 31 + 4 = 0, 0 = 5*j - 3*o - 10. Let r be j*1 - (9 - 6). Suppose 88 = 2*d + 4*h, -3*d + 193 = r*d + h. Is d a multiple of 19?
True
Let d(g) = g**3 + g**2 - 5*g + 4. Let n = 4 + 1. Suppose -3*j + 4*a = -n, -2*j + 2 = -2*a - 2. Is d(j) a multiple of 9?
False
Suppose -4*x + 1584 = 2*j - 6*j, -3*x + 1188 = -2*j. Does 11 divide x?
True
Let y(v) be the first derivative of 7*v**2/2 - 3*v + 2. Let j be y(4). Let q = -11 + j. Is 7 a factor of q?
True
Suppose -8*z + 348 = -4*z. Does 13 divide z?
False
Suppose -5*d + 8 = -3*d. Let p = d + 2. Suppose -t - 105 = -p*t. Is t a multiple of 14?
False
Let a(c) = -2*c**3 + 2*c**2 + 2*c. Does 4 divide a(-2)?
True
Let n = 60 + -18. Is 14 a factor of n?
True
Let p = -19 - -55. Is p a multiple of 12?
True
Suppose 5*v + 12 + 33 = 0. Is (2/(-2))/(v/198) a multiple of 11?
True
Let o(i) = -5*i**3 + i**2 + i - 1. Let c be o(1). Let k be (-2)/10 + c/(-20). Suppose -4*u - j = 2*j - 82, 4*u - 3*j - 70 = k. Is 19 a factor of u?
True
Let t = -8 + 7. Let h(d) = -4*d. Let o be h(t). Suppose -o*k - 89 = -3*z, -z + 33 = -2*k - 0*k. Is z a multiple of 22?
False
Suppose 4*j + 5*c = 50, 2*j + 0*c + 4*c = 28. Let x = -15 - -21. Suppose 2*g + 11*f - 50 = x*f, 5*f = j. Does 10 divide g?
True
Suppose 4*t = 16 + 12. Is (-332)/(-14) + 2/t a multiple of 12?
True
Suppose 2*d = 2, 0 = -3*x + 6*d - 2*d + 44. Does 16 divide x?
True
Suppose -g = -3*g + 8. Let y(l) = 7*l + 2. Does 10 divide y(g)?
True
Suppose -3*d + d = -6. Suppose -15 = d*s - 57. Is 8 a factor of s?
False
Let o = 38 + 270. Is 17 a factor of o?
False
Let g(z) = -z**2 - z + 180. Let y be g(0). Let o be 1/1*10/1. Is (8/o)/(8/y) a multiple of 18?
True
Suppose -3*h - 2*z + 340 = 0, -2*h - z = -4*z - 218. Does 20 divide h?
False
Suppose -1 + 9 = 2*b. Suppose -61 + 17 = -b*m. Is 10 a factor of m?
False
Let z = -126 + 182. Is 4 a factor of z?
True
Let c = -24 - -54. Does 23 divide c?
False
Suppose -2 + 50 = 4*h. Suppose 0 = r - h - 20. Is 11 a factor of r?
False
Let o = 132 + -112. Is o a multiple of 13?
False
Let v(p) = p**2 + 4*p - 5. Let q(n) = n**2 - 11. Let j(k) = k + 1. Let t(h) = 5*j(h) + q(h). Let w(u) = -4*t(u) + 5*v(u). Is w(-5) a multiple of 13?
False
Let d(v) = v**2 + 7*v - 13. Let l be d(-9). Is 12 + l/(20/8) a multiple of 7?
True
Let c(f) = -f**3 + 9*f**2 - 7*f - 8. Let m be c(8). Let g(h) = h**3 - h**2 + 3. Is g(m) even?
False
Let n = -58 - -127. Does 24 divide n?
False
Suppose 5*f - 224 = 246. Suppose -r - 43 = -3*v, -5*r + 2*v - 3*v = 295. Let l = f + r. Does 12 divide l?
True
Suppose -l + 2 - 11 = 0. Is 3 - l/2*12 a multiple of 21?
False
Let k(f) = 2*f**3 + f**3 - 6 + 5*f**2 - 2*f**3 - 2*f. Let r be -3*(-6)/(-3 - 9/6). Is k(r) a multiple of 6?
True
Let u be ((-63)/2 + -2)*-2. Let w = u + 52. Suppose 37 = -2*s + w. Is 21 a factor of s?
False
Let l be (44/(-55))/((-4)/(-190)). Is 15 a factor of 0 + -4 - l - 2?
False
Let c = 6 + -10. Let s(y) = -10*y + 1 - 2*y - 3. Does 28 divide s(c)?
False
Let i be (1 + -2)*-2 - 0. Suppose b + i*b = 54. Is 9 a factor of b?
True
Suppose -5*t = 5*o - 650, -2*t - t = 4*o - 524. Suppose -4*f - 2*z = -178, -2*f = f + z - o. Is 17 a factor of f?
False
Suppose -q - 5 + 18 = -3*m, -3*m = -9. Is q a multiple of 10?
False
Suppose v = -0*v + 8. Is 4 a factor of v?
True
Suppose 256 = 5*z + 4*j, -3*z + 155 = -0*j + j. Let g be z/3*(-3)/(-2). Let i = g - 8. Is 18 a factor of i?
True
Let y be -1*(-6)/(-5)*-5. Let p(a) = -3*a**2 + 13*a + 21. Let b(w) = -2*w**2 + 9*w + 14. Let l(h) = 7*b(h) - 5*p(h). Does 7 divide l(y)?
False
Let x = 33 + 51. Is x a multiple of 12?
True
Let y be 20 - (-1 + 1 - -3). Let q = y + 4. Is 21 a factor of q?
True
Suppose -2*c + 0 = -4. Suppose -c*p + 20 = -p. Is 10 a factor of p?
True
Let m(y) = -18*y**3 + 2*y**2 + y. Let i(u) = 3*u + 1. Let k be i(1). Suppose -4*l = -4, 3*l - 6 = k*t + l. Does 5 divide m(t)?
False
Suppose -r = -3 - 0, 4*u - 27 = -5*r. Suppose u*q + 2 - 8 = 0. Suppose 4*o - 16 = q*o. Does 3 divide o?
False
Let v(n) = -n**3 - 3*n**2 - 3*n - 6. Is 4 a factor of v(-5)?
False
Suppose -283 = -7*t + 228. Is 16 a factor of t?
False
Suppose -5 + 143 = 3*a. Suppose -k + a = 5*i, -k - 3 = -5*i + 1. Is k a multiple of 21?
True
Suppose 3*j + 3*p - 13 = 5*p, 0 = -4*j - 5*p + 2. Is 16 a factor of 50 - (9/j - 1)?
True
Let z(c) = c**3 + 5*c**2 - 5*c + 6. Let d be z(-6). Suppose -y - 2*y + 9 = d. Suppose -p = 2*r + r - 25, 149 = 5*p + y*r. Is p a multiple of 8?
False
Let a be 4/8*216/2. Suppose -a = -3*h + 33. Is h a multiple of 10?
False
Suppose x - 4*y + 9 = -8, -3*y + 24 = 3*x. Let o(p) = 5*p**2 - p - 1. Let h be o(-1). Suppose 4*n - 50 = h*i, -34 + 0 = -x*n + 2*i. Does 5 divide n?
True
Let a be (-2 - 2/(-1)) + 30. Suppose 3*j - a = -2*j. Does 6 divide j?
True
Let u be 59 + -3 + 7 + -1. Let c be (1/(-2))/(1/u). Let i = c + 60. Does 11 divide i?
False
Let t(k) = 2*k - 3. Let r = 7 + -3. Let o be t(r). Suppose o*g = 35 - 5. Does 6 divide g?
True
Let n = -18 - -26. Suppose 0 = 2*y + n + 44. Let f = -16 - y. Is f a multiple of 5?
True
Let r = -82 + 111. Does 5 divide r?
False
Let d(w) = 3*w**2 - 9*w - 6. Is d(7) a multiple of 19?
False
Let t(p) be the third derivative of -p**5/60 + p**4/24 + 2*p**3/3 + p**2. Let l be t(4). Let k(d) = d**2 + 8*d + 5. Is k(l) a multiple of 5?
True
Let m = -112 - -176. Is m a multiple of 16?
True
Let a(q) = q**2 + 4*q - 4. Is a(-7) a multiple of 17?
True
Suppose 0 = 2*q + 1 - 15. Is q a multiple of 2?
False
Let d(g) be the second derivative of g**3/6 - 3*g. Let q be d(-2). Let m(a) = -2*a + 1. Is 2 a factor of m(q)?
False
Let a be (-6)/(-27) + (-124)/(-9). Does 6 divide a/((-8)/(-12) - 0)?
False
Let l = 165 + -63. Is 34 a factor of l?
T