*b + 226, -w*b - r = -96 - 183. Suppose -3*i = i - b. Does 14 divide i?
True
Suppose 0 = 3*s - 3*x, -2*x = -4*s - x + 6. Let t be -1*(s - -7) - -2. Does 18 divide 2/t + 606/14?
False
Let a be 3/(1 - (-24)/(-26)). Is 2/(a/12 - 3) a multiple of 8?
True
Let x(t) = -t - 2. Let z = 23 - 30. Does 3 divide x(z)?
False
Let c(h) be the first derivative of -3*h**3/2 - h**2/2 + h + 2. Let s(l) be the first derivative of c(l). Does 4 divide s(-1)?
True
Suppose -r + 0 = -3. Suppose w + 0*w = r. Let c(i) = 4*i + 4. Does 8 divide c(w)?
True
Suppose -4*g = 3 + 1, 4*g - 6 = 2*k. Let v(c) = c**2 + 3*c. Does 4 divide v(k)?
False
Suppose 5*n - 337 = -z - 14, -2*n + 122 = -2*z. Is 8 a factor of n?
True
Suppose 3*a - 2 = -5, 5*a = i - 41. Is 12 a factor of i?
True
Let a(b) be the second derivative of 37*b**4/4 + b**3/3 + b**2/2 + 2*b. Let k be a(-1). Suppose -s + 14 = -g, 6*g - k = -5*s + g. Is 12 a factor of s?
False
Suppose t - 6*t + 20 = 0. Does 12 divide t - (-1 - (2 + 17))?
True
Let s be (-4)/6 - (-8)/3. Let b(y) = 3*y**2 + 3*y - 3. Is b(s) a multiple of 12?
False
Suppose 0 = o - 11 - 44. Is 13 a factor of o?
False
Suppose 4*i = 8, 4*s - 3*i + 0*i - 1238 = 0. Is s a multiple of 35?
False
Let t = -6 - -9. Suppose b - 5*d = 42, -b + 4*d = t*b - 120. Is 10 a factor of b?
False
Is 12 a factor of (-1)/1 - 0 - -37?
True
Let t = -4 - -6. Suppose 0 = 4*v + t*p + 30 - 200, 2*p - 84 = -2*v. Does 11 divide v?
False
Suppose 0 = 3*m - 61 + 19. Let b(n) = m*n**2 + 14*n**2 - 1 + n + 2 + n. Is 10 a factor of b(-1)?
False
Suppose 4*t = 7*t + 96. Let w = 47 + t. Does 10 divide w?
False
Is (-26)/(-1 + (-12)/(-20)) a multiple of 23?
False
Is 3 a factor of 4/(4/31) + 4?
False
Suppose w - 4*u + 1 = -17, -w - 8 = -2*u. Let z(v) = -8*v + 11 - 2*v + 8*v**2 - 3*v + v**3 + w*v. Is 11 a factor of z(-9)?
False
Let o = -3 - -11. Does 2 divide o?
True
Suppose 3*i - 3*f = 18, -i - f + 30 = 2*i. Is 9 a factor of (-174)/(-8) - i/12?
False
Let j(w) = -w**3 + 2*w**2 + 5*w - 2. Let s be j(3). Suppose g = s*g + 12. Let k = g - -12. Is 6 a factor of k?
False
Suppose 5*a - 72 = 2*d - 5*d, -d - 3*a + 24 = 0. Is 24 a factor of d?
True
Let y(w) = -w**2 + 10*w + 3. Let g = -5 + 3. Let t be -1*8*(g - -1). Does 10 divide y(t)?
False
Let z = -7 + 11. Is z a multiple of 2?
True
Let m be 7 + -9 + (-6)/(-3). Suppose -5*d + 7 = q - m, 0 = -2*q + 2*d + 50. Is q a multiple of 22?
True
Suppose 1 = w - 3. Is 4 a factor of w?
True
Let m = 7 - 2. Suppose 4*j = m*j - 12. Let d = 22 - j. Does 10 divide d?
True
Suppose 3*i - 65 = 94. Is 33 a factor of i?
False
Let t(j) = -3*j**2 + 8*j + 1. Let a(d) = 2*d**2 - 4*d. Let q(r) = 5*a(r) + 3*t(r). Let f be q(-4). Suppose -4*z + 19 + 3 = 2*b, 5*b - f*z = 55. Does 4 divide b?
False
Suppose 4*l - l - 162 = 0. Is l a multiple of 8?
False
Let u(p) = -p**2 + 8*p + 9. Let f(q) = q**3 - 10*q**2 + q - 2. Let n be f(10). Is u(n) a multiple of 3?
True
Let v be -4*(-3)/((-6)/59). Suppose 5*g = -2 - 3. Does 20 divide v*(g - (-1)/2)?
False
Suppose 2*f - 6 = 5*o + 13, 3*f - 37 = -o. Suppose -f = -4*d - 32. Let m(i) = -10*i + 4. Is m(d) a multiple of 22?
False
Let i = -12 - -31. Suppose m = i + 5. Does 13 divide m?
False
Let r = 3 + -3. Suppose r = m - 4*m - 5*q + 95, -2*q + 92 = 3*m. Is m a multiple of 11?
False
Let y(a) = 9*a**2 - 3*a + 2. Let t be y(-3). Suppose -5*o + 52 = r, 4*r = 2*o + 6 + t. Is r a multiple of 15?
False
Suppose 0 = -9*y - 3*y + 2088. Does 28 divide y?
False
Let u(z) = -z**2 - 3*z - 2. Let h be u(-4). Suppose 18 = s + 5*r, 7 = 4*r - 5. Is 17 a factor of (-188)/h*s/2?
False
Suppose -o - 3 = -1. Let r be (o/4)/((-3)/108). Is (r/4)/((-1)/(-6)) a multiple of 10?
False
Suppose 9 + 12 = 3*y. Is y a multiple of 4?
False
Suppose 5*x = 12 + 28. Is 4 a factor of x?
True
Let t = 6 + -6. Suppose t = -g + 5*c + 23, -4*g = -c - 3*c - 60. Is g a multiple of 13?
True
Let m = 23 + 67. Is m a multiple of 30?
True
Let w(h) = -h**2 - 7*h - 7. Let p be w(-5). Suppose 3*q - 105 = -0*q + p*n, 4*n = 4. Is 12 a factor of q?
True
Let u = 32 + -20. Is 2 a factor of u?
True
Let d = -17 + -35. Let c = -20 - d. Is c a multiple of 16?
True
Let r(s) be the second derivative of s**2 - 3*s. Let a(b) = -b + 1. Let n(w) = -a(w) - r(w). Is 4 a factor of n(7)?
True
Let h = -4 - -5. Let l(s) = s**3 + s**2. Is l(h) even?
True
Let w(s) = -16*s - 1. Let l be w(1). Let a = l - -34. Is 8 a factor of a?
False
Suppose 4*w + 4*p - 28 = 0, 5 = -w - p + 6*p. Let r(c) = -w*c + 2 + 2 + c**2 + 0*c**2. Does 4 divide r(5)?
True
Suppose -20*i + 18*i + 52 = 0. Is 10 a factor of i?
False
Let i(l) = -5 + 0*l - l + 4. Is i(-5) a multiple of 2?
True
Let v = -25 - -41. Does 8 divide v?
True
Suppose 3*g + 52 = 502. Is 25 a factor of g?
True
Let d(f) = 2*f**2 - 4*f - 7. Is d(-6) a multiple of 5?
False
Let r(k) = 62*k + 6. Is r(3) a multiple of 12?
True
Let k(u) = 5*u**2 - 2*u + 4. Suppose 4*i = -2*s + 5*s + 17, 0 = 4*i - 8. Is 21 a factor of k(s)?
False
Suppose -z + 2 = -1. Let j(h) = 2*h**2 - 6*h**z + 7*h**3 - 2*h + 0*h**3. Does 12 divide j(2)?
True
Suppose -3*q + 5*j + 13 = 0, 0 = j + j + 4. Suppose r - q = 2. Does 4 divide 10 + (0 - r) + 1?
True
Suppose 0 = 4*t - 6 - 2. Suppose i - t*i = -16. Is i a multiple of 12?
False
Let a be (8/(-6))/((-4)/12). Is (2 + -3)/(a/(-88)) a multiple of 8?
False
Suppose -d - 211 = -4*x, 5*x - 2*d = 207 + 59. Is 26 a factor of x?
True
Let j = -37 + -4. Let g = -17 - j. Does 6 divide g?
True
Suppose -s + 18 = 4*b - b, 4*b = 16. Is s a multiple of 6?
True
Let h = -26 - -51. Is h a multiple of 16?
False
Let r(b) = -b**2 + 6*b - 3. Let v be r(4). Suppose 5*l - 34 = -4*p, -v*p = -2*p + 3*l - 27. Suppose -2*g = -3*c - p, -g + 0*g + 5*c = 5. Is g a multiple of 10?
True
Suppose 1 + 5 = 4*c - f, -3*c + 5*f = -13. Does 4 divide (3 + 9 + -4)/c?
True
Let r(l) = -l**3 + 9*l**2 + 4. Let u(y) = -y**2 + 9. Let g be u(0). Let s be r(g). Suppose -c + s*c - 84 = 0. Is c a multiple of 11?
False
Is 13 a factor of ((-11)/22)/((-2)/236)?
False
Let c(o) = o + 2. Let k be c(-3). Suppose 4*a = 2*a + 12. Let i = a - k. Does 5 divide i?
False
Let m = 10 - -8. Suppose 33 - m = 3*f. Is f a multiple of 3?
False
Suppose -5*m - 2*w = -220, -w - 180 - 9 = -4*m. Is m a multiple of 28?
False
Suppose 2*t - 8 = -0*t. Suppose -4*k + 4 + t = 0. Suppose -k*w + 3*x + 58 - 4 = 0, -3*w - x = -92. Is 15 a factor of w?
True
Let h(v) = -v**2 + 8*v + 11. Let p be h(9). Let f(o) = 0*o**p + 5*o**2 - o**3 + 6*o - o - 6. Does 15 divide f(4)?
True
Suppose -3*o + 37 = -17. Let g be (o/15)/(2/5). Suppose -g*t = -4*c - 0*t + 102, 25 = c - t. Is 9 a factor of c?
True
Let n(h) = h**3 - h**2 + 31. Suppose 2*f + 0*f = 0. Is 8 a factor of n(f)?
False
Let x be 2/((9/6)/3). Suppose 2*p = -3*k + 17, 8 + 3 = -p + 5*k. Suppose -x*s + 67 = u, -p*s - u = 2*u - 57. Does 9 divide s?
True
Suppose -4*m + 20 = -0*m, 2*o - 266 = -2*m. Is 32 a factor of o?
True
Let a be 1*(-5)/((-15)/(-24)). Let s = a - -26. Is s a multiple of 9?
True
Let p = 9 - 9. Suppose p = -t - 1 + 28. Is t a multiple of 9?
True
Let t(j) = -3*j + j**2 + 0 + 5 + 0. Suppose 0*w - a = 3*w - 23, -3*w - 5*a = -31. Does 12 divide t(w)?
False
Suppose -q = -5*z - 20, 0 = -q + 3*q + 3*z - 27. Is 6 a factor of ((-42)/q + 2)*-15?
True
Suppose j + 6 = 2, n + j = 22. Is 11 a factor of n?
False
Let d be 14/(-21) + (-26)/(-3). Let a(t) = 0*t + 11*t - 11 - t**2 + 0*t**2. Is a(d) a multiple of 13?
True
Suppose -2*d + 704 = 4*t, -3*t + 3*d + 624 - 78 = 0. Let j be 3 + 0 + 2 + -1. Does 8 divide j/18 - t/(-9)?
False
Let d(t) = -t - 8. Let g be d(-6). Is (1 + -23)/(g/3) a multiple of 10?
False
Let p = -5 + 10. Is 5 a factor of p?
True
Suppose m - 329 = -5*v, -v - 4*m + 326 = 4*v. Does 33 divide v?
True
Suppose -4*p + 72 = g - 51, 2*p + 615 = 5*g. Is g a multiple of 29?
False
Does 30 divide (-24)/5*(-120)/18?
False
Let m = 10 - 10. Suppose 3*w = 4*u + 52, -2*w + m*w + 8 = 4*u. Is w a multiple of 6?
True
Let u be (-1)/(((-2)/6)/(-1)). Let f be u/6*2*-1. Suppose -x - t = -3, -3*t - 2 = x + f. Is 6 a factor of x?
True
Let a(c) = 2*c - 7. Suppose -k + 4*n + 4 = 0, 0*k + 2*n + 2 = -2*k. Let g(v) = -v**3 - v**2 + 8. Let q be g(k). Is a(q) a multiple of 3?
True
Let y(n) = -n**3 + 5*n**2 + 4*n + 8. Let r be y(7). Let u = r - -87. Is u a multiple of 14?
False
Suppose -2*g + 5*r = 50, -2*r - 22 = g - 3*r. Suppose 5*u = u - 5