2?
False
Let r be (-37)/5 - (-9)/(-15). Let s = -4 - r. Suppose 0*z - o = -2*z + 19, 4*z - 32 = s*o. Is 5 a factor of z?
False
Suppose -2*z - 2*k + 59 = -49, 270 = 5*z + 2*k. Does 6 divide z?
True
Suppose -1004 = -5*k - 24. Does 24 divide k?
False
Let w(v) = 2*v**2 - 4*v - 5. Let a be w(4). Let b = 19 - a. Suppose -y = -0 - b. Does 3 divide y?
False
Suppose -2*u - 3*d = -13, d = -3*u + 3*d. Suppose 3*j - u*j = 18. Is 7 a factor of j?
False
Let j = -137 + 275. Is 23 a factor of j?
True
Let i = -14 + 10. Is 5 a factor of 96/9 - i/(-6)?
True
Let h = -15 + 17. Suppose h*y - 4*w - 16 = 0, -5*y + 24 = w - 3*w. Is y a multiple of 4?
True
Let m = 76 - 50. Suppose -4*g + 78 + m = 0. Does 15 divide g?
False
Let c = 10 - 7. Suppose c*i = s - 83, 0*i + i = -3*s + 239. Does 21 divide s?
False
Suppose -4*v + 2*t = -6, 5*v + 7*t = 3*t + 27. Suppose -5*u - v*c + 13 = 0, -5*u + 7 = -u - c. Is (-1 + -1)*(-23)/u a multiple of 8?
False
Suppose -4*i + 2*t + 86 = 12, 2*i = -5*t + 55. Does 6 divide i?
False
Let o = 25 + 22. Is 11 a factor of o?
False
Let z(f) = f**2 - 4*f + 5. Suppose 5*m = -5*u - 60, -5*m - 59 = -u - 11. Let l be (-5)/(m/(-4)) + 10. Is 14 a factor of z(l)?
False
Let q be 2*(-10)/(-12)*3. Suppose -43 = -3*m - 4*r + 19, -q*m = -3*r - 113. Is m a multiple of 11?
True
Let p(o) = 5*o**2 + 10. Does 9 divide p(4)?
True
Suppose 3*f - 2*a - 182 = -f, -3*f + 3*a + 129 = 0. Does 16 divide f?
True
Let y = -2 - -74. Suppose -145 = -3*a - 4*g, -a - 25 = 2*g - y. Does 17 divide a?
True
Let t = -33 + 67. Is 5 a factor of t?
False
Suppose 1 + 7 = 2*t. Suppose 3*c + 0*c - 203 = x, t*x = 3*c - 200. Does 13 divide c?
False
Let r be (-3 - -5) + 1*47. Let w = -30 + r. Does 7 divide w?
False
Suppose 0*o = 5*o - 10. Suppose o*d + 5*y - 43 = -d, 5*d + 5*y - 75 = 0. Is 10 a factor of d + -1*4/2?
False
Is (-618)/(-7) + (-4)/14 a multiple of 33?
False
Let j(z) = -z**3 - 10*z**2 - 12*z + 12. Suppose -3*h + 6*h + 24 = -s, 0 = -3*s - 5*h - 52. Does 7 divide j(s)?
False
Let r = -14 - -5. Let y(t) = -t**3 - 8*t**2 + 9. Is 30 a factor of y(r)?
True
Let d = 2 - -16. Is d a multiple of 9?
True
Suppose 3*c - 6 = -2*a, 4*c - 21 = -5*a + 1. Suppose -150 = g - a*g. Is 4 a factor of g?
False
Let i(d) = 36*d**2 - 1 + 5*d - 6*d + 2. Is i(1) a multiple of 16?
False
Is 4 - -35 - -3 - 3 a multiple of 12?
False
Let x(u) = -8*u - 12. Is x(-6) a multiple of 18?
True
Let b be (4/8)/((-1)/(-24)). Let u = b - 2. Is u a multiple of 5?
True
Let m = 2 - 2. Suppose r + 2*r - 177 = m. Is 20 a factor of r?
False
Suppose -4*r = -3*r + 4*o + 4, 0 = r - 4*o - 28. Is 4 a factor of r?
True
Suppose y - 15 + 3 = 0. Let r = -9 - y. Does 8 divide 6/r - 228/(-14)?
True
Let x be 5 + 2 + (-3)/3. Suppose x = 2*d - 12. Does 3 divide d?
True
Suppose -2*f - f = -3*v - 21, -5*v = 2*f - 14. Let o(y) = -y**3 + 6*y**2 + 9*y + 6. Does 10 divide o(f)?
True
Suppose 25 = q - 5*p, q + 2 = -8*p + 4*p. Is q a multiple of 5?
True
Let i be (10 - 9) + 4 + -1. Suppose -i*z = -28 - 68. Is 24 a factor of z?
True
Let y = 4 + 9. Suppose 5*f - 12 = y. Is f a multiple of 4?
False
Let g(r) be the first derivative of -2*r**2 - 7*r - 9. Suppose -m - 1 - 7 = 0. Is 15 a factor of g(m)?
False
Is (-8)/(2/(-4) + 14/(-84)) a multiple of 3?
True
Suppose 11*v + p - 143 = 6*v, -59 = -2*v - p. Is 14 a factor of v?
True
Suppose 5*k = 5*v - 165, 2*k = -0*k + 8. Suppose 4*j + 5 = v. Does 4 divide j?
True
Let l be 70/(10/(-6) - -1). Let o = 150 + l. Is o a multiple of 15?
True
Suppose -7*x + 0*x + 630 = 0. Is x a multiple of 30?
True
Let g(s) be the second derivative of -s**3/6 - s**2 - s. Let p be g(-4). Suppose 3*h = -p*c + 28, 5*h - 47 + 3 = -2*c. Is 8 a factor of h?
True
Is (-13)/39 + (-74)/(-6) a multiple of 12?
True
Let x(g) = -g - 5 + 3 + g - g. Let u be x(-5). Let f = u + 5. Is f a multiple of 3?
False
Suppose -1 = -2*k + 1. Is (3/(-5))/(k/(-10)) a multiple of 2?
True
Let h be -1 + 6 + 1 + -1. Suppose -2*q + h*q - 9 = 0. Let p = q - -3. Does 6 divide p?
True
Suppose 10*d - 14*d = -84. Is d a multiple of 21?
True
Is 4 a factor of 0 + (10 - 0) + 1?
False
Suppose x - 2*x + 34 = 0. Does 10 divide x?
False
Let t(w) = -13*w**3 - 2*w - 3. Does 21 divide t(-2)?
True
Suppose 2*y = 5*n + 12, 0*y + 2*n = 4*y - 24. Let r(s) = 19*s - 6. Let d be r(y). Let w = -70 + d. Does 18 divide w?
False
Let a = 1 - -1. Let s = 2 - -5. Let z = s - a. Does 2 divide z?
False
Let j = -10 - -18. Let f(i) = 15*i + 3. Let m be f(j). Suppose 45 = -2*h + m. Does 13 divide h?
True
Suppose -7*b + 2*b - 10 = 0. Let q = 60 + -104. Let l = b - q. Is l a multiple of 17?
False
Suppose z = -3*z - 80. Suppose -2*p = -7*p + 2*d + 12, -2*p + 5 = -d. Is 12 a factor of z/(-2) - (p + -4)?
True
Let i = 7 + -12. Is 5 a factor of i/(-25) + 58/10?
False
Let m(r) = -107*r**3 + 11*r**2 + 5*r - 5. Let p(d) = -3 + 4*d**2 + 2*d - 36*d**3 + 0 + 2 - 1. Let i(o) = -3*m(o) + 8*p(o). Is i(1) a multiple of 10?
False
Let l = 5 + -2. Suppose l + 9 = 3*u. Suppose -89 - 39 = -u*c. Is 12 a factor of c?
False
Suppose 48 = a + a. Is 5 a factor of a?
False
Let d = 146 - 91. Is 11 a factor of d?
True
Suppose 3*j = 5*l + 123, 0*l = -2*l - 6. Is 1*((-1 - 2) + j) a multiple of 10?
False
Let x be 4/10 + 194/(-10). Let q be (x/(-4))/((-1)/(-4)). Suppose 4*h = 141 + q. Is 19 a factor of h?
False
Let f(k) = 2*k - 6. Let t be f(4). Suppose -2*a + 30 - 6 = 0. Suppose a = t*b - 12. Does 6 divide b?
True
Let a be 57/(-12)*(5 + -1). Let o = 39 + a. Let g = o - -23. Does 19 divide g?
False
Suppose -27 = -3*v + 3*x, v + 21 = -0*v - 5*x. Suppose d - v = 17. Does 6 divide d?
False
Let v(n) = -n**3 + n. Let s be v(1). Suppose -2*d + s*d + 50 = 0. Let r = d + -12. Does 7 divide r?
False
Let j = 80 + -55. Let g = -1 + j. Is 8 a factor of g?
True
Let d = 71 - 47. Is 8 a factor of d?
True
Let n(i) = 9*i + 39. Let g(o) = -2*o - 8. Suppose -15 = 2*z - 5. Let f(s) = z*n(s) - 24*g(s). Does 15 divide f(6)?
True
Let o(q) = q - 2. Let h be o(-2). Let y(a) = 25*a + 3. Let k be y(h). Let s = -67 - k. Does 15 divide s?
True
Let i(h) = -h**3 + 4*h**2 + 5*h + 3. Let q be i(5). Does 9 divide 24 - (q - (-2 - -6))?
False
Let n = -85 - -193. Suppose -7*x + 3*x + n = 0. Does 8 divide x?
False
Suppose c + d + 55 = 0, 3*c - 25 = 5*d - 230. Let q = c - -9. Let y = 84 + q. Is 11 a factor of y?
True
Suppose -3*d - r + 383 = 0, -r + 158 = 5*d - 479. Suppose -2*i = -5*v + 20 + 293, i - d = -2*v. Is v a multiple of 17?
False
Let g = -108 + 228. Does 27 divide g?
False
Let c(w) = -7*w**3 - 2*w**2 + 2*w - 1. Let g(f) = f**3. Let q(k) = -c(k) + 3*g(k). Is q(1) a multiple of 11?
True
Suppose 2*x - 14 = -2*h + 6*x, -2*h = -x - 2. Does 7 divide -1 + 50/(h + 3)?
False
Let u(s) = 5*s + 3. Let n(i) = -15*i. Let t be n(-1). Let m = t - 8. Is 18 a factor of u(m)?
False
Suppose 5 = -2*z + 15. Does 3 divide ((-18)/(-10))/(1/z)?
True
Let i(l) = l**3 - 4*l**2 - 7*l - 1. Let k be i(5). Let f = k - -59. Does 16 divide f?
True
Let f be (-2)/5 - (-34)/10. Let t(o) = -o**3 + 7*o**2 + 5*o - 10. Let w be t(7). Suppose w = f*d + 2*d. Is 2 a factor of d?
False
Suppose 35 = 5*a - 5*i, 7 = -2*i + 1. Suppose -y = a*y - 115. Let g = y - 4. Does 8 divide g?
False
Suppose -s = -2*s - 4*k + 18, -4*k = 16. Is s a multiple of 2?
True
Suppose -2*b = -6, 4*d + 2*b - 120 + 30 = 0. Suppose 4*s - 5 = 2*p - 1, -3*p + d = 3*s. Is 7/1 + p/(-4) a multiple of 3?
True
Let z = -15 + 25. Let o = -6 + z. Is 2 a factor of o?
True
Let g(a) = -a**3 + 14*a**2 - 12*a - 4. Is 9 a factor of g(13)?
True
Let d(m) = -m**3 + 8*m**2 + 3*m - 7. Is d(8) a multiple of 5?
False
Let h(p) = -3*p**2 - 5*p - 2. Let n(d) = -d**2 + d. Let q(v) = -h(v) - 2*n(v). Is q(-2) a multiple of 8?
True
Let c = -34 + 80. Is 18 a factor of -2*c/(-2) + 0?
False
Let l(a) = -a**2 - 11*a. Let f be l(-10). Does 15 divide 183/6 + 5/f?
False
Suppose 0 = -0*i + 2*i - 4. Suppose 3*p = 3*d - 0*d - 342, -3*p - 345 = -i*d. Does 13 divide 2/(6/p*-3)?
True
Suppose 0 = -3*i - 2*i + 85. Is 12 a factor of i?
False
Let f = 47 - -7. Is f a multiple of 15?
False
Let k = -45 - -48. Is k a multiple of 3?
True
Let m(o) = -o**3 + 2*o**2 - o + 1. Let n be m(2). Let z be 0 - (1*-26 + 1). Is z + (-3 - n) - -1 a multiple of 12?
True
Is 26 a factor of (8/10)/(2/155)?
False
Let a be -2 - (-9 - 6/(-3)). Let s = a + 4. Suppose -4*g + 41 = s. Is g a multiple of 3?
False
Is 