ppose 0 = g + 4*g - 165. Let a = 104 - g. Does 15 divide a?
False
Let w(v) = v**3 + 10*v**2 + 10*v + 11. Is 22 a factor of w(-7)?
True
Let c(z) = -z**3 - 8*z**2 - z - 6. Let a be c(-8). Suppose -5*l + 108 = -a. Does 7 divide l?
False
Suppose 28 = -2*f - 4. Let p = 22 + f. Is ((-36)/(-10))/(p/20) a multiple of 10?
False
Suppose -5*c + 3*b = -2*c - 21, 4*c + 3*b = -7. Let u = c + 2. Suppose 4*q + 24 = z, -4*q - 66 + 6 = -u*z. Is z a multiple of 12?
True
Let a(s) = s + 7. Let n be a(-3). Let x = -7 - -12. Suppose n*p = -x*o + 73, -71 + 10 = -5*o + 2*p. Is 5 a factor of o?
False
Let m = 6 - -9. Let h = m + -8. Is h a multiple of 7?
True
Suppose -3*d + 0*d - 10 = 5*i, -d = 5*i. Let v = d - -5. Let j = 4 + v. Is 4 a factor of j?
True
Suppose 15*q - 6162 = 2*q. Does 25 divide q?
False
Suppose -4*b + 144 = -356. Does 15 divide b?
False
Let s(o) = -69 + 37 + 11*o + 34. Does 20 divide s(5)?
False
Let y = -24 - -53. Is y a multiple of 9?
False
Suppose 2*p = -4*y + 126, -4*y + 3*p - 2*p = -123. Is y a multiple of 9?
False
Let s = 8 + -4. Let f(g) = -g**3 + 5*g**2 + 2*g - 7. Let w be f(5). Suppose s*y + c - 18 = -c, 14 = w*y + 2*c. Is y a multiple of 3?
False
Let b = 271 - 122. Does 19 divide b?
False
Let m(l) = l**3 - 8*l**2 - 7*l - 13. Let v be m(9). Suppose 3*g = 3*s - 90, -v*g = -2*s + 51 + 21. Does 26 divide s?
True
Let i = -1 - -15. Suppose 0 = m - 3, -i = -2*s + 4*m + 10. Is 18 a factor of s?
True
Suppose -3*w - 2 = -17. Suppose z + 57 = w*z + f, -2*z + 18 = 4*f. Does 4 divide z?
False
Let u(l) = 2*l**3 + 2*l**2 - l + 1. Is 14 a factor of u(3)?
True
Let m(d) = d - 1. Let b be m(1). Is b + (-22)/(1/(-1)) a multiple of 18?
False
Suppose 4*i - 65 = -21. Is 11 a factor of i?
True
Let t = -1 - 0. Let a be t/(-1)*15/(-1). Is 18 a factor of a/(-10)*2*6?
True
Let n(k) = 16*k**2 + 35*k + 11. Let o(r) = -3*r**2 - 7*r - 2. Let b(d) = 2*n(d) + 11*o(d). Is 9 a factor of b(-5)?
False
Let l(t) = -t**3 + 4*t**2 - t + 5. Let p be l(4). Let m(h) = 34*h**2 - 1. Is 11 a factor of m(p)?
True
Let f(d) be the third derivative of d**6/30 - d**5/20 + d**4/12 - d**3/3 + d**2. Does 12 divide f(2)?
False
Suppose -154 - 91 = -7*x. Does 6 divide x?
False
Let t(i) = -60*i + 3. Let a be t(-3). Suppose -12 = 4*q, -4*q + a = 4*p - q. Suppose -2*d = d - p. Does 16 divide d?
True
Suppose -r + f + 60 = -0*f, -2*r + 4*f = -120. Is r a multiple of 28?
False
Let u(x) = 2*x - 2*x**2 + 2*x + 2 + 3*x - x**2. Let b(w) = -w**2 + w. Let g(d) = -4*b(d) + u(d). Does 10 divide g(-6)?
True
Let n(g) = -10*g - 26. Does 12 divide n(-11)?
True
Suppose -p = 4 - 9. Is p a multiple of 4?
False
Let b(r) = r**3 + r**2 + r + 65. Let f be b(0). Suppose 88 = 2*t - 4*h + 2*h, 4*t = 3*h + 178. Suppose 2*l - f + 8 = v, l = 4*v + t. Is 13 a factor of l?
True
Let s(f) = f**2 - 12*f + 4. Let l be s(12). Let h(j) = j**3 - j**2 - 6*j + 2. Is h(l) a multiple of 9?
False
Let s be 156/(-9) + (-6)/9. Let y = 30 + s. Is 6 a factor of y?
True
Suppose 14 + 52 = 3*g. Suppose -f + 1 + 0 = 3*k, 0 = 2*f - 4*k - g. Is f a multiple of 7?
True
Suppose -79 = -a - 3*w, -4*a + 6*w + 364 = 2*w. Is 11 a factor of a?
True
Let i = 368 - 212. Is 39 a factor of i?
True
Let i(t) = -5*t**3 - t**2 - 3*t + 23. Let m(v) = 14*v**3 + 3*v**2 + 8*v - 68. Let r(j) = -11*i(j) - 4*m(j). Does 8 divide r(0)?
False
Let u = -25 - -21. Suppose 5*w + 94 = 4*c, 2*c - 5*w = 4*c - 32. Is (c - 1) + (-6 - u) a multiple of 6?
True
Is (-45)/(-1) + 0 + -3 a multiple of 14?
True
Let b(p) = 8*p - 9. Let l be b(7). Let q = 17 + l. Does 16 divide q?
True
Suppose -2*f + l + 9 = 0, -3*f - 2*l = -l - 6. Suppose -m - f*a + 270 = 4*m, 4*a + 20 = 0. Is m a multiple of 19?
True
Suppose 5 = 5*l - 4*i, -l = l - 5*i + 15. Suppose -w - 4*w = l*h - 85, -3*w = 6. Is 7 a factor of -7 + h - (-1 + 1)?
False
Let p(l) = 3*l**2 + 6. Does 11 divide p(-3)?
True
Let d(a) = 13*a - 6*a - 6*a**2 + 8 - a**3 + a**2. Let s be d(-6). Suppose -8 = -s*w + 6. Is w a multiple of 7?
True
Does 22 divide (-48)/2*(-60)/18?
False
Suppose 2*m - 3 = 5. Suppose -y + m*y = -6. Does 12 divide (1/y)/((-5)/240)?
True
Suppose -2*v - 2*v = -376. Let b be (-4)/(-22) - (-40)/22. Suppose -b*o - 4 + v = 0. Is o a multiple of 12?
False
Let m(o) = -49*o + 1. Does 25 divide m(-1)?
True
Suppose 11*g - 3*g - 320 = 0. Does 3 divide g?
False
Suppose 2*o + 2*m - 656 = -2*o, 0 = 2*m. Does 37 divide o?
False
Suppose 7 = 2*n - 1. Let h(y) = y. Let j be h(n). Suppose -71 = -2*z + w, -j*z + 5*w + 59 = -2*z. Is z a multiple of 14?
False
Let l be 18/5 - (-6)/15. Let y = l + -2. Is y a multiple of 2?
True
Let a be -4*(1 + (-6)/4). Let w(x) = -x**2 - 2*x + 5. Let z be w(-6). Let j = a - z. Does 6 divide j?
False
Let r(h) = -h**3 + 16*h**2 + 17*h + 2. Let n be r(17). Suppose -3*b = -3*s + 27, -6*b = -n*s - b + 12. Is 3 a factor of s?
False
Let h = 0 + 84. Is h a multiple of 14?
True
Let s = -11 + 43. Is 16 a factor of s?
True
Does 10 divide -20*(4 - -3)*-1*1?
True
Let p(g) = 2*g**2 + g - 7. Let t be p(5). Suppose 185 = 5*f + 4*j, f + 2*j + j = t. Suppose -4*m + 51 = -f. Is 15 a factor of m?
False
Suppose 4*p = 277 + 3. Is 11 a factor of p?
False
Suppose -15 = -3*h, -2*q - h + 179 = q. Does 17 divide q?
False
Let k = 28 + 34. Let w = -41 - k. Let q = 147 + w. Is 12 a factor of q?
False
Let c be 0 + (15*2)/2. Suppose -14 = -2*u - 2*p, 0*u + 2*p = 3*u - 1. Suppose -u*x - 2*x = -c. Does 2 divide x?
False
Suppose -4*n = y - 8, y + 3*n - 7 - 1 = 0. Suppose 0*z - y = -2*z. Is 5 a factor of 10/z*(-8)/(-4)?
True
Let d(m) = 2*m**2 + m + 1. Let k be d(-1). Suppose 2*y = -k*y. Let x(l) = -l**2 - l + 20. Is x(y) a multiple of 10?
True
Let t(v) = 2*v - 5. Let w(d) = d**2 + 8*d + 13. Let l be w(-9). Suppose -5*j + 3 + l = 0. Does 2 divide t(j)?
False
Let o(w) = -14*w**3 - 29*w**2 + 13*w + 1. Let f(g) = 5*g**3 + 10*g**2 - 4*g. Let t(i) = 11*f(i) + 4*o(i). Let l be t(-7). Does 15 divide (16/(-6))/(l/27)?
False
Let o(k) = -3*k - 1. Let p be o(-1). Suppose -5*s = -p*s - 75. Suppose 2*h - 53 - s = 0. Is 13 a factor of h?
True
Let m(j) = -j**2 + j - 3. Let y be m(6). Let t be (y/(-9))/((-1)/3). Let g = t + 26. Is g a multiple of 15?
True
Let s(p) = -p - 1. Let i be s(-6). Suppose -11 = -2*c - i. Suppose 4*r + 2 = -d, 5*d - c*r - 46 = 59. Is d a multiple of 18?
True
Suppose -3*f = -4*b - 536, -3*b - 391 = -3*f + 146. Is f a multiple of 30?
True
Let c be ((-11)/(-3))/((-4)/12). Let h be (1 - (3 + 0))*12. Let f = c - h. Does 11 divide f?
False
Suppose 0 = -11*a + 8*a + 258. Is 11 a factor of a?
False
Let o be -3*(0 + 1)*-1. Suppose o*i + i + 52 = 2*x, 0 = -2*x + 2*i + 44. Is x a multiple of 6?
True
Let u(g) = g**2 + 2*g. Let i be u(-3). Is 2 a factor of (-5)/((6 - i)/(-3))?
False
Does 24 divide 3 + 282 + -5 + 8?
True
Let w(l) = l**3 + l**2 - 2*l - 2. Let t be w(-2). Let q be (-10)/(-1*t/6). Let p = q - -64. Does 13 divide p?
False
Let k = 81 + -187. Is 4 a factor of 6/15 + k/(-10)?
False
Let n be (-4)/(-22) - (-10)/(-55). Suppose 2*i + 72 = i + y, n = -2*i - 2*y - 128. Is i/(-6) + (-2)/(-3) a multiple of 12?
True
Let w = 5 + -1. Let m(v) = -v**2 - w*v**3 + v - v**2 + 1 + 3*v**3. Is 7 a factor of m(-3)?
True
Let r = -1 + -3. Is (-1 - (1 + r)) + 3 even?
False
Let x be (-1*41)/(-1) + -1. Let o = 32 + x. Suppose -k + o = 3*k. Is k a multiple of 16?
False
Let a(d) = -2*d + 1. Is 4 a factor of a(-3)?
False
Let l be 2/(-1) + 44/(-4). Let g = 31 + l. Is 13 a factor of g?
False
Suppose 3*a = 4*a - 4. Suppose 2*d - a*y - 22 = -2*y, -d - y + 9 = 0. Does 8 divide d?
False
Suppose -3*f + 15 = -0*f. Suppose 5*u = -5, 0 = 2*h + f*u - u - 138. Is 30 a factor of h?
False
Suppose -m + 8 - 3 = 0. Does 5 divide m?
True
Let d(w) = -2*w - 1. Let v be d(-8). Let p = v - -15. Is p a multiple of 10?
True
Suppose -2*c + 1 = 2*h + 3, 2*c = 4*h + 4. Let j(s) = -s**3 + s**2 + 21. Is 21 a factor of j(c)?
True
Suppose 3*b - b + 86 = 0. Let w = -31 - b. Suppose 0 = -5*k + k + w. Does 3 divide k?
True
Let y = 2 + 2. Suppose 5*x + 21 = -0*t - 2*t, y*x = t - 9. Does 4 divide (-1)/(-3) + (-20)/t?
False
Suppose 4*s - 2*v - 304 = 0, -4*s - 5*v + 487 = 183. Suppose 0 = -2*n - 2*n + s. Is n a multiple of 12?
False
Does 12 divide (7/((-21)/(-72)))/2?
True
Let r(k) = k + 19*k**3 - 8*k**3 + 17*k**3 + k**3. Let d be r(-1). Is 14 a factor of (6/(-4))/(d/800)?
False
Let v(b) = 2*b**2 + 4*b + 5. Is 2 a