 z a multiple of 19?
False
Let f be 1/(-2) + (-26)/(-4). Let h(y) = -y**2 - 9*y + 9. Let p(m) = 2*m**2 + 9*m - 9. Let o(n) = -3*h(n) - 2*p(n). Is 8 a factor of o(f)?
False
Suppose -4*p + 3*p = 3*c - 9, -20 = -3*p - 2*c. Is p a multiple of 3?
True
Let i be (9/(-15))/((-1)/25). Let c = 10 - 15. Let k = i + c. Does 5 divide k?
True
Suppose -2*z = -9*z + 182. Is z a multiple of 11?
False
Let f(z) = -2*z**3 + 5*z**2 - 7. Is f(-3) a multiple of 23?
True
Is 34 a factor of -1 - 1245/(-4) - 11/44?
False
Suppose 5 = 5*k - 5. Suppose -5*d - b + 0*b + 237 = 0, -231 = -5*d + k*b. Is 20 a factor of d?
False
Let z(j) = j**2 - 4*j - 8. Let o be z(6). Let v(r) = -r + 3 + r + o*r**2 - 2*r + 7*r. Is 7 a factor of v(-3)?
False
Suppose -4*y + 3*v + 449 = 0, 4*v = -y + 4*y - 342. Does 10 divide y?
True
Let a(f) = f**3 - 13*f**2 + 8*f - 2. Is a(13) a multiple of 41?
False
Suppose -3*r + 5*r = -3*m + 31, 5*r = -3*m + 91. Is r a multiple of 20?
True
Suppose -2*t + 0*l = -2*l - 94, -2*l = 2. Is t a multiple of 12?
False
Let b = 64 + -36. Suppose 4*p - b = -0. Is 4 a factor of p?
False
Let q(i) = i**3 + i**2 - 3*i + 1. Let z be q(3). Suppose -z = -c + 11. Does 6 divide c?
False
Let u(l) = l**3 - 4*l**2 - l + 5. Let z be u(4). Suppose -z = f - 41. Is 20 a factor of f?
True
Let l(q) = q**3 + 6*q**2 + 4*q + 4. Does 10 divide l(-4)?
True
Let s(k) = k**3 - 3*k**2 - 4. Let n be s(4). Let y be 16/n + 4/6. Suppose -u - u + 34 = y*i, 2*u - i = 25. Is u a multiple of 14?
True
Let m(h) = -4*h**2 + 2*h. Suppose 4*v - 4 = -2*f, v - 1 - 3 = -2*f. Let t be m(f). Is 2/(t/(-27))*8 a multiple of 16?
False
Let n = 19 + -5. Suppose -4*r - w + 6*w = -34, -2*r + n = -4*w. Is r a multiple of 7?
False
Let t(u) = 14*u**2 + 3*u - 7. Is t(-4) a multiple of 41?
True
Suppose -2*m = 5*f - 43, 2*m + f - 53 = -14. Is m a multiple of 17?
False
Suppose 2*q - 11 = -3*s, 3*s - 18 = -5*q + 5*s. Let z be (-1 - 1/(-1))/2. Suppose y - 5*j + 0*j + q = z, y - 2*j = 2. Is 3 a factor of y?
True
Is 17 a factor of 5432/18 - (-8)/36?
False
Let z = 24 - 1. Is z a multiple of 8?
False
Let p = 25 - -311. Is 28 a factor of p?
True
Let x(l) = -5*l**3 + 5*l**2 - 12*l - 4. Let a(s) = 6*s**3 - 5*s**2 + 13*s + 4. Let i(c) = 6*a(c) + 7*x(c). Is i(-4) a multiple of 18?
True
Let c(p) = -2*p - 2. Let y be c(-2). Suppose -y*k - 156 = -5*k. Does 13 divide k?
True
Let q(y) = -y**3 + 6*y**2 + 3*y. Let j be q(3). Suppose 2*g - 6*g - 3*z = -j, -g = -4*z - 9. Is 9 a factor of g?
True
Suppose 4*s + 3*n = -n + 924, 235 = s + 5*n. Is 46 a factor of s?
True
Suppose f + 3*f = 8. Suppose -z + 0 + 3 = -k, f*k = z - 7. Is 10 a factor of 77/5 + k/10?
False
Suppose 3*k + 198 = -2*b + 4*b, 3*b + 4*k - 297 = 0. Is 25 a factor of b?
False
Suppose 0 = -2*o - 2*u + 59 + 45, -3*o - 2*u = -157. Suppose 3*i = 1 + o. Is i a multiple of 9?
True
Suppose 3*w = -2*u + 454, -2*u + w + 456 = 3*w. Is u a multiple of 21?
False
Suppose -151 - 153 = -4*v + 2*k, 4*k = 0. Is 15 a factor of v?
False
Let s(f) = f**3 + 6*f**2 - 3*f + 2. Does 6 divide s(-6)?
False
Suppose w = -4*x - 13, -2*w + x = -15 + 5. Suppose 4*g + 10 = -2, -4*l + 5 = -w*g. Let c = l + 14. Is 6 a factor of c?
False
Let n be (-150)/(-20)*(-1 + 5). Suppose 4*o = 58 + n. Does 4 divide o?
False
Let i = -16 - -9. Is 7 a factor of 18/63 + (-173)/i?
False
Is 6 a factor of ((-3)/(-2))/((-16)/(-64))?
True
Let j(u) = u - 1. Suppose 2*q - 24 = -2*q. Let b be j(q). Suppose -3*r + 61 = b*g - 0*g, 0 = -5*r - g + 87. Does 10 divide r?
False
Let l(b) = -b**2 - 7*b + 9. Is l(-7) even?
False
Let p(f) = -f**2 - 8*f - 5. Let j be p(-7). Let n = j - -1. Suppose -n*k + 32 = -k. Is k a multiple of 10?
False
Let l(f) = f**3 - f**2 - f + 5. Let b be l(0). Suppose -j + 17 = 4*j + 2*h, j + 7 = -3*h. Suppose -b*a - j*o = -0*a - 110, -o - 66 = -3*a. Is 10 a factor of a?
False
Let u be 12/(-20) + (-2)/5. Is 5 a factor of ((-4)/(-1))/1 - u?
True
Suppose 2*k = 4*k - 40. Is 4 a factor of k?
True
Suppose 8*n + 70 = 6*n. Let w = n - -49. Does 14 divide w?
True
Suppose 0 = -3*j, 0 = 4*c - 2*j - 11 - 1. Let t be 2/(-3) + 14/c. Suppose 2*k + 12 = t*k. Is 4 a factor of k?
False
Let b be 4/(-6)*(-2 - 1). Suppose 2*h - c = 9 + 45, 5*h - b*c - 134 = 0. Is 12 a factor of h?
False
Let f be (1 - 0)*0 + 5. Suppose -3*p - 10 = -f*p. Suppose p*i - 111 + 21 = 0. Is i a multiple of 9?
True
Suppose 3*z - 1 - 5 = 0. Suppose -c = z*d - 20, 10 = -3*c + 8*c. Is 2*(d/2 + -2) even?
False
Suppose 4*t - 286 - 198 = 0. Does 18 divide t?
False
Let y = 44 - 7. Is 13 a factor of y?
False
Suppose i - 5 - 3 = 0. Suppose b = m - 1, -b + 3 = i. Is 18*m/(-6) - 0 a multiple of 6?
True
Suppose 0*w + w = -76. Let q = -48 - w. Is 14 a factor of q?
True
Suppose 20 = -z + 4*z + 5*r, 0 = -5*z + 5*r + 20. Suppose z*l - 44 = 3*l. Is l a multiple of 11?
True
Let v = -32 - -12. Let h = 50 + v. Does 10 divide h?
True
Let j = -19 - -26. Is 2 a factor of j?
False
Suppose -k + 2*l = l - 1, 3*k + 4*l - 10 = 0. Let d(j) = -j**2 + 6 - k + 3*j**2 - j. Is 15 a factor of d(4)?
False
Let p = 68 - -68. Does 25 divide p?
False
Suppose 5 - 35 = -5*u. Suppose -3*t = -3*y, -2*y - 3*t = -u*y - 5. Let x(m) = -7*m - 6. Does 8 divide x(y)?
False
Let y = -6 - 3. Let c = y + 2. Does 11 divide 1/(-7) - 141/c?
False
Let k be (-52)/(-14) - 8/(-28). Suppose 128 = k*u - 0. Does 16 divide u?
True
Suppose -t + 6 = -0. Suppose 0*w - t = -2*w. Is (w + 0)*21/9 even?
False
Suppose 2*f = f + 18. Is f a multiple of 9?
True
Suppose 5*b + 5*u = 20, 4*b + u = 4*u + 23. Suppose i = -b*j + 86, 5*i + 0*i = j - 38. Is 14 a factor of j?
False
Let i = -27 - -69. Is i a multiple of 14?
True
Suppose 104 = 4*m + y - 245, 0 = -m - 2*y + 82. Does 44 divide m?
True
Let k(t) = -2*t**2 + 4*t + t**3 - 2*t**2 + 11*t**2. Suppose 14*l = 18*l + 12. Is k(l) a multiple of 12?
True
Suppose -4*q - 13 = -3*n + 9, -10 = 5*q + 5*n. Is 9 a factor of ((-6)/q)/(4/48)?
True
Does 9 divide 189/4 - 2/8?
False
Suppose 3*s - 45 = 60. Is 7 a factor of s?
True
Let c(l) = -l + 21. Let a be c(0). Does 2 divide (-4)/(-7)*a/6?
True
Let n = 12 - -2. Does 6 divide n?
False
Let m(h) = -h + 1. Let k(g) = -g**2 - g + 1. Let q(x) = -k(x) - 5*m(x). Let s = 17 - 25. Does 10 divide q(s)?
True
Let j be (-46)/4 - (-2)/(-4). Let v = j - -7. Is (v - -6) + 1*15 a multiple of 12?
False
Let o(a) = -a**3 - 8 - 4*a**2 + 2 + 0*a + 6*a. Let r be o(-6). Suppose -6*n + 3*n + r = 0. Is 10 a factor of n?
True
Suppose -5*h + j + 237 = -92, j = 4*h - 264. Is h a multiple of 39?
False
Suppose -f = -3*r - 4*f + 12, -4*r + 21 = -f. Suppose k - r*k + 88 = 0. Suppose -4*y - k + 102 = 0. Is 10 a factor of y?
True
Suppose 3*v + 100 = 7*v. Is 22 a factor of v?
False
Let y = 11 - 11. Suppose y = 2*c + c - 48. Does 16 divide c?
True
Let p = -12 - -32. Does 10 divide p?
True
Suppose 0 = 4*f - 9 + 1. Let t(c) = -4*c - 23*c + c - f*c. Is t(-2) a multiple of 25?
False
Let u = 11 - 7. Suppose u*v - v = 0. Suppose v*y - 60 = -5*y. Is y a multiple of 6?
True
Let q be (-1)/(-2)*(15 + 1). Suppose -q*g + 3*g + 40 = 0. Does 5 divide g?
False
Let c = 153 - 63. Is 18 a factor of c?
True
Suppose -22 = 6*d - 310. Is 16 a factor of d?
True
Suppose 4*t + 5*d = 3*t + 29, 10 = 5*t - 2*d. Suppose -t*v - 14 = 5*f - 123, 2*v + 5*f - 67 = 0. Does 7 divide v?
True
Let j(k) = k**3 + 4*k**2 + 2*k + 1. Let r be j(-3). Is 12 a factor of (-1062)/(-26) - r/(-26)?
False
Suppose -2*y + 5*y - s = 120, -2*y - s + 75 = 0. Does 13 divide y?
True
Suppose -4*z + 4 = 2*j - 6, -j + 3 = z. Suppose 4*a = -2*h + 10, z*a + 2*h = 1 + 7. Is a*((-5 - -3) + 9) a multiple of 7?
True
Let l = 1 + 0. Let j(u) = u + u - 3*u + 38*u**2 + u**2. Does 19 divide j(l)?
True
Let i(f) = f**2 - 5*f + 28. Is i(13) a multiple of 44?
True
Let f(a) = 71*a**3 + a**2. Let r be f(1). Suppose x + r = 5*x. Is 18 a factor of x?
True
Let h(a) = a - 8. Let u be h(7). Let x = 3 + u. Is x even?
True
Suppose -2*u + 15 = i, u - 4*i = -12 - 3. Suppose 0 = -5*m + 5*w - 4 + 79, 37 = 3*m - u*w. Does 19 divide m?
True
Let s = 1 - 0. Suppose 3*h = 2*m + 19, -s - 7 = 4*h + 4*m. Does 11 divide 2/3 - (-31)/h?
True
Let j = -50 - -83. Suppose j + 48 = 3*d. Does 9 divide d?
True
Suppose 5*o - 20 - 50 = 0. Does 7 divide o?
True
Is 5 a factor of (1 + 6 - 0)*(40 - 39)?
False
Let m(d) = d**3 - 3*d**2 - 7*d + 5. Let s be -2 + ((-24)/(-4) - -1). Does 10 divide m(s)?
True
Suppose