of 11?
True
Suppose 4 = -5*s - 11. Let l(u) = -u**3 - 2*u**2 - 5*u - 4. Is 10 a factor of l(s)?
True
Suppose 0*h - 4*k = -h + 84, h - 116 = -4*k. Is 22 a factor of h?
False
Let r = 102 - 75. Is 9 a factor of r?
True
Let z = 4 - 1. Let i be -1*0*z/9. Suppose i*x + 24 = 3*x. Is 8 a factor of x?
True
Suppose -5*w = 3*t - 71, 21 = -0*t + t - w. Suppose -4*z + t = -2*v, -7*z + 29 = -2*z - 4*v. Let c(i) = i**3 - 6*i**2 + 8*i - 7. Does 5 divide c(z)?
False
Let q = -1 - -1. Let n = 3 + q. Let r = n + -1. Is r a multiple of 2?
True
Suppose 0 = -4*p + w + 351, -w - 165 + 526 = 4*p. Suppose 2*m - 11 + 3 = 0. Is 22 a factor of p/m - (-6)/(-24)?
True
Suppose -15*f + 6*f = -1620. Is f a multiple of 12?
True
Let h(s) = 11*s**2 - 3*s - 2. Let k be h(-2). Suppose k = 4*m - 0*m. Is m a multiple of 12?
True
Let y be 6 - (-3)/(0 - -3). Let g(z) = y*z**2 + 3*z**2 - 5*z**2. Is g(-1) a multiple of 4?
False
Let y(s) = s**3 + 14*s**2 + 6*s + 10. Let x be y(-13). Suppose 4*g - x + 21 = 0. Is 11 a factor of g?
False
Let a be ((-20)/(-2))/(-4 - -2). Let n(q) = 2*q**2 + 5*q + 5. Is 15 a factor of n(a)?
True
Let g be -3 + 8/3*3. Suppose -3*f - 24 = -g*f. Is f a multiple of 6?
True
Let f(i) = -i**3 - 2*i**2 + 3*i. Let k be f(-3). Suppose k = 2*g - 43 - 57. Is 25 a factor of g?
True
Suppose 5*a + 29 = -21. Let l = -4 - a. Let r = 9 + l. Does 12 divide r?
False
Let g(o) = -34*o**3. Suppose 6*j + r + 8 = 3*j, 10 = -2*r. Is 14 a factor of g(j)?
False
Let y = -5 - 5. Does 3 divide (-86)/(-10) + (-4)/y?
True
Let m = -24 + 40. Is 16 a factor of m?
True
Suppose 4*i + 0*i = -36. Let g = i + 52. Is g a multiple of 15?
False
Suppose -7*u + 254 = -187. Is u a multiple of 21?
True
Suppose 0 = -t - 5*t + 744. Does 15 divide t?
False
Suppose 3*j - 1 = 14. Suppose j*n + 17 = -13. Is 11 a factor of 896/24 - (-2)/n?
False
Suppose 0 = 11*x - 1413 - 1095. Is 15 a factor of x?
False
Let k(v) be the second derivative of -v**3 + v**2 + 10*v. Let n be (-2)/3*(1 - -2). Does 5 divide k(n)?
False
Is 9 a factor of 46/2 - (15 + -19)?
True
Let q = -4 - -5. Suppose 14 + q = -3*n. Is (-10)/(-25) - 148/n a multiple of 15?
True
Is 8 a factor of 32 + -3 - (-6 + 4)?
False
Suppose -28 = -2*j + 106. Does 19 divide j?
False
Let t(q) = -5*q**3 - q**2 + 1. Let u be t(-1). Suppose 0 = -2*r - 8, 0*r = m + u*r - 88. Suppose m = 4*g + 28. Does 9 divide g?
False
Let k = 2 - 3. Let x(o) = -42*o - 1. Does 18 divide x(k)?
False
Let r = 5 + 46. Is r a multiple of 17?
True
Let n = 10 - 9. Is 2 + 0 + n + 27 a multiple of 15?
True
Suppose -5*b - 3*r + 385 = 0, -3*b + 2*r - 150 = -5*b. Is 7 a factor of b?
False
Let f = 1 - -9. Suppose -2*x + f = -0. Is x even?
False
Suppose 3*c - 5 - 7 = 0. Suppose 5*t + c*b - 102 - 17 = 0, -b + 50 = 2*t. Is t a multiple of 14?
False
Let f = 56 + -21. Suppose -3*t = 11 - f. Is t a multiple of 4?
True
Suppose -t + 60 = 3*t. Let q = -22 - -40. Suppose i = q + t. Is i a multiple of 9?
False
Let c(q) = -14*q**3 - q**2 + q + 1. Suppose 2*b - 2 = 4*b. Let y be ((-2)/6*-3)/b. Is 13 a factor of c(y)?
True
Let a = -7 - -11. Suppose -a*f - 3*j - 19 = -5*f, 5*f + 4*j = 57. Is f a multiple of 13?
True
Let i(m) = -m**3 + 4*m**2 + 5*m + 2. Let s be i(5). Is (-1)/(1/s)*-4 a multiple of 4?
True
Suppose g = 1 - 0. Let z be -2 - -2*1*g. Let y(p) = -p**3 + p + 14. Is y(z) a multiple of 14?
True
Let a(y) = 17*y**3 - 24*y**3 - 4*y + 0*y**2 - 3*y**2 - 3. Is 10 a factor of a(-2)?
False
Let b = 5 - 4. Is -3 - (21 + b)/(-2) a multiple of 4?
True
Suppose -4*i + 15 = i. Is (-22)/(-1) + i - 3 a multiple of 22?
True
Let i(t) = -t**2 + 4*t + 1. Let f be i(4). Let p be -21*-1*(-1 - -2). Let n = p - f. Is 14 a factor of n?
False
Suppose 4*y + 137 = -155. Let z = y - -123. Is 25 a factor of z?
True
Let g = -30 - -21. Is 12 a factor of 6/g + 222/9?
True
Is 20 a factor of 2*9/(-6) - (-4 + -126)?
False
Let x(a) = -5*a + 7. Let z(t) = -2*t + 4. Let f(j) = 3*x(j) - 5*z(j). Let q be f(-1). Is 3/q*(0 + 28) a multiple of 14?
True
Suppose 0 = -4*z - z - 45. Is (z + 3)/3 - -12 a multiple of 10?
True
Let x = -72 + 106. Let m be -1 - (16/(-12))/(4/(-66)). Let a = m + x. Does 11 divide a?
True
Suppose 6*d - 585 = -3*d. Is d a multiple of 12?
False
Suppose q = 4 + 2. Does 6 divide q?
True
Suppose 1323 = 3*l + 5*k, -5*k - 26 = -11. Suppose 0 = 4*n + 10 - l. Is 28 a factor of n?
False
Suppose 0 = i - 4*d - 0*d - 14, -d = -3*i + 97. Is i a multiple of 14?
False
Let b(s) = s**3 + 4*s**2 - 7*s - 7. Let t be b(-5). Suppose t*p - 33 = 2*p. Is 16 a factor of p?
False
Suppose -2*m = 2*c - c - 2, 11 = 3*c + m. Suppose -343 = -c*u + 2*d - 39, 3*u + d - 218 = 0. Let q = u - 51. Is 6 a factor of q?
False
Let v(d) = -3*d**3 + 32*d**2 + 4*d + 47. Let q(b) = b**3 - 16*b**2 - 2*b - 23. Let w(j) = 5*q(j) + 2*v(j). Is 6 a factor of w(-16)?
False
Is (-229)/(-6) + (-13)/78 a multiple of 19?
True
Let p(x) = -x**3 - 2*x**2 + 6*x + 3. Does 7 divide p(-5)?
False
Suppose 0 = 4*g + 16, 3*h + 5*g - 4 - 18 = 0. Let y = 42 - h. Does 14 divide y?
True
Let c(l) = l + 8. Let d be c(0). Suppose d = i - 30. Is 14 a factor of i?
False
Suppose 2*k - 144 = -4*k. Does 3 divide k?
True
Suppose 5*o = 5*s - 395, o = 5*s + 3*o - 416. Let p = s - 52. Is 13 a factor of p?
False
Let m = 9 - 16. Suppose 5*r = -0*z + 3*z + 29, z + 2*r = 5. Let a = z - m. Is a a multiple of 3?
False
Let j = -12 - -20. Suppose 0 = j*n - 7*n - 49. Is n a multiple of 16?
False
Suppose 2*j = 10 + 34. Is 20 a factor of 2/(-11) + 774/j?
False
Suppose 4*o + 3*j = 381, o - 79 = -j + 16. Is 32 a factor of o?
True
Suppose 0 = 5*b, -4*a + a - 2*b + 177 = 0. Is 12 a factor of a?
False
Let o(h) = -h**3 + 5*h**2 + h - 4. Let g be o(4). Suppose g = -4*y, 5*p - 136 = 3*y - 4*y. Is p a multiple of 7?
True
Let d(x) = x**3 + 7*x**2 + 5*x + 2. Suppose 3*r = 4*r + 6. Is d(r) a multiple of 3?
False
Let s(q) = q**3 + 11*q**2 + 7*q - 2. Let c be s(-10). Let l(n) = -2*n - 4. Let m be l(3). Let w = m + c. Is w a multiple of 10?
False
Let y be 1 + -2 + 13*1. Does 7 divide (-2)/y + 266/12?
False
Suppose 0*m = 2*m - 6, a - 4*m = 42. Is 11 a factor of a?
False
Let c(n) = n**2 + 2*n + 1. Suppose -10 = -0*b - 5*b, -3*w = 2*b + 11. Let j be c(w). Suppose -3*r + j = -2*r. Is 8 a factor of r?
True
Suppose 2*j - 188 = -5*p, -6*j + 2*j + 332 = -p. Let g = j + -56. Is 15 a factor of g?
False
Suppose 3*l - 132 = 3*x, 5*l - x = -0*x + 236. Does 6 divide l?
True
Suppose 5*c = 22 - 7. Suppose q + 2 = c*f, -3*f = f - q - 2. Suppose -5*a + a + 2*r + 50 = f, 0 = -a - 5*r + 7. Does 5 divide a?
False
Let i = 49 + -25. Let f = -13 + i. Is f a multiple of 6?
False
Suppose 0 = -i - 4 + 10. Let d be (-13)/3 + (-2)/(-6). Let a = i + d. Is a even?
True
Let x(l) = -2*l**2 + 21*l + 22. Does 5 divide x(7)?
False
Let w(s) = 2*s**2 + 4*s + 3. Let b be w(-4). Suppose -g + b = 3*j, 3*j = 5*g + 2*j - 63. Is g a multiple of 13?
True
Suppose 4*c + c - 375 = 0. Is c a multiple of 11?
False
Let c = -3 + 27. Does 8 divide c?
True
Suppose 2*z = 6*z. Let y(o) = -2*o + 4*o + 1 + z - 12*o. Is y(-6) a multiple of 16?
False
Let d = -88 - -91. Is 3 a factor of d?
True
Let r(h) = -h**3 - 11*h**2 - 9*h + 9. Let d be r(-10). Is (d - 2)*1 + 13 a multiple of 3?
False
Let j = 34 - -70. Suppose 5*q - j = q. Is q a multiple of 14?
False
Let j be 2 - 6/3 - -3. Let h = 15 - j. Is h a multiple of 6?
True
Let h = -40 + 67. Suppose 0*n = n - h. Is n a multiple of 10?
False
Suppose 4*r = -i + 26, -i - 5*r = -5*i + 125. Is i a multiple of 4?
False
Let m(w) = -w**3 + 6*w**2 + 9*w - 4. Let f be m(7). Suppose -h + 0*a - 5*a - f = 0, 0 = h - 4*a - 17. Let p = h - -9. Is 6 a factor of p?
False
Suppose -a + 270 = 4*a. Does 18 divide a?
True
Let l(t) = -3*t. Let q be l(-1). Suppose 81 = 3*b + q*g, 4*b + 9*g = 7*g + 118. Does 13 divide b?
False
Is ((-1)/1)/((-3)/81) a multiple of 6?
False
Let s = -2 - -2. Let q = s - -3. Does 3 divide q?
True
Let y = 74 + -16. Suppose -f - b = -y, 0*f - 2*f + 3*b = -101. Suppose -2*p + 0*t = 3*t - f, -4*p + 5*t = -55. Is p a multiple of 11?
False
Let q be 1/(10/(-9) + 1). Let i = -3 - q. Is 2 a factor of (i*2/4)/1?
False
Let r = -34 - -103. Let t = -39 + r. Does 10 divide t?
True
Is 43 a factor of (-3102)/(-36) - (-1)/(-6)?
True
Suppose 16*g - 16 = 12*g. Suppose g*w - 2*w = 30. Is w a multiple of 3?
True
Suppose -s + 5*s - 74 = -5*p, 5*s + 20 = 0. Is p a multi