(j). Let h(v) = v**2 - 2*v - 3. Let o be h(3). Is m(o) a multiple of 14?
False
Suppose 2*b + 2*f = f + 65, 2*b - f = 59. Is b a multiple of 31?
True
Let j = 8 - 101. Let v = -28 - j. Suppose -4*y + 35 = -v. Is 10 a factor of y?
False
Let c = -18 - -63. Does 20 divide c?
False
Let h(d) = d**3 - 3*d**2 + 6*d - 4. Let u be h(4). Suppose -6 = -3*k + u. Is 4 a factor of k?
False
Let u = 3 + 0. Suppose u*c = m - 4*m + 51, -3*c + m + 55 = 0. Is c a multiple of 7?
False
Let f(l) = l**2 - l + 5. Suppose 3*t - 2 = 2*q, 4*t + 51 = -6*q + q. Let a be f(q). Let z = 93 - a. Does 13 divide z?
False
Let i = 13 + -3. Let c(j) = j + 11. Is c(i) a multiple of 7?
True
Suppose 0*s + 4 = 2*s. Suppose 0*w - w + s = 0. Does 4 divide 11/2 + 3/w?
False
Suppose 0*k = 4*k - 100. Is 5 a factor of k?
True
Let q = 5 - 3. Suppose 2*r = -2*r + q*t - 16, 2*r + t = 0. Is 4 a factor of (r/4)/((-9)/72)?
True
Let x be ((-72)/(-10))/(24/180). Let s = 0 + x. Does 9 divide s?
True
Suppose 2*b - 4*b - 4 = 0. Is (-76)/(4/b*1) a multiple of 19?
True
Let d = 3 - 3. Suppose -c = -d*c - 46. Does 23 divide c?
True
Is 9 a factor of -202*((-2)/12 - (-3)/(-9))?
False
Let m(u) = 15*u**2 + 2*u - 1. Let s be m(1). Let g = s - 2. Is g a multiple of 4?
False
Let v(s) = -26*s + 6. Let a(i) = 9*i - 2. Let r(d) = -17*a(d) - 6*v(d). Does 7 divide r(3)?
True
Let r(x) = -x**3 + 9*x**2 - 9*x + 3. Let t be r(6). Suppose -27 = -4*s + t. Is 6 a factor of s?
False
Suppose -c = c - 32. Does 16 divide c?
True
Suppose 0*v = -4*z + 4*v + 128, 3*v - 39 = -2*z. Is z a multiple of 9?
True
Let n be (-128)/7 + (-2)/(-7). Is 11 a factor of (-138)/(-4) - n/(-12)?
True
Suppose -8 = -2*g + 2*l + 22, -4*g = -3*l - 56. Does 11 divide g?
True
Suppose -j = -5 + 39. Let y = j - -50. Is y a multiple of 8?
True
Let o(s) = s**2 + s + 48. Is o(0) a multiple of 12?
True
Let i(f) = 3*f**2 - 4*f + 8. Does 7 divide i(-5)?
False
Let y(n) be the first derivative of -3*n**2 - 7*n + 1. Is 23 a factor of y(-5)?
True
Let t = 64 + -26. Does 10 divide t?
False
Suppose b + 13 - 57 = 2*i, 5*b + 5*i = 265. Does 25 divide b?
True
Let y(g) = -2*g - g**2 + 4*g**2 + 6 + 3*g**2 - 5*g**2. Let v = -8 - -12. Is y(v) a multiple of 13?
False
Suppose q = 4*q + 3. Let k(b) = 17*b - 3. Let j(w) = 67*w - 13. Let t(f) = 2*j(f) - 9*k(f). Is t(q) a multiple of 10?
True
Let v be (-6)/4*(-32 + 2). Suppose -8*w + 5*w = -v. Is w a multiple of 7?
False
Let f = 52 - 21. Let t = f + -15. Is t a multiple of 16?
True
Suppose -239 = -d - 0*o - o, 0 = -2*o + 2. Is 17 a factor of d?
True
Suppose -3*n - 2*b - 24 = 0, -2*b - 7 = 4*n + 23. Let s(x) = -x**3 - 8*x**2 - 15*x. Is s(n) a multiple of 6?
True
Let q be 6/(-30) - (-112)/10. Suppose 2*d - 36 = -b - 2*b, -q = -b - d. Does 7 divide b?
True
Let h = -4 + 7. Suppose -x + 0 + 4 = 0. Suppose -3*m + x*m = h. Is m even?
False
Let t(q) = q**3 + 5*q**2 + 2*q - 8. Let k(j) = 2*j**3 + 4*j**2 + j - 7. Let p(b) = -2*k(b) + 3*t(b). Is p(7) a multiple of 18?
True
Let g = 27 + -18. Let q = 19 - g. Is 6 a factor of q?
False
Let x = 1 + 2. Suppose 2*v + 5*z - 199 = -0*z, -z + 331 = x*v. Suppose 2*i + v = 5*g - 0*g, -g + 3*i + 25 = 0. Is g a multiple of 11?
True
Let f = 34 + -19. Does 5 divide f?
True
Let v be ((-16)/(-6))/((-8)/24). Let z = 17 + v. Is 9 a factor of z?
True
Let r = 25 + -11. Let o = r + 24. Is 14 a factor of o?
False
Let z(c) = c**2 - 9*c + 3. Let n be z(9). Suppose 0 = 5*h + 3*u - 38, 3*u - n = -0*u. Is h a multiple of 5?
False
Suppose 2*f = -0*f. Let o be ((-1)/(-1) - 5) + f. Let n(j) = -5*j - 6. Is 7 a factor of n(o)?
True
Suppose 2 = h - 0. Suppose -h*x - 24 = -5*g, 2*x + 5 = 2*g - 1. Does 3 divide g?
True
Let y = 101 - 59. Suppose 4*v - y = 7*v. Is 5 a factor of v/(0/1 + -1)?
False
Let j = 17 + -42. Let p = -18 - j. Suppose -2*h + h = 1, -p = -4*n - 5*h. Does 3 divide n?
True
Let j(h) = -h**2 - 9*h + 3. Suppose -a = -0*a + 8. Let b be j(a). Let z = b + -6. Does 5 divide z?
True
Let c = -5 - -7. Suppose c*m - 6 = 38. Is m a multiple of 22?
True
Let k(u) = 17*u**2 + 1. Let j be k(1). Let y = -6 + j. Is 6 a factor of y?
True
Suppose z - 6*z - 105 = 0. Let l(j) = -j**2 - 13*j - 8. Let g be l(-9). Is 6/z - (-148)/g a multiple of 5?
True
Let c = 12 - -5. Suppose -2*b - b = -2*f - 22, 3*b - f - c = 0. Suppose b*z = 3*z + 18. Does 8 divide z?
False
Let v = 2 + 0. Let x(b) = 4 - b**v - b**2 + b**2 - 11*b. Is 22 a factor of x(-9)?
True
Let h = -4 - -4. Suppose h = t - 4*t. Suppose 3*m + t*m - 45 = 0. Is m a multiple of 15?
True
Let w = 13 - 24. Let b = w + -34. Let l = -25 - b. Is 7 a factor of l?
False
Suppose 3*l - 117 - 27 = 0. Is (-242)/(-12) - 8/l a multiple of 20?
True
Let q(p) = p**3 - 4*p**2 + 8*p + 1. Let b be q(6). Let f(c) = 6*c + 6. Let z be f(3). Is 11 a factor of (-6)/z + b/4?
False
Suppose -13*f + 8 = -11*f. Suppose -f*m + 3*m + 70 = 0. Does 11 divide m?
False
Let k = 408 - 234. Is k a multiple of 24?
False
Let f(u) = 9*u**2 + 3*u - 4. Suppose -5*i + 10 = -5*a, 2*a + 5*i + 18 = 7. Is f(a) a multiple of 17?
True
Suppose 4*w + 2*k = -w + 236, 0 = -2*w + k + 89. Is w a multiple of 17?
False
Let y(k) be the third derivative of 5*k**4/8 - 5*k**3/6 - k**2. Is 11 a factor of y(4)?
True
Let u = -11 - -36. Is u a multiple of 5?
True
Let a = -45 - -78. Let z be 21/2*2/3. Suppose -z = x - a. Is 13 a factor of x?
True
Suppose -5*z + 14 = -16. Let l(n) = -n**3 - 4*n - 3*n**2 + 10*n**2 + 0*n + 8. Is 10 a factor of l(z)?
True
Let y be (5 + 1 + 1)/1. Suppose -2*n = -y*n + 265. Let z = n + -29. Is 10 a factor of z?
False
Suppose -5*u + j - 3*j = -262, -2*u + 3*j + 101 = 0. Does 13 divide u?
True
Suppose 17 = -2*k + 4*t + 85, t = -k + 19. Is k a multiple of 12?
True
Suppose 0 = 3*d + 4*k + 59 - 173, 3*d = 3*k + 135. Does 14 divide d?
True
Let d = 55 - 10. Let f = 9 + -4. Suppose -d = f*y - 190. Is 11 a factor of y?
False
Suppose 4*f - 21 + 1 = 0. Suppose 0 = -f*q - 4*z + 36, 5*q - 3*z = -0*q + 8. Suppose 25 = q*d + 1. Is d a multiple of 6?
True
Suppose z - 7 = -s, -z + 0*z = 3*s - 17. Suppose -s*v + 4*g + 120 = 0, v - 4 - 9 = 3*g. Is 13 a factor of v?
False
Let k = 14 - 3. Suppose k = y - 39. Is y a multiple of 19?
False
Suppose 0 = 5*s + 2*m - 424, s - 5*s - 3*m = -335. Does 19 divide s?
False
Suppose -4*u + 79 = 15. Suppose 0*n = -n + u. Is 8 a factor of n?
True
Suppose 5*k = -4*u + 518, 5*k - 8*u - 500 = -3*u. Let h = -156 + k. Does 2 divide (-1)/4 - h/24?
True
Let i = -2 - -11. Is 4 a factor of i?
False
Suppose 13 + 6 = n. Let c be (-2 - (12 + -1))/1. Let b = c + n. Is 5 a factor of b?
False
Suppose 3*o - 47 = 46. Suppose 0 = r - o - 11. Is 21 a factor of r?
True
Let y(v) = v**2 - 3*v + 13. Is y(5) a multiple of 2?
False
Let z(f) = f**2 + 5*f - 3. Let o be z(-6). Suppose 3*m + 33 = 4*m - o*s, 0 = -m - s + 33. Is 11 a factor of m?
True
Let q(d) = -d**3 + 6*d**2 + 7*d + 2. Let m be q(7). Suppose 4*w - m = z, -3*w - z - 2 = -w. Suppose w = 5*y - y - 3*j - 55, 4*y - 79 = -5*j. Does 8 divide y?
True
Let s be 6/3 + (-23 - -1). Let c(t) = 9*t**2 + t - 2. Let m be c(-2). Let n = s + m. Is 6 a factor of n?
True
Let x(t) = -17*t - 13. Let p(n) = 9*n + 7. Let d(j) = -11*p(j) - 6*x(j). Is 3 a factor of d(3)?
False
Let r = -114 - -240. Is 42 a factor of r?
True
Let y(h) = -h**2 - 13*h + 17. Let x be y(-14). Suppose 46 = -t + x*t. Does 23 divide t?
True
Let q = -23 - -10. Does 14 divide (-2)/q - 1712/(-26)?
False
Suppose -2*d + o + 25 = 0, 4*o - 56 = -5*d - 0*o. Let s be d/(-8) - (-7)/2. Suppose -2*q + 3*q - 80 = -5*t, 32 = s*t - 2*q. Does 5 divide t?
False
Suppose -5*u + 158 = -2*d - 1029, d + 1 = 0. Is 24 a factor of u?
False
Suppose 0*k + 6 = 2*k. Is 13 a factor of -1*(-37 + k - 0)?
False
Is (16/(-14))/(-4) - 234/(-14) even?
False
Suppose 4*v - 3*w - 163 = 0, 2*v + 4*w - 196 = -3*v. Does 20 divide v?
True
Suppose 28 = -5*o - 2*n + 145, -2*o = -4*n - 66. Is 3 a factor of o?
False
Suppose -c = -6*c - 25, -4*c + 230 = 5*u. Let a = u + 12. Is a a multiple of 24?
False
Let z = -68 + 82. Is z a multiple of 3?
False
Let d(i) = -i**3 - 9*i**2 + 10*i + 3. Let c be d(-10). Let p(k) = k + 3*k**2 - 3 + 3 - 1. Does 11 divide p(c)?
False
Suppose 2*b + 5 = 3*b. Suppose b*x = -0*x + 10. Suppose -3*h - 129 = -3*z, 4*h - x*h + 2 = 0. Is 12 a factor of z?
False
Is 4 a factor of (-2)/(-5) - (-664)/40?
False
Let x be 11 - 5 - (5 + -2). Suppose m + x*h - 