(1/(-95))?
False
Let h(j) = j**3 + 10*j**2 + 8*j - 11. Let s be h(-9). Let y(x) = 11*x - 4. Let r(l) = -5*l + 2. Let o(b) = s*y(b) - 5*r(b). Is 14 a factor of o(10)?
True
Let z(k) = -8*k**2 - 1. Let r be z(-1). Let g(y) = -y**2 - 10*y - 5. Is 2 a factor of g(r)?
True
Suppose -4*o = -8*o + 84. Does 7 divide o?
True
Suppose 0*j = -3*j + 42. Does 8 divide j?
False
Let r = -24 + 37. Is 3 a factor of r?
False
Let d be (-75)/((-72)/20 - -3). Suppose 0 = 4*t - 3*o - 81, -5*t + d = o - 0*o. Is 14 a factor of t?
False
Let m(f) = 0*f**3 + f - 1 + 2*f**3 + 3*f**3. Let q = 3 - 2. Is m(q) a multiple of 3?
False
Let g(c) = -2*c + 3*c + 6 + 2*c + 2*c**2. Suppose 2*a - 2*k - 1 + 15 = 0, 0 = 2*k - 6. Is g(a) a multiple of 26?
True
Let b(x) = -31*x - 1. Does 12 divide b(-1)?
False
Is (-54*10)/(3/(-2)) a multiple of 36?
True
Let h(m) be the second derivative of 5*m**3/6 - 3*m**2 - 3*m. Is h(6) a multiple of 24?
True
Suppose 0 = 3*a + 2*a - 40. Let v = -6 + a. Suppose -v*r + 20 + 36 = 0. Is r a multiple of 14?
True
Suppose 5*j = 3*p + 344, 4*j - 3*p - 280 = p. Is 38 a factor of j?
False
Suppose 0 = 4*j - 2*r - 260, 2*r - 6*r - 205 = -3*j. Suppose -2*h + j = h. Is 10 a factor of h?
False
Let n(c) = -c - 2. Let w be n(-5). Let z(h) = -w - 2*h - 7 + 5. Is 7 a factor of z(-6)?
True
Let w(g) = 2*g**3 - g**2 + g. Let u be w(1). Let m(o) be the third derivative of o**6/40 - o**5/30 + o**4/6 - o**3/3 - o**2. Is m(u) a multiple of 11?
True
Suppose -2*y + 3 + 1 = 0. Let o = y + 26. Is 14 a factor of o?
True
Let y be 3*2*(-1)/2. Is 11 a factor of 22/(((-6)/y)/2)?
True
Let r(m) = 7*m. Let n = -3 - -5. Let p be r(n). Suppose 0 = -4*u - p + 102. Is u a multiple of 14?
False
Suppose 0*c + 35 = 5*c. Let p = c - 2. Is 21 a factor of ((-1)/(-2))/(p/210)?
True
Suppose 4*n = 14 + 6. Let g(i) = i**2 + i + 10. Let x be g(0). Suppose -b + 2*k - 7 = -0*b, n*b - x = k. Does 3 divide b?
True
Suppose 0 = -0*f + 2*f - 10. Suppose -2*a - 2 = s - 0, -f*s = 0. Is (10/7)/(a/(-7)) a multiple of 8?
False
Suppose 4*u - 560 - 152 = 0. Does 30 divide u?
False
Suppose 2*a + 1032 = 3*p, 3*p - 2*p - 2*a = 348. Is p a multiple of 18?
True
Let a = 205 + -114. Is a a multiple of 17?
False
Suppose -2*w + 19 = -w. Suppose 5*v - 54 = 3*v. Let c = v - w. Does 4 divide c?
True
Is 19 a factor of (-9 - -9) + 19*3?
True
Suppose -4*y + 5*d + 39 = 6, -5*y + 3*d = -25. Let m(s) = 7*s + 1. Does 15 divide m(y)?
True
Let s = -48 + 176. Is 16 a factor of s?
True
Let n = 0 + -8. Let t = 7 - n. Is 4 a factor of (-36)/(-10) - (-6)/t?
True
Let a = 4 - 6. Let r = a + 20. Is 8 a factor of r?
False
Suppose -4*u = -7*u + 201. Is u a multiple of 24?
False
Suppose 5*w = -25, 0*j + 4*j = w + 1137. Suppose 5*l - 4*i + 0*i = j, 0 = -4*l - 5*i + 210. Does 16 divide l?
False
Let z(q) = 2*q**2 + 14*q + 10. Let d = 10 + -5. Suppose 0*h + 39 = -3*b - 3*h, b - d*h = 11. Does 23 divide z(b)?
True
Suppose 3*x - u - 351 = 0, -2*u + 259 = 2*x + 17. Is 20 a factor of ((-5)/10)/((-1)/x)?
False
Let i(h) = -2*h**3 - 5*h**2 + 8. Is i(-4) a multiple of 14?
True
Let j(i) = 3*i + 9. Let f(x) = -x. Let n(t) = -5*f(t) - j(t). Let u(z) = z**2 + z + 2. Let h be u(-3). Does 3 divide n(h)?
False
Let h(r) = -r**2 + 6*r - 3. Let s be h(2). Suppose s*t - 3*t = 36. Does 18 divide t?
True
Let j be (1 - 0)*(-6)/(-3). Suppose -p + j = -7. Is 8 a factor of p?
False
Suppose 2*x + 11 = 3*x + i, i = -2*x + 21. Let p be 85/x - 2/(-4). Let g(w) = -w**3 + 11*w**2 - 12*w. Is 14 a factor of g(p)?
False
Let l(z) be the third derivative of -z**6/120 - 11*z**5/60 + 8*z**3/3 - z**2. Is 6 a factor of l(-11)?
False
Suppose -a - 2*a = -24. Is (18/a)/((-15)/(-40)) a multiple of 4?
False
Let g = 5 - 3. Is 4 a factor of (0 + g)*(-11)/(-2)?
False
Let n = 24 + -42. Let t = n - -40. Is t a multiple of 11?
True
Suppose -5*g + 19 = -16. Let m(z) = 2 - 7 + 0 + 9*z. Does 21 divide m(g)?
False
Let q(b) = -12*b**2 - 9*b - 1. Let j be q(-8). Let z be (-2)/5 - j/5. Suppose 9 = 4*t - z. Does 21 divide t?
False
Let d = -34 - -21. Let k be (-8)/(-52) + 54/d. Let n = k + 6. Is n even?
True
Suppose g = 0, -3*g - 351 + 51 = -5*m. Is m a multiple of 15?
True
Let a(l) = -l**3 - 9*l**2 - 19*l - 5. Is 18 a factor of a(-9)?
False
Let o be 4/(1*2/(-4)). Let s(w) = -w**3 + 10*w**2 + 8*w + 7. Let q be s(11). Let u = o - q. Does 9 divide u?
True
Suppose 4*f - 242 = -2*d, -4*f + 0*d + 239 = -d. Is 21 a factor of f?
False
Suppose -16 = -z + 32. Let x = -13 + z. Suppose 4*r - 14 = 3*g + x, -3*r + 21 = 3*g. Does 10 divide r?
True
Let n(f) = f**3 - 10*f**2 + 10*f + 5. Let b be n(9). Let g = b - -10. Does 24 divide g?
True
Let c = -15 + 6. Let v(q) = 3*q**2 + 5*q**2 + 3 - 4 + q**3 - 5 - 13*q. Is 15 a factor of v(c)?
True
Let l = -27 - -58. Is l a multiple of 7?
False
Suppose -18*o = -17*o - 240. Is o a multiple of 16?
True
Suppose -i + d - 26 = -4*i, 4*i + 4*d = 40. Is 38/5*(i - 3) a multiple of 16?
False
Suppose -4*r + 250 = 6*r. Does 25 divide r?
True
Let k = 5 - 3. Let y be (k/(-10) + 1)*30. Suppose -p - y = -n + p, -44 = -n - 3*p. Is n a multiple of 16?
True
Let g be 14/(-6) - (-1)/3. Let r = 6 + g. Is 4 a factor of r?
True
Suppose 8*k = -302 + 942. Does 17 divide k?
False
Let s(d) = 21*d - 27. Is 39 a factor of s(18)?
True
Let w be (-2)/6 + (-40)/(-3). Let z(s) = s - 3. Is 10 a factor of z(w)?
True
Suppose 11 + 7 = 3*t. Suppose t*y = 4*y + l + 88, 0 = y + 5*l - 55. Is 32 a factor of y?
False
Let f(y) = y**2 - 10*y + 12. Let g be f(9). Let k be -1*(2*-4 - g). Let p(b) = -b**2 + 13*b - 12. Is 5 a factor of p(k)?
True
Let z(j) = j**3 + 6*j**2 + 3*j - 5. Let f(o) = o**2 + o - 1. Let p be f(2). Let b = p - 9. Is 11 a factor of z(b)?
False
Let t = 24 + -14. Does 10 divide t?
True
Let g(z) = z**3 - z**2 - z + 1. Let d(u) = u**2 - 7*u + 7. Let b be d(6). Let f be g(b). Suppose -o + 4*o - 42 = f. Does 14 divide o?
True
Is 1 + 51/3 + 0 a multiple of 6?
True
Suppose -3*o - 108 = 2*c - 5*c, 4*o = 2*c - 68. Is 19 a factor of c?
True
Suppose -7*b - 184 = -3*b. Let i = -29 - b. Suppose 4*c - i = -5*l, -4*l + 0*c = c - 18. Is 5 a factor of l?
True
Let o(t) = 7*t**2 + 5*t + 3. Is 9 a factor of o(-6)?
True
Let o(n) = n**3 - 6*n**2 - 2*n + 4. Let s be o(7). Let x = s - 19. Is x a multiple of 10?
True
Suppose 0*g = 3*g. Suppose -y = 5*n + 324, 3*n + 5*y = -g*n - 190. Is 7 a factor of 2/(-9) + n/(-9)?
True
Let r = 10 - 19. Does 20 divide (-1 - -13)/(r/(-30))?
True
Suppose 0 = 3*l - 8*l + 30. Let j = 9 + l. Is j a multiple of 15?
True
Let w be (-5 + -2 + 2)/(-1). Suppose 3*s - 3*k = -k + 40, 4*s + w*k - 38 = 0. Does 7 divide s?
False
Let v = -7 + 12. Let a(w) = -3*w**3 - 7*w + 6*w**3 - 2*w**3 + 6 - v*w**2. Is 21 a factor of a(7)?
False
Suppose 2*t + 47 = 3*j, 5*j = 4*t + t + 85. Is j even?
False
Let i = -1 - -6. Let b(l) be the second derivative of l**5/20 - l**4/3 - l**3/3 + 3*l**2 - 5*l. Does 21 divide b(i)?
True
Let w(y) = 47*y**2 + y. Let v be w(1). Suppose k - v = -c, 0*c - 2*c + 108 = 5*k. Does 22 divide c?
True
Suppose 25 + 29 = -2*d. Let i = d - -42. Let l = 5 + i. Is 10 a factor of l?
True
Suppose -37*n = -38*n + 196. Is n a multiple of 16?
False
Suppose 2*q = 4*q - 20. Let k be q/25 + (-47)/5. Let g(r) = -2*r + 9. Is 14 a factor of g(k)?
False
Let w = -3 + 17. Is 8 a factor of w?
False
Let c = 5 - 2. Is 8 a factor of 1/c + 520/24?
False
Let k = -6 + 58. Does 13 divide k?
True
Let u = 65 - 11. Is u a multiple of 9?
True
Suppose r - 44 = -0*r. Suppose -3*w = -2*t - r, -t + 56 = 3*w + 3*t. Is 8 a factor of w?
True
Let a(h) = 4 + 3*h - 1 - h. Let o be a(-2). Let t(c) = -27*c**3 + 2*c**2 + 2*c + 1. Is 14 a factor of t(o)?
True
Suppose 20 = 4*k, k + 1 = 2*h - 0*h. Suppose h*q = -0*q + 201. Is q a multiple of 18?
False
Let i be (-160)/6*(-36)/16. Suppose -4*t = -5*t + i. Does 20 divide t?
True
Let h be (-2)/8 + (-46)/8. Let d be 8/((-3)/h*-2). Let o = d + 22. Is 14 a factor of o?
True
Let x(q) = -2*q + 14. Let y be x(0). Suppose 5*n - 26 = y. Is 4 a factor of n?
True
Suppose 3*u - 577 + 49 = 0. Is 16 a factor of u?
True
Suppose 4*j + 10 = 154. Is 4 a factor of j?
True
Let o be (-1 + 2)/(-1) - -5. Suppose 3*w - o*w + 17 = 0. Suppose 0 = -4*y + 19 + w. Is y a multiple of 9?
True
Let a be 2/12 + (-69)/(-18). Suppose -24 = a*t - 68. Does 7 divide t?
False
Suppose 0 = 2*o + 19 + 37. Let r be (-1196)/o - 2/(-7). Let t = -26 + r