. Suppose 4*q = c + 4. Is 11 a factor of q?
True
Let q be (2/5)/(1/50). Suppose -4*w + 8 = -q. Does 4 divide w?
False
Let q be ((-4)/6)/((-1)/(-96)). Let m = -45 - q. Is 11 a factor of m?
False
Let y be (28/(-10))/(8/(-20)). Let o = y - 2. Suppose -76 = -o*g + 94. Does 17 divide g?
True
Let i = 85 + -50. Is i a multiple of 10?
False
Let d = 35 - 11. Does 5 divide d?
False
Let j(x) = x**3 - 5*x**2 + 6*x - 2. Let n be (-44)/(-12) + (-2)/(-6). Let b be j(n). Is 17 a factor of 18/b + 0 + 32?
False
Suppose 284 = 5*o - o. Is 22 a factor of o?
False
Let x be (-2)/(-6) + (-1085)/(-21). Let u = 87 - x. Is 19 a factor of u?
False
Let t = -19 + 34. Suppose t = -4*k + 111. Does 7 divide k?
False
Let j be ((-36)/(-15))/(12/40). Suppose -68 = -5*g - j. Does 12 divide g?
True
Let o(v) = v**2 - 5*v - 3. Let i be (-1 - 1) + 13 + -4. Does 11 divide o(i)?
True
Let w(r) = -r**2 - 11*r + 13. Let o be w(-10). Suppose 5*h + 5*m - 175 = 0, -2*h + 26 = -5*m - o. Is 8 a factor of h?
True
Let i = -6 - -14. Let j = i - 3. Suppose -j + 20 = 3*a. Is a even?
False
Suppose 0 = -c + x - 1, -2*x - 17 = -4*c - 5*x. Suppose -c*d = -d - 2. Suppose 0 = -d*m + 14 + 2. Does 3 divide m?
False
Let g = 9 - 7. Is 13 a factor of (g/(-4))/(2/(-104))?
True
Let a = 1 + 0. Suppose 3*q - 2*y - 24 = y, -q - a = 2*y. Does 3 divide q?
False
Let p = -38 + 78. Is 10 a factor of p?
True
Let d(a) = a**3 - 7*a**2 - 3*a - 1 - 4*a - 2 - 2*a**3. Let r be d(-6). Suppose -2*h + 0*h = -5*c - 69, -91 = -r*h + 5*c. Is h a multiple of 16?
False
Let n(b) = b**3 + 9*b**2 - 3*b - 10. Does 6 divide n(-9)?
False
Suppose 3*o = -4*c + 5, -c + 4*o = 5*o. Suppose 0 = -3*v + 15, 30 = a - c*v + 2*v. Let t = -26 + a. Does 13 divide t?
False
Let b = -91 - -190. Is 25 a factor of b?
False
Suppose 0 = -3*c - 0*c + 90. Let h = -20 + c. Is h a multiple of 4?
False
Does 12 divide 241/5 - 4/((-60)/(-3))?
True
Let w = 79 + -40. Suppose 0 = 3*b - w. Does 13 divide b?
True
Is 0/(-5) + (16 - 0) a multiple of 16?
True
Suppose 5*k = 7 + 8. Suppose -k*t = -2*d - 2*t + 5, -5*d + 5 = -5*t. Suppose 4*g - d = -x + 3*g, 2*g - 26 = -5*x. Is x a multiple of 6?
True
Let b(k) = k + 4*k**3 + k + 6*k**2 - 6*k**2 - 3. Let m be b(2). Let u = 74 - m. Is 11 a factor of u?
False
Let m be ((-6)/15)/((-2)/(-60)). Let l = m + 17. Suppose -4*p = -l*i - 253, -4*i + 2*i = 3*p - 161. Does 20 divide p?
False
Let q = -312 - -468. Is 12 a factor of q?
True
Suppose y - 201 + 81 = 0. Is 20 a factor of y?
True
Let c(s) = 0 - 5*s - 2 + 3*s - 1. Is c(-5) a multiple of 2?
False
Let o(q) = -57*q**3 - 3*q - 3. Does 19 divide o(-1)?
True
Let k be (-1*1)/(6/90). Let m = -1 - k. Does 11 divide m?
False
Suppose 3*v + i + 2*i = 9, -v + 2*i = -6. Let l be (1 + (-2)/v)*2. Suppose 13 = 3*x + l. Does 2 divide x?
True
Let l(h) = -19*h**3 - 2*h**2 + 1. Does 6 divide l(-1)?
True
Does 13 divide 9*(0 + (-28)/(-12))?
False
Let d(n) = -18*n**3 + 2*n + 1. Suppose 11 = g + 12. Is d(g) a multiple of 6?
False
Suppose 4*u + 0*u = 0. Suppose y + 2*y - 39 = u. Does 5 divide y?
False
Let f(b) = 17*b**2 + 3*b - 1. Let g = 9 + -7. Is 18 a factor of f(g)?
False
Let u(k) = k**2 - 5*k - 10. Suppose y + 14 = 3*y. Is u(y) a multiple of 3?
False
Suppose 3*v + 6 = 2*v. Let a = v - -4. Let p = a - -4. Is 2 a factor of p?
True
Let k be 4/18 + (-100)/(-36). Suppose 27 = p - s, -k*p + s + 49 = 6*s. Is 11 a factor of p?
False
Let s(v) = -4*v - 16. Let l(h) = 6*h + 24. Let q(y) = -5*l(y) - 8*s(y). Is 6 a factor of q(8)?
True
Suppose 4*k = -6 + 22. Let n(t) = 18*t - 4. Let z be n(6). Suppose -6*p + 2*p + z = 3*r, 74 = 2*p - k*r. Is 13 a factor of p?
False
Let w(x) = 8*x - 6. Does 9 divide w(3)?
True
Suppose 0 = 3*h - h - 5*t - 85, 0 = 5*h + 4*t - 229. Does 5 divide h?
True
Let i(u) = 2*u**3 + 3*u**2 - 3*u + 1. Let m be i(-3). Let z = -16 + 61. Let b = z + m. Does 14 divide b?
True
Let f be (0 + 1 - -1) + -2. Suppose 0 = 2*z - f*z - 10. Is z a multiple of 5?
True
Is ((-1)/(4/28))/(-1) a multiple of 2?
False
Is (4 + -5)/((-4)/116) a multiple of 6?
False
Suppose -34 = 5*b - 109. Does 6 divide b?
False
Suppose -4*o + 6*o - 2*d = 40, -3*d = 5*o - 76. Does 4 divide o?
False
Is -3*4/6 - -28 a multiple of 26?
True
Let t(f) = f**2 - 8. Let h = -2 - 4. Is t(h) a multiple of 8?
False
Let g = 177 - 3. Is g a multiple of 36?
False
Let f be 44/(-10) + 8/20. Let w be (2/4)/(f/144). Is 21 a factor of 8*(-4)/(16/w)?
False
Let f be 52/(-2*(4 + -5)). Suppose -2*b = -f - 68. Is 11 a factor of b?
False
Suppose 5*t = -k + 110, 2*t - 97 = -2*t + k. Does 11 divide t?
False
Suppose -8 = 5*h - 33. Suppose -h*y = 115 - 25. Does 13 divide ((-6)/(-1))/((-4)/y)?
False
Let k(p) = -11*p - 5. Does 13 divide k(-4)?
True
Is 6 a factor of 12/4 + 9*1?
True
Suppose -a + 5*a - 112 = 0. Is 14 a factor of a?
True
Let v be (-6)/3*6/(-2). Let q(o) = -o**2 + 5*o + 8. Let k be q(v). Let y = 18 + k. Is y a multiple of 10?
True
Let h be (8 - 6)*142/4. Let v = 9 + h. Suppose -8*j + v = -3*j - 5*s, 2*j - 24 = -2*s. Is j a multiple of 7?
True
Let c(i) = -3*i**3 + 6*i**2 + 6*i + 6. Let w be c(-4). Suppose 5*l + 50 = w. Does 15 divide l?
False
Suppose -10*q + 8*q + 70 = 0. Does 7 divide q?
True
Does 19 divide (4/6)/(14/399)?
True
Is 490/(-28)*(-12)/10 a multiple of 6?
False
Let f = -136 - -80. Is (-5808)/f - (-4)/14 a multiple of 27?
False
Let s = -29 - -173. Does 37 divide s?
False
Let a be 22/5 - 2/5. Suppose 3*d + 26 = a*d. Is 12 a factor of d?
False
Suppose q = 2*m + 54, -2*q = 3*q + m - 281. Is 8 a factor of q?
True
Is 46 + (1 - 6) - -4 a multiple of 15?
True
Suppose 10 = -3*o - 8. Is -2 - 3/(o/64) a multiple of 15?
True
Suppose -4 = v - 5*v. Is v + -4 + 7 + 47 a multiple of 22?
False
Let i = -74 + 116. Is i a multiple of 7?
True
Let b(y) = 3*y - 1. Let o be b(1). Suppose -5*r = 17 - o. Let x = r + 24. Is 10 a factor of x?
False
Let y = 121 - 43. Is y a multiple of 41?
False
Let n(x) = -6*x - 6. Let b(c) = -c**3 - c**2 + 3*c + 1. Let a be b(-3). Suppose -v = -0*v - 3*w + 1, -3*v - a = -2*w. Does 7 divide n(v)?
False
Let l(d) = 2*d**2 + 3 - 1 - 4. Let y be l(-4). Suppose y = -2*i + 98. Does 17 divide i?
True
Let k be 2/(-4) + (-114)/(-4). Let p = 56 - k. Does 14 divide p?
True
Let y(m) = m**2 - 6*m - 6. Does 42 divide y(-12)?
True
Let u(n) = -n**3 + 4*n**2 - 3*n + 1. Let w be u(2). Suppose -w*z + 2 = -1. Is 0*(2 - z) - -16 a multiple of 8?
True
Suppose 0*g + 226 = 2*s - 2*g, -s = -4*g - 113. Is 10 a factor of s?
False
Let r = -312 - -649. Is r a multiple of 15?
False
Let i(b) = -10*b - 2. Is i(-2) a multiple of 7?
False
Let h = 302 + 116. Suppose -w + 24 - h = -5*s, 0 = -5*s - 4*w + 399. Does 16 divide s?
False
Let i(j) = -j**2 + 5*j + 3. Let w be i(5). Suppose -5*k - 21 = -u, 0 = -3*u - w*k - 0*k + 45. Suppose -u - 2 = -z. Does 9 divide z?
True
Let r(a) = 3*a - 3. Let l be r(2). Suppose 4*n = -l + 35. Suppose 2*q + 4*x - 6 = 0, -4*q + 3*x = -n - 15. Is q a multiple of 5?
True
Let z be (1/(-2))/(5/(-10)). Let f = z - -4. Is f a multiple of 5?
True
Let h(f) be the first derivative of f**3 + f**2/2 - 2*f + 1. Suppose -3*r - 10 = 2*r. Is h(r) a multiple of 8?
True
Let t = -3 - -8. Let f(i) = -2 - 4 - 4 + 3 + 5*i. Is 9 a factor of f(t)?
True
Let g = 208 - 33. Is g a multiple of 15?
False
Suppose -5*v + 156 = 2*x, v + 4*x = -2 + 26. Let s = 58 + v. Is s a multiple of 30?
True
Suppose 4*a = -j + 100, 3*a + 0*a - 80 = -2*j. Let w = a + -6. Is w a multiple of 18?
True
Let j be (5/5)/((-2)/4). Let q be (j/2)/(1/(-5)). Suppose 0*v - u + 167 = q*v, 4 = 2*u. Does 25 divide v?
False
Let x(p) = 20*p**2 + p - 26. Let w(y) = -7*y**2 + 9. Let l(n) = 17*w(n) + 6*x(n). Let q(r) be the first derivative of l(r). Is q(5) a multiple of 14?
False
Suppose 1 = f + 3*n + 13, 0 = 4*f + 5*n + 13. Suppose 0 = -f*c + 62 + 100. Is 18 a factor of c?
True
Suppose 4*a + b = -a + 98, -2*b - 84 = -4*a. Is 20 a factor of a?
True
Suppose 3*g + 3*u = 7 + 197, -2 = -u. Is g a multiple of 22?
True
Let a(d) = 27*d - 50. Does 6 divide a(5)?
False
Suppose 2*x - 8 = -0. Suppose -x*s = -56 - 184. Is 20 a factor of s?
True
Suppose -f + 0 = -5. Suppose 0 = -x - 19 + 73. Suppose 3*s + 3*u - x = 0, -f*u + 6 = -2*u. Does 7 divide s?
False
Let o(l) = 15*l**2. Let z be o(-1). Let m = 32 - z. Does 12 divide m?
False
Let q = -13 + 15. Suppose 0 = 3*w - 3*h - 1 - 65, 38 = q*w + 4*h. Is 5 a factor of w?
Fa