f 11?
False
Suppose -5*b = -187 - 263. Is 15 a factor of b?
True
Suppose 3*v + 3 + 29 = -2*k, v + k = -11. Let y = v - -118. Is y a multiple of 31?
False
Let t = -6 - -10. Suppose -t*h + 3*h = -2. Suppose h*g - 11 = -2*q + 15, -q = -2*g - 28. Does 9 divide q?
True
Let s(o) = -6*o + 1. Let x(y) = y**3 + 10*y**2 - 11*y - 1. Let l be x(-11). Let g be s(l). Suppose g = 2*k - 9. Is k a multiple of 4?
True
Suppose j - 144 = -j. Suppose 0 = -0*z - 4*z + j. Suppose 0*k = k - z. Does 14 divide k?
False
Let t(l) = -l + 10. Let c be t(10). Suppose c*h + 2*h - 22 = 0. Is h a multiple of 3?
False
Suppose 9*k + 112 = 11*k. Is k a multiple of 14?
True
Let u(c) = -4*c - 1 + 1. Suppose 36 = -5*k - 4. Is u(k) a multiple of 13?
False
Suppose 4*b + o - 2*o = 0, 3*o = -b. Suppose b = 5*h - 3*a + 448, -a + 415 = -3*h + 143. Is 12 a factor of h/(-3) - 1/(-3)?
False
Let q = -92 + 159. Is 22 a factor of q?
False
Let b = 63 - 52. Does 8 divide b?
False
Let k(q) = 5*q + 5. Let h(i) = -i**2 + 4*i. Let l be h(3). Suppose 6*p = 2*p - 2*j + 14, -l*p - 2*j = -9. Is 15 a factor of k(p)?
True
Suppose 447 - 75 = 4*r. Is r a multiple of 31?
True
Let p be ((-2)/(-2))/((-3)/(-9)). Suppose -p*x - 5*o = 26, -2*x + o = -x - 2. Does 2 divide (-8)/x - -1 - 1?
True
Does 12 divide (72/(-60))/((-2)/360)?
True
Let h(i) = -3*i + 11*i + 6*i - 2*i. Is 12 a factor of h(3)?
True
Suppose -3*m + 5*r = 14, 0 = -4*r - 0*r + 16. Is 25 a factor of -3 + (-106)/(-4)*m?
True
Let y = -4 - -5. Let q = 3 + y. Suppose -2*m + q*m = 32. Is m a multiple of 16?
True
Suppose -4*h - 5*z - 17 = 0, -z - z - 16 = -3*h. Suppose o = -0*o - h. Is 51/o*(-4)/6 a multiple of 11?
False
Let z = -75 + 105. Is z a multiple of 2?
True
Suppose 4*i + 3*z + 2 - 25 = 0, 2*z = -4*i + 22. Suppose -s = i*f - 126, -3*f + 6*f - 77 = -2*s. Is 25 a factor of f?
True
Let c(v) = 2*v**2 - 6*v - 6. Is c(-4) a multiple of 13?
False
Let a = 15 - 11. Let f be (0 - 0) + -2 + 96. Is f/6 + a/12 a multiple of 8?
True
Suppose 0*z + 4*z - 2*f + 6 = 0, 0 = 5*z + 2*f - 6. Does 3 divide ((5 - 2) + z)/1?
True
Suppose 0*t + 3*t - 12 = 0. Suppose t*s = -4*x - 32, 4*x - 3*s - 21 = 6*x. Let u = -1 - x. Is 2 a factor of u?
True
Let a = -16 + 24. Suppose 3*z - z = -a, -4*r + 104 = -5*z. Is r a multiple of 7?
True
Let b = 2 + 3. Let p = 17 - b. Is p a multiple of 8?
False
Let w = -5 - -5. Suppose -3*j = 5*c + 4, w*c = 4*j + 4*c. Is j even?
True
Let o = 15 + 17. Does 16 divide o?
True
Let y = 62 - 13. Does 12 divide y?
False
Let m = -4 - -6. Let w(x) = -8*x**2. Let c be w(m). Let g = -23 - c. Does 3 divide g?
True
Let x = 152 + -13. Suppose -x + 17 = -5*d + 2*p, 3*d + 3*p - 69 = 0. Does 17 divide d?
False
Let z be 0 - 0 - 4/(-2). Let n be 18/8 - (-1)/(-4). Suppose -z*l - n*l = -24. Is l even?
True
Let a(r) = 3 - r**2 + r**3 + 2*r**3 - 3*r - r**2. Does 21 divide a(3)?
False
Suppose -2*w + 4*g = -60, 0*w = -5*w + 4*g + 174. Is w a multiple of 17?
False
Let g be ((-2372)/6)/((-4)/(-6)). Let m be (-2)/8 - g/4. Suppose -3*p = -2*a + 2*p + 58, -4*a + m = -2*p. Does 16 divide a?
False
Is ((-4)/2 - 3) + 255 a multiple of 53?
False
Suppose 0 = -2*g + 3*y + 39 + 32, 15 = -5*y. Does 15 divide g?
False
Let h(b) = 5*b**2 + 15*b**2 - 1 + 0. Is h(1) a multiple of 10?
False
Let c = -6 - -8. Let p = 4 - c. Let v = 16 + p. Is v a multiple of 9?
True
Let a be (-1)/(-3 - (-7)/2). Does 5 divide -3 + 23 + 2 + a?
True
Let s(v) be the third derivative of v**5/60 - v**4/12 - v**3/2 + 2*v**2. Is 6 a factor of s(-3)?
True
Suppose -s = -43 + 13. Does 4 divide (s/(-8))/(7/(-28))?
False
Let n = 2 - 1. Let t be (-4 + (2 - n))/(-1). Suppose o + 68 = t*o. Is o a multiple of 17?
True
Let b = -6 - -6. Let i = b + -2. Is 14 a factor of 9*(-11 - 1)/i?
False
Let b = 0 - 7. Let m(d) = -d**2 - 7*d + 8. Is m(b) a multiple of 6?
False
Let j(d) = -d**2 - 19*d - 21. Is 9 a factor of j(-16)?
True
Suppose 5*q - 5*l = -5, -5*q + 25 = 6*l - l. Suppose -q*o = -51 - 35. Does 18 divide o?
False
Let w = -88 - -147. Is w a multiple of 5?
False
Let v = 11 - 9. Suppose -v*m = -1 - 3. Suppose -q = 2*o - 25, -3*o - 7*q + 20 = -m*q. Is 8 a factor of o?
False
Suppose -7*p + 300 = 3*y - 3*p, -y - 5*p + 89 = 0. Is 31 a factor of y?
False
Suppose -m + 15 = -4*m, 2*m = -3*w + 287. Is 25 a factor of w?
False
Let q(y) = -21*y + 2. Let g = -2 + -3. Let c(j) = -20*j + 3. Let p(d) = g*q(d) + 4*c(d). Does 20 divide p(2)?
False
Suppose -j + 4*j = 12. Suppose j*p = -0*p. Suppose p = -2*n - 2*n + 40. Is n a multiple of 10?
True
Let l be (-10)/(-50) - 2/10. Suppose l = 2*q - 0 - 38. Does 14 divide q?
False
Let i(v) = v**3 - 2*v**2 + v. Let j be i(1). Let q = -86 - -58. Let f = j - q. Is f a multiple of 11?
False
Suppose -3*n - b + 210 = -43, 5*n = 4*b + 399. Does 9 divide n?
False
Let f = 66 - 38. Let i = 12 - f. Let l = 37 + i. Is l a multiple of 21?
True
Suppose -2*f = -4*z + 8, 4*f - 4 = -4*z + 2*z. Suppose z*d + 180 = 7*d. Is d a multiple of 18?
True
Suppose 5*s - 2*i = 66, i = -4*s - 3*i + 64. Suppose -12 = 11*v - s*v. Is v a multiple of 3?
False
Let a(x) = -4*x**2 + 6*x + 4. Let z(k) = -5*k**2 + 6*k + 5. Let n(h) = -6*a(h) + 5*z(h). Is 2 a factor of n(-5)?
True
Suppose -101 = -t + o, 0*o - 5 = 5*o. Is 25 a factor of t?
True
Let w(b) = -b**2 - 4*b - 3. Let n be w(-4). Let x(o) = 5*o**2 - o + 4. Is x(n) a multiple of 13?
True
Let q = 13 + 74. Suppose 232 - q = 5*r. Does 13 divide r?
False
Let n = 4 + -2. Let b(k) = 17*k - 2. Let f be b(n). Suppose -3*s = -f + 2. Is 8 a factor of s?
False
Let y(n) = n**2 - 8*n + 4. Let k be y(8). Is 11*(3 - k)*-1 a multiple of 11?
True
Suppose 44 = o + 3*a - 8*a, 2*o - a = 133. Suppose 55 = -4*r - o. Let w = -13 - r. Is w a multiple of 8?
False
Suppose -w + 3*w - 22 = 0. Is 713/w - (-4)/22 a multiple of 22?
False
Suppose 252 = -2*w + 7*w + 4*b, -2*w - b = -99. Is w a multiple of 16?
True
Let y = -6 - -7. Does 19 divide ((-45)/(-20))/(y/20)?
False
Let u(g) = 3*g**2 - 3*g + 7. Let s be u(5). Suppose -3*h = -32 - s. Is 10 a factor of h?
False
Suppose -4*c - k + 169 = 0, 0 = -5*c + 6*k - 2*k + 185. Let b be 2/((-3)/2 - -2). Suppose -c = -b*v + 7. Is 12 a factor of v?
True
Let f(s) = s**2 - 8*s + 3. Let c be f(7). Is (-87)/(-4) + c/(-16) a multiple of 11?
True
Suppose 3*x + 2*m - 165 = 0, -4*x + 84 + 134 = 2*m. Is x a multiple of 5?
False
Let i be ((2 + -2)/2)/(-2). Let v(r) = -r**3 + r**2 + r + 67. Is v(i) a multiple of 18?
False
Let r = -1 + 1. Suppose -2*j = -2*x + 54, 36 = 2*x + 4*j - r*j. Is x a multiple of 24?
True
Let g(d) be the third derivative of -d**6/120 + d**5/10 - 5*d**4/24 + 5*d**3/6 - 2*d**2. Let z be g(5). Suppose z = -w + 16. Is 11 a factor of w?
True
Let f = -58 + 39. Let v = -9 - f. Is v a multiple of 3?
False
Does 12 divide (-24)/9 + 2 - (-370)/15?
True
Suppose 5*i - 62 - 23 = 2*q, 0 = -3*i + 5*q + 70. Does 4 divide i?
False
Suppose -2*j = 3*h + 2*j + 4, 3 = 4*h - 3*j. Suppose -4*w + 16 = h, 4*w + 0*w = -3*l + 124. Is 9 a factor of l?
True
Let y be 4/(-14) - 37/(-7). Let a = y + -2. Is 2 a factor of a?
False
Let g(i) = -i + 8. Does 2 divide g(-5)?
False
Suppose -4*j + 2*i = -658, 349 = 2*j - i - 4*i. Does 27 divide j?
True
Let k(x) = -3 + 0*x - 6*x**2 + 5*x**2 - 4*x. Let a be k(-3). Does 9 divide (0 - -10)/(a + 1)?
False
Suppose 0*v + 4 = 4*v. Let y(h) = -h**2 + 1. Let g be y(v). Suppose 0 = -4*q - j + 12, g = 3*q + q + 4*j - 24. Is 2 a factor of q?
True
Let f = 134 + -92. Suppose -3*b + f = -5*s - 25, 3*s + 45 = 2*b. Is 12 a factor of b?
True
Let w be ((-8)/(-10))/((-1)/5). Let i(v) = 2*v + 3*v**2 + v**2 + v**3 - 7*v. Does 7 divide i(w)?
False
Let k = -3 + 5. Suppose -3*g + 27 = 4*b, k*b - b + 3 = 0. Does 13 divide g?
True
Suppose 3*g + 12 - 59 = 2*b, 79 = 5*g - 4*b. Is g a multiple of 7?
False
Let i be 4*(2 - 9/6). Suppose 0 = -u + 2*k + 2, -3*k - i = 4*u - k. Suppose 2*o = -u*o + 50. Does 14 divide o?
False
Let t(p) = -43*p - 2. Is t(-1) a multiple of 5?
False
Let y(b) = b**2 - 6*b + 5. Suppose 4*x = -0 - 20. Let z be y(x). Suppose 0*i = 5*i - z. Does 10 divide i?
False
Suppose 0 = f - 3*w + 3, -2*f = w - 4*w. Suppose n = -4*x + x + 81, x - f*n - 37 = 0. Is 15 a factor of x?
False
Is 27 a factor of (1/4)/(13/2236)?
False
Suppose -5*q + 13 = 4*g - 2*q, 0 = 5*g + 3*q - 14. Let x = 7 + -64. Is 17 a factor of 1*(x + g)/(-2)?
False
Suppose 5*f - 35 - 105 = 0. Suppose -f = -3*z +