2 - 4*o - 4. Let k(y) = -y**2 - y - 1. Let u(t) = -4*k(t) + z(t). Is 12 a factor of u(h)?
False
Suppose 0*j + 2*j + 24 = -3*r, -j = -r - 3. Is 8 a factor of (-2)/r + (-159)/(-9)?
False
Let w(c) = c + 1. Let b be w(4). Let z(n) = 6*n. Let i be z(b). Let t = i + -14. Is t a multiple of 8?
True
Let k(m) = -18*m**3 + m**2 + m. Let a be k(-1). Is 12 a factor of 824/a + 6/27?
False
Let v(d) = d**2 + 12*d - 2. Let k be v(-13). Suppose y - 5*f + k = 0, 3*f - 7 = -y + 2*f. Is 3 a factor of y?
False
Suppose j = 4*j - 4*y - 202, -5*j = -y - 314. Is 13 a factor of j?
False
Let n = -325 + 605. Suppose 0 = -5*f - 0*f - n. Let y = f - -79. Is 6 a factor of y?
False
Does 7 divide ((-5)/(-10))/(3/222 + 0)?
False
Let l = -2 - -46. Let m = l + -10. Is m a multiple of 17?
True
Suppose -144 = -5*w - 24. Does 2 divide w?
True
Suppose 18 - 74 = -4*x. Suppose -4*y - 2 = x. Let h = y + 16. Is 11 a factor of h?
False
Let q(i) = 1 + i**3 - 3*i**2 + 3 + 0*i - i. Let m be q(4). Let k = 16 + m. Is 16 a factor of k?
True
Suppose 0 = g - 4*s - 41, -5*g + 2*g = 5*s - 191. Suppose 3*t + 47 = 3*k + 2, -4*k = -t - g. Is 7 a factor of k?
True
Let h be 4 - (-3)/(6/2). Suppose 0 = 3*k + k + 5*t + 17, 11 = -2*k - h*t. Let z = k + 18. Is 15 a factor of z?
True
Let m(p) = 4*p**3 - 2*p**2 + 1. Is m(1) even?
False
Let v be (3/(-2))/(6/(-12)). Suppose 3*w - v*s - 171 = 0, -2*s - 60 + 166 = 2*w. Does 14 divide w?
False
Suppose -4*x + 250 = 3*z, 0 = -5*z + 4*x - 0*x + 406. Let d = -217 + z. Let c = -87 - d. Is 16 a factor of c?
True
Let c(m) = -m**3 + 11*m**2 - 5*m + 21. Is c(9) a multiple of 12?
False
Suppose 0 = 2*f + 4*k - 364, -f + 361 = f + 5*k. Does 42 divide f?
False
Let f(k) = -8*k**3 + 6*k**2 + 4*k + 6. Let s be f(-4). Let i be s/12 + (-4)/(-24). Suppose -5*u + i = -0*u. Is 5 a factor of u?
True
Suppose 0 = 5*c - 6*c + 52. Is c a multiple of 4?
True
Let c(r) = r**2 + 6*r - 1. Suppose 0 = -4*m + 2*m + d - 18, d = -3*m - 17. Is c(m) a multiple of 6?
True
Suppose -2*p + 291 = 5*d, 0 = 8*d - 3*d + p - 293. Let k = 97 - d. Does 16 divide k?
False
Let q(o) = o**3 + 6*o**2 + 4*o - 2. Is q(-2) a multiple of 4?
False
Suppose -73*p = -68*p - 105. Does 4 divide p?
False
Let u = 74 + 8. Does 27 divide u?
False
Let g(o) = o**2 + 9*o - 16. Is g(8) a multiple of 17?
False
Let s(g) be the first derivative of -g**3/3 + 3*g**2 + 3*g - 14. Let f(m) = -m**2 - 7*m + 6. Let x be f(-7). Does 3 divide s(x)?
True
Suppose 4*a - 5*j - 59 = 0, 0 = 4*j + 4 - 24. Does 15 divide a?
False
Suppose -3*n - c + 35 = 0, 84 = 4*n - 2*c + 24. Let l = -8 + n. Let j(i) = 2*i**2 - 5*i - 3. Is j(l) a multiple of 11?
True
Suppose -5*z - 5 = -5*l, 0 = 4*l - 5*l + 4. Suppose q = z*q - 184. Does 23 divide q?
True
Let v(l) = l - 2. Let s(a) = a**2 + 7*a - 9. Let w be s(-9). Is 6 a factor of v(w)?
False
Let t = 8 + -11. Let y be (-1 - 0/t) + -1. Does 3 divide (-4 - y)*(-2 + 0)?
False
Suppose -100 = -10*v + 5*v. Is v a multiple of 5?
True
Let m(s) = s**2 + 2*s - 28. Is m(12) a multiple of 35?
True
Let j(l) = 3 + l - 1 - 2 + 7. Is 2 a factor of j(-4)?
False
Suppose 0 = b - 84 - 18. Does 15 divide b?
False
Let q(v) = -v**2 + 10*v + 9. Let z be (2/2)/((-1)/6). Let c be q(z). Let n = -26 - c. Does 16 divide n?
False
Suppose 4*c = 2*c. Suppose -h + 2*h = 4*j - 176, c = -2*j + h + 86. Is 15 a factor of j?
True
Let d = -53 - -158. Does 15 divide d?
True
Let c be (-1)/(2*(-2)/(-100)). Let w(s) = 18*s**3 + 2*s**2 - 1. Let b be w(-1). Let r = b - c. Is r a multiple of 8?
True
Let t(a) = 31*a**2 - 2*a + 1. Let l be (6/15)/(1/35). Suppose 4*u + 1 = x + 10, 3*x + l = -u. Is t(u) a multiple of 10?
True
Let r be 2/(3*2/18). Suppose -5*n + 55 = 3*m, -4*m + 3*n - 38 = -r*m. Is 9 a factor of m?
False
Suppose -6*x = -8*x. Let q(f) = -f**3 + f**2 - f + 16. Does 9 divide q(x)?
False
Does 6 divide (-2 + 1)*(-135)/5?
False
Suppose 21 = k + 3. Let p = 32 - k. Does 7 divide p?
True
Let d be 1*(180 - (0 - -1)). Suppose -d = -4*p + 149. Suppose r + r = p. Is r a multiple of 15?
False
Let j(n) be the first derivative of 21*n**4/4 + n**2/2 - n + 9. Let m = -1 - -2. Is j(m) a multiple of 13?
False
Suppose 2*t + 98 = 3*i - i, 4*i = -4*t + 188. Does 12 divide i?
True
Suppose 2*l - 3 = 1, -2*d - 8 = -4*l. Let u = d + 5. Suppose -5*a - m + 32 = -a, u*a - 3*m = 40. Does 4 divide a?
True
Suppose m + 0*m + 867 = 2*a, a - 438 = 2*m. Suppose -a - 208 = -5*s. Suppose -2*t - s = -6*t. Is t a multiple of 16?
True
Let y(h) = h**3 + 5*h**2 + 3*h + 1. Let s(l) = -l**2 + l - 1. Suppose -4*z + 10 = z. Let f be s(z). Is y(f) a multiple of 5?
True
Suppose -4*s - 1 = -3*m - 127, 5*m = s - 40. Is 12 a factor of s?
False
Is 9 a factor of ((-6)/(-10))/((-4)/(-120))?
True
Let j = -36 - -92. Does 28 divide j?
True
Suppose r + 17 = 2*g + 434, -g = -3*r + 1231. Does 51 divide r?
False
Let w(p) = 2*p**2 - 6. Let c(r) = r**2 + 4*r + 5. Let l be c(-4). Does 11 divide w(l)?
True
Is 22 a factor of 3/((-45)/(-6))*715?
True
Let t(d) = d**3 + 10*d**2 - 4*d - 16. Is 16 a factor of t(-8)?
True
Suppose 145 = -8*f + 9*f. Does 10 divide f?
False
Suppose 2*k + 15 = 4*z + 5*k, 3*z = 3*k - 15. Suppose -j + 2 = -m, -2*j - j = -4*m - 3. Suppose z*x - x = -j. Is x a multiple of 4?
False
Let k(g) = -3*g**3 - 11*g**2 + 4*g + 10. Let m(c) = -7*c**3 - 23*c**2 + 9*c + 21. Let t(f) = 9*k(f) - 4*m(f). Is 6 a factor of t(7)?
True
Suppose -o - o - 4 = 0, -2*j = -4*o - 10. Let g = j - -2. Suppose -5*z = -l - 13, -4*l + 38 = -g*z + z. Is 9 a factor of l?
False
Let p(w) = w**2 - 17*w + 16. Let o be p(11). Let g = -34 - o. Does 16 divide g?
True
Let m(s) = 3*s**2 + 5*s + 2. Let c be m(-4). Suppose 0 = 4*z + 4*k, 5*z - 4*k - c = k. Does 19 divide 3*(35/z - -1)?
True
Suppose w - 4 = 34. Let u = 25 - 0. Let q = w - u. Is 13 a factor of q?
True
Let n = -10 - -18. Suppose 0 = -0*y - 2*y + n. Suppose 3*w - 6 = -3*c, y*w = 2*c + 2*w - 12. Does 2 divide c?
True
Suppose -3*o = -o - 24. Suppose -b + 12 = -o. Suppose 5*f = 3*f + b. Is f a multiple of 6?
True
Let j(z) = -z + 11. Is 2 a factor of j(6)?
False
Let h = 3 + -3. Suppose h = -4*k - 0*k + 28. Suppose 3*p = 2*p + k. Is 4 a factor of p?
False
Suppose -29 = -5*r + y, -4*y + 2 = 3*r + 3. Suppose 19 = -5*n - 1, -r*d - 3*n + 48 = 0. Is d a multiple of 6?
True
Let g(d) = d - 3. Let l be g(3). Suppose 7*h - 2*h - 215 = l. Let z = -25 + h. Is z a multiple of 8?
False
Let u be (4 + 10/(-3))*3. Suppose h = 7 + u. Does 3 divide h?
True
Let v(c) = -11*c - 7. Let h(j) = 5*j + 3. Let q(a) = 5*h(a) + 2*v(a). Let u(b) = -b. Let r(p) = -q(p) - 4*u(p). Is r(6) even?
False
Suppose -v = 2*h - 409, 7*h = 6*h - v + 202. Does 69 divide h?
True
Let t = 20 - 50. Let f = t - -44. Does 7 divide f?
True
Let k(q) be the third derivative of q**4/4 - 5*q**3/3 - 2*q**2. Let a be 12/8*(-14)/(-3). Is k(a) a multiple of 16?
True
Let w be 0 + 0 + (-6)/(-3). Let t be (w/5)/((-1)/(-35)). Suppose 5*c + 7 = -s + 2*c, -c = -2*s + t. Is 5 a factor of s?
True
Suppose -117 = -w - 3*i, -2*w + 6*i + 224 = 10*i. Is w a multiple of 9?
False
Let w(x) = -7*x. Let k be w(-2). Suppose -3*b + 4 + k = 0. Suppose f + b = 21. Is f a multiple of 6?
False
Let n = 35 - 14. Is 7 a factor of n?
True
Suppose -r - 4 = -j, 0 = 4*j - 4*r - r - 17. Suppose -10 = -4*i - c + 42, -i - j*c = -2. Does 11 divide i?
False
Suppose 4 = k - 4. Is k a multiple of 4?
True
Suppose 224 = 5*f - c + 23, 3*f - 111 = 3*c. Does 21 divide f?
False
Suppose -5*p - 129 = -429. Is p a multiple of 15?
True
Suppose 0*t + 120 = -3*t. Does 32 divide (-16)/t - 1266/(-10)?
False
Let f be 78/10 + (-4)/(-20). Suppose -2*s + 0*s = -f. Is 4 a factor of s?
True
Let j(z) = z**2 + 8*z + 14. Let s be j(-6). Suppose s*n - 3*n = 5*q - 19, 4*n - 76 = -q. Does 4 divide n?
False
Suppose 0*c - 5*c + 10 = 0. Suppose 38 + 4 = c*w. Is w a multiple of 14?
False
Let f = 9 - 3. Let m(r) = -2*r + 8. Let c be m(f). Is 5 a factor of (-45)/c + 2/(-8)?
False
Let g(f) = -4*f**2 + 4*f - 4. Let b be g(3). Let p = b + 49. Is p a multiple of 12?
False
Let j(c) = 16*c + 8. Is j(4) a multiple of 9?
True
Suppose 2*v - 106 = 124. Is 24 a factor of v?
False
Let b = 34 + -20. Let l = b - 8. Is 19 a factor of 110/l - (-6)/9?
True
Let w(c) = 60*c + 4. Is w(2) a multiple of 34?
False
Let n(i) = -i**3 + i + 67. Let r be n(0). Suppose 3*z - 5*g = 68, 4*z - z - r = 4*g. Is 7 a factor of z?
True
Suppos