es 2 divide x(z)?
False
Suppose -4*m = -15 + 3. Suppose 0 = -m*o - 2*o - 15. Is 34/2 + o + 1 a multiple of 4?
False
Suppose 2 = -2*c - 2. Let j = 11 + c. Is j a multiple of 9?
True
Suppose 3*n - 19 = -2*n - k, -2*n - 5*k = -26. Is 3 a factor of n?
True
Let n = 16 + -11. Let x(h) = h**2 - 4*h. Does 2 divide x(n)?
False
Let v(p) = 5*p**2 - 4*p - 7. Is 7 a factor of v(4)?
False
Let a(v) = -2*v**2 + 30. Is a(0) a multiple of 15?
True
Let q(f) = -12 - 8*f**2 - 2*f**2 + f + 0*f**3 - 7*f**2 + f**3. Is q(17) a multiple of 5?
True
Let y = -9 - -68. Is 18 a factor of y?
False
Suppose -2*k + 5 = -5. Suppose 32 = a + k*f, -2*f + 8 = -0*f. Is a a multiple of 4?
True
Let h be 6/(-1*4/(-22)). Suppose -o = -5*l - 31, 2*o - h = l + 74. Is 19 a factor of o?
False
Let k = -10 - -19. Is 3 a factor of k?
True
Suppose 0 = 3*j - 11 + 2. Suppose -6*b = -5*o - b + 25, j*o + 3*b + 15 = 0. Suppose o*n - 2*n + 16 = 0. Is n a multiple of 4?
True
Let b = 4 - 4. Let j be (-2)/((-1 - b)/(-1)). Is 8 a factor of (-8)/((3/j)/3)?
True
Suppose 3 + 1 = -2*a. Let j = a - -5. Suppose 3*w = -5*r + 13 - 1, -w + 8 = j*r. Is r even?
False
Suppose 5*a + 3*c - 442 = 0, 3*a + a = -c + 355. Is 12 a factor of a?
False
Let i(k) be the first derivative of -k**3/3 + 5*k**2 + 1. Let o be ((-16)/(-3))/((-8)/(-12)). Is 16 a factor of i(o)?
True
Suppose 0 = -5*p + p + 12. Suppose 5*x - 208 = 2*x + i, p*x = 5*i + 212. Is 23 a factor of x?
True
Suppose 27 = 5*n + 2. Suppose 0*a + n*b - 30 = 5*a, -5*b = -3*a - 24. Is (-1)/a + (-124)/(-6) a multiple of 7?
True
Suppose 2*a + 35 = 7*a. Suppose -1 = 3*g - a. Suppose g*i + 47 = 4*b - i, 5*i = 5*b - 65. Is 8 a factor of b?
True
Let q = 141 + -299. Does 22 divide q/(-5) + (-21)/35?
False
Is 2 a factor of (-25 + 4)*2/(-6)?
False
Let m(w) be the second derivative of 3*w**3/2 + w**2/2 + 4*w. Is m(4) a multiple of 12?
False
Suppose 3*p - 7*p + 139 = r, -3*p = 3*r - 111. Does 11 divide p?
False
Suppose 0*x - 4*x - 84 = 0. Let d = 37 + x. Is d a multiple of 16?
True
Suppose -2*y - 5*f + 13 = -2, 0 = -2*y - 2*f + 12. Suppose 5*l = 6*k - k + 1075, y*l - 1090 = 2*k. Suppose -l = -3*c - 2*c. Is c a multiple of 18?
False
Let h(r) = -2*r**2 - 4 - 5*r + 0*r**2 + 3*r**2. Let g be h(6). Suppose -m - 36 = -g*m. Is m a multiple of 18?
True
Suppose 4*a = -4*g + 2*a - 160, g + 3*a = -35. Let b = 1 - g. Is b a multiple of 14?
True
Let k(h) = -5*h + 25. Let q(p) = 3*p - 13. Let t(z) = 6*k(z) + 11*q(z). Is t(9) a multiple of 18?
False
Is (-69)/(-6) + (-6)/(-4) a multiple of 3?
False
Let t = 7 + -12. Let z(o) = o**3 + 5*o**2 - o + 4. Does 3 divide z(t)?
True
Let y = -55 - -91. Is y a multiple of 14?
False
Let l(z) = z**3 - 14*z**2 + 20. Let h(q) = q**2 - 14*q + 14. Let f be h(14). Does 7 divide l(f)?
False
Suppose -4*g + 57 = -103. Suppose 0 = -7*k + 3*k + g. Is k a multiple of 5?
True
Let o be (-6)/8 + 2/(-8). Let g = 5 - o. Suppose g*b - 105 = b. Is b a multiple of 7?
True
Suppose z + 6 = -4. Let y = 19 + z. Let m = 17 + y. Does 12 divide m?
False
Let f(s) be the third derivative of s**2 + 0*s + 2/3*s**3 + 1/12*s**4 + 0. Is f(4) a multiple of 5?
False
Suppose 8*d - 13*d = -125. Is 5 a factor of d?
True
Suppose 3*o - 10 + 1 = 0. Suppose w = o*w - 52. Is w a multiple of 13?
True
Let x be ((-12)/10)/((-4)/(-10)). Let s be (x + 22/6)*-6. Is 17 a factor of (-82)/(-2) + s + 1?
False
Suppose 6 = -2*a + 5*a. Suppose 3*q + 0*x = -a*x + 174, 0 = 4*x. Is q a multiple of 29?
True
Let r = 9 - -3. Is r a multiple of 12?
True
Let p(o) = 3*o + 1. Let c be p(2). Suppose k - c = 4. Let v = k + -8. Does 2 divide v?
False
Suppose 0 = -3*c - 2*c. Suppose -s + 13 + c = 0. Does 4 divide s?
False
Let g(n) = -n + 5. Let c be g(-10). Suppose 3*u - 2*m - 7 = 2*m, u + c = -3*m. Does 10 divide u - (-6 + 0)*4?
False
Let a(i) = -i**3 - 8*i**2 - 5. Let r be a(-8). Is 1*3 + r/(-5) even?
True
Suppose -v + 10 = -6*v, 0 = -c - 5*v + 20. Is c a multiple of 3?
True
Suppose 0*m - 5*m + 1 = -h, 2*h - 4 = 4*m. Suppose 2*s - 15 = -6*z + z, 5*z + 45 = h*s. Is 3 a factor of s?
False
Let z(a) = a + 13. Let i be z(-6). Let u(y) = 4*y + 10. Is u(i) a multiple of 14?
False
Is 11 a factor of 88*(4 - 6/4)?
True
Let s(i) = 5*i + 21. Let q(w) = 3*w + 11. Let y(r) = 11*q(r) - 6*s(r). Is 12 a factor of y(7)?
False
Let s = -57 - -132. Is 31 a factor of s?
False
Let i(y) = 6*y**2 + y + 1. Does 10 divide i(-2)?
False
Let k = 3 - -11. Is k a multiple of 3?
False
Let q = -5 + 6. Suppose w - 4*w + 12 = 0, -5*w = 3*y - 29. Is 2 a factor of (-2 - -5)/y + q?
True
Let h(q) be the second derivative of q**5/60 - q**4/24 - q**3/6 + q**2/2 + q. Let p(j) be the first derivative of h(j). Is p(-3) a multiple of 11?
True
Suppose -2*q - 18 = -5*q + 3*l, -q + 3*l = -4. Let j = q + -2. Is 2 a factor of j?
False
Let r(j) = j**3 - 2*j**2 - 2*j - 1. Suppose 0 = 5*n - 0 - 20. Does 8 divide r(n)?
False
Is ((-3 - -4) + -2)*-37 a multiple of 9?
False
Let s(t) = t**3 - 11*t**2 + 10*t - 16. Does 9 divide s(11)?
False
Let r = -3 - -3. Suppose o + c = -0*c + 13, r = -4*c + 20. Is 3 a factor of o?
False
Let d be (-16)/12 - 6/9. Does 18 divide 21 + (d - (-1)/(-1))?
True
Is 5 a factor of 299/65 + 2/5?
True
Let o(p) be the third derivative of -p**5/20 - p**4/24 + p**3/6 + 2*p**2. Let g be o(1). Let r = g - -10. Is r even?
False
Let t(u) = u**3 + u**2 - 2*u - 3. Let d be t(4). Let q = d + -19. Does 15 divide q?
False
Let r(v) = 93*v**2 - 2*v + 1. Is 14 a factor of r(-1)?
False
Let p be (-2 - (0 - 4)) + 7. Let l be p/6*-1*16. Let q = l + 59. Is 18 a factor of q?
False
Suppose -3*j + 7*j = 16. Suppose -2*b = 4*n + 48, 0*n = -2*n - j*b - 36. Is 3 a factor of 4/n - (-94)/10?
True
Let l(f) = 6*f**3 + f**2 + 2*f - 3. Let s(i) = -i**2 + 11*i - 8. Let j be s(10). Is l(j) a multiple of 22?
False
Suppose 3*m - 18 = 2*m + 3*k, -3*k - 12 = m. Let i = 7 - 3. Suppose -m*v + i*v - 36 = 0. Is 18 a factor of v?
True
Let n(r) = -4*r**2 - 3*r. Let b(z) = 3*z**2 + 2*z. Let y(i) = -5*b(i) - 4*n(i). Suppose -48 = -k + 13*k. Is y(k) a multiple of 4?
True
Let c(d) = -12*d. Let o be c(2). Let n = 69 + o. Let i = n - 26. Is i a multiple of 5?
False
Suppose 4*s - 167 - 241 = 0. Does 17 divide s?
True
Let f(z) = z**2 + 5*z + 6. Suppose -5*q = -4*v + 42 + 3, -q - 3*v = 9. Let c = 2 + q. Is f(c) a multiple of 10?
True
Suppose 4*o - 3*q = 6*o - 14, 4*o + 2*q = 20. Suppose -o*y - 5*s + 17 = -19, -4*s + 28 = 3*y. Is 2 a factor of y?
True
Suppose 167 = 7*r + 27. Suppose -3*h - h = -r. Does 2 divide h?
False
Suppose 2*c - 3*c = -3*s - 115, c + 3*s = 85. Is 25 a factor of c?
True
Suppose -6*q = -3*q - 252. Is 21 a factor of q?
True
Let f(r) = 2*r**2 - 8*r + 6. Let n be f(5). Is (n/6)/((-4)/(-18)) a multiple of 6?
True
Suppose -2*r - 2*a + 20 = 3*r, 0 = -2*a. Suppose 91 = -y + r*y + 4*q, 92 = 4*y - 2*q. Is y a multiple of 14?
False
Let i = 364 - 216. Does 25 divide i?
False
Suppose 0*u + 3*u = -3*t + 138, -5*u = t - 214. Is u a multiple of 14?
True
Let d be (-1)/2 - (-625)/2. Suppose d = 2*q - 4*t, -t - 697 = -4*q - 59. Is 19 a factor of ((-3)/(-2))/(6/q)?
False
Suppose -d - 4*d - 2*g = -15, 2*g + 9 = 3*d. Suppose d*c = 5*c - 20. Is 9 a factor of c?
False
Is 2 a factor of (-26)/(-4) - (-5)/10?
False
Suppose -u - 3*r = 9 - 4, -8 = -4*u + 2*r. Does 11 divide (-9)/(-6)*(u - -21)?
True
Suppose 0 = -2*a + 4 + 18. Suppose -4 = -5*y + a. Suppose 0*p - y*p = -2*b - 116, 168 = 5*p + 3*b. Is p a multiple of 20?
False
Let b be ((-38)/4)/(1/2). Let g = b - 2. Let f = g + 31. Is 10 a factor of f?
True
Suppose -2*j - 228 = -5*j. Is j a multiple of 12?
False
Suppose 5*q - 7*u + 2*u - 565 = 0, -3*q + 4*u = -342. Does 10 divide q?
True
Suppose 2*l + 26 = 10. Let g = l + 11. Suppose -100 = -2*f - g*f. Does 10 divide f?
True
Let w(c) = -c**3 + 20*c**2 + 47*c + 22. Does 22 divide w(22)?
True
Suppose 4*i - 9 = 3. Let x(r) = r - i*r - 2*r. Is 5 a factor of x(-3)?
False
Suppose 4*u - 91 = -x, x + 2*u - 364 = -3*x. Is 20 a factor of x?
False
Is 18/6 - -3*49 a multiple of 28?
False
Let a = 11 - 10. Is 5 a factor of (0 + a)/(2/10)?
True
Is 36*(80/12 + -4) a multiple of 48?
True
Let f(b) = -b + 11. Let k be f(6). Suppose 0 = 5*y - 2*l - 27, 10 = k*y - 3*y - l. Is 3 a factor of y?
False
Let h = 94 - 62. Is 12 a factor of h?
False
Suppose 71 = -2*b - 3*i, 5*b - 2*i + 135 = -i. Does 21 divide (-12 + 3)*b/6?
True
Suppose -4*l + 5